title: Charm-Baryon Production in Proton-Proton Collisions

abstract: Recent measurements of charm-baryon production in proton-proton collisions at the LHC have found a surprisingly large yield relative to those of $D$-mesons. We propose that this observation can be explained by the statistical hadronization model (SHM), by employing a largely augmented set of charm-baryon states beyond the current listings of the particle data group. We estimate the additional states using guidance from the relativistic quark model and from lattice QCD. Using charm- and strange-quark fugacity factors to account for the well-known suppression of heavy flavor in elementary collisions, we compute the yields and spectra of $D$, $D_s$ and $\Lambda_c$ hadrons in proton-proton collisions at $\sqrt{s}=5$\,TeV. Our main finding is that the enhanced feeddown from excited charm baryons can account for the $\Lambda_c/D^0$ ratio measured by ALICE at midrapidity, with some caveat for the forward-rapidity LHCb data. Furthermore, assuming independent fragmentation of charm quarks but with the hadronic ratios fixed by the SHM, the measured transverse-momentum ($p_T$) spectra of $D$-mesons and $\Lambda_c$ can also be described; in particular, the low-$p_T$ enhancement in the observed $\Lambda_c/D^0$ ratio is attributed to the enhanced feeddown from "missing" charm-baryon states. We comment on the implications of these findings for measurements of $D_s$ and $\Lambda_c$ in heavy-ion collisions.


title: Dipolar Dimer Liquid

abstract: A model of dipolar dimer liquid (DDL) on a two-dimensional lattice has been proposed. We found that at high density and low temperature, it has a partially ordered phase which we called glacia phase. The glacia phase transition can be understood by mapping the DDL to an annealed Ising model on random graphs. In the high density limit the critical temperature obtained by the Monte Carlo simulation is $k_BT_c^G = (3.5\pm0.1)J$, which agrees with the estimations of the upper and lower bounds of $k_BT_c^G$ with exactly solved Ising models. In the high density and low temperature limit, we further studied configurational entropy of the DDL in the presence of the neutral polymers. The suppression of the configurational entropy scales as a power law of the polymer length $\lambda_p^\alpha$ with $\alpha \geq 1$, which implies that the configurational entropy of water plays essential roles in understanding the hydrophobic effect and the protein folding problem.


title: Off-diagonal Bethe Ansatz on the $so(5)$ spin chain

abstract: The $so(5)$ (i.e., $B_2$) quantum integrable spin chains with both periodic and non-diagonal boundaries are studied via the off-diagonal Bethe Ansatz method. By using the fusion technique, sufficient operator product identities (comparing to those in [1]) to determine the spectrum of the transfer matrices are derived. For the periodic case, we recover the results obtained in \cite{NYReshetikhin1}, while for the non-diagonal boundary case, a new inhomogeneous $T-Q$ relation is constructed. The present method can be directly generalized to deal with the $so(2n+1)$ (i.e., $B_n$) quantum integrable spin chains with general boundaries.

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


title: Trajectory of particles exposed to a tilted-angle washboard potential: application to high-throughput acoustophoresis in microchannels

abstract: A wide variety of tilted washboard potentials based on acoustic waves, electric fields, optical patterns and so on have been applied to sort particles in microchannels. In this paper, we present a theoretical analysis of the particles trajectory in a washboard potential making a tilt angle $\theta$ with the flow. Depending on the sorting to drag force ratio $\epsilon$, we identified a transition threshold $\epsilon = \cos(\theta)$ between two distinct regimes of particles motion: drift and locked modes. In drift mode, the particles follow an oscillating trajectory which slope is given by $\frac{\epsilon^2}{2}\tan(\theta)$, while in locked mode the trajectory slope is given by $1/\tan(\theta)$. These theoretical predictions agree quantitatively well with previously published experimental data and may help in the design of high-performance microfluidic sorting devices.


title: Critical Clearing Time Sensitivity for Inequality Constrained Systems

abstract: From a stability perspective, a renewable generation (RG)-rich power system is a constrained system. As the quasistability boundary of a constrained system is structurally very different from that of an unconstrained system, finding the sensitivity of critical clearing time (CCT) to change in system parameters is very beneficial for a constrained power system, especially for planning/revising constraints arising from system protection settings. In this paper, we derive the first order sensitivity of a constrained power system using trajectory sensitivities of fault-on and post-fault trajectories. The results for the test system demonstrate the dependence between ability to meet angle and frequency constraints, and change in power system parameters such as operating conditions and inertia.


title: Reflection positivity and complex analysis of the Yang-Mills theory from a viewpoint of gluon confinement

abstract: In order to understand the confining decoupling solution of the Yang-Mills theory in the Landau gauge, we consider the massive Yang-Mills model which is defined by just adding a gluon mass term to the Yang-Mills theory with the Lorentz-covariant gauge fixing term and the associated Faddeev-Popov ghost term. First of all, we show that massive Yang-Mills model is obtained as a gauge-fixed version of the gauge-invariantly extended theory which is identified with the gauge-scalar model with a single fixed-modulus scalar field in the fundamental representation of the gauge group. This equivalence is obtained through the gauge-independent description of the Brout-Englert-Higgs mechanism proposed recently by one of the authors. Then, we reconfirm that the Euclidean gluon and ghost propagators in the Landau gauge obtained by numerical simulations on the lattice are reproduced with good accuracy from the massive Yang-Mills model by taking into account one-loop quantum corrections. Moreover, we demonstrate in a numerical way that the Schwinger function calculated from the gluon propagator in the Euclidean region exhibits violation of the reflection positivity at the physical point of the parameters. In addition, we perform the analytic continuation of the gluon propagator from the Euclidean region to the complex momentum plane towards the Minkowski region. We give an analytical proof that the reflection positivity is violated for any choice of the parameters in the massive Yang-Mills model, due to the existence of a pair of complex conjugate poles and the negativity of the spectral function for the gluon propagator to one-loop order. The complex structure of the propagator enables us to explain why the gluon propagator in the Euclidean region is well described by the Gribov-Stingl form.


title: Positive answers to Koch's problem in special cases

abstract: A topological semigroup is monothetic provided it contains a dense cyclic subsemigroup. The Koch problem asks whether every locally compact monothetic monoid is compact. This problem was opened for more than sixty years, till in 2018 Zelenyuk obtained a negative answer. In this paper we obtain a positive answer for Koch's problem for some special classes of topological monoids. Namely, we show that a locally compact monothetic topological monoid is a compact topological group if and only if $S$ is a submonoid of a quasitopological group if and only if $S$ has open shifts if and only if $S$ is non-viscous in the sense of Averbukh. The last condition means that any neighborhood $U$ of the identity $1$ of $S$ and for any element $a\in S$ there exists a neighborhood $V$ of $a$ such that any element $x\in S$ with $(xV\cup Vx)\cap V\ne\emptyset$ belongs to the neighborhood $U$ of 1.


title: Electron transfer in confined electromagnetic fields

abstract: The interaction between molecular (atomic) electron(s) and the vacuum field of a reflective cavity generates a significant interest thanks to the rapid developments in nanophotonics. Such interaction which lies within the realm of cavity quantum electrodynamic can substantially affect transport properties of molecular systems. In this work we consider non-adiabatic electron transfer process in the presence of a cavity mode. We present a generalized framework for the interaction between a charged molecular system and a quantized electromagnetic field of a cavity and apply it to the problem of electron transfer between a donor and an acceptor placed in a confined vacuum electromagnetic field. The effective system Hamiltonian corresponds to a unified Rabi and spin-boson model which includes a self-dipole energy term. Two limiting cases are considered: one where the electron is assumed much faster than the cavity mode and another in which the electron tunneling time is significantly larger than the mode period. In both cases a significant rate enhancement can be produced by coupling to the cavity mode in the Marcus inverted region. The results of this work offer new possibilities for controlling electron transfer processes using visible and infrared plasmonics


title: TBNet:Pulmonary Tuberculosis Diagnosing System using Deep Neural Networks

abstract: Tuberculosis is a deadly infectious disease prevalent around the world. Due to the lack of proper technology in place, the early detection of this disease is unattainable. Also, the available methods to detect Tuberculosis is not up-to a commendable standards due to their dependency on unnecessary features, this make such technology obsolete for a reliable health-care technology. In this paper, I propose a deep-learning based system which diagnoses tuberculosis based on the important features in Chest X-rays along with original chest X-rays. Employing our system will accelerate the process of tuberculosis diagnosis by overcoming the need to perform the time-consuming sputum-based testing method (Diagnostic Microbiology). In contrast to the previous methods \cite{kant2018towards, melendez2016automated}, our work utilizes the state-of-the-art ResNet \cite{he2016deep} with proper data augmentation using traditional robust features like Haar \cite{viola2005detecting,viola2001rapid} and LBP \cite{ojala1994performance,ojala1996comparative}. I observed that such a procedure enhances the rate of tuberculosis detection to a highly satisfactory level. Our work uses the publicly available pulmonary chest X-ray dataset to train our network \cite{jaeger2014two}. Nevertheless, the publicly available dataset is very small and is inadequate to achieve the best accuracy. To overcome this issue I have devised an intuitive feature based data augmentation pipeline. Our approach shall help the deep neural network \cite{lecun2015deep,he2016deep,krizhevsky2012imagenet} to focus its training on tuberculosis affected regions making it more robust and accurate, when compared to other conventional methods that use procedures like mirroring and rotation. By using our simple yet powerful techniques, I observed a 10\% boost in performance accuracy.


title: Controlling light emission by engineering atomic geometries in silicon photonics

abstract: By engineering atomic geometries composed of nearly 1000 atomic segments embedded in micro-resonators we observe Bragg resonances induced by the atomic lattice at the telecommunication wavelength. The geometrical arrangement of erbium atoms into a lattice inside a silicon nitride microring resonator reduces the scattering loss at a wavelength commensurate with the lattice. We confirm dependency of light emission to the atomic positions and lattice spacing and also observe Fano interference between resonant modes in the system.


title: The ARIEL-CMU Systems for LoReHLT18

abstract: This paper describes the ARIEL-CMU submissions to the Low Resource Human Language Technologies (LoReHLT) 2018 evaluations for the tasks Machine Translation (MT), Entity Discovery and Linking (EDL), and detection of Situation Frames in Text and Speech (SF Text and Speech).


title: 3D Guided Fine-Grained Face Manipulation

abstract: We present a method for fine-grained face manipulation. Given a face image with an arbitrary expression, our method can synthesize another arbitrary expression by the same person. This is achieved by first fitting a 3D face model and then disentangling the face into a texture and a shape. We then learn different networks in these two spaces. In the texture space, we use a conditional generative network to change the appearance, and carefully design input formats and loss functions to achieve the best results. In the shape space, we use a fully connected network to predict the accurate shapes and use the available depth data for supervision. Both networks are conditioned on expression coefficients rather than discrete labels, allowing us to generate an unlimited amount of expressions. We show the superiority of this disentangling approach through both quantitative and qualitative studies. In a user study, our method is preferred in 85% of cases when compared to the most recent work. When compared to the ground truth, annotators cannot reliably distinguish between our synthesized images and real images, preferring our method in 53% of the cases.


title: Non-orientable Lagrangian surfaces in rational 4-manifolds

abstract: We show that for any nonzero class $A$ in $H_2(X; \mathbb{Z}_2)$ in a rational 4-manifold $X$, $A$ is represented by a nonorientable embedded Lagrangian surface L (for some symplectic structure) if and only if $P(A)\equiv (L) (mod\ 4)$; where $P(A)$ denotes the mod 4 valued Pontrjagin square of $A$.


title: Time Distribution for Persistent Viral Infection

abstract: We study the early stages of viral infection, and the distribution of times to obtain a persistent infection. The virus population proliferates by entering and reproducing inside a target cell until a sufficient number of new virus particles are released via a burst, with a given burst size distribution, which results in the death of the infected cell. Starting with a 2D model describing the joint dynamics of the virus and infected cell populations, we analyze the corresponding master equation using the probability generating function formalism. Exploiting time-scale separation between the virus and infected cell dynamics, the 2D model can be cast into an effective 1D model. To this end, we solve the 1D model analytically for a particular choice of burst size distribution. In the general case, we solve the model numerically by performing extensive Monte-Carlo simulations, and demonstrate the equivalence between the 2D and 1D models by measuring the Kullback-Leibler divergence between the corresponding distributions. Importantly, we find that the distribution of infection times is highly skewed with a "fat" exponential right tail. This indicates that there is non-negligible portion of individuals with an infection time, significantly longer than the mean, which may have implications on when HIV tests should be performed.


title: Quasi-particle evidence for the nematic state above $T_{\rm{c}}$ in Sr$_x$Bi$_2$Se$_3$

abstract: In the electronic nematic state, an electronic system has a lower symmetry than the crystal structure of the same system. Electronic nematic states have been observed in various unconventional superconductors such as cuprate- and iron-based, heavy-fermion, and topological superconductors. The relation between nematicity and superconductivity is a major unsolved problem in condensed matter physics. By angle-resolved specific heat measurements, we report bulk quasi-particle evidence of nematicity in the topological superconductor Sr$_x$Bi$_2$Se$_3$. The specific heat exhibited a clear 2-fold symmetry despite the 6-fold symmetric lattice. Most importantly, the 2-fold symmetry appeared in the normal state above the superconducting transition temperature. This is explained by the angle-dependent Zeeman effect due to the anisotropic density of states in the nematic phase. Such results highlight the interrelation between nematicity and unconventional superconductivity.


title: Theory of Magnetism-Driven Negative Thermal Expansion in Inverse Perovskite Antiferromagnets

abstract: Magnetism-induced negative thermal expansion (NTE) observed in inverse perovskite antiferromagnets Mn3AN (A=Zn, Ga, etc.) is theoretically studied by a classical spin model with competing bond-length-dependent exchange interactions. We numerically reproduce the crystal-volume expansion upon cooling triggered by a non-coplanar antiferromagnetic order and show that the expansion occurs so as to maximize an energy gain of the nearest-neighbor antiferromagnetic interactions. This mechanism is not specific to inverse perovskite magnets and might also be expected in magnets with other crystal structures. We propose other candidate crystal structures that might exhibit NTE through this mechanism.


title: An Efficient Scheduling Algorithm for Multi-Robot Task Allocation in Assembling Aircraft Structures

abstract: Efficient utilization of cooperating robots in the assembly of aircraft structures relies on balancing the workload of the robots and ensuring collision-free scheduling. We cast this problem as that of allocating a large number of repetitive assembly tasks, such as drilling holes and installing fasteners, among multiple robots. Such task allocation is often formulated as a Traveling Salesman Problem (TSP), which is NP-hard, implying that computing an exactly optimal solution is computationally prohibitive for real-world applications. The problem complexity is further exacerbated by intermittent robot failures necessitating real-time task reallocation. In this letter, we present an efficient method that exploits workpart geometry and problem structure to initially generate balanced and conflict-free robot schedules under nominal conditions. Subsequently, we deal with the failures by allowing the robots to first complete their nominal schedules and then employing a market-based optimizer to allocate the leftover tasks. Results show an improvement of 11.5\% in schedule efficiency as compared to an optimized greedy multi-agent scheduler on a four robot system, which is especially promising for aircraft assembly processes that take many hours to complete. Moreover, the computation times are similar and small, typically hundreds of milliseconds.


title: On the Use of Emojis to Train Emotion Classifiers

abstract: Nowadays, the automatic detection of emotions is employed by many applications in different fields like security informatics, e-learning, humor detection, targeted advertising, etc. Many of these applications focus on social media and treat this problem as a classification problem, which requires preparing training data. The typical method for annotating the training data by human experts is considered time consuming, labor intensive and sometimes prone to error. Moreover, such an approach is not easily extensible to new domains/languages since such extensions require annotating new training data. In this study, we propose a distant supervised learning approach where the training sentences are automatically annotated based on the emojis they have. Such training data would be very cheap to produce compared with the manually created training data, thus, much larger training data can be easily obtained. On the other hand, this training data would naturally have lower quality as it may contain some errors in the annotation. Nonetheless, we experimentally show that training classifiers on cheap, large and possibly erroneous data annotated using this approach leads to more accurate results compared with training the same classifiers on the more expensive, much smaller and error-free manually annotated training data. Our experiments are conducted on an in-house dataset of emotional Arabic tweets and the classifiers we consider are: Support Vector Machine (SVM), Multinomial Naive Bayes (MNB) and Random Forest (RF). In addition to experimenting with single classifiers, we also consider using an ensemble of classifiers. The results show that using an automatically annotated training data (that is only one order of magnitude larger than the manually annotated one) gives better results in almost all settings considered.


title: Quantum speedup for twin support vector machines

abstract: We devise new quantum algorithms that exponentially speeds up the training and prediction procedures of twin support vector machines (TSVM). To train TSVMs using quantum methods, we demonstrate how to prepare the desired input states according to classical data, and these states are used in the quantum algorithm for the system of linear equations. In the prediction process, we employ a quantum circuit to estimate the distances from a new sample to the hyperplanes and then make a decision. The proposed quantum algorithms can learn two non-parallel hyperplanes and classify a new sample by comparing the distances from the sample to the two hyperplanes in $O(\log mn)$ time, where $m$ is the sample size and $n$ is the dimension of each data point. In contrast, the corresponding classical algorithm requires polynomial time for both the training and prediction procedures.


title: Role of oxygen interstitials in Zn1-xGaxO for faster response to UV light

abstract: ZnO doped with Gallium (Ga3+) demonstrates better crystalline nature and conductivity increases. Latent defect states are suppressed. However, due to the larger charge of Ga3+ oxygen interstitials are generated which control the sensing speed. The conductance increases as a consequence of reduced defect states, especially the oxygen vacancies. The photocurrent increases with Galium incorporation, but a more intense increase in the current reduces the sensitivity.


title: MaskDGA: A Black-box Evasion Technique Against DGA Classifiers and Adversarial Defenses

abstract: Domain generation algorithms (DGAs) are commonly used by botnets to generate domain names through which bots can establish a resilient communication channel with their command and control servers. Recent publications presented deep learning, character-level classifiers that are able to detect algorithmically generated domain (AGD) names with high accuracy, and correspondingly, significantly reduce the effectiveness of DGAs for botnet communication. In this paper we present MaskDGA, a practical adversarial learning technique that adds perturbation to the character-level representation of algorithmically generated domain names in order to evade DGA classifiers, without the attacker having any knowledge about the DGA classifier's architecture and parameters. MaskDGA was evaluated using the DMD-2018 dataset of AGD names and four recently published DGA classifiers, in which the average F1-score of the classifiers degrades from 0.977 to 0.495 when applying the evasion technique. An additional evaluation was conducted using the same classifiers but with adversarial defenses implemented: adversarial re-training and distillation. The results of this evaluation show that MaskDGA can be used for improving the robustness of the character-level DGA classifiers against adversarial attacks, but that ideally DGA classifiers should incorporate additional features alongside character-level features that are demonstrated in this study to be vulnerable to adversarial attacks.


title: Extension of Algebraic Solutions Using The Lambert W Function

abstract: The Lambert W function has utility for solving various exponential and logarithmic equations arranged in the form of $g(x)e^{g(x)}$. Using the Lambert W function and tetration, a variety of categorized inversion formulas are presented. Related techniques are then used to derive polar forms of exponential and related functions.


title: More on tree properties

abstract: Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion as it satisfies symmetry, transitivity, extension, local character, and type-amalgamation. Shelah also introduced SOP$_n$ ($n$-strong order property). Recently it is proved that in any NSOP$_1$ theory (i.e. a theory not having SOP$_1$) holding nonforking existence, Kim-forking also satisfies all the mentioned independence properties except base monotonicity (one direction of transitivity). These results are the sources of motivation for this paper. Mainly, we produce type-counting criteria for SOP$_2$ (which is equivalent to TP$_1$) and SOP$_1$. In addition, we study relationships between TP$_2$ and Kim-forking, and obtain that a theory is supersimple iff there is no countably infinite Kim-forking chain.


title: Unlexicalized Transition-based Discontinuous Constituency Parsing

abstract: Lexicalized parsing models are based on the assumptions that (i) constituents are organized around a lexical head (ii) bilexical statistics are crucial to solve ambiguities. In this paper, we introduce an unlexicalized transition-based parser for discontinuous constituency structures, based on a structure-label transition system and a bi-LSTM scoring system. We compare it to lexicalized parsing models in order to address the question of lexicalization in the context of discontinuous constituency parsing. Our experiments show that unlexicalized models systematically achieve higher results than lexicalized models, and provide additional empirical evidence that lexicalization is not necessary to achieve strong parsing results. Our best unlexicalized model sets a new state of the art on English and German discontinuous constituency treebanks. We further provide a per-phenomenon analysis of its errors on discontinuous constituents.


title: Seeing Through Fog Without Seeing Fog: Deep Multimodal Sensor Fusion in Unseen Adverse Weather

abstract: The fusion of multimodal sensor streams, such as camera, lidar, and radar measurements, plays a critical role in object detection for autonomous vehicles, which base their decision making on these inputs. While existing methods exploit redundant information in good environmental conditions, they fail in adverse weather where the sensory streams can be asymmetrically distorted. These rare "edge-case" scenarios are not represented in available datasets, and existing fusion architectures are not designed to handle them. To address this challenge we present a novel multimodal dataset acquired in over 10,000km of driving in northern Europe. Although this dataset is the first large multimodal dataset in adverse weather, with 100k labels for lidar, camera, radar, and gated NIR sensors, it does not facilitate training as extreme weather is rare. To this end, we present a deep fusion network for robust fusion without a large corpus of labeled training data covering all asymmetric distortions. Departing from proposal-level fusion, we propose a single-shot model that adaptively fuses features, driven by measurement entropy. We validate the proposed method, trained on clean data, on our extensive validation dataset. Code and data are available here https://github.com/princeton-computational-imaging/SeeingThroughFog.


title: Linearization and invariant manifolds on the carrying simplex for competitive maps

abstract: A folklore result due to M.W. Hirsch states that most competitive maps admit a carrying simplex, i.e., an invariant hypersurface which attracts all nontrivial orbits. The common approach in the study of these maps is to focus on the dynamical behavior on the carrying simplex. However, this manifold is normally non-smooth. Therefore, not every tool coming from Differential Geometry can be applied. In particular, the classical Grobman-Hartman theorem can not be used on the carrying simplex. In this paper, we prove that the restriction of the map to the carrying simplex in a neighborhood of an interior fixed point is topologically conjugate to the restriction of the map to its pseudo-unstable manifold by an invariant foliation. This implies that the linearization techniques are applicable for studying the local dynamics of the interior fixed points on the carrying simplex. We further construct the stable and unstable manifolds on the carrying simplex. On the other hand, our results also give partial responses to Hirsch's problem regarding the smoothness of the carrying simplex. We discuss some applications in classical models of population dynamics. Although we focus on monotone maps, many results of the paper can be applied to maps that admit a non-smooth center-manifold.


title: Bi-Skip: A Motion Deblurring Network Using Self-paced Learning

abstract: A fast and effective motion deblurring method has great application values in real life. This work presents an innovative approach in which a self-paced learning is combined with GAN to deblur image. First, We explain that a proper generator can be used as deep priors and point out that the solution for pixel-based loss is not same with the one for perception-based loss. By using these ideas as starting points, a Bi-Skip network is proposed to improve the generating ability and a bi-level loss is adopted to solve the problem that common conditions are non-identical. Second, considering that the complex motion blur will perturb the network in the training process, a self-paced mechanism is adopted to enhance the robustness of the network. Through extensive evaluations on both qualitative and quantitative criteria, it is demonstrated that our approach has a competitive advantage over state-of-the-art methods.


title: Instability of the Kolmogorov flow in a wall-bounded domain

abstract: In the magnetohydrodynamics (MHD) experiment performed by Bondarenko and his co-workers in 1979, the Kolmogorov flow loses stability and transits into a secondary steady state flow at the Reynolds number $R=O(10^3)$. This problem is modelled as a MHD flow bounded between lateral walls under slip wall boundary condition. The existence of the secondary steady state flow is now proved. The theoretical solution has a very good agreement with the flow measured in laboratory experiment at $R=O(10^3)$. Further transition of the secondary flow is observed numerically. Especially, well developed turbulence arises at $R=O(10^4)$.


title: Reproductions of super-orbital X-ray light-curves with the precessing accretion ring model and implications on accretion flows through accretion rings

abstract: X-ray light curves of three X-ray pulsars, SMC X-1, LMC X-4 and Her X-1, folded with their respective super-orbital periods, are shown to be well reproduced by a model in which X-rays from a compact object towards us are periodically obscured by a precessing ring at the outermost part of an accretion disk around the central object. A situation is considered in which matter from a companion star flows into a gravitational field of a compact star carrying a certain amount of specific angular momentum and first forms a geometrically thick ring-tube along the Keplerian circular orbit. For the model to well fit to the observations, it is necessary that the optical depth of the ring-tube for Compton scattering, $\tau \simeq 1 \sim 2$, the ring matter temperature, $T \simeq 10^{5} \sim 10^{6}$ K and the ionization parameter, $\xi \simeq 10^{2}$ erg cm s$^{-1}$ due to X-ray heating from the central X-ray source. From simple energetics- and perturbation-arguments, we find that a precession of such a ring is rather stable and possible to be excited in the $T$ and $\xi$ ranges. The time during which matter accumulates in the ring is estimated to be $\sim 10^{6}$ s, and is shown to be comparable to the time for an accretion disk to extend from the ring. It is discussed that in the above $T$ and $\xi$ ranges, the ring-tube matter could become thermally unstable. Then, relatively high density regions in the ring-tube further cools down and tends to shrink to the tube center. The flow across the ring circulating flow should excite turbulent motions, and angular momenta of the matter would be effectively transferred across the tube. Finally, a steady flow should be established from the companion star through the accretion ring to the accretion disk towards the central compact star.


title: Truth Inference at Scale: A Bayesian Model for Adjudicating Highly Redundant Crowd Annotations

abstract: Crowd-sourcing is a cheap and popular means of creating training and evaluation datasets for machine learning, however it poses the problem of `truth inference', as individual workers cannot be wholly trusted to provide reliable annotations. Research into models of annotation aggregation attempts to infer a latent `true' annotation, which has been shown to improve the utility of crowd-sourced data. However, existing techniques beat simple baselines only in low redundancy settings, where the number of annotations per instance is low ($\le 3$), or in situations where workers are unreliable and produce low quality annotations (e.g., through spamming, random, or adversarial behaviours.) As we show, datasets produced by crowd-sourcing are often not of this type: the data is highly redundantly annotated ($\ge 5$ annotations per instance), and the vast majority of workers produce high quality outputs. In these settings, the majority vote heuristic performs very well, and most truth inference models underperform this simple baseline. We propose a novel technique, based on a Bayesian graphical model with conjugate priors, and simple iterative expectation-maximisation inference. Our technique produces competitive performance to the state-of-the-art benchmark methods, and is the only method that significantly outperforms the majority vote heuristic at one-sided level 0.025, shown by significance tests. Moreover, our technique is simple, is implemented in only 50 lines of code, and trains in seconds.


title: Moduli space of metrics of nonnegative sectional or positive Ricci curvature on homotopy real projective spaces

abstract: We show that the moduli space of metrics of nonnegative sectional curvature on every homotopy ${\mathbb {R}} P^5$ has infinitely many path components. We also show that in each dimension $4k+1$ there are at least $2^{2k}$ homotopy ${\mathbb {R}} P^{4k+1}$s of pairwise distinct oriented diffeomorphism type for which the moduli space of metrics of positive Ricci curvature has infinitely many path components. Examples of closed manifolds with finite fundamental group with these properties were known before only in dimensions $4k+3\geq 7$.


title: New high-dimensional examples of ballistic random walks in random environment

abstract: We give new criteria for ballistic behavior of random walks in random environment which are perturbations of the simple symmetric random walk on $\mathbb Z^d$ in dimensions $d\ge 4$. Our results extend those of Sznitman [Ann. Probab. 31, no. 1, 285-322 (2003)] and the recent ones of Ram\'irez and Saglietti [Preprint, arXiv:1808.01523], and allow us to exhibit new examples in dimensions $d\ge 4$ of ballistic random walks which do not satisfy Kalikow's condition. Our criteria implies ballisticity whenever the average of the local drift of the walk is not too small compared with an appropriate moment of the centered environment. The proof relies on a concentration inequality of Boucheron et al. [Ann. Probab. 33, no. 2, 514-560 (2005)].


title: Iterative Channel Estimation for Discrete Denoising under Channel Uncertainty

abstract: We propose a novel iterative channel estimation (ICE) algorithm that essentially removes the critical known noisy channel assumption for universal discrete denoising problem. Our algorithm is based on Neural DUDE (N-DUDE), a recently proposed neural network-based discrete denoiser, and it estimates the channel transition matrix as well as the neural network parameters in an alternating manner until convergence. While we do not make any probabilistic assumption on the underlying clean data, our ICE resembles Expectation-Maximization (EM) with variational approximation, and it takes advantage of the property of N-DUDE being locally robust around the true channel. With extensive experiments on several radically different types of data, we show that the ICE equipped N-DUDE (dubbed as ICE-N-DUDE) can perform \emph{universally} well regardless of the uncertainties in both the channel and the clean source. Moreover, we show ICE-N-DUDE becomes extremely robust to its hyperparameters and significantly outperforms the strong baseline that can deal with the channel uncertainties for denoising, the widely used Baum-Welch (BW) algorithm for hidden Markov models (HMM).


title: Science with the TianQin observatory: Preliminary results on testing the no-hair theorem with ringdown signals

abstract: We study the capability of the space-based gravitational wave observatory TianQin to test the no-hair theorem of General Relativity, using the ringdown signal from the coalescence of massive black hole binaries. We parameterize the ringdown signal by the four strongest quasinormal modes and estimate the signal to noise ratio for various source parameters. We consider constraints both from single detections and from all the events combined throughout the lifetime of the observatory, for different astrophysical models. We find that at the end of the mission, TianQin will have constrained deviations of the frequency and decay time of the dominant 22 mode from the general relativistic predictions to within 0.2% and 1.5% respectively, the frequencies of the subleading modes can be also constrained within 0.3%. We also find that TianQin and LISA are highly complementary, by virtue of their different frequency windows. Indeed, LISA can best perform ringdown tests for black hole masses in excess of $\sim 3\times 10^6 M_\odot$, while TianQin is best suited for lower masses.


title: Ideals in $B_1(X)$ and residue class rings of $B_1(X)$ modulo an ideal

abstract: This paper explores the duality between ideals of the ring $B_1(X)$ of all real valued Baire one functions on a topological space $X$ and typical families of zero sets, called $Z_B$-filters, on $X$. As a natural outcome of this study, it is observed that $B_1(X)$ is a Gelfand ring but non-Noetherian in general. Introducing fixed and free maximal ideals in the context of $B_1(X)$, complete descriptions of the fixed maximal ideals of both $B_1(X)$ and $B_1^*(X)$ are obtained. Though free maximal ideals of $B_1(X)$ and those of $B_1^*(X)$ do not show any relationship in general, their counterparts, i.e., the fixed maximal ideals obey natural relations. It is proved here that for a perfectly normal $T_1$ space $X$, free maximal ideals of $B_1(X)$ are determined by a typical class of Baire one functions. In the concluding part of this paper, we study residue class ring of $B_1(X)$ modulo an ideal, with special emphasize on real and hyper real maximal ideals of $B_1(X)$.


title: Jupiter's formation in the vicinity of the amorphous ice snowline

abstract: Argon, krypton, xenon, carbon, nitrogen, sulfur, and phosphorus have all been measured enriched by a quasi uniform factor in the 2--4 range, compared to their protosolar values, in the atmosphere of Jupiter. To elucidate the origin of these volatile enrichments, we investigate the possibility of inward drift of particles made of amorphous ice and adsorbed volatiles, and their ability to enrich in heavy elements the gas phase of the protosolar nebula once they cross the amorphous-to-crystalline ice transition zone, following the original idea formulated by Monga & Desch (2015). To do so, we use a simple accretion disk model coupled to modules depicting the radial evolution of icy particles and vapors, assuming growth, fragmentation and crystallization of amorphous grains. We show that it is possible to accrete supersolar gas from the nebula onto proto-Jupiter's core to form its envelope, and allowing it to match the observed volatile enrichments. Our calculations suggest that nebular gas with a metallicity similar to that measured in Jupiter can be accreted by its envelope if the planet formed in the $\sim$0.5--2 Myr time range and in the 0.5--20 AU distance range from the Sun, depending on the adopted viscosity parameter of the disk. These values match a wide range of Jupiter's formation scenarios, including in situ formation and migration/formation models.


title: Semilinear fractional elliptic problems with mixed Dirichlet-Neumann boundary conditions

abstract: We study a nonlinear elliptic boundary value problem defined on a smooth bounded domain involving the fractional Laplace operator, a concave-convex powers term together with mixed Dirichlet-Neumann boundary conditions.


title: Optimal control on graphs: existence, uniqueness, and long-term behavior

abstract: The literature on continuous-time stochastic optimal control seldom deals with the case of discrete state spaces. In this paper, we provide a general framework for the optimal control of continuous-time Markov chains on finite graphs. In particular, we provide results on the long-term behavior of value functions and optimal controls, along with results on the associated ergodic Hamilton-Jacobi equation.


title: Global solution for Massive Maxwell-Klein-Gordon equations with large Maxwell field

abstract: We derive the global dynamic properties of the mMKG system (Maxwell coupled with a massive Klein-Gordon scalar field) with a general, unrestrictive class of data, in particular, for Maxwell field of arbitrary size, and by a gauge independent method. Due to the critical slow decay expected for the Maxwell field, the scalar field exhibits a loss of decay at the causal infinities within an outgoing null cone. To overcome the difficulty caused by such loss in the energy propagation, we uncover a hidden cancellation contributed by the Maxwell equation, which enables us to obtain the sharp control of the Maxwell field under a rather low regularity assumption on data. Our method can be applied to other physical field equations, such as the Einstein equations for which a similar cancellation structure can be observed.


title: An Optimal Investment Problem under Correlated Noises: Risk-Sensitive Stochastic Control Approach

abstract: This paper is concerned with an optimal investment problem under correlated noises in the financial market, and the expected utility functional is hyperbolic absolute risk aversion (HARA) with the exponent $\gamma\neq0$. The problem can be reformulated as a risk-sensitive stochastic control problem. A new stochastic maximum principle is obtained first, where the adjoint equations and maximum condition heavily depend on the risk-sensitive parameter and the correlation coefficient. The optimal investment strategy is obtained explicitly in a state feedback form via the solution to a certain Riccati equation, under the risk-seeking case. Numerical simulation and figures are given to illustrate the sensitivity for the optimal investment strategy, with respect to the risk-sensitive parameter and the correlation coefficient.


title: Almost-K\"ahler anti-self-dual metrics on $K3\#3\overline{\mathbb{CP}_{2}}$

abstract: Donaldson-Friedman constructed anti-self-dual classes on $K3\#3\overline{\mathbb{CP}_{2}}$ using twistor space. We show that some of these conformal classes have almost-K\"ahler representatives.


title: Testing Preferential Domains Using Sampling

abstract: A preferential domain is a collection of sets of preferences which are linear orders over a set of alternatives. These domains have been studied extensively in social choice theory due to both its practical importance and theoretical elegance. Examples of some extensively studied preferential domains include single peaked, single crossing, Euclidean, etc. In this paper, we study the sample complexity of testing whether a given preference profile is close to some specific domain. We consider two notions of closeness: (a) closeness via preferences, and (b) closeness via alternatives. We further explore the effect of assuming that the {\em outlier} preferences/alternatives to be random (instead of arbitrary) on the sample complexity of the testing problem. In most cases, we show that the above testing problem can be solved with high probability for all commonly used domains by observing only a small number of samples (independent of the number of preferences, $n$, and often the number of alternatives, $m$). In the remaining few cases, we prove either impossibility results or $\Omega(n)$ lower bound on the sample complexity. We complement our theoretical findings with extensive simulations to figure out the actual constant factors of our asymptotic sample complexity bounds.


title: First integral by means of the uniformization over the torus

abstract: The uniformization of a direction field was defined by Finn (in 1973) for the classification of certain differential operators. In the present note we recover the idea of uniformization in order to generalize it and apply it to the existence of first integrals. Roughly speaking, we say that a plane vector field $X$ on $D\subset\mathbb{R}^2$ is uniformizable over $T^2$ (the torus) if there is a constant vector field $Z$ on $\Delta\subset T^2$ and a diffeomorphism $\psi\colon D\to \Delta\subset T^2$ such that $d\psi\circ X = Z\circ\psi$.


title: Chaos in Charged Gauss-Bonnet AdS Black Holes in Extended Phase Space

abstract: We study the onset of chaos due to temporal and spatially periodic perturbations in charged Gauss-Bonnet AdS black holes in extended thermodynamic phase space, by analyzing the zeros of the appropriate Melnikov functions. Temporal perturbations coming from a thermal quench in the unstable spinodal region of P-V diagram, may lead to chaos, when a certain perturbation parameter $\gamma$ saturates a critical value, involving the Gauss-Bonnet coupling $\alpha$ and the black hole charge $Q$. A general condition following from the equation of state is found, which can rule out the existence of chaos in any black hole. Using this condition, we find that the presence of charge is necessary for chaos under temporal perturbations. In particular, chaos is absent in neutral Gauss-Bonnet and Lovelock black holes in general dimensions. Chaotic behavior continues to exist under spatial perturbations, irrespective of whether the black hole carries charge or not.


title: A generalized lattice Boltzmann model for fluid flow system and its application in two-phase flows

abstract: In this paper, a generalized lattice Boltzmann (LB) model with a mass source is proposed to solve both incompressible and nearly incompressible Navier-Stokes (N-S) equations. This model can be used to deal with single-phase and two-phase flows problems with a mass source term. From this generalized model, we can not only get some existing models, but also derive new models. Moreover, for the incompressible model derived, a modified pressure scheme is introduced to calculate the pressure, and then to ensure the accuracy of the model. In this work, we will focus on a two-phase flow system, and in the frame work of our generalized LB model, a new phase-field-based LB model is developed for incompressible and quasi-incompressible two-phase flows. A series of numerical simulations of some classic physical problems, including a spinodal decomposition, a static droplet, a layered Poiseuille flow, and a bubble rising flow under buoyancy, are performed to validate the developed model. Besides, some comparisons with previous quasi-incompressible and incompressible LB models are also carried out, and the results show that the present model is accurate in the study of two-phase flows. Finally, we also conduct a comparison between quasi-incompressible and incompressible LB models for two-phase flow problems, and find that in some cases, the proposed quasi-incompressible LB model performs better than incompressible LB models.


title: Privacy Preserving Location Data Publishing: A Machine Learning Approach

abstract: Publishing datasets plays an essential role in open data research and promoting transparency of government agencies. However, such data publication might reveal users' private information. One of the most sensitive sources of data is spatiotemporal trajectory datasets. Unfortunately, merely removing unique identifiers cannot preserve the privacy of users. Adversaries may know parts of the trajectories or be able to link the published dataset to other sources for the purpose of user identification. Therefore, it is crucial to apply privacy preserving techniques before the publication of spatiotemporal trajectory datasets. In this paper, we propose a robust framework for the anonymization of spatiotemporal trajectory datasets termed as machine learning based anonymization (MLA). By introducing a new formulation of the problem, we are able to apply machine learning algorithms for clustering the trajectories and propose to use $k$-means algorithm for this purpose. A variation of $k$-means algorithm is also proposed to preserve the privacy in overly sensitive datasets. Moreover, we improve the alignment process by considering multiple sequence alignment as part of the MLA. The framework and all the proposed algorithms are applied to TDrive and Geolife location datasets. The experimental results indicate a significantly higher utility of datasets by anonymization based on MLA framework.


title: Non-compliance and missing data in health economic evaluation

abstract: Health economic evaluations face the issues of non-compliance and missing data. Here, non-compliance is defined as non-adherence to a specific treatment, and occurs within randomised controlled trials (RCTs) when participants depart from their random assignment. Missing data arises if, for example, there is loss to follow-up, survey non-response, or the information available from routine data sources is incomplete. Appropriate statistical methods for handling non-compliance and missing data have been developed, but they have rarely been applied in health economics studies. Here, we illustrate the issues and outline some of the appropriate methods to handle these with an application to a health economic evaluation that uses data from an RCT. In an RCT the random assignment can be used as an instrument for treatment receipt, to obtain consistent estimates of the complier average causal effect, provided the underlying assumptions are met. Instrumental variable methods can accommodate essential features of the health economic context such as the correlation between individuals' costs and outcomes in cost-effectiveness studies. Methodological guidance for handling missing data encourages approaches such as multiple imputation or inverse probability weighting, that assume the data are Missing At Random, but also sensitivity analyses that recognise the data may be missing according to the true, unobserved values, that is, Missing Not at Random. Future studies should subject the assumptions behind methods for handling non-compliance and missing data to thorough sensitivity analyses. Modern machine learning methods can help reduce reliance on correct model specification. Further research is required to develop flexible methods for handling more complex forms of non-compliance and missing data.


title: Goodness-of-fit Tests for the Bivariate Poisson Distribution

abstract: The bivariate Poisson distribution is commonly used to model bivariate count data. In this paper we study a goodness-of-fit test for this distribution. We also provide a review of the existing tests for the bivariate Poisson distribution, and its multivariate extension. The proposed test is consistent against any fixed alternative. It is also able to detect local alternatives converging to the null at the rate $n^{-\frac{1}{2}}$. The bootstrap can be employed to consistently estimate the null distribution of the test statistic. Through a simulation study we investigated the goodness of the bootstrap approximation and the power for finite sample sizes.


title: Demystifying TCP Initial Window Configurations of Content Distribution Networks

abstract: Driven by their quest to improve web performance, Content Delivery Networks (CDNs) are known adaptors of performance optimizations. In this regard, TCP congestion control and particularly its initial congestion window (IW) size is one long-debated topic that can influence CDN performance. Its size is, however, assumed to be static by IETF recommendations---despite being network- and application-dependent---and only infrequently changed in its history. To understand if the standardization and research perspective still meets Internet reality, we study the IW configurations of major CDNs. Our study uses a globally distributed infrastructure of VPNs giving access to residential access links that enable to shed light on network-dependent configurations. We observe that most CDNs are well aware of the IW's impact and find a high amount of customization that is beyond current Internet standards. Further, we find CDNs that utilize different IWs for different customers and content while others resort to fixed values. We find various initial window configurations, most below 50 segments yet with exceptions of up to 100 segments---the tenfold of current standards. Our study highlights that Internet reality drifted away from recommended and standardized practices.


title: Working Paper: Improved Stock Price Forecasting Algorithm based on Feature-weighed Support Vector Regression by using Grey Correlation Degree

abstract: With the widespread engineering applications ranging from artificial intelligence and big data decision-making, originally a lot of tedious financial data processing, processing and analysis have become more and more convenient and effective. This paper aims to improve the accuracy of stock price forecasting. It improves the support vector machine regression algorithm by using grey correlation analysis (GCA) and improves the accuracy of stock prediction. This article first divides the factors affecting the stock price movement into behavioral factors and technical factors. The behavioral factors mainly include weather indicators and emotional indicators. The technical factors mainly include the daily closing data and the HS 300 Index, and then measure relation through the method of grey correlation analysis. The relationship between the stock price and its impact factors during the trading day, and this relationship is transformed into the characteristic weight of each impact factor. The weight of the impact factors of all trading days is weighted by the feature weight, and finally the support vector regression (SVR) is used. The forecast of the revised stock trading data was compared based on the forecast results of technical indicators (MSE, MAE, SCC, and DS) and unmodified transaction data, and it was found that the forecast results were significantly improved.


title: Text Analysis in Adversarial Settings: Does Deception Leave a Stylistic Trace?

abstract: Textual deception constitutes a major problem for online security. Many studies have argued that deceptiveness leaves traces in writing style, which could be detected using text classification techniques. By conducting an extensive literature review of existing empirical work, we demonstrate that while certain linguistic features have been indicative of deception in certain corpora, they fail to generalize across divergent semantic domains. We suggest that deceptiveness as such leaves no content-invariant stylistic trace, and textual similarity measures provide superior means of classifying texts as potentially deceptive. Additionally, we discuss forms of deception beyond semantic content, focusing on hiding author identity by writing style obfuscation. Surveying the literature on both author identification and obfuscation techniques, we conclude that current style transformation methods fail to achieve reliable obfuscation while simultaneously ensuring semantic faithfulness to the original text. We propose that future work in style transformation should pay particular attention to disallowing semantically drastic changes.


title: Strichartz estimates for the Schr\"odinger propagator in Wiener amalgam spaces

abstract: In this paper we study the Strichartz estimates for the Schr\"odinger propagator in the context of Wiener amalgam spaces which, unlike the Lebesgue spaces, control the local regularity of a function and its decay at infinity separately. This separability makes it possible to perform a finer analysis of the local and global behavior of the propagator. Our results improve some of the classical ones in the case of large time.


title: Relativistic Mechanism of Chiral Magnetic Current in Weyl Semimetals with Tilted Dispersion

abstract: The chiral magnetic effect is a one of the exotic bulk transport properties of the Weyl semimetals. Because of the Nielsen-Ninomiya "no-go theorem", the total chiral magnetic current is absent in the equilibrium state. One of the mechanisms for generating this current is the chiral anomaly. This phenomenon is the anomalous nonconservation of chiral charge for massless relativistic particles. It can be realized by parallel magnetic and electric fields, and it leads to such new transport phenomenon as the negative longitudinal magnetoresistance. Using a simple theory (we consider both linearized and lattice model), we have shown, that in Weyl metals with tilted dispersion another mechanism of the chiral magnetic current is possible. It is not associated with the chiral anomaly. The new transport mechanism is based on the relativistic effect of electric field on Landau levels. This effect is that an electric field changes the distance between the Landau levels, and also changes the effective velocity along magnetic field. At presence of a tilt in the spectrum, this velocity renormalization is differ for different Weyl points. This leads to a non-zero resulting drift velocity. As a consequence, an electrical current arises along the magnetic field. The induced by this mechanism the electric current is proportional to the pseudoscalar product of the fields and directed along the magnetic field, that differs it from the Hall current. At the same time, the conductivity corresponding to this transport mechanism does not depend on the scattering time like the Hall conductivity. Thus, we have proposed a new anomalous transport mechanism in the Weyl semimetal, which is not associated with the chiral anomaly.


title: Sustaining Research Software: an SC18 Panel

abstract: Many science advances have been possible thanks to the use of research software, which has become essential to advancing virtually every Science, Technology, Engineering and Mathematics (STEM) discipline and many non-STEM disciplines including social sciences and humanities. And while much of it is made available under open source licenses, work is needed to develop, support, and sustain it, as underlying systems and software as well as user needs evolve. In addition, the changing landscape of high-performance computing (HPC) platforms, where performance and scaling advances are ever more reliant on software and algorithm improvements as we hit hardware scaling barriers, is causing renewed tension between sustainability of software and its performance. We must do more to highlight the trade-off between performance and sustainability, and to emphasize the need for sustainability given the fact that complex software stacks don't survive without frequent maintenance; made more difficult as a generation of developers of established and heavily-used research software retire. Several HPC forums are doing this, and it has become an active area of funding as well. In response, the authors organized and ran a panel at the SC18 conference. The objectives of the panel were to highlight the importance of sustainability, to illuminate the tension between pure performance and sustainability, and to steer SC community discussion toward understanding and addressing this issue and this tension. The outcome of the discussions, as presented in this paper, can inform choices of advance compute and data infrastructures to positively impact future research software and future research.


title: Model-less Active Compliance for Continuum Robots using Recurrent Neural Networks

abstract: Endowing continuum robots with compliance while it is interacting with the internal environment of the human body is essential to prevent damage to the robot and the surrounding tissues. Compared with passive compliance, active compliance has the advantages in terms of increasing the force transmission ability and improving safety with monitored force output. Previous studies have demonstrated that active compliance can be achieved based on a complex model of the mechanics combined with a traditional machine learning technique such as a support vector machine. This paper proposes a recurrent neural network based approach that avoids the complexity of modeling while capturing nonlinear factors such as hysteresis, friction and delay of the electronics that are not easy to model. The approach is tested on a 3-tendon single-segment continuum robot with force sensors on each cable. Experiments are conducted to demonstrate that the continuum robot with an RNN based feed-forward controller is capable of responding to external forces quickly and entering an unknown environment compliantly.


title: Hypotheses Testing from Complex Survey Data Using Bootstrap Weights: A Unified Approach

abstract: Standard statistical methods that do not take proper account of the complexity of survey design can lead to erroneous inferences when applied to survey data due to unequal selection probabilities, clustering, and other design features. In particular, the actual type I error rates of tests of hypotheses using standard methods can be much bigger than the nominal significance level. Methods that take account of survey design features in testing hypotheses have been proposed, including Wald tests and quasi-score tests that involve the estimated covariance matrices of parameter estimates. In this paper, we present a unified approach to hypothesis testing that does not require computing the covariance matrices by constructing bootstrap approximations to weighted likelihood ratio statistics and weighted quasi-score statistics and establish the asymptotic validity of the proposed bootstrap tests. In addition, we also consider hypothesis testing from categorical data and present a bootstrap procedure for testing simple goodness of fit and independence in a two-way table. In the simulation studies, the type I error rates of the proposed approach are much closer to their nominal significance level compared with the naive likelihood-ratio test and quasi-score test. An application to data from an educational survey under a logistic regression model is also presented.


title: A structure of 1-planar graph and its applications to coloring problems

abstract: A graph is 1-planar if it can be drawn on a plane so that each edge is crossed by at most one other edge. In this paper, we first give a useful structural theorem for 1-planar graphs, and then apply it to the list edge and list total coloring, the $(p,1)$-total labelling, and the equitable edge coloring of 1-planar graphs. More precisely, we verify the well-known List Edge Coloring Conjecture and List Total Coloring Conjecture for 1-planar graph with maximum degree at least 18, prove that the $(p,1)$-total labelling number of every 1-planar graph $G$ is at most $\Delta(G)+2p-2$ provided that $\Delta(G)\geq 8p+2$ and $p\geq 2$, and show that every 1-planar graph has an equitable edge coloring with $k$ colors for any integer $k\geq 18$. These three results respectively generalize the main theorems of three different previously published papers.


title: Well-posedness issues on the periodic modified Kawahara equation

abstract: This paper is concerned with the Cauchy problem of the modified Kawahara equation (posed on $\mathbb T$), which is well-known as a model of capillary-gravity waves in an infinitely long canal over a flat bottom in a long wave regime \cite{Hasimoto1970}. We show in this paper some well-posedness results, mainly the \emph{global well-posedness} in $L^2(\mathbb T)$. The proof basically relies on the idea introduced in Takaoka-Tsutsumi's works \cite{TT2004, NTT2010}, which weakens the non-trivial resonance in the cubic interactions (a kind of smoothing effect) for the local result, and the global well-posedness result immediately follows from $L^2$ conservation law. An immediate application of Takaoka-Tsutsumi's idea is available only in $H^s(\mathbb T)$, $s > 0$, due to the lack of $L^4$-Strichartz estimate for arbitrary $L^2$ data, a slight modification, thus, is needed to attain the local well-posedness in $L^2(\mathbb T)$. This is the first low regularity (global) well-posedness result for the periodic modified Kwahara equation, as far as we know. A direct interpolation argument ensures the \emph{unconditional uniqueness} in $H^s(\mathbb T)$, $s > \frac12$, and as a byproduct, we show the weak ill-posedness below $H^{\frac12}(\mathbb T)$, in the sense that the flow map fails to be uniformly continuous.


title: Spontaneous rectification and absolute negative mobility of inertial Brownian particles induced by Gaussian potentials in steady laminar flows

abstract: We study the transport of inertial Brownian particles in steady laminar flows in the presence of two-dimensional Gaussian potentials. Through extensive numerical simulations, it is found that the transport is sensitively dependent on the external constant force and the Gaussian potential. Within tailored parameter regimes, the system exhibits a rich variety of transport behaviors. In the absence of any external driving forces, the spontaneous rectification of the particles can be manipulated by the spatial position of the Gaussian potential. Moreover, when the potential lies at the center of the cellular flow, the system exhibits absolute negative mobility (ANM), i.e., the particles can move in a direction opposite to the constant force. More importantly, the phenomenon of ANM induced by Gaussian potential is robust in a wider range of the system parameters and can be further strengthened with the optimized parameters, which may pave the way to the implementation of related experiments.


title: Formation and Stability of Ordered and Disordered Ba-substituted Calcite Phases

abstract: Calcite has the ability to host large amounts of intracrystalline inclusions, a phenomenon that is known to be the case in biominerals and has been demonstrated in bio-inspired synthetic systems. In this study, we focused on barium as the inclusion. Highly substituted Ba-calcite possesses disordered carbonate orientations, characteristic of R-3m symmetry. We show that calcite undergoes an ordered-disordered transition, in which the carbonate groups undergo progressive loss of their rotational order with increasing amounts of incorporated Ba, and reach complete rotational disorder for a critical amount of Ba. We characterize this transition and propose a theoretical model justifying the influence of Ba. Moreover, the disordered R-3m Ba-substituted calcite has been previously identified as a high-temperature phase or as a highly metastable room-temperature phase. We challenge those descriptions by successfully synthesizing it under slow-rate conditions and by studying its thermal behavior, and we conclude that the fully disordered Ba-calcite is stable, whereas the transitional, partially disordered Ba-calcite phase is metastable.


title: Training GANs with Centripetal Acceleration

abstract: Training generative adversarial networks (GANs) often suffers from cyclic behaviors of iterates. Based on a simple intuition that the direction of centripetal acceleration of an object moving in uniform circular motion is toward the center of the circle, we present the Simultaneous Centripetal Acceleration (SCA) method and the Alternating Centripetal Acceleration (ACA) method to alleviate the cyclic behaviors. Under suitable conditions, gradient descent methods with either SCA or ACA are shown to be linearly convergent for bilinear games. Numerical experiments are conducted by applying ACA to existing gradient-based algorithms in a GAN setup scenario, which demonstrate the superiority of ACA.


title: Efficient Fully Convolution Neural Network for Generating Pixel Wise Robotic Grasps With High Resolution Images

abstract: This paper presents an efficient neural network model to generate robotic grasps with high resolution images. The proposed model uses fully convolution neural network to generate robotic grasps for each pixel using 400 $\times$ 400 high resolution RGB-D images. It first down-sample the images to get features and then up-sample those features to the original size of the input as well as combines local and global features from different feature maps. Compared to other regression or classification methods for detecting robotic grasps, our method looks more like the segmentation methods which solves the problem through pixel-wise ways. We use Cornell Grasp Dataset to train and evaluate the model and get high accuracy about 94.42% for image-wise and 91.02% for object-wise and fast prediction time about 8ms. We also demonstrate that without training on the multiple objects dataset, our model can directly output robotic grasps candidates for different objects because of the pixel wise implementation.


title: Vision Based Picking System for Automatic Express Package Dispatching

abstract: This paper presents a vision based robotic system to handle the picking problem involved in automatic express package dispatching. By utilizing two RealSense RGB-D cameras and one UR10 industrial robot, package dispatching task which is usually done by human can be completed automatically. In order to determine grasp point for overlapped deformable objects, we improved the sampling algorithm proposed by the group in Berkeley to directly generate grasp candidate from depth images. For the purpose of package recognition, the deep network framework YOLO is integrated. We also designed a multi-modal robot hand composed of a two-fingered gripper and a vacuum suction cup to deal with different kinds of packages. All the technologies have been integrated in a work cell which simulates the practical conditions of an express package dispatching scenario. The proposed system is verified by experiments conducted for two typical express items.


title: Embeddedness of timelike maximal surfaces in (1+2) Minkowski space

abstract: We prove that if $\phi \colon \mathbb{R}^2 \to \mathbb{R}^{1+2}$ is a smooth proper timelike immersion with vanishing mean curvature, then necessarily $\phi$ is an embedding, and every compact subset of $\phi(\mathbb{R}^2)$ is a smooth graph. It follows that if one evolves any smooth self-intersecting spacelike curve (or any planar spacelike curve whose unit tangent vector spans a closed semi-circle) so as to trace a timelike surface of vanishing mean curvature in $\mathbb{R}^{1+2}$, then the evolving surface will either fail to remain timelike, or it will fail to remain smooth. We show that, even allowing for null points, such a Cauchy evolution must undergo a scalar curvature blow-up---where the blow-up is with respect to an $L^1L^\infty$ norm---and thus the evolving surface will be $C^2$ inextendible beyond singular time. In addition we study the continuity of the unit tangent for the evolution of a self-intersecting curve in isothermal gauge, which defines a well-known evolution beyond singular time.


title: Path-Distribution Dependent SDEs with Singular Coefficients

abstract: In this paper, existence and uniqueness are proved for path-dependent McKean-Vlasov type SDEs with integrability conditions. Gradient estimates and Harnack type inequalities are derived in the case that the coefficients are Dini continuous in the space variable. These generalize the corresponding results derived for classical functional SDEs with singular coefficients.


title: Complementary Fractional Dimensional Order of Nyquist Sinc Sequences for Time Division Multiplexing

abstract: High speed data transmission is enabled by time and wavelength division multiplexing. Here is introduced fractional dimension order of Nyquist pulses sequences for orthogonal time division multiplexing. Firstly, with a representation of the Nyquist sinc sequence by a cosine Fourier series, in one side it is introduced the complementary Nyquist sinc sequences as a better option for data transmission. On the other side, a possibility of optical time delay by an electrical phase shifter for optical time division multiplexing is theoretically demonstrated. In continue, the fractional dimensional order of signal is defined to open a new window for data transmission. Moving of function in fractional dimension can be realized as a new freedom for a signal processing. In other words, dimension itself is a dimension. In this regard, dimensional transformation is introduced to give a mapping of the function in dimensional domain or variations of function in fractional dimension. This mapping gives more information about signal in different point of view like Fourier transformation. Then, the complementary fractional dimensional order of Nyquist sinc sequences is defined to reach higher data rate. It has not a unique solution, however; the best set of solutions for data transmission must be taken in to accounted. Furthermore, the trajectory of fractional dimension can be found by a numerical iterative algorithm which will be explained in the appendix.


title: Synchronous Bidirectional Inference for Neural Sequence Generation

abstract: In sequence to sequence generation tasks (e.g. machine translation and abstractive summarization), inference is generally performed in a left-to-right manner to produce the result token by token. The neural approaches, such as LSTM and self-attention networks, are now able to make full use of all the predicted history hypotheses from left side during inference, but cannot meanwhile access any future (right side) information and usually generate unbalanced outputs in which left parts are much more accurate than right ones. In this work, we propose a synchronous bidirectional inference model to generate outputs using both left-to-right and right-to-left decoding simultaneously and interactively. First, we introduce a novel beam search algorithm that facilitates synchronous bidirectional decoding. Then, we present the core approach which enables left-to-right and right-to-left decoding to interact with each other, so as to utilize both the history and future predictions simultaneously during inference. We apply the proposed model to both LSTM and self-attention networks. In addition, we propose two strategies for parameter optimization. The extensive experiments on machine translation and abstractive summarization demonstrate that our synchronous bidirectional inference model can achieve remarkable improvements over the strong baselines.


title: Extracting vehicle sensor signals from CAN logs for driver re-identification

abstract: Data is the new oil for the car industry. Cars generate data about how they are used and who's behind the wheel which gives rise to a novel way of profiling individuals. Several prior works have successfully demonstrated the feasibility of driver re-identification using the in-vehicle network data captured on the vehicle's CAN (Controller Area Network) bus. However, all of them used signals (e.g., velocity, brake pedal or accelerator position) that have already been extracted from the CAN log which is itself not a straightforward process. Indeed, car manufacturers intentionally do not reveal the exact signal location within CAN logs. Nevertheless, we show that signals can be efficiently extracted from CAN logs using machine learning techniques. We exploit that signals have several distinguishing statistical features which can be learnt and effectively used to identify them across different vehicles, that is, to quasi "reverse-engineer" the CAN protocol. We also demonstrate that the extracted signals can be successfully used to re-identify individuals in a dataset of 33 drivers. Therefore, not revealing signal locations in CAN logs per se does not prevent them to be regarded as personal data of drivers.


title: Residual strain and stress in biocrystals

abstract: The development of residual strains within a material is a valuable engineering technique for increasing the material's strength and toughness. Residual strains occur naturally in some biominerals and are an important feature that has recently been highlighted in biomineral studies. Here, we review manifestations of internal residual strains detected in biominerals. We describe the mechanisms by which they develop as well as their impact on the biominerals' mechanical properties. The question as to whether they can be utilized in multi-scale strengthening and toughening strategies for biominerals is discussed.


title: Necessary and sufficient condition for $\cM_2$-convergence to a L\'evy process for billiards with cusps at flat points

abstract: We consider a class of planar dispersing billiards with a cusp at a point of vanishing curvature. Convergence to a stable law and to the corresponding L\'evy process in the $\cM_1$ and $\cM_2$ Skorohod topologies has been studied in recent work. Here we show that certain sufficient conditions for $\cM_2$-convergence are also necessary.


title: A Formalization of The Natural Gradient Method for General Similarity Measures

abstract: In optimization, the natural gradient method is well-known for likelihood maximization. The method uses the Kullback-Leibler divergence, corresponding infinitesimally to the Fisher-Rao metric, which is pulled back to the parameter space of a family of probability distributions. This way, gradients with respect to the parameters respect the Fisher-Rao geometry of the space of distributions, which might differ vastly from the standard Euclidean geometry of the parameter space, often leading to faster convergence. However, when minimizing an arbitrary similarity measure between distributions, it is generally unclear which metric to use. We provide a general framework that, given a similarity measure, derives a metric for the natural gradient. We then discuss connections between the natural gradient method and multiple other optimization techniques in the literature. Finally, we provide computations of the formal natural gradient to show overlap with well-known cases and to compute natural gradients in novel frameworks.


title: Precision laser-based measurements of the single electron response of SPCs for the NEWS-G light dark matter search experiment

abstract: Spherical Proportional Counters (SPCs) are a novel gaseous detector technology employed by the NEWS-G low-mass dark matter search experiment for their high sensitivity to single electrons from ionization. In this paper, we report on the first characterization of the single electron response of SPCs with unprecedented precision, using a UV-laser calibration system. The experimental approach and analysis methodology are presented along with various direct applications for the upcoming next phase of the experiment at SNOLAB. These include the continuous monitoring of the detector response and electron drift properties during dark matter search runs, as well as the experimental measurement of the trigger threshold efficiency. We measure a mean ionization energy of $\mathrm{W}=27.6\pm0.2~\mathrm{eV}$ in $\mathrm{Ne + CH_4}$ $(2\%)$ for 2.8 keV X-rays, and demonstrate the feasibility of performing similar precision measurements at sub-keV energies for future gas mixtures to be used for dark matter searches at SNOLAB.


title: Evidence of a cluster spin-glass state in the B-site disordered perovskite SrTi0.5Mn0.5O3

abstract: SrTi0.5Mn0.5O3 (STMO) is a chemically disordered perovskite having random distribution of Ti and Mn over 1b site. Striking discrepancies about the structural and magnetic properties of STMO demands detailed analysis which is addressed. To explore the magnetic ground state of STMO, static and dynamic magnetic properties were studied over a broad temperature range (2-300 K). The dc, ac magnetization show a cusp like peak at Tf ~ 14 K, which exhibits field and frequency dependence. The thermoremanent magnetization is characterized by using stretched exponential function and characteristic time suggests the existence of spin clusters. Also the other features observed in magnetic memory effect, muon spin resonance/rotation and neutron powder diffraction confirm the existence of cluster spin glass state in STMO, rather than the long range ordered ground state. Intriguingly, the observed spin relaxation can be attributed to the dilute magnetism due to non-magnetic doping at Mn-site and competing antiferromagnetic and ferromagnetic interactions resulting from the site disorder.


title: Predicting neutrino oscillations with "bi-large" lepton mixing matrices

abstract: We propose two schemes for the lepton mixing matrix $U = U_l^\dagger U_\nu$, where $U = U_l$ refers to the charged sector, and $U_\nu$ denotes the neutrino diagonalization matrix. We assume $U_\nu$ to be CP conserving and its three angles to be connected with the Cabibbo angle in a simple manner. CP violation arises solely from the $U_l$, assumed to have the CKM form, $U_l\simeq V_{\rm CKM}$, suggested by unification. Oscillation parameters depend on a single parameter, leading to narrow ranges for the "solar" and "accelerator" angles $\theta_{12}$ and $\theta_{23}$, as well as for the CP phase, predicted as $\delta_{\rm CP}\sim 1.3\pi$.


title: Perturbative Resonance in WIMP paradigm and its Cosmological Implications on Cosmic Reheating and Primordial Gravitational Wave Detection

abstract: We investigate the co-evolution of dark matter (DM) density perturbation and metric perturbation in the WIMP paradigm. Instead of adopting the conventional assumption that DM starts out in thermal equilibrium, we propose a simple phase of DM production for the WIMP paradigm and extend our analysis to this phase. Being free from the envelop of thermal equilibrium, an amplified perturbative resonance between DM density perturbation and scalar modes of metric perturbation takes place during the DM production phase, and consequently results in a suppression of the tensor-to-scalar ratio of metric perturbation. By specifying the cosmic background with a typical realization of cosmic reheating, we establish a relation between DM particle mass $m_\chi$ and the tensor-to-scalar ratio $r$ in the WIMP paradigm, which also contains two reheating parameters, the reheating temperature $T_{R_f}$ and the dissipative constant $\Gamma_0$. Notably, for a sizeable parameter region of WIMP candidate and cosmic reheating, this relation predicts a smaller value of $r$ in comparing with the conventional expectation obtained by assuming DM starts out in thermal equilibrium. Once the suppression of $r$ is measured in future observations of primordial gravitational wave in CMB, this relation can be used to constrain $m_\chi$, $T_{R_f}$ and $\Gamma_0$ in principle.


title: Measurement of $\gamma$-ray production via the neutron-$^{16}$O reaction using a 77 MeV quasi-monoenergetic neutron beam

abstract: Understanding of $\gamma$-ray production via neutron interactions on oxygen is essential for the study of neutrino neutral-current quasielastic interactions in water Cherenkov detectors. A measurement of $\gamma$-ray production from such reactions was performed using a 77~MeV quasi-monoenergetic neutron beam. Several $\gamma$-ray peaks, which are expected to come from neutron-${\rm ^{16}O}$ reactions, are observed and production cross sections are measured for nine $\gamma$-ray components of energies between 2 and 8~MeV. These are the first measurements at this neutron energy using a nearly monoenergetic beam.


title: A conforming DG method for linear nonlocal models with integrable kernels

abstract: Numerical solution of nonlocal constrained value problems with integrable kernels are considered. These nonlocal problems arise in nonlocal mechanics and nonlocal diffusion. The structure of the true solution to the problem is analyzed first. The analysis leads naturally to a new kind of discontinuous Galerkin method that efficiently solve the problem numerically. This method is shown to be asymptotically compatible. Moreover, it has optimal convergence rate for one dimensional case under very weak assumptions, and almost optimal convergence rate for two dimensional case under mild assumptions.


title: A module for the Delta conjecture

abstract: We define a module that is an extension of the diagonal harmonics and whose graded Frobenius characteristic is conjectured to be the symmetric function expression which appears in `the Delta conjecture' of Haglund, Remmel and Wilson [arXiv:1509.07058].


title: An Online Learning Approach to Model Predictive Control

abstract: Model predictive control (MPC) is a powerful technique for solving dynamic control tasks. In this paper, we show that there exists a close connection between MPC and online learning, an abstract theoretical framework for analyzing online decision making in the optimization literature. This new perspective provides a foundation for leveraging powerful online learning algorithms to design MPC algorithms. Specifically, we propose a new algorithm based on dynamic mirror descent (DMD), an online learning algorithm that is designed for non-stationary setups. Our algorithm, Dynamic Mirror Descent Model Predictive Control (DMD-MPC), represents a general family of MPC algorithms that includes many existing techniques as special instances. DMD-MPC also provides a fresh perspective on previous heuristics used in MPC and suggests a principled way to design new MPC algorithms. In the experimental section of this paper, we demonstrate the flexibility of DMD-MPC, presenting a set of new MPC algorithms on a simple simulated cartpole and a simulated and real-world aggressive driving task. Videos of the real-world experiments can be found at https://youtu.be/vZST3v0_S9w and https://youtu.be/MhuqiHo2t98.


title: EUI-64 Considered Harmful

abstract: This position paper considers the privacy and security implications of EUI-64-based IPv6 addresses. By encoding MAC addresses, EUI-64 addresses violate layers by exposing hardware identifiers in IPv6 addresses. The hypothetical threat of EUI-64 addresses is well-known, and the adoption of privacy extensions in operating systems (OSes) suggests this vulnerability has been mitigated. Instead, our work seeks to quantify the empirical existence of EUI-64 IPv6 addresses in today's Internet. By analyzing: i) traceroutes; ii) DNS records; and iii) mobile phone behaviors, we find surprisingly significant use of EUI-64. We characterize the origins and behaviors of these EUI-64 IPv6 addresses, and advocate for changes in provider IPv6 addressing policies.


title: Low-loss fiber-to-chip interface for lithium niobate photonic integrated circuits

abstract: Integrated lithium niobate (LN) photonic circuits have recently emerged as a promising candidate for advanced photonic functions such as high-speed modulation, nonlinear frequency conversion and frequency comb generation. For practical applications, optical interfaces that feature low fiber-to-chip coupling losses are essential. So far, the fiber-to-chip loss (commonly > 10 dB) dominates the total insertion losses of typical LN photonic integrated circuits, where on-chip propagation losses can be as low as 0.03 - 0.1 dB/cm. Here we experimentally demonstrate a low-loss mode size converter for coupling between a standard lensed fiber and sub-micrometer LN rib waveguides. The coupler consists of two inverse tapers that convert the small optical mode of a rib waveguide into a symmetric guided mode of a LN nanowire, featuring a larger mode area matched to that of a tapered optical fiber. The measured fiber-to-chip coupling loss is lower than 1.7 dB/facet with high fabrication tolerance and repeatability. Our results open door for practical integrated LN photonic circuits efficiently interfaced with optical fibers.


title: Secret Key Capacity For Multipleaccess Channel With Public Feedback

abstract: We consider the generation of a secret key (SK) by the inputs and the output of a secure multipleaccess channel (MAC) that additionally have access to a noiseless public communication channel. Under specific restrictions on the protocols, we derive various upper bounds on the rate of such SKs. Specifically, if the public communication consists of only the feedback from the output terminal, then the rate of SKs that can be generated is bounded above by the maximum symmetric rate $R_f^\ast$ in the capacity region of the MAC with feedback. On the other hand, if the public communication is allowed only before and after the transmission over the MAC, then the rate of SKs is bounded above by the maximum symmetric rate $R^\ast$ in the capacity region of the MAC without feedback. Furthermore, for a symmetric MAC, we present a scheme that generates an SK of rate $R_f^\ast$, improving the best previously known achievable rate $R^\ast$. An application of our results establishes the SK capacity for adder MAC, without any restriction on the protocols.


title: Mahler's conjecture for some hyperplane sections

abstract: We use symplectic techniques to obtain partial results on Mahler's conjecture about the product of the volume of a convex body and the volume of its polar. We confirm the conjecture for hyperplane sections or projections of $\ell_p$-balls or the Hanner polytopes.


title: Half-Metallic Ferromagnets and Spin Gapless Semiconductors

abstract: A brief review of experimental and theoretical studies of half-metallic ferromagnets (HMF) and spin gapless semiconductors (SGS) is given. The data on resistivity and magnetoresistivity are presented. An important role of non-quasiparticle states owing to electron-magnon scattering in transport properties is discussed. The problem of low-temperature resistivity in HMF is treated in terms of one-magnon and two-magnon scattering processes.


title: Event Shape Sorting: prospects and femtoscopy applications

abstract: We demonstrate the use of Event Shape Sorting in femtoscopy. The method allows to select events with similar distributions if hadrons in azimuthal angle. We show that also their correlation radii exhibit interesting dependence on azimuthal angle with anisotropies of different orders visible at the same time. We further demonstrate such features of the hadron distribution which can be hardly recognised by Event Shape Engineering, but shows up in Event Shape Sorting. Finally, the influence of statistical fluctuations on sorting is investigated.


title: L{\'e}vy walks on finite intervals: A step beyond asymptotics

abstract: A L{\'e}vy walk of order $\beta$ is studied on an interval of length $L$, driven out of equilibrium by different-density boundary baths. The anomalous current generated under these settings is nonlocally related to the density profile through an integral equation. While the asymptotic solution to this equation is known, its finite-$L$ corrections remain unstudied despite their importance in the study of anomalous transport. Here a perturbative method for computing such corrections is presented and explicitly demonstrated for the leading correction to the asymptotic transport of a L{\'e}vy walk of order $\beta=5/3$, which represents a broad universal class of anomalous transport models. Surprisingly, many other physical problems are described by similar integral equations, to which the method introduced here can be directly applied.


title: Comment on "Neutron lifetime and dark decay of the neutron and hydrogen''

abstract: The manuscript by Berezhiani (arXiv:1812.11089) proposes a model that has the neutron decaying into a mirror neutron with a branching fraction of 1%, alleviating the tension between neutron lifetime measurements in beam vs bottle experiments. We show that the model as proposed is inconsistent with experiment. Variations of the model may work at the expense of extreme breaking of the $Z_2$ symmetry between the Standard Model and its mirror copy.


title: On generalized CIR equations

abstract: The paper is concerned with stochastic equations for the short rate process $R$ $$ dR(t)=F(R(t))dt+G(R(t-))dZ(t), $$ in the affine model of the bond prices. The equation is driven by a L\'evy martingale $Z$. It is shown that the discounted bond prices are local martingales if either $Z$ is a stable process of index $\alpha\in(1,2]$,\,$F(x)= ax +b, b\geq 0$, $G(x)=cx^{1/\alpha}, c>0$ or $Z$ must be a L\'evy martingale with positive jumps and trajectories of bounded variation, $F(x)= ax +b, b\geq 0$ and G is a constant. The result generalizes the well known Cox-Ingersoll-Ross result and extends the Vasicek result to non-negative short rates.


title: Positivity constraints on aQGC: carving out the physical parameter space

abstract: Searching for deviations in quartic gauge boson couplings (QGCs) is one of the main goals of the electroweak program at the LHC. We consider positivity bounds adapted to the Standard Model, and show that a set of positivity constraints on 18 anomalous QGC couplings can be derived, by requiring that the vector boson scattering amplitudes of specific channels and polarisations satisfy the fundamental principles of quantum field theory. We explicitly solve the positivity inequalities to remove their dependence on the polarisations of the external particles, and obtain 19 linear inequalities, 3 quadratic inequalities, and 1 quartic inequality that only involve the QGC parameters and the weak angle. These inequalities constrain the possible directions in which deviations from the standard QGC can occur, and can be used to guide future experimental searches. We study the morphology of the positivity bounds in the parameter space, and find that the allowed parameter space is carved out by the intersection of pyramids, prisms, and (approximately) cones. Altogether, they reduce the volume of the allowed parameter space to only 2.1% of the total. We also show the bounds for some benchmark cases, where one, two, or three operators, respectively, are turned on at a time, so as to facilitate a quick comparison with the experimental results.


title: On quadratic progression sequences on smooth plane curves

abstract: We study the arithmetic (geometric) progressions in the $x$-coordinates of quadratic points on smooth projective planar curves defined over a number field $k$. Unless the curve is hyperelliptic, we prove that these progressions must be finite. We, moreover, show that the arithmetic gonality of the curve determines the infinitude of these progressions in the set of $\overline{k}$-points with field of definition of degree at most $n$, $n\ge 3$.


title: Latency, Capacity, and Distributed MST

abstract: We study the cost of distributed MST construction in the setting where each edge has a latency and a capacity, along with the weight. Edge latencies capture the delay on the links of the communication network, while capacity captures their throughput (in this case, the rate at which messages can be sent). Depending on how the edge latencies relate to the edge weights, we provide several tight bounds on the time and messages required to construct an MST. When edge weights exactly correspond with the latencies, we show that, perhaps interestingly, the bottleneck parameter in determining the running time of an algorithm is the total weight $W$ of the MST (rather than the total number of nodes $n$, as in the standard CONGEST model). That is, we show a tight bound of $\tilde{\Theta}(D + \sqrt{W/c})$ rounds, where $D$ refers to the latency diameter of the graph, $W$ refers to the total weight of the constructed MST and edges have capacity $c$. The proposed algorithm sends $\tilde{O}(m+W)$ messages, where $m$, the total number of edges in the network graph under consideration, is a known lower bound on message complexity for MST construction. We also show that $\Omega(W)$ is a lower bound for fast MST constructions. When the edge latencies and the corresponding edge weights are unrelated, and either can take arbitrary values, we show that (unlike the sub-linear time algorithms in the standard CONGEST model, on small diameter graphs), the best time complexity that can be achieved is $\tilde{\Theta}(D+n/c)$. However, if we restrict all edges to have equal latency $\ell$ and capacity $c$ while having possibly different weights (weights could deviate arbitrarily from $\ell$), we give an algorithm that constructs an MST in $\tilde{O}(D + \sqrt{n\ell/c})$ time. In each case, we provide nearly matching upper and lower bounds.


title: Commutator theory for racks and quandles

abstract: We adapt the commutator theory of universal algebra to the particular setting of racks and quandles, exploiting a Galois connection between congruences and certain normal subgroups of the displacement group. Congruence properties such as abelianness and centrality are reflected by the corresponding relative displacement groups, and so do the global properties, solvability and nilpotence. To show the new tool in action, we present three applications: non-existence theorems for quandles (no connected involutory quandles of order $2^k$, no latin quandles of order $\equiv2\pmod4$), a non-colorability theorem (knots with trivial Alexander polynomial are not colorable by latin quandles), and a strengthening of Glauberman's results on Bruck loops of odd order.


title: Clusters, inertia, and root numbers

abstract: In a recent paper of Dokchitser--Dokchitser--Maistret--Morgan, the authors introduced the concept of a cluster picture associated to a hyperelliptic curve from which they are able to recover numerous invariants, including the inertia representation on the first \'{e}tale cohomology group of the curve. The purpose of this paper is to explore the functionality of these cluster pictures and prove that the inertia representation of a hyperelliptic curve is a function of its cluster picture.


title: Flattening Karatsuba's recursion tree into a single summation

abstract: The recursion tree resulting from Karatsuba's formula is built here by using an interleaved splitting scheme rather than the traditional left/right one. This allows an easier access to the nodes of the tree and $2n-1$ of them are initially flattened all at once into a single recursive formula. The whole tree is then flattened further into a convolution formula involving less elementary multiplications than the usual Cauchy product. Unlike the traditional splitting scheme, the interleaved approach may also be applied to infinite power series, and corresponding formulas are also given.