title: Inside the Final Black Hole: Puncture and Trapped Surface Dynamics

abstract: A popular approach in numerical simulations of black hole binaries is to model black holes as punctures in the fabric of spacetime. The location and the properties of the black hole punctures are tracked with apparent horizons, namely outermost marginally outer trapped surfaces (MOTSs). As the holes approach each other, a common apparent horizon suddenly appears, engulfing the two black holes and signaling the merger. The evolution of common apparent horizons and their connection with gravitational wave emission have been studied in detail with the framework of dynamical horizons. We present a study of the dynamics of the MOTSs and their punctures in the interior of the final black hole. The study focuses on head-on mergers for various initial separations and mass ratios. We find that MOTSs intersect for most of the parameter space. We show that for those situations in which they do not, it is because of the singularity avoidance property of the moving puncture gauge condition used in the study. Although we are unable to carry out evolutions that last long enough to show the ultimate fate of the punctures, our results suggest that MOTSs always intersect and that at late times their overlap is only partial. As a consequence, the punctures inside the MOTSs, although close enough to each other to act effectively as a single puncture, do not merge.


title: Question Answering over Curated and Open Web Sources

abstract: The last few years have seen an explosion of research on the topic of automated question answering (QA), spanning the communities of information retrieval, natural language processing, and artificial intelligence. This tutorial would cover the highlights of this really active period of growth for QA to give the audience a grasp over the families of algorithms that are currently being used. We partition research contributions by the underlying source from where answers are retrieved: curated knowledge graphs, unstructured text, or hybrid corpora. We choose this dimension of partitioning as it is the most discriminative when it comes to algorithm design. Other key dimensions are covered within each sub-topic: like the complexity of questions addressed, and degrees of explainability and interactivity introduced in the systems. We would conclude the tutorial with the most promising emerging trends in the expanse of QA, that would help new entrants into this field make the best decisions to take the community forward. Much has changed in the community since the last tutorial on QA in SIGIR 2016, and we believe that this timely overview will indeed benefit a large number of conference participants.


title: DeepMerge: Classifying High-redshift Merging Galaxies with Deep Neural Networks

abstract: We investigate and demonstrate the use of convolutional neural networks (CNNs) for the task of distinguishing between merging and non-merging galaxies in simulated images, and for the first time at high redshifts (i.e. $z=2$). We extract images of merging and non-merging galaxies from the Illustris-1 cosmological simulation and apply observational and experimental noise that mimics that from the Hubble Space Telescope; the data without noise form a "pristine" data set and that with noise form a "noisy" data set. The test set classification accuracy of the CNN is $79\%$ for pristine and $76\%$ for noisy. The CNN outperforms a Random Forest classifier, which was shown to be superior to conventional one- or two-dimensional statistical methods (Concentration, Asymmetry, the Gini, $M_{20}$ statistics etc.), which are commonly used when classifying merging galaxies. We also investigate the selection effects of the classifier with respect to merger state and star formation rate, finding no bias. Finally, we extract Grad-CAMs (Gradient-weighted Class Activation Mapping) from the results to further assess and interrogate the fidelity of the classification model.


title: Ground Subspaces of Topological Phases of Matter as Error Correcting Codes

abstract: Topological quantum computing is believed to be inherently fault-tolerant. One mathematical justification would be to prove that ground subspaces or ground state manifolds of topological phases of matter behave as error correction codes with macroscopic distance. While this is widely assumed and used as a definition of topological phases of matter in the physics literature, besides the doubled abelian anyon models in Kitaev's seminal paper, no non-abelian models are proven to be so mathematically until recently. Cui et al extended the theorem from doubled abelian anyon models to all Kitaev models based on any finite group. Those proofs are very explicit using detailed knowledge of the Hamiltonians, so it seems to be hard to further extend the proof to cover other models such as the Levin-Wen. We pursue a totally different approach based on topological quantum field theories (TQFTs), and prove that a lattice implementation of the disk axiom and annulus axiom in TQFTs as essentially the equivalence of TQO1 and TQO2 conditions. We confirm the error correcting properties of ground subspaces for topological lattice Hamiltonian schemas of the Levin-Wen model and Dijkgraaf-Witten TQFTs by providing a lattice version of the disk axiom and annulus of the underlying TQFTs. The error correcting property of ground subspaces is also shared by gapped fracton models such as the Haah codes. We propose to characterize topological phases of matter via error correcting properties, and refer to gapped fracton models as lax-topological.


title: Brownian motion at the speed of light: a Lorentz invariant family of processes

abstract: We recently introduced a new family of processes which describe particles which only can move at the speed of light c in the ordinary 3D physical space. The velocity, which randomly changes direction, can be represented as a point on the surface of a sphere of radius c and its trajectories only may connect the points of this variety. A process can be constructed both by considering jumps from one point to another (velocity changes discontinuously) and by continuous velocity trajectories on the surface. We followed this second new strategy assuming that the velocity is described by a Wiener process (which is isotropic only in the 'rest frame') on the surface of the sphere. Using both Ito calculus and Lorentz boost rules, we succeed here in characterizing the entire Lorentz-invariant family of processes. Moreover, we highlight and describe the short-term ballistic behavior versus the long-term diffusive behavior of the particles in the 3D physical space.


title: Efficient High Capacity Steganography Technique

abstract: Performance indicators characterizing modern steganographic techniques include capacity (i.e. the quantity of data that can be hidden in the cover medium), stego quality (i.e. artifacts visibility), security (i.e. undetectability), and strength or robustness (intended as the resistance against active attacks aimed to destroy the secret message). Fibonacci based embedding techniques have been researched and proposed in the literature to achieve efficient steganography in terms of capacity with respect to stego quality. In this paper, we investigated an innovative idea that extends Fibonacci-like steganography by bit-plane(s) mapping instead of bit-plane(s) replacement. Our proposed algorithm increases embedding capacity using bit-plane mapping to embed two bits of the secret message in three bits of a pixel of the cover, at the expense of a marginal loss in stego quality. While existing Fibonacci embedding algorithms do not use certain intensities of the cover for embedding due to the limitation imposed by the Zeckendorf theorem, our proposal solve this problem and make all intensity values candidates for embedding. Experimental results demonstrate that the proposed technique double the embedding capacity when compared to existing Fibonacci methods, and it is secure against statistical attacks such as RS, POV, and difference image histogram (DIH).


title: DALES: A Large-scale Aerial LiDAR Data Set for Semantic Segmentation

abstract: We present the Dayton Annotated LiDAR Earth Scan (DALES) data set, a new large-scale aerial LiDAR data set with over a half-billion hand-labeled points spanning 10 square kilometers of area and eight object categories. Large annotated point cloud data sets have become the standard for evaluating deep learning methods. However, most of the existing data sets focus on data collected from a mobile or terrestrial scanner with few focusing on aerial data. Point cloud data collected from an Aerial Laser Scanner (ALS) presents a new set of challenges and applications in areas such as 3D urban modeling and large-scale surveillance. DALES is the most extensive publicly available ALS data set with over 400 times the number of points and six times the resolution of other currently available annotated aerial point cloud data sets. This data set gives a critical number of expert verified hand-labeled points for the evaluation of new 3D deep learning algorithms, helping to expand the focus of current algorithms to aerial data. We describe the nature of our data, annotation workflow, and provide a benchmark of current state-of-the-art algorithm performance on the DALES data set.


title: CFR-RL: Traffic Engineering with Reinforcement Learning in SDN

abstract: Traditional Traffic Engineering (TE) solutions can achieve the optimal or near-optimal performance by rerouting as many flows as possible. However, they do not usually consider the negative impact, such as packet out of order, when frequently rerouting flows in the network. To mitigate the impact of network disturbance, one promising TE solution is forwarding the majority of traffic flows using Equal-Cost Multi-Path (ECMP) and selectively rerouting a few critical flows using Software-Defined Networking (SDN) to balance link utilization of the network. However, critical flow rerouting is not trivial because the solution space for critical flow selection is enormous. Moreover, it is impossible to design a heuristic algorithm for this problem based on fixed and simple rules, since rule-based heuristics are unable to adapt to the changes of the traffic matrix and network dynamics. In this paper, we propose CFR-RL (Critical Flow Rerouting-Reinforcement Learning), a Reinforcement Learning-based scheme that learns a policy to select critical flows for each given traffic matrix automatically. CFR-RL then reroutes these selected critical flows to balance link utilization of the network by formulating and solving a simple Linear Programming (LP) problem. Extensive evaluations show that CFR-RL achieves near-optimal performance by rerouting only 10%-21.3% of total traffic.


title: Integrable atomtronic interferometry

abstract: High sensitivity quantum interferometry requires more than just access to entangled states. It is achieved through deep understanding of quantum correlations in a system. Integrable models offer the framework to develop this understanding. We communicate the design of interferometric protocols for an integrable model that describes the interaction of bosons in a four-site configuration. Analytic formulae for the quantum dynamics of certain observables are computed. These expose the system's functionality as both an interferometric identifier, and producer, of NOON states. Being equivalent to a controlled-phase gate acting on two hybrid qudits, this system also highlights an equivalence between Heisenberg-limited interferometry and quantum information. These results are expected to open new avenues for integrability-enhanced atomtronic technologies.


title: Towards Model Checking Real-World Software-Defined Networks (version with appendix)

abstract: In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk: deploying buggy controller code could result in network and service disruption and security loopholes. The automatic detection of bugs or, even better, verification of their absence is thus most desirable, yet the size of the network and the complexity of the controller makes this a challenging undertaking. In this paper we propose MOCS, a highly expressive, optimised SDN model that allows capturing subtle real-world bugs, in a reasonable amount of time. This is achieved by (1) analysing the model for possible partial order reductions, (2) statically pre-computing packet equivalence classes and (3) indexing packets and rules that exist in the model. We demonstrate its superiority compared to the state of the art in terms of expressivity, by providing examples of realistic bugs that a prototype implementation of MOCS in UPPAAL caught, and performance/scalability, by running examples on various sizes of network topologies, highlighting the importance of our abstractions and optimisations.


title: Spectral Data Augmentation Techniques to quantify Lung Pathology from CT-images

abstract: Data augmentation is of paramount importance in biomedical image processing tasks, characterized by inadequate amounts of labelled data, to best use all of the data that is present. In-use techniques range from intensity transformations and elastic deformations, to linearly combining existing data points to make new ones. In this work, we propose the use of spectral techniques for data augmentation, using the discrete cosine and wavelet transforms. We empirically evaluate our approaches on a CT texture analysis task to detect abnormal lung-tissue in patients with cystic fibrosis. Empirical experiments show that the proposed spectral methods perform favourably as compared to the existing methods. When used in combination with existing methods, our proposed approach can increase the relative minor class segmentation performance by 44.1% over a simple replication baseline.


title: Threshold Resummation for Hadron Production in the Small-$x$ Region

abstract: We study the single hadron inclusive production in the forward rapidity region in proton-nucleus collisions. We find the long-standing negative cross section at next-to-leading-order (NLO) is driven by the large negative threshold logarithmic contributions. We established a factorization theorem for resumming these logarithms with systematically improvable accuracy within the color glass condensate formalism. We demonstrate how the threshold leading logarithmic accuracy can be realized by a suitable scale choice in the NLO results. The NLO spectrums with the threshold logarithms resummed remain positive and impressive agreements with experimental data are observed.


title: Floquet spectrum and electronic transitions of tilted anisotropic Dirac materials under electromagnetic radiation: monodromy matrix approach

abstract: We analyze the quasienergy-spectrum and the valence to conduction-band transition probabilities of a tilted anisotropic Dirac material subject to linearly and circularly polarized electromagnetic fields. The quasienergy-spectrum is numerically calculated from the monodromy matrix of the Schr\"odinger equation via the Floquet theorem for arbitrarily intense electromagnetic fields. To asses the valence to conduction-band transition times we deduced a Rabi-like formula in the rotating wave approximation. In the strong-field regime the spectrum as a function of the momentum components divides into two very distinctive regions. In the first, located around the Dirac point, the quasi-spectrum is significantly distorted by the field as the electronic parameters are renormalized by electronic-dressing. In the second, all the characteristics of the free carrier spectrum are retained. Linearly polarized light anisotropically deforms the spectrum according to the field polarization direction. Dirac-like points form around the original Dirac point. The quasi spectrum of circularly polarized light, instead, exhibits a gap formation in the Dirac point and has elliptical symmetry. We show that, in contrast to the single-photon resonant transitions that characterize the weak-field regime, the strong-field regime is dominated by multiphoton resonances.


title: Extending and Analyzing Self-Supervised Learning Across Domains

abstract: Self-supervised representation learning has achieved impressive results in recent years, with experiments primarily coming on ImageNet or other similarly large internet imagery datasets. There has been little to no work with these methods on other smaller domains, such as satellite, textural, or biological imagery. We experiment with several popular methods on an unprecedented variety of domains. We discover, among other findings, that Rotation is by far the most semantically meaningful task, with much of the performance of Jigsaw and Instance Discrimination being attributable to the nature of their induced distribution rather than semantic understanding. Additionally, there are several areas, such as fine-grain classification, where all tasks underperform. We quantitatively and qualitatively diagnose the reasons for these failures and successes via novel experiments studying pretext generalization, random labelings, and implicit dimensionality. Code and models are available at https://github.com/BramSW/Extending_SSRL_Across_Domains/.


title: Exterior powers and pointwise creation operators

abstract: We develop a theory of pointwise wedge products of vector-valued functions on the circle and the disc, and obtain results which give rise to a new approach to the analysis of the matricial Nehari problem. We investigate properties of pointwise creation operators and pointwise orthogonal complements in the context of operator theory and the study of vector-valued analytic functions on the unit disc.


title: Bharatanatyam Dance Transcription using Multimedia Ontology and Machine Learning

abstract: Indian Classical Dance is an over 5000 years' old multi-modal language for expressing emotions. Preservation of dance through multimedia technology is a challenging task. In this paper, we develop a system to generate a parseable representation of a dance performance. The system will help to preserve intangible heritage, annotate performances for better tutoring, and synthesize dance performances. We first attempt to capture the concepts of the basic steps of an Indian Classical Dance form, named Bharatanatyam Adavus, in an ontological model. Next, we build an event-based low-level model that relates the ontology of Adavus to the ontology of multi-modal data streams (RGB-D of Kinect in this case) for a computationally realizable framework. Finally, the ontology is used for transcription into Labanotation. We also present a transcription tool for encoding the performances of Bharatanatyam Adavus to Labanotation and test it on our recorded data set. Our primary aim is to document the complex movements of dance in terms of Labanotation using the ontology.


title: Explicit Domain Adaptation with Loosely Coupled Samples

abstract: Transfer learning is an important field of machine learning in general, and particularly in the context of fully autonomous driving, which needs to be solved simultaneously for many different domains, such as changing weather conditions and country-specific driving behaviors. Traditional transfer learning methods often focus on image data and are black-box models. In this work we propose a transfer learning framework, core of which is learning an explicit mapping between domains. Due to its interpretability, this is beneficial for safety-critical applications, like autonomous driving. We show its general applicability by considering image classification problems and then move on to time-series data, particularly predicting lane changes. In our evaluation we adapt a pre-trained model to a dataset exhibiting different driving and sensory characteristics.


title: On actions of connected Hopf algebras

abstract: Let $H$ be a connected Hopf algebra acting on an algebra $A$. Working over a base field having characteristic $0$, we show that for a given prime (semi-prime, completely prime) ideal $I$ of $A$, the largest $H$-stable ideal of A contained in $I$ is also prime (semi-prime, completely prime). We also prove a similar result for certain subrings of convolution algebras.


title: New Protocols and Negative Results for Textual Entailment Data Collection

abstract: Natural language inference (NLI) data has proven useful in benchmarking and, especially, as pretraining data for tasks requiring language understanding. However, the crowdsourcing protocol that was used to collect this data has known issues and was not explicitly optimized for either of these purposes, so it is likely far from ideal. We propose four alternative protocols, each aimed at improving either the ease with which annotators can produce sound training examples or the quality and diversity of those examples. Using these alternatives and a fifth baseline protocol, we collect and compare five new 8.5k-example training sets. In evaluations focused on transfer learning applications, our results are solidly negative, with models trained on our baseline dataset yielding good transfer performance to downstream tasks, but none of our four new methods (nor the recent ANLI) showing any improvements over that baseline. In a small silver lining, we observe that all four new protocols, especially those where annotators edit pre-filled text boxes, reduce previously observed issues with annotation artifacts.


title: Cyclic Sieving for Cyclic Codes

abstract: Prompted by a question of Jim Propp, this paper examines the cyclic sieving phenomenon (CSP) in certain cyclic codes. For example, it is shown that, among dual Hamming codes over $F_q$, the generating function for codedwords according to the major index statistic (resp. the inversion statistic) gives rise to a CSP when $q=2$ or $q=3$ (resp. when $q=2$). A byproduct is a curious characterization of the irreducible polynomials in $F_2[x]$ and $F_3[x]$ that are primitive.


title: Syntactic Data Augmentation Increases Robustness to Inference Heuristics

abstract: Pretrained neural models such as BERT, when fine-tuned to perform natural language inference (NLI), often show high accuracy on standard datasets, but display a surprising lack of sensitivity to word order on controlled challenge sets. We hypothesize that this issue is not primarily caused by the pretrained model's limitations, but rather by the paucity of crowdsourced NLI examples that might convey the importance of syntactic structure at the fine-tuning stage. We explore several methods to augment standard training sets with syntactically informative examples, generated by applying syntactic transformations to sentences from the MNLI corpus. The best-performing augmentation method, subject/object inversion, improved BERT's accuracy on controlled examples that diagnose sensitivity to word order from 0.28 to 0.73, without affecting performance on the MNLI test set. This improvement generalized beyond the particular construction used for data augmentation, suggesting that augmentation causes BERT to recruit abstract syntactic representations.


title: Neural Head Reenactment with Latent Pose Descriptors

abstract: We propose a neural head reenactment system, which is driven by a latent pose representation and is capable of predicting the foreground segmentation alongside the RGB image. The latent pose representation is learned as a part of the entire reenactment system, and the learning process is based solely on image reconstruction losses. We show that despite its simplicity, with a large and diverse enough training dataset, such learning successfully decomposes pose from identity. The resulting system can then reproduce mimics of the driving person and, furthermore, can perform cross-person reenactment. Additionally, we show that the learned descriptors are useful for other pose-related tasks, such as keypoint prediction and pose-based retrieval.


title: A nonlinear projection theorem for Assouad dimension and applications

abstract: We prove a general nonlinear projection theorem for Assouad dimension. This theorem has several applications including to distance sets, radial projections, and sum-product phenomena. In the setting of distance sets we are able to completely resolve the planar distance set problem for Assouad dimension, both dealing with the awkward `critical case' and providing sharp estimates for sets with Assouad dimension less than 1. In the higher dimensional setting we connect the problem to the dimension of the set of exceptions in a related (orthogonal) projection theorem. We also obtain results on pinned distance sets and our results still hold when the distances are taken with respect to a sufficiently curved norm. As another application we prove a radial projection theorem for Assouad dimension with sharp estimates on the Hausdorff dimension of the exceptional set.


title: Finding Planted Cliques in Sublinear Time

abstract: We study the planted clique problem in which a clique of size k is planted in an Erdos-Renyi graph G(n,1/2) and one is interested in recovering this planted clique. It is widely believed that it exhibits a statistical-computational gap when computational efficiency is equated with the existence of polynomial time algorithms. We study this problem under a more fine-grained computational lens and consider the following two questions. 1. Do there exist sublinear time algorithms for recovering the planted clique? 2. What is the smallest running time any algorithm can hope to have? We show that because of a well known clique-completion property, very elementary sublinear time recovery algorithms do indeed exist for clique sizes k = {\omega}(\sqrt{n}). This points to a qualitatively stronger statistical-computational gap. The planted clique recovery problem can be solved without even looking at most of the input above the {\Theta}(\sqrt{n}) threshold and cannot be solved by any efficient algorithm below it. A running time lower bound for the recovery problem follows easily from the results of [RS19], and this implies our recovery algorithms are optimal whenever k = {\Omega}(n^{2/3}). However, for k = o(n^{2/3}) there is a gap between our algorithmic upper bound and the information-theoretic lower bound implied by [RS19]. With some caveats, we show stronger detection lower bounds based on the Planted Clique Conjecture for a natural but restricted class of algorithms. The key idea is to relate very fast sublinear time algorithms for detecting large planted cliques to polynomial time algorithms for detecting small planted cliques.


title: Effect of magnetic perturbations on turbulence-flow dynamics at the L-H transition on DIII-D

abstract: Detailed 2D turbulence measurements from the DIII-D tokamak provide an explanation for how resonant magnetic perturbations (RMPs) raise the L-H power threshold $P_\textrm{LH}$ [P. Gohil et al., Nucl. Fusion 51, 103020 (2011)] in ITER-relevant, low rotation, ITER-similar-shape plasmas with favorable ion $\nabla B$ direction. RMPs simultaneously raise the turbulence decorrelation rate $\Delta \omega_D$ and reduce the flow shear rate $\omega_\textrm{shear}$ in the stationary L-mode state preceding the L-H transition, thereby disrupting the turbulence shear suppression mechanism. RMPs also reduce the Reynolds stress drive for poloidal flow, contributing to the reduction of $\omega_\textrm{shear}$ On the ~100 {\mu}s timescale of the L-H transition, RMPs reduce Reynolds-stress-driven energy transfer from turbulence to flows by an order of magnitude, challenging the energy depletion theory for the L-H trigger mechanism. In contrast, non-resonant magnetic perturbations, which do not significantly affect $P_\textrm{LH}$, do not affect $\Delta \omega_D$ and only slightly reduce $\omega_\textrm{shear}$ and Reynolds-stress-driven energy transfer.


title: H\"older regularity of solutions to generated Jacobian equations

abstract: Generated Jacobian equations are Monge-Amp\`ere type equations which contain optimal transport as a special case. Therefore, optimal transport case has its own special structure which is not necessarily true for more general generated Jacobian equations. Hence the theory for optimal transport can not be directly transplanted to generated Jacobian equations. In this paper, we point out the difficulties that prevent applying the proof the local H\"older regularity of solutions of optimal transport problem from \cite{Loeper2009OnTR} directly to Generated Jacobian Equations, we then discuss how to handle these difficulties, and prove local H\"older regularity in the generated Jacobian equation case.


title: Geometric and Functional Inequalities for Log-concave Probability Sequences

abstract: We investigate geometric and functional inequalities for the class of log-concave probability sequences. We prove dilation inequalities for log-concave probability measures on the integers. A functional analogue of this geometric inequality is derived, giving large and small deviation inequalities from a median, in terms of a modulus of regularity. Our methods are of independent interest, we find that log-affine sequences are the extreme points of the set of log-concave sequences belonging to a half-space slice of the simplex. We use this result as a tool to derive simple proofs of several convolution type inequalities for log-concave sequences, due to Walkup, Gurvits, and Klartag-Lehec. Further applications of our results are used to produce a discrete version of the Pr\'ekopa-Leindler inequality.


title: Contextualized Representations Using Textual Encyclopedic Knowledge

abstract: We present a method to represent input texts by contextualizing them jointly with dynamically retrieved textual encyclopedic background knowledge from multiple documents. We apply our method to reading comprehension tasks by encoding questions and passages together with background sentences about the entities they mention. We show that integrating background knowledge from text is effective for tasks focusing on factual reasoning and allows direct reuse of powerful pretrained BERT-style encoders. Moreover, knowledge integration can be further improved with suitable pretraining via a self-supervised masked language model objective over words in background-augmented input text. On TriviaQA, our approach obtains improvements of 1.6 to 3.1 F1 over comparable RoBERTa models which do not integrate background knowledge dynamically. On MRQA, a large collection of diverse QA datasets, we see consistent gains in-domain along with large improvements out-of-domain on BioASQ (2.1 to 4.2 F1), TextbookQA (1.6 to 2.0 F1), and DuoRC (1.1 to 2.0 F1).


title: Quasiclassical approach to synergic synchrotron-Cherenkov radiation in polarized vacuum

abstract: The photon emission by an ultrarelativistic charged particle in extremely strong magnetic field is analyzed, with vacuum polarization and photon recoil taken into account. The vacuum polarization is treated phenomenologically via refractive index. The photon emission occurs in the synergic (cooperative) synchrotron-Cherenkov process [J. Schwinger, W. Tsai and T. Erber, Annals of Physics, 96 303 (1976)] which is similar to the synchrotron emission rather than to the Cherenkov one. For electrons, the effect of the vacuum polarization on the emission spectrum is not evident even beyond the probable onset of non-perturbative quantum electrodynamics (QED). However, the effect of the vacuum polarization on the emission spectrum can be observable for muons already at $\gamma B / B_S \approx 30$, with $\gamma$ the muon Lorentz factor, $B$ the magnetic field strength and $B_S$ the critical QED field. Nevertheless, vacuum polarization leads to only 10% enhancement of the maximum of the radiation spectrum.


title: Dynamics and multiqubit entanglement in distant resonators

abstract: We consider the dynamics of the photon states in distant resonators coupled to a common bus resonator at different positions. The frequencies of distant resonators from a common bus resonator are equally detuned. These frequency detunings are kept larger than the coupling strengths of each resonator to the common bus resonator to satisfy the dispersive interaction regime. In the dispersive regime, we show that the time dynamics of the system evolve to an arbitrary W-type state in a single step at various interaction times. Our results show that a one-step generation of arbitrary W-type states can be achieved with high fidelity in a system of superconducting resonators.


title: Strong interfacial exchange field in a heavy metal/ferromagnetic insulator system determined by spin Hall magnetoresistance

abstract: Spin-dependent transport at heavy metal/magnetic insulator interfaces is at the origin of many phenomena at the forefront of spintronics research. A proper quantification of the different interfacial spin conductances is crucial for many applications. Here, we report the first measurement of the spin Hall magnetoresistance (SMR) of Pt on a purely ferromagnetic insulator (EuS). We perform SMR measurements in a wide range of temperatures and fit the results by using a microscopic model. From this fitting procedure we obtain the temperature dependence of the spin conductances ($G_s$, $G_r$ and $G_i$), disentangling the contribution of field-like torque ($G_i$), damping-like torque ($G_r$), and spin-flip scattering ($G_s$). An interfacial exchange field of the order of 1 meV acting upon the conduction electrons of Pt can be estimated from $G_i$, which is at least three times larger than $G_r$ below the Curie temperature. Our work provides an easy method to quantify this interfacial spin-splitting field, which play a key role in emerging fields such as superconducting spintronics and caloritronics, and topological quantum computation.


title: The multi-dimensional Hermite-discontinuous Galerkin method for the Vlasov-Maxwell equations

abstract: We discuss the development, analysis, implementation, and numerical assessment of a spectral method for the numerical simulation of the three-dimensional Vlasov-Maxwell equations. The method is based on a spectral expansion of the velocity space with the asymmetrically weighted Hermite functions. The resulting system of time-dependent nonlinear equations is discretized by the discontinuous Galerkin (DG) method in space and by the method of lines for the time integration using explicit Runge-Kutta integrators. The resulting code, called Spectral Plasma Solver (SPS-DG), is successfully applied to standard plasma physics benchmarks to demonstrate its accuracy, robustness, and parallel scalability.


title: Trading Foreign Exchange Triplets

abstract: We develop the optimal trading strategy for a foreign exchange (FX) broker who must liquidate a large position in an illiquid currency pair. To maximize revenues, the broker considers trading in a currency triplet which consists of the illiquid pair and two other liquid currency pairs. The liquid pairs in the triplet are chosen so that one of the pairs is redundant. The broker is risk-neutral and accounts for model ambiguity in the FX rates to make her strategy robust to model misspecification. When the broker is ambiguity neutral (averse) the trading strategy in each pair is independent (dependent) of the inventory in the other two pairs in the triplet. We employ simulations to illustrate how the robust strategies perform. For a range of ambiguity aversion parameters, we find the mean Profit and Loss (P&L) of the strategy increases and the standard deviation of the P&L decreases as ambiguity aversion increases.


title: Integrative Bayesian models using Post-selective Inference: a case study in Radiogenomics

abstract: Integrative analyses based on statistically relevant associations between genomics and a wealth of intermediary phenotypes (such as imaging) provide vital insights into their clinical relevance in terms of the disease mechanisms. Estimates for uncertainty in the resulting integrative models are however unreliable unless inference accounts for the selection of these associations with accuracy. In this article, we develop selection-aware Bayesian methods which: (i) counteract the impact of model selection bias through a "selection-aware posterior" in a flexible class of integrative Bayesian models post a selection of promising variables via $\ell_1$-regularized algorithms; (ii) strike an inevitable tradeoff between the quality of model selection and inferential power when the same dataset is used for both selection and uncertainty estimation. Central to our methodological development, a carefully constructed conditional likelihood function deployed with a reparameterization mapping provides notably tractable updates when gradient-based MCMC sampling is used for estimating uncertainties from the selection-aware posterior. Applying our methods to a radiogenomic analysis, we successfully recover several important gene pathways and estimate uncertainties for their associations with patient survival times.


title: Recovering individual-level spatial inference from aggregated binary data

abstract: Binary regression models are commonly used in disciplines such as epidemiology and ecology to determine how spatial covariates influence individuals. In many studies, binary data are shared in a spatially aggregated form to protect privacy. For example, rather than reporting the location and result for each individual that was tested for a disease, researchers may report that a disease was detected or not detected within geopolitical units. Often, the spatial aggregation process obscures the values of response variables, spatial covariates, and locations of each individual, which makes recovering individual-level inference difficult. We show that applying a series of transformations, including a change of support, to a bivariate point process model allows researchers to recover individual-level inference for spatial covariates from spatially aggregated binary data. The series of transformations preserves the convenient interpretation of desirable binary regression models that are commonly applied to individual-level data. Using a simulation experiment, we compare the performance of our proposed method under varying types of spatial aggregation against the performance of standard approaches using the original individual-level data. We illustrate our method by modeling individual-level probability of infection using a data set that has been aggregated to protect an at-risk and endangered species of bats. Our simulation experiment and data illustration demonstrate the utility of the proposed method when access to original non-aggregated data is impractical or prohibited.


title: Electron Beam Aberration Correction Using Optical Near Fields

abstract: The interaction between free electrons and optical near fields is attracting increasing attention as a way to manipulate the electron wave function in space, time, and energy. Relying on currently attainable experimental capabilities, we design optical near-field plates to imprint a lateral phase on the electron wave function that can largely correct spherical aberration without the involvement of electric or magnetic lenses in the electron optics, and further generate on-demand lateral focal spot profiles. Our work introduces a disruptive and powerful approach toward aberration correction based on light-electron interactions that could lead to compact and versatile time-resolved free-electron microscopy and spectroscopy.


title: The large-time and vanishing-noise limits for entropy production in nondegenerate diffusions

abstract: We investigate the behaviour of a family of entropy production functionals associated to stochastic differential equations of the form $\mathrm{d} X_s = -\nabla V(X_s) \, \mathrm{d} s + b(X_s) \, \mathrm{d} s + \sqrt{2\epsilon} \, \mathrm{d} W_s $, where $b$ is a globally Lipschitz nonconservative vector field keeping the system out of equilibrium, with emphasis on the large-time limit and then the vanishing-noise limit. Different members of the family correspond to different choices of boundary terms. Our analysis yields a law of large numbers and a local large deviation principle which does not depend on the choice of boundary terms and which exhibits a Gallavotti--Cohen symmetry. We use techniques from the theory of semigroups and from semiclassical analysis to reduce the description of the asymptotic behaviour of the functional to the study of the leading eigenvalue of a quadratic approximation of a deformation of the infinitesimal generator near critical points of $V$.


title: Using Behavioral Interactions from a Mobile Device to Classify the Reader's Prior Familiarity and Goal Conditions

abstract: A student reads a textbook to learn a new topic; an attorney leafs through familiar legal documents. Each reader may have a different goal for, and prior knowledge of, their reading. A mobile context, which captures interaction behavior, can provide insights about these reading conditions. In this paper, we focus on understanding the different reading conditions of mobile readers, as such an understanding can facilitate the design of effective personalized features for supporting mobile reading. With this motivation in mind, we analyzed the reading behaviors of 285 Mechanical Turk participants who read articles on mobile devices with different familiarity and reading goal conditions. The data was collected non-invasively, only including behavioral interactions recorded from a mobile phone in a non-laboratory setting. Our findings suggest that features based on touch locations can be used to distinguish among familiarity conditions, while scroll-based features and reading time features can be used to differentiate between reading goal conditions. Using the collected data, we built a model that can predict the reading goal condition (67.5%) significantly more accurately than a baseline model. Our model also predicted the familiarity level (56.2%) marginally more accurately than the baseline. These findings can contribute to developing an evidence-based design of reading support features for mobile reading applications. Furthermore, our study methodology can be easily expanded to different real-world reading environments, leaving much potential for future investigations.


title: Weak normality and seminormality in the mixed characteristic case

abstract: In this article, we give a few examples of local rings in relation to weak normality and seminormality in mixed characteristic. It is known that two concepts can differ in the equal prime characteristic case, while they coincide in the equal characteristic zero case. No explicit examples seem to be documented in the existing literature in the mixed characteristic case. We also establish the local Bertini theorem for weak normality in mixed characteristic under a certain condition.


title: Jupyter notebooks as discovery mechanisms for open science: Citation practices in the astronomy community

abstract: Citing data and software is a means to give scholarly credit and to facilitate access to research objects. Citation principles encourage authors to provide full descriptions of objects, with stable links, in their papers. As Jupyter notebooks aggregate data, software, and other objects, they may facilitate or hinder citation, credit, and access to data and software. We report on a study of references to Jupyter notebooks in astronomy over a 5-year period (2014-2018). References increased rapidly, but fewer than half of the references led to Jupyter notebooks that could be located and opened. Jupyter notebooks appear better suited to supporting the research process than to providing access to research objects. We recommend that authors cite individual data and software objects, and that they stabilize any notebooks cited in publications. Publishers should increase the number of citations allowed in papers and employ descriptive metadata-rich citation styles that facilitate credit and discovery.


title: Finite-sample Analysis of Interpolating Linear Classifiers in the Overparameterized Regime

abstract: We prove bounds on the population risk of the maximum margin algorithm for two-class linear classification. For linearly separable training data, the maximum margin algorithm has been shown in previous work to be equivalent to a limit of training with logistic loss using gradient descent, as the training error is driven to zero. We analyze this algorithm applied to random data including misclassification noise. Our assumptions on the clean data include the case in which the class-conditional distributions are standard normal distributions. The misclassification noise may be chosen by an adversary, subject to a limit on the fraction of corrupted labels. Our bounds show that, with sufficient over-parameterization, the maximum margin algorithm trained on noisy data can achieve nearly optimal population risk.


title: Intrinsic operators for the translationally-invariant many-body problem

abstract: The need to enforce fermionic antisymmetry in the nuclear many-body problem commonly requires use of single-particle coordinates, defined relative to some fixed origin. To obtain physical operators which nonetheless act on the nuclear many-body system in a Galilean-invariant fashion, thereby avoiding spurious center-of-mass contributions to observables, it is necessary to express these operators with respect to the translational intrinsic frame. Several commonly-encountered operators in nuclear many-body calculations, including the magnetic dipole and electric quadrupole operators (in the impulse approximation) and generators of SU(3) and Sp(3,R) symmetry groups, are bilinear in the coordinates and momenta of the nucleons and, when expressed in intrinsic form, become two-body operators. To work with such operators in a second-quantized many-body calculation, it is necessary to relate three distinct forms: the defining intrinsic-frame expression, an explicitly two-body expression in terms of two-particle relative coordinates, and a decomposition into one-body and separable two-body parts. We establish the relations between these forms, for general (non-scalar and non-isoscalar) operators bilinear in coordinates and momenta.


title: On support $\tau$-tilting modules over blocks covering cyclic blocks

abstract: Support $\tau$-tilting modules correspond to some classes of categorical objects bijectively, such as two-term tilting complexes for any finite dimensional symmetric algebra. This fact motivates us to classify support $\tau$-tilting modules over blocks of finite groups. Therefore we classify support $\tau$-tilting modules over particular blocks of finite groups by using the modular representation theoretical approaches including Clifford theory, Green's indecomposability theorem and so on.


title: Bayesian Clustered Coefficients Regression with Auxiliary Covariates Assistant Random Effects

abstract: In regional economics research, a problem of interest is to detect similarities between regions, and estimate their shared coefficients in economics models. In this article, we propose a mixture of finite mixtures (MFM) clustered regression model with auxiliary covariates that account for similarities in demographic or economic characteristics over a spatial domain. Our Bayesian construction provides both inference for number of clusters and clustering configurations, and estimation for parameters for each cluster. Empirical performance of the proposed model is illustrated through simulation experiments, and further applied to a study of influential factors for monthly housing cost in Georgia.


title: NWChem: Past, Present, and Future

abstract: Specialized computational chemistry packages have permanently reshaped the landscape of chemical and materials science by providing tools to support and guide experimental efforts and for the prediction of atomistic and electronic properties. In this regard, electronic structure packages have played a special role by using first-principledriven methodologies to model complex chemical and materials processes. Over the last few decades, the rapid development of computing technologies and the tremendous increase in computational power have offered a unique chance to study complex transformations using sophisticated and predictive many-body techniques that describe correlated behavior of electrons in molecular and condensed phase systems at different levels of theory. In enabling these simulations, novel parallel algorithms have been able to take advantage of computational resources to address the polynomial scaling of electronic structure methods. In this paper, we briefly review the NWChem computational chemistry suite, including its history, design principles, parallel tools, current capabilities, outreach and outlook.


title: Spin-projection for quantum computation: A low-depth approach to strong correlation

abstract: Although spin is a core property in fermionic systems, its symmetry can be easily violated in a variational simulation, especially when strong correlation plays a vital role therein. In this study, we will demonstrate that the broken spin-symmetry can be restored exactly in a quantum computer, with little overhead in circuits, while delivering additional strong correlation energy with the desired spin quantum number. The proposed scheme permits drastic reduction of a potentially large number of measurements required to ensure spin-symmetry by employing a superposition of only a few rotated quantum states. Our implementation is universal, simple, and, most importantly, straightforwardly applicable to any ansatz proposed to date.


title: A new spectral analysis of stationary random Schr\"odinger operators

abstract: Motivated by the long-time transport properties of quantum waves in weakly disordered media, the present work puts random Schr\"odinger operators into a new spectral perspective. Based on a stationary random version of a Floquet type fibration, we reduce the description of the quantum dynamics to a fibered family of abstract spectral perturbation problems on the underlying probability space. We state a natural resonance conjecture for these fibered operators: in contrast with periodic and quasiperiodic settings, this would entail that Bloch waves do not exist as extended states, but rather as resonant modes, and this would justify the expected exponential decay of time correlations. Although this resonance conjecture remains open, we develop new tools for spectral analysis on the probability space, and in particular we show how ideas from Malliavin calculus lead to rigorous Mourre type results: we obtain an approximate dynamical resonance result and the first spectral proof of the decay of time correlations on the kinetic timescale. This spectral approach suggests a whole new way of circumventing perturbative expansions and renormalization techniques.


title: Input-to-State Stability in sup norms for hyperbolic systems with boundary disturbances

abstract: We give sufficient conditions for Input-to-State Stability in $C^{1}$ norm of general quasilinear hyperbolic systems with boundary input disturbances. In particular the derivation of explicit Input-to-State Stability conditions is discussed for the special case of $2\times 2$ systems.


title: Deepfakes Detection with Automatic Face Weighting

abstract: Altered and manipulated multimedia is increasingly present and widely distributed via social media platforms. Advanced video manipulation tools enable the generation of highly realistic-looking altered multimedia. While many methods have been presented to detect manipulations, most of them fail when evaluated with data outside of the datasets used in research environments. In order to address this problem, the Deepfake Detection Challenge (DFDC) provides a large dataset of videos containing realistic manipulations and an evaluation system that ensures that methods work quickly and accurately, even when faced with challenging data. In this paper, we introduce a method based on convolutional neural networks (CNNs) and recurrent neural networks (RNNs) that extracts visual and temporal features from faces present in videos to accurately detect manipulations. The method is evaluated with the DFDC dataset, providing competitive results compared to other techniques.


title: Two-Stage Penalized Regression Screening to Detect Biomarker-Treatment Interactions in Randomized Clinical Trials

abstract: High-dimensional biomarkers such as genomics are increasingly being measured in randomized clinical trials. Consequently, there is a growing interest in developing methods that improve the power to detect biomarker-treatment interactions. We adapt recently proposed two-stage interaction detecting procedures in the setting of randomized clinical trials. We also propose a new stage 1 multivariate screening strategy using ridge regression to account for correlations among biomarkers. For this multivariate screening, we prove the asymptotic between-stage independence, required for family-wise error rate control, under biomarker-treatment independence. Simulation results show that in various scenarios, the ridge regression screening procedure can provide substantially greater power than the traditional one-biomarker-at-a-time screening procedure in highly correlated data. We also exemplify our approach in two real clinical trial data applications.


title: RL-Based Interference Mitigation in Uncoordinated Networks with Partially Overlapping Tones

abstract: Partially-overlapping tones (POT) are known to help mitigate co-channel interference in uncoordinated multi-carrier networks by introducing intentional frequency offsets (FOs) to the transmitted signals. In this paper, we explore the use of (POT) with reinforcement learning (RL) in dense networks where multiple links access time-frequency resources simultaneously. We propose a novel framework based on Q-learning, to obtain the (FO) for the multi-carrier waveform used for each link. In particular, we consider filtered multi-tone (FMT) systems that utilize Gaussian, root-raised-cosine (RRC), and isotropic orthogonal transform algorithm (IOTA) based prototype filters. Our simulation results show that the proposed scheme enhances the capacity of the links by at least 30\% in additive white Gaussian noise (AWGN) channel at high signal-to-noise ratio (SNR), and even more so in the presence of severe multi-path fading. For a wide range of interfering link densities, we demonstrate substantial improvements in the outage probability and multi-user efficiency facilitated by (POT), with the Gaussian filter outperforming the other two filters.


title: Formal Proof of the Group Law for Edwards Elliptic Curves

abstract: This article gives an elementary computational proof of the group law for Edwards elliptic curves. The associative law is expressed as a polynomial identity over the integers that is directly checked by polynomial division. Unlike other proofs, no preliminaries such as intersection numbers, Bezout's theorem, projective geometry, divisors, or Riemann Roch are required. The proof of the group law has been formalized in the Isabelle/HOL proof assistant.


title: On the Role of Visual Cues in Audiovisual Speech Enhancement

abstract: We present an introspection of an audiovisual speech enhancement model. In particular, we focus on interpreting how a neural audiovisual speech enhancement model uses visual cues to improve the quality of the target speech signal. We show that visual cues provide not only high-level information about speech activity, i.e., speech/silence, but also fine-grained visual information about the place of articulation. One byproduct of this finding is that the learned visual embeddings can be used as features for other visual speech applications. We demonstrate the effectiveness of the learned visual embeddings for classifying visemes (the visual analogy to phonemes). Our results provide insight into important aspects of audiovisual speech enhancement and demonstrate how such models can be used for self-supervision tasks for visual speech applications.


title: StRDAN: Synthetic-to-Real Domain Adaptation Network for Vehicle Re-Identification

abstract: Vehicle re-identification aims to obtain the same vehicles from vehicle images. This is challenging but essential for analyzing and predicting traffic flow in the city. Although deep learning methods have achieved enormous progress for this task, their large data requirement is a critical shortcoming. Therefore, we propose a synthetic-to-real domain adaptation network (StRDAN) framework, which can be trained with inexpensive large-scale synthetic and real data to improve performance. The StRDAN training method combines domain adaptation and semi-supervised learning methods and their associated losses. StRDAN offers significant improvement over the baseline model, which can only be trained using real data, for VeRi and CityFlow-ReID datasets, achieving 3.1% and 12.9% improved mean average precision, respectively.


title: Ram pressure stripping candidates in the Coma Cluster: Evidence for enhanced star formation

abstract: The Coma cluster is the nearest massive ($M \gtrsim 10^{15}\,\mathrm{M_\odot}$) galaxy cluster, making it an excellent laboratory to probe the influence of the cluster environment on galaxy star formation. Here, we present a sample of 41 galaxies with disturbed morphologies consistent with ram pressure stripping. These galaxies are identified visually using high-quality, multi-band imaging from the Canada-France-Hawaii telescope covering ~9 $\mathrm{deg^2}$ of the Coma cluster. These "stripping candidates" are clear outliers in common quantitative morphological measures, such as concentration-asymmetry and Gini-$M_{20}$, confirming their disturbed nature. Based on the orientations of observed asymmetries, as well as the galaxy positions in projected phase-space, these candidates are consistent with galaxies being stripped shortly after infall onto the Coma cluster. Finally, the stripping candidates show enhanced star formation rates, both relative to "normal" star-forming Coma galaxies and isolated galaxies in the field. Ram pressure is likely driving an enhancement in star formation during the stripping phase, prior to quenching. On the whole, ram pressure stripping appears to be ubiquitous across all regions of the Coma cluster.


title: Analysis & Shortcomings of E-Recruitment Systems: Towards a Semantics-based Approach Addressing Knowledge Incompleteness and Limited Domain Coverage

abstract: The rapid development of the Internet has led to introducing new methods for e-recruitment and human resources management. These methods aim to systematically address the limitations of conventional recruitment procedures through incorporating natural language processing tools and semantics-based methods. In this context, for a given job post, applicant resumes (usually uploaded as free-text unstructured documents in different formats such as .pdf, .doc, or .rtf) are matched/screened out using the conventional keyword-based model enriched by additional resources such as occupational categories and semantics-based techniques. Employing these techniques has proved to be effective in reducing the cost, time, and efforts required in traditional recruitment and candidate selection methods. However, the skill gap, i.e. the propensity to precisely detect and extract relevant skills in applicant resumes and job posts, and the hidden semantic dimensions encoded in applicant resumes still form a major obstacle for e-recruitment systems. This is due to the fact that resources exploited by current e-recruitment systems are obtained from generic domain-independent sources, therefore resulting in knowledge incompleteness and the lack of domain coverage. In this paper, we review state-of-the-art e-recruitment approaches and highlight recent advancements in this domain. An e-recruitment framework addressing current shortcomings through the use of multiple cooperative semantic resources, feature extraction techniques and skill relatedness measures is detailed. An instantiation of the proposed framework is proposed and an experimental validation using a real-world recruitment dataset from two employment portals demonstrates the effectiveness of the proposed approach.


title: Reconciliation of experiments and theory on transport properties of iron and the geodynamo

abstract: The amount of heat transport from the core, which constrains the dynamics and thermal evolution of the region, depends on the transport properties of iron. Ohta et al.(2016) and Konopkova et al.(2016) measured electrical resistivity and thermal conductivity of iron, respectively, in laser-heated diamond anvil cells (DACs) at relevant Earth's core pressure-temperature (P-T) conditions, and obtained dramatically contradictory results. Here we measure the electrical resistivity of hcp-iron up to ~170 GPa and ~3,000 K using a four-probe van der Pauw method coupled with homogeneous flat-top laser-heating in a DAC. We also compute its electrical and thermal conductivity by first-principles methods including electron-phonon and electron-electron scattering. We find that the measured resistivity of hcp-iron increases almost linearly with increasing temperature, and is consistent with current first-principles computations. The proportionality coefficient between resistivity and thermal conductivity (the Lorenz number) in hcp-iron differs from the ideal value (2.44*10^-8 W Omega K^-2), so a non-ideal Lorenz number of ~(2.0-2.1)*10^-8 W Omega K^-2 is used to convert the experimental resistivity to the thermal conductivity of hcp-Fe at high P-T. The results constrain the resistivity and thermal conductivity of hcp-iron to ~80(5) u Omega cm and ~100(10) W/mK, respectively, at conditions near core-mantle boundary. Our results indicate an adiabatic heat flow of ~10(1) TW through the core-mantle boundary for a liquid Fe alloy outer core, supporting a present-day geodynamo driven by thermal convection through the core's secular cooling and by compositional convection through the latent heat and gravitational energy during the inner core's solidification.


title: Partitions into distinct parts with bounded largest part

abstract: We prove an asymptotic formula for the number of partitions of $n$ into distinct parts where the largest part is at most $t\sqrt{n}$ for fixed $t \in \mathbb{R}$. Our method follows a probabilistic approach of Romik, who gave a simpler proof of Szekeres' asymptotic formula for distinct parts partitions when instead the number of parts is bounded by $t\sqrt{n}$. Although equivalent to a circle method/saddle-point method calculation, the probabilistic approach predicts the shape of the asymptotic formula, to some degree.


title: Mobility of a spatially modulated electron liquid on the helium surface

abstract: We present the results of large-scale numerical simulations of the mobility of a two-dimensional electron liquid on the helium surface in the presence of a one-dimensional periodic potential. Even where the potential is much weaker than the electron-electron interaction, it can strongly change the mobility. The effect depends on the interrelation between the potential period and the mean interelectron distance. It is most pronounced where the period is close to the period of the Wigner crystal that would form if the liquid were cooled to a lower temperature. The results suggest, in particular, that the correlation length in the electron liquid can be found by measuring the mobility in a weak periodic potential. The simulations are based on the microscopic model of the electron scattering by the excitations in helium.


title: Fuzzy Logic Based Integration of Web Contextual Linguistic Structures for Enriching Conceptual Visual Representations

abstract: Due to the difficulty of automatically mapping visual features with semantic descriptors, state-of-the-art frameworks have exhibited poor performance in terms of coverage and effectiveness for indexing the visual content. This prompted us to investigate the use of both the Web as a large information source from where to extract relevant contextual linguistic information and bimodal visual-textual indexing as a technique to enrich the vocabulary of index concepts. Our proposal is based on the Signal/Semantic approach for multimedia indexing which generates multi-facetted conceptual representations of the visual content. We propose to enrich these image representations with concepts automatically extracted from the visual contextual information. We specifically target the integration of semantic concepts which are more specific than the initial index concepts since they represent the visual content with greater accuracy and precision. Also, we aim to correct the faulty indexes resulting from the automatic semantic tagging. Experimentally, the details of the prototyping are given and the presented technique is tested in a Web-scale evaluation on 30 queries representing elaborate image scenes.


title: Reconfigurable ULAs for Line-of-Sight MIMO Transmission

abstract: This paper establishes an upper bound on the capacity of line-of-sight multiantenna channels over all possible antenna arrangements and shows that uniform linear arrays (ULAs) with an SNR-dependent rotation of transmitter or receiver can closely approach such capacity---and in fact achieve it at low and high SNR, and asymptotically in the numbers of antennas. Then, as an alternative to mechanically rotating ULAs, we propose to electronically select among multiple ULAs having a radial disposition at either transmitter or receiver, and we bound the shortfall from capacity as a function of the number of such ULAs. With only three ULAs, properly angled, 96% of the capacity can be achieved. Finally, we further introduce reduced-complexity precoders and linear receivers that capitalize on the structure of the channels spawned by these configurable ULA architectures.


title: Deep convolutional neural networks for face and iris presentation attack detection: Survey and case study

abstract: Biometric presentation attack detection is gaining increasing attention. Users of mobile devices find it more convenient to unlock their smart applications with finger, face or iris recognition instead of passwords. In this paper, we survey the approaches presented in the recent literature to detect face and iris presentation attacks. Specifically, we investigate the effectiveness of fine tuning very deep convolutional neural networks to the task of face and iris antispoofing. We compare two different fine tuning approaches on six publicly available benchmark datasets. Results show the effectiveness of these deep models in learning discriminative features that can tell apart real from fake biometric images with very low error rate. Cross-dataset evaluation on face PAD showed better generalization than state of the art. We also performed cross-dataset testing on iris PAD datasets in terms of equal error rate which was not reported in literature before. Additionally, we propose the use of a single deep network trained to detect both face and iris attacks. We have not noticed accuracy degradation compared to networks trained for only one biometric separately. Finally, we analyzed the learned features by the network, in correlation with the image frequency components, to justify its prediction decision.


title: Memory-efficient training with streaming dimensionality reduction

abstract: The movement of large quantities of data during the training of a Deep Neural Network presents immense challenges for machine learning workloads. To minimize this overhead, especially on the movement and calculation of gradient information, we introduce streaming batch principal component analysis as an update algorithm. Streaming batch principal component analysis uses stochastic power iterations to generate a stochastic k-rank approximation of the network gradient. We demonstrate that the low rank updates produced by streaming batch principal component analysis can effectively train convolutional neural networks on a variety of common datasets, with performance comparable to standard mini batch gradient descent. These results can lead to both improvements in the design of application specific integrated circuits for deep learning and in the speed of synchronization of machine learning models trained with data parallelism.


title: A Software-Based Approach for Acoustical Modeling of Construction Job Sites with Multiple Operational Machines

abstract: Several studies have been conducted to automatically recognize activities of construction equipment using their generated sound patterns. Most of these studies are focused on single-machine scenarios under controlled environments. However, real construction job sites are more complex and often consist of several types of equipment with different orientations, directions, and locations working simultaneously. The current state-of-research for recognizing activities of multiple machines on a job site is hardware-oriented, on the basis of using microphone arrays (i.e., several single microphones installed on a board under specific geometric layout) and beamforming principles for classifying sound directions for each machine. While effective, the common hardware-approach has limitations and using microphone arrays is not always a feasible option at ordinary job sites. In this paper, the authors proposed a software-oriented approach using Deep Neural Networks (DNNs) and Time-Frequency Masks (TFMs) to address this issue. The proposed method requires using single microphones, as the sound sources could be differentiated by training a DNN. The presented approach has been tested and validated under simulated job site conditions where two machines operated simultaneously. Results show that the average accuracy for soft TFM is 38% higher than binary TFM.


title: When do Word Embeddings Accurately Reflect Surveys on our Beliefs About People?

abstract: Social biases are encoded in word embeddings. This presents a unique opportunity to study society historically and at scale, and a unique danger when embeddings are used in downstream applications. Here, we investigate the extent to which publicly-available word embeddings accurately reflect beliefs about certain kinds of people as measured via traditional survey methods. We find that biases found in word embeddings do, on average, closely mirror survey data across seventeen dimensions of social meaning. However, we also find that biases in embeddings are much more reflective of survey data for some dimensions of meaning (e.g. gender) than others (e.g. race), and that we can be highly confident that embedding-based measures reflect survey data only for the most salient biases.


title: A general double sum identity, mock theta functions, and Bailey pairs

abstract: We obtain some Bailey pairs associated with indefinite quadratic forms with the $\beta_n$ connected to a finite sum. A new general identity is given, which provides identities for $q$-hypergeometric series, including mock theta functions.


title: The Dynamic Travelling Thief Problem: Benchmarks and Performance of Evolutionary Algorithms

abstract: Many real-world optimisation problems involve dynamic and stochastic components. While problems with multiple interacting components are omnipresent in inherently dynamic domains like supply-chain optimisation and logistics, most research on dynamic problems focuses on single-component problems. With this article, we define a number of scenarios based on the Travelling Thief Problem to enable research on the effect of dynamic changes to sub-components. Our investigations of 72 scenarios and seven algorithms show that -- depending on the instance, the magnitude of the change, and the algorithms in the portfolio -- it is preferable to either restart the optimisation from scratch or to continue with the previously valid solutions.


title: Sound Event Detection Utilizing Graph Laplacian Regularization with Event Co-occurrence

abstract: A limited number of types of sound event occur in an acoustic scene and some sound events tend to co-occur in the scene; for example, the sound events "dishes" and "glass jingling" are likely to co-occur in the acoustic scene "cooking". In this paper, we propose a method of sound event detection using graph Laplacian regularization with sound event co-occurrence taken into account. In the proposed method, the occurrences of sound events are expressed as a graph whose nodes indicate the frequencies of event occurrence and whose edges indicate the sound event co-occurrences. This graph representation is then utilized for the model training of sound event detection, which is optimized under an objective function with a regularization term considering the graph structure of sound event occurrence and co-occurrence. Evaluation experiments using the TUT Sound Events 2016 and 2017 detasets, and the TUT Acoustic Scenes 2016 dataset show that the proposed method improves the performance of sound event detection by 7.9 percentage points compared with the conventional CNN-BiGRU-based detection method in terms of the segment-based F1 score. In particular, the experimental results indicate that the proposed method enables the detection of co-occurring sound events more accurately than the conventional method.


title: Design and convergence analysis of numerical methods for stochastic evolution equations with Leray-Lions operator

abstract: *The gradient discretisation method (GDM) is a generic framework, covering many classical methods (Finite Elements, Finite Volumes, Discontinuous Galerkin, etc.), for designing and analysing numerical schemes for diffusion models. In this paper, we study the GDM for a general stochastic evolution problem based on a Leray--Lions type operator. The problem contains the stochastic $p$-Laplace equation as a particular case. The convergence of the Gradient Scheme (GS) solutions is proved by using Discrete Functional Analysis techniques, Skorohod theorem and the Kolmogorov test. In particular, we provide an independent proof of the existence of weak martingale solutions for the problem. In this way, we lay foundations and provide techniques for proving convergence of the GS approximating stochastic partial differential equations.


title: In and around Abelian anyon models

abstract: Anyon models are algebraic structures that model universal topological properties in topological phases of matter and can be regarded as mathematical characterization of topological order in two spacial dimensions. It is conjectured that every anyon model, or mathematically unitary modular tensor category, can be realized as the representation category of some chiral conformal field theory, or mathematically vertex operator algebra/local conformal net. This conjecture is known to be true for abelian anyon models providing support for the conjecture. We reexamine abelian anyon models from several different angles. First anyon models are algebraic data for both topological quantum field theories and chiral conformal field theories. While it is known that each abelian anyon model can be realized by a quantum abelian Chern-Simons theory and chiral conformal field theory, the construction is not algorithmic. Our goal is to provide such an explicit algorithm for a $K$-matrix in Chern-Simons theory and a positive definite even one for a lattice conformal field theory. Secondly anyon models and chiral conformal field theories underlie the bulk-edge correspondence for topological phases of matter. But there are interesting subtleties in this correspondence when stability of the edge theory and topological symmetry are taken into consideration. Therefore, our focus is on the algorithmic reconstruction of extremal chiral conformal field theories with small central charges. Finally we conjecture that a much stronger reconstruction holds for abelian anyon models: every abelian anyon model can be realized as the representation category of some non-lattice extremal vertex operator algebra generalizing the moonshine realization of the trivial anyon model.


title: Optimal frequency estimation and its application to quantum dots

abstract: We address the interaction-time optimization for frequency estimation in a two-level system. The goal is to estimate with maximum precision a stochastic perturbation. Our approach is valid for any figure of merit used to define optimality, and is illustrated for the variance and entropy. For the entropy, we clarify the connection to maximum-likelihood estimation. We devise novel estimation protocols with and without feedback. They outperform common protocols given in the literature. We design a probabilistic self-consistent protocol as an optimal estimation without feedback. It can improve current experimental techniques and boost coherence times in quantum computing.


title: Is GRB 110715A the progenitor of FRB 171209?

abstract: The physical origin of fast radio bursts (FRBs) is unknown. Young magnetars born from gamma-ray bursts (GRBs) have been suggested to be a possible central engine of FRBs. We test such a hypothesis by systematically searching for GRB-FRB spatial associations from 110 FRBs and 1440 GRBs. We find that one FRB event, FRB 171209, discovered by the Parkes telescope is spatially coincident with a historical long-duration GRB 110715A at $z=0.82$. The afterglow of GRB 110715A is consistent with being powered by a millisecond magnetar. The extragalactic dispersion measure of FRB 171209 is in excess of that contributed by the intergalactic medium, which can be interpreted as being contributed by a young supernova remnant associated with the GRB. Overall, the significance of the association is $(2.28 - 2.55) \sigma$. If the association is indeed physical, our result suggests that the magnetars associated with long GRBs can be the progenitors of at least some FRBs.


title: GPO: Global Plane Optimization for Fast and Accurate Monocular SLAM Initialization

abstract: Initialization is essential to monocular Simultaneous Localization and Mapping (SLAM) problems. This paper focuses on a novel initialization method for monocular SLAM based on planar features. The algorithm starts by homography estimation in a sliding window. It then proceeds to a global plane optimization (GPO) to obtain camera poses and the plane normal. 3D points can be recovered using planar constraints without triangulation. The proposed method fully exploits the plane information from multiple frames and avoids the ambiguities in homography decomposition. We validate our algorithm on the collected chessboard dataset against baseline implementations and present extensive analysis. Experimental results show that our method outperforms the fine-tuned baselines in both accuracy and real-time.


title: Quantum Mechanics as Naturalized Time

abstract: We bring together two topics (quantum mechanics and time passage) with the goal of clarifying questions about each. Specifically, we claim that the formalism of quantum mechanics provides an answer to the question: "What is time passage?".


title: Addressing Ancestry Disparities in Genomic Medicine: A Geographic-aware Algorithm

abstract: With declining sequencing costs a promising and affordable tool is emerging in cancer diagnostics: genomics. By using association studies, genomic variants that predispose patients to specific cancers can be identified, while by using tumor genomics cancer types can be characterized for targeted treatment. However, a severe disparity is rapidly emerging in this new area of precision cancer diagnosis and treatment planning, one which separates a few genetically well-characterized populations (predominantly European) from all other global populations. Here we discuss the problem of population-specific genetic associations, which is driving this disparity, and present a novel solution--coordinate-based local ancestry--for helping to address it. We demonstrate our boosting-based method on whole genome data from divergent groups across Africa and in the process observe signals that may stem from the transcontinental Bantu-expansion.


title: Radar Accurate Localization of UAV Swarms Based on Range Super-Resolution Method

abstract: In radar accurate localization of unmanned aerial vehicle (UAV) swarms, the high density, similar motion parameters, small radar cross-section (RCS), strong noise and far range put forward high requirements on radar resolution and transmitting power. In this paper, by using advantages of the long-time integration (LTI) technique and gridless sparse method, we construct a super-resolution framework for radar accurate localization of UAV swarms without changing radar hardware and system parameters. Thereafter, based on this framework, a range super-resolution method is proposed to realize the radar accurate localization of UAV swarms. Mathematical analyses and numerical simulations are performed and demonstrate that, compared to the keystone transform (KT)-based LTI method, MUSIC-based method and reweighted atomic-norm minimization (RAM)-based method, the range super-resolution method is more robust and practical for radar accurate localization of UAV swarms under the noisy environment. Additionally, the real experiment with X-band radar is also conducted to verify the effectiveness of the range super-resolution method.


title: In silico identification of clinically approved medicines against the main protease of SARS-CoV-2, causative agent of covid-19

abstract: The COVID-19 pandemic triggered by SARS-CoV-2 is a worldwide health disaster. Main protease is an attractive drug target among coronaviruses, due to its vital role in processing the polyproteins that are translated from the viral RNA. There is presently no exact drug or treatment for this diseases caused by SARS-CoV-2. In the present study, we report the potential inhibitory activity of some FDA approved drugs against SARS-CoV-2 main protease by molecular docking study to investigate their binding affinity in protease active site. Docking studies revealed that drug Oseltamivir (anti-H1N1 drug), Rifampin (anti-TB drug), Maraviroc, Etravirine, Indinavir, Rilpivirine (anti-HIV drugs) and Atovaquone, Quinidine, Halofantrine, Amodiaquine, Tetracylcine, Azithromycin, hydroxycholoroquine (anti-malarial drugs) among others binds in the active site of the protease with similar or higher affinity. However, the in-silico abilities of the drug molecules tested in this study, further needs to be validated by carrying out in vitro and in vivo studies. Moreover, this study spreads the potential use of current drugs to be considered and used to comprise the fast expanding SARS-CoV-2 infection.


title: Drag force on a moving heavy quark with deformed string configuration

abstract: To study drag force on a moving heavy quark through a plasma, we use a deformed AdS space-time, in which deformation parameter $c$ describes non-conformality in AdS/QCD. In this case the quark is mapped to a probe string in the AdS space. Considering probable contribution of deformation parameter in the probe string, we apply a general form of c-dependent string ansatz in the drag force computation. Then we find the acceptable value of this parameter as it satisfies QCD calculations. Using this result, we also discuss diffusion constant which is in agreement with phenomenological result for non-relativistic limit. Also we show that while in absence of deformation parameter, probe string is a strictly increasing function of radial coordinate, the c-dependent probe string has a maximum value versus $z$.


title: A Heterogeneous Graph with Factual, Temporal and Logical Knowledge for Question Answering Over Dynamic Contexts

abstract: We study question answering over a dynamic textual environment. Although neural network models achieve impressive accuracy via learning from input-output examples, they rarely leverage various types of knowledge and are generally not interpretable. In this work, we propose a graph-based approach, where a heterogeneous graph is automatically built with factual knowledge of the context, temporal knowledge of the past states, and logical knowledge that combines human-curated knowledge bases and rule bases. We develop a graph neural network over the constructed graph, and train the model in an end-to-end manner. Experimental results on a benchmark dataset show that the injection of various types of knowledge improves a strong neural network baseline. An additional benefit of our approach is that the graph itself naturally serves as a rational behind the decision making.


title: NullSpaceNet: Nullspace Convoluional Neural Network with Differentiable Loss Function

abstract: We propose NullSpaceNet, a novel network that maps from the pixel level input to a joint-nullspace (as opposed to the traditional feature space), where the newly learned joint-nullspace features have clearer interpretation and are more separable. NullSpaceNet ensures that all inputs from the same class are collapsed into one point in this new joint-nullspace, and the different classes are collapsed into different points with high separation margins. Moreover, a novel differentiable loss function is proposed that has a closed-form solution with no free-parameters. NullSpaceNet exhibits superior performance when tested against VGG16 with fully-connected layer over 4 different datasets, with accuracy gain of up to 4.55%, a reduction in learnable parameters from 135M to 19M, and reduction in inference time of 99% in favor of NullSpaceNet. This means that NullSpaceNet needs less than 1% of the time it takes a traditional CNN to classify a batch of images with better accuracy.


title: SAIA: Split Artificial Intelligence Architecture for Mobile Healthcare System

abstract: As the advancement of deep learning (DL), the Internet of Things and cloud computing techniques for biomedical and healthcare problems, mobile healthcare systems have received unprecedented attention. Since DL techniques usually require enormous amount of computation, most of them cannot be directly deployed on the resource-constrained mobile and IoT devices. Hence, most of the mobile healthcare systems leverage the cloud computing infrastructure, where the data collected by the mobile and IoT devices would be transmitted to the cloud computing platforms for analysis. However, in the contested environments, relying on the cloud might not be practical at all times. For instance, the satellite communication might be denied or disrupted. We propose SAIA, a Split Artificial Intelligence Architecture for mobile healthcare systems. Unlike traditional approaches for artificial intelligence (AI) which solely exploits the computational power of the cloud server, SAIA could not only relies on the cloud computing infrastructure while the wireless communication is available, but also utilizes the lightweight AI solutions that work locally on the client side, hence, it can work even when the communication is impeded. In SAIA, we propose a meta-information based decision unit, that could tune whether a sample captured by the client should be operated by the embedded AI (i.e., keeping on the client) or the networked AI (i.e., sending to the server), under different conditions. In our experimental evaluation, extensive experiments have been conducted on two popular healthcare datasets. Our results show that SAIA consistently outperforms its baselines in terms of both effectiveness and efficiency.


title: Constraining $f(T,B)$ teleparallel gravity from energy conditions

abstract: $f(T,B)$ teleparallel gravity is a recently proposed straightforward generalization of the popular $f(T)$ teleparallel gravity by the incorporation of a boundary term $B=\frac{2}{e}\partial_{i}(e T ^{i}) = \bigtriangledown_{i}T^{i}$ where $T$ denote the torsion scalar \cite{ftb13}. In this work, I investigate the viability of some well motivated $f(T,B)$ teleparallel gravity models of the forms $f=\alpha B^n+\beta T^m$, $f=\alpha B^n T^m$ and $f=\alpha \log (B)+\beta T$ where $\alpha, \beta, n$ and $m$ are free parameters from the inequalities imposed the the weak energy condition. I use the recent estimates of Hubble, deceleration, jerk and snap parameters in finding corners in parameter spaces for the cosmological models for which the energy density remain positive and the weak energy condition ( i.e, $\rho+p \geq 0$, where $p$ and $\rho$ represent respectively the cosmological pressure and energy density) attains a minute positive value, as this implies the EoS parameter $\omega = p/\rho \simeq-1$ and therefore consistent with an accelerating universe.


title: Nonlinear Dynamic Systems Parameterization Using Interval-Based Global Optimization: Computing Lipschitz Constants and Beyond

abstract: Numerous state-feedback and observer designs for nonlinear dynamic systems (NDS) have been developed in the past three decades. These designs assume that NDS nonlinearities satisfy one of the following function set classifications: bounded Jacobian, Lipschitz continuity, one-sided Lipschitz, quadratic inner-boundedness, and quadratic boundedness. These function sets are characterized by constant scalars or matrices bounding the NDS' nonlinearities. These constants (i) depend on the NDS' operating region, topology, and parameters, and (ii) are utilized to synthesize observer/controller gains. Unfortunately, there is a near-complete absence of algorithms to compute such bounding constants. In this paper, we develop analytical then computational methods to compute such constants. First, for every function set classification, we derive analytical expressions for these bounding constants through global maximization formulations. Second, we utilize a derivative-free, interval-based global maximization algorithm based on branch-and-bound framework to numerically obtain the bounding constants. Third, we showcase the effectiveness of our approaches to compute the corresponding parameters on some NDS such as highway traffic networks and synchronous generator models.


title: Probabilistic Serial Mechanism for Multi-Type Resource Allocation

abstract: In multi-type resource allocation (MTRA) problems, there are p $\ge$ 2 types of items, and n agents, who each demand one unit of items of each type, and have strict linear preferences over bundles consisting of one item of each type. For MTRAs with indivisible items, our first result is an impossibility theorem that is in direct contrast to the single type (p = 1) setting: No mechanism, the output of which is always decomposable into a probability distribution over discrete assignments (where no item is split between agents), can satisfy both sd-efficiency and sd-envy-freeness. To circumvent this impossibility result, we consider the natural assumption of lexicographic preference, and provide an extension of the probabilistic serial (PS), called lexicographic probabilistic serial (LexiPS).We prove that LexiPS satisfies sd-efficiency and sd-envy-freeness, retaining the desirable properties of PS. Moreover, LexiPS satisfies sd-weak-strategyproofness when agents are not allowed to misreport their importance orders. For MTRAs with divisible items, we show that the existing multi-type probabilistic serial (MPS) mechanism satisfies the stronger efficiency notion of lexi-efficiency, and is sd-envy-free under strict linear preferences, and sd-weak-strategyproof under lexicographic preferences. We also prove that MPS can be characterized both by leximin-ptimality and by item-wise ordinal fairness, and the family of eating algorithms which MPS belongs to can be characterized by no-generalized-cycle condition.


title: Hardness of Random Optimization Problems for Boolean Circuits, Low-Degree Polynomials, and Langevin Dynamics

abstract: We consider the problem of finding nearly optimal solutions of optimization problems with random objective functions. Two concrete problems we consider are (a) optimizing the Hamiltonian of a spherical or Ising $p$-spin glass model, and (b) finding a large independent set in a sparse Erd\H{o}s-R\'{e}nyi graph. The following families of algorithms are considered: (a) low-degree polynomials of the input; (b) low-depth Boolean circuits; (c) the Langevin dynamics algorithm. We show that these families of algorithms fail to produce nearly optimal solutions with high probability. For the case of Boolean circuits, our results improve the state-of-the-art bounds known in circuit complexity theory (although we consider the search problem as opposed to the decision problem). Our proof uses the fact that these models are known to exhibit a variant of the overlap gap property (OGP) of near-optimal solutions. Specifically, for both models, every two solutions whose objectives are above a certain threshold are either close or far from each other. The crux of our proof is that the classes of algorithms we consider exhibit a form of stability. We show by an interpolation argument that stable algorithms cannot overcome the OGP barrier. The stability of Langevin dynamics is an immediate consequence of the well-posedness of stochastic differential equations. The stability of low-degree polynomials and Boolean circuits is established using tools from Gaussian and Boolean analysis -- namely hypercontractivity and total influence, as well as a novel lower bound for random walks avoiding certain subsets. In the case of Boolean circuits, the result also makes use of Linal-Mansour-Nisan's classical theorem. Our techniques apply more broadly to low influence functions and may apply more generally.

categories: cs.CC cs.DS math-ph math.MP math.PR stat.ML


title: CS-AF: A Cost-sensitive Multi-classifier Active Fusion Framework for Skin Lesion Classification

abstract: Convolutional neural networks (CNNs) have achieved the state-of-the-art performance in skin lesion analysis. Compared with single CNN classifier, combining the results of multiple classifiers via fusion approaches shows to be more effective and robust. Since the skin lesion datasets are usually limited and statistically biased, while designing an effective fusion approach, it is important to consider not only the performance of each classifier on the training/validation dataset, but also the relative discriminative power (e.g., confidence) of each classifier regarding an individual sample in the testing phase, which calls for an active fusion approach. Furthermore, in skin lesion analysis, the data of certain classes (e.g., the benign lesions) is usually abundant making them an over-represented majority, while the data of some other classes (e.g., the cancerous lesions) is deficient, making them an underrepresented minority. It is more crucial to precisely identify the samples from an underrepresented (i.e., in terms of the amount of data) but more important minority class (e.g., certain cancerous lesion). In other words, misclassifying a more severe lesion to a benign or less severe lesion should have relative more cost (e.g., money, time and even lives). To address such challenges, we present CS-AF, a cost-sensitive multi-classifier active fusion framework for skin lesion classification. In the experimental evaluation, we prepared 96 base classifiers (of 12 CNN architectures) on the ISIC research datasets. Our experimental results show that our framework consistently outperforms the static fusion competitors.


title: Modified Structure of Protons and Neutrons in Correlated Pairs

abstract: The atomic nucleus is made of protons and neutrons (nucleons), that are themselves composed of quarks and gluons. Understanding how the quark-gluon structure of a nucleon bound in an atomic nucleus is modified by the surrounding nucleons is an outstanding challenge. Although evidence for such modification, known as the EMC effect, was first observed over 35 years ago, there is still no generally accepted explanation of its cause. Recent observations suggest that the EMC effect is related to close-proximity Short Range Correlated (SRC) nucleon pairs in nuclei. Here we report the first simultaneous, high-precision, measurements of the EMC effect and SRC abundances. We show that the EMC data can be explained by a universal modification of the structure of nucleons in neutron-proton (np) SRC pairs and present the first data-driven extraction of this universal modification function. This implies that, in heavier nuclei with many more neutrons than protons, each proton is more likely than each neutron to belong to an SRC pair and hence to have its quark structure distorted.


title: A Class of Hessian quotient equations in Euclidean space

abstract: In this paper, we consider a Class of Hessian quotient equations in Euclidean space. Under some sufficient condition, we obtain an existence result by the standard degree theory based on the a prior estimates for the solutions to the Hessian quotient equations.


title: Evolution of safety factor profiles in sawteeth

abstract: Two different definitions of the safety factor are applied to investigate the evolution of the safety factor profile during normal sawteeth, the stationary state, and the incomplete reconnection. It is found that the safety factor profiles from the old definition are sometimes inconsistent with the Poincare plots of the magnetic field during sawteeth. The old safety factor always indicates that the safety factor around the magnetic axis is flattened and equal to 1.0 with the development of the kink instability. However, the Poincare plots of the magnetic field lines indicate that the topology of the magnetic field around the magnetic axis has not been changed. To solve the inconsistency, we propose a new definition of the safety factor, in which the poloidal angle relative to the new twisted magnetic axis is used instead of the poloidal angle to the original axis. With the new definition, the safety factor profiles are consistent with Poincare plots of the magnetic field. We also find that the safety factor profiles are significantly different from the two different q definitions. With the new q definition, the safety factor at the magnetic axis q0 remains unchanged in almost the entire period of a sawtooth and jumps up to 1.0 near the end during normal sawteeth; in the non-axisymmetric equilibrium, q0 is still far below 1.0; q0 remains its initial value throughout the incomplete reconnection.