title: Pan-tilt-zoom SLAM for Sports Videos

abstract: We present an online SLAM system specifically designed to track pan-tilt-zoom (PTZ) cameras in highly dynamic sports such as basketball and soccer games. In these games, PTZ cameras rotate very fast and players cover large image areas. To overcome these challenges, we propose to use a novel camera model for tracking and to use rays as landmarks in mapping. Rays overcome the missing depth in pure-rotation cameras. We also develop an online pan-tilt forest for mapping and introduce moving objects (players) detection to mitigate negative impacts from foreground objects. We test our method on both synthetic and real datasets. The experimental results show the superior performance of our method over previous methods for online PTZ camera pose estimation.


title: NN-sort: Neural Network based Data Distribution-aware Sorting

abstract: Sorting is a fundamental operation in computing. However, the speed of state-of-the-art sorting algorithms on a single thread has reached their limits. Meanwhile, deep learning has demonstrated its potential to provide significant performance improvements in data mining and machine learning tasks. Therefore, it is interesting to explore whether sorting can also speed up by deep learning techniques. In this paper, a neural network-based data distribution aware sorting method named NN-sort is presented. Compared to traditional comparison-based sorting algorithms, which need to compare the data elements in pairwise, NN-sort leverages the neural network model to learn the data distribution and uses it to map disordered data elements into ordered ones. Although the complexity of NN-sort is $nlogn$ in theory, it can run in near-linear time as being observed in most of the cases. Experimental results on both synthetic and real-world datasets show that NN-sort yields performance improvement by up to 10.9x over traditional sorting algorithms.


title: Hierarchical Coded Matrix Multiplication

abstract: Slow working nodes, known as stragglers, can greatly reduce the speed of distributed computation. Coded matrix multiplication is a recently introduced technique that enables straggler-resistant distributed multiplication of large matrices. A key property is that the finishing time depends only on the work completed by a set of the fastest workers, while the work done by the slowest workers is ignored completely. This paper is motivated by the observation that in real-world commercial cloud computing systems such as Amazon's Elastic Compute Cloud (EC2) the distinction between fast and slow nodes is often a soft one. Thus, if we could also exploit the work completed by stragglers we may realize substantial performance gains. To realize such gains, in this paper we use the idea of hierarchical coding (Ferdinand and Draper, IEEE Int. Symp. Inf. Theory, 2018). We decompose the overall matrix multiplication task into a hierarchy of heterogeneously sized subtasks. The duty to complete each subtask is shared amongst all workers and each subtask is (generally) of a different complexity. The motivation for the hierarchical decomposition is the recognition that more workers will finish the first subtask than the second (or third, forth, etc.). Connecting to error correction coding, earlier subtasks can therefore be designed to be of a higher rate than later subtasks. Through this hierarchical design our scheme exploits the work completed by stragglers, rather than ignoring it, even if that amount is much less than that completed by the fastest workers. We numerically show that our method realizes a 60% improvement in the expected finishing time for a widely studied statistical model of the speed of computation and, on Amazon EC2, the gain is 35%.


title: Cuboid Partitioning for Hierarchical Coded Matrix Multiplication

abstract: Coded matrix multiplication is a technique to enable straggler-resistant multiplication of large matrices in distributed computing systems. In this paper, we first present a conceptual framework to represent the division of work amongst processors in coded matrix multiplication as a cuboid partitioning problem. This framework allows us to unify existing methods and motivates new techniques. Building on this framework, we apply the idea of hierarchical coding (Ferdinand & Draper, 2018) to coded matrix multiplication. The hierarchical scheme we develop is able to exploit the work completed by all processors (fast and slow), rather than ignoring the slow ones, even if the amount of work completed by stragglers is much less than that completed by the fastest workers. On Amazon EC2, we achieve a 37% improvement in average finishing time compared to non-hierarchical schemes.


title: Factoring Derivation Spaces via Intersection Types (Extended Version)

abstract: In typical non-idempotent intersection type systems, proof normalization is not confluent. In this paper we introduce a confluent non-idempotent intersection type system for the lambda-calculus. Typing derivations are presented using proof term syntax. The system enjoys good properties: subject reduction, strong normalization, and a very regular theory of residuals. A correspondence with the lambda-calculus is established by simulation theorems. The machinery of non-idempotent intersection types allows us to track the usage of resources required to obtain an answer. In particular, it induces a notion of garbage: a computation is garbage if it does not contribute to obtaining an answer. Using these notions, we show that the derivation space of a lambda-term may be factorized using a variant of the Grothendieck construction for semilattices. This means, in particular, that any derivation in the lambda-calculus can be uniquely written as a garbage-free prefix followed by garbage.


title: Hardware Constraints in Compressive Sensing Based Antenna Array

abstract: New constraints based on practical hardware are introduced in compressive sensing (CS) based rectangular antenna array thinning technique. In a standard CS array sparsity enforcement, antenna elements are considered as ideal point sources which do not comply with the practical hardware. It also does not consider the impact of mutual coupling of neighbouring antenna elements on the impedance mismatch. In this work, we propose a combination of constraints based on physical antenna array specifications, mutual coupling and practical antenna element radiation performance in the CS-based array thinning enforcement. Analytical modelling along with a design example is presented and discussed. Array performance based on full-wave electromagnetic simulations shows the reliability of the proposed approach.


title: PH-GCN: Person Re-identification with Part-based Hierarchical Graph Convolutional Network

abstract: The person re-identification (Re-ID) task requires to robustly extract feature representations for person images. Recently, part-based representation models have been widely studied for extracting the more compact and robust feature representations for person images to improve person Re-ID results. However, existing part-based representation models mostly extract the features of different parts independently which ignore the relationship information between different parts. To overcome this limitation, in this paper we propose a novel deep learning framework, named Part-based Hierarchical Graph Convolutional Network (PH-GCN) for person Re-ID problem. Given a person image, PH-GCN first constructs a hierarchical graph to represent the pairwise relationships among different parts. Then, both local and global feature learning are performed by the messages passing in PH-GCN, which takes other nodes information into account for part feature representation. Finally, a perceptron layer is adopted for the final person part label prediction and re-identification. The proposed framework provides a general solution that integrates local, global and structural feature learning simultaneously in a unified end-to-end network. Extensive experiments on several benchmark datasets demonstrate the effectiveness of the proposed PH-GCN based Re-ID approach.


title: Potential-Based Advice for Stochastic Policy Learning

abstract: This paper augments the reward received by a reinforcement learning agent with potential functions in order to help the agent learn (possibly stochastic) optimal policies. We show that a potential-based reward shaping scheme is able to preserve optimality of stochastic policies, and demonstrate that the ability of an agent to learn an optimal policy is not affected when this scheme is augmented to soft Q-learning. We propose a method to impart potential based advice schemes to policy gradient algorithms. An algorithm that considers an advantage actor-critic architecture augmented with this scheme is proposed, and we give guarantees on its convergence. Finally, we evaluate our approach on a puddle-jump grid world with indistinguishable states, and the continuous state and action mountain car environment from classical control. Our results indicate that these schemes allow the agent to learn a stochastic optimal policy faster and obtain a higher average reward.


title: Osmotic Pressure of Permeable Ionic Microgels: Poisson-Boltzmann Theory and Exact Statistical Mechanical Relations in the Cell Model

abstract: Ionic microgels are soft colloidal particles, composed of crosslinked polymer networks, that ionize and swell when dispersed in a good solvent. Swelling of these permeable, compressible particles involves a balance of electrostatic, elastic, and mixing contributions to the single-particle osmotic pressure. The electrostatic contribution depends on the distributions of mobile counterions and coions and of fixed charge on the polymers. Within the cell model, we employ two complementary methods to derive the electrostatic osmotic pressure of ionic microgels. In Poisson-Boltzmann (PB) theory, we minimize a free energy functional with respect to the electrostatic potential to obtain the bulk pressure. From the pressure tensor, we extract the electrostatic and gel contributions to the total pressure. In a statistical mechanical approach, we vary the free energy with respect to microgel size to obtain exact relations for the microgel electrostatic osmotic pressure. We present results for planar, cylindrical, and spherical geometries. For models of membranes and microgels with fixed charge uniformly distributed over their surface or volume, we derive analogues of the contact value theorem for charged colloids. We validate these relations by solving the PB equation and computing ion densities and osmotic pressures. When implemented within PB theory, the two methods yield identical electrostatic osmotic pressures for surface-charged microgels. For volume-charged microgels, the exact electrostatic osmotic pressure equals the average of the corresponding PB profile over the gel volume. We demonstrate that swelling of ionic microgels depends on variation of the electrostatic pressure inside the particle and discuss implications for interpreting experiments.


title: Automated Surgical Activity Recognition with One Labeled Sequence

abstract: Prior work has demonstrated the feasibility of automated activity recognition in robot-assisted surgery from motion data. However, these efforts have assumed the availability of a large number of densely-annotated sequences, which must be provided manually by experts. This process is tedious, expensive, and error-prone. In this paper, we present the first analysis under the assumption of scarce annotations, where as little as one annotated sequence is available for training. We demonstrate feasibility of automated recognition in this challenging setting, and we show that learning representations in an unsupervised fashion, before the recognition phase, leads to significant gains in performance. In addition, our paper poses a new challenge to the community: how much further can we push performance in this important yet relatively unexplored regime?


title: Finite sum of weighted composition operators with closed range

abstract: In this paper, first we characterize closedness of range of the finite sum of weighted composition operators between different Lp-spaces. Then we discuss polar decomposition and invertibility of these operators.


title: Towards Verified Stochastic Variational Inference for Probabilistic Programs

abstract: Probabilistic programming is the idea of writing models from statistics and machine learning using program notations and reasoning about these models using generic inference engines. Recently its combination with deep learning has been explored intensely, leading to the development of deep probabilistic programming languages such as Pyro. At the core of this development lie inference engines based on stochastic variational inference algorithms. When asked to find information about the posterior distribution of a model written in such a language, these algorithms convert this posterior-inference query into an optimisation problem and solve it approximately by gradient ascent. In this paper, we analyse one of the most fundamental and versatile variational inference algorithms, called score estimator, using tools from denotational semantics and program analysis. We formally express what this algorithm does on models denoted by programs, and expose implicit assumptions made by the algorithm. The violation of these assumptions may lead to an undefined optimisation objective or the loss of convergence guarantee of the optimisation process. We then describe rules for proving these assumptions, which can be automated by static program analyses. Some of our rules use nontrivial facts from continuous mathematics, and let us replace requirements about integrals in the assumptions, by conditions involving differentiation or boundedness, which are much easier to prove automatically. Following our general methodology, we have developed a static program analysis for Pyro that aims at discharging the assumption about what we call model-guide support match. Applied to the eight representative model-guide pairs from the Pyro webpage, our analysis finds a bug in one of these cases, reveals a non-standard use of an inference engine in another, and shows the assumptions are met in the remaining cases.


title: Bidding for Preferred Timing: An Auction Design for Electric Vehicle Charging Station Scheduling

abstract: This paper considers an electric vehicle charging scheduling setting where vehicle users can reserve charging time in advance at a charging station. In this setting, users are allowed to explicitly express their preferences over different start times and the length of charging periods for charging their vehicles. The goal is to compute optimal charging schedules which maximize the social welfare of all users given their time preferences and the state of charge of their vehicles. Assuming that users are self-interested agents who may behave strategically to advance their own benefits rather than the social welfare of all agents, we propose an iterative auction which computes high quality schedules and, at the same time, preserve users' privacy by progressively eliciting their preferences as necessary. We conduct a game theoretical analysis on the proposed iterative auction to prove its individual rationality and the best response for agents. Through extensive experiments, we demonstrate that the iterative auction can achieve high-efficiency solutions with a partial value information. Additionally, we explore the relationship between scheduling efficiency and information revelation in the auction.


title: Adaptive Susceptibility and Heterogeneity in Contagion Models on Networks

abstract: Contagious processes, such as spread of infectious diseases, social behaviors, or computer viruses, affect biological, social, and technological systems. Epidemic models for large populations and finite populations on networks have been used to understand and control both transient and steady-state behaviors. Typically it is assumed that after recovery from an infection, every agent will either return to its original susceptible state or acquire full immunity to reinfection. We study the network SIRI (Susceptible-Infected-Recovered-Infected) model, an epidemic model for the spread of contagious processes on a network of heterogeneous agents that can adapt their susceptibility to reinfection. The model generalizes existing models to accommodate realistic conditions in which agents acquire partial or compromised immunity after first exposure to an infection. We prove necessary and sufficient conditions on model parameters and network structure that distinguish four dynamic regimes: infection-free, epidemic, endemic, and bistable. For the bistable regime, which is not accounted for in traditional models, we show how there can be a rapid resurgent epidemic after what looks like convergence to an infection-free population. We use the model and its predictive capability to show how control strategies can be designed to mitigate problematic contagious behaviors.


title: Achieving ultra-high power factor in Sb2Te2Se via valence band convergence

abstract: An efficient approach to improve the thermoelectric performance of materials is to converge their electronic bands, which is known as band engineering. In this regard, lots of effort have been made to further improve the thermoelectric efficiency of bulk and exfoliated monolayers of Bi$_{2}$Te$_{3}$ and Sb$_{2}$Te$_{3}$. However, ultra-high band degeneracy and thus significant improvement of power factor have not been yet realized in these materials. Using first-principles methods, we demonstrate that the valley degeneracy of Bi$_{2}$Te$_{3}$ and Sb$_{2}$Te$_{3}$ can be largely improved upon substitution of the middle layer Te atoms with the more electronegative S or Se atoms. Our detailed analysis reveals that in this family of materials two out of four possible valence band valleys merely depend on the electronegativity of the middle layer chalcogen atoms, which makes the independent modulation of the valleys position feasible. As such, band alignment of Bi$_{2}$Te$_{3}$ and Sb$_{2}$Te$_{3}$ largely improves upon substitution of the middle layer Te atoms with more electronegative, yet chemically similar, S and Se ones. A superior valence band alignment is attained in Sb$_{2}$Te$_{2}$Se monolayers where the three out of four possible valleys are well-aligned, resulting in a giant band degeneracy of 18 that holds the record among all thermoelectric materials.


title: Recurrent Connections Aid Occluded Object Recognition by Discounting Occluders

abstract: Recurrent connections in the visual cortex are thought to aid object recognition when part of the stimulus is occluded. Here we investigate if and how recurrent connections in artificial neural networks similarly aid object recognition. We systematically test and compare architectures comprised of bottom-up (B), lateral (L) and top-down (T) connections. Performance is evaluated on a novel stereoscopic occluded object recognition dataset. The task consists of recognizing one target digit occluded by multiple occluder digits in a pseudo-3D environment. We find that recurrent models perform significantly better than their feedforward counterparts, which were matched in parametric complexity. Furthermore, we analyze how the network's representation of the stimuli evolves over time due to recurrent connections. We show that the recurrent connections tend to move the network's representation of an occluded digit towards its un-occluded version. Our results suggest that both the brain and artificial neural networks can exploit recurrent connectivity to aid occluded object recognition.


title: Modules for loop Affine-Virasoro Algebras

abstract: In this paper we study the representations of loop Affine-Virasoro Algebras. As they have canonical triangular decomposition, we define Verma modules and its irreducible quotients. We give necessary and sufficient condition for an irreducible highest weight module to have finite dimensional weight spaces. We prove that an irreducible integrable module is either an highest weight module or a lowest weight module whenever the canonical central element acts non trivially. At the end we construct Affine central operators for each integer and they commute with the action of the Affine Lie Algebra.


title: Three ways to select from two attosecond pulses

abstract: We demonstrate that by filtering high harmonics it is possible to obtain two different single attosecond pulses (SAP) resulting from naturally separated spectral domains formed during propagation in the macroscopic medium. We propose a feasible experimental configuration in which one can obtain a SAP in a lower energy domain (<300 eV), or another SAP in a higher energy domain (>300 eV). Without filtering, a double attosecond pulse emission with fixed temporal separation is obtained. The gap between the two spectral domains is close to the onset of the water window.


title: Towards meta-interpretive learning of programming language semantics

abstract: We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.


title: Thermal rectifier based on asymmetric interaction of molecular chain with thermostats

abstract: The model of thermal rectifier based on the asymmetry of interaction of the molecular chain ends with thermostats is proposed in this work. The rectification mechanism is not related to the chain asymmetry, but to the asymmetry of the interaction of chain ends with thermostats, for instance, due to different lengths of the end thermostats. The chain can be homogeneous, it is only important that the thermal conductivity of the chain should depend on temperature strict monotonically. The effect is maximal when convergence of the thermal conductivity with increasing length just begins to manifest itself. In this case, the efficiency of thermal rectification can reach 25%. These conditions are met for carbon nanoribbons and nanotubes. Therefore, they can be ideal objects for the construction of thermal rectifiers based on the asymmetric interaction with thermostats. Numerical simulation of heat transfer shows that the rectification of heat transfer can reach 14% for nanoribbons and 22% for nanotubes.


title: Vibrational Spectra of MO (M=Sn/Pb) in Their Bulk and Single Layer Forms: Role of Avoided Crossing in their Thermodynamic Properties

abstract: We report ab-initio calculations of the phonon dispersion relation on the bulk and single layer of SnO and PbO. We identify Raman active modes and infrared active modes at the zone center {\Gamma} point. In agreement with experimental observations of Raman spectroscopy measurement, we find that A1g mode is higher in frequency than that of Eg mode. Moreover, the reason behind the shift of A2u mode to higher frequency for monolayer of both SnO and PbO is revealed from our calculations. We also find that long-range Coulomb interaction enhances the dielectric constant and Born effective charges in bulk SnO and bulk PbO, compared to their monolayer. Here, we observe avoided crossing or Landau degeneracy between longitudinal acoustics (LA) and low energetic transverse optical (TO) modes in bulk form of both SnO and PbO. Additionally, monolayer SnO also shows low energetic Raman modes (Eg and A1g) of same frequency as bulk. As a result, we notice avoided crossing between LA and TO modes in monolayer SnO. Interestingly, higher Born effective charge and low dielectric constant enhances self-force constants and the interatomic force constants (IFCs) between the M-O bonds. The enhanced force constants give rise to higher vibrational frequency of phonon modes for monolayer PbO. Our studies reveal that due to avoided crossing between two degenerate bands, the phonon dispersion near high symmetry X point lowers specific heat and vibrational entropy in bulk SnO, bulk PbO and only in monolayer SnO upto temperature 150 K. Moreover, the large mass difference between Pb and Oxygen atoms and absence of interlayer van der Waal interactions give rise to high phonon vibration which reduces the occurrence of band crossing between two degenerate energy levels. The absence of avoided crossing leads higher specific heat and vibrational entropy in monolayer PbO at low temperatures.


title: Tagged Deterministic Finite Automata with Lookahead

abstract: This paper extends the work of Laurikari and Kuklewicz on tagged deterministic finite automata (TDFA) in the context of submatch extraction in regular expressions. The main goal of this work is application of TDFA to lexer generators that optimize for speed of the generated code. I suggest a number of practical improvements to Laurikari algorithm; notably, the use of one-symbol lookahead, which results in significant reduction of tag variables and operations on them. Experimental results confirm that lookahead-aware TDFA are considerably faster and usually smaller than baseline TDFA; and they are reasonably close in speed and size to ordinary DFA used for recognition of regular languages. The proposed algorithm can handle repeated submatch and therefore is applicable to full parsing. Furthermore, I examine the problem of disambiguation in the case of leftmost greedy and POSIX policies. I formalize POSIX disambiguation algorithm suggested by Kuklewicz and show that the resulting TDFA are as efficient as Laurikari TDFA or TDFA that use leftmost greedy disambiguation. All discussed algorithms are implemented in the open source lexer generator RE2C.


title: Discretization of the maximum for the derivatives of a random model of $\log|\zeta|$ on the critical line

abstract: In this short note, we study the derivatives of all orders for the random field $$ X_T(h) = \sum_{p \leq T} \frac{\text{Re}(U_p \, p^{-i h})}{p^{1/2}}, \quad h\in [0,1], $$ where $(U_p, \, p ~\text{primes})$ is an i.i.d. sequence of uniform random variables on the unit circle in $\mathbb{C}$. We show that the maximum of $X_{T}$, and more generally the maximum of its $j$-th derivative, varies on a $(\log T)^{-\frac{1}{2}(j+2)}$ scale, which improves and extends the main result in Arguin & Ouimet (2019) and makes further progress towards the open problem of the tightness of the recentered maximum of $X_{T}$. Our proof is also much simpler and shorter.


title: On the Formation of Solid States Beyond Perfect Crystals: Quasicrystals, Geometrically-Frustrated Crystals and Glasses

abstract: There are three kinds of solid states of matter that can exist in physical space: quasicrystalline (quasiperiodic), crystalline (periodic) and amorphous (aperiodic). Herein, we consider the degree of orientational order that develops upon the formation of a solid state to be characterized by the application of quaternion numbers. The formation of icosahedral quasicrystalline solids is considered alongside the development of bulk superfluidity, characterized by a complex order parameter, that occurs by spontaneous symmetry breaking in three-dimensions. Crystalline solid states are viewed as higher-dimensional analogues to phase-coherent topologically-ordered superfluid states of matter that develop in restricted dimensions (Hohenberg-Mermin- Wagner theorem). Lastly, amorphous solid states are viewed as dual to crystalline solids, in analogy to Mott-insulating states of matter that are dual to topologically-ordered superfluids.


title: Characterizing topological phases by quantum quenches: A general theory

abstract: We investigate a generic dynamical theory to characterize topological quantum phases by quantum quenches, and study the emergent topology of quantum dynamics when the quenches start from a deep or shallow trivial phase to topological regimes. Two dynamical schemes are examined: One is to characterize topological phases via quantum dynamics induced by a single quench along an arbitrary axis, and the other applies a sequence of quenches with respect to all (pseudo)spin axes. These two schemes are both built on the so-called dynamical bulk-surface correspondence, which shows that the $d$-dimensional ($d$D) topological phases with integer invariants can be characterized by the dynamical topological pattern emerging on $(d-1)$D band inversion surfaces (BISs). We show that the first dynamical scheme works for both deep and shallow quenches, the latter of which is initialized in an incompletely polarized trivial phase. For the second scheme, however, when the initial phase for the quench study varies from the deep trivial (fully polarized) to shallow trivial (incompletely polarized) regime, a new dynamical topological transition, associated with topological charges crossing BISs, is predicted in quench dynamics. A generic criterion of the dynamical topological transition is precisely obtained. Above the criterion, quantum dynamics on BISs well characterizes the topology of the post-quench Hamiltonian. Below the criterion, the quench dynamics may depict a new dynamical topology; the post-quench topology can be characterized by the emergent topological invariant plus the total charges moving outside the region enclosed by BISs. We illustrate our results by numerically calculating the 2D quantum anomalous Hall model. This work broadens the way to classify topological phases by non-equilibrium quantum dynamics, and has feasibility for experimental realization.


title: Accurate mass estimates from the proper motions of dispersion-supported galaxies

abstract: Starting with the spherical Jeans equation, we show that there exists a radius where the mass enclosed depends only on the projected tangential velocity dispersion, assuming that the anisotropy profile slowly varies. This is well-approximated at the radius where the log-slope of the stellar tracer profile is $-2$: $r_{-2}$. The associated mass is $M(r_{-2}) = 2 G^{-1} \langle \sigma_{\mathcal{T}}^{2}\rangle^{*} r_{-2}$ and the circular velocity is $V^{2}({r_{-2}}) = 2\langle \sigma_{\mathcal{T}}^{2}\rangle^{*}$. For a Plummer profile $r_{-2} \simeq 4R_e/5$. Importantly, $r_{-2}$ is smaller than the characteristic radius for line-of-sight velocities derived by Wolf et al. 2010. Together, the two estimators can constrain the mass profiles of dispersion-supported galaxies. We illustrate its applicability using published proper motion measurements of dwarf galaxies Draco and Sculptor, and find that they are consistent with inhabiting cuspy NFW subhalos of the kind predicted in CDM but we cannot rule out a core. We test our combined mass estimators against previously-published, non-spherical cosmological dwarf galaxy simulations done in both CDM and SIDM. For CDM, the estimates for the dynamic rotation curves are found to be accurate to $10\%$ while SIDM are accurate to $15\%$. Unfortunately, this level of accuracy is not good enough to measure slopes at the level required to distinguish between cusps and cores of the type predicted in viable SIDM models without stronger priors. However, we find that this provides good enough accuracy to distinguish between the normalization differences predicted at small radii ($r \simeq r_{-2} < r_{\rm core}$) for interesting SIDM models. As the number of galaxies with internal proper motions increases, mass estimators of this kind will enable valuable constraints on SIDM and CDM models.


title: Explicit Jet Veto as a Tool to Purify the Underlying Event in the Drell-Yan Process Using CMS Open Data

abstract: The underlying event is an important part of high-energy collision events. In the event generators, the underlying event is tuned by fits to collision data. Usually, the underlying event observables are affected by the existence of extra jets and it is difficult to find a part of the phase space which is dominated by the underlying event. In this paper, we suggest to veto the jets in the considered region to disentangle these effects. The idea is verified to work on CMS Open Data. To our knowledge, it is the first time that such ideas are tested on real collision data.


title: The Generalized Trust Region Subproblem: solution complexity and convex hull results

abstract: We consider the Generalized Trust Region Subproblem (GTRS) of minimizing a nonconvex quadratic objective over a nonconvex quadratic constraint. A lifting of this problem recasts the GTRS as minimizing a linear objective subject to two nonconvex quadratic constraints. Our first main contribution is structural: we give an explicit description of the convex hull of this nonconvex set in terms of the generalized eigenvalues of an associated matrix pencil. This result may be of interest in building relaxations for nonconvex quadratic programs. Moreover, this result allows us to reformulate the GTRS as the minimization of two convex quadratic functions in the original space. Our next set of contributions is algorithmic: we present an algorithm for solving the GTRS up to an epsilon additive error based on this reformulation. We carefully handle numerical issues that arise from inexact generalized eigenvalue and eigenvector computations and establish explicit running time guarantees for these algorithms. Notably, our algorithms run in linear (in the size of the input) time. Furthermore, our algorithm for computing an epsilon-optimal solution has a slightly-improved running time dependence on epsilon over the state-of-the-art algorithm. Our analysis shows that the dominant cost in solving the GTRS lies in solving a generalized eigenvalue problem -- establishing a natural connection between these problems. Finally, generalizations of our convex hull results allow us to apply our algorithms and their theoretical guarantees directly to equality-, interval-, and hollow- constrained variants of the GTRS. This gives the first linear-time algorithm in the literature for these variants of the GTRS.


title: Engineering Music to Slow Breathing and Invite Relaxed Physiology

abstract: We engineered an interactive music system that influences a user's breathing rate to induce a relaxation response. This system generates ambient music containing periodic shifts in loudness that are determined by the user's own breathing patterns. We evaluated the efficacy of this music intervention for participants who were engaged in an attention-demanding task, and thus explicitly not focusing on their breathing or on listening to the music. We measured breathing patterns in addition to multiple peripheral and cortical indicators of physiological arousal while users experienced three different interaction designs: (1) a "Fixed Tempo" amplitude modulation rate at six beats per minute; (2) a "Personalized Tempo" modulation rate fixed at 75\% of each individual's breathing rate baseline, and (3) a "Personalized Envelope" design in which the amplitude modulation matches each individual's breathing pattern in real-time. Our results revealed that each interactive music design slowed down breathing rates, with the "Personalized Tempo" design having the largest effect, one that was more significant than the non-personalized design. The physiological arousal indicators (electrodermal activity, heart rate, and slow cortical potentials measured in EEG) showed concomitant reductions, suggesting that slowing users' breathing rates shifted them towards a more calmed state. These results suggest that interactive music incorporating biometric data may have greater effects on physiology than traditional recorded music.


title: Order Matters: Shuffling Sequence Generation for Video Prediction

abstract: Predicting future frames in natural video sequences is a new challenge that is receiving increasing attention in the computer vision community. However, existing models suffer from severe loss of temporal information when the predicted sequence is long. Compared to previous methods focusing on generating more realistic contents, this paper extensively studies the importance of sequential order information for video generation. A novel Shuffling sEquence gEneration network (SEE-Net) is proposed that can learn to discriminate unnatural sequential orders by shuffling the video frames and comparing them to the real video sequence. Systematic experiments on three datasets with both synthetic and real-world videos manifest the effectiveness of shuffling sequence generation for video prediction in our proposed model and demonstrate state-of-the-art performance by both qualitative and quantitative evaluations. The source code is available at https://github.com/andrewjywang/SEENet.


title: Unified theoretical and experimental view on transient shear banding

abstract: Dense emulsions, colloidal gels, microgels, and foams all display a solid-like behavior at rest characterized by a yield stress, above which the material flows like a liquid. Such a fluidization transition often consists of long-lasting transient flows that involve shear-banded velocity profiles. The characteristic time for full fluidization, $\tau_\text{f}$, has been reported to decay as a power-law of the shear rate $\dot \gamma$ and of the shear stress $\sigma$ with respective exponents $\alpha$ and $\beta$. Strikingly, the ratio of these exponents was empirically observed to coincide with the exponent of the Herschel-Bulkley law that describes the steady-state flow behavior of these complex fluids. Here we introduce a continuum model, based on the minimization of a "free energy", that captures quantitatively all the salient features associated with such \textit{transient} shear-banding. More generally, our results provide a unified theoretical framework for describing the yielding transition and the steady-state flow properties of yield stress fluids.


title: Lyapunov Inequalities for Nabla Caputo Boundary Value Problems

abstract: We will establish uniqueness of solutions to boundary value problems involving the nabla Caputo fractional difference under two-point boundary conditions and give an explicit expression for the Green's functions for these problems. Using the Green's functions for specific cases of these boundary value problems, we will then develop Lyapunov inequalities for certain nabla Caputo BVPs.


title: Some New Congruences for $l$-Regular Partitions Modulo $l$

abstract: A partition of $n$ is $l$-regular if none of its parts is divisible by $l$. Let $b_l(n)$ denote the number of $l$-regular partitions of $n$. In this paper, using theta function identities due to Ramanujan, we establish some new infinite families of congruences for $b_l(n)$ modulo $l$, where $l=13,17,23$.


title: Next Generation Resilient Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPS) consist of distributed engineered environments where the monitoring and surveillance tasks are governed by tightly integrated computing, communication and control technologies. CPS are omnipresent in our everyday life. Hacking and failures of such systems have impact on critical services with potentially significant and lasting consequences. In this paper, we review which requirements a CPS must meet to address the challenges of tomorrow. Two key challenges are understanding and reinforcing the resilience of CPS.


title: The Diffeomorphism Field Revisited

abstract: We revisit the dynamical action, developed in earlier studies [1-3], of the gravitational analog of Yang-Mills field, called the diffeomorphism field. We show an inconsistency in the construction of this action and solve it by a modification. The modified action becomes structurally similar to the Yang-Mills action. Then we explain the problems that arise from interpreting the diffemorphism field as a tensor. We leave out this interpretation, thereby also covariantization as a method to reach diffeomorphism invariance. By introducing corrections that involve affine connection coefficients we recover full diffeomorphism invariance in interactions of the diffeomorphism field with other fields. We also show that this approach maintains the spatial diffeomorphism invariance of the theory itself.


title: Measurement of the azimuthal modulations of hadrons in unpolarised SIDIS

abstract: In 2016 and 2017 COMPASS has collected a considerable amount of deep inelastic scattering events with a 160 GeV/c muon beam and a liquid hydrogen target. An analysis of 4 % of these data has allowed to extract preliminary results on the amplitudes of three azimuthal modulations, $A_{UU}^{\cos\phi_h}$, $A_{UU}^{\cos2\phi_h}$ and $A_{LU}^{\sin\phi_h}$. The first two are particularly important since they carry information on the intrinsic transverse momentum $\vec{k}_T$ of the quarks and on the correlations between the quark spin and $\vec{k}_T$, expressed by the Boer-Mulders TMD PDFs. They show strong kinematic dependence as a function of the Bjorken variable $x$, of the fraction of virtual photon energy carried by the hadron $z$ and of the component $P_{hT}$ of the hadron momentum orthogonal to the virtual photon direction, thus confirming the results of previous measurements. Also, as was recently shown by COMPASS, hadrons coming from decay of diffractively produced vector mesons give significant contribution to the amplitudes in certain kinematic regions, explaining in part the kinematic dependencies and helping the interpretation of the measurements. The effect on the published COMPASS $^6$LiD data is discussed.


title: Spatial patterns emerging from a stochastic process near criticality

abstract: There is mounting empirical evidence that many communities of living organisms display key features which closely resemble those of physical systems at criticality. We here introduce a minimal model framework for the dynamics of a community of individuals which undergoes local birth-death, immigration and local jumps on a regular lattice. We study its properties when the system is close to its critical point. Even if this model violates detailed balance, within a physically relevant regime dominated by fluctuations, it is possible to calculate analytically the probability density function of the number of individuals living in a given volume, which captures the close-to-critical behavior of the community across spatial scales. We find that the resulting distribution satisfies an equation where spatial effects are encoded in appropriate functions of space, which we calculate explicitly. The validity of the analytical formul{\ae} is confirmed by simulations in the expected regimes. We finally discuss how this model in the critical-like regime is in agreement with several biodiversity patterns observed in tropical rain forests.

categories: physics.bio-ph cond-mat.stat-mech q-bio.PE q-bio.QM


title: Anomalous energy transport in laminates with exceptional points

abstract: Recent interest in metamaterials has led to a renewed study of wave mechanics in different branches of physics. Elastodynamics involves a special intricacy, owing to a coupling between the volumetric and shear parts of the elastic waves. Through a study of in-plane waves traversing periodic laminates, we here show that this coupling can result with unusual energy transport. We find that the corresponding frequency spectrum contains modes which simultaneously attenuate and propagate, and demonstrate that these modes coalesce to purely propagating modes at exceptional points, a property that was recently reported in parity-time symmetric systems. We show that the laminate exhibits metamaterial features near these points, such as negative refraction, and beam steering and splitting. While negative refraction in laminates has been demonstrated before by considering pure shear waves impinging an interface with multiple layers, here we realize it for coupled waves impinging a simple single-layer interface. This feature, together with the appearance of exceptional points, are absent from the model problem of anti-plane shear waves which have no volumetric part, and hence from the mathematically identical electromagnetic waves. Our work further paves the way for applications such as asymmetric mode switches, by encircling exceptional points in a tangible, purely elastic apparatus.


title: Incremental Transformer with Deliberation Decoder for Document Grounded Conversations

abstract: Document Grounded Conversations is a task to generate dialogue responses when chatting about the content of a given document. Obviously, document knowledge plays a critical role in Document Grounded Conversations, while existing dialogue models do not exploit this kind of knowledge effectively enough. In this paper, we propose a novel Transformer-based architecture for multi-turn document grounded conversations. In particular, we devise an Incremental Transformer to encode multi-turn utterances along with knowledge in related documents. Motivated by the human cognitive process, we design a two-pass decoder (Deliberation Decoder) to improve context coherence and knowledge correctness. Our empirical study on a real-world Document Grounded Dataset proves that responses generated by our model significantly outperform competitive baselines on both context coherence and knowledge relevance.


title: Occupation densities of Ensembles of Branching Random Walks

abstract: We study the limiting occupation density process for a large number of critical and driftless branching random walks. We show that the rescaled occupation densities of $\lfloor sN\rfloor$ branching random walks, viewed as a function-valued, increasing process $\{g_{s}^{N}\}_{s\ge 0}$, converges weakly to a pure jump process in the Skorohod space $\mathbb D([0, +\infty), \mathcal C_{0}(\mathbb R))$, as $N\to\infty$. Moreover, the jumps of the limiting process consist of i.i.d. copies of an Integrated super-Brownian Excursion (ISE) density, rescaled and weighted by the jump sizes in a real-valued stable-1/2 subordinator.


title: Exactness vs C*-exactness for certain non-discrete groups

abstract: It is known that exactness for a discrete group is equivalent to C*-exactness, i.e., the exactness of its reduced C*-algebra. The problem of whether this equivalence holds for general locally compact groups has recently been reduced by Cave and Zacharias to the case of totally disconnected unimodular groups. We prove that the equivalence does hold for a class of groups that includes all locally compact groups with reduced C*-algebra admitting a tracial state. As a consequence, we present original proofs that totally disconnected locally compact (tdlc) invariant-neighbourhood (IN) groups and a class of groups introduced by Suzuki satisfy the equivalence problem, without using inner amenability.


title: Debye mechanism of giant microwave absorption in superconductors

abstract: We discuss a mechanism of microwave absorption in conventional superconductors which is similar to the Debye absorption mechanism in molecular gases. The contribution of this mechanism to the \emph{ac} conductivity is proportional to the inelastic quasiparticle relaxation time $\tau_\mathrm{\mathrm{in}}$ rather than the elastic one $\tau_{\mathrm{el}}$ and therefore it can be much larger than the conventional one. The Debye contribution to the linear conductivity arises only in the presence of a \emph{dc} supercurrent in the system and its magnitude depends strongly on the orientation of the microwave field relative to the supercurrent. The Debye contribution to the nonlinear conductivity exists even in the absence of \emph{dc} supercurrent. Since it is proportional to $\tau_{\mathrm{in}}$ the nonlinear threshold is anomalously low. Microwave absorption measurements may provide direct information about $\tau_\mathrm{in}$ in superconductors.


title: Magneto-electronic properties of twisted bilayer graphene system

abstract: The generalized tight-binding model is developed to investigate the magneto-electronic properties in twisted bilayer graphene system. All the interlayer and intralayer atomic interactions are included in the Moire superlattice. The twisted bilayer graphene system is a zero-gap semiconductor with double-degenerate Dirac-cone structures, and saddle-point energy dispersions appearing at low energies for cases of small twisting angles. There exist rich and unique magnetic quantization phenomena, in which many Landau-level subgroups are induced due to specific Moire zone folding through modulating the various stacking angles. The Landau-level spectrum shows hybridized characteristics associated with the those in monolayer, and AA $\&$ AB stackings. The complex relations among the different sublattices on the same and different graphene layers are explored in detail.


title: Reset Control for Vibration Disturbance Rejection

abstract: The high tech industry which requires fast stable motion with nanometer precision continues to mainly use PID which is limited by fundamental linear control limitations. Floor vibrations as disturbance significantly affect performance and their rejection is particularly affected by these limitations. Reset control has provided a promising alternative to surpass these, while simultaneously allowing the use of industry standard loop-shaping during design. However, the reset action introduced higher order harmonics can induce unwanted dynamics and negatively influence performance. This paper investigates two reset control strategies namely (1) band-pass phase lag reduction and (2) phase compensation to reduce the negative effects of higher order harmonics. The strategies are tested on a precision positioning stage for vibration rejection and the results show that phase compensation provides better performance compared to other tested strategies.


title: McKean-Vlasov optimal control: the dynamic programming principle

abstract: We study the McKean-Vlasov optimal control problem with common noise in various formulations, namely the strong and weak formulation, as well as the Markovian and non-Markovian formulations, and allowing for the law of the control process to appear in the state dynamics. By interpreting the controls as probability measures on an appropriate canonical space with two filtrations, we then develop the classical measurable selection, conditioning and concatenation arguments in this new context, and establish the dynamic programming principle under general conditions.


title: Surface plasmon-polariton waves obliquely guided along interface containing periodicity direction of one-dimensional photonic crystal

abstract: We recently formulated the canonical boundary-value problem of propagation of surface plasmon-polariton (SPP) waves along the direction of periodicity of a one-dimensional photonic crystal. Here we present the general formulation of that canonical problem supporting the oblique propagation of SPP waves in the interface plane. The general dispersion equation has been obtained using the rigorous coupled-wave approach for the oblique propagation and numerically solved using the Muller's method. A periodicity in the wavenumbers of the SPP waves was observed. Furthermore, the regions of high losses for the SPP waves, dubbed as plasmonic bandgaps, were observed in the photonic band diagram of the SPP waves. These plasmonic bandgaps can be used to construct optical filters for the SPP waves.


title: The Scales of Black Holes with nAdS$_2$ Geometry

abstract: We study nearly extreme black holes with nearly AdS$_2$ horizon geometry in various settings inspired by string theory. Our focus is on the scales of the nAdS$_2$ region and their relation to microscopic theory. These scales are determined by a generalization of the attractor mechanism for extremal black holes and realized geometrically as the normal derivatives along the extremal attractor flow. In some cases the scales are equivalently determined by the charge dependence of the extremal attractor by itself. Our examples include near extreme black holes in $D\geq 4$ dimensions, AdS boundary conditions, rotation, and 5D black holes on the non-BPS branch.


title: Defense-in-Depth: A Recipe for Logic Locking to Prevail

abstract: Logic locking has emerged as a promising solution for protecting the semiconductor intellectual Property (IP) from the untrusted entities in the design and fabrication process. Logic locking hides the functionality of the IP by embedding additional key-gates in the circuit. The correct output of the chip is produced, once the correct key value is available at the input of the key-gates. The confidentiality of the key is imperative for the security of the locked IP as it stands as the lone barrier against IP infringement. Therefore, the logic locking is considered as a broken scheme once the key value is exposed. The research community has shown the vulnerability of the logic locking techniques against different classes of attacks, such as Oracle-guided and physical attacks. Although several countermeasures have already been proposed against such attacks, none of them is simultaneously impeccable against Oracle-guided, Oracle-less, and physical attacks. Under such circumstances, a defense-in-depth approach can be considered as a practical approach in addressing the vulnerabilities of logic locking. Defense-in-depth is a multilayer defense approach where several independent countermeasures are implemented in the device to provide aggregated protection against different attack vectors. Introducing such a multilayer defense model in logic locking is the major contribution of this paper. With regard to this, we first identify the core components of logic locking schemes, which need to be protected. Afterwards, we categorize the vulnerabilities of core components according to potential threats for the locking key in logic locking schemes. Furthermore, we propose several defense layers and countermeasures to protect the device from those vulnerabilities. Finally, we turn our focus to open research questions and conclude with suggestions for future research directions.


title: Generalized chromatic polynomials of graphs from Heaps of pieces

abstract: Let $G$ be a simple graph and let $\mathcal{L}(G)$ be the free partially commutative Lie algebra associated to $G$. In this paper, using heaps of pieces, we prove an expression for the generalized $\textbf k$-chromatic polynomial of $G$ in terms of dimensions of the grade spaces of $\mathcal{L}(G)$. This will give us a new interpretation for the chromatic polynomials in terms of multilinear heaps and Lyndon length. The classical results of Stanley, and Greene and Zaslavsky regarding the acyclic orientations of $G$ are obtained as corollaries. A heap with a unique minimal piece is said to be a pyramid and our main theorem is proved using the properties of pyramids. For this reason, we prove two important properties of pyramids namely the pyramid proportionality lemma, and the pyramid and Lyndon heap lemma. In the last section, we will introduce the $(m,\lambda)$-labelling on acyclic orientations which is similar to Stanley's $\lambda$-compatible pairs. As an application of our main theorem, using this $(m,\lambda)$-labelled acyclic orientations, we will prove the reciprocity theorem for the derivatives of the chromatic polynomials.


title: Complexity of Modification Problems for Reciprocal Best Match Graphs

abstract: Reciprocal best match graphs (RBMGs) are vertex colored graphs whose vertices represent genes and the colors the species where the genes reside. Edges identify pairs of genes that are most closely related with respect to an underlying evolutionary tree. In practical applications this tree is unknown and the edges of the RBMGs are inferred by quantifying sequence similarity. Due to noise in the data, these empirically determined graphs in general violate the condition of being a ``biologically feasible'' RBMG. Therefore, it is of practical interest in computational biology to correct the initial estimate. Here we consider deletion (remove at most $k$ edges) and editing (add or delete at most $k$ edges) problems. We show that the decision version of the deletion and editing problem to obtain RBMGs from vertex colored graphs is NP-hard. Using known results for the so-called bicluster editing, we show that the RBMG editing problem for $2$-colored graphs is fixed-parameter tractable. A restricted class of RBMGs appears in the context of orthology detection. These are cographs with a specific type of vertex coloring known as hierarchical coloring. We show that the decision problem of modifying a vertex-colored graph (either by edge-deletion or editing) into an RBMG with cograph structure or, equivalently, to an hierarchically colored cograph is NP-complete.


title: X-Ray Spectrum of RBS 315: Absorption or Intrinsic Curvature

abstract: X-ray absorption of high-redshift quasars is enigmatic, because it remains unclear where in the universe the absorbing gas is. If absorption occurs near the high-z host, it could help us understand early stages of galaxy formation. If it is in the intergalactic medium (IGM), it provides a unique way to probe this elusive baryon component. We report on observations of one of the brightest X-ray sources at a high redshift, RBS 315 (z=2.69). Despite several previous analyses, no definite conclusion as to the source of the curvature in its spectrum, whether absorption or intrinsic, could be reached. We present observations by XMM-Newton (EPIC and RGS) as well as NuSTAR and Swift/XRT. The XMM-Newton spectra of this source are of unprecedented quality. A purely statistical analysis of the CCD spectra yields no clear results - the spectrum is as likely to be photo-electrically absorbed as it is to be curved at the source, and no constraint on the position of the absorber can be obtained. Assuming absorption governs the spectral curvature, the lack of absorption lines in the grating spectra indicates the absorber is not well localized in redshift space, and could be dispersed over the cosmological scales of the IGM. Intrinsic curvature, however, can not be unambiguously ruled out.


title: Early Acceptance Matching Game for User Association in 5G Cellular HetNet

abstract: In this paper we examine the use of matching theory for user association in millimeter wave (mmWave)-enabled cellular heterogeneous networks (HetNets). In a mmWave system, the channel variations can be fast and unpredictable, rendering centralized user association potentially inefficient. We propose an efficient distributed matching algorithm, called early acceptance (EA), tailored for user association in 5G HetNets. The effectiveness of the proposed algorithm is assessed by comparing its performance with the well-known deferred acceptance (DA) matching algorithm, in which user association is delayed until the algorithm finishes. Numerical results show that the proposed EA matching algorithm reaches a near-optimal solution when compared with a centralized user association, and leads to a more power-efficient and much faster user association process when compared to the distributed DA algorithm.


title: Maximum of the integer-valued Gaussian free field

abstract: We investigate the order of the maximum of the integer-valued Gaussian free field in two dimensions, and show that it grows logarithmically with the size of the box. Our treatment follows closely that of a recent paper by Kharash and Peled on the Fr\"{o}hlich-Spencer proof of the Berezinskii-Kosterlitz-Thouless transition.


title: An algebraic approach for solving fourth-order partial differential equations

abstract: It is well-known that any solution of the Laplace equation is a real or imaginary part of a complex holomorphic function. In this paper, in some sense, we extend this property into four order hyperbolic and elliptic type PDEs. To be more specific, the extension is for a $c$-biwave PDE with constant coefficients, and we show that the components of a differentiable function on the associated hypercomplex algebras provide solutions for the equation.


title: Unsupervised Segmentation of Hyperspectral Images Using 3D Convolutional Autoencoders

abstract: Hyperspectral image analysis has become an important topic widely researched by the remote sensing community. Classification and segmentation of such imagery help understand the underlying materials within a scanned scene, since hyperspectral images convey a detailed information captured in a number of spectral bands. Although deep learning has established the state of the art in the field, it still remains challenging to train well-generalizing models due to the lack of ground-truth data. In this letter, we tackle this problem and propose an end-to-end approach to segment hyperspectral images in a fully unsupervised way. We introduce a new deep architecture which couples 3D convolutional autoencoders with clustering. Our multi-faceted experimental study---performed over benchmark and real-life data---revealed that our approach delivers high-quality segmentation without any prior class labels.


title: Construct Dynamic Graphs for Hand Gesture Recognition via Spatial-Temporal Attention

abstract: We propose a Dynamic Graph-Based Spatial-Temporal Attention (DG-STA) method for hand gesture recognition. The key idea is to first construct a fully-connected graph from a hand skeleton, where the node features and edges are then automatically learned via a self-attention mechanism that performs in both spatial and temporal domains. We further propose to leverage the spatial-temporal cues of joint positions to guarantee robust recognition in challenging conditions. In addition, a novel spatial-temporal mask is applied to significantly cut down the computational cost by 99%. We carry out extensive experiments on benchmarks (DHG-14/28 and SHREC'17) and prove the superior performance of our method compared with the state-of-the-art methods. The source code can be found at https://github.com/yuxiaochen1103/DG-STA.


title: A simplified Cauchy-Kowalewskaya procedure for the implicit solution of generalized Riemann problems of hyperbolic balance laws

abstract: The Cauchy-Kowalewskaya (CK) procedure is a key building block in the design of solvers for the Generalised Rieman Problem (GRP) based on Taylor series expansions in time. The CK procedure allows us to express time derivatives in terms of purely space derivatives. This is a very cumbersome procedure, which often requires the use of software manipulators. In this paper, a simplification of the CK procedure is proposed in the context of implicit Taylor series expansion for GRP, for hyperbolic balance laws in the framework of [Journal of Computational Physics 303 (2015) 146-172]. A recursive formula for the CK procedure, which is straightforwardly implemented in computational codes, is obtained. The proposed GRP solver is used in the context of the ADER approach and several one-dimensional problems are solved to demonstrate the applicability and efficiency of the present scheme. An enhancement in terms of efficiency, is obtained. Furthermore, the expected theoretical orders of accuracy are achieved, conciliating accuracy and stability.


title: Detecting Cyberbullying and Cyberaggression in Social Media

abstract: Cyberbullying and cyberaggression are increasingly worrisome phenomena affecting people across all demographics. More than half of young social media users worldwide have been exposed to such prolonged and/or coordinated digital harassment. Victims can experience a wide range of emotions, with negative consequences such as embarrassment, depression, isolation from other community members, which embed the risk to lead to even more critical consequences, such as suicide attempts. In this work, we take the first concrete steps to understand the characteristics of abusive behavior in Twitter, one of today's largest social media platforms. We analyze 1.2 million users and 2.1 million tweets, comparing users participating in discussions around seemingly normal topics like the NBA, to those more likely to be hate-related, such as the Gamergate controversy, or the gender pay inequality at the BBC station. We also explore specific manifestations of abusive behavior, i.e., cyberbullying and cyberaggression, in one of the hate-related communities (Gamergate). We present a robust methodology to distinguish bullies and aggressors from normal Twitter users by considering text, user, and network-based attributes. Using various state-of-the-art machine learning algorithms, we classify these accounts with over 90% accuracy and AUC. Finally, we discuss the current status of Twitter user accounts marked as abusive by our methodology, and study the performance of potential mechanisms that can be used by Twitter to suspend users in the future.


title: ADAPS: Autonomous Driving Via Principled Simulations

abstract: Autonomous driving has gained significant advancements in recent years. However, obtaining a robust control policy for driving remains challenging as it requires training data from a variety of scenarios, including rare situations (e.g., accidents), an effective policy architecture, and an efficient learning mechanism. We propose ADAPS for producing robust control policies for autonomous vehicles. ADAPS consists of two simulation platforms in generating and analyzing accidents to automatically produce labeled training data, and a memory-enabled hierarchical control policy. Additionally, ADAPS offers a more efficient online learning mechanism that reduces the number of iterations required in learning compared to existing methods such as DAGGER. We present both theoretical and experimental results. The latter are produced in simulated environments, where qualitative and quantitative results are generated to demonstrate the benefits of ADAPS.


title: $DIII$ clan combinatorics for the orthogonal Grassmannian

abstract: Borel subgroup orbits of the classical symmetric space $SO_{2n}/GL_n$ are parametrized by $DIII$ $(n,n)$-clans. We group the clans into "sects" corresponding to Schubert cells of the orthogonal Grassmannian, thus providing a cell decomposition for $SO_{2n}/GL_n$. We also compute a recurrence for the rank polynomial of the weak order poset on $DIII$ clans, and then describe explicit bijections between such clans, diagonally symmetric rook placements, certain pairs of minimally intersecting set partitions, and a class of weighted Delannoy paths. Clans of the largest sect are in bijection with fixed-point-free partial involutions.


title: Model subspaces techniques to study Fourier expansions in L^2 spaces associated to singular measures

abstract: Let $\mu$ be a probability measure on $\mathbb{T}$ that is singular with respect to the Haar measure. In this paper we study Fourier expansions in $L^2(\mathbb{T},\mu)$ using techniques from the theory of model subspaces of the Hardy space. Since the sequence of monomials $\{z^n\}_{n\in \mathbb{N}}$ is effective in $L^2(\mathbb{T},\mu)$, it has a Parseval frame associated via the Kaczmarz algorithm. Our first main goal is to identify the aforementioned frame with boundary values of the frame $P_\varphi(z^n)$ for the model subspace $\mathcal{H}(\varphi)= H^2 \ominus \varphi H^2$, where $P_\varphi$ is the orthogonal projection from the Hardy space $H^2$ onto $\mathcal{H}(\varphi)$. The study of Fourier expansions in $L^2(\mathbb{T},\mu)$ also leads to consider positive kernels in the Hardy space. Our second main goal is to study the set of measures $\mu$ which reproduce a kernel contained in a model subspace. We completely characterize this set when the kernel is the reproducing kernel of a model subspace, and we study the consequences of this characterization.


title: Polarized ultrashort brilliant multi-GeV $\gamma$-rays via single-shot laser-electron interaction

abstract: Generation of circularly-polarized (CP) and linearly-polarized (LP) $\gamma$-rays via the single-shot interaction of an ultraintense laser pulse with a spin-polarized counterpropagating ultrarelativistic electron beam has been investigated in nonlinear Compton scattering in the quantum radiation-dominated regime. For the process simulation a Monte Carlo method is developed which employs the electron-spin-resolved probabilities for polarized photon emissions. We show efficient ways for the transfer of the electron polarization to the high-energy photon polarization. In particular, multi-GeV CP (LP) $\gamma$-rays with polarization of up to about 95\% can be generated by a longitudinally (transversely) spin-polarized electron beam, with a photon flux at a single shot meeting the requirements of recent proposals for the vacuum birefringence measurement in ultrastrong laser fields. Such high-energy, high-brilliance, high-polarization $\gamma$-rays are also beneficial for other applications in high-energy physics, nuclear physics, and laboratory astrophysics.


title: Single-Step Shaping of the Orbital Angular Momentum Spectrum of Light

abstract: Control of orbital angular momentum (OAM) in optical fields has seen tremendous growth of late, with a myriad of tools existing for their creation and detection. What has been lacking is the ability to arbitrarily modify the OAM spectrum of a superposition in amplitude and phase, especially if a priori knowledge of the initial OAM spectrum is absent. Motivated by a quasi-mapping that exists between the position and OAM of Laguerre-Gaussian modes, we propose an approach for single-step modulation of a field's OAM spectrum. We outline the concept and implement it through the use of binary ring apertures encoded on spatial light modulators. We show that complete control of the OAM spectrum is achievable in a single step, fostering applications in classical and quantum information processing that utilise the OAM basis.


title: Speeches by V. F. Weisskopf, J. H. Van Vleck, I. I. Rabi, M. Hamermesh, B. T. Feld, R. P. Feynman, and D. Saxon, given in honor of Julian Schwinger at his 60th birthday

abstract: In February 1978 Julian Schwinger's 60th birthday was celebrated with a SchwingerFest at UCLA. This article consists of transcripts of historical talks given there.


title: Spectral Graph Matching and Regularized Quadratic Relaxations I: The Gaussian Model

abstract: Graph matching aims at finding the vertex correspondence between two unlabeled graphs that maximizes the total edge weight correlation. This amounts to solving a computationally intractable quadratic assignment problem. In this paper we propose a new spectral method, GRAph Matching by Pairwise eigen-Alignments (GRAMPA). Departing from prior spectral approaches that only compare top eigenvectors, or eigenvectors of the same order, GRAMPA first constructs a similarity matrix as a weighted sum of outer products between all pairs of eigenvectors of the two graphs, with weights given by a Cauchy kernel applied to the separation of the corresponding eigenvalues, then outputs a matching by a simple rounding procedure. The similarity matrix can also be interpreted as the solution to a regularized quadratic programming relaxation of the quadratic assignment problem. For the Gaussian Wigner model in which two complete graphs on $n$ vertices have Gaussian edge weights with correlation coefficient $1-\sigma^2$, we show that GRAMPA exactly recovers the correct vertex correspondence with high probability when $\sigma = O(\frac{1}{\log n})$. This matches the state of the art of polynomial-time algorithms, and significantly improves over existing spectral methods which require $\sigma$ to be polynomially small in $n$. The superiority of GRAMPA is also demonstrated on a variety of synthetic and real datasets, in terms of both statistical accuracy and computational efficiency. Universality results, including similar guarantees for dense and sparse Erd\H{o}s-R\'{e}nyi graphs, are deferred to the companion paper.

categories: stat.ML cs.LG math.PR math.SP math.ST stat.TH


title: A set of nonlinear coherent states for the pseudoharmonic oscillator

abstract: We construct two-parameters family of nonlinear coherent states by replacing the factorial in coefficients $z^n/\sqrt{n!}$ of the canonical coherent states by a specific generalized factorial $x_n^{\gamma,\sigma}!$ where parameters $\gamma$ and $\sigma$ satisfy some conditions for which the normalization condition and the resolution of identity are verified. The obtained family is a generalization of the Barut-Girardello coherent states and those of the philophase states. In the particular case of parameters $\gamma$ and $\sigma$, we attache these states to the pseudo-harmonic oscillator depending on two parameters $\alpha,\beta> 0$. The obtained nonlinear coherent states are superposition of eigenstates of this oscillator. The associated Bargmann-type transform is defined and we derive some results.


title: Always-On Quantum Error Tracking with Continuous Parity Measurements

abstract: We investigate quantum error correction using continuous parity measurements to correct bit-flip errors with the three-qubit code. Continuous monitoring of errors brings the benefit of a continuous stream of information, which facilitates passive error tracking in real time. It reduces overhead from the standard gate-based approach that periodically entangles and measures additional ancilla qubits. However, the noisy analog signals from continuous parity measurements mandate more complicated signal processing to interpret syndromes accurately. We analyze the performance of several practical filtering methods for continuous error correction and demonstrate that they are viable alternatives to the standard ancilla-based approach. As an optimal filter, we discuss an unnormalized (linear) Bayesian filter, with improved computational efficiency compared to the related Wonham filter introduced by Mabuchi [New J. Phys. 11, 105044 (2009)]. We compare this optimal continuous filter to two practical variations of the simplest periodic boxcar-averaging-and-thresholding filter, targeting real-time hardware implementations with low-latency circuitry. As variations, we introduce a non-Markovian ``half-boxcar'' filter and a Markovian filter with a second adjustable threshold; these filters eliminate the dominant source of error in the boxcar filter, and compare favorably to the optimal filter. For each filter, we derive analytic results for the decay in average fidelity and verify them with numerical simulations.


title: Spectral Graph Matching and Regularized Quadratic Relaxations II: Erd\H{o}s-R\'enyi Graphs and Universality

abstract: We analyze a new spectral graph matching algorithm, GRAph Matching by Pairwise eigen-Alignments (GRAMPA), for recovering the latent vertex correspondence between two unlabeled, edge-correlated weighted graphs. Extending the exact recovery guarantees established in the companion paper for Gaussian weights, in this work, we prove the universality of these guarantees for a general correlated Wigner model. In particular, for two Erd\H{o}s-R\'enyi graphs with edge correlation coefficient $1-\sigma^2$ and average degree at least $\operatorname{polylog}(n)$, we show that GRAMPA exactly recovers the latent vertex correspondence with high probability when $\sigma \lesssim 1/\operatorname{polylog}(n)$. Moreover, we establish a similar guarantee for a variant of GRAMPA, corresponding to a tighter quadratic programming relaxation of the quadratic assignment problem. Our analysis exploits a resolvent representation of the GRAMPA similarity matrix and local laws for the resolvents of sparse Wigner matrices.

categories: math.PR cs.LG math.SP math.ST stat.ML stat.TH


title: Human Extraction and Scene Transition utilizing Mask R-CNN

abstract: Object detection is a trendy branch of computer vision, especially on human recognition and pedestrian detection. Recognizing the complete body of a person has always been a difficult problem. Over the years, researchers proposed various methods, and recently, Mask R-CNN has made a breakthrough for instance segmentation. Based on Faster R-CNN, Mask R-CNN has been able to generate a segmentation mask for each instance. We propose an application to extracts multiple persons from images and videos for pleasant life scenes to grouping happy moments of people such as family or friends and a community for QOL (Quality Of Life). We likewise propose a methodology to put extracted images of persons into the new background. This enables a user to make a pleasant collection of happy facial expressions and actions of his/her family and friends in his/her life. Mask R-CNN detects all types of object masks from images. Then our algorithm considers only the target person and extracts a person only without obstacles, such as dogs in front of the person, and the user also can select multiple persons as their expectations. Our algorithm is effective for both an image and a video irrespective of the length of it. Our algorithm does not add any overhead to Mask R-CNN, running at 5 fps. We show examples of yoga-person in an image and a dancer in a dance-video frame. We hope our simple and effective approach would serve as a baseline for replacing the image background and help ease future research.


title: Birational geometry of moduli spaces of perverse coherent sheaves on blow-ups

abstract: In order to study wall crossing formula of Donaldson type invariants on the blown-up plane, Nakajima-Yoshioka constructed a sequence of blow-up/blow-down diagrams connecting the moduli space of torsion free framed sheaves on projective plane, and that on its blow-up. In this paper, we prove that Nakajima-Yoshioka's diagram realizes the minimal model program. Furthermore, we obtain a fully-faithful embedding between the derived categories of these moduli spaces.


title: Layer Dependence of Stacking Order in Nonencapsulated Few-layer CrI3

abstract: Long-range magnetic orders in atomically thin ferromagnetic CrI3 give rise to new fascinating physics and application perspectives. The physical properties of two-dimensional (2D) ferromagnetism CrI3 are significantly influenced by interlayer spacing and stacking order, which are sensitive to the hydrostatic pressure and external environments. However, there remains debate on the stacking order at low temperature. Here, we study the interlayer coupling and stacking order of non-encapsulated 2-5 layer and bulk CrI3 at 10 K by Raman spectroscopy; demonstrate a rhombohedral stacking in both antiferromagnetic and ferromagnetic CrI3. The opposite helicity dependence of Ag and Eg modes arising from phonon symmetry further validate the rhombohedral stacking. An anomalous temperature-dependent behavior is observed due to spin-phonon coupling below 60 K. Our work provides insights into the interlayer coupling and stacking orders of 2D ferromagnetic materials.


title: A two-patch epidemic model with nonlinear reinfection

abstract: The propagation of infectious diseases and its impact on individuals play a major role in disease dynamics, and it is important to incorporate population heterogeneity into efforts to study diseases. As a simplistic but illustrative example, we examine interactions between urban and rural populations in the dynamics of disease spreading. Using a compartmental framework of susceptible--infected--susceptible ($\mathrm{SI\widetilde{S}}$) dynamics with some level of immunity, we formulate a model that allows nonlinear reinfection. We investigate the effects of population movement in the simplest scenario: a case with two patches, which allows us to model movement between urban and rural areas. To study the dynamics of the system, we compute a basic reproduction number for each population (urban and rural). We also compute steady states, determine the local stability of the disease-free steady state, and identify conditions for the existence of endemic steady states. From our analysis and computational experiments, we illustrate that population movement plays an important role in disease dynamics. In some cases, it can be rather beneficial, as it can enlarge the region of stability of a disease-free steady state.


title: The Tamarkin--Tsygan calculus of an algebra a la Stasheff

abstract: We show how to compute the Tamarkin-Tsygan calculus of an associative algebra by providing, for a given cofibrant replacement of it, a `small' $\mathsf{Calc}_\infty$-model of its calculus, which we make somewhat explicit at the level of $\mathsf{Calc}$-algebras. To do this, we prove that the operad $\mathsf{Calc}$ is inhomogeneous Koszul; to our best knowledge, this result is new. We illustrate our technique by carrying out some computations for two monomial associative algebra using the cofibrant replacement obtained by the author in 1804.01435.


title: The Unbearable Weight of Generating Artificial Errors for Grammatical Error Correction

abstract: In recent years, sequence-to-sequence models have been very effective for end-to-end grammatical error correction (GEC). As creating human-annotated parallel corpus for GEC is expensive and time-consuming, there has been work on artificial corpus generation with the aim of creating sentences that contain realistic grammatical errors from grammatically correct sentences. In this paper, we investigate the impact of using recent neural models for generating errors to help neural models to correct errors. We conduct a battery of experiments on the effect of data size, models, and comparison with a rule-based approach.


title: Separability of Maxwell equation in rotating black hole spacetime and its geometric aspects

abstract: Recently a new formalism for perturbations of Maxwell's equations on the background of the Kerr-NUT-(A)dS spacetime was proposed, with which the equations are reduced to a equation of motion of a scalar field that can be solved by separation of variables. In this formalism the differential operators that commute with the operators of the equations of motion, called symmetry operators, played a key role to establish the separable structure. In this work we propose a method to reproduce these commuting symmetry operators in terms of the geometric quantities associated to the hidden symmetry of the background spacetime.


title: Far-Field Monitoring of Reactor Antineutrinos for Nonproliferation

abstract: Numerous experimental efforts have shown that antineutrino-based monitoring provides a non-intrusive means to estimate the fissile content and relative thermal power of nuclear reactors for nonproliferation. Until now, there have been no experimental demonstrations dedicated to exploring the nonproliferation potential of large detectors required for long-range monitoring. The goal of the Advanced Instrumentation Testbed (AIT) program is to test novel methods for the discovery of reactor cores, specifically in the mid-field to far-field, beyond 200 meters and out to tens or hundreds of kilometers, using kiloton-scale to megaton-scale detectors. The main physical infrastructure of the AIT consists of an underground laboratory in the Boulby mine in Northern England. The site is located at a 26-km standoff from the Hartlepool Reactor Complex, which houses two 1.5-GWth advanced gas-cooled reactors. The first detector to be deployed at the AIT is the WATer CHerenkov Monitor of ANtineutrinos (WATCHMAN). WATCHMAN will use ~6,000 tons of gadolinium-doped water in order to detect a few reactor antineutrinos per week from the Hartlepool reactor complex. WATCHMAN will focus on understanding the signal efficiency, radiological backgrounds, and the reactor operational status. Here, the nonproliferation goals are to understand the sensitivity for discovery of one reactor in the presence of another, the discovery of any reactor operations above a well-understood background, and the sensitivity to confirm the declared operational cycles of both reactors. Uniquely, AIT-WATCHMAN also offers a flexible platform at which nascent technologies such as water-based scintillator and fast photomultiplier tubes can be tested in real-world conditions. We present the AIT-WATCHMAN program and status.


title: Efficient comparison of independence structures of log-linear models

abstract: Log-linear models are a family of probability distributions which capture relationships between variables. They have been proven useful in a wide variety of fields such as epidemiology, economics and sociology. The interest in using these models is that they are able to capture context-specific independencies, relationships that provide richer structure to the model. Many approaches exist for automatic learning of the independence structure of log-linear models from data. The methods for evaluating these approaches, however, are limited, and are mostly based on indirect measures of the complete density of the probability distribution. Such computation requires additional learning of the numerical parameters of the distribution, which introduces distortions when used for comparing structures. This work addresses this issue by presenting the first measure for the direct and efficient comparison of independence structures of log-linear models. Our method relies only on the independence structure of the models, which is useful when the interest lies in obtaining knowledge from said structure, or when comparing the performance of structure learning algorithms, among other possible uses. We present proof that the measure is a metric, and a method for its computation that is efficient in the number of variables of the domain.


title: Direct real photons in relativistic heavy ion collisions

abstract: Direct real photons are arguably the most versatile tools to study relativistic heavy ion collisions. They are produced, by various mechanisms, during the entire space-time history of the strongly interacting system. Also, being colorless, most the time they escape without further interaction, ie they are penetrating probes. This makes them rich in information, but hard to decypher and interpret. This review presents the experimental and theoretical developments related to direct real photons since the 1970s, with a special emphasis on the recently emerged "direct photon puzzle", the simultaneous presence of large yields and strong azimuthal asymmetries of photons in heavy ion collisions, an observation that so far eluded full and coherent explanation.


title: The Surprising Accuracy of Benford's Law in Mathematics

abstract: Benford's law is an empirical ``law'' governing the frequency of leading digits in numerical data sets. Surprisingly, for mathematical sequences the predictions derived from it can be uncannily accurate. For example, among the first billion powers of $2$, exactly $301029995$ begin with digit 1, while the Benford prediction for this count is $10^9\log_{10}2=301029995.66\dots$. Similar ``perfect hits'' can be observed in other instances, such as the digit $1$ and $2$ counts for the first billion powers of $3$. We prove results that explain many, but not all, of these surprising accuracies, and we relate the observed behavior to classical results in Diophantine approximation as well as recent deep conjectures in this area.


title: An Efficient 3D CNN for Action/Object Segmentation in Video

abstract: Convolutional Neural Network (CNN) based image segmentation has made great progress in recent years. However, video object segmentation remains a challenging task due to its high computational complexity. Most of the previous methods employ a two-stream CNN framework to handle spatial and motion features separately. In this paper, we propose an end-to-end encoder-decoder style 3D CNN to aggregate spatial and temporal information simultaneously for video object segmentation. To efficiently process video, we propose 3D separable convolution for the pyramid pooling module and decoder, which dramatically reduces the number of operations while maintaining the performance. Moreover, we also extend our framework to video action segmentation by adding an extra classifier to predict the action label for actors in videos. Extensive experiments on several video datasets demonstrate the superior performance of the proposed approach for action and object segmentation compared to the state-of-the-art.


title: A Lightweight and Privacy-Preserving Authentication Protocol for Mobile Edge Computing

abstract: With the advent of the Internet-of-Things (IoT), vehicular networks and cyber-physical systems, the need for real-time data processing and analysis has emerged as an essential pre-requite for customers' satisfaction. In this direction, Mobile Edge Computing (MEC) provides seamless services with reduced latency, enhanced mobility, and improved location awareness. Since MEC has evolved from Cloud Computing, it inherited numerous security and privacy issues from the latter. Further, decentralized architectures and diversified deployment environments used in MEC platforms also aggravate the problem; causing great concerns for the research fraternity. Thus, in this paper, we propose an efficient and lightweight mutual authentication protocol for MEC environments; based on Elliptic Curve Cryptography (ECC), one-way hash functions and concatenation operations. The designed protocol also leverages the advantages of discrete logarithm problems, computational Diffie-Hellman, random numbers and time-stamps to resist various attacks namely-impersonation attacks, replay attacks, man-in-the-middle attacks, etc. The paper also presents a comparative assessment of the proposed scheme relative to the current state-of-the-art schemes. The obtained results demonstrate that the proposed scheme incurs relatively less communication and computational overheads, and is appropriate to be adopted in resource constraint MEC environments.


title: Observation of inconsistent carbon isotope compositions of chlorine-isotopologue pairs of individual organochlorines by gas chromatography-high resolution mass spectrometry

abstract: This study investigated the consistency/inconsistency of carbon isotope compositions of chlorine-isotopologue pairs, e.g., 12C235Cl4 vs. 12C13C35Cl4, of individual organochlorines including two chloroethylenes, three polychlorinated biphenyls, methyl-triclosan and hexachlorobenzene. The raw carbon isotope ratios were measured by gas chromatography-high resolution mass spectrometry. Data simulations in terms of background subtraction, background addition, dual 13C-atoms substitution, deuterium substitution and hydrogen-transfer were conducted to confirm the validity of measured carbon isotope ratios and their differences. Inconsistent carbon isotope ratios derived from chlorine-isotopologue pairs of individual organochlorines were observed, and the isotopologues of each organochlorine were thus inferred to be non-randomly distributed. Mechanistic interpretation for these findings was tentatively proposed according to a basic principle in clumped-isotope geochemistry, reaction thermodynamics and kinetics, along with isotope effects occurring on electron ionization mass spectrometry. This study sheds light on the actual carbon isotope compositions of chlorine-isotopologue pairs of organochlorines, and yields new insights into the real distributions of carbon and chlorine isotopologues. The inconsistent carbon isotope compositions of chlorine-isotopologue pairs are anticipated to benefit the exploration of formation conditions and source identification of organochlorine pollutants.


title: LiSA: A Lightweight and Secure Authentication Mechanism for Smart Metering Infrastructure

abstract: Smart metering infrastructure (SMI) is the core component of the smart grid (SG) which enables two-way communication between consumers and utility companies to control, monitor, and manage the energy consumption data. Despite their salient features, SMIs equipped with information and communication technology are associated with new threats due to their dependency on public communication networks. Therefore, the security of SMI communications raises the need for robust authentication and key agreement primitives that can satisfy the security requirements of the SG. Thus, in order to realize the aforementioned issues, this paper introduces a lightweight and secure authentication protocol, "LiSA", primarily to secure SMIs in SG setups. The protocol employs Elliptic Curve Cryptography at its core to provide various security features such as mutual authentication, anonymity, replay protection, session key security, and resistance against various attacks. Precisely, LiSA exploits the hardness of the Elliptic Curve Qu Vanstone (EVQV) certificate mechanism along with Elliptic Curve Diffie Hellman Problem (ECDHP) and Elliptic Curve Discrete Logarithm Problem (ECDLP). Additionally, LiSA is designed to provide the highest level of security relative to the existing schemes with least computational and communicational overheads. For instance, LiSA incurred barely 11.826 ms and 0.992 ms for executing different passes across the smart meter and the service providers. Further, it required a total of 544 bits for message transmission during each session.


title: Gravitational waves from scale-invariant vector dark matter model: Probing below the neutrino-floor

abstract: We study the gravitational waves (GWs) spectrum produced during the electroweak phase transition in a scale-invariant extension of the Standard Model (SM), enlarged by a dark $ U(1)_{D} $ gauge symmetry. This symmetry incorporates a vector dark matter (DM) candidate and a scalar field (scalon). Because of scale invariance, the model has only two independent parameters and for the parameter space constrained by DM relic density, strongly first-order electroweak phase transition can take place. In this model, for a narrow part of the parameter space, DM-nucleon cross section is below the neutrino-floor limit, and therefore, it cannot be probed by the future direct detection experiments. However, for a benchmark point form this narrow region, we show the amplitude and frequency of phase transition GW spectrum fall within the observational window of space-based GW detectors such as eLISA.


title: Simultaneous observation of concurrent two-dimensional carbon and chlorine/bromine isotope fractionations of halogenated organic compounds on gas chromatography

abstract: It has been reported that isotope fractionation can occur on gas chromatography (GC), yet little is known about concurrent dual-elements isotope fractionations on GC. Revelation of concurrent two-dimensional carbon and chlorine/bromine isotope fractionations of halogenated organic compounds (HOCs) on GC may be of important significance for compound-specific isotope analysis (CSIA). This study presents an in-depth investigation of the two-dimensional C and Cl/Br isotope fractionations of HOCs on GC using GC-double focus magnetic-sector high resolution mass spectrometry (GC-DFS-HRMS). The two-dimensional C and Cl/Br isotope fractionations of four organochlorines and four bromobenzenes on GC were simultaneously measured by GC-DFS-HRMS. The isotope fractionations were evaluated with isotope ratios, relative variations of isotope ratios and isotope fractionation extents. All the HOCs exhibited significant inverse C and Cl/Br isotope fractionations. The isotope fractionations were significant in both ends of chromatographic peaks, while the isotope ratios in center retention-time segments were the closest to comprehensive isotope ratios in the whole peaks. Significant correlations between C isotope fractionation and Cl/Br isotope fractionation were observed, indicating that the isotope fractionations might have strong relationships and/or be dominated by similar factors. Relevant mechanisms for the two-dimensional C and Cl/Br isotope fractionations were tentatively proposed on basis of a modified two-film model and the theories related to zero point energy. The results of this study gains new insights into concurrent two-dimensional isotope fractionation behaviors of HOCs during physical processes, and are conducive to CSIA studies involving C, Cl and Br for obtaining high-quality data, particularly to dual-elements CSIA of C and Cl/Br.


title: Convergence analysis of the PML method for time-domain electromagnetic scattering problems

abstract: In this paper, a perfectly matched layer (PML) method is proposed to solve the time-domain electromagnetic scattering problems in 3D effectively. The PML problem is defined in a spherical layer and derived by using the Laplace transform and real coordinate stretching in the frequency domain. The well-posedness and the stability estimate of the PML problem are first proved based on the Laplace transform and the energy method. The exponential convergence of the PML method is then established in terms of the thickness of the layer and the PML absorbing parameter. As far as we know, this is the first convergence result for the time-domain PML method for the three-dimensional Maxwell equations. Our proof is mainly based on the stability estimates of solutions of the truncated PML problem and the exponential decay estimates of the stretched dyadic Green's function for the Maxwell equations in the free space.