title: Topological Triply Degenerate Points Induced by Spin-Tensor-Momentum Couplings

abstract: The recent discovery of triply degenerate points (TDPs) in topological materials has opened a new perspective toward the realization of novel quasiparticles without counterparts in quantum field theory. The emergence of such protected nodes is often attributed to spin-vector-momentum couplings. Here we show that the interplay between spin-tensor- and spin-vector-momentum couplings can induce three types of TDPs, classified by different monopole charges ($\mathcal{C}=\pm 2,\pm 1,0$). A Zeeman field can lift them into Weyl points with distinct numbers and charges. Different TDPs of the same type are connected by intriguing Fermi arcs at surfaces, and transitions between different types are accompanied by level crossings along high-symmetry lines. We further propose an experimental scheme to realize such TDPs in cold-atom optical lattices. Our results provide a framework for studying spin-tensor-momentum coupling-induced TDPs and other exotic quasiparticles.


title: Ibn al-\v{S}\=atir, L'ach\`evement de l'enqu\^ete et la correction des fondements / Kit\=ab nih\=aya al-s\=ul f\=i tash\=ih al-'us\=ul. \'Edition, traduction et commentaire math\'ematique par Erwan Pench\`evre

abstract: This book is a critical edition of a treatise of astronomy by the Syrian scholar Ibn al-\v{S}\=atir (1304-1375). The Arabic text has been established on the basis of several manuscript copies, and it has been translated into French; a bilingual index is also provided. This treatise is one of the latest and one of the most elaborate medieval work on theoretical astronomy; it is famous today for having provided the first viable lunar model in terms of the distance Moon-Earth. Although demonstrations have been consigned to another manuscript which is now lost, we reconstruct the physical models in our mathematical commentary, and we attempt at a better historical understanding of the nascent concepts of space transformations, solid reference frames, trajectory, etc. Predictions of the models are to be compared to observations and to other contemporary models, as well as theoretical premises; in turn, when records of observations are missing, those have to be recalculated by modern means. Part of our commentary is devoted to the latitudinal movement of the five planets: Ibn al-\v{S}\=atir's work on this problem belongs to a tradition initiated by Ibn al-Haytham three centuries before. Ibn al-\v{S}\=atir addresses a clever criticism to the work of his predecessor Nas\=ir al-D\=in al-T\=us\=i on this problem, thus revealing a better understanding of affine rotations in space. Many other criticisms by Ibn al-\v{S}\=atir, especially to the astronomers working at Mar\=a\.ga during the 13th century, also contribute to a better knowledge of their own work.


title: Polarized Balmer Line Emission from Supernova Remnant Shock Waves Efficiently Accelerating Cosmic Rays

abstract: Linearly polarized Balmer line emissions from supernova remnant shocks are studied taking into account the energy loss of the shock owing to the production of nonthermal particles. The polarization degree depends on the downstream temperature and the velocity difference between upstream and downstream regions. The former is derived once the line width of the broad component of the H$\alpha$ emission is observed. Then, the observation of the polarization degree tells us the latter. At the same time, the estimated value of the velocity difference independently predicts adiabatic downstream temperature that is derived from Rankine-Hugoniot relations for adiabatic shocks. If the actually observed downstream temperature is lower than the adiabatic temperature, there is a missing thermal energy which is consumed for particle acceleration. It is shown that a larger energy loss rate leads to more highly polarized H$\alpha$ emission. Furthermore, we find that polarized intensity ratio of H$\beta$ to H$\alpha$ also depends on the energy loss rate and that it is independent of uncertain quantities such as electron temperature, the effect of Lyman line trapping and our line of sight.


title: Grade zero part of forced graded algebras

abstract: The paper concerns a certain subcategory of the category of representations for a semisimple algebraic group $G$ in characteristic $p$, which arise from the semisimple modules for the corresponding quantum group at a $p$-th root of unity. The subcategory, thus, records the cohomological difference between quantum groups and algebraic groups. We define translation functors in this category and use them to obtain information on the irreducible characters for $G$ when the Lusztig character formula does not hold.


title: Toeplitz Quantization and Convexity

abstract: Let $T^m_f $ be the Toeplitz quantization of a real $ C^{\infty}$ function defined on the sphere $ \mathbb{CP}(1)$. $T^m_f $ is therefore a Hermitian matrix with spectrum $\lambda^m= (\lambda_0^m,\ldots,\lambda_m^m)$. Schur's theorem says that the diagonal of a Hermitian matrix $A$ that has the same spectrum of $ T^m_f $ lies inside a finite dimensional convex set whose extreme points are $\{( \lambda_{\sigma(0)}^m,\ldots,\lambda_{\sigma(m)}^m)\}$, where $\sigma$ is any permutation of $(m+1)$ elements. In this paper, we prove that these convex sets "converge" to a huge convex set in $L^2([0,1])$ whose extreme points are $ f^*\circ \phi$, where $ f^*$ is the decreasing rearrangement of $ f$ and $ \phi $ ranges over the set of measure preserving transformations of the unit interval $ [0,1]$.


title: Cross-Platform Emoji Interpretation: Analysis, a Solution, and Applications

abstract: Most social media platforms are largely based on text, and users often write posts to describe where they are, what they are seeing, and how they are feeling. Because written text lacks the emotional cues of spoken and face-to-face dialogue, ambiguities are common in written language. This problem is exacerbated in the short, informal nature of many social media posts. To bypass this issue, a suite of special characters called "emojis," which are small pictograms, are embedded within the text. Many emojis are small depictions of facial expressions designed to help disambiguate the emotional meaning of the text. However, a new ambiguity arises in the way that emojis are rendered. Every platform (Windows, Mac, and Android, to name a few) renders emojis according to their own style. In fact, it has been shown that some emojis can be rendered so differently that they look "happy" on some platforms, and "sad" on others. In this work, we use real-world data to verify the existence of this problem. We verify that the usage of the same emoji can be significantly different across platforms, with some emojis exhibiting different sentiment polarities on different platforms. We propose a solution to identify the intended emoji based on the platform-specific nature of the emoji used by the author of a social media post. We apply our solution to sentiment analysis, a task that can benefit from the emoji calibration technique we use in this work. We conduct experiments to evaluate the effectiveness of the mapping in this task.


title: Integrating Context of Statements within Description Logics

abstract: We address the problem of providing contextual information about a logical formula (eg provenance, date of validity, or confidence) and representing it within a logical system. In this case, it is needed to rely on a higher order or non standard formalism, or some kind of reification mechanism. We explore the case of reification and formalize the concept of contextualizing logical statements in the case of Description Logics. Then, we define several properties of contextualization that are desirable. No previous approaches satisfy all of the them. Consequently, we define a new way of contextually annotating statements. It is inspired by NdFluents, which is itself an extension of the 4dFluents approach for annotating statements with temporal context. In NdFluents, instances that are involved in a contextual statement are sliced into contextual parts, such that only parts in the same context hold relations to one another, with the goal of better preserving inferences. We generalize this idea by defining contextual parts of relations and classes. This formal construction better satisfies the properties, although not entirely. We show that it is a particular case of a general mechanism that NdFluents also instantiates, and present other variations.


title: Metaplectic Ice for Cartan Type C

abstract: We use techniques from statistical mechanics to provide new formulas for Whittaker coefficients of metaplectic Eisenstein series on odd orthogonal groups, matching Friedberg and Zhang. We study a particular variation/generalization of the six-vertex model of Cartan type C having "domain-wall boundary conditions" dependent on a given integer partition $\lambda$ of length at most $r$, where $r$ is a fixed positive integer. More precisely, we examine a planar, non-nested, U-turn model whose partition functions $Z_{\lambda}$ are a generalization of a deformation of characters of the symplectic group $\operatorname{Sp}(2r, \mathbb{C})$. Special cases appeared in: Kuperberg; Hamel and King; Brubaker, Bump, Chinta, and Gunnells; Ivanov. Our main result is that these new families of "metaplectic" models are solvable---i.e., they possess Yang--Baxter equations. We use this to derive two types of functional equations involving $Z_{\lambda}$ corresponding to the two root lengths for simple reflections of the symplectic Weyl group. It is widely believed that the local component of metaplectic Eisenstein series is a metaplectic Whittaker function, though this is subtle owing to the lack of uniqueness of Whittaker models and only verified in type A by McNamara. Thus, we also give evidence for the conjecture that $Z_{\lambda}$ is a spherical Whittaker function by showing that $Z_{\lambda}$ satisfies the same identities under our solution to the Yang--Baxter equation as the metaplectic Whittaker function under intertwining operators on the unramified principal series of an $n$-fold metaplectic cover of $\operatorname{SO}(2r + 1)$, for $n$ odd.


title: Algorithms for Embedding Quantum-Dot Cellular Automata Networks onto a Quantum Annealing Processor

abstract: Advancements in computing based on qubit networks, and in particular the flux-qubit processor architecture developed by D-Wave System's Inc., have enabled the physical simulation of quantum-dot cellular automata (QCA) networks beyond the limit of classical methods. However, the embedding of QCA networks onto the available processor architecture is a key challenge in preparing such simulations. In this work, two approaches to embedding QCA circuits are characterized: a dense placement algorithm that uses a routing method based on negotiated congestion; and a heuristic method implemented in D-Wave's Solver API package. A set of benchmark QCA networks is used to characterise the algorithms and a stochastic circuit generator is employed to investigate the performance for different processor sizes and active flux-qubit yields.


title: Phase-Space Analysis Using Tomography For The Muon G-2 Experiment At Fermilab

abstract: In the next decade the Fermilab Muon Campus will host two world class experiments dedicated to the search for signals of new physics. The Muon g-2 experiment will determine with unprecedented precision the anomalous magnetic moment of the muon. The Mu2e experiment will improve by four orders of magnitude the sensitivity on the search for the as-yet unobserved Charged Lepton Flavor Violation process of a neutrinoless conversion of a muon to an electron. Maintaining and preserving a high density of particles in phase-space is an important requirement for both experiments. This paper presents a new experimental method for mapping the transverse phase space of a particle beam based on tomographic principles. We simulate our technique using a GEANT4 based tracking code, to ascertain accuracy of the reconstruction. Then we apply the technique to a series of proof-of-principle simulation tests to study injection and transport of muon beams for the Fermilab Muon Campus.


title: Comparing Advanced Graph-Theoretical Parameters of the Connectomes of the Lobes of the Human Brain

abstract: Deep, classical graph-theoretical parameters, like the size of the minimum vertex cover, the chromatic number, or the eigengap of the adjacency matrix of the graph were studied widely by mathematicians in the last century. Most researchers today study much simpler parameters of braingraphs or connectomes which were defined in the last twenty years for enormous networks -- like the graph of the World Wide Web -- with hundreds of millions of nodes. Since the connectomes, describing the connections of the human brain, typically contain several hundred vertices today, one can compute and analyze the much deeper, harder-to-compute classical graph parameters for these, relatively small graphs of the brain. This deeper approach has proven to be very successful in the comparison of the connectomes of the sexes in our earlier works: we have shown that graph parameters, deeply characterizing the graph connectivity are significantly better in women's connectomes than in men's. In the present contribution we compare numerous graph parameters in the three largest lobes --- frontal, parietal, temporal --- and in both hemispheres of the brain. We apply the diffusion weighted imaging data of 423 subjects of the NIH-funded Human Connectome Project, and present some findings, never described before, including that the right parietal lobe contains significantly more edges, has higher average degree, density, larger minimum vertex cover and Hoffman bound than the left parietal lobe. Similar advantages in the deep graph connectivity properties are hold for the left frontal vs. the right frontal and for the right temporal vs. the left temporal lobes.


title: The Characterization of new Eu2+ doped TlSr2I5 Scintillator Crystals

abstract: TlSr2I5: Eu2+ is a newly discovered scintillator and show promising scintillation properties for X- and {\gamma}-rays spectroscopy applications. Two zones vertical Bridgman technique is used for the growth of this scintillator. Luminescence properties of the grown crystals are measured under X-ray excitation at room temperature. Pure and Eu2+ doped crystals contained broad emission bands between 445-670 nm peaking at 528 nm and 430-600 nm peaking at 463 nm, respectively. Energy resolution, light yield and decay time profiles are studied under 662 keV {\gamma}-ray excitation using 137Cs radioactive source. Energy resolution of 4.2 % (FWHM) is obtained for 3 mol% Eu2+ doped crystal. For the same sample, light yield of 70,000 ph/MeV is also obtained. Three and two decay constants are observed for the pure and Eu2+ doped samples, respectively at room temperature. Effective Z-number and density are found to be 61 and 5.30 g/cm3, respectively.


title: Geometric clustering in normed planes

abstract: Given two sets of points $A$ and $B$ in a normed plane, we prove that there are two linearly separable sets $A'$ and $B'$ such that $\mathrm{diam}(A')\leq \mathrm{diam}(A)$, $\mathrm{diam}(B')\leq \mathrm{diam}(B)$, and $A'\cup B'=A\cup B.$ This extends a result for the Euclidean distance to symmetric convex distance functions. As a consequence, some Euclidean $k$-clustering algorithms are adapted to normed planes, for instance, those that minimize the maximum, the sum, or the sum of squares of the $k$ cluster diameters. The 2-clustering problem when two different bounds are imposed to the diameters is also solved. The Hershberger-Suri's data structure for managing ball hulls can be useful in this context.


title: A comparison between active strain and active stress in transversely isotropic hyperelastic materials

abstract: Active materials are media for which deformations can occur in absence of loads, given an external stimulus. Two approaches to the modeling of such materials are mainly used in literature, both based on the introduction of a new tensor: an additive stress $\mathsf{P}_\text{act}$ in the active stress case and a multiplicative strain $\mathsf{F}_a$ in the active strain one. Aim of this paper is the comparison between the two approaches on simple shears. Considering an incompressible and transversely isotropic material, we design constitutive relations for $\mathsf{P}_\text{act}$ and $\mathsf{F}_a$ so that they produce the same results for a uniaxial deformation along the symmetry axis. We then study the two approaches in the case of a simple shear deformation. In a hyperelastic setting, we show that the two approaches produce different stress components along a simple shear, unless some necessary conditions on the strain energy density are fulfilled. However, such conditions are very restrictive and rule out the usual elastic strain energy functionals. Active stress and active strain therefore produce different results in shear, even if they both fit uniaxial data. Our results show that experimental data on the stress-stretch response on uniaxial deformations are not enough to establish which activation approach can capture better the mechanics of active materials. We conclude that other types of deformations, beyond the uniaxial one, should be taken into consideration in the modeling of such materials.


title: Macroscopic equivalence for microscopic motion in a turbulence driven three-dimensional self-assembly reactor

abstract: We built and characterised a macroscopic self-assembly reactor that agitates magnetic, centimeter-sized particles with a turbulent water flow. By scaling up the self-assembly processes to the centimeter-scale, the characteristic time constant scale also drastically increases. This makes the system a physical simulator of microscopic self-assembly, where the interaction of inserted particles are easily observable. Trajectory analysis of single particles reveals their velocity to be a Maxwell-Boltzmann distribution and it shows that their average squared displacement over time can be modelled by a confined random walk model, demonstrating a high level of similarity to Brownian motion. The interaction of two particles has been modelled and verified experimentally by observing the distance between two particles over time. The disturbing energy (analogue to temperature) that was obtained experimentally increases with sphere size, and differs by an order of magnitude between single-sphere and two-sphere systems (approximately 80 $\mathrm{\mu J}$ versus 6.5 $\mathrm{\mu J}$, respectively).

categories: cond-mat.soft nlin.AO nlin.CD physics.data-an physics.flu-dyn


title: An improved quality control chart to monitor the mean based on ranked sets

abstract: In this study, we considered the design and performance of control charts using neoteric ranked set sampling (NRSS) in monitoring normal distributed processes. NRSS is a recently proposed sampling design, based on the traditional ranked set sampling (RSS). We evaluated NRSS control charts by average run length (ARL), based on Monte Carlo simulation results. NRSS control charts performed the best, compared to RSS and some of its extensions, in most simulated scenarios. The impact of imperfect ranking was also evaluated. An application on strength concrete data serves as an illustration of the proposed method.


title: Equivalence of position-position auto-correlations in the Slicer Map and the L\'evy-Lorentz gas

abstract: The Slicer Map is a one-dimensional non-chaotic dynamical system that shows sub-, super-, and normal diffusion as a function of its control parameter. In a recent paper [Salari et al., CHAOS 25, 073113 (2015)] it was found that the moments of the position distributions as the Slicer Map have the same asymptotic behaviour as the L\'evy-Lorentz gas, a random walk on the line in which the scatterers are randomly distributed according to a L\'evy-stable probability distribution. Here we derive analytic expressions for the position-position correlations of the Slicer Map and, on the ground of this result, we formulate some conjectures about the asymptotic behaviour of position-position correlations of the L\'evy-Lorentz gas, for which the information in the literature is minimal. The numerically estimated position-position correlations of the L\'evy-Lorentz show a remarkable agreement with the conjectured asymptotic scaling.


title: Dynamic Markers: UAV landing proof of concept

abstract: In this paper, we introduce a dynamic fiducial marker which can change its appearance according to the spatiotemporal requirements of the visual perception task of a mobile robot using a camera as the sensor. We present a control scheme to dynamically change the appearance of the marker in order to increase the range of detection and to assure a better accuracy on the close range. The marker control takes into account the camera to marker distance (which influences the scale of the marker in image coordinates) to select which fiducial markers to display. Hence, we realize a tight coupling between the visual pose control of the mobile robot and the appearance of the dynamic fiducial marker. Additionally, we discuss the practical implications of time delays due to processing time and communication delays between the robot and the marker. Finally, we propose a real-time dynamic marker visual servoing control scheme for quadcopter landing and evaluate the performance on a real-world example.


title: The 2-d isentropic compressible Euler equations may have infinitely many solutions which conserve energy

abstract: We consider the 2-d isentropic compressible Euler equations. It was shown in by E. Chiodaroli, C. De Lellis and O. Kreml that there exist Riemann initial data as well as Lipschitz initial data for which there exist infinitely many weak solutions that fulfill an energy inequality. In this note we will prove that there is Riemann initial data for which there exist infinitely many weak solutions that conserve energy, i.e. they fulfill an energy equality. As in the aforementioned paper we will also show that there even exists Lipschitz initial data with the same property.


title: $C^1$ density of stable ergodicity

abstract: We prove a $C^1$ version of a conjecture by Pugh and Shub: among partially hyperbolic volume-preserving $C^r$ diffeomorphisms, $r>1$, the stably ergodic ones are $C^1$-dense. To establish these results, we develop new perturbation tools for the $C^1$ topology: linearization of horseshoes while preserving entropy, and creation of "superblenders" from hyperbolic sets with large entropy.


title: Integral transforms of the quantum mechanical path integral: hit function and path averaged potential

abstract: We introduce two new integral transforms of the quantum mechanical transition kernel that represent physical information about the path integral. These transforms can be interpreted as probability distributions on particle trajectories measuring respectively the relative contribution to the path integral from paths crossing a given spatial point (the hit function) and the likelihood of values of the line integral of the potential along a path in the ensemble (the path averaged potential).


title: Analytic Gradients for Complete Active Space Pair-Density Functional Theory

abstract: Analytic gradient routines are a desirable feature for quantum mechanical methods, allowing for efficient determination of equilibrium and transition state structures and several other molecular properties. In this work, we present analytical gradients for multiconfiguration pair-density functional theory (MC-PDFT) when used with a state-specific complete active space self-consistent field reference wave function. Our approach constructs a Lagrangian that is variational in all wave function parameters. We find that MC-PDFT locates equilibrium geometries for several small- to medium-sized organic molecules that are similar to those located by complete active space second-order perturbation theory but that are obtained with decreased computational cost.


title: Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts

abstract: Automated synthesis of reactive systems from specifications has been a topic of research for decades. Recently, a variety of approaches have been proposed to extend synthesis of reactive systems from proposi- tional specifications towards specifications over rich theories. We propose a novel, completely automated approach to program synthesis which reduces the problem to deciding the validity of a set of forall-exists formulas. In spirit of IC3 / PDR, our problem space is recursively refined by blocking out regions of unsafe states, aiming to discover a fixpoint that describes safe reactions. If such a fixpoint is found, we construct a witness that is directly translated into an implementation. We implemented the algorithm on top of the JKind model checker, and exercised it against contracts written using the Lustre specification language. Experimental results show how the new algorithm outperforms JKinds already existing synthesis procedure based on k-induction and addresses soundness issues in the k-inductive approach with respect to unrealizable results.


title: Do planets remember how they formed?

abstract: One of the most directly observable features of a transiting multi-planet system is their size-ordering when ranked in orbital separation. Kepler has revealed a rich diversity of outcomes, from perfectly ordered systems, like Kepler-80, to ostensibly disordered systems, like Kepler-20. Under the hypothesis that systems are born via preferred formation pathways, one might reasonably expect non-random size-orderings reflecting these processes. However, subsequent dynamical evolution, often chaotic and turbulent in nature, may erode this information and so here we ask - do systems remember how they formed? To address this, we devise a model to define the entropy of a planetary system's size-ordering, by first comparing differences between neighboring planets and then extending to accommodate differences across the chain. We derive closed-form solutions for many of the micro state occupancies and provide public code with look-up tables to compute entropy for up to ten-planet systems. All three proposed entropy definitions exhibit the expected property that their credible interval increases with respect to a proxy for time. We find that the observed Kepler multis display a highly significant deficit in entropy compared to a randomly generated population. Incorporating a filter for systems deemed likely to be dynamically packed, we show that this result is robust against the possibility of missing planets too. Put together, our work establishes that Kepler systems do indeed remember something of their younger years and highlights the value of information theory for exoplanetary science.


title: Solitons of Curve Shortening Flow and Vortex Filament Equation

abstract: In this paper we explore the nature of self-similar solutions of the Curve Shortening Flow and the Vortex Filament Equation, also known as the Binormal Flow. We explore some of their fundamental conservation properties and describe the behavior of their self-similar solutions. For Curve Shortening Flow we mainly expose the results of Huisken, Grayson, and Halldorsson concerning the equation's basic properties and self-similar solutions in the plane. For the Vortex Filament Equation we present the results by Banica and Vega, Arms and Hama, and Hasimoto. We also derive the evolution equations of the normal, binormal and tangent vectors in the Frenet frame for the vortex filament as well as those of curvature and torsion. We give a proof that circles are the only planar translating self-similar solutions and also derive a system of ordinary differential equations that govern the behavior for rotating


title: On Coordinate Minimization of Convex Piecewise-Affine Functions

abstract: A popular class of algorithms to optimize the dual LP relaxation of the discrete energy minimization problem (a.k.a.\ MAP inference in graphical models or valued constraint satisfaction) are convergent message-passing algorithms, such as max-sum diffusion, TRW-S, MPLP and SRMP. These algorithms are successful in practice, despite the fact that they are a version of coordinate minimization applied to a convex piecewise-affine function, which is not guaranteed to converge to a global minimizer. These algorithms converge only to a local minimizer, characterized by local consistency known from constraint programming. We generalize max-sum diffusion to a version of coordinate minimization applicable to an arbitrary convex piecewise-affine function, which converges to a local consistency condition. This condition can be seen as the sign relaxation of the global optimality condition.


title: Perfect Anomalous Reflection with a Binary Huygens' Metasurface

abstract: In this paper we propose a new metasurface that is able to reflect a known incoming electromagnetic wave into an arbitrary direction, with perfect power efficiency. This seemingly simple task, which we hereafter call perfect anomalous reflection, is actually highly non-trivial due to the differing wave impedances and complex interference between the incident and reflected waves. Heretofore, proposed metasurfaces which achieve perfect anomalous reflection require complicated, deeply subwavelength and/or multilayer element structures which allow them to couple to and from leaky and/or evanescent waves. In contrast, we demonstrate that using a Binary Huygens' Metasurface (BHM) --- a passive and lossless metasurface with only two cells per period --- perfect anomalous reflection can be achieved over a wide angular and frequency range. Through simulations and experiments at 24 GHz, we show that a properly designed BHM can anomalously reflect an incident electromagnetic wave from $\theta_i = 50^\circ$ to $\theta_r = -22.5^\circ$, with perfect power efficiency to within experimental precision.


title: Abstractions for AI-Based User Interfaces and Systems

abstract: Novel user interfaces based on artificial intelligence, such as natural-language agents, present new categories of engineering challenges. These systems need to cope with uncertainty and ambiguity, interface with machine learning algorithms, and compose information from multiple users to make decisions. We propose to treat these challenges as language-design problems. We describe three programming language abstractions for three core problems in intelligent system design. First, hypothetical worlds support nondeterministic search over spaces of alternative actions. Second, a feature type system abstracts the interaction between applications and learning algorithms. Finally, constructs for collaborative execution extend hypothetical worlds across multiple machines while controlling access to private data. We envision these features as first steps toward a complete language for implementing AI-based interfaces and applications.


title: Truncated Nonsmooth Newton Multigrid Methods for Block-Separable Minimization Problems

abstract: The Truncated Nonsmooth Newton Multigrid (TNNMG) method is a robust and efficient solution method for a wide range of block-separable convex minimization problems, typically stemming from discretizations of nonlinear and nonsmooth partial differential equations. This paper proves global convergence of the method under weak conditions both on the objective functional, and on the local inexact subproblem solvers that are part of the method. It also discusses a range of algorithmic choices that allows to customize the algorithm for many specific problems. Numerical examples are deliberately omitted, because many such examples have already been published elsewhere.


title: Global analysis of color fluctuation effects in proton- and deuteron-nucleus collisions at RHIC and the LHC

abstract: We test the hypothesis that configurations of a proton with a large-$x$ parton, $x_p \gtrsim 0.1$, have a smaller than average size. The QCD $Q^2$ evolution equations suggest that these small configurations also have a significantly smaller interaction strength, which has observable consequences in collisions with nuclei. We perform a global analysis of jet production data in proton- and deuteron-nucleus collisions at RHIC and the LHC. Using a model which takes a distribution of interaction strengths into account, we quantitatively extract the $x_p$-dependence of the average interaction strength, $\sigma(x_p)$, over a wide kinematic range. By comparing the RHIC and LHC results, our analysis finds that the interaction strength for small configurations, while suppressed, grows faster with collision energy than does that for average configurations. We check that this energy dependence is consistent with the results of a method which, given $\sigma(x_p)$ at one energy, can be used to quantitatively predict that at another. This finding further suggests that at even lower energies, nucleons with a large-$x_p$ parton should interact much more weakly than those in an average configuration, a phenomenon in line with explanations of the EMC effect for large-$x_p$ quarks in nuclei based on color screening.


title: Spectral bounds for singular indefinite Sturm-Liouville operators with $L^1$--potentials

abstract: The spectrum of the singular indefinite Sturm-Liouville operator $$A=\text{\rm sgn}(\cdot)\bigl(-\tfrac{d^2}{dx^2}+q\bigr)$$ with a real potential $q\in L^1(\mathbb R)$ covers the whole real line and, in addition, non-real eigenvalues may appear if the potential $q$ assumes negative values. A quantitative analysis of the non-real eigenvalues is a challenging problem, and so far only partial results in this direction were obtained. In this paper the bound $$|\lambda|\leq |q|_{L^1}^2$$ on the absolute values of the non-real eigenvalues $\lambda$ of $A$ is obtained. Furthermore, separate bounds on the imaginary parts and absolute values of these eigenvalues are proved in terms of the $L^1$-norm of the negative part of $q$.


title: Photon sector analysis of Super and Lorentz symmetry breaking: effective photon mass, bi-refringence and dissipation

abstract: Within the Standard Model Extension (SME), we expand our previous findings on four classes of violations of Super-Symmetry (SuSy) and Lorentz Symmetry (LoSy), differing in the handedness of the Charge conjugation-Parity-Time reversal (CPT) symmetry and in whether considering the impact of photinos on photon propagation. The violations, occurring at the early universe high energies, show visible traces at present in the Dispersion Relations (DRs). For the CPT-odd classes ($V_{\mu}$ breaking vector) associated with the Carroll-Field-Jackiw (CFJ) model, the DRs and the Lagrangian show for the photon an effective mass, gauge invariant, proportional to $|{\vec V}|$. The group velocity exhibits a classic dependency on the inverse of the frequency squared. For the CPT-even classes ($k_{F}$ breaking tensor), when the photino is considered, the DRs display also a massive behaviour inversely proportional to a coefficient in the Lagrangian and to a term linearly dependent on $k_{F}$. All DRs display an angular dependence and lack LoSy invariance. In describing our results, we also point out the following properties: i) the appearance of complex or simply imaginary frequencies and super-luminal speeds and ii) the emergence of bi-refringence. Finally, we point out the circumstances for which SuSy and LoSy breakings, possibly in presence of an external field, lead to the non-conservation of the photon energy-momentum tensor. We do so for both CPT sectors.


title: Pulsing corals: A story of scale and mixing

abstract: Effective methods of fluid transport vary across scale. A commonly used dimensionless number for quantifying the effective scale of fluid transport is the Reynolds number, Re, which gives the ratio of inertial to viscous forces. What may work well for one Re regime may not produce significant flows for another. These differences in scale have implications for many organisms, ranging from the mechanics of how organisms move through their fluid environment to how hearts pump at various stages in development. Some organisms, such as soft pulsing corals, actively contract their tentacles to generate mixing currents that enhance photosynthesis. Their unique morphology and intermediate scale where both viscous and inertial forces are significant make them a unique model organism for understanding fluid mixing. In this paper, 3D fluid-structure interaction simulations of a pulsing soft coral are used to quantify fluid transport and fluid mixing across a wide range of Re. The results show that net transport is negligible for $Re<10$, and continuous upward flow is produced for $Re\geq 10$.


title: Octet Baryons in Large Magnetic Fields

abstract: Magnetic properties of octet baryons are investigated within the framework of chiral perturbation theory. Utilizing a power counting for large magnetic fields, the Landau levels of charged mesons are treated exactly giving rise to baryon energies that depend non-analytically on the strength of the magnetic field. In the small-field limit, baryon magnetic moments and polarizabilities emerge from the calculated energies. We argue that the magnetic polarizabilities of hyperons provide a testing ground for potentially large contributions from decuplet pole diagrams. In external magnetic fields, such contributions manifest themselves through decuplet-octet mixing, for which possible results are compared in a few scenarios. These scenarios can be tested with lattice QCD calculations of the octet baryon energies in magnetic fields.


title: On multi-degree splines

abstract: Multi-degree splines are piecewise polynomial functions having sections of different degrees. For these splines, we discuss the construction of a B-spline basis by means of integral recurrence relations, extending the class of multi-degree splines that can be derived by existing approaches. We then propose a new alternative method for constructing and evaluating the B-spline basis, based on the use of so-called transition functions. Using the transition functions we develop general algorithms for knot-insertion, degree elevation and conversion to B\'ezier form, essential tools for applications in geometric modeling. We present numerical examples and briefly discuss how the same idea can be used in order to construct geometrically continuous multi-degree splines.


title: Silicon Mie Resonators for Highly Directional Light Emission from monolayer MoS2

abstract: Controlling light emission from quantum emitters has important applications ranging from solid-state lighting and displays to nanoscale single-photon sources. Optical antennas have emerged as promising tools to achieve such control right at the location of the emitter, without the need for bulky, external optics. Semiconductor nanoantennas are particularly practical for this purpose because simple geometries, such as wires and spheres, support multiple, degenerate optical resonances. Here, we start by modifying Mie scattering theory developed for plane wave illumination to describe scattering of dipole emission. We then use this theory and experiments to demonstrate several pathways to achieve control over the directionality, polarization state, and spectral emission that rely on a coherent coupling of an emitting dipole to optical resonances of a Si nanowire. A forward-to-backward ratio of 20 was demonstrated for the electric dipole emission at 680 nm from a monolayer MoS2 by optically coupling it to a Si nanowire.


title: Weighted and locally bounded list-colorings in split graphs, cographs, and partial k-trees

abstract: For a fixed number of colors, we show that, in node-weighted split graphs, cographs, and graphs of bounded tree-width, one can determine in polynomial time whether a proper list-coloring of the vertices of a graph such that the total weight of vertices of each color equals a given value in each part of a fixed partition of the vertices exists. We also show that this result is tight in some sense, by providing hardness results for the cases where any one of the assumptions does not hold. The edge-coloring variant is also studied, as well as special cases of cographs and split graphs.


title: Three-dimensional low Reynolds number flows near biological filtering and protective layers

abstract: Mesoscale filtering and protective layers are replete throughout the natural world. Within the body, arrays of extracellular proteins, microvilli, and cilia can act as both protective layers and mechanosensors. For example, blood flow profiles through the endothelial surface layer determine the amount of shear stress felt by the endothelial cells and may alter the rates at which molecules enter and exit the cells. Characterizing the flow profiles through such layers is therefore critical towards understanding the function of such arrays in cell signaling and molecular filtering. External filtering layers are also important to many animals and plants. Trichomes (the hairs or fine outgrowths on plants) can drastically alter both the average wind speed and profile near the leaf's surface, affecting the rates of nutrient and heat exchange. In this paper, dynamically scaled physical models are used to study the flow profiles outside of arrays of cylinders that represent such filtering and protective layers. In addition, numerical simulations using the Immersed Boundary Method are used to resolve the 3D flows within the layers. The experimental and computational results are compared to analytical results obtained by modeling the layer as a homogeneous porous medium with free flow above the layer. The experimental results show that the bulk flow is well described by simple analytical models. The numerical results show that the spatially averaged flow within the layer is well described by the Brinkman model. The numerical results also demonstrate that the flow can be highly 3D with fluid moving into and out of the layer. These effects are not described by the Brinkman model and may be significant for biologically relevant volume fractions. The results of this paper can be used to understand how variations in density and height of such structures can alter shear stresses and bulk flows.


title: Measurements of the intrinsic quantum efficiency and absorption length of tetraphenyl butadiene thin films in the vacuum ultraviolet regime

abstract: A key enabling technology for many liquid noble gas (LNG) detectors is the use of the common wavelength shifting medium tetraphenyl butadiene (TPB). TPB thin films are used to shift ultraviolet scintillation light into the visible spectrum for detection and event reconstruction. Understanding the wavelength shifting efficiency and optical properties of these films are critical aspects in detector performance and modeling and hence in the ultimate physics sensitivity of such experiments. This article presents the first measurements of the room-temperature microphysical quantum efficiency for vacuum-deposited TPB thin films - a result that is independent of the optics of the TPB or substrate. Also presented are measurements of the absorption length in the vacuum ultraviolet regime, the secondary re-emission efficiency, and more precise results for the "black-box" efficiency across a broader spectrum of wavelengths than previous results. The low-wavelength sensitivity, in particular, would allow construction of LNG scintillator detectors with lighter elements (Ne, He) to target light mass WIMPs.


title: Ramsey equivalence of $K_n$ and $K_n+K_{n-1}$ for multiple colours

abstract: In 2015 Bloom and Liebenau proved that $K_n$ and $K_n+K_{n-1}$ possess the same $2$-Ramsey graphs for all $n\geq 3$ (with a single exception for $n=3$). In the following we give a simple proof that $K_n$ and $K_n+K_{n-1}$ possess the same $r$-Ramsey graphs for all $n, r\geq 3$.


title: Entanglement Constraints on States Locally Connected to the Greenberger-Horne-Zeilinger State

abstract: The multi-qubit GHZ state possesses tangles with elegant transformation properties under stochastic local operations and classical communication. Since almost all pure 3-qubit states are connected to the GHZ state via SLOCC, we derive a necessary and sufficient achievability inequality on arbitrary 3-qubit tangles, which is a strictly stronger constraint than both the monogamy inequality and the marginal eigenvalue inequality. We then show that entanglement shared with any single party in the n-qubit GHZ SLOCC equivalence class is precisely accounted for by the sum of its k-tangles, recently coined the strong monogamy equality, acknowledging competing but agreeing definitions of the k-tangle on this class, one of which is then computable for arbitrary mixed states. Strong monogamy is known to not hold arbitrarily, and so we introduce a unifying outlook on entanglement constraints in light of basic real algebraic geometry.


title: Spontaneous symmetry breaking of charge-regulated surfaces

abstract: The interaction between two chemically identical charge-regulated surfaces is studied using the classical density functional theory. In contrast to common expectations and assumptions, under certain realistic conditions we find a spontaneous emergence of disparate charge densities on the two surfaces. The surface charge densities can differ not only in their magnitude, but quite unexpectedly, even in their sign, implying that the electrostatic interaction between the two chemically identical surfaces can be attractive instead of repulsive. Moreover, an initial symmetry with equal charge densities on both surfaces can also be broken spontaneously upon decreasing the separation between the two surfaces. The origin of this phenomenon is a competition between the adsorption of ions from the solution to the surface and the interaction between the adsorbed ions already on the surface.These findings are fundamental for the understanding of the forces between colloidal objects and, in particular, they are bound to strongly influence the present picture of protein interaction.


title: Two-sample Statistics Based on Anisotropic Kernels

abstract: The paper introduces a new kernel-based Maximum Mean Discrepancy (MMD) statistic for measuring the distance between two distributions given finitely-many multivariate samples. When the distributions are locally low-dimensional, the proposed test can be made more powerful to distinguish certain alternatives by incorporating local covariance matrices and constructing an anisotropic kernel. The kernel matrix is asymmetric; it computes the affinity between $n$ data points and a set of $n_R$ reference points, where $n_R$ can be drastically smaller than $n$. While the proposed statistic can be viewed as a special class of Reproducing Kernel Hilbert Space MMD, the consistency of the test is proved, under mild assumptions of the kernel, as long as $\|p-q\| \sqrt{n} \to \infty $, and a finite-sample lower bound of the testing power is obtained. Applications to flow cytometry and diffusion MRI datasets are demonstrated, which motivate the proposed approach to compare distributions.


title: Imaging the magnetic states in an actinide ferromagnet UMn$_2$Ge$_2$

abstract: We present studies of the magnetic domain structure of UMn$_2$Ge$_2$ single crystals using a home-built low temperature magnetic force microscope. The material has two distinct magnetic ordering temperatures, originating from the Mn and U moments. At room temperature, where the Mn moments dominate, there are flower-like domain patterns similar to those observed in uniaxial ferromagnets. After exposing the sample to a one-tesla magnetic field near 40 K, the evolution of the magnetic domains are imaged through zero-field warming up to 200 K. Near the ordering temperature of the uranium moments a clear change in the domain wall motion is observed. The domain size analysis of the flower-like pattern reveals that the domain structure is consistent with a model of branching domains.


title: Spin Hall insulators beyond the Helical Luttinger model

abstract: We consider the interacting, spin conserving, extended Kane-Mele-Hubbard model, and we rigorously establish the exact quantization of the edge spin conductance and the validity of the Helical Luttinger liquid relations for Drude weights and susceptibilities. Our analysis fully takes into account lattice effects, typically neglected in the Helical Luttinger model approximation, which play an essential role for universality. The analysis is based on exact renormalization group methods and on a combination of lattice and emergent Ward identities, which allow to relate the emergent chiral anomaly with the finite renormalizations due to lattice corrections.


title: Sparse Domination for Bi-Parameter Operators Using Square Functions

abstract: Let $S$ be the dyadic bi-parameter square function $$Sf(x)^{2} = \sum_{R \in \mathcal{D}} |\langle f, h_{R} \rangle|^{2} \frac{1_{R}(x)}{|R|}.$$ We prove that if $T$ is a bi-parameter martingale transform and $f,g$ are suitable test functions, then there exists a sparse collection of rectangles $\mathcal{S}$ such that $$|\langle Tf, g \rangle| \lesssim \sum_{R \in \mathcal{S}} |R|(Sf)_{R}(Sg)_{R}.$$ We also extend this estimate to the case where $T$ is a bi-parameter cancellative dyadic shift and when $T$ is a paraproduct-free singular integral of Journ\'{e} type. Weighted estimates follow from the domination.


title: Conley pairs in geometry - Lusternik-Schnirelmann theory and more

abstract: Firstly, we wish to motivate that Conley pairs, realized via Salamon's definition [17], are rather useful building blocks in geometry: Initially we met Conley pairs in an attempt to construct Morse filtrations of free loop spaces [21]. From this fell off quite naturally, firstly, an alternative proof [20] of the cell attachment theorem in Morse theory [13] and, secondly, some ideas [12] how to try to organize the closures of the unstable manifolds of a Morse-Smale gradient flow as a CW decomposition of the underlying manifold. Relaxing non-degeneracy of critical points to isolatedness we use these Conley pairs to implement the gradient flow proof of the Lusternik-Schnirelmann Theorem [10] proposed in Bott's survey [3]. Secondly, we shall use this opportunity to provide an exposition of Lusternik-Schnirelmann (LS) theory based on thickenings of unstable manifolds via Conley pairs. We shall cover the Lusternik-Schnirelmann Theorem [10], cuplength, subordination, the LS refined minimax principle, and a variant of the LS category called ambient category.


title: ImageNet Training in Minutes

abstract: Finishing 90-epoch ImageNet-1k training with ResNet-50 on a NVIDIA M40 GPU takes 14 days. This training requires 10^18 single precision operations in total. On the other hand, the world's current fastest supercomputer can finish 2 * 10^17 single precision operations per second (Dongarra et al 2017, https://www.top500.org/lists/2017/06/). If we can make full use of the supercomputer for DNN training, we should be able to finish the 90-epoch ResNet-50 training in one minute. However, the current bottleneck for fast DNN training is in the algorithm level. Specifically, the current batch size (e.g. 512) is too small to make efficient use of many processors. For large-scale DNN training, we focus on using large-batch data-parallelism synchronous SGD without losing accuracy in the fixed epochs. The LARS algorithm (You, Gitman, Ginsburg, 2017, arXiv:1708.03888) enables us to scale the batch size to extremely large case (e.g. 32K). We finish the 100-epoch ImageNet training with AlexNet in 11 minutes on 1024 CPUs. About three times faster than Facebook's result (Goyal et al 2017, arXiv:1706.02677), we finish the 90-epoch ImageNet training with ResNet-50 in 20 minutes on 2048 KNLs without losing accuracy. State-of-the-art ImageNet training speed with ResNet-50 is 74.9% top-1 test accuracy in 15 minutes. We got 74.9% top-1 test accuracy in 64 epochs, which only needs 14 minutes. Furthermore, when we increase the batch size to above 16K, our accuracy is much higher than Facebook's on corresponding batch sizes. Our source code is available upon request.


title: Positivity of divisors on blown-up projective spaces, II

abstract: We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef.


title: Constraining the Mass and Radius of Neutron Stars in Globular Clusters

abstract: We analyze observations of eight quiescent low-mass X-ray binaries in globular clusters and combine them to determine the neutron star mass-radius curve and the equation of state of dense matter. We determine the effect that several uncertainties may have on our results, including uncertainties in the distance, the atmosphere composition, the neutron star maximum mass, the neutron star mass distribution, the possible presence of a hotspot on the neutron star surface, and the prior choice for the equation of state of dense matter. We find that the radius of a 1.4 solar mass neutron star is most likely from 10 to 14 km and that tighter constraints are only possible with stronger assumptions about the nature of the neutron stars, the systematics of the observations, or the nature of dense matter. Strong phase transitions are preferred over other models and interpretations of the data with a Bayes factor of 8 or more, and in this case, the radius is likely smaller than 12 km. However, radii larger than 12 km are preferred if the neutron stars have uneven temperature distributions.


title: WOAH: Preliminaries to Zero-shot Ontology Learning for Conversational Agents

abstract: The present paper presents the Weighted Ontology Approximation Heuristic (WOAH), a novel zero-shot approach to ontology estimation for conversational agents development environments. This methodology extracts verbs and nouns separately from data by distilling the dependencies obtained and applying similarity and sparsity metrics to generate an ontology estimation configurable in terms of the level of generalization.


title: Quantum walks on regular uniform hypergraphs

abstract: Quantum walks on graphs have shown prioritized benefits and applications in wide areas. In some scenarios, however, it may be more natural and accurate to mandate high-order relationships for hypergraphs, due to the density of information stored inherently. Therefore, we can explore the potential of quantum walks on hypergraphs. In this paper, by presenting the one-to-one correspondence between regular uniform hypergraphs and bipartite graphs, we construct a model for quantum walks on bipartite graphs of regular uniform hypergraphs with Szegedy's quantum walks, which gives rise to a quadratic speed-up. Furthermore, we deliver spectral properties of the transition matrix, given that the cardinalities of the two disjoint sets are different in the bipartite graph. Our model provides the foundation for building quantum algorithms on the strength of quantum walks, suah as quantum walks search, quantized Google's PageRank and quantum machine learning, based on hypergraphs.


title: Evaluation of TanDEM-X DEMs on selected Brazilian sites: comparison with SRTM, ASTER GDEM and ALOS AW3D30

abstract: A first assessment of the TanDEM-X DEMs over Brazilian territory is presented through a comparison with SRTM, ASTER GDEM and ALOS AW3D30 DEMs in seven study areas with distinct geomorphological contexts, vegetation coverage and land use. Visual analysis and elevation histograms point to a finer effective spatial resolution of TanDEM-X compared to SRTM and ASTER GDEM. In areas of open vegetation, TanDEM-X lower elevations indicate a better penetration of the radar signal. DEMs of differences (DoDs) allowed the identification of issues inherent to the production methods of the analyzed DEMs, such as mast oscillations in SRTM data and mismatch between adjacent scenes in ASTER GDEM and ALOS AW3D30. A systematic difference in elevations between TanDEM-X 12m, TanDEM-X 30m and SRTM was observed in the steep slopes of the coastal ranges, related to the moving-window process used to resample the 12m data to a 30m pixel size. Due its simplicity, it is strongly recommended to produce a DoD with SRTM before using ASTER GDEM or ALOS AW3D30 in any analysis, to evaluate if the area of interest is affected by these problems. The DoDs also highlighted changes in land use in the time span between the acquisition of SRTM (2000) and TanDEM-X (2013) data, whether by natural causes or by human interference in the environment.


title: Recent Advances in Fog Radio Access Networks: Performance Analysis and Radio Resource Allocation

abstract: As a promising paradigm for the fifth generation wireless communication (5G) system, the fog radio access network (F-RAN) has been proposed as an advanced socially-aware mobile networking architecture to provide high spectral efficiency (SE) while maintaining high energy efficiency (EE) and low latency. Recent advents are advocated to the performance analysis and radio resource allocation, both of which are fundamental issues to make F-RANs successfully rollout. This article comprehensively summarizes the recent advances of the performance analysis and radio resource allocation in F-RANs. Particularly, the advanced edge cache and adaptive model selection schemes are presented to improve SE and EE under maintaining a low latency level. The radio resource allocation strategies to optimize SE and EE in F-RANs are respectively proposed. A few open issues in terms of the F-RAN based 5G architecture and the social-awareness technique are identified as well.


title: Soft pion theorem, asymptotic symmetry and new memory effect

abstract: It is known that soft photon and graviton theorems can be regarded as the Ward-Takahashi identities of asymptotic symmetries. In this paper, we consider soft theorem for pions, i.e., Nambu-Goldstone bosons associated with a spontaneously broken axial symmetry. The soft pion theorem is written as the Ward-Takahashi identities of the $S$-matrix under asymptotic transformations. We investigate the asymptotic dynamics, and find that the conservation of charges generating the asymptotic transformations can be interpreted as a pion memory effect.


title: Freeform metagratings based on complex light scattering dynamics for extreme, high efficiency beam steering

abstract: Conventional phased-array metasurfaces utilize resonant nanoparticles or nanowaveguides to specify spatially-dependent amplitude and phase responses to light. In nearly all these implementations, subwavelength-scale elements are stitched together while minimizing coupling between adjacent elements. In this report, we theoretically analyze an alternate method of metasurface design, utilizing freeform inverse design methods, which support significantly enhanced efficiencies compared to conventional designs. Our design process optimizes wavelength-scale elements, which dramatically increases the design space for optical engineering. An in-depth coupled mode analysis of ultra-wide-angle beam deflectors and wavelength splitters shows that the extraordinary performance of our designs originates from the large number of propagating modes supported by the metagrating, in combination with complex multiple scattering dynamics exhibited by these modes. We also apply our coupled mode analysis to conventional nanowaveguide-based metasurfaces to understand and quantify the factors limiting the efficiencies of these devices. We envision that freeform metasurface design methods will open new avenues towards truly high-performance, multi-functional optics by utilizing strongly coupled nanophotonic modes and elements.


title: On the Existence of a Closed, Embedded, Rotational $\lambda$-Hypersurface

abstract: In this paper we show the existence of a closed, embedded $\lambda$-hypersurfaces $\Sigma \subset \mathbb{R}^{2n}$. The hypersurface is diffeomorhic to $\mathbb{S}^{n-1} \times \mathbb{S}^{n-1} \times \mathbb{S}^1$ and exhibits $SO(n) \times SO(n)$ symmetry. Our approach uses a "shooting method" similar to the approach used by McGrath in constructing a generalized self-shrinking torus solution to mean curvature flow. The result generalizes the $\lambda$-torus found by Cheng and Wei.


title: ClickBAIT: Click-based Accelerated Incremental Training of Convolutional Neural Networks

abstract: Today's general-purpose deep convolutional neural networks (CNN) for image classification and object detection are trained offline on large static datasets. Some applications, however, will require training in real-time on live video streams with a human-in-the-loop. We refer to this class of problem as Time-ordered Online Training (ToOT) - these problems will require a consideration of not only the quantity of incoming training data, but the human effort required to tag and use it. In this paper, we define training benefit as a metric to measure the effectiveness of a sequence in using each user interaction. We demonstrate and evaluate a system tailored to performing ToOT in the field, capable of training an image classifier on a live video stream through minimal input from a human operator. We show that by exploiting the time-ordered nature of the video stream through optical flow-based object tracking, we can increase the effectiveness of human actions by about 8 times.


title: Network Controllability in the IFG Relates to Controlled Language Variability and Susceptibility to TMS

abstract: In language production, humans are confronted with considerable word selection demands. Often, we must select a word from among similar, acceptable, and competing alternative words in order to construct a sentence that conveys an intended meaning. In recent years, the left inferior frontal gyrus (LIFG) has been identified as critical to this ability. Despite a recent emphasis on network approaches to understanding language, how the LIFG interacts with the brain's complex networks to facilitate controlled language performance remains unknown. Here, we take a novel approach to understand word selection as a network control process in the brain. Using an anatomical brain network derived from high-resolution diffusion spectrum imaging (DSI), we computed network controllability underlying the site of transcranial magnetic stimulation in the LIFG between administrations of two word selection tasks. We find that a statistic that quantifies the LIFG's theoretically predicted control of difficult-to-reach states explains vulnerability to TMS in language tasks that vary in response (cognitive control) demands: open-response (word generation) vs. closed-response (number naming) tasks. Moreover, we find that a statistic that quantifies the LIFG's theoretically predicted control of communication across modules in the human connectome explains TMS-induced changes in open-response language task performance only. These findings establish a link between network controllability, cognitive function, and TMS effects.


title: Lifting shadings on symmetrically self-dual subfactor planar algebras

abstract: In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.


title: A Search for Warm/Hot Gas Filaments Between Pairs of SDSS Luminous Red Galaxies

abstract: We search the Planck data for a thermal Sunyaev-Zel'dovich (tSZ) signal due to gas filaments between pairs of Luminous Red Galaxies (LRG's) taken from the Sloan Digital Sky Survey Data Release 12 (SDSS/DR12). We identify $\sim$260,000 LRG pairs in the DR12 catalog that lie within 6-10 $h^{-1} \mathrm{Mpc}$ of each other in tangential direction and within 6 $h^{-1} \mathrm{Mpc}$ in radial direction. We stack pairs by rotating and scaling the angular positions of each LRG so they lie on a common reference frame, then we subtract a circularly symmetric halo from each member of the pair to search for a residual signal between the pair members. We find a statistically significant (5.3$\sigma$) signal between LRG pairs in the stacked data with a magnitude $\Delta y = (1.31 \pm 0.25) \times 10^{-8}$. The uncertainty is estimated from two Monte Carlo null tests which also establish the reliability of our analysis. Assuming a simple, isothermal, cylindrical filament model of electron over-density with a radial density profile proportional to $r_c/r$ (as determined from simulations), where $r$ is the perpendicular distance from the cylinder axis and $r_c$ is the core radius of the density profile, we constrain the product of over-density and filament temperature to be $\delta_c \times (T_{\rm e}/10^7 \, {\rm K}) \times (r_c/0.5h^{-1} \, {\rm Mpc}) = 2.7 \pm 0.5$. To our knowledge, this is the first detection of filamentary gas at over-densities typical of cosmological large-scale structure. We compare our result to the BAHAMAS suite of cosmological hydrodynamic simulations (McCarthy et al. 2017) and find a slightly lower, but marginally consistent Comptonization excess, $\Delta y = (0.84 \pm 0.24) \times 10^{-8}$.


title: Automorphism group of plane curve computed by Galois points, II

abstract: Recently, the first author classified finite groups obtained as automorphism groups of smooth plane curves of degree $d \ge 4$ into five types. He gave an upper bound of the order of the automorphism group for each types. For one of them, the type (a-ii), that is given by $\max \left\{ 2 d (d - 2), 60 d \right\}$. In this article, we shall construct typical examples of smooth plane curve $C$ by applying the method of Galois points, whose automorphism group has order $60 d$. In fact, we determine the structure of the automorphism group of those curves.


title: Attack-Graph Threat Modeling Assessment of Ambulatory Medical Devices

abstract: The continued integration of technology into all aspects of society stresses the need to identify and understand the risk associated with assimilating new technologies. This necessity is heightened when technology is used for medical purposes like ambulatory devices that monitor a patient's vital signs. This integration creates environments that are conducive to malicious activities. The potential impact presents new challenges for the medical community. Hence, this research presents attack graph modeling as a viable solution to identifying vulnerabilities, assessing risk, and forming mitigation strategies to defend ambulatory medical devices from attackers. Common and frequent vulnerabilities and attack strategies related to the various aspects of ambulatory devices, including Bluetooth enabled sensors and Android applications are identified in the literature. Based on this analysis, this research presents an attack graph modeling example on a theoretical device that highlights vulnerabilities and mitigation strategies to consider when designing ambulatory devices with similar components.


title: Learning Intrinsic Sparse Structures within Long Short-Term Memory

abstract: Model compression is significant for the wide adoption of Recurrent Neural Networks (RNNs) in both user devices possessing limited resources and business clusters requiring quick responses to large-scale service requests. This work aims to learn structurally-sparse Long Short-Term Memory (LSTM) by reducing the sizes of basic structures within LSTM units, including input updates, gates, hidden states, cell states and outputs. Independently reducing the sizes of basic structures can result in inconsistent dimensions among them, and consequently, end up with invalid LSTM units. To overcome the problem, we propose Intrinsic Sparse Structures (ISS) in LSTMs. Removing a component of ISS will simultaneously decrease the sizes of all basic structures by one and thereby always maintain the dimension consistency. By learning ISS within LSTM units, the obtained LSTMs remain regular while having much smaller basic structures. Based on group Lasso regularization, our method achieves 10.59x speedup without losing any perplexity of a language modeling of Penn TreeBank dataset. It is also successfully evaluated through a compact model with only 2.69M weights for machine Question Answering of SQuAD dataset. Our approach is successfully extended to non- LSTM RNNs, like Recurrent Highway Networks (RHNs). Our source code is publicly available at https://github.com/wenwei202/iss-rnns


title: Stochastic Navier-Stokes equations with Caputo derivative driven by fractional noises

abstract: In this paper, we consider the extended stochastic Navier-Stokes equations with Caputo derivative driven by fractional Brownian motion. We firstly derive the pathwise spatial and temporal regularity of the generalized Ornstein-Uhlenbeck process. Then we discuss the existence, uniqueness, and H\"{o}lder regularity of mild solutions to the given problem under certain sufficient conditions, which depend on the fractional order $\alpha$ and Hurst parameter $H$. The results obtained in this study improve some results in existing literature.


title: Random sequential adsorption of discs on constant-curvature surfaces: plane, sphere, hyperboloid, and projective plane

abstract: We present an algorithm to simulate random sequential adsorption (random "parking") of discs on constant-curvature surfaces: the plane, sphere, hyperboloid, and projective plane, all embedded in three-dimensional space. We simulate complete parkings by explicitly calculating the boundary of the available area in which discs can park and concentrating new points in this area. This makes our algorithm efficient and also provides a diagnostic to determine when each parking is complete, so there is no need to extrapolate data from incomplete parkings to study questions of physical interest. We use our algorithm to study the number distribution and density of discs parked in each space, where for the plane and hyperboloid we consider two different periodic tilings each. We make several notable observations: (i) On the sphere, there is a critical disc radius such the number of discs parked is always exactly four: the random parking is actually deterministic. We prove this statement rigorously, and also show that random parking on the surface of a $d$-dimensional sphere would have deterministic behaviour at the same critical radius. (ii) The average number of parked discs does not always monotonically increase as the disc radius decreases: on the plane (square with periodic boundary conditions), there is an interval of decreasing radius over which the average *decreases*. We give a heuristic explanation for this counterintuitive finding. (iii) As the disc radius shrinks to zero, the density (average fraction of area covered by parked discs) appears to converge to the same constant for all spaces, though it is always slightly larger for a sphere and slightly smaller for a hyperboloid. Therefore, for parkings on a general curved surface we would expect higher local densities in regions of positive curvature and lower local densities in regions of negative curvature.


title: Virtual Detector Theory of Free-Particle Wave Packets

abstract: We apply a recently emerging "virtual detector" method to general free-particle wave packets. We discuss what is actually detected by a virtual detector and give analytical expressions in both the real space and the momentum space. We prove that in the asymptotic limit when the time difference between wave packet creation and detection is large, resembling real detection processes, the obtained differential momentum distribution is equivalent to Fourier transforming the free-particle wave packets. We further consider the situation with the presence of laser fields.


title: Compactons and their variational properties for degenerate KdV and NLS in dimension 1

abstract: We analyze the stationary and traveling wave solutions to a family of degenerate dispersive equations of KdV and NLS-type. In stark contrast to the standard soliton solutions for non-degenerate KdV and NLS equations, the degeneracy of the elliptic operators studied here allows for compactly supported steady or traveling states. As we work in $1$ dimension, ODE methods apply, however the models considered have formally conserved Hamiltonian, Mass and Momentum functionals, which allow for variational analysis as well.


title: Non-closure of the set of quantum correlations via graphs

abstract: We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed. Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.


title: On Linear Quadratic Optimal Control of Discrete-Time Complex-Valued Linear Systems

abstract: We study in this paper the linear quadratic optimal control (linear quadratic regulation, LQR for short) for discrete-time complex-valued linear systems, which have shown to have several potential applications in control theory. Firstly, an iterative algorithm was proposed to solve the discrete-time bimatrix Riccati equation associated with the LQR problem. It is shown that the proposed algorithm converges to the unique positive definite solution (bimatrix) to the bimatrix Riccati equation with appropriate initial conditions. With the help of this iterative algorithm, LQR problem for the antilinear system, which is a special case of complex-valued linear system, was carefully examined and three different Riccati equations based approaches were provided, namely, bimatrix Riccati equation, anti-Riccati equation and normal Riccati equation. The established approach is then used to solve the LQR problem for discrete-time time-delay system with one step state delay and a numerical example was used to illustrate the effectiveness of the proposed methods.


title: Radially distributed values and normal families

abstract: Let $L_0$ and $L_1$ be two distinct rays emanating from the origin and let ${\mathcal F}$ be the family of all functions holomorphic in the unit disk ${\mathbb D}$ for which all zeros lie on $L_0$ while all $1$-points lie on $L_1$. It is shown that ${\mathcal F}$ is normal in ${\mathbb D}\backslash\{0\}$. The case where $L_0$ is the positive real axis and $L_1$ is the negative real axis is studied in more detail.


title: Residue formula for regular symmetry breaking operators

abstract: We prove an explicit residue formula for a meromorphic continuation of conformally covariant integral operators between differential forms on ${\bf R}^n$ and on its hyperplane. The results provide a simple and new construction of the conformally covariant differential symmetry breaking operators between differential forms on the sphere and those on its totally geodesic hypersurface that were introduced in [Kobayashi-Kubo-Pevzner, Lect. Notes Math. (2016)]. Moreover, we determine the zeros of the matrix-valued regular symmetry breaking operators between principal series representations of $O(n+1,1)$ and $O(n,1)$.


title: Query-based Attention CNN for Text Similarity Map

abstract: In this paper, we introduce Query-based Attention CNN(QACNN) for Text Similarity Map, an end-to-end neural network for question answering. This network is composed of compare mechanism, two-staged CNN architecture with attention mechanism, and a prediction layer. First, the compare mechanism compares between the given passage, query, and multiple answer choices to build similarity maps. Then, the two-staged CNN architecture extracts features through word-level and sentence-level. At the same time, attention mechanism helps CNN focus more on the important part of the passage based on the query information. Finally, the prediction layer find out the most possible answer choice. We conduct this model on the MovieQA dataset using Plot Synopses only, and achieve 79.99% accuracy which is the state of the art on the dataset.


title: Secrecy-Optimized Resource Allocation for Device-to-Device Communication Underlaying Heterogeneous Networks

abstract: Device-to-device (D2D) communications recently have attracted much attention for its potential capability to improve spectral efficiency underlaying the existing heterogeneous networks (HetNets). Due to no sophisticated control, D2D user equipments (DUEs) themselves cannot resist eavesdropping or security attacks. It is urgent to maximize the secure capacity for both cellular users and DUEs. This paper formulates the radio resource allocation problem to maximize the secure capacity of DUEs for the D2D communication underlaying HetNets which consist of high power nodes and low power nodes. The optimization objective function with transmit bit rate and power constraints, which is non-convex and hard to be directly derived, is firstly transformed into matrix form. Then the equivalent convex form of the optimization problem is derived according to the Perron-Frobenius theory. A heuristic iterative algorithm based on the proximal theory is proposed to solve this equivalent convex problem through evaluating the proximal operator of Lagrange function. Numerical results show that the proposed radio resource allocation solution significantly improves the secure capacity with a fast convergence speed.


title: Self-Guiding Multimodal LSTM - when we do not have a perfect training dataset for image captioning

abstract: In this paper, a self-guiding multimodal LSTM (sg-LSTM) image captioning model is proposed to handle uncontrolled imbalanced real-world image-sentence dataset. We collect FlickrNYC dataset from Flickr as our testbed with 306,165 images and the original text descriptions uploaded by the users are utilized as the ground truth for training. Descriptions in FlickrNYC dataset vary dramatically ranging from short term-descriptions to long paragraph-descriptions and can describe any visual aspects, or even refer to objects that are not depicted. To deal with the imbalanced and noisy situation and to fully explore the dataset itself, we propose a novel guiding textual feature extracted utilizing a multimodal LSTM (m-LSTM) model. Training of m-LSTM is based on the portion of data in which the image content and the corresponding descriptions are strongly bonded. Afterwards, during the training of sg-LSTM on the rest training data, this guiding information serves as additional input to the network along with the image representations and the ground-truth descriptions. By integrating these input components into a multimodal block, we aim to form a training scheme with the textual information tightly coupled with the image content. The experimental results demonstrate that the proposed sg-LSTM model outperforms the traditional state-of-the-art multimodal RNN captioning framework in successfully describing the key components of the input images.


title: Energy spectrum, the spin polarization, and the optical selection rules of the Kronig-Penney superlattice model with spin-orbit coupling

abstract: The Kronig-Penney model, an exactly solvable one-dimensional model of crystal in solid physics, shows how the allowed and forbidden bands are formed in solids. In this paper, we study this model in the presence of both strong spin-orbit coupling and the Zeeman field. We analytically obtain four transcendental equations that represent an implicit relation between the energy and the Bloch wavevector. Solving these four transcendental equations, we obtain the spin-orbital bands exactly. In addition to the usual band gap opened at the boundary of the Brillouin zone, a much larger spin-orbital band gap is also opened at some special sites inside the Brillouin zone. The $x$-component of the spin-polarization vector is an even function of the Bloch wavevector, while the $z$-component of the spin-polarization vector is an odd function of the Bloch wavevector. At the band edges, the optical transition rates between adjacent bands are nonzero.


title: Weighted asymptotic Korn and interpolation Korn inequalities with singular weights

abstract: In this work we derive asymptotically sharp weighted Korn and Korn-like interpolation (or first and a half) inequalities in thin domains with singular weights. The constants $K$ (Korn's constant) in the inequalities depend on the domain thickness $h$ according to a power rule $K=Ch^\alpha,$ where $C>0$ and $\alpha\in R$ are constants independent of $h$ and the displacement field. The sharpness of the estimates is understood in the sense that the asymptotics $h^\alpha$ is optimal as $h\to 0.$ The choice of the weights is motivated by several factors, in particular a spacial case occurs when making Cartesian to polar change of variables in two dimensions.


title: Reentrant Metallic Behavior in the Weyl Semimetal NbP

abstract: We report the occurrence of reentrant metallic behavior in the Weyl semimetal NbP. When the applied magnetic field $H$ is above a critical value $H_c$, a reentrance appears as a peak in the temperature dependent resistivity $\rho_{xx}(T)$ at $T$ = $T_p$, similar to that observed in graphite where it was attributed to local superconductivity. The $T_p(H)$ relationship follows a power-law dependence $T_p\sim(H-H_c)^{1/v}$ where $v$ can be derived from the temperature dependence of the zero-field resistivity $\rho_0(T) \sim T^v$. From concurrent measurements of the transverse $\rho_{xx}(T)$ and Hall $\rho_{xy}(T)$ magnetoresistivities, we reveal a clear correlation between the rapidly increasing $\rho_{xy}(T)$ and the occurrence of a peak in the $\rho_{xx}(T)$ curve. Quantitative analysis indicates that the reentrant metallic behavior arises from the competition of the magneto conductivity $\sigma_{xx}(T)$ with an additional component $\Delta\sigma_{xx}(T)=\kappa_H\sigma_{xx}(T)$ where $\kappa_H=[\rho_{xy}(T)/\rho_{xx}(T)]^2$ is the Hall factor. We find that the Hall factor ($\kappa_H \approx 0.4$) at peak temperature $T_p$ is nearly field-independent, leading to the observed $T_p(H)$ relationship. Furthermore, the reentrant metallic behavior in $\rho_{xx}(T)$ also is reflected in the behavior of $\rho_{xx}(H)$ that ranges from non-saturating at $T>70$ K to saturation at liquid helium temperatures. The latter can be explained with the magnetic field dependence of the Hall factor $\kappa_H(H)$. Our studies demonstrate that a semiclassical theory can account for the 'anomalies' in the magnetotransport phenomena of NbP without invoking an exotic mechanism.


title: Degree weighted recurrence networks for the analysis of time series data

abstract: Recurrence networks are powerful tools used effectively in the nonlinear analysis of time series data. The analysis in this context is done mostly with unweighted and undirected complex networks constructed with specific criteria from the time series. In this work, we propose a novel method to construct "weighted recurrence network"(WRN) from a time series and show how it can reveal useful information regarding the structure of a chaotic attractor, which the usual unweighted recurrence network cannot provide. Especially, we find the node strength distribution of the WRN, from every chaotic attractor follows a power law (with exponential tail) with the index characteristic to the fractal structure of the attractor. This leads to a new class among complex networks, to which networks from all standard chaotic attractors are found to belong. In addition, we present generalized definitions for clustering coefficient and characteristic path length and show that these measures can effectively discriminate chaotic dynamics from white noise and $1/f$ colored noise. Our results indicate that the WRN and the associated measures can become potentially important tools for the analysis of short and noisy time series from the real world systems as they are clearly demarked from that of noisy or stochastic systems.


title: Interplay between localization and magnetism in (Ga,Mn)As and (In,Mn)As

abstract: Ion implantation of Mn combined with pulsed laser melting is employed to obtain two representative compounds of dilute ferromagnetic semiconductors (DFSs): Ga1-xMnxAs and In1-xMnxAs. In contrast to films deposited by the widely used molecular beam epitaxy, neither Mn interstitials nor As antisites are present in samples prepared by the method employed here. Under these conditions the influence of localization on the hole-mediated ferromagnetism is examined in two DFSs with a differing strength of p-d coupling. On the insulating side of the transition, ferromagnetic signatures persist to higher temperatures in In1-xMnxAs compared to Ga1-xMnxAs with the same Mn concentration x. This substantiates theoretical suggestions that stronger p-d coupling results in an enhanced contribution to localization, which reduces hole-mediated ferromagnetism. Furthermore, the findings support strongly the heterogeneous model of electronic states at the localization boundary and point to the crucial role of weakly localized holes in mediating efficient spin-spin interactions even on the insulator side of the metal-insulator transition.


title: New binaries in the epsilon Cha association

abstract: We present Adaptive Optics-aided speckle observations of 47 young stars in the $\epsilon$ Cha association, made at the 4-m Southern Astrophysical Research Telescope in the $I$-band. We resolved 10 new binary pairs, 5 previously known binaries and two triple systems, also previously known. In the separation range between 4 and 300 AU, the 30 association members of spectral types G0 and later host 6 binary companions, leading to the raw companion frequency of $0.010\pm0.04$ per decade of separation, comparable to the main sequence dwarfs in the field. On the other hand, all 5 massive association members of spectral types A and B have companions in this range. We discuss the newly resolved and known binaries in our sample. Observed motions in the triple system $\epsilon$ Cha, composed of three similar B9V stars, can be described by tentative orbits with periods 13 and $\sim 900$ years, and a large mutual inclination.


title: A Constructor-Based Reachability Logic for Rewrite Theories

abstract: Reachability logic has been applied to $\mathbb{K}$ rewrite-rule-based language definitions as a language-generic logic of programs. To be able to verify not just code but also distributed system designs, a new rewrite-theory-generic reachability logic is presented and proved sound for a wide class of rewrite theories. The logic's automation is increased by means of constructor-based semantic unification, matching, and satisfiability procedures. New methods for proving invariants of possibly never terminating distributed systems are developed, and experiments with a prototype implementation illustrating the new proof methods are presented.


title: Site preference and diffusion behaviors of H influenced by the implanted-He in 3C-\b{eta} SiC

abstract: SiC materials are potential plasma facing materials in fusion reactors. In this study, site preference and diffusion behaviors of H in pure 3C-\b{eta} SiC and in He-implanted 3C-\b{eta} SiC are investigated, on the basis of the first-principles calculations. We find that the most stable sites for H in pure 3C-\b{eta}SiC is the anti-bond site of C (ABc) in Si-C, while it becomes the bond-center (BC) site of Si-C bonds in the He-implanted 3C-\b{eta} SiC. Analysis on the electronic structures reveals that such change is attributed to the reduction of hybridization of C-Si bonds induced by He. Moreover, the presence of He strongly affect the vibrational features in the high frequency region, causing a blue shift of 25 cm-1 for C-H stretch mode with H at ABc site and a red shift of 165cm-1 for that at BC site, with respect to that in the pure system. In pure 3C-\b{eta} SiC, H is diffusive with an energy cost of about 0.5 eV, preferring to rotate around the C atom in a Si-C tetrahedron with an energy barrier of just about 0.10 eV. In contrast, in He-implanted 3C-\b{eta} SiC, the energy barriers for H migration goes up to be about 0.95 eV, indicating the implanted-He blocks the diffusive H to some extent. Our calculations also show that the influence of He on H diffusion is effective in a short range, just covering the nearest neighbor.


title: Disentangled Variational Auto-Encoder for Semi-supervised Learning

abstract: Semi-supervised learning is attracting increasing attention due to the fact that datasets of many domains lack enough labeled data. Variational Auto-Encoder (VAE), in particular, has demonstrated the benefits of semi-supervised learning. The majority of existing semi-supervised VAEs utilize a classifier to exploit label information, where the parameters of the classifier are introduced to the VAE. Given the limited labeled data, learning the parameters for the classifiers may not be an optimal solution for exploiting label information. Therefore, in this paper, we develop a novel approach for semi-supervised VAE without classifier. Specifically, we propose a new model called Semi-supervised Disentangled VAE (SDVAE), which encodes the input data into disentangled representation and non-interpretable representation, then the category information is directly utilized to regularize the disentangled representation via the equality constraint. To further enhance the feature learning ability of the proposed VAE, we incorporate reinforcement learning to relieve the lack of data. The dynamic framework is capable of dealing with both image and text data with its corresponding encoder and decoder networks. Extensive experiments on image and text datasets demonstrate the effectiveness of the proposed framework.


title: A Stability-constrained Optimization Framework for Lur'e Systems with Applications in Power Grids

abstract: For many nonlinear control systems, the chosen equilibrium determines both the steady-state efficiency and the dynamic performance. This paper addresses the issue of obtaining an optimal equilibrium in terms of some steady-state operation criteria for a Lur'e-type system and such an equilibrium can also guarantee a sufficiently large stability region in the dynamic domain such that the system can tolerate some given disturbance. For this purpose, a set of computationally tractable algebraic constraints, which can properly represent the stability certificate under the optimization framework, are proposed. The existing methods formulate the dynamic performance under the optimization framework by discretizing the differential-algebraic equations, which are computationally intractable for large-scale Lur'e systems like power grids. Dissimilarly, the introduced approach first constructs the stability region based on quadratic Lyapunov functions. Then, a novel method is proposed to project the stability region onto the feasible domain of the optimization problem such that the stability certificate can be incorporated into the optimization framework easily. In the transient stability-constrained optimal power flow (TSCOPF) problem of power systems, researchers look for a steady-state operating point with the minimum generation costs that can maintain system stability under some given transient disturbances. The proposed approach is applied to develop a scalable TSCOPF framework for power systems. The TSCOPF model is tested on the IEEE 118-Bus power system.


title: From support $\tau$-tilting posets to algebras

abstract: The aim of this paper is to study a poset isomorphism between two support $\tau$-tilting posets. We take several algebraic information from combinatorial properties of support $\tau$-tilting posets. As an application, we treat a certain class of basic algebras which contains preprojective algebras of type $A$, Nakayama algebras, and generalized Brauer tree algebras. We provide a necessary condition for that an algebra $\Lambda$ share the same support $\tau$-tilting poset with a given algebra $\Gamma$ in this class. Furthermore, we see that this necessary condition is also a sufficient condition if $\Gamma$ is either a preprojective algebra of type $A$, a Nakayama algebra, or a generalized Brauer tree algebra.


title: Data-driven Job Search Engine Using Skills and Company Attribute Filters

abstract: According to a report online, more than 200 million unique users search for jobs online every month. This incredibly large and fast growing demand has enticed software giants such as Google and Facebook to enter this space, which was previously dominated by companies such as LinkedIn, Indeed and CareerBuilder. Recently, Google released their "AI-powered Jobs Search Engine", "Google For Jobs" while Facebook released "Facebook Jobs" within their platform. These current job search engines and platforms allow users to search for jobs based on general narrow filters such as job title, date posted, experience level, company and salary. However, they have severely limited filters relating to skill sets such as C++, Python, and Java and company related attributes such as employee size, revenue, technographics and micro-industries. These specialized filters can help applicants and companies connect at a very personalized, relevant and deeper level. In this paper we present a framework that provides an end-to-end "Data-driven Jobs Search Engine". In addition, users can also receive potential contacts of recruiters and senior positions for connection and networking opportunities. The high level implementation of the framework is described as follows: 1) Collect job postings data in the United States, 2) Extract meaningful tokens from the postings data using ETL pipelines, 3) Normalize the data set to link company names to their specific company websites, 4) Extract and ranking the skill sets, 5) Link the company names and websites to their respective company level attributes with the EVERSTRING Company API, 6) Run user-specific search queries on the database to identify relevant job postings and 7) Rank the job search results. This framework offers a highly customizable and highly targeted search experience for end users.


title: Analytic Combinatorics in Several Variables: Effective Asymptotics and Lattice Path Enumeration

abstract: The field of analytic combinatorics, which studies the asymptotic behaviour of sequences through analytic properties of their generating functions, has led to the development of deep and powerful tools with applications across mathematics and the natural sciences. In addition to the now classical univariate theory, recent work in the study of analytic combinatorics in several variables (ACSV) has shown how to derive asymptotics for the coefficients of certain D-finite functions represented by diagonals of multivariate rational functions. We give a pedagogical introduction to the methods of ACSV from a computer algebra viewpoint, developing rigorous algorithms and giving the first complexity results in this area under conditions which are broadly satisfied. Furthermore, we give several new applications of ACSV to the enumeration of lattice walks restricted to certain regions. In addition to proving several open conjectures on the asymptotics of such walks, a detailed study of lattice walk models with weighted steps is undertaken.


title: Roman domination: changing, unchanging, $\gamma_R$-graphs

abstract: A Roman dominating function (RD-function) on a graph $G = (V(G), E(G))$ is a labeling $f : V(G) \rightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The weight $f(V(G))$ of a RD-function $f$ on $G$ is the value $\Sigma_{v\in V(G)} f (v)$. The {\em Roman domination number} $\gamma_{R}(G)$ of $G$ is the minimum weight of a RD-function on $G$. The six classes of graphs resulting from the changing or unchanging of the Roman domination number of a graph when a vertex is deleted, or an edge is deleted or added are considered. We consider relationships among the classes, which are illustrated in a Venn diagram. A graph $G$ is Roman domination $k$-critical if the removal of any set of $k$ vertices decreases the Roman domination number. Some initial properties of these graphs are studied. The $\gamma_R$-graph of a graph $G$ is any graph which vertex set is the collection $\mathscr{D}_R(G)$ of all minimum weight RD-functions on $G$. We define adjacency between any two elements of $\mathscr{D}_R(G)$ in several ways, and initiate the study of the obtained $\gamma_R$-graphs.


title: X-ray Transform and Boundary Rigidity for Asymptotically Hyperbolic Manifolds

abstract: We consider the boundary rigidity problem for asymptotically hyperbolic manifolds. We show injectivity of the X-ray transform in several cases and consider the non-linear inverse problem which consists of recovering a metric from boundary measurements for the geodesic flow.


title: Feature-Fused SSD: Fast Detection for Small Objects

abstract: Small objects detection is a challenging task in computer vision due to its limited resolution and information. In order to solve this problem, the majority of existing methods sacrifice speed for improvement in accuracy. In this paper, we aim to detect small objects at a fast speed, using the best object detector Single Shot Multibox Detector (SSD) with respect to accuracy-vs-speed trade-off as base architecture. We propose a multi-level feature fusion method for introducing contextual information in SSD, in order to improve the accuracy for small objects. In detailed fusion operation, we design two feature fusion modules, concatenation module and element-sum module, different in the way of adding contextual information. Experimental results show that these two fusion modules obtain higher mAP on PASCALVOC2007 than baseline SSD by 1.6 and 1.7 points respectively, especially with 2-3 points improvement on some smallobjects categories. The testing speed of them is 43 and 40 FPS respectively, superior to the state of the art Deconvolutional single shot detector (DSSD) by 29.4 and 26.4 FPS. Code is available at https://github.com/wnzhyee/Feature-Fused-SSD. Keywords: small object detection, feature fusion, real-time, single shot multi-box detector


title: Syzygies, Betti numbers and regularity of cover ideals of certain multipartite graphs

abstract: Let $G$ be a finite simple graph on $n$ vertices. Let $J_G \subset K[x_1, \ldots, x_n]$ be the cover ideal of $G$. In this article, we obtain syzygies, Betti numbers and Castelnuovo-Mumford regularity of $J_G^s$ for all $s \geq 1$ for certain classes of graphs $G$.