title: On the notion of effective impedance

abstract: It is known that electrical networks with resistors are related to the Laplace operator and random walk on weighted graphs. In this paper we consider more general electrical networks with coils, capacitors, and resistors. We give two mathematical models of such networks: complex-weighted graphs and graphs with weight from the ordered field of rational functions. The notion of effective impedance in both approaches is defined.


title: The Structure of Ulrich ideals in hypersurfaces

abstract: This paper studies Ulrich ideals in hypersurface rings. A characterization of Ulrich ideals is given. Using the characterization, we construct a minimal free resolution of an Ulrich ideal concretely. We also explore Ulrich ideals in a hypersurface ring of the form R = k[[X, Y]]/(f).


title: First measurement of the temperature dependence of muon transfer rate from muonic hydrogen atoms to oxygen

abstract: We report the first measurement of the temperature dependence of muon transfer rate from $\mu$p atoms to oxygen between 100 and 300 K. Data were obtained from the X-ray spectra of delayed events in gaseous target H$_2$/O$_2$ exposed to a muon beam. Based on the data, we determined the muon transfer energy dependence up to 0.1 eV, showing an 8-fold increase in contrast with the predictions of constant rate in the low energy limit. This work set constraints on theoretical models of muon transfer, and is of fundamental importance for the measurement of the hyperfine splitting of $\mu$p by the FAMU collaboration.


title: Analyzing Code Comments to Boost Program Comprehension

abstract: We are trying to find source code comments that help programmers understand a nontrivial part of source code. One of such examples would be explaining to assign a zero as a way to "clear" a buffer. Such comments are invaluable to programmers and identifying them correctly would be of great help. Toward this goal, we developed a method to discover explanatory code comments in a source code. We first propose eleven distinct categories of code comments. We then developed a decision-tree based classifier that can identify explanatory comments with 60% precision and 80% recall. We analyzed 2,000 GitHub projects that are written in two languages: Java and Python. This task is novel in that it focuses on a microscopic comment ("local comment") within a method or function, in contrast to the prior efforts that focused on API- or method-level comments. We also investigated how different category of comments is used in different projects. Our key finding is that there are two dominant types of comments: preconditional and postconditional. Our findings also suggest that many English code comments have a certain grammatical structure that are consistent across different projects.


title: Language-integrated provenance by trace analysis

abstract: Language-integrated provenance builds on language-integrated query techniques to make provenance information explaining query results readily available to programmers. In previous work we have explored language-integrated approaches to provenance in Links and Haskell. However, implementing a new form of provenance in a language-integrated way is still a major challenge. We propose a self-tracing transformation and trace analysis features that, together with existing techniques for type-directed generic programming, make it possible to define different forms of provenance as user code. We present our design as an extension to a core language for Links called LinksT, give examples showing its capabilities, and outline its metatheory and key correctness properties.


title: First observation of the directed flow of $D^{0}$ and $\overline{D^0}$ in Au+Au collisions at $\sqrt{s_{\rm NN}}$ = 200~GeV

abstract: We report the first measurement of rapidity-odd directed flow ($v_{1}$) for $D^{0}$ and $\overline{D^{0}}$ mesons at mid-rapidity ($|y| < 0.8$) in Au+Au collisions at $\sqrt{s_{\rm NN}}$ = 200\,GeV using the STAR detector at the Relativistic Heavy Ion Collider. In 10--80\% Au+Au collisions, the slope of the $v_{1}$ rapidity dependence ($dv_{1}/dy$), averaged over $D^{0}$ and $\overline{D^{0}}$ mesons, is -0.080 $\pm$ 0.017 (stat.) $\pm$ 0.016 (syst.) for transverse momentum $p_{\rm T}$ above 1.5~GeV/$c$. The absolute value of $D^0$-meson $dv_1/dy$ is about 25 times larger than that for charged kaons, with 3.4$\sigma$ significance. These data give a unique insight into the initial tilt of the produced matter, and offer constraints on the geometric and transport parameters of the hot QCD medium created in relativistic heavy-ion collisions.


title: Moment-based analysis of biochemical networks in a heterogeneous population of communicating cells

abstract: Cells can utilize chemical communication to exchange information and coordinate their behavior in the presence of noise. Communication can reduce noise to shape a collective response, or amplify noise to generate distinct phenotypic subpopulations. Here we discuss a moment-based approach to study how cell-cell communication affects noise in biochemical networks that arises from both intrinsic and extrinsic sources. We derive a system of approximate differential equations that captures lower-order moments of a population of cells, which communicate by secreting and sensing a diffusing molecule. Since the number of obtained equations grows combinatorially with number of considered cells, we employ a previously proposed model reduction technique, which exploits symmetries in the underlying moment dynamics. Importantly, the number of equations obtained in this way is independent of the number of considered cells such that the method scales to arbitrary population sizes. Based on this approach, we study how cell-cell communication affects population variability in several biochemical networks. Moreover, we analyze the accuracy and computational efficiency of the moment-based approximation by comparing it with moments obtained from stochastic simulations.


title: An efficient method for mapping the 12C+12C molecular resonances at low energies

abstract: The 12C+12C fusion reaction is famous for its complication of molecular resonances, and plays an important role in both nuclear structure and astrophysics. It is extremely difficult to measure the cross sections of 12C+12C fusions at energies of astrophysical relevance due to very low reaction yields. To measure the complicated resonant structure existing in this important reaction, an efficient thick target method has been developed and applied for the first time at energies Ec.m.<5.3 MeV. A scan of the cross sections over a relatively wide range of energies can be carried out using only a single beam energy. The result of measurement at Ec.m.= 4.1 MeV is compared with other results from previous work. This method would be useful for searching potentially existing resonances of 12C+12C in the energy range 1 MeV<Ec.m.<3 MeV.


title: First principles electromagnetic responses in medium-mass nuclei

abstract: We review the recent progress made in the computation of electromagnetic response functions in light and medium-mass nuclei using coupled-cluster theory. We show how a many-body formulation of the Lorentz integral transform method allows to calculate the photoabsorption cross sections of $^{16, 22}$O and $^{40}$Ca. Then, we discuss electromagnetic sum rules, with particular emphasis on the electric dipole polarizability, $\alpha_D$. By including triples corrections in coupled-cluster theory, we revisit $^{48}$Ca, for which, beside the electric dipole polarizability, we had previously investigated the neutron and proton radii, as well as the size of the neutron-skin thickness [1]. We show that correlations among these observables still hold, albeit a better agreement with experiment is obtained for $\alpha_D$ and the prediction of a small neutron-skin thickness is further corroborated.


title: Some Result on Cosmological and Astrophysical Horizons and Trapped Surfaces

abstract: We study the evolution of horizons of black holes in the $1+1+2$ covariant setting and investigate various properties intrinsic to the geometry of the foliation surfaces of these horizons. This is done by interpreting formulations of various quantities in terms of the geometric and thermodynamic quantities. We establish a causal classification for horizons in different classes of spacetimes. We have also recovered results by Ben-Dov and Senovilla which put cut-offs on the equation of state parameter $\sigma$, determining the spacelike, timelike and non-expanding horizons in the the Robertson-Walker class of spacetimes. We show that stability of marginally trapped surfaces (MTS) in the Robertson-Walker spacetimes is only achievable under the conditions of negative pressure, and also classify the spacelike future outer trapping horizons (SFOTH) in the Robertson-Walker spacetimes via bounds on the equation of state parameter $\sigma$. For the Lemaitre-Tolman-Bondi (LTB) model, it is shown that a relationship between the energy density and the electric part of the Weyl curvature, $\mathcal{E}$, gives the causal classification of the MTTs. It is further shown that only spacelike MTTs are foliated by stable MTS, and that this stability guarantees no shell crossing. We also provide an explicit proof of the third law of black hole thermodynamics for the LRS II class of spacetimes, and by extension, any spacetime whose outgoing and ingoing null geodesics are normal to the MTS.


title: Electromagnetic energy in multilayered spherical particles

abstract: We obtain exact analytic expressions for (i) the electromagnetic energy radial density within and outside a multilayered sphere and (ii) the total electromagnetic energy stored within its core and each of its shells. Explicit expressions for the special cases of lossless core and shell are also provided. The general solution is based on compact recursive transfer-matrix method and its validity includes also magnetic media. The theory is illustrated on the examples of electric field enhancement within various metallo-dielectric silica-gold multilayered spheres. User-friendly MATLAB code which includes the theoretical treatment, is available as a supplement to the paper.


title: Emergent Leadership Detection Across Datasets

abstract: Automatic detection of emergent leaders in small groups from nonverbal behaviour is a growing research topic in social signal processing but existing methods were evaluated on single datasets -- an unrealistic assumption for real-world applications in which systems are required to also work in settings unseen at training time. It therefore remains unclear whether current methods for emergent leadership detection generalise to similar but new settings and to which extent. To overcome this limitation, we are the first to study a cross-dataset evaluation setting for the emergent leadership detection task. We provide evaluations for within- and cross-dataset prediction using two current datasets (PAVIS and MPIIGroupInteraction), as well as an investigation on the robustness of commonly used feature channels (visual focus of attention, body pose, facial action units, speaking activity) and online prediction in the cross-dataset setting. Our evaluations show that using pose and eye contact based features, cross-dataset prediction is possible with an accuracy of 0.68, as such providing another important piece of the puzzle towards emergent leadership detection in the real world.


title: A Sequent Calculus Proof Search Procedure and Counter-model Generation based on Natural Deduction Bounds

abstract: In a previously published ENTCS paper (Santos et al. (2016)), we introduced a sequent calculus called $\mathbf{LMT^{\rightarrow}}$ for Minimal Implicational Propositional Logic ($\mathbf{LMT^{\rightarrow}}$). This calculus provides a proof search procedure for $\mathbf{LMT^{\rightarrow}}$ that works in a bottom-up approach. We proved there that $\mathbf{LMT^{\rightarrow}}$ is sound and complete. We also suggested a strategy to guarantee termination of the proof search procedure. In this current paper, we refined this strategy and presented a new strategy for $\mathbf{LMT^{\rightarrow}}$ termination. Considering this new strategy, we also provide a (new) completeness proof for the system, which improves the previous version. Besides that, we present explicit upper bounds on the proof search procedure, derived from this new strategy. We also provide a full soundness proof of the system.


title: Additive manufacturing of ceramics from preceramic polymers: A versatile stereolithographic approach assisted by thiol-ene click chemistry

abstract: Here we introduce a versatile stereolithographic route to produce three different kinds of Si-containing thermosets that yield high performance ceramics upon thermal treatment. Our approach is based on a fast and inexpensive thiol-ene free radical addition that can be applied for different classes of preceramic polymers with carbon-carbon double bonds. Due to the rapidity and efficiency of the thiol-ene click reactions, this additive manufacturing process can be effectively carried out using conventional light sources on benchtop printers. Through light initiated cross-linking, the liquid preceramic polymers transform into stable infusible thermosets that preserve their shape during the polymer-to-ceramic transformation. Through pyrolysis the thermosets transform into glassy ceramics with uniform shrinkage and high density. The obtained ceramic structures are nearly fully dense, have smooth surfaces, and are free from macroscopic voids and defects. A fabricated SiOC honeycomb was shown to exhibit a significantly higher compressive strength to weight ratio in comparison to other porous ceramics.


title: Estimation of high-dimensional factor models and its application in power data analysis

abstract: In dealing with high-dimensional data, factor models are often used for reducing dimensions and extracting relevant information. The spectrum of covariance matrices from power data exhibits two aspects: 1) bulk, which arises from random noise or fluctuations and 2) spikes, which represents factors caused by anomaly events. In this paper, we propose a new approach to the estimation of high-dimensional factor models, minimizing the distance between the empirical spectral density (ESD) of covariance matrices of the residuals of power data that are obtained by subtracting principal components and the limiting spectral density (LSD) from a multiplicative covariance structure model. The free probability theory (FPT) is used to derive the spectral density of the multiplicative covariance model, which efficiently solves the computational difficulties. The proposed approach connects the estimation of the number of factors to the LSD of covariance matrices of the residuals, which provides estimators of the number of factors and the correlation structure information in the residuals. Considering a lot of measurement noise is contained in the power data and the correlation structure is complex for the residuals, the approach prefers approaching the ESD of covariance matrices of the residuals through a multiplicative covariance model, which avoids making crude assumptions or simplifications on the complex structure of the data. Theoretical studies show the proposed approach is robust against noise and sensitive to the presence of weak factors. The synthetic data from IEEE 118-bus power system is used to validate the effectiveness of the approach. Furthermore, the application to the analysis of the real-world online monitoring data in a power grid shows that the estimators in the approach can be used to indicate the system behavior.


title: Estimating the effect of PEG in ALS patients using observational data subject to censoring by death and missing outcomes

abstract: Though they may offer valuable patient and disease information that is impossible to study in a randomized trial, clinical disease registries also require special care and attention in causal inference. Registry data may be incomplete, inconsistent, and subject to confounding. In this paper we aim to address several analytical issues in estimating treatment effects that plague clinical registries such as the Emory amyotrophic lateral sclerosis (ALS) Clinic Registry. When attempting to assess the effect of a surgical insertion of a percutaneous endoscopic gastrostomy (PEG) tube on body mass index (BMI) using the data from the ALS Clinic Registry, one must combat issues of confounding, censoring by death, and missing outcome data that have not been addressed in previous studies of PEG. We propose a causal inference framework for estimating the survivor average causal effect (SACE) of PEG, which incorporates a model for generalized propensity scores to correct for confounding by pre-treatment variables, a model for principal stratification to account for censoring by death, and a model for the missing data mechanism. Applying the proposed framework to the ALS Clinic Registry Data, our analysis shows that PEG has a positive SACE on BMI at month 18 post-baseline; our results likely offer more definitive answers regarding the effect of PEG than previous studies of PEG.


title: Corps valu\'es locaux

abstract: Many active mathematical research topics nowadays include the concepts of valued fields and local fields, especially the local field of p-adic numbers Qp and the field of formal Laurent series F((X)). Local fields are a notion situated in the boundary between number theory, algebra and topology. They use many definitions and theorems - more or less advanced - of general algebra and topology. Gradually, we will go from the general to the local, from the valued fields to the local fields, of which we will discuss some applications, especially in elementary and algebraic number theory.


title: The effect of intermittent upwelling events on plankton blooms

abstract: In the marine environment biological processes are strongly affected by oceanic currents, particularly by eddies (vortices) formed by the hydrodynamic flow field. Employing a kinematic flow field coupled to a population dynamical model for plankton growth, we study the impact of an intermittent upwelling of nutrients on triggering harmful algal blooms (HABs). Though it is widely believed that additional nutrients boost the formation of HABs or algal blooms in general, we show that the response of the plankton to nutrient plumes depends crucially on the mesoscale hydrodynamic flow structure. In general nutrients can either be quickly washed out from the observation area, or can be captured by the vortices in the flow. The occurrence of either scenario depends on the relation between the time scales of the vortex formation and nutrient upwelling as well as the time instants at which upwelling pulse occurs and how long do they last. We show that these two scenarios result in very different responses in plankton dynamics which makes it very difficult to predict, whether nutrient upwelling will lead to a HAB or not. This explains, why observational data are sometimes inconclusive establishing a correlation between upwelling events and plankton blooms.


title: Propensity Process: a Balancing Functional

abstract: In observational clinic registries, time to treatment is often of interest, but treatment can be given at any time during follow-up and there is no structure or intervention to ensure regular clinic visits for data collection. To address these challenges, we introduce the time-dependent propensity process as a generalization of the propensity score. We show that the propensity process balances the entire time-varying covariate history which cannot be achieved by existing propensity score methods and that treatment assignment is strongly ignorable conditional on the propensity process. We develop methods for estimating the propensity process using observed data and for matching based on the propensity process. We illustrate the propensity process method using the Emory Amyotrophic Lateral Sclerosis (ALS) Registry data.


title: ConfigCrusher: Towards White-Box Performance Analysis for Configurable Systems

abstract: Stakeholders of configurable systems are often interested in knowing how configuration options influence the performance of a system to facilitate, for example, the debugging and optimization processes of these systems. Several black-box approaches can be used to obtain this information, but they either sample a large number of configurations to make accurate predictions or miss important performance-influencing interactions when sampling few configurations. Furthermore, black-box approaches cannot pinpoint the parts of a system that are responsible for performance differences among configurations. This article proposes ConfigCrusher, a white-box performance analysis that inspects the implementation of a system to guide the performance analysis, exploiting several insights of configurable systems in the process. ConfigCrusher employs a static data-flow analysis to identify how configuration options may influence control-flow statements and instruments code regions, corresponding to these statements, to dynamically analyze the influence of configuration options on the regions' performance. Our evaluation on 10 configurable systems shows the feasibility of our white-box approach to more efficiently build performance-influence models that are similar to or more accurate than current state of the art approaches. Overall, we showcase the benefits of white-box performance analyses and their potential to outperform black-box approaches and provide additional information for analyzing configurable systems.


title: Geometric Firefighting in the Half-plane

abstract: In 2006, Alberto Bressan suggested the following problem. Suppose a circular fire spreads in the Euclidean plane at unit speed. The task is to build, in real time, barrier curves to contain the fire. At each time $t$ the total length of all barriers built so far must not exceed $t \cdot v$, where $v$ is a speed constant. How large a speed $v$ is needed? He proved that speed $v>2$ is sufficient, and that $v>1$ is necessary. This gap of $(1,2]$ is still open. The crucial question seems to be the following. {\em When trying to contain a fire, should one build, at maximum speed, the enclosing barrier, or does it make sense to spend some time on placing extra delaying barriers in the fire's way?} We study the situation where the fire must be contained in the upper $L_1$ half-plane by an infinite horizontal barrier to which vertical line segments may be attached as delaying barriers. Surprisingly, such delaying barriers are helpful when properly placed. We prove that speed $v=1.8772$ is sufficient, while $v >1.66$ is necessary.


title: Informed Bayesian Inference for the A/B Test

abstract: Booming in business and a staple analysis in medical trials, the A/B test assesses the effect of an intervention or treatment by comparing its success rate with that of a control condition. Across many practical applications, it is desirable that (1) evidence can be obtained in favor of the null hypothesis that the treatment is ineffective; (2) evidence can be monitored as the data accumulate; (3) expert prior knowledge can be taken into account. Most existing approaches do not fulfill these desiderata. Here we describe a Bayesian A/B procedure based on Kass and Vaidyanathan (1992) that allows one to monitor the evidence for the hypotheses that the treatment has either a positive effect, a negative effect, or, crucially, no effect. Furthermore, this approach enables one to incorporate expert knowledge about the relative prior plausibility of the rival hypotheses and about the expected size of the effect, given that it is non-zero. To facilitate the wider adoption of this Bayesian procedure we developed the abtest package in R. We illustrate the package options and the associated statistical results with a fictitious business example and a real data medical example.


title: Mixing set and bag semantics

abstract: The conservativity theorem for nested relational calculus implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relation, these capabilities do not lead to an increase in expressiveness over flat relational queries. Moreover, Wong showed how such queries can be translated to SQL via a constructive rewriting algorithm. While this result holds for queries over either set or multiset semantics, to the best of our knowledge, the questions of conservativity and normalization have not been studied for queries that mix set and bag collections, or provide duplicate-elimination operations such as SQL's $\mathtt{SELECT}~\mathtt{DISTINCT}$. In this paper we formalize the problem, and present partial progress: specifically, we introduce a calculus with both set and multiset collection types, along with natural mappings from sets to bags and vice versa, present a set of valid rewrite rules for normalizing such queries, and give an inductive characterization of a set of queries whose normal forms can be translated to SQL. We also consider examples that do not appear straightforward to translate to SQL, illustrating that the relative expressiveness of flat and nested queries with mixed set and multiset semantics remains an open question.


title: Finite-time adiabatic processes: derivation and speed limit

abstract: Obtaining adiabatic processes that connect equilibrium states in a given time represents a challenge for mesoscopic systems. In this paper, we explicitly show how to build these finite-time adiabatic processes for an overdamped Brownian particle in an arbitrary potential, a system that is relevant both at the conceptual and the practical level. This is achieved by jointly engineering the time evolutions of the binding potential and the fluid temperature. Moreover, we prove that the second principle imposes a speed limit for such adiabatic transformations: there appears a minimum time to connect the initial and final states. This minimum time can be explicitly calculated for a general compression/decompression situation.


title: An insertion algorithm on multiset partitions with applications to diagram algebras

abstract: We generalize the Robinson-Schensted-Knuth algorithm to the insertion of two row arrays of multisets. This generalization leads to new enumerative results that have representation theoretic interpretations as decompositions of centralizer algebras and the spaces they act on. In addition, restrictions on the multisets lead to further identities and representation theory analogues. For instance, we obtain a bijection between words of length $k$ with entries in $[n]$ and pairs of tableaux of the same shape with one being a standard Young tableau of size $n$ and the other being a standard multiset tableau of content $[k]$. We also obtain an algorithm from partition diagrams to pairs of a standard tableau and a standard multiset tableau of the same shape, which has the remarkable property that it is well-behaved with respect to restricting a representation to a subalgebra. This insertion algorithm matches recent representation-theoretic results of Halverson and Jacobson.


title: Characterizing the invariances of learning algorithms using category theory

abstract: Many learning algorithms have invariances: when their training data is transformed in certain ways, the function they learn transforms in a predictable manner. Here we formalize this notion using concepts from the mathematical field of category theory. The invariances that a supervised learning algorithm possesses are formalized by categories of predictor and target spaces, whose morphisms represent the algorithm's invariances, and an index category whose morphisms represent permutations of the training examples. An invariant learning algorithm is a natural transformation between two functors from the product of these categories to the category of sets, representing training datasets and learned functions respectively. We illustrate the framework by characterizing and contrasting the invariances of linear regression and ridge regression.


title: When abstinence increases prevalence

abstract: In the pool of people seeking partners, a uniformly greater preference for abstinence increases the prevalence of infection and worsens everyone's welfare. In contrast, prevention and treatment reduce prevalence and improve payoffs. The results are driven by adverse selection: people who prefer more partners are likelier disease carriers. A given decrease in the number of matches is a smaller proportional reduction for people with many partners, thus increases the fraction of infected in the pool. The greater disease risk further decreases partner-seeking and payoffs.


title: Programmable Logic Arrays

abstract: Programmable logic arrays (PLAs) are traditional digital electronic devices. A PLA is a simple programmable logic device (SPLD) used to implement combinational logic circuits. A PLA has a set of programmable AND gates, which link to a set of programmable OR gates to produce an output. The AND-OR layout of a PLA allows for implementing logic functions that are in a sum-of-products form. PLAs are available in the market in different types. PLAs could be stand alone chips, or parts of bigger processing systems. Stand alone PLAs are available as mask programmable (MPLAs) and field programmable (FPLAs) devices. The attractions of PLAs that brought them to mainstream engineers include their simplicity, relatively small circuit area, predictable propagation delay, and ease of development. The powerful-but-simple property brought PLAs to rapid prototyping, synthesis, design optimization techniques, embedded systems, traditional computer systems, hybrid high-performance computing systems, etc. Indeed, there has been renewable interests in working with the simple AND-to-OR PLAs.


title: Logic Design

abstract: Electronic circuits can be separated into two groups, digital and analog circuits. Analog circuits operate on analog quantities that are continuous in value, whereas digital circuits operate on digital quantities that are discrete in value and limited in precision. In practice, most digital systems contain combinational circuits along with memory; these systems are known as sequential circuits. Sequential circuits are of two types: synchronous and asynchronous. In a synchronous sequential circuit, a clock signal is used at discrete instants of time to synchronize desired operations. Asynchronous sequential circuits do not require synchronizing clock pulses; however, the completion of an operation signals the start of the next operation in sequence. The basic logic design steps are generally identical for sequential and combinational circuits; these are specification, formulation, optimization, and the implementation of the optimized equations using a suitable hardware technology. The differences between sequential and combinational design steps appear in the details of each step. The minimization (optimization) techniques used in logic design range from simple (manual) to complex (automated). An example of manual optimization methods is the Karnough map (K-map). Indeed, hardware implementation technology has been growing faster than the ability of designers to produce hardware designs. Hence, there has been a growing interest in developing techniques and tools that facilitate the process of logic design.


title: High-level Synthesis

abstract: Hardware synthesis is a general term used to refer to the processes involved in automatically generating a hardware design from its specification. High-level synthesis (HLS) could be defined as the translation from a behavioral description of the intended hardware circuit into a structural description similar to the compilation of programming languages (such as C and Pascal into assembly language. The chained synthesis tasks at each level of the design process include system synthesis, register-transfer synthesis, logic synthesis, and circuit synthesis. The development of hardware solutions for complex applications is no more a complicated task with the emergence of various HLS tools. Many areas of application have benefited from the modern advances in hardware design, such as automotive and aerospace industries, computer graphics, signal and image processing, security, complex simulations like molecular modeling, and DND matching. The field of HLS is continuing its rapid growth to facilitate the creation of hardware and to blur more and more the border separating the processes of designing hardware and software.


title: Design of Guide Tube Calibration System for JUNO Experiment

abstract: Jiangmen Underground Neutrino Observatory (JUNO) is designed to determine the neutrino mass hierarchy using a 20 kton liquid scintillator detector. To calibrate detector boundary effect, the Guide Tube Calibration System (GTCS) has been designed to deploy a radioactive source along a given longitude on the outer surface of the detector. In this paper, we studied the physics case of this system via simulation, which leads to a mechanical design.


title: Unequal time correlators and the Zeldovich approximation

abstract: The modeling of cosmological observables is based on the statistics of the matter density, velocity and gravitational fields in the Universe as a function of time. Typically, calculations are restricted to equal time correlations, where any given fields are evaluated at the same redshift. For some applications, it is necessary to make accurate predictions of unequal time correlators, where the fields considered are evaluated at different redshifts. In this work, we show that the Zeldovich approximation provides an accurate (<10%) analytical prescription to model unequal time correlators, which we validate against numerical N-body simulations. The Zeldovich approximation introduces a scale-dependent exponential suppression of unequal time correlators, which depends on cosmology and the redshifts of the fields considered. Comparing the Zeldovich case to previous approximations, we show that it can yield accurate predictions for wavenumbers that extend well into the nonlinear regime. However, we also show that correlations over such scales are typically suppressed by the geometry of the lightcone, and thus should normally be negligible for cosmology with galaxy surveys. We discuss potential exceptions, such as intrinsic galaxy alignments, where unequal time correlators could play a role in the modeling of the observables.


title: Elementary excitation in the spin-stripe phase in quantum chains

abstract: Elementary excitations in condensed matter capture the complex many-body dynamics of interacting basic entities in a simple quasiparticle picture. In magnetic systems the most established quasiparticles are magnons, collective excitations that reside in ordered spin structures, and spinons, their fractional counterparts that emerge in disordered, yet correlated spin states. Here we report on the discovery of elementary excitation inherent to spin-stripe order that represents a bound state of two phason quasiparticles, resulting in a wiggling-like motion of the magnetic moments. We observe these excitations, which we dub "wigglons", in the frustrated zigzag spin-1/2 chain compound $\beta$-TeVO$_4$, where they give rise to unusual low-frequency spin dynamics in the spin-stripe phase. This result provides insights into the stripe physics of strongly-correlated electron systems.


title: A microscopic description of acid-base equilibrium

abstract: Acid-base reactions are ubiquitous in nature. Understanding their mechanisms is crucial in many fields, from biochemistry to industrial catalysis. Unfortunately, experiments only give limited information without much insight into the molecular behaviour. Atomistic simulations could complement experiments and shed precious light on microscopic mechanisms. The large free energy barriers connected to proton dissociation however make the use of enhanced sampling methods mandatory. Here we perform an ab initio molecular dynamics (MD) simulation and enhance sampling with the help of methadynamics. This has been made possible by the introduction of novel descriptors or collective variables (CVs) that are based on a conceptually new outlook on acid-base equilibria. We test successfully our approach on three different aqueous solutions of acetic acid, ammonia, and bicarbonate. These are representative of acid, basic, and amphoteric behaviour.


title: Vehicle Energy Dataset (VED), A Large-scale Dataset for Vehicle Energy Consumption Research

abstract: We present Vehicle Energy Dataset (VED), a novel large-scale dataset of fuel and energy data collected from 383 personal cars in Ann Arbor, Michigan, USA. This open dataset captures GPS trajectories of vehicles along with their time-series data of fuel, energy, speed, and auxiliary power usage. A diverse fleet consisting of 264 gasoline vehicles, 92 HEVs, and 27 PHEV/EVs drove in real-world from Nov, 2017 to Nov, 2018, where the data were collected through onboard OBD-II loggers. Driving scenarios range from highways to traffic-dense downtown area in various driving conditions and seasons. In total, VED accumulates approximately 374,000 miles. We discuss participant privacy protection and develop a method to de-identify personally identifiable information while preserving the quality of the data. After the de-identification, we conducted case studies on the dataset to investigate the impacts of factors known to affect fuel economy and identify energy-saving opportunities that hybrid-electric vehicles and eco-driving techniques can provide. The case studies are supplemented with a number of examples to demonstrate how VED can be utilized for vehicle energy and behavior studies. Potential research opportunities include data-driven vehicle energy consumption modeling, driver behavior modeling, machine and deep learning, calibration of traffic simulators, optimal route choice modeling, prediction of human driver behaviors, and decision making of self-driving cars. We believe that VED can be an instrumental asset to the development of future automotive technologies. The dataset can be accessed at https://github.com/gsoh/VED.


title: ReFusion: 3D Reconstruction in Dynamic Environments for RGB-D Cameras Exploiting Residuals

abstract: Mapping and localization are essential capabilities of robotic systems. Although the majority of mapping systems focus on static environments, the deployment in real-world situations requires them to handle dynamic objects. In this paper, we propose an approach for an RGB-D sensor that is able to consistently map scenes containing multiple dynamic elements. For localization and mapping, we employ an efficient direct tracking on the truncated signed distance function (TSDF) and leverage color information encoded in the TSDF to estimate the pose of the sensor. The TSDF is efficiently represented using voxel hashing, with most computations parallelized on a GPU. For detecting dynamics, we exploit the residuals obtained after an initial registration, together with the explicit modeling of free space in the model. We evaluate our approach on existing datasets, and provide a new dataset showing highly dynamic scenes. These experiments show that our approach often surpass other state-of-the-art dense SLAM methods. We make available our dataset with the ground truth for both the trajectory of the RGB-D sensor obtained by a motion capture system and the model of the static environment using a high-precision terrestrial laser scanner. Finally, we release our approach as open source code.


title: Arboretum for a generalization of Ramanujan polynomials

abstract: In this paper, we expand on the work of Guo and Zeng from 2007 on a generalization of the Ramanujan polynomials and planar trees. We manage to find combinatorial interpretations of this family of polynomials in terms of Greg trees, Cayley trees, and planar trees by constructing bijections that preserve relevant tree statistics.


title: An excess of non-Gaussian fluctuations in the cosmic infrared background consistent with gravitational lensing

abstract: The cosmic infrared background (CIB) is gravitationally lensed. A quadratic-estimator technique that is inherited from lensing analyses of the cosmic microwave background (CMB) can be applied to detect the CIB lensing effects. However, the CIB fluctuations are intrinsically strongly non-Gaussian, making CIB lensing reconstruction highly biased. We perform numerical simulations to estimate the intrinsic non-Gaussianity and establish a cross-correlation approach to precisely extract the CIB lensing signal from raw data. We apply this technique to CIB data from the Planck satellite and cross-correlate the resulting lensing estimate with the CIB data, galaxy number counts and the CMB lensing potential. We detect an excess that is consistent with a lensing contribution at $>4\sigma$.


title: Pixel-wise Regression: 3D Hand Pose Estimation via Spatial-form Representation and Differentiable Decoder

abstract: 3D Hand pose estimation from a single depth image is an essential topic in computer vision and human-computer interaction. Although the rising of deep learning method boosts the accuracy a lot, the problem is still hard to solve due to the complex structure of the human hand. Existing methods with deep learning either lose spatial information of hand structure or lack a direct supervision of joint coordinates. In this paper, we propose a novel Pixel-wise Regression method, which use spatial-form representation (SFR) and differentiable decoder (DD) to solve the two problems. To use our method, we build a model, in which we design a particular SFR and its correlative DD which divided the 3D joint coordinates into two parts, plane coordinates and depth coordinates and use two modules named Plane Regression (PR) and Depth Regression (DR) to deal with them respectively. We conduct an ablation experiment to show the method we proposed achieve better results than the former methods. We also make an exploration on how different training strategies influence the learned SFRs and results. The experiment on three public datasets demonstrates that our model is comparable with the existing state-of-the-art models and in one of them our model can reduce mean 3D joint error by 25%.


title: Estimating the inverse trace using random forests on graphs

abstract: Some data analysis problems require the computation of (regularised) inverse traces, i.e. quantities of the form $\Tr (q \bI + \bL)^{-1}$. For large matrices, direct methods are unfeasible and one must resort to approximations, for example using a conjugate gradient solver combined with Girard's trace estimator (also known as Hutchinson's trace estimator). Here we describe an unbiased estimator of the regularized inverse trace, based on Wilson's algorithm, an algorithm that was initially designed to draw uniform spanning trees in graphs. Our method is fast, easy to implement, and scales to very large matrices. Its main drawback is that it is limited to diagonally dominant matrices $\bL$.


title: Existence of the solitary wave solutions supported by the hyperbolic modification of the FitzHugh-Nagumo system

abstract: We study a system of nonlinear differential equations simulating transport phenomena in active media. The model we are interested in is a generalization of the celebrated FitzHugh-Nagumo system, describing the nerve impulse propagation in axon. The modeling system is shown to possesses soliton-like solutions under certain restrictions on the parameters. The results of theoretical studies are backed by the direct numerical simulation.


title: Heaps Don't Lie: Countering Unsoundness with Heap Snapshots

abstract: Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses with dynamic information is a common pattern, with tools such as Tamiflex. Past approaches, however, miss significant portions of dynamic behavior, due to native code, unsupported features (e.g., invokedynamic or lambdas in Java), and more. We present techniques that substantially counteract the unsoundness of a static analysis, with virtually no intrusion to the analysis logic. Our approach is reified in the HeapDL toolchain and consists in taking whole-heap snapshots during program execution, that are further enriched to capture significant aspects of dynamic behavior, regardless of the causes of such behavior. The snapshots are then used as extra inputs to the static analysis. The approach exhibits both portability and significantly increased coverage. Heap information under one set of dynamic inputs allows a static analysis to cover many more behaviors under other inputs. A HeapDL-enhanced static analysis of the DaCapo benchmarks computes 99.5% (median) of the call-graph edges of unseen dynamic executions (vs. 76.9% for the Tamiflex tool).


title: Unbiased determination of DVCS Compton Form Factors

abstract: The extraction of Compton Form Factors (CFFs) in a global analysis of almost all Deeply Virtual Compton Scattering (DVCS) proton data is presented. The extracted quantities are DVCS sub-amplitudes and the most basic observables which are unambiguously accessible from this process. The parameterizations of CFFs are constructed utilizing the artificial neural network technique allowing for an important reduction of model dependency. The analysis consists of such elements as feasibility studies, training of neural networks with the genetic algorithm and a careful regularization to avoid over-fitting. The propagation of experimental uncertainties to extracted quantities is done with the replica method. The resulting parameterizations of CFFs are used to determine the subtraction constant through dispersion relations. The analysis is done within the PARTONS framework.


title: Collapse of cooperation and corruption in a mathematical model within game theory including Moldovan case study (Homo Sociologicus vs Homo Economicus)

abstract: A simple model from game theory, which can imitate a mechanism of corruption and cooperation patterns, is proposed. The settings are divided into two studies with examples related to safety of Moldovan economy. In Homo Economicus world, players seem to act in rational way and decisions are driven by payouts. In Homo Sociologicus world decisions are described by players acquiring reputation and evolving altruism, which in turn determine their choice of strategy (evolution of cooperation). I shall discuss both modeling approaches of Prisoner Dilemma, to understand collapse of cooperation and increase of corruption in postcommunistic countries as Republic of Moldova. Possible more efficient for society outcomes (fairness equilibrium) are also discussed.


title: Supertropical Monoids II: Lifts, Transmissions, and Equalizers

abstract: The category $\operatorname{STROP}$ of commutative semirings, whose morphisms are transmissions, is a full and reflective subcategory of the category $\operatorname{STROP}_m$ of supertropical monoids. Equivalence relations on supertropical monoids are constructed easily, and utilized effectively for supertropical semirings, whereas ideals are too special for semirings. Aiming for tangible factorizations, certain types of such equivalence relations are constructed and classified explicitly in this paper, followed by a profound study of their characteristic properties with special emphasis on difficulties arising from ghost products of tangible elements.


title: Impact of Artificial Intelligence on Businesses: from Research, Innovation, Market Deployment to Future Shifts in Business Models

abstract: The fast pace of artificial intelligence (AI) and automation is propelling strategists to reshape their business models. This is fostering the integration of AI in the business processes but the consequences of this adoption are underexplored and need attention. This paper focuses on the overall impact of AI on businesses - from research, innovation, market deployment to future shifts in business models. To access this overall impact, we design a three-dimensional research model, based upon the Neo-Schumpeterian economics and its three forces viz. innovation, knowledge, and entrepreneurship. The first dimension deals with research and innovation in AI. In the second dimension, we explore the influence of AI on the global market and the strategic objectives of the businesses and finally, the third dimension examines how AI is shaping business contexts. Additionally, the paper explores AI implications on actors and its dark sides.


title: String$\mathbf{^c}$ Structures and Modular Invariants

abstract: In this paper, we study some algebraic topology aspects of String$^c$ structures, more precisely, from the perspective of Whitehead tower and the perspective of the loop group of $Spin^c(n)$. We also extend the generalized Witten genera constructed for the first time in \cite{CHZ11} to correspond to String$^c$ structures of various levels and give vanishing results for them.


title: A 10-qubit solid-state spin register with quantum memory up to one minute

abstract: Spins associated to single defects in solids provide promising qubits for quantum information processing and quantum networks. Recent experiments have demonstrated long coherence times, high-fidelity operations and long-range entanglement. However, control has so far been limited to a few qubits, with entangled states of three spins demonstrated. Realizing larger multi-qubit registers is challenging due to the need for quantum gates that avoid crosstalk and protect the coherence of the complete register. In this paper, we present novel decoherence-protected gates that combine dynamical decoupling of an electron spin with selective phase-controlled driving of nuclear spins. We use these gates to realize a 10-qubit quantum register consisting of the electron spin of a nitrogen-vacancy center and 9 nuclear spins in diamond. We show that the register is fully connected by generating entanglement between all 45 possible qubit pairs, and realize genuine multipartite entangled states with up to 7 qubits. Finally, we investigate the register as a multi-qubit memory. We show coherence times up to 63(2) seconds - the longest reported for a single solid-state qubit - and demonstrate that two-qubit entangled states can be stored for over 10 seconds. Our results enable the control of large quantum registers with long coherence times and therefore open the door to advanced quantum algorithms and quantum networks with solid-state spin qubits.


title: Atomic-scale imaging of a 27-nuclear-spin cluster using a single-spin quantum sensor

abstract: Nuclear magnetic resonance (NMR) is a powerful method for determining the structure of molecules and proteins. While conventional NMR requires averaging over large ensembles, recent progress with single-spin quantum sensors has created the prospect of magnetic imaging of individual molecules. As an initial step towards this goal, isolated nuclear spins and spin pairs have been mapped. However, large clusters of interacting spins - such as found in molecules - result in highly complex spectra. Imaging these complex systems is an outstanding challenge due to the required high spectral resolution and efficient spatial reconstruction with sub-angstrom precision. Here we develop such atomic-scale imaging using a single nitrogen-vacancy (NV) centre as a quantum sensor, and demonstrate it on a model system of $27$ coupled $^{13}$C nuclear spins in a diamond. We present a new multidimensional spectroscopy method that isolates individual nuclear-nuclear spin interactions with high spectral resolution ($< 80\,$mHz) and high accuracy ($2$ mHz). We show that these interactions encode the composition and inter-connectivity of the cluster, and develop methods to extract the 3D structure of the cluster with sub-angstrom resolution. Our results demonstrate a key capability towards magnetic imaging of individual molecules and other complex spin systems.


title: A spectral survey of an ultra-hot Jupiter: Detection of metals in the transmission spectrum of KELT-9 b

abstract: Context: KELT-9 b exemplifies a newly emerging class of short-period gaseous exoplanets that tend to orbit hot, early type stars - termed ultra-hot Jupiters. The severe stellar irradiation heats their atmospheres to temperatures of $\sim 4,000$ K, similar to the photospheres of dwarf stars. Due to the absence of aerosols and complex molecular chemistry at such temperatures, these planets offer the potential of detailed chemical characterisation through transit and day-side spectroscopy. Studies of their chemical inventories may provide crucial constraints on their formation process and evolution history. Aims: To search the optical transmission spectrum of KELT-9 b for absorption lines by metals using the cross-correlation technique. Methods: We analyse 2 transits observed with the HARPS-N spectrograph. We use an isothermal equilibrium chemistry model to predict the transmission spectrum for each of the neutral and singly-ionized atoms with atomic numbers between 3 and 78. Of these, we identify the elements that are expected to have spectral lines in the visible wavelength range and use those as cross-correlation templates. Results: We detect absorption of Na I, Cr II, Sc II and Y II, and confirm previous detections of Mg I, Fe I, Fe II and Ti II. In addition, we find evidence of Ca I, Cr I, Co I, and Sr II that will require further observations to verify. The detected absorption lines are significantly deeper than model predictions, suggesting that material is transported to higher altitudes where the density is enhanced compared to a hydrostatic profile. There appears to be no significant blue-shift of the absorption spectrum due to a net day-to-night side wind. In particular, the strong Fe II feature is shifted by $0.18 \pm 0.27$ km~s$^{-1}$, consistent with zero. Using the orbital velocity of the planet we revise the steller and planetary masses and radii.


title: Weak Hardy-Type Spaces Associated with Ball Quasi-Banach Function Spaces I: Decompositions with Applications to Boundedness of Calder\'on--Zygmund Operators

abstract: Let $X$ be a ball quasi-Banach function space on ${\mathbb R}^n$. In this article, the authors introduce the weak Hardy-type space $WH_X({\mathbb R}^n)$, associated with $X$, via the radial maximal function. Assuming that the powered Hardy--Littlewood maximal operator satisfies some Fefferman--Stein vector-valued maximal inequality on $X$ as well as it is bounded on both the weak ball quasi-Banach function space $WX$ and the associated space, the authors then establish several real-variable characterizations of $WH_X({\mathbb R}^n)$, respectively, in terms of various maximal functions, atoms and molecules. As an application, the authors obtain the boundedness of Calder\'on--Zygmund operators from the Hardy space $H_X({\mathbb R}^n)$ to $WH_X({\mathbb R}^n)$, which includes the critical case. All these results are of wide applications. Particularly, when $X:=M_q^p({\mathbb R}^n)$ (the Morrey space), $X:=L^{\vec{p}}({\mathbb R}^n)$ (the mixed-norm Lebesgue space) and $X:=(E_\Phi^q)_t({\mathbb R}^n)$ (the Orlicz-slice space), which are all ball quasi-Banach function spaces but not quasi-Banach function spaces, all these results are even new. Due to the generality, more applications of these results are predictable.


title: Channeling of electrons and positrons in straight and periodically bent diamond(110) crystals

abstract: In this paper we present the results of a systematic numerical analysis of the channeling properties of electrons and positrons in oriented straight and periodically bent diamond(110) crystals. We analyse dependence of the intensity of the radiation emitted on the projectile energy as well as on the bending amplitude. The analysis presented is based on the grounds of accurate numerical simulations of the channeling process. The simulation parameters, such as the crystal orientation, thickness and bending parameters of the crystals as well as the energy of the projectiles, were chosen to match those used in past and ongoing experiments. The peculiarities which appear in the radiation spectra are attributed to the interplay of various radiation mechanisms. The analysis performed can be used to predict and explain future experimental results.


title: Improving and Understanding Variational Continual Learning

abstract: In the continual learning setting, tasks are encountered sequentially. The goal is to learn whilst i) avoiding catastrophic forgetting, ii) efficiently using model capacity, and iii) employing forward and backward transfer learning. In this paper, we explore how the Variational Continual Learning (VCL) framework achieves these desiderata on two benchmarks in continual learning: split MNIST and permuted MNIST. We first report significantly improved results on what was already a competitive approach. The improvements are achieved by establishing a new best practice approach to mean-field variational Bayesian neural networks. We then look at the solutions in detail. This allows us to obtain an understanding of why VCL performs as it does, and we compare the solution to what an `ideal' continual learning solution might be.


title: Analyzing a Tandem Fluid Queueing Model with Stochastic Capacity and Spillback

abstract: The tandem fluid queueing model is a useful tool for performance analysis and control design for a variety of transportation systems. In this article, we study the joint impact of stochastic capacity and spillback on the long-time properties of this model. Our analysis focuses on the system of two fluid queueing links in series. The upstream link has a constant capacity (saturation rate) and an infinite buffer size. The downstream link has a stochastic capacity and a finite buffer size. Queue spillback occurs when the the downstream link is full. We derive a necessary condition and a sufficient condition for the total queue length to be bounded on average. The necessary (resp. sufficient) condition leads to an upper (resp. lower) bound for the throughput of the two-link system. Using our results, we analyze the sensitivity of throughput of the two-link system with respect to the frequency and intensity of capacity disruptions, and to the buffer size. In addition, we discuss how our analysis can be extended to feedback-controlled systems and to networks consisting of merges and splits.


title: Real roots of random polynomials with coefficients of polynomial growth: a comparison principle and applications

abstract: This paper seeks to further explore the distribution of the real roots of random polynomials with non-centered coefficients. We focus on polynomials where the typical values of the coefficients have power growth and count the average number of real zeros. Almost all previous results require coefficients with zero mean, and it is non-trivial to extend these results to the general case. Our approach is based on a novel comparison principle that reduces the general situation to the mean-zero setting. As applications, we obtain new results for the Kac polynomials, hyperbolic random polynomials, their derivatives, and generalizations of these polynomials. The proof features new logarithmic integrability estimates for random polynomials (both local and global) and fairly sharp estimates for the local number of real zeros.


title: Improved Hard Example Mining by Discovering Attribute-based Hard Person Identity

abstract: In this paper, we propose Hard Person Identity Mining (HPIM) that attempts to refine the hard example mining to improve the exploration efficacy in person re-identification. It is motivated by following observation: the more attributes some people share, the more difficult to separate their identities. Based on this observation, we develop HPIM via a transferred attribute describer, a deep multi-attribute classifier trained from the source noisy person attribute datasets. We encode each image into the attribute probabilistic description in the target person re-ID dataset. Afterwards in the attribute code space, we consider each person as a distribution to generate his view-specific attribute codes in different practical scenarios. Hence we estimate the person-specific statistical moments from zeroth to higher order, which are further used to calculate the central moment discrepancies between persons. Such discrepancy is a ground to choose hard identity to organize proper mini-batches, without concerning the person representation changing in metric learning. It presents as a complementary tool of hard example mining, which helps to explore the global instead of the local hard example constraint in the mini-batch built by randomly sampled identities. Extensive experiments on two person re-identification benchmarks validated the effectiveness of our proposed algorithm.


title: Magnetized baryons and the QCD phase diagram: NJL model meets the lattice

abstract: We determine the baryon spectrum of 1 + 1 + 1-flavor QCD in the presence of strong background magnetic fields using lattice simulations at physical quark masses for the first time. Our results show a splitting within multiplets according to the electric charge of the baryons and reveal, in particular, a reduction of the nucleon masses for strong magnetic fields. This first-principles input is used to define constituent quark masses and is employed to set the free parameters of the Polyakov loop-extended Nambu-Jona-Lasinio (PNJL) model in a magnetic field-dependent manner. The so constructed model is shown to exhibit inverse magnetic catalysis at high temperatures and a reduction of the transition temperature as the magnetic field grows - in line with non-perturbative lattice results. This is contrary to the naive variant of this model, which gives incorrect results for this fundamental phase diagram. Our findings demonstrate that the magnetic field dependence of the PNJL model can be reconciled with the lattice findings in a systematic way, employing solely zero-temperature first-principles input.


title: Elastic Properties of Graphyne-based Nanotubes

abstract: Graphyne nanotubes (GNTs) are nanostructures obtained from rolled up graphyne sheets, in the same way carbon nanotubes (CNTs) are obtained from graphene ones. Graphynes are 2D carbon-allotropes composed of atoms in sp and sp2 hybridized states. Similarly to conventional CNTs, GNTs can present different chiralities and electronic properties. Because of the acetylenic groups (triple bonds), GNTs exhibit large sidewall pores that influence their mechanical properties. In this work, we studied the mechanical response of GNTs under tensile stress using fully atomistic molecular dynamics simulations and density functional theory (DFT) calculations. Our results show that GNTs mechanical failure (fracture) occurs at larger strain values in comparison to corresponding CNTs, but paradoxically with smaller ultimate strength and Young's modulus values. This is a consequence of the combined effects of the existence of triple bonds and increased porosity/flexibility due to the presence of acetylenic groups.


title: Two-center dielectronic recombination in slow atomic collisions

abstract: A free electron can form a bound state with an atomic center $A$ upon photo emission (radiative recombination). In the presence of a neighboring atom $B$, such a bound state can, under certain conditions, be also formed via resonant transfer of energy to $B$, with its subsequent relaxation through radiative decay (two-center dielectronic recombination). This two-center process is very efficient in the 'static' case where $A$ and $B$ form a weakly bound system, dominating over single-center radiative recombination up to internuclear distances as large as several nanometers. Here we study its dynamic variant in which recombination occurs when a beam of species $A$ collides with a gas of atoms $B$ and show that, even though the average distance between $A$ and $B$ in collisions is orders of magnitude larger than the typical size of a bound system, the two-center recombination can still outperform the single-center radiative recombination.


title: Localizing Adverts in Outdoor Scenes

abstract: Online videos have witnessed an unprecedented growth over the last decade, owing to wide range of content creation. This provides the advertisement and marketing agencies plethora of opportunities for targeted advertisements. Such techniques involve replacing an existing advertisement in a video frame, with a new advertisement. However, such post-processing of online videos is mostly done manually by video editors. This is cumbersome and time-consuming. In this paper, we propose DeepAds -- a deep neural network, based on the simple encoder-decoder architecture, that can accurately localize the position of an advert in a video frame. Our approach of localizing billboards in outdoor scenes using neural nets, is the first of its kind, and achieves the best performance. We benchmark our proposed method with other semantic segmentation algorithms, on a public dataset of outdoor scenes with manually annotated billboard binary maps.


title: Lasso under Multi-way Clustering: Estimation and Post-selection Inference

abstract: This paper studies high-dimensional regression models with lasso when data is sampled under multi-way clustering. First, we establish convergence rates for the lasso and post-lasso estimators. Second, we propose a novel inference method based on a post-double-selection procedure and show its asymptotic validity. Our procedure can be easily implemented with existing statistical packages. Simulation results demonstrate that the proposed procedure works well in finite sample. We illustrate the proposed method with a couple of empirical applications to development and growth economics.


title: Are commercially implemented adaptive cruise control systems string stable?

abstract: In this article, we assess the string stability of seven 2018 model year adaptive cruise control (ACC) equipped vehicles that are widely available in the US market. Seven distinct vehicle models from two different vehicle makes are analyzed using data collected from more than 1,200 miles of driving in car-following experiments with ACC engaged by the follower vehicle. The resulting dataset is used to identify the parameters of a linear second order delay differential equation model that approximates the behavior of the black box ACC systems. The string stability of the data-fitted model associated with each vehicle is assessed, and the main finding is that all seven vehicle models have string unstable ACC systems. For one commonly available vehicle model that offers ACC as a standard feature on all trim levels, we validate the string stability finding with a multi-vehicle platoon experiment in which all vehicles are the same year, make, and model. In this test, an initial disturbance of 6 mph is amplified to a 25 mph disturbance, at which point the last vehicle in the platoon is observed to disengage the ACC. The data collected in the driving experiments is made available, representing the largest publicly available comparative driving dataset on ACC equipped vehicles.


title: Infinite dimensional Cauchy-Kowalevski and Holmgren type theorems

abstract: The aim of this paper is to show Cauchy-Kowalevski and Holmgren type theorems with infinite number of variables. We adopt von Koch and Hilbert's definition of analyticity of functions as monomial expansions. Our Cauchy-Kowalevski type theorem is derived by modifying the classical method of majorants. Based on this result, by employing some tools from abstract Wiener spaces, we establish our Holmgren type theorem.


title: On the Entanglement Cost of One-Shot Compression

abstract: We revisit the task of visible compression of an ensemble of quantum states with entanglement assistance in the one-shot setting. The protocols achieving the best compression use many more qubits of shared entanglement than the number of qubits in the states in the ensemble. Other compression protocols, with potentially larger communication cost, have entanglement cost bounded by the number of qubits in the given states. This motivates the question as to whether entanglement is truly necessary for compression, and if so, how much of it is needed. Motivated by questions in communication complexity, we lift certain restrictions that are placed on compression protocols in tasks such as state-splitting and channel simulation. We show that an ensemble of the form designed by Jain, Radhakrishnan, and Sen (ICALP'03) saturates the known bounds on the sum of communication and entanglement costs, even with the relaxed compression protocols we study. The ensemble and the associated one-way communication protocol have several remarkable properties. The ensemble is incompressible by more than a constant number of qubits without shared entanglement, even when constant error is allowed. Moreover, in the presence of shared entanglement, the communication cost of compression can be arbitrarily smaller than the entanglement cost. The quantum information cost of the protocol can thus be arbitrarily smaller than the cost of compression without shared entanglement. The ensemble can also be used to show the impossibility of reducing, via compression, the shared entanglement used in two-party protocols for computing Boolean functions.


title: Spectral Evidence for Heating at Large Column Mass in Umbral Solar Flare Kernels I: IRIS NUV Spectra of the X1 Solar Flare of 2014 Oct 25

abstract: The GOES X1 flare SOL2014-10-25T17:08:00 was a three-ribbon solar flare observed with IRIS in the near and far ultraviolet. One of the flare ribbons crossed a sunspot umbra, producing a dramatic, $\sim1000$% increase in the near-ultraviolet (NUV) continuum radiation. We comprehensively analyze the ultraviolet spectral data of the umbral flare brightenings, which provide new challenges for radiative-hydrodynamic modeling of the chromospheric velocity field and the white-light continuum radiation. The emission line profiles in the umbral flare brightenings exhibit redshifts and profile asymmetries, but these are significantly smaller than in another, well-studied X-class solar flare. We present a ratio of the NUV continuum intensity to the Fe II 2814.45 Ang intensity. This continuum-to-line ratio is a new spectral diagnostic of significant heating at high column mass (log $m/$[g cm$^{-2}] >-2$) during solar flares because the continuum and emission line radiation originate from relatively similar temperatures but moderately different optical depths. The full spectral readout of these IRIS data also allow for a comprehensive survey of the flaring NUV landscape: in addition to many lines of Fe II and Cr II, we identify a new solar flare emission line, He I $\lambda2829.91$ (as previously identified in laboratory and early-type stellar spectra). The Fermi/GBM hard X-ray data provide inputs to radiative-hydrodynamic models (which will be presented in Paper II) in order to better understand the large continuum-to-line ratios, the origin of the white-light continuum radiation, and the role of electron beam heating in the low atmosphere.


title: Unusual Infrared Emission toward Sgr B2: Possible Planar C$_{24}$

abstract: Interstellar graphene could be present in the interstellar medium (ISM), resulting from the photochemical processing of polycyclic aromatic hydrocarbon (PAH) molecules and/or collisional fragmentation of graphitic particles. Indeed, by comparing the observed ultraviolet (UV) extinction and infrared (IR) emission of the diffuse ISM with that predicted for graphene, as much as $\sim$ 2% of the total interstellar carbon could have been locked up in graphene without violating the observational constraints. While the possible detection of planar C$_{24}$, a small piece of a graphene sheet, has been reported towards several Galactic and extragalactic planetary nebulae, graphene has not yet been detected in interstellar environments. In this work, we search for the characteristic IR features of C$_{24}$ at $\sim$ 6.6, 9.8, 20 $\mu m$ toward Sgr B2, a high-mass star formation region, and find a candidate target toward R.A. (J2000) = $267^{\circ}.05855$ and Decl. (J2000) = $-28^{\circ}.01479$ in Sgr B2 whose Spitzer/IRS spectra exhibit three bands peaking at $\sim$ 6.637, 9.853 and 20.050 $\mu m$ which appear to be coincident with that of C$_{24}$. Possible features of C$_{60}$ are also seen in this region. The candidate region is a warm dust environment heated by massive stars or star clusters, associated with a WISE spot (a tracer of star-formation activity), close to the HII region candidate IRAS 17450-2759, and is surrounded by seven young stellar object candidates within $\sim$ 5$^{\prime}$, suggesting that the creation and/or excitation of C$_{24}$ could be related to star formation activities.


title: Multi-threaded Output in CMS using ROOT

abstract: CMS has worked aggressively to make use of multi-core architectures, routinely running 4- to 8-core production jobs in 2017. The primary impediment to efficiently scaling beyond 8 cores has been our ROOT-based output module, which has been necessarily single threaded. In this paper we explore the changes made to the CMS framework and our ROOT output module to overcome the previous scaling limits, using two new ROOT features: the \texttt{TBufferMerger} asynchronous file merger, and Implicit Multi-Threading. We examine the architecture of the new parallel output module, the specific accommodations and modifications that were made to ensure compatibility with the CMS framework scheduler, and the performance characteristics of the new output module.


title: Visibility Constrained Generative Model for Depth-based 3D Facial Pose Tracking

abstract: In this paper, we propose a generative framework that unifies depth-based 3D facial pose tracking and face model adaptation on-the-fly, in the unconstrained scenarios with heavy occlusions and arbitrary facial expression variations. Specifically, we introduce a statistical 3D morphable model that flexibly describes the distribution of points on the surface of the face model, with an efficient switchable online adaptation that gradually captures the identity of the tracked subject and rapidly constructs a suitable face model when the subject changes. Moreover, unlike prior art that employed ICP-based facial pose estimation, to improve robustness to occlusions, we propose a ray visibility constraint that regularizes the pose based on the face model's visibility with respect to the input point cloud. Ablation studies and experimental results on Biwi and ICT-3DHP datasets demonstrate that the proposed framework is effective and outperforms completing state-of-the-art depth-based methods.


title: Strong quantum fluctuations in a quantum spin liquid candidate with a Co-based triangular lattice

abstract: Currently under active study in condensed matter physics, both theoretically and experimentally, are quantum spin liquid (QSL) states, in which no long-range magnetic ordering appears at low temperatures due to strong quantum fluctuations of the magnetic moments. The existing QSL candidates all have their intrinsic disadvantages, however, and solid evidence for quantum fluctuations is scarce. Here we report a new compound, Na$_{2}$BaCo(PO$_{4}$)$_{2}$, a geometrically frustrated system with effective spin-1/2 local moments for Co$^{2+}$ ions on an isotropic two-dimensional triangular lattice. Magnetic susceptibility and neutron scattering experiments show no magnetic ordering down to 0.05 K. Thermodynamic measurements show that there is a tremendous amount of magnetic entropy present below 1 K in zero applied magnetic field. The presence of localized low-energy spin fluctuations is revealed by inelastic neutron measurements. At low applied fields, these spin excitations are confined to low energy and contribute to the anomalously large specific heat. In larger applied fields, the system reverts to normal behavior as evident by both neutron and thermodynamic results. Our experimental characterization thus reveals that this new material is an excellent candidate for the experimental realization of a quantum spin liquid state.


title: Towards baryon-baryon scattering in manifestly Lorentz-invariant formulation of SU(3) baryon chiral perturbation theory

abstract: We study baryon-baryon scattering by applying time-ordered perturbation theory to the manifestly Lorentz-invariant formulation of SU(3) baryon chiral perturbation theory. We derive the corresponding diagrammatic rules paying special attention to complications caused by momentum-dependent interactions and propagators of particles with non-zero spin. We define the effective potential as a sum of two-baryon irreducible contributions of time-ordered diagrams and derive a system of integral equations for the scattering amplitude, which provides a coupled-channel generalization of the Kadyshevsky equation. The obtained leading-order baryon-baryon potentials are perturbatively renormalizable, and the corresponding integral equations have unique solutions in all partial waves. We discuss the issue of additional finite subtractions required to improve the ultraviolet convergence of (finite) loop integrals on the example of nucleon-nucleon scattering in the $^3P_0$ partial wave. Assuming that corrections beyond leading order can be treated perturbatively, we obtain a fully renormalizable formalism which can be employed to study baryon-baryon scattering.


title: Ground State Phases of Distorted $S=1$ Diamond Chains

abstract: The ground states of distorted $S=1$ diamond chains are investigated for two types of distortion called type A and B [J. Phys. Soc. Jpn. 79 (2010) 114703]. For the type A distortion, Haldane phases with and without spontaneous translational symmetry breakdown are present for large values of parameter $\lambda$ that parametrize the strength of frustration. For small $\lambda$, the Haldane phase and two quantized ferrimagnetic phases in the undistorted chain remain stable even for strong distortion. In contrast, for the type B distortion, the quantized ferrimagnetic phases with and without spontaneous translational symmetry breakdown are present for large $\lambda$. The partial ferrimagnetic phases emerge between them. For small $\lambda$, two quantized ferrimagnetic phases remain and the partial ferrimagnetic phases also emerge between them. The Haldane phase between the two kinds of ferrimagnetic phases turns into a topologically trivial double Haldane phase for strong distortion.


title: The average simplex cardinality of a finite abstract simplicial complex

abstract: We study the average simplex cardinality Dim^+(G) = sum_x |x|/(|G|+1) of a finite abstract simplicial complex G. The functional is a homomorphism from the monoid of simplicial complexes to the rationals: the formula Dim^+(G + H) = Dim^+(G) + Dim^+(H) holds for the join + similarly as for the augmented inductive dimension dim^+(G) = dim(G)+1 where dim is the inductive dimension dim(G) = 1+ sum_x dim(S(x))/|G| with unit sphere S(x) (a recent theorem of Betre and Salinger). In terms of the generating function f(t) = 1+v_0 t + v_1 t^2 + ... +v_d t^(d+1) defined by the f-vector (v_0,v_1, \dots) of G for which f(-1) is the genus 1-X(G) with Euler characteristic X and f(1)=|G|+1 is the augmented number of simplices, the average cardinality is the logarithmic derivative Dim^+(f) = f'(1)/f(1) of f at 1. Beside introducing the average cardinality and establishing its compatibility with arithmetic, we prove two results: 1) the inequality dim^+(G)/2 <= Dim^+(G) with equality for complete complexes. 2) the limit C_d of Dim^+(G_n) for n to infinity is the same for any initial complex G_0 of maximal dimension d and the constant c_d is explicitly given in terms of the Perron-Frobenius eigenfunction of the universal Barycentric refinement operator and is for positive d always a rational number in the open interval ((d+1)/2,d+1).


title: Lynceus: Cost-efficient Tuning and Provisioning of Data Analytic Jobs

abstract: Modern data analytic and machine learning jobs find in the cloud a natural deployment platform to satisfy their notoriously large resource requirements. Yet, to achieve cost efficiency, it is crucial to identify a deployment configuration that satisfies user-defined QoS constraints (e.g., on execution time), while avoiding unnecessary over-provisioning. This paper introduces Lynceus, a new approach for the optimization of cloud based data analytic jobs that improves overstate-of-the-art approaches by enabling significant cost savings both in terms of the final recommended configuration and of the optimization process used to recommend configurations. Unlike existing solutions, Lynceus optimizes in a joint fashion both the cloud-related and the application-level parameters. This allows for a reduction of the cost of recommended configurations by up to 3.7x at the 90-th percentile with respect to existing approaches, which treat the optimization of cloud-related and application-level parameters as two independent problems. Further, Lynceus reduces the cost of the optimization process (i.e., the cloud cost incurred for testing configurations) by up to 11x. Such an improvement is achieved thanks to two mechanisms: i) a timeout approach which allows to abort the exploration of configurations that are deemed suboptimal, while still extracting useful information to guide future explorations and to improve its predictive model - differently from recent works, which either incur the full cost for testing suboptimal configurations or are unable to extract any knowledge from aborted runs; ii) a long-sighted and budget-aware technique that determines which configurations to test by predicting the long-term impact of each exploration - unlike state-of-the-art approaches for the optimization of cloud jobs, which adopt greedy optimization methods.


title: Low-frequency gravity waves in blue supergiants revealed by high-precision space photometry

abstract: Almost all massive stars explode as supernovae and form a black hole or neutron star. The remnant mass and the impact of the chemical yield on subsequent star formation and galactic evolution strongly depend on the internal physics of the progenitor star, which is currently not well understood. The theoretical uncertainties of stellar interiors accumulate with stellar age, which is particularly pertinent for the blue supergiant phase. Stellar oscillations represent a unique method of probing stellar interiors, yet inference for blue supergiants is hampered by a dearth of observed pulsation modes. Here we report the detection of diverse variability in blue supergiants using the K2 and TESS space missions. The discovery of pulsation modes or an entire spectrum of low-frequency gravity waves in these stars allow us to map the evolution of hot massive stars towards the ends of their lives. Future asteroseismic modelling will provide constraints on ages, core masses, interior mixing, rotation and angular momentum transport. The discovery of variability in blue supergiants is a step towards a data-driven empirical calibration of theoretical evolution models for the most massive stars in the Universe.


title: Machine Learning to Predict Developmental Neurotoxicity with High-throughput Data from 2D Bio-engineered Tissues

abstract: There is a growing need for fast and accurate methods for testing developmental neurotoxicity across several chemical exposure sources. Current approaches, such as in vivo animal studies, and assays of animal and human primary cell cultures, suffer from challenges related to time, cost, and applicability to human physiology. We previously demonstrated success employing machine learning to predict developmental neurotoxicity using gene expression data collected from human 3D tissue models exposed to various compounds. The 3D model is biologically similar to developing neural structures, but its complexity necessitates extensive expertise and effort to employ. By instead focusing solely on constructing an assay of developmental neurotoxicity, we propose that a simpler 2D tissue model may prove sufficient. We thus compare the accuracy of predictive models trained on data from a 2D tissue model with those trained on data from a 3D tissue model, and find the 2D model to be substantially more accurate. Furthermore, we find the 2D model to be more robust under stringent gene set selection, whereas the 3D model suffers substantial accuracy degradation. While both approaches have advantages and disadvantages, we propose that our described 2D approach could be a valuable tool for decision makers when prioritizing neurotoxicity screening.


title: Renormalization Scheme Dependence, RG Flow and Borel Summability in $\phi^4$ Theories in $d<4$

abstract: Renormalization group (RG) and resummation techniques have been used in $N$-component $\phi^4$ theories at fixed dimensions below four to determine the presence of non-trivial IR fixed points and to compute the associated critical properties. Since the coupling constant is relevant in $d<4$ dimensions, the RG is entirely governed by renormalization scheme-dependent terms. We show that the known proofs of the Borel summability of observables depend on the renormalization scheme and apply only in "minimal" ones, equivalent in $d=2$ to an operatorial normal ordering prescription, where the $\beta$-function is trivial to all orders in perturbation theory. The presence of a non-trivial fixed point can be unambiguously established by considering a physical observable, like the mass gap, with no need of RG techniques. Focusing on the $N=1$, $d=2$ $\phi^4$ theory, we define a one-parameter family of renormalization schemes where Borel summability is guaranteed and study the accuracy on the determination of the critical exponent $\nu$ as the scheme is varied. While the critical coupling shows a significant sensitivity on the scheme, the accuracy in $\nu$ is essentially constant. As by-product of our analysis, we improve the determination of $\nu$ obtained with RG methods by computing three more orders in perturbation theory.

categories: hep-th cond-mat.stat-mech hep-ph math-ph math.MP


title: Partitioning sparse graphs into an independent set and a graph with bounded size components

abstract: We study the problem of partitioning the vertex set of a given graph so that each part induces a graph with components of bounded order; we are also interested in restricting these components to be paths. In particular, we say a graph $G$ admits an $({\cal I}, {\cal O}_k)$-partition if its vertex set can be partitioned into an independent set and a set that induces a graph with components of order at most $k$. We prove that every graph $G$ with $\operatorname{mad}(G)<\frac 52$ admits an $({\cal I}, {\cal O}_3)$-partition. This implies that every planar graph with girth at least $10$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 3. We also prove that every graph $G$ with $\operatorname{mad}(G) < \frac{8k}{3k+1} = \frac{8}{3}\left( 1 - \frac{1}{3k+1} \right)$ admits an $({\cal I}, {\cal O}_k)$-partition. This implies that every planar graph with girth at least $9$ can be partitioned into an independent set and a set that induces a graph whose components are paths of order at most 9.


title: Direct Visualization of Spatial inhomogeneity of Spin Stripes Order in La1.72Sr0.28NiO4

abstract: In several strongly correlated electron systems, defects, charge and local lattice distortions are found to show complex inhomogeneous spatial distributions. There is growing evidence that such inhomogeneity plays a fundamental role in unique functionality of quantum complex materials. La1.72Sr0.28NiO4 is a prototypical strongly correlated material showing spin striped order associated with lattice and charge modulations. In this work we present the spatial distribution of the spin organization by applying micro X-ray diffraction to La1.72Sr0.28NiO4, mapping the spin-density-wave order below the 120K onset temperature. We find that the spin-density-wave order shows the formation of nanoscale puddles with large spatial fluctuations. The nano-puddle density changes on the microscopic scale forming a multiscale phase separation extending from nanoscale to micron scale with scale-free distribution. Indeed spin-density-wave striped puddles are disconnected by spatial regions with different stripe orientation or negligible spin-density-wave order. The present work highlights the complex nanoscale phase separation of spin stripes in nickelate perovskites and opens the question of the energetics at domain interfaces


title: Gravitational lensing in dispersive media and deflection angle of charged massive particles in terms of curvature scalars and energy-momentum tensor

abstract: In this work we extend the approach used in [Emanuel Gallo and Osvaldo M. Moreschi, Phys. Rev. D 83, 12 083007 (2011)] to the study of weak gravitational lensing in a plasma medium. First, we present expressions for the deflection angle and optical scalars in terms of the components of the energy-momentum tensor for spherically symmetric lenses surrounded by a cold non-magnetized plasma. Second, we show that the same expressions can be deduced using the Gauss-Bonnet theorem. Finally, we establish a correspondence between the spatial orbits of photons in a non-homogeneous plasma and the non-geodesic curves followed by test massive particles whose dynamics also depend on an external central field. As an application, we use the Gauss-Bonnet theorem to compute the deflection angle of the non-geodesic trajectories followed by relativistic test massive charged particles in a Reissner-Nordstr\"om spacetime.


title: Asymptotic behavior of a Bingham Flow in thin domains with rough boundary

abstract: We consider an incompressible Bingham flow in a thin domain with rough boundary, under the action of given external forces and with no-slip boundary condition on the whole boundary of the domain. In mathematical terms, this problem is described by non linear variational inequalities over domains where a small parameter $\epsilon$ denotes the thickness of the domain and the roughness periodicity of the boundary. By using an adapted linear unfolding operator we perform a detailed analysis of the asymptotic behavior of the Bingham flow when $\epsilon$ tends to zero. We obtain the homogenized limit problem for the velocity and the pressure, which preserves the nonlinear character of the flow, and study the effects of the microstructure in the corresponding effective equations. Finally, we give the interpretation of the limit problem in terms of a non linear Darcy law.


title: Locally $C^{1,1}$ convex extensions of $1$-jets

abstract: Let $E$ be an arbitrary subset of $\mathbb{R}^n$, and $f:E\to\mathbb{R}$, $G:E\to\mathbb{R}^n$ be given functions. We provide necessary and sufficient conditions for the existence of a convex function $F\in C^{1,1}_{\textrm{loc}}(\mathbb{R}^n)$ such that $F=f$ and $\nabla F=G$ on $E$. We give a useful explicit formula for such an extension $F$, and a variant of our main result for the class $C^{1, \omega}_{\textrm{loc}}$, where $\omega$ is a modulus of continuity. We also present two applications of these results, concerning how to find $C^{1,1}_{\textrm{loc}}$ convex hypersurfaces with prescribed tangent hyperplanes on a given subset of $\mathbb{R}^n$, and some explicit formulas for (not necessarily convex) $C^{1,1}_{\textrm{loc}}$ extensions of $1$-jets.


title: Reaction-diffusion Equations on Complex Networks and Turing Patterns, via p-Adic Analysis

abstract: Nakao and Mikhailov proposed using continuous models (mean-field models) to study reaction-diffusion systems on networks and the corresponding Turing patterns. This work aims to show that p-adic analysis is the natural tool to carry out this program. This is possible due to the fact that the discrete Laplacian attached to a network turns out to be a particular case of a p-adic Laplacian. By embedding the graph attached to the system into the field of p-adic numbers, we construct a continuous p-adic version of a reaction-diffusion system on a network. The existence and uniqueness of the Cauchy problems for these systems are established. We show that Turing criteria for the p-adic continuous reaction-diffusion system remain essentially the same as in the classical case. However, the properties of the emergent patterns are very different. The classical Turing patterns consisting of alternating domains do not occur in the p-adic continuous case. Instead of this, several domains (clusters) occur. Multistability, that is, coexistence of a number of different patterns with the same parameter values occurs. Clustering and multistability have been observed in the computer simulations of large reaction-diffusion systems on networks. Such behavior can be naturally explained in the p-adic continuous model, in a rigorous mathematical way, but not in the original discrete model.


title: Tunable Charged Domain Wall from Topological Confinement in Nodal-Line Semimetals

abstract: We study theoretically the electronic structure of topological nodal-line semimetals. We show that, in the presence of a gap-opening spatially dependent mass term that forms a domain wall, an in-gap charged localized mode emerges at the domain wall. It turns out that such a domain wall is realized by head-to-head (or tail-to-tail) bulk electric polarizations. The localized mode has a topological origin, i.e., a topological confinement is realized, which is understood by a semiclassical topological number defined in the semiclassical momentum-real space. In contrast to previous studies, our study demonstrates a topological confinement at the interface between two insulators without bulk topological numbers. Moreover, the dispersion of the localized mode evolves from gapless to gapped as the bulk bandgap increases, which means that its conductivity is externally tunable. We discuss a possible experimental realization of the stable, electrically-tunable charged domain wall.


title: Fundamental bounds on rotational state change in sympathetic cooling of molecular ions

abstract: Sympathetic cooling of molecular ions through the Coulomb interaction with laser-cooled atomic ions is an efficient tool to prepare translationally cold molecules. Even at relatively high collisional energies of about 1$\,$eV ($T\sim 10000 \,$K), the nearest approach in the ion-ion collisions never gets closer than $\sim$$1\,$nm such that naively perturbations of the internal molecular state are not expected. The Coulomb field may, however, induce rotational transitions changing the purity of initially quantum state prepared molecules. Here, we investigate such rotational state changing collisions for both polar and apolar diatomic molecular ions and derive closed-form estimates for rotational excitation based on the initial scattering energy and the molecular parameters.


title: On global solutions of defocusing mKdV equation with specific initial data of critical regularity

abstract: We study the asymptotic behavior of the Ablowitz-Segur solutions for the second Painlev\'e equation using the Riemann-Hilbert approach and methods based on asymptotic expansions of classical special functions. Recent results show that the matrix-valued function satisfying the associated Riemann-Hilbert problem can be represented by means of a local parametrix around the origin, whose existence can be proved by a vanishing lemma. The aim of this paper is to construct the explicit form of this parametrix and apply it to obtain improved asymptotic relations for the real and purely imaginary Ablowitz-Segur solutions of the inhomogeneous Painlev\'e II equation.


title: Tanaka formula and local time for a class of interacting branching measure-valued diffusions

abstract: We construct superprocesses with dependent spatial motion (SDSMs) in Euclidean spaces $R^d$ with $d\ge1$ and show that,even when they start at some unbounded initial positive Radon measure such as Lebesgue measure on $R^d$, their local times exist when $d\le3$. A Tanaka formula of the local time is also derived.


title: Non-clairvoyant Precedence Constrained Scheduling

abstract: We consider the online problem of scheduling jobs on identical machines, where jobs have precedence constraints. We are interested in the demanding setting where the jobs sizes are not known up-front, but are revealed only upon completion (the non-clairvoyant setting). Such precedence-constrained scheduling problems routinely arise in map-reduce and large-scale optimization. In this paper, we make progress on this problem. For the objective of total weighted completion time, we give a constant-competitive algorithm. And for total weighted flow-time, we give an $O(1/\epsilon^2)$-competitive algorithm under $(1+\epsilon)$-speed augmentation and a natural ``no-surprises'' assumption on release dates of jobs (which we show is necessary in this context). Our algorithm proceeds by assigning {\em virtual rates} to all the waiting jobs, including the ones which are dependent on other uncompleted jobs, and then use these virtual rates to decide on the actual rates of minimal jobs (i.e., jobs which do not have dependencies and hence are eligible to run). Interestingly, the virtual rates are obtained by allocating time in a fair manner, using a Eisenberg-Gale-type convex program (which we can also solve optimally using a primal-dual scheme). The optimality condition of this convex program allows us to show dual-fitting proofs more easily, without having to guess and hand-craft the duals. We feel that this idea of using fair virtual rates should have broader applicability in scheduling problems.