title: Drinfeld's lemma for perfectoid spaces and overconvergence of multivariate $(\varphi, \Gamma)$-modules

abstract: Let $p$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $n$ be a positive integer. We construct equivalences of categories between continuous $p$-adic representations of the $n$-fold product of the absolute Galois group $G_K$ and $(\varphi, \Gamma)$-modules over one of several rings of $n$-variable power series. The case $n=1$ recovers the original construction of Fontaine and the subsequent refinement by Cherbonnier--Colmez; for general $n$, the case $K = \mathbb{Q}_p$ had been previously treated by the third author. To handle general $K$ uniformly, we use a form of Drinfeld's lemma on profinite fundamental groups of products of spaces in characteristic $p$, but for perfectoid spaces instead of schemes. We also construct the multivariate analogue of the Herr complex to compute Galois cohomology; the case $K = \mathbb{Q}_p$ had been previously treated by Pal and the third author, and we reduce to this case using a form of Shapiro's lemma.


title: Large-Scale Learnable Graph Convolutional Networks

abstract: Convolutional neural networks (CNNs) have achieved great success on grid-like data such as images, but face tremendous challenges in learning from more generic data such as graphs. In CNNs, the trainable local filters enable the automatic extraction of high-level features. The computation with filters requires a fixed number of ordered units in the receptive fields. However, the number of neighboring units is neither fixed nor are they ordered in generic graphs, thereby hindering the applications of convolutional operations. Here, we address these challenges by proposing the learnable graph convolutional layer (LGCL). LGCL automatically selects a fixed number of neighboring nodes for each feature based on value ranking in order to transform graph data into grid-like structures in 1-D format, thereby enabling the use of regular convolutional operations on generic graphs. To enable model training on large-scale graphs, we propose a sub-graph training method to reduce the excessive memory and computational resource requirements suffered by prior methods on graph convolutions. Our experimental results on node classification tasks in both transductive and inductive learning settings demonstrate that our methods can achieve consistently better performance on the Cora, Citeseer, Pubmed citation network, and protein-protein interaction network datasets. Our results also indicate that the proposed methods using sub-graph training strategy are more efficient as compared to prior approaches.


title: Resonant Driving induced Ferromagnetism in the Fermi Hubbard Model

abstract: In this letter we consider quantum phases and the phase diagram of a Fermi Hubbard model under periodic driving that has been realized in recent cold atom experiments, in particular, when the driving frequency is resonant with the interaction energy. Due to the resonant driving, the effective Hamiltonian contains a correlated hopping term where the density occupation strongly modifies the hopping strength. Focusing on half filling, in addition to the charge and spin density wave phases, large regions of ferromagnetic phase and phase separation are discovered in the weakly interacting regime. The mechanism of this ferromagnetism is attributed to the correlated hopping because the hopping strength within a ferromagnetic domain is normalized to a larger value than the hopping strength across the domain. Thus, the kinetic energy favors a large ferromagnetic domain and consequently drives the system into a ferromagnetic phase. We note that this is a different mechanism in contrast to the well-known Stoner mechanism for ferromagnetism where the ferromagnetism is driven by interaction energy.


title: Augmenting word2vec with latent Dirichlet allocation within a clinical application

abstract: This paper presents three hybrid models that directly combine latent Dirichlet allocation and word embedding for distinguishing between speakers with and without Alzheimer's disease from transcripts of picture descriptions. Two of our models get F-scores over the current state-of-the-art using automatic methods on the DementiaBank dataset.


title: Highly directional photon superbunching from a 'few atom' chain of emitters

abstract: We examine angular distribution of the probability of correlated fluorescence photon emission from a linear chain of identical equidistant two-level atoms. We selectively excite one of the atoms by a resonant laser field. The atoms are coupled to each other via the dipole-dipole interaction and collective spontaneous emission. Our attention is focused on the simultaneous observation of correlated pairs of photons. It is found that the interference between the emitting atoms can result in a highly directional emission of photon pairs. These pairs of photons posses strong correlations and their emission is highly concentrated into specific detection directions. We demonstrate the crucial role of the selective coherent excitation in such a geometrical configuration. Shifting the driving field from an atom located at one end of the chain to the other causes the radiation pattern to flip to the opposite half of the detection plane. Furthermore, we find that atomic systems in which only an atom situated at a particular position within the linear chain is driven by a laser field can radiate correlated twin photons in directions along which the radiation of single photons is significantly reduced. Alternatively, superbunching in the emitted photon statistics preferentially occurs in directions of negligible or vanishing single photon emission. The effect of superbunching strengthens as more emitters are added to the chain. Depending on the number of atoms and the position of the driven atom within the chain, the strongly correlated pairs of photons can be emitted into well-defined single, two or four directions.


title: Reconfigurable Inverted Index

abstract: Existing approximate nearest neighbor search systems suffer from two fundamental problems that are of practical importance but have not received sufficient attention from the research community. First, although existing systems perform well for the whole database, it is difficult to run a search over a subset of the database. Second, there has been no discussion concerning the performance decrement after many items have been newly added to a system. We develop a reconfigurable inverted index (Rii) to resolve these two issues. Based on the standard IVFADC system, we design a data layout such that items are stored linearly. This enables us to efficiently run a subset search by switching the search method to a linear PQ scan if the size of a subset is small. Owing to the linear layout, the data structure can be dynamically adjusted after new items are added, maintaining the fast speed of the system. Extensive comparisons show that Rii achieves a comparable performance with state-of-the art systems such as Faiss.


title: Existential monadic second order convergence law fails on sparse random graphs

abstract: In the paper, we prove that existential monadic second order convergence law fails for the binomial random graph $G(n,n^{-\alpha})$ for every $\alpha\in(0,1)$.


title: Globally Convergent Type-I Anderson Acceleration for Non-Smooth Fixed-Point Iterations

abstract: We consider the application of the type-I Anderson acceleration to solving general non-smooth fixed-point problems. By interleaving with safe-guarding steps, and employing a Powell-type regularization and a re-start checking for strong linear independence of the updates, we propose the first globally convergent variant of Anderson acceleration assuming only that the fixed-point iteration is non-expansive. We show by extensive numerical experiments that many first order algorithms can be improved, especially in their terminal convergence, with the proposed algorithm. Our proposed method of acceleration is being implemented in SCS 2.0, one of the default solvers used in the convex optimization parser-solver CVXPY 1.0.


title: A Facile Approach to Prepare Self-Assembled, Nacre-Inspired Clay/Polymer Nano-Composites

abstract: Nature provides many paradigms for the design and fabrication of artificial composite materials. Inspired by the relationship between the well-ordered architecture and biopolymers found in natural nacre, we present a facile strategy to construct large-scale organic/inorganic nacre-mimetics with hierarchical structure via a water-evaporation self-assembly process. Through hydrogen bonding, we connect Laponite-nanoclay platelets with each other using naturally abundant cellulose creating thin, flexible films with a local brick-and-mortar architecture. While the aqueous solution displays liquid crystalline textures, the dried films show a pronounced Young's modulus (9.09 GPa) with a maximum strength of 298.02 MPa and toughness of 16.63 MJm-3. In terms of functionalities, we report excellent glass-like transparency along with exceptional shape-persistent flame shielding. We also demonstrate that through metal ion-coordination we can further strengthen the interactions between the polymers and the nanoclays. These ion-treated hybrid films exhibit further enhanced mechanical, and thermal properties as well as resistance against swelling and dissolution in aqueous environments. We believe that our simple pathway to fabricate such versatile polymer/clay nanocomposites can open avenues for inexpensive production of environmentally friendly, biomimetic materials in aerospace, wearable electrical devices, artificial muscle, and food packaging industry.


title: Investigations on entanglement entropy in gravity

abstract: Entanglement entropy first arose from attempts to understand the entropy of black holes, and is believed to play a crucial role in a complete description of quantum gravity. This thesis explores some proposed connections between entanglement entropy and the geometry of spacetime. One such connection is the ability to derive gravitational field equations from entanglement identities. I will discuss a specific derivation of the Einstein equation from an equilibrium condition satisfied by entanglement entropy, and explore a subtlety in the construction when the matter fields are not conformally invariant. As a further generalization, I extend the argument to include higher curvature theories of gravity, whose consideration is necessitated by the presence of subleading divergences in the entanglement entropy beyond the area law. A deeper issue in this construction, as well as in more general considerations identifying black hole entropy with entanglement entropy, is that the entropy is ambiguous for gauge fields and gravitons. The ambiguity stems from how one handles edge modes at the entangling surface, which parameterize the gauge transformations that are broken by the presence of the boundary. The final part of this thesis is devoted to identifying the edge modes in arbitrary diffeomorphism-invariant theories. Edge modes are conjectured to provide a statistical description of the black hole entropy, and this work takes some initial steps toward checking this conjecture in higher curvature theories.


title: On boundary extension of mappings of Riemannian surfaces in terms of prime ends

abstract: We investigate non-homeomorphic mappings of Riemannian surfaces of Sobolev class. We have obtained some estimates of distortion of moduli of families of curves. We have proved that, under some conditions, these mappings have a continuous extension to a boundary of a domain in terms of prime ends.


title: Global Existence of Weak Solutions to the Compressible Primitive Equations of Atmospheric Dynamics with Degenerate Viscosities

abstract: We show the existence of global weak solutions to the three-dimensional compressible primitive equations of atmospheric dynamics with degenerate viscosities. In analogy with the case of the compressible Navier-Stokes equations, the weak solutions satisfy the basic energy inequality, the Bresh-Desjardins entropy inequality and the Mellet-Vasseur estimate. These estimates play an important role in establishing the compactness of the vertical velocity of the approximating solutions, and therefore are essential to recover the vertical velocity in the weak solutions.

categories: math.AP physics.ao-ph physics.flu-dyn physics.geo-ph


title: Text Classification using Capsules

abstract: This paper presents an empirical exploration of the use of capsule networks for text classification. While it has been shown that capsule networks are effective for image classification, their validity in the domain of text has not been explored. In this paper, we show that capsule networks indeed have the potential for text classification and that they have several advantages over convolutional neural networks. We further suggest a simple routing method that effectively reduces the computational complexity of dynamic routing. We utilized seven benchmark datasets to demonstrate that capsule networks, along with the proposed routing method provide comparable results.


title: Conceptualization and Validation of a Novel Protocol for Investigating the Uncanny Valley

abstract: Loosely based on principles of similarity-attraction, robots intended for social contexts are being designed with increasing human similarity to facilitate their reception by and communication with human interactants. However, the observation of an uncanny valley - the phenomenon in which certain humanlike entities provoke dislike instead of liking - has lead some to caution against this practice. Substantial evidence supports both of these contrasting perspectives on the design of social technologies. Yet, owing to both empirical and theoretical inconsistencies, the relationship between anthropomorphic design and people's liking of the technology remains poorly understood. Here we present three studies which investigate people's explicit ratings of and behavior towards a large sample of real-world robots. The results show a profound "valley effect" on people's \emph{willingness} to interact with humanlike robots, thus highlighting the formidable design challenge the uncanny valley poses for social robotics. In addition to advancing uncanny valley theory, Studies 2 and 3 contribute and validate a novel laboratory task for objectively measuring people's perceptions of humanlike robots.


title: Local Decodability of the Burrows-Wheeler Transform

abstract: The Burrows-Wheeler Transform (BWT) is among the most influential discoveries in text compression and DNA storage. It is a reversible preprocessing step that rearranges an $n$-letter string into runs of identical characters (by exploiting context regularities), resulting in highly compressible strings, and is the basis of the \texttt{bzip} compression program. Alas, the decoding process of BWT is inherently sequential and requires $\Omega(n)$ time even to retrieve a \emph{single} character. We study the succinct data structure problem of locally decoding short substrings of a given text under its \emph{compressed} BWT, i.e., with small additive redundancy $r$ over the \emph{Move-To-Front} (\texttt{bzip}) compression. The celebrated BWT-based FM-index (FOCS '00), as well as other related literature, yield a trade-off of $r=\tilde{O}(n/\sqrt{t})$ bits, when a single character is to be decoded in $O(t)$ time. We give a near-quadratic improvement $r=\tilde{O}(n\lg(t)/t)$. As a by-product, we obtain an \emph{exponential} (in $t$) improvement on the redundancy of the FM-index for counting pattern-matches on compressed text. In the interesting regime where the text compresses to $n^{1-o(1)}$ bits, these results provide an $\exp(t)$ \emph{overall} space reduction. For the local decoding problem of BWT, we also prove an $\Omega(n/t^2)$ cell-probe lower bound for "symmetric" data structures. We achieve our main result by designing a compressed partial-sums (Rank) data structure over BWT. The key component is a \emph{locally-decodable} Move-to-Front (MTF) code: with only $O(1)$ extra bits per block of length $n^{\Omega(1)}$, the decoding time of a single character can be decreased from $\Omega(n)$ to $O(\lg n)$. This result is of independent interest in algorithmic information theory.


title: On the exact number of monotone solutions of a simplifed Budyko climate model and their different stability

abstract: We consider a simplified version of the Budyko diffusive energy balance climate model. We obtain the exact number of monotone stationary solutions of the associated discontinuous nonlinear elliptic with absorption. We show that the bifurcation curve, in terms of the solar constant parameter, is S-shaped. We prove the instability of the decreasing part and the stability of the increasing part of the bifurcation curve. In terms of the Budyko climate problem the above results lead to an important qualitative information which is far to be evident and which seems to be new in the mathematical literature on climate models. We prove that if the solar constant is represented by $\lambda \in (\lambda _{1},\lambda _{2}),$ for suitable $\lambda _{1}<\lambda _{2},$ then there are exactly two stationary solutions giving rise to a free boundary (i.e. generating two symmetric polar ice caps: North and South ones) and a third solution corresponding to a totally ice covered Earth. Moreover, we prove that the solution with smaller polar ice caps is stable and the one with bigger ice caps is unstable.


title: Emergent behaviors of the Cucker-Smale ensemble under attractive-repulsive couplings and Rayleigh frictions

abstract: In this paper, we revisit an interaction problem of two homogeneous Cucker-Smale (in short C-S) ensembles with attractive-repulsive couplings, possibly under the effect of Rayleigh friction, and study three sufficient frameworks leading to bi-cluster flocking in which two sub-ensembles evolve to two-clusters departing from each other. In previous literature, the interaction problem has been studied in the context of attractive couplings. In our interaction problem, inter-ensemble and intra-ensemble couplings are assumed to be repulsive and attractive respectively. When the Rayleigh frictional forces are turned on, we show that the total kinetic energy is uniformly bounded so that spatially mixed initial configurations evolve toward the bi-cluster configuration asymptotically fast under some suitable conditions on system parameters, communication weight functions and initial configurations. In contrast, when Rayleigh frictional forces are turned off, the flocking analysis is more delicate mainly due to the possibility of an exponential growth of the kinetic energy. In this case, we employ two mutually disjoint frameworks with constant inter-ensemble communication function and exponentially localized inter-ensemble communication functions respectively, and prove the bi-clustering phenomenon in both cases. This work extends the previous work on the interaction problem of C-S ensembles. We also conduct several numerical experiments and compare them with our theoretical results.


title: SAGNet:Structure-aware Generative Network for 3D-Shape Modeling

abstract: We present SAGNet, a structure-aware generative model for 3D shapes. Given a set of segmented objects of a certain class, the geometry of their parts and the pairwise relationships between them (the structure) are jointly learned and embedded in a latent space by an autoencoder. The encoder intertwines the geometry and structure features into a single latent code, while the decoder disentangles the features and reconstructs the geometry and structure of the 3D model. Our autoencoder consists of two branches, one for the structure and one for the geometry. The key idea is that during the analysis, the two branches exchange information between them, thereby learning the dependencies between structure and geometry and encoding two augmented features, which are then fused into a single latent code. This explicit intertwining of information enables separately controlling the geometry and the structure of the generated models. We evaluate the performance of our method and conduct an ablation study. We explicitly show that encoding of shapes accounts for both similarities in structure and geometry. A variety of quality results generated by SAGNet are presented. The data and code are at https://github.com/zhijieW-94/SAGNet.


title: Distinguished Regular Supercuspidal Representations and Inductive Constructions of Representations

abstract: This paper develops the theory of distinguished regular supercuspidal representations, and it highlights how the correspondence between regular characters and regular supercuspidal representations resembles induction in certain ways.


title: Robot Safe Interaction System for Intelligent Industrial Co-Robots

abstract: Human-robot interactions have been recognized to be a key element of future industrial collaborative robots (co-robots). Unlike traditional robots that work in structured and deterministic environments, co-robots need to operate in highly unstructured and stochastic environments. To ensure that co-robots operate efficiently and safely in dynamic uncertain environments, this paper introduces the robot safe interaction system. In order to address the uncertainties during human-robot interactions, a unique parallel planning and control architecture is proposed, which has a long term global planner to ensure efficiency of robot behavior, and a short term local planner to ensure real time safety under uncertainties. In order for the robot to respond immediately to environmental changes, fast algorithms are used for real-time computation, i.e., the convex feasible set algorithm for the long term optimization, and the safe set algorithm for the short term optimization. Several test platforms are introduced for safe evaluation of the developed system in the early phase of deployment. The effectiveness and the efficiency of the proposed method have been verified in experiment with an industrial robot manipulator.


title: Gaia transients in galactic nuclei

abstract: The high spatial resolution and precise astrometry and photometry of the Gaia mission should make it particularly apt at discovering and resolving transients occurring in, or near, the centres of galaxies. Indeed, some nuclear transients are reported by the Gaia Science Alerts (GSA) team, but not a single confirmed Tidal Disruption Event has been published. In order to explore the sensitivity of GSA, we performed an independent and systematic search for nuclear transients using Gaia observations. Our transient search is driven from an input galaxy catalogue (derived from the Sloan Digital Sky Survey Release 12). We present a candidate detection metric which is independent from the existing GSA methodology, to see if Gaia Alerts are biased against the discovery of nuclear transients, and in particular which steps may have an impact. Our technique does require significant manual vetting of candidates, making implementation in the GSA system impractical for daily operations, although it could be run weekly, which for month-to-year long transients would make a scientifically valuable addition. Our search yielded ~480 nuclear transients, 5 of which were alerted and published by GSA. The list of (in some cases ongoing) transients includes candidates for events related to enhanced accretion onto a super-massive black hole and TDEs. An implementation of the detection methodology and criteria used in this paper as an extension of GSA could open up the possibility for Gaia to fulfil the role as a main tool to find transient nuclear activity as predicted in the literature.


title: Matter Effect of Light Sterile Neutrino: An Exact Analytical Approach

abstract: The light sterile neutrino, if it exists, will give additional contribution to matter effect when active neutrinos propagate through terrestrial matter. In the simplest 3+1 scheme, three more rotation angles and two more CP-violating phases in lepton mixing matrix make the interaction complicated formally. In this work, the exact analytical expressions for active neutrino oscillation probabilities in terrestrial matter, including sterile neutrino contribution, are derived. It is pointed out that this set of formulas contain information both in matter and in vacuum, and can be easily tuned by choosing related parameters. Based on the generic exact formulas, we present oscillation probabilities of typic medium and long baseline experiments. Taking NO$\nu$A experiment as an example, we show that in particular parameter space sterile neutrino gives important contribution to terrestrial matter effect, and Dirac phases play a vital role.


title: Multimodal Differential Network for Visual Question Generation

abstract: Generating natural questions from an image is a semantic task that requires using visual and language modality to learn multimodal representations. Images can have multiple visual and language contexts that are relevant for generating questions namely places, captions, and tags. In this paper, we propose the use of exemplars for obtaining the relevant context. We obtain this by using a Multimodal Differential Network to produce natural and engaging questions. The generated questions show a remarkable similarity to the natural questions as validated by a human study. Further, we observe that the proposed approach substantially improves over state-of-the-art benchmarks on the quantitative metrics (BLEU, METEOR, ROUGE, and CIDEr).


title: A simulation study to distinguish prompt photon from $\pi^0$ and beam halo in a granular calorimeter using deep networks

abstract: In a hadron collider environment identification of prompt photons originating in a hard partonic scattering process and rejection of non-prompt photons coming from hadronic jets or from beam related sources, is the first step for study of processes with photons in final state. Photons coming from decay of $\pi_0$'s produced inside a hadronic jet and photons produced in catastrophic bremsstrahlung by beam halo muons are two major sources of non-prompt photons. In this paper the potential of deep learning methods for separating the prompt photons from beam halo and $\pi^0$'s in the electromagnetic calorimeter of a collider detector is investigated, using an approximate description of the CMS detector. It is shown that, using only calorimetric information as images with a Convolutional Neural Network, beam halo (and $\pi^{0}$) can be separated from photon with 99.96\% (97.7\%) background rejection for 99.00\% (90.0\%) signal efficiency which is much better than traditionally employed variables.


title: WiFiScout: A Crowdsensing WiFi Advisory System with Gamification-based Incentive

abstract: As mobile crowdsensing techniques are steering many smart-city applications, an incentive scheme that motivates the crowd to actively participate becomes a key to the success of such city-scale applications. This paper presents a crowdsensing WiFi advisory system called WiFiScout, which helps smartphone users to find good quality WiFi hotspots. The quality information is defined in terms of user experience and hence the system requires users to contribute information of their experience with WiFi hotspots. To motivate people to contribute such information, we design and implement a gamification-based incentive scheme in WiFiScout. It allows a user to "conquer WiFi territories" by becoming the top contributor for WiFi hotspots at different locations. The contribution is based on the diversity and amount of data a user submits, for which he will be rewarded accordingly. WiFiScout has been implemented on Android and it facilitates the collection of city-wide WiFi advisory information provided by real users according to their actual experience.


title: On the Bell's spaceships paradox and proper length for accelerated bodies

abstract: We study the Dewan-Beran-Bell thought experiment of two spaceships connected by a thread that start accelerated motion and discuss the proper length of the thread by means of Born's definition of proper length for arbitrary motion.


title: Entanglement harvesting in double-layer graphene by vacuum fluctuations in a microcavity

abstract: The aim of this work is to study the entanglement harvesting between two graphene layers inside a planar microcavity. Applying time-dependent perturbation theory it is shown that nonclassical correlations between electrons in different layers are obtained through the exchange of virtual photons. Considering different initial states of the electrons and the vacuum state of the electromagnetic field, the negativity measure that quantifies the entanglement is computed through the photon propagator for time scales smaller than the light-crossing time of the double layer. The results are compared with those obtained for hydrogenic probes and pointlike Unruh-DeWitt detectors, showing that for different initial states, entangled X states and more general entangled reduced matrices are obtained, which enlarge the classification of bipartite quantum states.


title: Steenrod problem and the domination relation

abstract: We indicate how to combine some classical topology (Thom's work on the Steenrod problem) with some modern topology (simplicial volume) to show that every map between certain manifolds must have degree zero. We furthermore discuss a homotopy theoretic interpretation of parts of our proof, using Thom spaces and Steenrod powers.


title: Convex Union Representability and Convex Codes

abstract: We introduce and investigate $d$-convex union representable complexes: the complexes that arise as the nerve of a finite collection of convex open sets in $\mathbb R^d$ whose union is also convex. Chen, Frick, and Shiu recently proved that such complexes are collapsible and asked if all collapsible complexes are convex union representable. We disprove this by showing that there exist shellable and collapsible complexes that are not convex union representable; there also exist non-evasive complexes that are not convex union representable. In the process we establish several necessary conditions for a complex to be convex union representable such as: that such a complex $\Delta$ collapses onto the star of any face of $\Delta$, that the Alexander dual of $\Delta$ must also be collapsible, and that if $k$ facets of $\Delta$ contain all free faces of $\Delta$, then $\Delta$ is $(k-1)$-representable. We also discuss some sufficient conditions for a complex to be convex union representable. The notion of convex union representability is intimately related to the study of convex neural codes. In particular, our results provide new families of examples of non-convex neural codes.


title: Various Optimality Criteria for the Prediction of Individual Response Curves

abstract: We consider optimal designs for the Kiefer cirteria, which include the E-criterion as a particular case, and the G-criterion in random coefficients regression (RCR) models. We obtain general the Kiefer criteria for approximate designs and prove the equivalence of the E-criteria in the fixed effects and RCR models. We discuss in detail the G-criterion for ordinary linear regression on specific design regions.


title: Time-Varying Semidefinite Programs

abstract: We study time-varying semidefinite programs (TV-SDPs), which are semidefinite programs whose data (and solutions) are functions of time. Our focus is on the setting where the data varies polynomially with time. We show that under a strict feasibility assumption, restricting the solutions to also be polynomial functions of time does not change the optimal value of the TV-SDP. Moreover, by using a Positivstellensatz on univariate polynomial matrices, we show that the best polynomial solution of a given degree to a TV-SDP can be found by solving a semidefinite program of tractable size. We also provide a sequence of dual problems which can be cast as SDPs and that give upper bounds on the optimal value of a TV-SDP (in maximization form). We prove that under a boundedness assumption, this sequence of upper bounds converges to the optimal value of the TV-SDP. Under the same assumption, we also show that the optimal value of the TV-SDP is attained. We demonstrate the efficacy of our algorithms on a maximum-flow problem with time-varying edge capacities, a wireless coverage problem with time-varying coverage requirements, and on bi-objective semidefinite optimization where the goal is to approximate the Pareto curve in one shot.


title: Some recent developments in K\"ahler geometry and exceptional holonomy

abstract: This is a survey article, to appear in the Proceedings of the 2018 International Congress of Mathematicians. (Revised, with added and updated references.)


title: Searching for the QCD Critical Point through Fluctuations at RHIC

abstract: Fluctuations and correlations of conserved quantities (baryon number, strangeness, and charge) can be used to probe phases of strongly interacting QCD matter and the possible existence of a critical point in the phase diagram. The cumulants of the multiplicity distributions related to these conserved quantities are expected to be sensitive to possible increased fluctuations near a critical point and ratios of the cumulants can be directly compared to the ratios of the susceptibilities from Lattice QCD calculations. In these proceedings, the measurements of the cumulants of net-proton multiplicity distributions from Au+Au collisions at $\sqrt{s_{NN}}$ = 7.7, 11.5, 14.5, 19.6, 27, 39, 62.4 (up to fourth order) and 200 GeV (up to sixth order) as measured by the STAR experiment at RHIC will be presented. Multi-particle correlation functions will also be presented. The measurement of higher-order cumulants are sensitive to experimental artifacts. Current efficiency correction methods are based on the assumption that the tracking efficiency is strictly binomial. An unfolding technique is used to account for multiplicity dependent detector responses and efficiency variations. A large sample of AMPT events will be used to check the validity of the unfolding technique. The comparison of the various correction approaches should provide important guidance towards a reliable experimental determination of the multiplicity cumulants.


title: Precision Mass Measurement of $^{58-63}$Cr: Nuclear Collectivity towards the \emph{N}=40 Island of Inversion

abstract: The neutron-rich isotopes $^{58-63}$Cr were produced for the first time at the ISOLDE facility and their masses were measured with the ISOLTRAP spectrometer. The new values are up to 300 times more precise than those in the literature and indicate significantly different nuclear structure from the new mass-surface trend. A gradual onset of deformation is found in this proton and neutron mid-shell region, which is a gateway to the second island of inversion around \emph{N}=40. In addition to comparisons with density-functional theory and large-scale shell-model calculations, we present predictions from the valence-space formulation of the \emph{ab initio} in-medium similarity renormalization group, the first such results for open-shell chromium isotopes.


title: Enhancing camera surveillance using computer vision: a research note

abstract: $\mathbf{Purpose}$ - The growth of police operated surveillance cameras has out-paced the ability of humans to monitor them effectively. Computer vision is a possible solution. An ongoing research project on the application of computer vision within a municipal police department is described. The paper aims to discuss these issues. $\mathbf{Design/methodology/approach}$ - Following the demystification of computer vision technology, its potential for police agencies is developed within a focus on computer vision as a solution for two common surveillance camera tasks (live monitoring of multiple surveillance cameras and summarizing archived video files). Three unaddressed research questions (can specialized computer vision applications for law enforcement be developed at this time, how will computer vision be utilized within existing public safety camera monitoring rooms, and what are the system-wide impacts of a computer vision capability on local criminal justice systems) are considered. $\mathbf{Findings}$ - Despite computer vision becoming accessible to law enforcement agencies the impact of computer vision has not been discussed or adequately researched. There is little knowledge of computer vision or its potential in the field. $\mathbf{Originality/value}$ - This paper introduces and discusses computer vision from a law enforcement perspective and will be valuable to police personnel tasked with monitoring large camera networks and considering computer vision as a system upgrade.


title: Representing three-dimensional cross fields using 4th order tensors

abstract: This paper presents a new way of describing cross fields based on fourth order tensors. We prove that the new formulation is forming a linear space in $\mathbb{R}^9$. The algebraic structure of the tensors and their projections on $\mbox{SO}(3)$ are presented. The relationship of the new formulation with spherical harmonics is exposed. This paper is quite theoretical. Due to pages limitation, few practical aspects related to the computations of cross fields are exposed. Nevetheless, a global smoothing algorithm is briefly presented and computation of cross fields are finally depicted.


title: Language Guided Fashion Image Manipulation with Feature-wise Transformations

abstract: Developing techniques for editing an outfit image through natural sentences and accordingly generating new outfits has promising applications for art, fashion and design. However, it is considered as a certainly challenging task since image manipulation should be carried out only on the relevant parts of the image while keeping the remaining sections untouched. Moreover, this manipulation process should generate an image that is as realistic as possible. In this work, we propose FiLMedGAN, which leverages feature-wise linear modulation (FiLM) to relate and transform visual features with natural language representations without using extra spatial information. Our experiments demonstrate that this approach, when combined with skip connections and total variation regularization, produces more plausible results than the baseline work, and has a better localization capability when generating new outfits consistent with the target description.


title: On the Chowla and twin primes conjectures over $\mathbb F_q[T]$

abstract: Using geometric methods, we improve on the function field version of the Burgess bound, and show that, when restricted to certain special subspaces, the M\"{o}bius function over $\mathbb F_q[T]$ can be mimicked by Dirichlet characters. Combining these, we obtain a level of distribution close to $1$ for the M\"{o}bius function in arithmetic progressions, and resolve Chowla's $k$-point correlation conjecture with large uniformity in the shifts. Using a function field variant of a result by Fouvry-Michel on exponential sums involving the M\"{o}bius function, we obtain a level of distribution beyond $1/2$ for irreducible polynomials, and establish the twin prime conjecture in a quantitative form. All these results hold for finite fields satisfying a simple condition.


title: Shifting operators in geometric quantization

abstract: In a series of papers on Bohr-Sommerfeld-Heisenberg quantization of completely integrable systems we interpreted shifting operators as quantization of functions ${\mathrm{e}}^{ \pm i{\theta}_j}$ , where $(I_j , {\theta}_j )$ are action angle coordinates. The aim of this paper is to show how these operators occur in geometric quantization.


title: $C^1$-openness of non-uniform hyperbolic diffeomorphisms with bounded $C^2$ norm

abstract: We study the $C^1$-topological properties of the subset of non-uniform hyperbolic diffeomorphisms in a certain class of $C^2$ partially hyperbolic symplectic systems which have bounded $C^2$ distance to the identity. In this set, we prove the stability of non-uniform hyperbolicity as a function of the diffeomorphism and the measure, and the existence of an open and dense subset of continuity points for the center Lyapunov exponents. These results are generalized to the volume-preserving context.


title: Multi-Cell Massive MIMO in LoS

abstract: We consider a multi-cell Massive MIMO system in a line-of-sight (LoS) propagation environment, for which each user is served by one base station, with no cooperation among the base stations. Each base station knows the channel between its service antennas and its users, and uses these channels for precoding and decoding. Under these assumptions we derive explicit downlink and uplink effective SINR formulas for maximum-ratio (MR) processing and zero-forcing (ZF) processing. We also derive formulas for power control to meet pre-determined SINR targets. A numerical example demonstrating the usage of the derived formulas is provided.


title: On rigidity of unit-bar frameworks

abstract: We show the existence of infinitesimally rigid bipartite unit-bar frameworks in $\mathbb{R}^d$. We also construct unit-bar frameworks with girth up to 12 that are infinitesimally rigid in the plane. This answers problems proposed by Maehara.


title: Typed Closure Conversion for the Calculus of Constructions

abstract: Dependently typed languages such as Coq are used to specify and verify the full functional correctness of source programs. Type-preserving compilation can be used to preserve these specifications and proofs of correctness through compilation into the generated target-language programs. Unfortunately, type-preserving compilation of dependent types is hard. In essence, the problem is that dependent type systems are designed around high-level compositional abstractions to decide type checking, but compilation interferes with the type-system rules for reasoning about run-time terms. We develop a type-preserving closure-conversion translation from the Calculus of Constructions (CC) with strong dependent pairs ($\Sigma$ types)---a subset of the core language of Coq---to a type-safe, dependently typed compiler intermediate language named CC-CC. The central challenge in this work is how to translate the source type-system rules for reasoning about functions into target type-system rules for reasoning about closures. To justify these rules, we prove soundness of CC-CC by giving a model in CC. In addition to type preservation, we prove correctness of separate compilation.


title: On configuration spaces and Whitehouse's lifts of the Eulerian representations

abstract: S. Whitehouse's lifts of the Eulerian representations of $S_n$ to $S_{n+1}$ are reinterpreted, topologically and ring-theoretically, building on the first author's work on A. Ocneanu's theory of permutohedral blades.


title: PAC Battling Bandits in the Plackett-Luce Model

abstract: We introduce the probably approximately correct (PAC) \emph{Battling-Bandit} problem with the Plackett-Luce (PL) subset choice model--an online learning framework where at each trial the learner chooses a subset of $k$ arms from a fixed set of $n$ arms, and subsequently observes a stochastic feedback indicating preference information of the items in the chosen subset, e.g., the most preferred item or ranking of the top $m$ most preferred items etc. The objective is to identify a near-best item in the underlying PL model with high confidence. This generalizes the well-studied PAC \emph{Dueling-Bandit} problem over $n$ arms, which aims to recover the \emph{best-arm} from pairwise preference information, and is known to require $O(\frac{n}{\epsilon^2} \ln \frac{1}{\delta})$ sample complexity \citep{Busa_pl,Busa_top}. We study the sample complexity of this problem under various feedback models: (1) Winner of the subset (WI), and (2) Ranking of top-$m$ items (TR) for $2\le m \le k$. We show, surprisingly, that with winner information (WI) feedback over subsets of size $2 \leq k \leq n$, the best achievable sample complexity is still $O\left( \frac{n}{\epsilon^2} \ln \frac{1}{\delta}\right)$, independent of $k$, and the same as that in the Dueling Bandit setting ($k=2$). For the more general top-$m$ ranking (TR) feedback model, we show a significantly smaller lower bound on sample complexity of $\Omega\bigg( \frac{n}{m\epsilon^2} \ln \frac{1}{\delta}\bigg)$, which suggests a multiplicative reduction by a factor ${m}$ owing to the additional information revealed from preferences among $m$ items instead of just $1$. We also propose two algorithms for the PAC problem with the TR feedback model with optimal (upto logarithmic factors) sample complexity guarantees, establishing the increase in statistical efficiency from exploiting rank-ordered feedback.


title: Black Holes in Higher Dimensional General Relativity

abstract: This work is originally a Cambridge Part III essay. Throughout the paper, some aspects of General Relativity in higher dimensions are reviewed. The work presented draws a path within the wide landscape of higher dimensional black holes theory towards a specific objective: understanding how the combination of extended black objects and ultra-spinning rotation dynamics give rise to black hole topologies that depart from sphericity. The discussion aims to offer a compromise between giving a reasonably wide picture of the area of higher dimensional black holes, while at the same time going into detailed calculations that make manifest the enhanced nature of General Relativity in $d>4$.


title: Clockworked VEVs and Neutrino Mass

abstract: In this paper we present an augmented version of the Abelian scalar clockwork model to generate geometrically suppressed vacuum expectation values (vev) of the pseudo Nambu-Goldstone bosons, that we call the clockworked vevs. We briefly comment on generalization of the setup and possible 5D UV realizations. We demonstrate how tiny neutrino mass can be generated by clockworking a weak scale vev.


title: Beta super-functions on super-Grassmannians

abstract: Israel M. Gelfand gave a geometric interpretation for general hypergeometric functions as sections of the tautological bundle over a complex Grassmannian $G_{k,n}$. In particular, the beta function can be understood in terms of $G_{2,3}$. In this manuscript, we construct one of the simplest generalizations of the Euler beta function by adding arbitrary-many odd variables to the classical setting. We also relate the beta super-function to the gamma and the hypergeometric function.


title: A note on eigenvector error bounds for polynomial eigenvalue problems

abstract: The standard approach for finding eigenvalues and eigenvectors of matrix polynomials starts by embedding the coefficients of the polynomial into a matrix pencil, known as linearization. Building on the pioneering work of Nakatsukasa and Tisseur, we present error bounds for the computed eigenvectors of matrix polynomials. Our error bounds are applicable to any linearization satisfying two properties. First, eigenvectors of the original matrix polynomial can be recovered from those of the linearization without any arithmetic computation. Second, the linearization presents one-sided factorizations, which relate the residual for the linearization with the residual for the polynomial. Linearizations satisfying these two properties include the family of block Kronecker linearizations. The error bounds imply that an eigenvector has been computed accurately when the residual norm is small, provided that the computed associated eigenvalue is well-separated from the rest of the spectrum of the linearization. The theory is illustrated by numerical examples.


title: Quantification of flux for non-equilibrium dynamics and thermodynamics for driving non-Michaelis-Menton Enzyme Rates

abstract: The driving force for active physical and biological systems is determined by both the underlying landscape and the non-equilibrium curl flux. While landscape can be quantified in the experiments by the histograms of the collecting trajectories of the observables, the experimental flux quantification is still challenging. In this work, we studied the single molecule enzyme dynamics and observed the deviation in kinetics from the conventional Michaelis-Menton reaction rate. We identified and quantified the non-equilibrium flux as the origin of such non-Michaelis-Menton enzyme rate behavior. This is the first time of rigorous quantification of the flux for the driving force of the non-equilibrium active dynamics. We also quantified the corresponding non-equilibrium thermodynamics in terms of chemical potential and entropy production. We identified and quantified the origin of the flux, chemical potential and entropy production as the heat absorbed (energy input) in the enzyme reaction.


title: 3D hydrodynamic simulations of C ingestion into a convective O shell

abstract: Interactions between convective shells in evolved massive stars have been linked to supernova impostors, to the production of the odd-Z elements Cl, K, and Sc, and they might also help generate the large-scale asphericities that are known to facilitate shock revival in supernova explosion models. We investigate the process of ingestion of C-shell material into a convective O-burning shell, including the hydrodynamic feedback from the nuclear burning of the ingested material. Our 3D hydrodynamic simulations span almost 3 dex in the total luminosity $L_\mathrm{tot}$. All but one of the simulations reach a quasi-stationary state with the entrainment rate and convective velocity proportional to $L_\mathrm{tot}$ and $L_\mathrm{tot}^{1/3}$, respectively. Carbon burning provides $14\,$--$\,33\%$ of the total luminosity, depending on the set of reactions considered. Equivalent simulations done on $768^3$ and $1152^3$ grids are in excellent quantitative agreement. The flow is dominated by a few large-scale convective cells. An instability leading to large-scale oscillations with Mach numbers in excess of $0.2$ develops in an experimental run with the energy yield from C burning increased by a factor of 10. This run represents most closely the conditions expected in a violent O-C shell merger, which is a potential production site for odd-Z elements such as K and Sc and which may seed asymmetries in the supernova progenitor. 1D simulations may underestimate the energy generation from the burning of ingested material by as much as a factor two owing to their missing the effect of clumpiness of entrained material on the nuclear reaction rate.


title: Asymptotic trace formula for the Hecke operators

abstract: Given integers $m$, $n$ and $k$, we give an explicit formula with an optimal error term (with square root cancelation) for the Petersson trace formula involving the $m$-th and $n$-th Fourier coefficients of an orthonormal basis of $S_k(N)^*$ (the weight $k$ newforms with fixed square-free level $N$) provided that $|4 \pi \sqrt{mn}- k|=o(k^{\frac{1}{3}})$. Moreover, we establish an explicit formula with a power saving error term for the trace of the Hecke operator $\mathcal{T}_n^*$ on $S_k(N)^*$ averaged over $k$ in a short interval. By bounding the second moment of the trace of $\mathcal{T}_{n}$ over a larger interval, we show that the trace of $\mathcal{T}_n$ is unusually large in the range $|4 \pi \sqrt{n}- k| = o(n^{\frac{1}{6}})$. As an application, for any fixed prime $p$ with $\gcd(p,N)=1$, we show that there exists a sequence $\{k_n\}$ of weights such that the error term of Weyl's law for $\mathcal{T}_p$ is unusually large and violates the prediction of arithmetic quantum chaos. In particular, this generalizes the result of Gamburd, Jakobson and Sarnak~\cite[Theorem 1.4]{Gamburd} with an improved exponent.


title: Architectural Techniques for Improving NAND Flash Memory Reliability

abstract: Raw bit errors are common in NAND flash memory and will increase in the future. These errors reduce flash reliability and limit the lifetime of a flash memory device. We aim to improve flash reliability with a multitude of low-cost architectural techniques. We show that NAND flash memory reliability can be improved at low cost and with low performance overhead by deploying various architectural techniques that are aware of higher-level application behavior and underlying flash device characteristics. We analyze flash error characteristics and workload behavior through experimental characterization, and design new flash controller algorithms that use the insights gained from our analysis to improve flash reliability at a low cost. We investigate four directions through this approach. (1) We propose a new technique called WARM that improves flash reliability by 12.9 times by managing flash retention differently for write-hot data and write-cold data. (2) We propose a new framework that learns an online flash channel model for each chip and enables four new flash controller algorithms to improve flash reliability by up to 69.9%. (3) We identify three new error characteristics in 3D NAND through a comprehensive experimental characterization of real 3D NAND chips, and propose four new techniques that mitigate these new errors and improve 3D NAND reliability by up to 66.9%. (4) We propose a new technique called HeatWatch that improves 3D NAND reliability by 3.85 times by utilizing self-healing effect to mitigate retention errors in 3D NAND.


title: The Existence of Infinitely Many Geometrically Distinct Non-Constant Prime Closed Geodesics on Riemannian Manifolds

abstract: We enumerate a necessary condition for the existence of infinitely many geometrically distinct, non-constant, prime closed geodesics on an arbitrary closed Riemannian manifold $M$. That is, we show that any Riemannian metric on $M$ admits infinitely many prime closed geodesics such that the energy functional $E:\Lambda M\to\mathbb{R}$ has infinitely many non-degenerate critical points on the free loop space $\Lambda M$ of Sobolev class $H^1=W^{1,2}$. This result is obtained by invoking a handle decomposition of free loop space and using methods of cellular homology to study its topological invariants.


title: Scene-LSTM: A Model for Human Trajectory Prediction

abstract: We develop a human movement trajectory prediction system that incorporates the scene information (Scene-LSTM) as well as human movement trajectories (Pedestrian movement LSTM) in the prediction process within static crowded scenes. We superimpose a two-level grid structure (scene is divided into grid cells each modeled by a scene-LSTM, which are further divided into smaller sub-grids for finer spatial granularity) and explore common human trajectories occurring in the grid cell (e.g., making a right or left turn onto sidewalks coming out of an alley; or standing still at bus/train stops). Two coupled LSTM networks, Pedestrian movement LSTMs (one per target) and the corresponding Scene-LSTMs (one per grid-cell) are trained simultaneously to predict the next movements. We show that such common path information greatly influences prediction of future movement. We further design a scene data filter that holds important non-linear movement information. The scene data filter allows us to select the relevant parts of the information from the grid cell's memory relative to a target's state. We evaluate and compare two versions of our method with the Linear and several existing LSTM-based methods on five crowded video sequences from the UCY [1] and ETH [2] datasets. The results show that our method reduces the location displacement errors compared to related methods and specifically about 80% reduction compared to social interaction methods.


title: Stability for biparabolic subalgebras of simple Lie algebras

abstract: Let K be an algebraically closed field of characteristic 0. It is well known that any quasi-reductive Lie algebra is stable. However, there are stable Lie algebras which are not quasi-reductive. This raises the question, if for some particular class of non-reductive Lie algebras, there is equivalence between stability and quasi-reductivity. In particular, it was conjectured by Panyushev that these two notions are equivalent for biparabolic subalgebras of a reductive Lie algebra. In this paper, we give a positive answer to this conjecture.


title: Mechanism Design with News Utility

abstract: News utility is the idea that the utility of an agent depends on changes in her beliefs over consumption and money. We introduce news utility into otherwise classical static Bayesian mechanism design models. We show that a key role is played by the timeline of the mechanism, i.e. whether there are delays between the announcement stage, the participation stage, the play stage and the realization stage of a mechanism. Depending on the timing, agents with news utility can experience two additional news utility effects: a surprise effect derived from comparing to pre-mechanism beliefs, as well as a realization effect derived from comparing post-play beliefs with the actual outcome of the mechanism. We look at two distinct mechanism design settings reflecting the two main strands of the classical literature. In the first model, a monopolist screens an agent according to the magnitude of her loss aversion. In the second model, we consider a general multi-agent Bayesian mechanism design setting where the uncertainty of each player stems from not knowing the intrinsic types of the other agents. We give applications to auctions and public good provision which illustrate how news utility changes classical results. For both models we characterize the optimal design of the timeline. A timeline featuring no delay between participation and play but a delay in realization is never optimal in either model. In the screening model the optimal timeline is one without delays. In auction settings, under fairly natural assumptions the optimal timeline has delays between all three stages of the mechanism.


title: Enhancement of betatron X-rays through asymmetric laser wakefield generated in transverse density gradients

abstract: Laser wakefield acceleration of electrons usually offers an axisymmetry around the laser propagation axis. Thus, the accelerating electrons that are focused on axis often execute small transverse oscillations. In this Article, we propose a simple scheme to break this symmetry, which enhances the transverse wiggling of electrons and boosts the betatron radiation emission. Through 3D particle-in-cell simulations, we show that sending the laser with a small angle of incidence on a transverse plasma density gradient generates an asymmetric wakefield. It first provokes injection and then increases the wiggling of the electrons through the transverse shifting of the wakefield axis which occurs when the laser pulse leaves the gradient. Consequently, we show that the radiated energy per unit of charge can increase by a factor $>20$ when using this scheme, and that the critical energy of the radiation quintuples compared with a reference case without the transverse density gradient.


title: Interpretable Time Series Classification using All-Subsequence Learning and Symbolic Representations in Time and Frequency Domains

abstract: The time series classification literature has expanded rapidly over the last decade, with many new classification approaches published each year. The research focus has mostly been on improving the accuracy and efficiency of classifiers, while their interpretability has been somewhat neglected. Classifier interpretability has become a critical constraint for many application domains and the introduction of the 'right to explanation' GDPR EU legislation in May 2018 is likely to further emphasize the importance of explainable learning algorithms. In this work we analyse the state-of-the-art for time series classification, and propose new algorithms that aim to maintain the classifier accuracy and efficiency, but keep interpretability as a key design constraint. We present new time series classification algorithms that advance the state-of-the-art by implementing the following three key ideas: (1) Multiple resolutions of symbolic approximations: we combine symbolic representations obtained using different parameters; (2) Multiple domain representations: we combine symbolic approximations in time (e.g., SAX) and frequency (e.g., SFA) domains; (3) Efficient navigation of a huge symbolic-words space: we adapt a symbolic sequence classifier named SEQL, to make it work with multiple domain representations (e.g., SAX-SEQL, SFA-SEQL), and use its greedy feature selection strategy to effectively filter the best features for each representation. We show that a multi-resolution multi-domain linear classifier, SAX-SFA-SEQL, achieves a similar accuracy to the state-of-the-art COTE ensemble, and to a recent deep learning method (FCN), but uses a fraction of the time required by either COTE or FCN. We discuss the accuracy, efficiency and interpretability of our proposed algorithms. To further analyse the interpretability aspect of our classifiers, we present a case study on an ecology benchmark.


title: Saturation numbers for Ramsey-minimal graphs

abstract: Given graphs $H_1, \dots, H_t$, a graph $G$ is $(H_1, \dots, H_t)$-Ramsey-minimal if every $t$-coloring of the edges of $G$ contains a monochromatic $H_i$ in color $i$ for some $i\in\{1, \dots, t\}$, but any proper subgraph of $G $ does not possess this property. We define $\mathcal{R}_{\min}(H_1, \dots, H_t)$ to be the family of $(H_1, \dots, H_t)$-Ramsey-minimal graphs. A graph $G$ is \dfn{$\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated} if no element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G$, but for any edge $e$ in $\overline{G}$, some element of $\mathcal{R}_{\min}(H_1, \dots, H_t)$ is a subgraph of $G + e$. We define $sat(n, \mathcal{R}_{\min}(H_1, \dots, H_t))$ to be the minimum number of edges over all $\mathcal{R}_{\min}(H_1, \dots, H_t)$-saturated graphs on $n$ vertices. In 1987, Hanson and Toft conjectured that $sat(n, \mathcal{R}_{\min}(K_{k_1}, \dots, K_{k_t}) )= (r - 2)(n - r + 2)+\binom{r - 2}{2} $ for $n \ge r$, where $r=r(K_{k_1}, \dots, K_{k_t})$ is the classical Ramsey number for complete graphs. The first non-trivial case of Hanson and Toft's conjecture for sufficiently large $n$ was setteled in 2011, and is so far the only settled case. Motivated by Hanson and Toft's conjecture, we study the minimum number of edges over all $\mathcal{R}_{\min}(K_3, \mathcal{T}_k)$-saturated graphs on $n$ vertices, where $\mathcal{T}_k$ is the family of all trees on $k$ vertices. We show that for $n \ge 18$, $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_4)) =\lfloor {5n}/{2}\rfloor$. For $k \ge 5$ and $n \ge 2k + (\lceil k/2 \rceil +1) \lceil k/2 \rceil -2$, we obtain an asymptotic bound for $sat(n, \mathcal{R}_{\min}(K_3, \mathcal{T}_k))$.


title: Talent and experience shape competitive social hierarchies

abstract: Hierarchy of social organization is a ubiquitous property of animal and human groups, linked to resource allocation, collective decisions, individual health, and even to social instability. Experimental evidence shows that both intrinsic abilities of individuals and social reinforcement processes impact hierarchies; existing mathematical models, however, focus on the latter. Here, we develop a rigorous model that incorporates both features and explore their synergistic effect on stability and the structure of hierarchy. For pairwise interactions, we show that there is a trade-off between relationship stability and having the most talented individuals in the highest ranks. Extending this to open societies, where individuals enter and leave the population, we show that important societal effects arise from the interaction between talent and social processes: (i) despite positive global correlation between talent and rank, paradoxically, local correlation is negative, and (ii) the removal of an individual can induce a series of rank reversals. We show that the mechanism underlying the latter is the removal of an older individual of limited talent, who nonetheless was able to suppress the rise of younger, more talented individuals.


title: Off-diagonal ordered Ramsey numbers of matchings

abstract: For ordered graphs $G$ and $H$, the ordered Ramsey number $r_<(G,H)$ is the smallest $n$ such that every red/blue edge coloring of the complete graph on vertices $\{1,\dots,n\}$ contains either a blue copy of $G$ or a red copy of $H$, where the embedding must preserve the relative order of vertices. One number of interest, first studied by Conlon, Fox, Lee, and Sudakov, is the "off-diagonal" ordered Ramsey number $r_<(M, K_3)$, where $M$ is an ordered matching on $n$ vertices. In particular, Conlon et al. asked what asymptotic bounds (in $n$) can be obtained for $\max r_<(M, K_3)$, where the maximum is over all ordered matchings $M$ on $n$ vertices. The best-known upper bound is $O(n^2/\log n)$, whereas the best-known lower bound is $\Omega((n/\log n)^{4/3})$, and Conlon et al. hypothesize that $r_<(M, K_3) = O(n^{2-\epsilon})$ for every ordered matching $M$. We resolve two special cases of this conjecture. We show that the off-diagonal ordered Ramsey numbers for matchings in which edges do not cross are nearly linear. We also prove a truly sub-quadratic upper bound for random matchings with interval chromatic number $2$.


title: Inviscid damping near the Couette flow in a channel

abstract: We prove asymptotic stability of shear flows in a neighborhood of the Couette flow for the 2D Euler equations in the domain $\T\times[0,1]$. More precisely we prove that if we start with a small and smooth perturbation (in a suitable Gevrey space) of the Couette flow, then the velocity field converges strongly to a nearby shear flow. The vorticity, which is initially assumed to be supported in the interior of the channel, will remain supported in the interior of the channel, will be driven to higher frequencies by the linear flow, and will converge weakly to $0$ as $t\to\infty$, modulo the shear flows (zero mode in $x$).


title: Effective chemical potential in spontaneous baryogenesis

abstract: Models of spontaneous baryogenesis have an interaction term $\partial_\mu\theta j^\mu_B$ in the Lagrangian, where $j^\mu_B$ is the baryonic current and $\theta$ can be a pseudo-Nambu-Goldstone boson. Since the time component of this term, $\dot{\theta} j^0_B$, equals $\dot{\theta} n_B$ for a spatially homogeneous current, it is usually argued that this term implies a splitting in the energy of baryons and antibaryons thereby providing an effective chemical potential for baryon number. In thermal equilibrium, one {then obtains} $n_B \sim \dot{\theta} T^2$. We however argue that a term of this form in the Lagrangian does not contribute to the single particle energies of baryons and antibaryons. We show this for both fermionic and scalar baryons. But, similar to some recent work, we find that despite the above result the baryon number density obtained from a Boltzmann equation analysis can be proportional to $\dot{\theta} T^2$. Our arguments are very different from that in the standard literature on spontaneous baryogenesis.


title: 3D Geometry-Aware Semantic Labeling of Outdoor Street Scenes

abstract: This paper is concerned with the problem of how to better exploit 3D geometric information for dense semantic image labeling. Existing methods often treat the available 3D geometry information (e.g., 3D depth-map) simply as an additional image channel besides the R-G-B color channels, and apply the same technique for RGB image labeling. In this paper, we demonstrate that directly performing 3D convolution in the framework of a residual connected 3D voxel top-down modulation network can lead to superior results. Specifically, we propose a 3D semantic labeling method to label outdoor street scenes whenever a dense depth map is available. Experiments on the "Synthia" and "Cityscape" datasets show our method outperforms the state-of-the-art methods, suggesting such a simple 3D representation is effective in incorporating 3D geometric information.


title: Confidence penalty, annealing Gaussian noise and zoneout for biLSTM-CRF networks for named entity recognition

abstract: Named entity recognition (NER) is used to identify relevant entities in text. A bidirectional LSTM (long short term memory) encoder with a neural conditional random fields (CRF) decoder (biLSTM-CRF) is the state of the art methodology. In this work, we have done an analysis of several methods that intend to optimize the performance of networks based on this architecture, which in some cases encourage overfitting avoidance. These methods target exploration of parameter space, regularization of LSTMs and penalization of confident output distributions. Results show that the optimization methods improve the performance of the biLSTM-CRF NER baseline system, setting a new state of the art performance for the CoNLL-2003 Spanish set with an F1 of 87.18.


title: PtP$_2$: An Example of Exploring the Hidden Cairo Tessellation in the Pyrite Structure for Discovering Novel Two-Dimensional Materials

abstract: The Cairo tessellation refers to a pattern of type 2 pentagons that can pave an infinite plane without creating a gap or overlap. We reveal the hidden, layered Cairo tessellations in the pyrite structure with a general chemical formula of $AB_2$ and space group $pa\bar3$. We use this hidden tessellation along with density functional theory calculations to examine the possibility of obtaining a two-dimensional (2D) material with the Cairo tessellation from the bulk, using PtP$_2$ as an example. Unlike previously reported single-layer materials such as PdSe$_2$ with a buckled, pentagonal structure-strictly speaking, not belonging to the Cairo tessellation, we find that single-layer PtP$_2$ is completely planar exhibiting dynamically stable phonon modes. We also observe a reduction in the bandgaps PtP$_2$ from bulk to single layer using the Heyd-Scuseria-Ernzerhof (HSE) hybrid density functional, and the bandgap type switches from indirect to direct. By contrast, using the standard Perdew-Burke-Ernzerhof functional leads to the conclusion of single-layer PtP$_2$ being metallic. We further study the bonding characteristics of this novel single-layer material by computing the Bader charge transfer, the electron localization function, and the crystal orbit overlap population, which show mixed P-P covalent bonding and Pt-P ionic bonding, with the former being stronger. Finally, we study the surface states of single-layer PtP$_2$ and consider the spin-orbit coupling. We observe no spin-helical Dirac cone states, therefore ruling out single-layer PtP$_2$ as a topological insulator. We expect the example demonstrated in this work will stimulate interest in computationally identifying novel 2D materials from a variety of bulk materials with the pyrite structure.


title: Strong coupling of a single ion to an optical cavity

abstract: Strong coupling between an atom and an electromagnetic resonator is an important condition in cavity quantum electrodynamics (QED). While strong coupling in various physical systems has been achieved so far, it remained elusive for single atomic ions. In this paper we demonstrate for the first time the coupling of a single ion to an optical cavity with a coupling strength exceeding both atomic and cavity decay rates. We use cavity assisted Raman spectroscopy to precisely characterize the ion-cavity coupling strength and observe a spectrum featuring the normal mode splitting in the cavity transmission due to the ion-cavity interaction. Our work paves the way towards new applications of cavity QED utilizing single trapped ions in the strong coupling regime for quantum optics and quantum technologies.


title: Modeling and Simulation of Regenerative Braking Energy in DC Electric Rail Systems

abstract: Regenerative braking energy is the energy produced by a train during deceleration. When a train decelerates, the motors act as generators and produce electricity. This energy can be fed back to the third rail and consumed by other trains accelerating nearby. If there are no nearby trains, this energy is dumped as heat to avoid over voltage. Regenerative braking energy can be saved by installing energy storage systems (ESS) and reused later when it is needed. To find a suitable design, size and placement of energy storage, a good understanding of this energy is required. The aim of this paper is to model and simulate regenerative braking energy. The dc electric rail transit system model introduced in this paper includes trains, substations and rail systems.


title: Structural relaxation of porous glasses due to internal stresses and deformation under tensile loading at constant pressure

abstract: The time evolution of the pore size distributions and mechanical properties of amorphous solids at constant pressure is studied using molecular dynamics simulations. The porous glasses were initially prepared at constant volume conditions via a rapid thermal quench from the liquid state to the glassy region and allowing for simultaneous phase separation and material solidification. We found that at constant pressure and low temperature, the porous network becomes more compact and the glassy systems relocate to progressively lower levels of the potential energy. Although the elastic modulus and the average glass density both increase with the waiting time, their dependence is described by the power-law function with the same exponent. Moreover, the results of numerical simulations demonstrated that under tensile loading at constant pressure, low-density porous samples become significantly deformed and break up into separate domains at high strain, while dense glasses form a nearly homogeneous solid material.


title: Lifshitz Scaling, Microstate Counting from Number Theory and Black Hole Entropy

abstract: Non-relativistic field theories with anisotropic scale invariance in (1+1)-d are typically characterized by a dispersion relation $E\sim k^{z}$ and dynamical exponent $z>1$. The asymptotic growth of the number of states of these theories can be described by an extension of Cardy formula that depends on $z$. We show that this result can be recovered by counting the partitions of an integer into $z$-th powers, as proposed by Hardy and Ramanujan a century ago. This gives a novel relationship between the characteristic energy of the dispersion relation with the cylinder radius and the ground state energy. For free bosons with Lifshitz scaling, this relationship is shown to be identically fulfilled by virtue of the reflection property of the Riemann $\zeta$-function. The quantum Benjamin-Ono$_{2}$ (BO$_{2}$) integrable system, relevant in the AGT correspondence, is also analyzed. As a holographic realization, we provide a special set of boundary conditions for which the reduced phase space of Einstein gravity with a couple of $U(1)$ fields on AdS$_3$ is described by the BO$_{2}$ equations. This suggests that the phase space can be quantized in terms of quantum BO$_{2}$ states. Indeed, in the semiclassical limit, the ground state energy of BO$_{2}$ coincides with the energy of global AdS$_{3}$, and the Bekenstein-Hawking entropy for BTZ black holes is recovered from the anisotropic extension of Cardy formula.


title: Fooling Polytopes

abstract: We give a pseudorandom generator that fools $m$-facet polytopes over $\{0,1\}^n$ with seed length $\mathrm{polylog}(m) \cdot \log n$. The previous best seed length had superlinear dependence on $m$. An immediate consequence is a deterministic quasipolynomial time algorithm for approximating the number of solutions to any $\{0,1\}$-integer program.


title: Multiscale Network Model for Fibrin Fibers and Fibrin Clot with Protofibril Binding Mechanics

abstract: The multiscale behavior of the individual fibrin fibers and fibrin clots is modeled by coupling atomistic simulation data and microscopic experimental data. We propose a protofibril element made up of nonlinear spring network, constructed based on the molecular simulation and atomic force microscopy results to simulate the force extension behavior of fibrin fibers. This new network model also accounts for the complex interaction of protofibrils with each other, effect of presence of solvent, Coulombic attraction and other binding forces. The network model is applied to simulate the force extension behavior of single fibrin fiber from atomic force microscopy experiments and shows good agreement. Thus validated fibrin fiber network model is then combined with a modified version of Arruda-Boyce eight chain model to estimate the force extension behavior of continuum level fibrin clot, which shows very good correlation. The results show that this network model is able to predict the behavior of fibrin fibers as well as fibrin clot at small strains, large strains and even closer to the break strain. We use the network model to explain why the fibrin clots and fibers doesn't behave like a worm like chain, instead behaves like a nonlinear spring.


title: Modified Ringel-Hall algebras, naive lattice algebras and lattice algebras

abstract: For a given hereditary abelian category satisfying some finiteness conditions, in certain twisted cases it is shown that the modified Ringel-Hall algebra is isomorphic to the naive lattice algebra and there exists an epimorphism from the modified Ringel-Hall algebra to the lattice algebra. Furthermore, the kernel of this epimorphism is described explicitly. Finally, we show that the naive lattice algebra is invariant under the derived equivalences of hereditary abelian categories.


title: The Spatially Homogeneous Boltzmann Equation for Bose-Einstein Particles: Rate of Strong Convergence to Equilibrium

abstract: The paper is a continuation of our previous work on the spatially homogeneous Boltzmann equation for Bose-Einstein particles with quantum collision kernel that includes the hard sphere model. Solutions $F_t$ under consideration that conserve the mass, momentum, and energy and converge at least weakly to equilibrium $F_{{\rm be}}$ as $t\to\infty$ have been proven to exist at least for radially symmetric and non-singular initial data, and for the case of low temperature, $F_t$ have to be positive Borel measures. The new progress is as follows: we prove that the long time convergence of $F_t(\{0\})$ to the Bose-Einstein condensation $F_{{\rm be}}(\{0\})$ for low temperature holds for all radially symmetric and non-singular initial data $F_0$. This immediately implies the long time strong convergence to equilibrium. We also obtain an algebraic rate of the strong convergence for arbitrary temperature. Our proofs are based on the entropy control, Villani's inequality for the entropy dissipation, a suitable time-dependent convex combination between the solution and a fixed positive function (in order to overcome the lack of positive lower bound), the convex-positivity of the cubic collision integral, and an iteration technique for obtaining a positive lower bound of condensation.


title: Dynamic Pricing for Revenue Maximization in Mobile Social Data Market with Network Effects

abstract: Mobile data demand is increasing tremendously in wireless social networks, and thus an efficient pricing scheme for social-enabled services is urgently needed. Though static pricing is dominant in the actual data market, price intuitively ought to be dynamically changed to yield greater revenue. The critical question is how to design the optimal dynamic pricing scheme, with prospects for maximizing the expected long-term revenue. In this paper, we study the sequential dynamic pricing scheme of a monopoly mobile network operator in the social data market. In the market, the operator, i.e., the seller, individually offers each mobile user, i.e., the buyer, a certain price in multiple time periods dynamically and repeatedly. The proposed scheme exploits the network effects in the mobile users' behaviors that boost the social data demand. Furthermore, due to limited radio resource, the impact of wireless network congestion is taken into account in the pricing scheme. Thereafter, we propose a modified sequential pricing policy in order to ensure social fairness among mobile users in terms of their individual utilities. We analytically demonstrate that the proposed sequential dynamic pricing scheme can help the operator gain greater revenue and mobile users achieve higher total utilities than those of the baseline static pricing scheme. To gain more insights, we further study a simultaneous dynamic pricing scheme in which the operator determines the pricing strategy at the beginning of each time period. Mobile users decide on their individual data demand in each time period simultaneously, considering the network effects in the social domain and the congestion effects in the network domain. We construct the social graph using Erd\H{o}s-R\'enyi (ER) model and the real dataset based social network for performance evaluation.


title: $D=10$ dyonic black holes in string inspired models

abstract: We consider string inspired models in $D=10$ spacetime dimensions, which include couplings with 1- and 3-form fields as well as $R^4$ higher curvature corrections to the gravitational action. For such models, we explicitly construct a family of black hole solutions with both electric and magnetic charges, and with different horizon topologies. The solutions exhibit some features similar to those of self-gravitating monopoles in Einstein-Yang-Mills theory, which we discuss. When higher-curvature corrections are switched off, our solutions reduce to charged $p$-brane solutions previously studied in the literature. Novel qualitative features appear due to the $R^4$ terms, though. Such is the case of the emergence of branch singularities for charged solutions that, nonetheless, can be shielded by the event horizon.


title: Optimization of a perturbed sweeping process by constrained discontinuous controls

abstract: This paper deals with optimal control problems described by a controlled version of Moreau's sweeping process governed by convex polyhedra, where measurable control actions enter additive perturbations. This class of problems, which addresses unbounded discontinuous differential inclusions with intrinsic state constraints, is truly challenging and underinvestigated in control theory while being highly important for various applications. To attack such problems with constrained measurable controls, we develop a refined method of discrete approximations with establishing its well-posedness and strong convergence. This approach, married to advanced tools of first-order and second-order variational analysis and generalized differentiations, allows us to derive adequate collections of necessary optimality conditions for local minimizers, first in discrete-time problems and then in the original continuous-time controlled sweeping process by passing to the limit. The new results include an appropriate maximum condition and significantly extend the previous ones obtained under essentially more restrictive assumptions. We compare them with other versions of the maximum principle for controlled sweeping processes that have been recently established for global minimizers in problems with smooth sweeping sets by using different techniques. The obtained necessary optimality conditions are illustrated by several examples.


title: Relativistic Mean-Field and Beyond Approaches for Deformed Hypernuclei

abstract: We report the recent progress in relativistic mean-field (RMF) and beyond approaches for the low-energy structure of deformed hypernuclei. We show that the $\Lambda$ hyperon with orbital angular momentum $\ell=0$ (or $\ell>1$) generally reduces (enhances) nuclear quadrupole collectivity. The beyond mean-field studies of hypernuclear low-lying states demonstrate that there is generally a large configuration mixing between the two components $[^{A-1}Z (I^+) \otimes \Lambda p_{1/2}]^J$ and $[^{A-1}Z (I\pm2 ^+) \otimes \Lambda p_{3/2}]^J$ in the hypernuclear $1/2^-_1, 3/2^-_1$ states. The mixing weight increases as the collective correlation of nuclear core becomes stronger. Finally, we show how the energies of hypernuclear low-lying states are sensitive to parameters in the effective $N \Lambda $ interaction, the uncertainty of which has a large impact on the predicted maximal mass of neutron stars.


title: Faster and More Robust Mesh-based Algorithms for Obstacle k-Nearest Neighbour

abstract: We are interested in the problem of finding $k$ nearest neighbours in the plane and in the presence of polygonal obstacles ($\textit{OkNN}$). Widely used algorithms for OkNN are based on incremental visibility graphs, which means they require costly and online visibility checking and have worst-case quadratic running time. Recently $\mathbf{Polyanya}$, a fast point-to-point pathfinding algorithm was proposed which avoids the disadvantages of visibility graphs by searching over an alternative data structure known as a navigation mesh. Previously, we adapted $\mathbf{Polyanya}$ to multi-target scenarios by developing two specialised heuristic functions: the $\mathbf{Interval heuristic}$ $h_v$ and the $\mathbf{Target heuristic}$ $h_t$. Though these methods outperform visibility graph algorithms by orders of magnitude in all our experiments they are not robust: $h_v$ expands many redundant nodes when the set of neighbours is small while $h_t$ performs poorly when the set of neighbours is large. In this paper, we propose new algorithms and heuristics for OkNN which perform well regardless of neighbour density.


title: Comparison of two equivariant $\eta$-forms

abstract: In this paper, we first define the equivariant infinitesimal $\eta$-form, then we compare it with the equivariant $\eta$-form, modulo exact forms, by a locally computable form. As a consequence, we obtain the singular behavior of the equivariant $\eta$-form, modulo exact forms, as a function on the acting Lie group. This result extends a result of Goette and it plays an important role in our recent work on the localization of $\eta$-invariants and on the differential $K$-theory.


title: A Nonparametric Bayesian Method for Clustering of High-Dimensional Mixed Dataset

abstract: The paper is motivated from clustering problem in high-throughput mixed datasets. Clustering of such datasets can provide much insight into biological associations. An open problem in this context is to simultaneously cluster high-dimensional mixed dataset. This paper fills that gap and proposes a nonparametric Bayesian method called Gen-VariScan for biclustering of high-dimensional mixed dataset. Gen-VariScan utilizes Generalized Linear Models (GLM), and latent variable approaches to integrate mixed dataset. We make use of Poisson Dirichlet Process (PDP) to identify a lower dimensional structure of mixed covariates. We show that covariate co-cluster detection is aposteriori consistent, as the number of subject and covariates grows. The advantage of Gen-VariScan is also demonstrated through numerical simulation and data analysis. As a byproduct, we derive a working value approach to perform beta regression. Supplementary materials for this article are available online.


title: An Entropy Analysis based Intrusion Detection System for Controller Area Network in Vehicles

abstract: Dozens of Electronic Control Units (ECUs) can be found on modern vehicles for safety and driving assistance. These ECUs also introduce new security vulnerabilities as recent attacks have been reported by plugging the in-vehicle system or through wireless access. In this paper, we focus on the security of the Controller Area Network (CAN), which is a standard for communication among ECUs. CAN bus by design does not have sufficient security features to protect it from insider or outsider attacks. Intrusion detection system (IDS) is one of the most effective ways to enhance vehicle security on the insecure CAN bus protocol. We propose a new IDS based on the entropy of the identifier bits in CAN messages. The key observation is that all the known CAN message injection attacks need to alter the CAN ID bits and analyzing the entropy of such bits can be an effective way to detect those attacks. We collected real CAN messages from a vehicle (2016 Ford Fusion) and performed simulated message injection attacks. The experimental results showed that our entropy based IDS can successfully detect all the injection attacks without disrupting the communication on CAN.


title: Checkerboard colourable twisted duals

abstract: In this note we show that any embedded graph has a checkerboard colourable twisted dual and any Eulerian embedded graph has a checkerboard colourable partial Petrial, answering questions posed by Ellis-Monaghan and Moffatt. The proofs are based on orientations of their medial graphs and orientations of boundary components of their corresponding ribbon graphs. The arrow presentations of ribbon graphs are also used. We also obtain two related results.


title: A Nonsmooth Dynamical Systems Perspective on Accelerated Extensions of ADMM

abstract: Recently, there has been great interest in connections between continuous-time dynamical systems and optimization methods, notably in the context of accelerated methods for smooth and unconstrained problems. In this paper we extend this perspective to nonsmooth and constrained problems by obtaining differential inclusions associated to novel accelerated variants of the alternating direction method of multipliers (ADMM). Through a Lyapunov analysis, we derive rates of convergence for these dynamical systems in different settings that illustrate an interesting tradeoff between decaying versus constant damping strategies. We also obtain modified equations capturing fine-grained details of these methods, which have improved stability and preserve the leading order convergence rates. An extension to general nonlinear equality and inequality constraints in connection with singular perturbation theory is provided.


title: Optimal control of Markov-modulated multiclass many-server queues

abstract: We study multiclass many-server queues for which the arrival, service and abandonment rates are all modulated by a common finite-state Markov process. We assume that the system operates in the "averaged" Halfin-Whitt regime, which means that it is critically loaded in the average sense, although not necessarily in each state of the Markov process. We show that under any static priority policy, the Markov-modulated diffusion-scaled queueing process is geometrically ergodic. This is accomplished by employing a solution to an associated Poisson equation in order to construct a suitable Lyapunov function. We establish a functional central limit theorem for the diffusion-scaled queueing process and show that the limiting process is a controlled diffusion with piecewise linear drift and constant covariance matrix. We address the infinite-horizon discounted and long-run average (ergodic) optimal control problems and establish asymptotic optimality.


title: Phenomenological Inclusion of Alternative Dispersion Relations to the Teukolsky Equation and its Application to Bounding the Graviton Mass with Gravitational-wave Measurements

abstract: Existing constraints on the graviton mass from gravitational-wave detections rely on the phase difference developed between different frequencies during the propagation. Effects on the quasinormal-mode frequencies of the black-hole ringdown due to the graviton mass are often ignored. While perturbation theories of black holes have been well developed in the context of general relativity, this is not the case for modified gravity theories. We propose a phenomenological modification to the Teukolsky equation of perturbed black holes to include the dispersion relation due to a gravitational field of nonzero mass. Solving this modified Teukolsky equation by logarithmic perturbation theory, we compute the shift of the quasinormal-mode frequencies due to the presence of a graviton mass. This hypothetical shift can be used to constrain the graviton mass with ringdown signals, either standalone or in conjunction with the phase difference accumulated due to the wave propagation. We estimate that constraints on the graviton mass of $m_g \lesssim 10^{-15}\,\textrm{eV}$ can be put with a detection of the ringdown signal alone by second generation gravitational-wave detectors.


title: Meaningful Details: The value of adding baseline dependence to the Neutrino-Dark Matter Effect

abstract: The possible effect on the flavour spectra of astronomical neutrinos from a neutrino-dark matter interaction has been investigated for decoherent neutrinos. In this work, we report results calculated for coherent neutrinos. This was done with two different models for the neutrino dark-matter interactions: a flavour state interaction,as for the weak interaction in the Standard Model, and a mass state interaction, which is predicted by certain non-Standard Models (specifically Scotogenic models). It was found that using a coherent analysis dramatically increased the explorable parameter space for the neutrino-dark matter interaction. However, the detection of coherent astronomical neutrinos presents a significant challenge to experimentalists, because such a detection would require an improvement in energy resolution by at least six orders of magnitude, with similar improvements in astronomical distance determinations.


title: Entire solutions of certain type of non-linear differential-difference equations

abstract: The existence of sufficiently many finite order meromorphic solutions of a differential equation, or difference equation, or differential-difference equation, appears to be a good indicator of integrability. In this paper, we investigate the nonlinear differential-difference equations of form \begin{equation*} f(z)^{n}+L(z,f)=q(z)e^{p(z)},\eqno(*) \end{equation*} where $n\geq 2, L(z,f)(\not\equiv 0)$ is a linear differential-difference polynomial in $f(z)$, with small functions as its coefficients, $p(z)$ and $q(z)$ are non-vanishing polynomials. We first obtain that $n=2$ and $f(z)$ satisfies $\overline{\lambda}(f)=\sigma(f)=\deg p(z)$ under the assumption that the equation (*) possesses a transcendental entire solution of hyper order $\sigma_{2}(f)<1$. Furthermore, we give the exact form of the solutions of equation (*) when $p(z)=a, q(z)=b$, $\eta$ are constants and $L(z,f)=g(z)f(z+\eta)+h(z)f^{'}(z)+u(z)f(z)+v(z)$ is a linear differential-difference polynomial in $f(z)$ with polynomial coefficients $g(z), h(z), u(z)$ and $v(z)$ such that $L(z,f)\not\equiv 0$ and $a b \eta\neq 0$.


title: Extracting strange quark freeze-out information in Pb+Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV from $\phi$ and $\Omega$ production

abstract: Using a covariant quark coalescence model combined with a blast-wave-like analytical parametrization for (anti-)strange quark phase-space freeze-out configuration, we extract information on strange quark freeze-out dynamics in Pb+Pb collisions at $\sqrt{s_{NN}}$=2.76 TeV by fitting the measured transverse momentum spectra and elliptic flows ($v_2$) of $\phi$ mesons and $\Omega$ baryons. We find that although both the measured and calculated $v_2$ of $\phi$ and $\Omega$ satisfy the number-of-constituent-quark (NCQ) scaling, the NCQ-scaled $v_2$ is significantly smaller than the $v_2$ of strange quarks, implying that the NCQ-scaled $v_2$ of $\phi$ and $\Omega$ cannot be simply identified as the $v_2$ of strange quarks at hadronization. Meanwhile, our results indicate that the covariant quark coalescence model can nicely describe the spectra and elliptic flows of $\phi$ and $\Omega$ simultaneously, suggesting the coalescence mechanism is still valid for $\phi$ and $\Omega$ production in Pb+Pb collisions at LHC energies.


title: Constructing Non-isomorphic Signless Laplacian Cospectral Graphs

abstract: In this article, we generate large families of non-isomorphic and signless Lalacian cospectral graphs using partial transpose on graphs. Our constructions are significantly powerful. More than $70\%$ of non-isomorphic signless-Laplacian cospectral graphs can be generated with partial transpose when number of vertices is $\le 8$. We have also produced numerous examples of non-isomorphic signless Laplacian cospectral graphs.


title: Ferromagnetism in graphene traced to an antisymmetric orbital combination of involved electronic states

abstract: We reveal that the origin of ferromagnetism caused by $sp$ electrons in graphene with vacancies can be traced to electrons partially filling $sp^{2*}$-antibonding and $p_z^*$-nonbonding states, which are induced by the vacancies and appear near the Fermi level. Because the spatial wavefunctions of the both states are composed of atomic orbitals in an antisymmetric configuration, their spin wavefunctions should be symmetric according to the electron exchange antisymmetric principle, leading to electrons partially filling these states in spin polarization. Since this $p_z^*$ state originates not from interactions between the atoms but from the unpaired $p_z$ orbitals due to the removal of $p_z$ orbitals on the minority sublattice, the $p_z^*$ state is constrained, distributed on the atoms of the majority sublattice, and decays gradually from the vacancy as $\sim$ $1/r$. According to these characteristics, we concluded that the $p_z^*$ state plays a critical role in magnetic ordering in graphene with vacancies. If the vacancy concentration in graphene is large enough to cause the decay-length regions to overlap, constraining the $p_z^*$ orbital components as little as possible on the minority sublattice atoms in the overlap regions results in the vacancy-induced $p_z^*$ states being coherent. The coherent process in the overlap region leads to the wavefunctions in all the involved regions antisymmetrized, consequently causing ferromagnetism according to the electron exchange antisymmetric principle. This unusual mechanism concerned with the origin of $sp$-electron magnetism and magnetic ordering has never before been reported and is distinctly different from conventional mechanisms.