title: Feedback Synthesis for Controllable Underactuated Systems using Sequential Second Order Actions

abstract: This paper derives nonlinear feedback control synthesis for general control affine systems using second-order actions---the needle variations of optimal control---as the basis for choosing each control response to the current state. A second result of the paper is that the method provably exploits the nonlinear controllability of a system by virtue of an explicit dependence of the second-order needle variation on the Lie bracket between vector fields. As a result, each control decision necessarily decreases the objective when the system is nonlinearly controllable using first-order Lie brackets. Simulation results using a differential drive cart, an underactuated kinematic vehicle in three dimensions, and an underactuated dynamic model of an underwater vehicle demonstrate that the method finds control solutions when the first-order analysis is singular. Moreover, the simulated examples demonstrate superior convergence when compared to synthesis based on first-order needle variations. Lastly, the underactuated dynamic underwater vehicle model demonstrates the convergence even in the presence of a velocity field.


title: A Novel Discriminant Approximation of Periodic Differential Equations

abstract: A new approximation of the discriminant of a second order periodic differential equation is presented as a recursive summation of the evaluation of its excitation function at different values of time. The new approximation is obtained, at first, by means of Walsh functions and then, by using some algebraic properties the dependence on the Walsh functions is eliminated. This new approximation is then used to calculate the boundaries of stability. We prove that by letting the summation elements number approach to infinite, the discriminant approximation can be rewritten as a summation of definite integrals. Finally we prove that the definite integrals summation is equivalent to the discriminant approximation made by Lyapunov which consists in an alternating series of coefficients defined by multiple definite integrals, that is, a series of the form $A=A_{0}-A_{1}+\ldots +\left( -1\right) ^{n}A_{n}$, where each coefficient $A_{n}$ is defined as an $n-$multiple definite integral.


title: The Invisibility of Diffeomorphisms

abstract: I examine the relationship between $(d+1)$-dimensional Poincar\'e metrics and $d$-dimensional conformal manifolds, from both mathematical and physical perspectives. The results have a bearing on several conceptual issues relating to asymptotic symmetries, in general relativity and in gauge-gravity duality, as follows: (1: Ambient Construction) I draw from the remarkable work by Fefferman and Graham (1985, 2012) on conformal geometry, in order to prove two propositions and a theorem that characterise the classes of diffeomorphisms that qualify as gravity-invisible. I define natural notions of gravity-invisibility (strong, weak, and simpliciter) which apply to the diffeomorphisms of Poincar\'e metrics in any dimension. (2: Dualities) I apply the notions of invisibility to gauge-gravity dualities: which, roughly, relate Poincar\'e metrics in $d+1$ dimensions to QFTs in $d$ dimensions. I contrast QFT-visible vs. QFT-invisible diffeomorphisms: those gravity diffeomorphisms that can, respectively cannot, be seen from the QFT. The QFT-invisible diffeomorphisms are the ones which are relevant to the hole argument in Einstein spaces. The results on dualities are surprising, because the class of QFT-visible diffeomorphisms is larger than expected, and the class of QFT-invisible ones is smaller than expected, or usually believed, i.e. larger than the PBH diffeomorphisms in Imbimbo et al. (2000). I also give a general derivation of the asymptotic conformal Killing equation, which has not appeared in the literature before.


title: "Having 2 hours to write a paper is fun!": Detecting Sarcasm in Numerical Portions of Text

abstract: Sarcasm occurring due to the presence of numerical portions in text has been quoted as an error made by automatic sarcasm detection approaches in the past. We present a first study in detecting sarcasm in numbers, as in the case of the sentence 'Love waking up at 4 am'. We analyze the challenges of the problem, and present Rule-based, Machine Learning and Deep Learning approaches to detect sarcasm in numerical portions of text. Our Deep Learning approach outperforms four past works for sarcasm detection and Rule-based and Machine learning approaches on a dataset of tweets, obtaining an F1-score of 0.93. This shows that special attention to text containing numbers may be useful to improve state-of-the-art in sarcasm detection.


title: Conservation Laws shape Dissipation

abstract: Starting from the most general formulation of stochastic thermodynamics---i.e. a thermodynamically consistent nonautonomous stochastic dynamics describing systems in contact with several reservoirs---, we define a procedure to identify the conservative and the minimal set of nonconservative contributions in the entropy production. The former is expressed as the difference between changes caused by time-dependent drivings and a generalized potential difference. The latter is a sum over the minimal set of flux--force contributions controlling the dissipative flows across the system. When the system is initially prepared at equilibrium (e.g. by turning off drivings and forces), a finite-time detailed fluctuation theorem holds for the different contributions. Our approach relies on identifying the complete set of conserved quantities and can be viewed as the extension of the theory of generalized Gibbs ensembles to nonequilibrium situations.


title: K3 Elliptic Genus and an Umbral Moonshine Module

abstract: Umbral moonshine connects the symmetry groups of the 23 Niemeier lattices with 23 sets of distinguished mock modular forms. The 23 cases of umbral moonshine have a uniform relation to symmetries of $K3$ string theories. Moreover, a supersymmetric vertex operator algebra with Conway sporadic symmetry also enjoys a close relation to the $K3$ elliptic genus. Inspired by the above two relations between moonshine and $K3$ string theory, we construct a chiral CFT by orbifolding the free theory of 24 chiral fermions and two pairs of fermionic and bosonic ghosts. In this paper we mainly focus on the case of umbral moonshine corresponding to the Niemeier lattice with root system given by 6 copies of $D_4$ root system. This CFT then leads to the construction of an infinite-dimensional graded module for the umbral group $G^{D_4^{\oplus 6}}$ whose graded characters coincide with the umbral moonshine functions. We also comment on how one can recover all umbral moonshine functions corresponding to the Niemeier root systems $A_5^{\oplus 4}D_4$, $A_7^{\oplus 2}D_5^{\oplus 2}$ , $A_{11}D_7 E_6$, $A_{17}E_7$, and $D_{10}E_7^{\oplus 2}$.


title: Implicit Regularization in Deep Learning

abstract: In an attempt to better understand generalization in deep learning, we study several possible explanations. We show that implicit regularization induced by the optimization method is playing a key role in generalization and success of deep learning models. Motivated by this view, we study how different complexity measures can ensure generalization and explain how optimization algorithms can implicitly regularize complexity measures. We empirically investigate the ability of these measures to explain different observed phenomena in deep learning. We further study the invariances in neural networks, suggest complexity measures and optimization algorithms that have similar invariances to those in neural networks and evaluate them on a number of learning tasks.


title: Reflection states in Ding-Iohara-Miki algebra and brane-web for D-type quiver

abstract: Reflection states are introduced in the vertical and horizontal modules of the Ding-Iohara-Miki (DIM) algebra (quantum toroidal $\mathfrak{gl}_1$). Webs of DIM representations are in correspondence with $(p,q)$-web diagrams of type IIB string theory, under the identification of the algebraic intertwiner of Awata, Feigin and Shiraishi with the refined topological vertex. Extending the correspondence to the vertical reflection states, it is possible to engineer the $\mathcal{N}=1$ quiver gauge theory of D-type (with unitary gauge groups). In this way, the Nekrasov instanton partition function is reproduced from the evaluation of expectation values of intertwiners. This computation leads to the identification of the vertical reflection state with the orientifold plane of string theory. We also provide a translation of this construction in the Iqbal-Kozcaz-Vafa refined topological vertex formalism.


title: Efimov States of Strongly Interacting Photons

abstract: We demonstrate the emergence of universal Efimov physics for interacting photons in cold gases of Rydberg atoms. We consider the behavior of three photons injected into the gas in their propagating frame, where a paraxial approximation allows us to consider them as massive particles. In contrast to atoms and nuclei, the photons have a large anisotropy between their longitudinal mass, arising from dispersion, and their transverse mass, arising from diffraction. Nevertheless, we show that in suitably rescaled coordinates the effective interactions become dominated by s-wave scattering near threshold and, as a result, give rise to an Efimov effect near unitarity. We show that the three-body loss of these Efimov trimers can be strongly suppressed and determine conditions under which these states are observable in current experiments. These effects can be naturally extended to probe few-body universality beyond three bodies, as well as the role of Efimov physics in the non-equilbrium, many-body regime.


title: Learning Dilation Factors for Semantic Segmentation of Street Scenes

abstract: Contextual information is crucial for semantic segmentation. However, finding the optimal trade-off between keeping desired fine details and at the same time providing sufficiently large receptive fields is non trivial. This is even more so, when objects or classes present in an image significantly vary in size. Dilated convolutions have proven valuable for semantic segmentation, because they allow to increase the size of the receptive field without sacrificing image resolution. However, in current state-of-the-art methods, dilation parameters are hand-tuned and fixed. In this paper, we present an approach for learning dilation parameters adaptively per channel, consistently improving semantic segmentation results on street-scene datasets like Cityscapes and Camvid.


title: A System of Three Super Earths Transiting the Late K-Dwarf GJ 9827 at Thirty Parsecs

abstract: We report the discovery of three small transiting planets orbiting GJ 9827, a bright (K = 7.2) nearby late K-type dwarf star. GJ 9827 hosts a $1.62\pm0.11$ $R_{\rm \oplus}$ super Earth on a 1.2 day period, a $1.269^{+0.087}_{-0.089}$ $R_{\rm \oplus}$ super Earth on a 3.6 day period, and a $2.07\pm0.14$ $R_{\rm \oplus}$ super Earth on a 6.2 day period. The radii of the planets transiting GJ 9827 span the transition between predominantly rocky and gaseous planets, and GJ 9827 b and c fall in or close to the known gap in the radius distribution of small planets between these populations. At a distance of 30 parsecs, GJ 9827 is the closest exoplanet host discovered by K2 to date, making these planets well-suited for atmospheric studies with the upcoming James Webb Space Telescope. The GJ 9827 system provides a valuable opportunity to characterize interior structure and atmospheric properties of coeval planets spanning the rocky to gaseous transition.


title: A short history of frames and quantum designs

abstract: In this survey, we relate frame theory and quantum information theory, focusing on quantum 2-designs. These are arrangements of weighted subspaces which are in a specific sense optimal for quantum state tomography. After a brief introduction, we discuss the role of POVMs in quantum theory, developing the importance of quantum 2-designs. In the final section, we collect many if not most known examples of quantum-2 designs to date.


title: Selective optical addressing of nuclear spins through superhyperfine interaction in rare-earth doped solids

abstract: In Er$^{3+}$:Y$_2$SiO$_5$, we demonstrate the selective optical addressing of the $^{89}$Y$^{3+}$ nuclear spins through their superhyperfine coupling with the Er$^{3+}$ electronic spins possessing large Land\'e $g$-factors. We experimentally probe the electron-nuclear spin mixing with photon echo techniques and validate our model. The site-selective optical addressing of the Y$^{3+}$ nuclear spins is designed by adjusting the magnetic field strength and orientation. This constitutes an important step towards the realization of long-lived solid-state qubits optically addressed by telecom photons.


title: Constructing Light Spanners Deterministically in Near-Linear Time

abstract: Graph spanners are well-studied and widely used both in theory and practice. In a recent breakthrough, Chechik and Wulff-Nilsen [CW18] improved the state-of-the-art for light spanners by constructing a $(2k-1)(1+\epsilon)$-spanner with $O(n^{1+1/k})$ edges and $O_\epsilon(n^{1/k})$ lightness. Soon after, Filtser and Solomon [FS19] showed that the classic greedy spanner construction achieves the same bounds The major drawback of the greedy spanner is its running time of $O(mn^{1+1/k})$ (which is faster than [CW16]). This makes the construction impractical even for graphs of moderate size. Much faster spanner constructions do exist but they only achieve lightness $\Omega_\epsilon(kn^{1/k})$, even when randomization is used. The contribution of this paper is deterministic spanner constructions that are fast, and achieve similar bounds as the state-of-the-art slower constructions. Our first result is an $O_\epsilon(n^{2+1/k+\epsilon'})$ time spanner construction which achieves the state-of-the-art bounds. Our second result is an $O_\epsilon(m + n\log n)$ time construction of a spanner with $(2k-1)(1+\epsilon)$ stretch, $O(\log k\cdot n^{1+1/k})$ edges and $O_\epsilon(\log k\cdot n^{1/k})$ lightness. This is an exponential improvement in the dependence on $k$ compared to the previous result with such running time. Finally, for the important special case where $k=\log n$, for every constant $\epsilon>0$, we provide an $O(m+n^{1+\epsilon})$ time construction that produces an $O(\log n)$-spanner with $O(n)$ edges and $O(1)$ lightness which is asymptotically optimal. This is the first known sub-quadratic construction of such a spanner for any $k = \omega(1)$. To achieve our constructions, we show a novel deterministic incremental approximate distance oracle, which may be of independent interest.


title: Spin Hall effect and Weak Antilocalization in Graphene/Transition Metal Dichalcogenide Heterostructures

abstract: We report on a theoretical study of the spin Hall Effect (SHE) and weak antilocal-ization (WAL) in graphene/transition metal dichalcogenide (TMDC) heterostructures, computed through efficient real-space quantum transport methods, and using realistic tight-binding models parametrized from ab initio calculations. The graphene/WS 2 system is found to maximize spin proximity effects compared to graphene on MoS 2 , WSe 2 , or MoSe 2 , with a crucial role played by disorder, given the disappearance of SHE signals in the presence of strong intervalley scattering. Notably, we found that stronger WAL effects are concomitant with weaker charge-to-spin conversion efficiency. For further experimental studies of graphene/TMDC heterostructures, our findings provide guidelines for reaching the upper limit of spin current formation and for fully harvesting the potential of two-dimensional materials for spintronic applications.


title: Chaos in Saw Map

abstract: We consider dynamics of a scalar piecewise linear "saw map" with infinitely many linear segments. In particular, such maps are generated as a Poincar\'e map of simple two-dimensional discrete time piecewise linear systems involving a saturation function. Alternatively, these systems can be viewed as a feedback loop with the so-called stop hysteresis operator. We analyze chaotic sets and attractors of the "saw map" depending on its parameters.


title: The function field Sath\'e-Selberg formula in arithmetic progressions and `short intervals'

abstract: We use a function field analogue of a method of Selberg to derive an asymptotic formula for the number of (square-free) monic polynomials in $\mathbb{F}_q[X]$ of degree $n$ with precisely $k$ irreducible factors, in the limit as $n$ tends to infinity. We then adapt this method to count such polynomials in arithmetic progressions and short intervals, and by making use of Weil's `Riemann hypothesis' for curves over $\mathbb{F}_q$, obtain better ranges for these formulae than are currently known for their analogues in the number field setting. Finally, we briefly discuss the regime in which $q$ tends to infinity.


title: Low Rank Symmetric Tensor Approximations

abstract: For a given symmetric tensor, we aim at finding a new one whose symmetric rank is small and that is close to the given one. There exist linear relations among the entries of low rank symmetric tensors. Such linear relations can be expressed by polynomials, which are called generating polynomials. We propose a new approach for computing low rank approximations by using generating polynomials. First, we estimate a set of generating polynomials that are approximately satisfied by the given tensor. Second, we find approximate common zeros of these polynomials. Third, we use these zeros to construct low rank tensor approximations. If the symmetric tensor to be approximated is sufficiently close to a low rank one, we show that the computed low rank approximations are quasi-optimal.


title: Cost Modeling and Projection for Stacked Nanowire Fabric

abstract: To continue scaling beyond 2-D CMOS with 3-D integration, any new 3-D IC technology has to be comparable or better than 2-D CMOS in terms of scalability, enhanced functionality, density, power, performance, cost, and reliability. Transistor-level 3-D integration carries the most potential in this regard. Recently, we proposed a stacked horizontal nanowire based transistor-level 3-D integration approach, called SN3D [1][2] that solves scaling challenges and achieves tremendous benefits with respect to 2-D CMOS while keeping manageable thermal profile. In this paper, we present the cost analysis of SN3D and show comparison with 2-D CMOS (2D), conventional TSV based 3-D (T3D) and Monolithic 3-D integrations (M3D). In our cost model, we capture the implications of manufacturing, circuit density, interconnects, bonding and heat in determining die cost, and evaluate how cost scales as transistor count increases. Since SN3D is a new 3-D IC fabric, based on our proposed manufacturing pathway[1] we assumed complexity of fabrication steps as proportionality constants in our cost estimation model. Our analysis revealed 86%, 72% and 74% reduction in area; 55%, 43% and 43% reduction in interconnects distribution and total interconnect length for SN3D, which largely contributed to 70%, 67% and 68% reduction in cost in comparison to 2D, T3D and M3D respectively.


title: Excitonic Coupled-cluster Theory

abstract: A variant of coupled-cluster theory is described here, wherein the degrees of freedom are fluctuations of fragments between internally correlated states. The effects of intra-fragment correlation on the inter-fragment interaction are pre-computed and permanently folded into an effective Hamiltonian, thus avoiding redundant evaluations of local relaxations associated with coupled fluctuations. A companion article shows that a low-scaling step may be used to cast the electronic Hamiltonians of real systems into the form required. Two proof-of-principle demonstrations are presented here for non-covalent interactions. One uses harmonic oscillators, for which accuracy and algorithm structure can be carefully controlled in comparisons. The other uses small electronic systems (Be atoms) to demonstrate compelling accuracy and efficiency, also when inter-fragment electron exchange and charge transfer must be handled. Since the cost of the global calculation does not depend directly on the correlation models used for the fragments, this should provide a way to incorporate difficult electronic structure problems into large systems. This framework opens a promising path for building tunable, systematically improvable methods to capture properties of systems interacting with a large number of other systems. The extension to excited states is also straightforward.


title: Infinitary generalizations of Deligne's completeness theorem

abstract: Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at most $\kappa$ many objects and morphisms, the (basis for the) topology being generated by at most $\kappa$ many covering families, and that satisfy a further exactness property $T$. We prove that these toposes have enough $\kappa$-points, that is, points whose inverse image preserve all $\kappa$-small limits. This generalizes the separable toposes of Makkai and Reyes, that are a particular case when $\kappa=\omega$, when property $T$ is trivially satisfied. This result is essentially a completeness theorem for a certain infinitary logic that we call $\kappa$-geometric, where conjunctions of less than $\kappa$ formulas and existential quantification on less than $\kappa$ many variables is allowed. We prove that $\kappa$-geometric theories have a $\kappa$-classifying topos having property $T$, the universal property being that models of the theory in a Grothendieck topos with property $T$ correspond to $\kappa$-geometric morphisms (geometric morphisms the inverse image of which preserves all $\kappa$-small limits) into that topos. Moreover, we prove that $\kappa$-separable toposes occur as the $\kappa$-classifying toposes of $\kappa$-geometric theories of at most $\kappa$ many axioms in canonical form, and that every such $\kappa$-classifying topos is $\kappa$-separable. Finally, we consider the case when $\kappa$ is weakly compact and study the $\kappa$-classifying topos of a $\kappa$-coherent theory (with at most $\kappa$ many axioms), that is, a theory where only disjunction of less than $\kappa$ formulas are allowed, obtaining a version of Deligne's theorem for $\kappa$-coherent toposes.


title: Real-time X-ray Monitoring of the Nucleation and Growth of AlN Epitaxial Films on Sapphire (0001)

abstract: We report the results of x-ray scattering studies of AlN on c-plane sapphire during reactive radiofrequency magnetron sputtering. The sensitivity of in situ x-ray measurements allowed us to follow the structural evolution of strain and roughness from initial nucleation layers to fullyrelaxed AlN films. A growth rate transient was observed, consistent with the initial formation of non-coalesced islands with significant oxygen incorporation from the substrate. Following island coalescence, a steady state growth rate was seen with a continuous shift of the c and a lattice parameters towards the relaxed bulk values as growth progressed, with films reaching a fully relaxed state at thicknesses of about 30 nm.


title: Systematically Improvable Excitonic Hamiltonians for Electronic Structure Theory

abstract: We show here that the Hamiltonian for an electronic system may be written exactly in terms of fluctuation operators that transition constituent fragments between internally correlated states, accounting rigorously for inter-fragment electron exchange and charge transfer. Familiar electronic structure approaches can be applied to the renormalized Hamiltonian. For efficiency, the basis for each fragment can be truncated, removing high-energy local arrangements of electrons from consideration, and effectively defining collective coordinates for the fragments. For a large number of problems (especially for non-covalently interacting fragments), this has the potential to fold the majority of electron correlation into the effective Hamiltonian, and it should provide a robust approach to incorporating difficult electronic structure problems into large systems. The number of terms in the exactly transformed Hamiltonian formally scales quartically with system size, but this can be reduced to quadratic in the mesoscopic regime, to within an arbitrary error tolerance. Finally, all but a linear-scaling number of these terms may be efficiently decomposed in terms of electrostatic interactions between a linear-scaling number of pre-computed transition densities. In a companion article, this formalism is applied to an excitonic variant of coupled-cluster theory.


title: First-principles study of LiNbxM1-x O3, M= V, W, Ta, Mo for holographic memory applications

abstract: For holographic memory applications, the photorefraction of well-known ferroelectric such as lithium niobate doped with different transition metals is very important. First principles study assumes special significance in this context, as to why certain transition metal atoms are better than the other. In this work, Nb atom in LiNbO3 was substituted with transition elements having valency greater than/equal to +5 for UV photorefraction applications, and atomistic first-principles calculations were done using HSE06 functionals. The d-states of the transitional elements were found to decrease the band-gap of the host material having implications for a suitable material design. Minimum band-gap was obtained for W, while Ta showed a maximum value. Absorption coefficients were estimated for each material and based on their low values at 351 nm (i.e. for holographic applications) that is the usual UV photorefraction wavelength, the elements found suitable were V, W, Ta, Mo. Then birefringence properties for these crystals were also studied to predict that V and W were good candidates.


title: Deep Learning Beyond Lefschetz Thimbles

abstract: The generalized thimble method to treat field theories with sign problems requires repeatedly solving the computationally-expensive holomorphic flow equations. We present a machine learning technique to bypass this problem. The central idea is to obtain a few field configurations via the flow equations to train a feed-forward neural network. The trained network defines a new manifold of integration which reduces the sign problem and can be rapidly sampled. We present results for the $1+1$ dimensional Thirring model with Wilson fermions on sizable lattices. In addition to the gain in speed, the parameterization of the integration manifold we use avoids the "trapping" of Monte Carlo chains which plagues large-flow calculations, a considerable shortcoming of the previous attempts.


title: A Quasi-isometric Embedding Algorithm

abstract: The Whitney embedding theorem gives an upper bound on the smallest embedding dimension of a manifold. If a data set lies on a manifold, a random projection into this reduced dimension will retain the manifold structure. Here we present an algorithm to find a projection that distorts the data as little as possible.


title: Compression Driven Jamming of Athermal Frictionless Spherocylinders in Two Dimensions

abstract: We simulate numerically the compression driven jamming of athermal, frictionless, soft-core spherocylinders in two dimensions, for a range of particle aspect ratios $\alpha$. We find the critical packing fraction $\phi_J(\alpha)$ for the jamming transition, and the average number of contacts per particle $z_J(\alpha)$ at jamming. We find that both are nonmonotonic, with a peak at $\alpha\approx 1$. We find that configurations at the compression driven jamming point are always hypostatic for all $\alpha$, with $z_J<z_\mathrm{iso}=2d_f=6$ the isostatic value. We show that, for moderately elongated spherocylinders, there is no orientational ordering upon athermal compression through jamming. We analyze in detail the eigenmodes of the dynamical matrix close to the jamming point for a few different values of the aspect ratio, from nearly circular to moderately elongated. We find that there are low frequency bands containing $N(z_\mathrm{iso}-z_J)/2$ modes, such that the frequency of these modes vanish as $\phi\to\phi_J$. We consider the extended vs localized nature of these low frequency modes, and the extent to which they involve translational or rotational motion, and find many low frequency sliding modes where particles can move with little rotation. We highlight the importance of treating side-to-side contacts, along flat sides of the spherocylinder, properly for the correct determination of $z_J$. We note the singular nature of taking the $\alpha\to 0$ limit. We discuss the similarities and differences with previous work on jammed ellipses and ellipsoids, to illustrate the effects that different particle shape have on configurations at jamming.


title: Dynamical phenomena at the inner edge of the Keeler gap

abstract: We analyze several thousand Cassini ISS images in order to study the inner edge of the Keeler gap in Saturn's outer A ring. We find strong evidence for an m=32 perturbation with a mean amplitude of radial variation of 4.5 km. Phase analysis yields a pattern speed consistent with the mean motion of Prometheus, indicating that this pattern is generated by the 32:31 Inner Lindblad resonance with Prometheus. In addition, we find evidence of 18-lobed and 20-lobed patterns with amplitudes of ~1.5 km. These patterns, whose rotation rates correspond to resonance locations ~4 km interior to the gap edge, are believed to be normal modes. The former is probably related to the nearby 18:17 (m=18) resonance with Pandora. In addition to these resonant and normal mode patterns, we also observe multiple localized features that appear to move at the local keplerian rate and that persist for only a few months. One hypothesis is that different groups of ring particles at the inner edge of the gap may be reacting differently to the resonance with Prometheus, with local variations in the forced eccentricity and/or pericenter; an alternative hypothesis is the existence of several unseen objects embedded at or near the inner edge of the Keeler gap, similar to those suspected to exist at the outer edges of the A and B rings (Spitale and Porco 2009, 2010). In either case, observations of the ring edge at opposite ansae demonstrate that the localized features must be on eccentric orbits.


title: Adaptive Hamiltonian Variational Integrators and Symplectic Accelerated Optimization

abstract: It is well known that symplectic integrators lose their near energy preservation properties when variable step sizes are used. The most common approach to combine adaptive step sizes and symplectic integrators involves the Poincar\'e transformation of the original Hamiltonian. In this article, we provide a framework for the construction of variational integrators using the Poincar\'e transformation. Since the transformed Hamiltonian is typically degenerate, the use of Hamiltonian variational integrators based on Type II or Type III generating functions is required instead of the more traditional Lagrangian variational integrators based on Type I generating functions. Error analysis is provided and numerical tests based on the Taylor variational integrator approach of Schmitt, Shingel, Leok (2018) to time-adaptive variational integration of Kepler's 2-Body problem are presented. Finally, we use our adaptive framework together with the variational approach to accelerated optimization presented in Wibisono, Wilson, Jordan (2016) to design efficient variational and non-variational explicit integrators for symplectic accelerated optimization.


title: Degenerate Zeeman Ground States in the Single-Excitation Regime

abstract: In this work, we demonstrate the importance of considering correlations between degenerate Zeeman sublevels that develop in dense atomic ensembles. In order to do this, we develop a set of equations capable of simulating large numbers of atoms while still incorporating correlations between degenerate Zeeman sublevels. This set of equations is exact in the single-photon limit, and may be interpreted as a generalization of the coupled harmonic oscillator equations typically used the literature. Using these equations, we demonstrate that in sufficiently dense systems, correlations between Zeeman sublevels can cause non-trivial differences in the photon scattering lineshape in arrays and clouds of atoms.


title: The open mapping principle for partial actions of polish groups

abstract: We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions.


title: An oscillating Casimir potential between two impurities in a spin-orbit coupled Bose-Einstein condensate

abstract: We study the Casimir potential between two impurities immersed in a spin-orbit coupled BoseEinstein condensate (BEC) with plane-wave order. We find that, by exchanging the virtual phonons/excitations, a remarkable anisotropic oscillating potential with both positive and negative parts can be induced between the impurities, with the period of the oscillation depending on the spin-orbit coupling strength. As a consequence, this would inevitably lead to a non-central Casimir force, which can be tuned by varying the strength of spin-orbit coupling . These results are elucidated for BECs with one-dimensional Raman-induced and two-dimensional Rashba-type SOC.


title: The BCS wave function, matrix product states, and the Ising conformal field theory

abstract: We present a characterization of the many-body lattice wave functions obtained from the conformal blocks (CBs) of the Ising conformal field theory (CFT). The formalism is interpreted as a matrix product state using continuous ancillary degrees of freedom. We provide analytic and numerical evidence that the resulting states can be written as BCS states. We give a complete proof that the translationally invariant 1D configurations have a BCS form and we find suitable parent Hamiltonians. In particular, we prove that the ground state of the finite-size critical Ising transverse field (ITF) Hamiltonian can be obtained with this construction. Finally, we study 2D configurations using an operator product expansion (OPE) approximation. We associate these states to the weak pairing phase of the $p+ip$ superconductor via the scaling of the pairing function and the entanglement spectrum.


title: The Large Enriched Germanium Experiment for Neutrinoless Double Beta Decay (LEGEND)

abstract: The observation of neutrinoless double-beta decay (0${\nu}{\beta}{\beta}$) would show that lepton number is violated, reveal that neutrinos are Majorana particles, and provide information on neutrino mass. A discovery-capable experiment covering the inverted ordering region, with effective Majorana neutrino masses of 15 - 50 meV, will require a tonne-scale experiment with excellent energy resolution and extremely low backgrounds, at the level of $\sim$0.1 count /(FWHM$\cdot$t$\cdot$yr) in the region of the signal. The current generation $^{76}$Ge experiments GERDA and the MAJORANA DEMONSTRATOR utilizing high purity Germanium detectors with an intrinsic energy resolution of 0.12%, have achieved the lowest backgrounds by over an order of magnitude in the 0${\nu}{\beta}{\beta}$ signal region of all 0${\nu}{\beta}{\beta}$ experiments. Building on this success, the LEGEND collaboration has been formed to pursue a tonne-scale $^{76}$Ge experiment. The collaboration aims to develop a phased 0${\nu}{\beta}{\beta}$ experimental program with discovery potential at a half-life approaching or at $10^{28}$ years, using existing resources as appropriate to expedite physics results.


title: Characterizing Geo-located Tweets in Brazilian Megacities

abstract: This work presents a framework for collecting, processing and mining geo-located tweets in order to extract meaningful and actionable knowledge in the context of smart cities. We collected and characterized more than 9M tweets from the two biggest cities in Brazil, Rio de Janeiro and S\~ao Paulo. We performed topic modeling using the Latent Dirichlet Allocation model to produce an unsupervised distribution of semantic topics over the stream of geo-located tweets as well as a distribution of words over those topics. We manually labeled and aggregated similar topics obtaining a total of 29 different topics across both cities. Results showed similarities in the majority of topics for both cities, reflecting similar interests and concerns among the population of Rio de Janeiro and S\~ao Paulo. Nevertheless, some specific topics are more predominant in one of the cities.


title: Stabilizing Weighted Graphs

abstract: An edge-weighted graph $G=(V,E)$ is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of $G$. We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from $G$ yields a stable graph, for any weighted graph $G$. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application. In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph $G$ yields a stable graph, does not admit any constant-factor approximation algorithm, unless $P=NP$. In this setting, we develop an $O(\Delta)$-approximation algorithm for the problem, where $\Delta$ is the maximum degree of a node in $G$.


title: The Cauchy problem for two dimensional generalized Kadomtsev-Petviashvili-I equation in anisotropic Sobolev spaces

abstract: The goal of this paper is three-fold. Firstly, we prove that the Cauchy problem for generalized KP-I equation \begin{eqnarray*} u_{t}+|D_{x}|^{\alpha}\partial_{x}u+\partial_{x}^{-1}\partial_{y}^{2}u+\frac{1}{2}\partial_{x}(u^{2})=0,\alpha\geq4 \end{eqnarray*} is locally well-posed in the anisotropic Sobolev spaces$ H^{s_{1},\>s_{2}}(\R^{2})$ with $s_{1}>-\frac{\alpha-1}{4}$ and $s_{2}\geq 0$. Secondly, we prove that the problem is globally well-posed in $H^{s_{1},\>0}(\R^{2})$ with $s_{1}>-\frac{(\alpha-1)(3\alpha-4)}{4(5\alpha+3)}$ if $4\leq \alpha \leq5$. Finally, we prove that the problem is globally well-posed in $H^{s_{1},\>0}(\R^{2})$ with $s_{1}>-\frac{\alpha(3\alpha-4)}{4(5\alpha+4)}$ if $\alpha>5$. Our result improves the result of Saut and Tzvetkov (J. Math. Pures Appl. 79(2000), 307-338.) and Li and Xiao (J. Math. Pures Appl. 90(2008), 338-352.).


title: Coded Aperture Ptychography: Uniqueness and Reconstruction

abstract: Uniqueness of solution is proved for any ptychographic scheme with a random masks under a minimum overlap condition and local geometric convergence analysis is given for the alternating projection (AP) and Douglas-Rachford (DR) algorithms. DR is shown to possess a unique fixed point in the object domain and for AP a simple criterion for distinguishing the true solution among possibly many fixed points is given. A minimalist scheme is proposed where the adjacent masks overlap 50\% of area and each pixel of the object is illuminated by exactly four times during the whole measurement process. Such a scheme is conveniently parametrized by the number $q$ of shifted masks in each direction. The lower bound $1-C/q^2$ is proved for the geometric convergence rate of the minimalist scheme, predicting a poor performance with large $q$ which is confirmed by numerical experiments. Extensive numerical experiments are performed to explore what the general features of a well-performing mask are like, what the best-performing values of $q$ for a given mask are, how robust the minimalist scheme is with respect to measurement noise and what the significant factors affecting the noise stability are.


title: Phase space methods for Majorana fermions

abstract: Fermionic phase space representations are a promising method for studying correlated fermion systems. The fermionic Q-function and P-function have been defined using Gaussian operators of fermion annihilation and creation operators. The resulting phase-space of covariance matrices belongs to the symmetry class D, one of the non-standard symmetry classes. This was originally proposed to study mesoscopic normal-metal-superconducting hybrid structures, which is the type of structure that has led to recent experimental observations of Majorana fermions. Under a unitary transformation, it is possible to express these Gaussian operators using real anti-symmetric matrices and Majorana operators, which are much simpler mathematical objects. We derive differential identities involving Majorana fermion operators and an antisymmetric matrix which are relevant to the derivation of the corresponding Fokker-Planck equations on symmetric space. These enable stochastic simulations either in real or imaginary time. This formalism has direct relevance to the study of fermionic systems in which there are Majorana type excitations, and is an alternative to using expansions involving conventional Fermi operators. The approach is illustrated by showing how a linear coupled Hamiltonian as used to study topological excitations can be transformed to Fokker-Planck and stochastic equation form, including dissipation through particle losses.


title: Modeling of cluster structures in a material. Force fields and descriptors

abstract: The force fields of interior boundaries of matters are calculated as superposition of fields of modified Sierpinski carpet. The long-range effect interaction in irradiated crystals is introduced as various manifestations of second order phase transition.


title: Proof of Northshield's conjecture concerning an analogue of Stern's sequence for $\mathbb{Z}[\sqrt{2}]$

abstract: We prove a conjecture of Northshield by determining the maximal order of his analogue of Stern's sequence for $\mathbb{Z}[\sqrt{2}]$. In particular, if $b$ is Northshield's analogue, we prove that $$\limsup_{n\to\infty}\frac{2b(n)}{(2n)^{\log_3 (\sqrt{2}+1)}}=1.$$


title: The containment problem and a rational simplicial arrangement

abstract: Since Dumnicki, Szemberg and Tutaj-Gasi\'nska gave in 2013 in [9] the first example of a set of points in the complex projective plane such that for its homogeneous ideal I the containment of the third symbolic power in the second ordinary power fails, there has been considerable interest in searching for further examples with this property and investigating into the nature of such examples. Many examples, defined over various fields, have been found but so far there has been essentially just one example found of 19 points defined over the rationals, see [16, Theorem A, Problem 1]. In [12, Problem 5.1] the authors asked if there are other rational examples. This has motivated our research. The purpose of this note is to flag the existence of a new example of a set of 49 rational points with the same non-containment property for powers of its homogeneous ideal. Here we establish the existence and justify it computationally. A more conceptual proof, based on Seceleanu's criterion [20] will be published elsewhere [17].


title: Artificial Intelligence and Data Science in the Automotive Industry

abstract: Data science and machine learning are the key technologies when it comes to the processes and products with automatic learning and optimization to be used in the automotive industry of the future. This article defines the terms "data science" (also referred to as "data analytics") and "machine learning" and how they are related. In addition, it defines the term "optimizing analytics" and illustrates the role of automatic optimization as a key technology in combination with data analytics. It also uses examples to explain the way that these technologies are currently being used in the automotive industry on the basis of the major subprocesses in the automotive value chain (development, procurement; logistics, production, marketing, sales and after-sales, connected customer). Since the industry is just starting to explore the broad range of potential uses for these technologies, visionary application examples are used to illustrate the revolutionary possibilities that they offer. Finally, the article demonstrates how these technologies can make the automotive industry more efficient and enhance its customer focus throughout all its operations and activities, extending from the product and its development process to the customers and their connection to the product.


title: Low temperature resistivity studies of SmB6: Observation of twodimensional variable-range hopping conductivity

abstract: We studied electrical resistance of a single-crystalline SmB6 sample with a focus on the region of the "low-temperature resistivity plateau". Our observations did not show any true saturation of the electrical resistance at temperatures below 3 K down to 70 mK. According to our findings, temperature dependence of the electrical conduction in a certain temperature interval above 70 mK can be decomposed into a temperature-independent term and a temperature-activated term that can be described by variable-range hopping formula for two-dimensional systems, exp[-T0/T)^1/3]. Thus, our results indicate importance of hopping type of electrical transport in the near-surface region of SmB6.


title: Semi-Automatic Terminology Ontology Learning Based on Topic Modeling

abstract: Ontologies provide features like a common vocabulary, reusability, machine-readable content, and also allows for semantic search, facilitate agent interaction and ordering & structuring of knowledge for the Semantic Web (Web 3.0) application. However, the challenge in ontology engineering is automatic learning, i.e., the there is still a lack of fully automatic approach from a text corpus or dataset of various topics to form ontology using machine learning techniques. In this paper, two topic modeling algorithms are explored, namely LSI & SVD and Mr.LDA for learning topic ontology. The objective is to determine the statistical relationship between document and terms to build a topic ontology and ontology graph with minimum human intervention. Experimental analysis on building a topic ontology and semantic retrieving corresponding topic ontology for the user's query demonstrating the effectiveness of the proposed approach.


title: Blended e-Learning Training (BeLT): Enhancing Railway Station Controller Knowledge

abstract: With the growing economy, e-learning consequently gained increasing attention as it conveys knowledge globally with improved interactivity, assistance, and reduced costs. For the past few years, accidental challenges have become the severe problem with railway units due to irresponsibility, lack of knowledge and improper guidance of station controllers (learners). While focusing on e-learning technologies railway units failed to admit learner's need, cultural diversity and background skills by creating ethnically impartial e-learning environments, which resulted in inadequate training and degraded performance. The purpose of this study is to understand the vision of a global diverse group of station traffic controllers about e-learning courses developed by their individual railway units. The opinions of these officials have been verified by questionnaires on the basis of course organization, course accuracy, course effectiveness, course relevance, course productivity and course interactivity. The results obtained show that the developed e-learning course was highly helpful, interactive, creative, and user-friendly for learners. This lead to making e-learning conquered among independent learners.


title: Label Denoising Adversarial Network (LDAN) for Inverse Lighting of Face Images

abstract: Lighting estimation from face images is an important task and has applications in many areas such as image editing, intrinsic image decomposition, and image forgery detection. We propose to train a deep Convolutional Neural Network (CNN) to regress lighting parameters from a single face image. Lacking massive ground truth lighting labels for face images in the wild, we use an existing method to estimate lighting parameters, which are treated as ground truth with unknown noises. To alleviate the effect of such noises, we utilize the idea of Generative Adversarial Networks (GAN) and propose a Label Denoising Adversarial Network (LDAN) to make use of synthetic data with accurate ground truth to help train a deep CNN for lighting regression on real face images. Experiments show that our network outperforms existing methods in producing consistent lighting parameters of different faces under similar lighting conditions. Moreover, our method is 100,000 times faster in execution time than prior optimization-based lighting estimation approaches.


title: Recombination of radiation defects in solid methane - neutron sources and cryo-volcanism on celestial bodies

abstract: Physicochemical properties of solid methane exposed to ionizing radiation have attracted significant interest in recent years. Here we present new trends in the study of radiation effects in solid methane. We particularly focus on relaxation phenomena in solid methane pre-irradiated by energetic neutrons and electron beam. We compare experimental results obtained in the temperature range from 10K to 100K with a model based on the assumption that radiolysis defect recombinations happen in two stages, at two different temperatures. In the case of slow heating up of the solid methane sample, irradiated at 10K, the first wave of recombination occurs around 20K with a further second wave taking place between 50 and 60K. We also discuss the role of the recombination mechanisms in burp phenomenon discovered by J. Carpenter in the late 1980s. An understanding of these mechanisms is vital for the designing and operation of solid methane moderators used in advanced neutron sources and could also be a possible explanation for the driving forces behind cryo-volcanism on celestial bodies.


title: Linear divisibility sequences and Salem numbers

abstract: We study linear divisibility sequences of order 4, providing a characterization by means of their characteristic polynomials and finding their factorization as a product of linear divisibility sequences of order 2. Moreover, we show a new interesting connection between linear divisibility sequences and Salem numbers. Specifically, we generate linear divisibility sequences of order 4 by means of Salem numbers modulo 1.


title: Regularly log-periodic functions and some applications

abstract: We prove a Tauberian theorem for the Laplace--Stieltjes transform and Karamata-type theorems in the framework of regularly log-periodic functions. As an application we determine the exact tail behavior of fixed points of certain type smoothing transforms.


title: Electron spin dynamics of Ce$^{3+}$ ions in YAG crystals studied by pulse-EPR and pump-probe Faraday rotation

abstract: The spin relaxation dynamics of Ce$^{3+}$ ions in heavily cerium-doped YAG crystals is studied using pulse-electron paramagnetic resonance and time-resolved pump-probe Faraday rotation. Both techniques address the 4$f$ ground state, while pump-probe Faraday rotation provides also access to the excited 5$d$ state. We measure a millisecond spin-lattice relaxation time $T_1$, a microsecond spin coherence time $T_2$ and a $\sim 10$ ns inhomogeneous spin dephasing time $T_2^*$ for the Ce$^{3+}$ ground state at low temperatures. The spin-lattice relaxation of Ce$^{3+}$ ions is due to modified Raman processes involving the optical phonon mode at 125 cm$^{-1}$. The relaxation at higher temperature goes through a first excited level of the $^{2}$F$_{5/2}$ term at about $\hbar \omega \approx 228$ cm$^{-1}$. Effects provided by the hyperfine interaction of the Ce$^{3+}$ with the $^{27}$Al nuclei are observed.


title: Multi-radial LBP Features as a Tool for Rapid Glomerular Detection and Assessment in Whole Slide Histopathology Images

abstract: We demonstrate a simple and effective automated method for the segmentation of glomeruli from large (~1 gigapixel) histopathological whole-slide images (WSIs) of thin renal tissue sections and biopsies, using an adaptation of the well-known local binary patterns (LBP) image feature vector to train a support vector machine (SVM) model. Our method offers high precision (>90%) and reasonable recall (>70%) for glomeruli from WSIs, is readily adaptable to glomeruli from multiple species, including mouse, rat, and human, and is robust to diverse slide staining methods. Using 5 Intel(R) Core(TM) i7-4790 CPUs with 40 GB RAM, our method typically requires ~15 sec for training and ~2 min to extract glomeruli reproducibly from a WSI. Deploying a deep convolutional neural network trained for glomerular recognition in tandem with the SVM suffices to reduce false positives to below 3%. We also apply our LBP-based descriptor to successfully detect pathologic changes in a mouse model of diabetic nephropathy. We envision potential clinical and laboratory applications for this approach in the study and diagnosis of glomerular disease, and as a means of greatly accelerating the construction of feature sets to fuel deep learning studies into tissue structure and pathology.


title: Born Again Universe

abstract: We present a class of nonsingular, bouncing cosmologies that evade singularity theorems through the use of vorticity in compact extra dimensions. The vorticity combats the focusing of geodesics during the contracting phase. The construction requires fluids that violate the null energy condition (NEC) in the compact dimensions, where they can be provided by known stable NEC violating sources such as Casimir energy. The four dimensional effective theory contains an NEC violating fluid of Kaluza-Klein excitations of the higher dimensional metric. These spacetime metrics could potentially allow dynamical relaxation to solve the cosmological constant problem. These ideas can also be used to support traversable Lorentzian wormholes.


title: Visualizing theory space: Isometric embedding of probabilistic predictions, from the Ising model to the cosmic microwave background

abstract: We develop an intensive embedding for visualizing the space of all predictions for probabalistic models, using replica theory. Our embedding is isometric (preserves the distinguishability between models) and faithful (yields low-dimensional visualizations of models with simple emergent behavior). We apply our intensive embedding to the Ising model of statistical mechanics and the $\Lambda$CDM model applied to cosmic microwave background radiation. It provides an intuitive, quantitative visualization applicable to renormalization-group calculations and optimal experimental design.


title: Galaxies into the Dark Ages

abstract: We consider the capabilities of current and future large facilities operating at 2\,mm to 3\,mm wavelength to detect and image the [CII] 158\,$\mu$m line from galaxies into the cosmic "dark ages" ($z \sim 10$ to 20). The [CII] line may prove to be a powerful tool in determining spectroscopic redshifts, and galaxy dynamics, for the first galaxies. We emphasize that the nature, and even existence, of such extreme redshift galaxies, remains at the frontier of open questions in galaxy formation. In 40\,hr, ALMA has the sensitivity to detect the integrated [CII] line emission from a moderate metallicity, active star-forming galaxy [$Z_A = 0.2\,Z_{\odot}$; star formation rate (SFR) = 5\,$M_\odot$\,yr$^{-1}$], at $z = 10$ at a significance of 6$\sigma$. The next-generation Very Large Array (ngVLA) will detect the integrated [CII] line emission from a Milky-Way like star formation rate galaxy ($Z_{A} = 0.2\,Z_{\odot}$, SFR = 1\,$M_\odot$\,yr$^{-1}$), at $z = 15$ at a significance of 6$\sigma$. Imaging simulations show that the ngVLA can determine rotation dynamics for active star-forming galaxies at $z \sim 15$, if they exist. Based on our very limited knowledge of the extreme redshift Universe, we calculate the count rate in blind, volumetric surveys for [CII] emission at $z \sim 10$ to 20. The detection rates in blind surveys will be slow (of order unity per 40\,hr pointing). However, the observations are well suited to commensal searches. We compare [CII] with the [OIII] 88$\mu$m line, and other ancillary information in high $z$ galaxies that would aid these studies.


title: Recovery of non compactly supported coefficients of elliptic equations on an infinite waveguide

abstract: We consider the unique recovery of a non compactly supported and non periodic perturbation of a Schr\"odinger operator in an unbounded cylindrical domain, also called waveguide, from boundary measurements. More precisely, we prove recovery of general class of electric potentials from the partial Dirichlet-to-Neumann map, where the Dirichlet data is supported on slightly more than half of the boundary and the Neumann data is taken on the other half of the boundary. We apply this result in different context including recovery of some general class of coefficients from measurements on a bounded subset and recovery of an electric potential, supported on an unbounded cylinder, of a Schr\"odinger operator in a slab.


title: Koopman-based lifting techniques for nonlinear systems identification

abstract: We develop a novel lifting technique for nonlinear system identification based on the framework of the Koopman operator. The key idea is to identify the linear (infinitedimensional) Koopman operator in the lifted space of observables, instead of identifying the nonlinear system in the state space, a process which results in a linear method for nonlinear systems identification. The proposed lifting technique is an indirect method that does not require to compute time derivatives and is therefore well-suited to low-sampling rate datasets. Considering different finite-dimensional subspaces to approximate and identify the Koopman operator, we propose two numerical schemes: the main method and the dual method. The main method is a parametric identification technique that can accurately reconstruct the vector field of a broad class of systems (including unstable, chaotic, and system with inputs). The dual method provides estimates of the vector field at the data points and is well-suited to identify high-dimensional systems with small datasets. The present paper describes the two methods, provide theoretical convergence results, and illustrate the lifting techniques with several examples.


title: Large-gap magnetic topological heterostructure formed by subsurface incorporation of a ferromagnetic layer

abstract: Inducing magnetism into topological insulators is intriguing for utilizing exotic phenomena such as the quantum anomalous Hall effect (QAHE) for technological applications. While most studies have focused on doping magnetic impurities to open a gap at the surface-state Dirac point, many undesirable effects have been reported to appear in some cases that makes it difficult to determine whether the gap opening is due to the time-reversal symmetry breaking or not. Furthermore, the realization of the QAHE has been limited to low temperatures. Here we have succeeded in generating a massive Dirac cone in a MnBi2Se4 /Bi2Se3 heterostructure which was fabricated by self-assembling a MnBi2Se4 layer on top of the Bi2Se3 surface as a result of the co-deposition of Mn and Se. Our experimental results, supported by relativistic ab initio calculations, demonstrate that the fabricated MnBi2Se4 /Bi2Se3 heterostructure shows ferromagnetism up to room temperature and a clear Dirac-cone gap opening of ~100 meV without any other significant changes in the rest of the band structure. It can be considered as a result of the direct interaction of the surface Dirac cone and the magnetic layer rather than a magnetic proximity effect. This spontaneously formed self-assembled heterostructure with a massive Dirac spectrum, characterized by a nontrivial Chern number C = -1, has a potential to realize the QAHE at significantly higher temperatures than reported up to now and can serve as a platform for developing future " topotronics" devices.


title: On the algebras over equivariant little disks

abstract: We describe the structure present in algebras over the little disks operads for various representations of a finite group $G$, including those that are not necessarily universe or that do not contain trivial summands. We then spell out in more detail what happens for $G=C_{2}$, describing the structure on algebras over the little disks operad for the sign representation. Here we can also describe the resulting structure in Bredon homology. Finally, we produce a stable splitting of coinduced spaces analogous to the stable splitting of the product, and we use this to determine the homology of the signed James construction.


title: Quotients of del Pezzo surfaces of degree 2

abstract: Let $\Bbbk$ be any field of characteristic zero, $X$ be a del Pezzo surface of degree~$2$ and $G$ be a group acting on $X$. In this paper we study $\Bbbk$-rationality questions for the quotient surface $X / G$. If there are no smooth $\Bbbk$-points on $X / G$ then $X / G$ is obviously non-$\Bbbk$-rational. Assume that the set of smooth $\Bbbk$-points on the quotient is not empty. We find a list of groups, such that the quotient surface can be non-$\Bbbk$-rational. For these groups we construct examples of both $\Bbbk$-rational and non-$\Bbbk$-rational quotients of both $\Bbbk$-rational and non-$\Bbbk$-rational del Pezzo surfaces of degree $2$ such that the $G$-invariant Picard number of $X$ is $1$. For all other groups we show that the quotient $X / G$ is always $\Bbbk$-rational.


title: An eccentric binary black hole inspiral-merger-ringdown gravitational waveform model from numerical relativity and post-Newtonian theory

abstract: We present a prescription for computing gravitational waveforms for the inspiral, merger and ringdown of non-spinning eccentric binary black hole systems. The inspiral waveform is computed using the post-Newtonian expansion and the merger waveform is computed by interpolating a small number of quasi-circular NR waveforms. The use of circular merger waveforms is possible because eccentric binaries circularize in the last few cycles before the merger, which we demonstrate up to mass ratio $q = m_1/m_2 = 3$. The complete model is calibrated to 23 numerical relativity (NR) simulations starting ~20 cycles before the merger with eccentricities $e_\text{ref} \le 0.08$ and mass ratios $q \le 3$, where $e_\text{ref}$ is the eccentricity ~7 cycles before the merger. The NR waveforms are long enough that they start above 30 Hz (10 Hz) for BBH systems with total mass $M \ge 80 M_\odot$ ($230 M_\odot$). We find that, for the sensitivity of advanced LIGO at the time of its first observing run, the eccentric model has a faithfulness with NR of over 97% for systems with total mass $M \ge 85 M_\odot$ across the parameter space ($e_\text{ref} \le 0.08, q \le 3$). For systems with total mass $M \ge 70 M_\odot$, the faithfulness is over 97% for $e_\text{ref} \lesssim 0.05$ and $q \le 3$. The NR waveforms and the Mathematica code for the model are publicly available.


title: Neural field model of memory-guided search

abstract: Many organisms can remember locations they have previously visited during a search. Visual search experiments have shown exploration is guided away from these locations, reducing the overlap of the search path before finding a hidden target. We develop and analyze a two-layer neural field model that encodes positional information during a search task. A position-encoding layer sustains a bump attractor corresponding to the searching agent's current location, and search is modeled by velocity input that propagates the bump. A memory layer sustains persistent activity bounded by a wave front, whose edges expand in response to excitatory input from the position layer. Search can then be biased in response to remembered locations, influencing velocity inputs to the position layer. Asymptotic techniques are used to reduce the dynamics of our model to a low-dimensional system of equations that track the bump position and front boundary. Performance is compared for different target-finding tasks.


title: Searching for Leptoquarks at IceCube and the LHC

abstract: In the light of recent experimental results from IceCube, LHC searches for scalar leptoquark, and the flavor anomalies $R_K$ and $R_{K^*}$, we analyze two scalar leptoquark models with hypercharge $Y=1/6$ and $Y=7/6$. We consider the 53 high-energy starting events from IceCube and perform a statistical analysis, taking into account both the Standard Model and leptoquark contribution together. The lighter leptoquark states that are in agreement with IceCube are strongly constrained from LHC di-lepton+dijet search. Heavier leptoquarks in the TeV mass range are in agreement both with IceCube and LHC. We furthermore show that leptoquark which explains the $B$-physics anomalies and does not have any coupling with the third generation of quarks and leptons, can be strongly constrained.


title: Predicting the morphologies of {\gamma}' precipitates in cobalt-based superalloys

abstract: Cobalt-based alloys with {\gamma}/{\gamma}' microstructures have the potential to become the next generation of superalloys, but alloy compositions and processing steps must be optimized to improve coarsening, creep, and rafting behavior. While these behaviors are different than in nickel-based superalloys, alloy development can be accelerated by understanding the thermodynamic factors influencing microstructure evolution. In this work, we develop a phase field model informed by first-principles density functional theory and experimental data to predict the equilibrium shapes of Co-Al-W {\gamma}' precipitates. Three-dimensional simulations of single and multiple precipitates are performed to understand the effect of elastic and interfacial energy on coarsened and rafted microstructures; the elastic energy is dependent on the elastic stiffnesses, misfit strain, precipitate size, applied stress, and precipitate spatial distribution. We observe characteristic microstructures dependent on the type of applied stress that have the same {\gamma}' morphology and orientation seen in experiments, indicating that the elastic stresses arising from coherent {\gamma}/{\gamma}' interfaces are important for morphological evolution during creep. The results also indicate that the narrow {\gamma} channels between {\gamma}' precipitates are energetically favored, and provide an explanation for the experimentally observed directional coarsening that occurs without any applied stress.


title: Size scaling of failure strength with fat-tailed disorder in a fiber bundle model

abstract: We investigate the size scaling of the macroscopic fracture strength of heterogeneous materials when microscopic disorder is controlled by fat-tailed distributions. We consider a fiber bundle model where the strength of single fibers is described by a power law distribution over a finite range. Tuning the amount of disorder by varying the power law exponent and the upper cutoff of fibers' strength, in the limit of equal load sharing an astonishing size effect is revealed: For small system sizes the bundle strength increases with the number of fibers and the usual decreasing size effect of heterogeneous materials is only restored beyond a characteristic size. We show analytically that the extreme order statistics of fibers' strength is responsible for this peculiar behavior. Analyzing the results of computer simulations we deduce a scaling form which describes the dependence of the macroscopic strength of fiber bundles on the parameters of microscopic disorder over the entire range of system sizes.


title: On Fairness and Calibration

abstract: The machine learning community has become increasingly concerned with the potential for bias and discrimination in predictive models. This has motivated a growing line of work on what it means for a classification procedure to be "fair." In this paper, we investigate the tension between minimizing error disparity across different population groups while maintaining calibrated probability estimates. We show that calibration is compatible only with a single error constraint (i.e. equal false-negatives rates across groups), and show that any algorithm that satisfies this relaxation is no better than randomizing a percentage of predictions for an existing classifier. These unsettling findings, which extend and generalize existing results, are empirically confirmed on several datasets.


title: On conditional fault tolerance of hierarchical cubic networks

abstract: This paper considers the conditional fault tolerance, $h$-super connectivity $\kappa^{h}$ and $h$-super edge-connectivity $\lambda^{h}$ of the hierarchical cubic network $HCN_n$, an attractive alternative network to the hypercube, and shows $\kappa^h(HCN_n)=\lambda^h(HCN_n)=2^h(n+1-h)$ for any $h$ with $0\leq h\leq n-1$. The results imply that at least $2^h(n+1-h)$ vertices or edges have to be removed from $HCN_n$ to make it disconnected with no vertices of degree less than $h$, and generalize some known results.


title: Towards Proxemic Mobile Collocated Interactions

abstract: Research on mobile collocated interactions has been exploring situations where collocated users engage in collaborative activities using their personal mobile devices (e.g., smartphones and tablets), thus going from personal/individual toward shared/multiuser experiences and interactions. The proliferation of ever-smaller computers that can be worn on our wrists (e.g., Apple Watch) and other parts of the body (e.g., Google Glass), have expanded the possibilities and increased the complexity of interaction in what we term mobile collocated situations. Research on F-formations (or facing formations) has been conducted in traditional settings (e.g., home, office, parties) where the context and the presence of physical elements (e.g., furniture) can strongly influence the way people socially interact with each other. While we may be aware of how people arrange themselves spatially and interact with each other at a dinner table, in a classroom, or at a waiting room in a hospital, there are other less-structured, dynamic, and larger-scale spaces that present different types of challenges and opportunities for technology to enrich how people experience these (semi-) public spaces. In this article, the authors explore proxemic mobile collocated interactions by looking at F-formations in the wild. They discuss recent efforts to observe how people socially interact in dynamic, unstructured, non-traditional settings. The authors also report the results of exploratory F-formation observations conducted in the wild (i.e., tourist attraction).


title: The microstructure of high frequency markets

abstract: We present a novel approach to describing the microstructure of high frequency trading using two key elements. First we introduce a new notion of informed trader which we starkly contrast to current informed trader models. We describe the exact nature of the `superior information' high frequency traders have access to, and how these agents differ from the more standard `insider traders' described in past papers. This then leads to a model and an empirical analysis of the data which strongly supports our claims. The second key element is a rigorous description of clearing conditions on a limit order book and how to derive correct formulas for such a market. From a theoretical point of view, this allows the exact identification of two frictions in the market, one of which is intimately linked to our notion of `superior information'. Empirically, we show that ignoring these frictions can misrepresent the wealth exchanged on the market by 50%. Finally, we showcase two applications of our approach: we measure the profits made by high frequency traders on NASDAQ and re-visit the standard Black - Scholes model to determine how trading frictions alter the delta-hedging strategy.


title: Image Splicing Localization Using A Multi-Task Fully Convolutional Network (MFCN)

abstract: In this work, we propose a technique that utilizes a fully convolutional network (FCN) to localize image splicing attacks. We first evaluated a single-task FCN (SFCN) trained only on the surface label. Although the SFCN is shown to provide superior performance over existing methods, it still provides a coarse localization output in certain cases. Therefore, we propose the use of a multi-task FCN (MFCN) that utilizes two output branches for multi-task learning. One branch is used to learn the surface label, while the other branch is used to learn the edge or boundary of the spliced region. We trained the networks using the CASIA v2.0 dataset, and tested the trained models on the CASIA v1.0, Columbia Uncompressed, Carvalho, and the DARPA/NIST Nimble Challenge 2016 SCI datasets. Experiments show that the SFCN and MFCN outperform existing splicing localization algorithms, and that the MFCN can achieve finer localization than the SFCN.


title: A Survey For Planetary-mass Brown Dwarfs in the Taurus and Perseus Star-forming Regions

abstract: We present the initial results from a survey for planetary-mass brown dwarfs in the Taurus star-forming region. We have identified brown dwarf candidates in Taurus using proper motions and photometry from several ground- and space-based facilities. Through spectroscopy of some of the more promising candidates, we have found 18 new members of Taurus. They have spectral types ranging from mid M to early L and they include the four faintest known members in extinction-corrected K_s, which should have masses as low as ~4-5 M_Jup according to evolutionary models. Two of the coolest new members (M9.25, M9.5) have mid-IR excesses that indicate the presence of disks. Two fainter objects with types of M9-L2 and M9-L3 also have red mid-IR colors relative to photospheres at <=L0, but since the photospheric colors are poorly defined at >L0, it is unclear whether they have excesses from disks. We also have obtained spectra of candidate members of the IC 348 and NGC 1333 clusters in Perseus that were identified by Luhman et al. (2016). Eight candidates are found to be probable members, three of which are among the faintest and least-massive known members of the clusters (~5 M_Jup).


title: Modeling Normative Multi-Agent Systems from a Kelsenian Perspective

abstract: Standard Deontic Logic (SDL) has been used as the underlying logic to model and reason over Multi-Agent Systems governed by norms (NorMAS). It is known that SDL is not able to represent contrary-to-duty (CTD) scenarios in a consistent way. That is the case, for example, of the so-called Chisholm paradox, which models a situation in which a conditional obligation that specifies what must be done when a primary obligation is violated holds. In SDL, the set of sentences that represent the Chisholm paradox derives inconsistent sentences. Due to the autonomy of the software agents of a NorMAS, norms may be violated and the underlying logic used to model the NorMAS should be able to represent violation scenarios. The contribution of this paper is threefold: (i) we present how Kelsenian thinking, from his jurisprudence in the context of legal ontologies, and Intuitionist Hybrid Logic can be adopted in the modeling of NorMAS, (ii) discuss how this approach overcomes limitations of the SDL and (iii) present a discussion about normative conflict identification according to Hill's functional taxonomy, that generalizes from standard identification by impossibility-of-joint-compliance test.


title: Cartography of Triangulum-Andromeda using SDSS stars

abstract: The outer Galactic halo is home to a number of substructures which still have an uncertain origin, but most likely are remnants of former interactions between the Galaxy and its former satellites. Triangulum-Andromeda (TriAnd) is one of these halo substructures, found as an overdensity of 2MASS M giants. We analyzed the region of Triangulum-Andromeda using photometric data from the Ninth Data Release of Sloan Digital Sky Survey (SDSS DR9). By comparing the observations with simulations from the TRILEGAL Galactic model, we were able to identify and map several scattered overdensities of main sequence stars that seem to be associated with TriAnd over a large area covering $\sim 500$ deg$^2$. One of these excesses may represent a new stellar overdensity. We also briefly discuss an alternative hypothesis, according to which TriAnd is one of the troughs of oscillation rings in the Galactic disk.


title: LIMoSim: A Lightweight and Integrated Approach for Simulating Vehicular Mobility with OMNeT++

abstract: Reliable and efficient communication is one of the key requirements for the deployment of self-driving cars. Consequently, researchers and developers require efficient and precise tools for the parallel development of vehicular mobility and communication. Although current state-of-the-art approaches allow the coupled simulation of those two components, they are making use of multiple specialized simulators that are synchronized using interprocess communication, resulting in highly complex simulation setups. Furthermore, the compatibility of those simulators requires constant attention as they are developed independently. In this paper, we present a lightweight and integrated approach for simulating vehicular mobility directly in Objective Modular Network Testbed in C++ (OMNeT++) and INET without the need for external tools or Interprocess Communication (IPC). The proposed framework Lightweight ICT-centric Mobility Simulation (LIMoSim) is available as Open Source software and can easily be combined with other third-party extension frameworks for providing vehicular mobility based on well-known microscopical models. In contrast to existing approaches, the amount of necessary preprocessing steps for simulation setups is significantly reduced. The capabilities of LIMoSim are demonstrated by a proof of concept evaluation in combination with the Long Term Evolution (LTE) simulation framework SimuLTE.


title: Additive structures on $f$-vector sets of polytopes

abstract: We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or the simplicial polytopes, there are monoid structures on the set of $f$-vectors by themselves: "addition of $f$-vectors minus the $f$-vector of the $d$-simplex" always yields a new $f$-vector. For general $4$-polytopes, we show that the modified addition operation does not always produce an $f$-vector, but that the result is always close to an $f$-vector. In this sense, the set of $f$-vectors of \emph{all} $4$-polytopes forms an "approximate affine semigroup." The proof relies on the fact for $d=4$ every $d$-polytope, or its dual, has a "small facet." This fails for $d>4$. We also describe a two further modified addition operations on $f$-vectors that can be geometrically realized by glueing corresponding polytopes. The second one of these may yield a semigroup structure on the $f$-vector set of all $4$-polytopes.


title: Superposition as a Relativistic Filter

abstract: By associating a binary signal with the relativistic worldline of a particle, a binary form of the phase of non-relativistic wavefunctions is naturally produced by time dilation. An analog of superposition also appears as a Lorentz filtering process, removing paths that are relativistically inequivalent. In a model that includes a stochastic component, the free-particle Schr\"{o}dinger equation emerges from a completely relativistic context in which its origin {\em and function} is known. The result establishes the fact that the phase of wavefunctions in Schr\"{o}dinger's equation and the attendant superposition principle may both be considered remnants of time dilation. This strongly argues that quantum mechanics has its origins in special relativity.


title: CausalGAN: Learning Causal Implicit Generative Models with Adversarial Training

abstract: We propose an adversarial training procedure for learning a causal implicit generative model for a given causal graph. We show that adversarial training can be used to learn a generative model with true observational and interventional distributions if the generator architecture is consistent with the given causal graph. We consider the application of generating faces based on given binary labels where the dependency structure between the labels is preserved with a causal graph. This problem can be seen as learning a causal implicit generative model for the image and labels. We devise a two-stage procedure for this problem. First we train a causal implicit generative model over binary labels using a neural network consistent with a causal graph as the generator. We empirically show that WassersteinGAN can be used to output discrete labels. Later, we propose two new conditional GAN architectures, which we call CausalGAN and CausalBEGAN. We show that the optimal generator of the CausalGAN, given the labels, samples from the image distributions conditioned on these labels. The conditional GAN combined with a trained causal implicit generative model for the labels is then a causal implicit generative model over the labels and the generated image. We show that the proposed architectures can be used to sample from observational and interventional image distributions, even for interventions which do not naturally occur in the dataset.


title: Event Organization 101: Understanding Latent Factors of Event Popularity

abstract: The problem of understanding people's participation in real-world events has been a subject of active research and can offer valuable insights for human behavior analysis and event-related recommendation/advertisement. In this work, we study the latent factors for determining event popularity using large-scale datasets collected from the popular Meetup.com EBSN in three major cities around the world. We have conducted modeling analysis of four contextual factors (spatial, group, temporal, and semantic), and also developed a group-based social influence propagation network to model group-specific influences on events. By combining the Contextual features And Social Influence NetwOrk, our integrated prediction framework CASINO can capture the diverse influential factors of event participation and can be used by event organizers to predict/improve the popularity of their events. Evaluations demonstrate that our CASINO framework achieves high prediction accuracy with contributions from all the latent features we capture.


title: Observation of radio galaxies with HAWC

abstract: The High Altitude Water Cherenkov (HAWC) Gamma-Ray Observatory is an extensive air shower array located in Puebla, Mexico. The closest radio galaxy within the HAWC field of view, M87, has been detected in very high energies. In this work we report upper limits on the TeV {\gamma}-ray flux of the radio galaxy M87. At a distance of 16 Mpc, M87 is a supergiant elliptical galaxy located in the Virgo Cluster that has been observed from radio wavelengths to TeV {\gamma}-rays. Although a single-zone synchrotron self-Compton model has been successfully used to explain the spectral energy distribution of this source up to a few GeV, the {\gamma}-ray spectrum at TeV has been interpreted within different theoretical models. We discuss the implications of these upper limits on the photo-hadronic interactions, as well as the number of neutrino events expected in the IceCube neutrino telescope.


title: Testing FLUKA on neutron activation of Si and Ge at nuclear research reactor using gamma spectroscopy

abstract: Samples of two characteristic semiconductor sensor materials, silicon and germanium, have been irradiated with neutrons produced at the RP-10 Nuclear Research Reactor at 4.5 MW. Their radionuclides photon spectra have been measured with high resolution gamma spectroscopy, quantifying four radioisotopes ($^{28}$Al, $^{29}$Al for Si and $^{75}$Ge and $^{77}$Ge for Ge). We have compared the radionuclides production and their emission spectrum data with Monte Carlo simulation results from FLUKA. Thus we have tested FLUKA's low energy neutron library (ENDF/B-VIIR) and decay photon scoring with respect to the activation of these semiconductors. We conclude that FLUKA is capable of predicting relative photon peak amplitudes, with gamma intensities greater than 1%, of produced radionuclides with an average uncertainty of 13%. This work allows us to estimate the corresponding systematic error on neutron activation simulation studies of these sensor materials.


title: Large Sets in Boolean and Non-Boolean Groups and Topology

abstract: Right and left thick, syndetic, piecewise syndetic, and fat sets in groups are studied. The main concern is the interplay between such sets in Boolean groups. Natural topologies closely related to fat sets are also considered, which leads to interesting relations between fat sets and ultrafilters.


title: Observation of two-beam collective scattering phenomena in a Bose-Einstein condensate

abstract: New phenomena of collective light scattering are observed when an elongated Bose-Einstein condensate is pumped by two non-interfering beams counterpropagating along its long axis. In the limit of small Rayleigh scattering rates, the presence of a second pump beam suppresses superradiance, whereas at large Rayleigh scattering rates it lowers the effective threshold power for collective light scattering. In the latter regime, the quench dynamics of the two-beam system are oscillatory, compared to monotonic in the single-beam case. In addition, the dependence on power, detuning, and atom number is explored. The observed features of the two-beam system qualitatively agree with the recent prediction of a supersolid crystalline phase of light and matter at large Rayleigh scattering rates [S. Ostermann, F. Piazza, and H. Ritsch, Phys. Rev. X 6, 021026 (2016).]


title: Improving Schwarz Inequality in Inner Product Spaces

abstract: Some improvements of the celebrated Schwarz inequality in complex inner product spaces are given. Applications for n-tuples of complex numbers are provided.


title: On the regularity of solutions to the 2D Boussinesq equations satisfying Type I conditions

abstract: We prove continuation in time of the local smooth solutions satisfying various Type I conditions for the 2D inviscid Boussinesq equations.


title: Spectral Decimation for Families of Self-Similar Symmetric Laplacians on the Sierpinski Gasket

abstract: We construct a one-parameter family of Laplacians on the Sierpinski Gasket that are symmetric and self-similar for the 9-map iterated function system obtained by iterating the standard 3-map iterated function system. Our main result is the fact that all these Laplacians satisfy a version of spectral decimation that builds a precise catalog of eigenvalues and eigenfunctions for any choice of the parameter. We give a number of applications of this spectral decimation. We also prove analogous results for fractal Laplacians on the unit Interval, and this yields an analogue of the classical Sturm-Liouville theory for the eigenfunctions of these one-dimensional Laplacians.


title: Encapsulated silicon nitride nanobeam cavity for nanophotonics using layered materials

abstract: Most existing implementations of silicon nitride photonic crystal cavities rely on suspended membranes due to the low refractive index of silicon nitride. Such floating membranes are not mechanically robust, making them suboptimal for developing a hybrid optoelectronic platform where new materials, such as layered 2D materials, are transferred on a pre-existing optical cavity. To address this issue, we propose a silicon nitride nanobeam resonator design where the silicon nitride membrane is encapsulated by material with a refractive index of ~1.5, such as silicon dioxide or PMMA. The theoretically calculated quality factor of the cavities can be as large as 100,000 , with a mode-volume of 2.5 times the cubic wavelength. We fabricated the cavity, and measured the transmission spectrum with highest quality factor of 7000. We also successfully transferred monolayer tungsten diselenide on the encapsulated silicon nitride nanobeam, and demonstrated coupling of the cavity with the monolayer exciton and the defect emissions.


title: Towards high-throughput 3D insect capture for species discovery and diagnostics

abstract: Digitisation of natural history collections not only preserves precious information about biological diversity, it also enables us to share, analyse, annotate and compare specimens to gain new insights. High-resolution, full-colour 3D capture of biological specimens yields color and geometry information complementary to other techniques (e.g., 2D capture, electron scanning and micro computed tomography). However 3D colour capture of small specimens is slow for reasons including specimen handling, the narrow depth of field of high magnification optics, and the large number of images required to resolve complex shapes of specimens. In this paper, we outline techniques to accelerate 3D image capture, including using a desktop robotic arm to automate the insect handling process; using a calibrated pan-tilt rig to avoid attaching calibration targets to specimens; using light field cameras to capture images at an extended depth of field in one shot; and using 3D Web and mixed reality tools to facilitate the annotation, distribution and visualisation of 3D digital models.


title: String Matching: Communication, Circuits, and Learning

abstract: String matching is the problem of deciding whether a given $n$-bit string contains a given $k$-bit pattern. We study the complexity of this problem in three settings. Communication complexity. For small $k$, we provide near-optimal upper and lower bounds on the communication complexity of string matching. For large $k$, our bounds leave open an exponential gap; we exhibit some evidence for the existence of a better protocol. Circuit complexity. We present several upper and lower bounds on the size of circuits with threshold and DeMorgan gates solving the string matching problem. Similarly to the above, our bounds are near-optimal for small $k$. Learning. We consider the problem of learning a hidden pattern of length at most $k$ relative to the classifier that assigns 1 to every string that contains the pattern. We prove optimal bounds on the VC dimension and sample complexity of this problem.


title: Electron Accumulation and Emergent Magnetism in LaMnO3/SrTiO3 Heterostructures

abstract: Emergent phenomena at polar-nonpolar oxide interfaces have been studied intensely in pursuit of next-generation oxide electronics and spintronics. Here we report the disentanglement of critical thicknesses for electron reconstruction and the emergence of ferromagnetism in polar-mismatched LaMnO3/SrTiO3 (001) heterostructures. Using a combination of element-specific X-ray absorption spectroscopy and dichroism, and first-principles calculations, interfacial electron accumulation and ferromagnetism have been observed within the polar, antiferromagnetic insulator LaMnO3. Our results show that the critical thickness for the onset of electron accumulation is as thin as 2 unit cells (UC), significantly thinner than the observed critical thickness for ferromagnetism of 5 UC. The absence of ferromagnetism below 5 UC is likely induced by electron over-accumulation. In turn, by controlling the doping of the LaMnO3, we are able to neutralize the excessive electrons from the polar mismatch in ultrathin LaMnO3 films and thus enable ferromagnetism in films as thin as 3 UC, extending the limits of our ability to synthesize and tailor emergent phenomena at interfaces and demonstrating manipulation of the electronic and magnetic structures of materials at the shortest length scales.


title: A remark on the group-completion theorem

abstract: Suppose that $M$ is a topological monoid satisfying $\pi_0M=\mathbb{N}$ to which the McDuff-Segal group-completion theorem applies. This implies that a certain map $f: \mathbb{M}_{\infty}\rightarrow \Omega BM$ defined on an infinite mapping telescope is a homology equivalence with integer coefficients. In this short note we give an elementary proof of the result that if left- and right-stabilisation commute on $H_1(M)$, then the "McDuff-Segal comparison map" $f$ is acyclic. For example, this always holds if $\pi_0M$ lies in the centre of the Pontryagin ring $H_{\ast}(M)$. As an application we describe conditions on a commutative $\mathbb{I}$-monoid $X$ under which $\text{hocolim}_{\mathbb{I}}X$ can be identified with a Quillen plus-construction.


title: Importance of elastic finite-size effects: neutral defects in ionic compounds

abstract: Small system sizes are a well known source of error in DFT calculations, yet computational constraints frequently dictate the use of small supercells, often as small as 96 atoms in oxides and compound semiconductors. In ionic compounds, electrostatic finite size effects have been well characterised, but self-interaction of charge neutral defects is often discounted or assumed to follow an asymptotic behaviour and thus easily corrected with linear elastic theory. Here we show that elastic effects are also important in the description of defects in ionic compounds and can lead to qualitatively incorrect conclusions if inadequately small supercells are used; moreover, the spurious self-interaction does not follow the behaviour predicted by linear elastic theory. Considering the exemplar cases of metal oxides with fluorite structure, we show that numerous previous studies, employing 96-atom supercells, misidentify the ground state structure of (charge neutral) Schottky defects. We show that the error is eliminated by employing larger cells (324, 768 and 1500 atoms), and careful analysis determines that elastic effects, not electrostatic, are responsible. The spurious self-interaction was also observed in non-oxide ionic compounds and irrespective of the computational method used, thereby resolving long standing discrepancies between DFT and force-field methods, previously attributed to the level of theory. The surprising magnitude of the elastic effects are a cautionary tale for defect calculations in ionic materials, particularly when employing computationally expensive methods or when modelling large defect clusters. We propose two computationally practicable methods to test the magnitude of the elastic self-interaction in any ionic system.


title: On the importance of producing small impedance particles with prescribed boundary impedance

abstract: The problem of practical preparing small impedance particles with a prescribed boundary impedance is formulated and its importance in physics and technology is discussed. It is shown that if this problem is solved then one can easily prepare materials with a desired refraction coefficient and materials with a desired radiation pattern.


title: Capturing natural-colour 3D models of insects for species discovery

abstract: Collections of biological specimens are fundamental to scientific understanding and characterization of natural diversity. This paper presents a system for liberating useful information from physical collections by bringing specimens into the digital domain so they can be more readily shared, analyzed, annotated and compared. It focuses on insects and is strongly motivated by the desire to accelerate and augment current practices in insect taxonomy which predominantly use text, 2D diagrams and images to describe and characterize species. While these traditional kinds of descriptions are informative and useful, they cannot cover insect specimens "from all angles" and precious specimens are still exchanged between researchers and collections for this reason. Furthermore, insects can be complex in structure and pose many challenges to computer vision systems. We present a new prototype for a practical, cost-effective system of off-the-shelf components to acquire natural-colour 3D models of insects from around 3mm to 30mm in length. Colour images are captured from different angles and focal depths using a digital single lens reflex (DSLR) camera rig and two-axis turntable. These 2D images are processed into 3D reconstructions using software based on a visual hull algorithm. The resulting models are compact (around 10 megabytes), afford excellent optical resolution, and can be readily embedded into documents and web pages, as well as viewed on mobile devices. The system is portable, safe, relatively affordable, and complements the sort of volumetric data that can be acquired by computed tomography. This system provides a new way to augment the description and documentation of insect species holotypes, reducing the need to handle or ship specimens. It opens up new opportunities to collect data for research, education, art, entertainment, biodiversity assessment and biosecurity control.