title: Development of charge-exchange injection at the Novosibirsk Institute of Nuclear Physics and around the World

abstract: The study of charge-exchange injection of protons into accelerators started in 1960 at the Institute of Nuclear Physics of the Siberian Branch of Russian Academy of Science, as proposed by G. I. Budker in connection with the development of the program of the VAPP-4 proton-antiproton collider. Since the purpose was the accumulation of beams with a maximum intensity, and the record intensity of the H- ion beams received by that time was only 70 {\mu}A, an important part of the program was the development of methods to produce intense beams of negative hydrogen ions. Charge-exchange injection of particles into accelerators and storage rings is an important application of the charge-exchange technology. Development of charge exchange injection with compensation of ionization energy loss by RF acceleration voltage up to the space charge limit is presented. Accumulation of coasting beam with space charge compensation with weak focusing and strong focusing is described. Accumulation of circulating beam in a storage ring with intensity above space charge limit is presented. Observation, explanation and damping of e-p instability (electron cloud effect) is discussed. Recent developments of charge exchange injection are discussed. Laser ionization of H- in charge exchange injection is reviewed.


title: Carbon Film in Radio Frequency Surface Plasma Source with Cesiation

abstract: It is assumed that persistent cesiation in the SNS RF SPS is related to deposition of carbon film on the collar converter. The work function dependence for graphite with alkali deposition has no minimum typical for metals and semiconductors and the final work function is higher. For this reason, the probability of H- secondary emission from cesiated metal and semiconductors can be higher than from cesiated carbon films but the carbon film maintains cesiation longer and can operate with low cesium consumption.


title: Spectral Complexity of Directed Graphs and Application to Structural Decomposition

abstract: We introduce a new measure of complexity (called spectral complexity) for directed graphs. We start with splitting of the directed graph into its recurrent and non-recurrent parts. We define the spectral complexity metric in terms of the spectrum of the recurrence matrix (associated with the reccurent part of the graph) and the Wasserstein distance. We show that the total complexity of the graph can then be defined in terms of the spectral complexity, complexities of individual components and edge weights. The essential property of the spectral complexity metric is that it accounts for directed cycles in the graph. In engineered and software systems, such cycles give rise to sub-system interdependencies and increase risk for unintended consequences through positive feedback loops, instabilities, and infinite execution loops in software. In addition, we present a structural decomposition technique that identifies such cycles using a spectral technique. We show that this decomposition complements the well-known spectral decomposition analysis based on the Fiedler vector. We provide several examples of computation of spectral and total complexities, including the demonstration that the complexity increases monotonically with the average degree of a random graph. We also provide an example of spectral complexity computation for the architecture of a realistic fixed wing aircraft system.


title: Electromagnon excitation in cupric oxide measured by Fabry-P\'erot enhanced terahertz Mueller matrix ellipsometry

abstract: Here we present the use of Fabry-P\'erot enhanced terahertz (THz) Mueller matrix ellipsometry to measure an electromagnon excitation in monoclinic cupric oxide (CuO). As a magnetically induced ferroelectric multiferroic, CuO exhibits coupling between electric and magnetic order. This gives rise to special quasiparticle excitations at THz frequencies called electromagnons. In order to measure the electromagnons in CuO, we exploit single-crystal CuO as a THz Fabry-P\'erot cavity to resonantly enhance the excitation's signature. This enhancement technique enables the complex index of refraction to be extracted. We observe a peak in the absorption coefficient near 0.705 THz and 215 K, which corresponds to the electromagnon excitation. This absorption peak is observed along only one major polarizability axis in the monoclinic a-c plane. We show the excitation can be represented using the Lorentz oscillator model, and discuss how these Lorentz parameters evolve with temperature. Our findings are in excellent agreement with previous characterizations by THz time-domain spectroscopy (THz-TDS), which demonstrates the validity of this enhancement technique.


title: The $\infty$-Categorical Eckmann-Hilton Argument

abstract: We define a reduced $\infty$-operad $\mathcal{P}$ to be $d$-connected if the spaces $\mathcal{P}\left(n\right)$, of $n$-ary operations, are $d$-connected for all $n\ge0$. Let $\mathcal{P}$ and $\mathcal{Q}$ be two reduced $\infty$-operads. We prove that if $\mathcal{P}$ is $d_{1}$-connected and $\mathcal{Q}$ is $d_{2}$-connected, then their Boardman-Vogt tensor product $\mathcal{P}\otimes\mathcal{Q}$ is $\left(d_{1}+d_{2}+2\right)$-connected. We consider this to be a natural $\infty$-categorical generalization of the classical Eckmann-Hilton argument.


title: Positive scalar curvature on manifolds with fibered singularities

abstract: A (compact) manifold with fibered $P$-singularities is a (possibly) singular pseudomanifold $M_\Sigma$ with two strata: an open nonsingular stratum $\mathring M$ (a smooth open manifold) and a closed stratum $\beta M$ (a closed manifold of positive codimension), such that a tubular neighborhood of $\beta M$ is a fiber bundle with fibers each looking like the cone on a fixed closed manifold $P$. We discuss what it means for such an $M_{\Sigma}$ with fibered $P$-singularities to admit an appropriate Riemannian metric of positive scalar curvature, and we give necessary and sufficient conditions (the necessary conditions based on suitable versions of index theory, the sufficient conditions based on surgery methods and homotopy theory) for this to happen when the singularity type $P$ is either $\mathbb Z/k$ or $S^1$, and $M$ and the boundary of the tubular neighborhood of the singular stratum are simply connected and carry spin structures. Along the way, we prove some results of perhaps independent interest, concerning metrics on spin$^c$ manifolds with positive "twisted scalar curvature," where the twisting comes from the curvature of the spin$^c$ line bundle.


title: Learning-based Automatic Parameter Tuning for Big Data Analytics Frameworks

abstract: Big data analytics frameworks (BDAFs) have been widely used for data processing applications. These frameworks provide a large number of configuration parameters to users, which leads to a tuning issue that overwhelms users. To address this issue, many automatic tuning approaches have been proposed. However, it remains a critical challenge to generate enough samples in a high-dimensional parameter space within a time constraint. In this paper, we present AutoTune--an automatic parameter tuning system that aims to optimize application execution time on BDAFs. AutoTune first constructs a smaller-scale testbed from the production system so that it can generate more samples, and thus train a better prediction model, under a given time constraint. Furthermore, the AutoTune algorithm produces a set of samples that can provide a wide coverage over the high-dimensional parameter space, and searches for more promising configurations using the trained prediction model. AutoTune is implemented and evaluated using the Spark framework and HiBench benchmark deployed on a public cloud. Extensive experimental results illustrate that AutoTune improves on default configurations by 63.70% on average, and on the five state-of-the-art tuning algorithms by 6%-23%.


title: Atomic layer deposition of titanium nitride for quantum circuits

abstract: Superconducting thin films with high intrinsic kinetic inductance are of great importance for photon detectors, achieving strong coupling in hybrid systems, and protected qubits. We report on the performance of titanium nitride resonators, patterned on thin films (9-110 nm) grown by atomic layer deposition, with sheet inductances of up to 234 pH/square. For films thicker than 14 nm, quality factors measured in the quantum regime range from 0.4 to 1.0 million and are likely limited by dielectric two-level systems. Additionally, we show characteristic impedances up to 28 kOhm, with no significant degradation of the internal quality factor as the impedance increases. These high impedances correspond to an increased single photon coupling strength of 24 times compared to a 50 Ohm resonator, transformative for hybrid quantum systems and quantum sensing.


title: Mathematical modelling of the vitamin C clock reaction

abstract: Chemical clock reactions are characterised by a relatively long induction period followed by a rapid `switchover' during which the concentration of a \emph{clock chemical} rises rapidly. In addition to their interest in chemistry education, these reactions are relevant to industrial and biochemical applications. A substrate-depletive, non-autocatalytic clock reaction involving household chemicals (vitamin C, iodine, hydrogen peroxide and starch) is modelled mathematically via a system of nonlinear ordinary differential equations. Following dimensional analysis the model is analysed in the phase plane and via matched asymptotic expansions. Asymptotic approximations are found to agree closely with numerical solutions in the appropriate time regions. Asymptotic analysis also yields an approximate formula for the dependence of switchover time on initial concentrations and the rate of the slow reaction. This formula is tested via `kitchen sink chemistry' experiments, and is found to enable a good fit to experimental series varying in initial concentrations of both iodine and vitamin C. The vitamin C clock reaction provides an accessible model system for mathematical chemistry.


title: Numerical Relativity of Compact Binaries in the 21st Century

abstract: We review the dramatic progress in the simulations of compact objects and compact-object binaries that has taken place in the first two decades of the twenty-first century. This includes simulations of the inspirals and violent mergers of binaries containing black holes and neutron stars, as well as simulations of black-hole formation through failed supernovae and high-mass neutron star--neutron star mergers. Modeling such events requires numerical integration of the field equations of general relativity in three spatial dimensions, coupled, in the case of neutron-star containing binaries, with increasingly sophisticated treatment of fluids, electromagnetic fields, and neutrino radiation. However, it was not until 2005 that accurate long-term evolutions of binaries containing black holes were even possible. Since then, there has been an explosion of new results and insights into the physics of strongly-gravitating system. Particular emphasis has been placed on understanding the gravitational wave and electromagnetic signatures from these extreme events. And with the recent dramatic discoveries of gravitational waves from merging black holes by the Laser Interferometric Gravitational Wave Observatory and Virgo, and the subsequent discovery of both electromagnetic and gravitational wave signals from a merging neutron star binary, numerical relativity became an indispensable tool for the new field of multimessenger astronomy.


title: Heuristics for publishing dynamic content as structured data with schema.org

abstract: Publishing fast changing dynamic data as open data on the web in a scalable manner is not trivial. So far the only approaches describe publishing as much data as possible, which then leads to problems, like server capacity overload, network latency or unwanted knowledge disclosure. With this paper we show ways how to publish dynamic data in a scalable, meaningful manner by applying context-dependent publication heuristics. The outcome shows that the application of the right publication heuristics in the right domain can improve the publication performance significantly. Good knowledge about the domain help choosing the right publication heuristic and hence lead to very good publication results.


title: Realization and Connectivity of the Graphs of Origami Flat Foldings

abstract: We investigate the graphs formed from the vertices and creases of an origami pattern that can be folded flat along all of its creases. As we show, this is possible for a tree if and only if the internal vertices of the tree all have even degree greater than two. However, we prove that (for unbounded sheets of paper, with a vertex at infinity representing a shared endpoint of all creased rays) the graph of a folding pattern must be 2-vertex-connected and 4-edge-connected.


title: Data-driven framework for real-time thermospheric density estimation

abstract: In this paper, we demonstrate a new data-driven framework for real-time neutral density estimation via model-data fusion in quasi-physical ionosphere-thermosphere models. The framework has two main components: (i) the development of a quasi-physical dynamic reduced order model (ROM) that uses a linear approximation of the underlying dynamics and effect of the drivers, and (ii) dynamic calibration of the ROM through estimation of the ROM coefficients that represent the model parameters. We have previously demonstrated the development of a quasi-physical ROM using simulation output from a physical model and assimilation of non-operational density estimates derived from accelerometer measurements along a single orbit. In this paper, we demonstrate the potential of the framework for use with operational measurements. We use simulated GPS-derived orbit ephemerides with 5 minute resolution as measurements. The framework is a first of its kind, simple yet robust and accurate method with high potential for providing real-time operational updates to the state of the upper atmosphere using quasi-physical models with inherent forecasting/predictive capabilities.


title: Ultra Reliable, Low Latency Vehicle-to-Infrastructure Wireless Communications with Edge Computing

abstract: Ultra reliable, low latency vehicle-to-infrastructure (V2I) communications is a key requirement for seamless operation of autonomous vehicles (AVs) in future smart cities. To this end, cellular small base stations (SBSs) with edge computing capabilities can reduce the end-to-end (E2E) service delay by processing requested tasks from AVs locally, without forwarding the tasks to a remote cloud server. Nonetheless, due to the limited computational capabilities of the SBSs, coupled with the scarcity of the wireless bandwidth resources, minimizing the E2E latency for AVs and achieving a reliable V2I network is challenging. In this paper, a novel algorithm is proposed to jointly optimize AVs-to-SBSs association and bandwidth allocation to maximize the reliability of the V2I network. By using tools from labor matching markets, the proposed framework can effectively perform distributed association of AVs to SBSs, while accounting for the latency needs of AVs as well as the limited computational and bandwidth resources of SBSs. Moreover, the convergence of the proposed algorithm to a core allocation between AVs and SBSs is proved and its ability to capture interdependent computational and transmission latencies for AVs in a V2I network is characterized. Simulation results show that by optimizing the E2E latency, the proposed algorithm substantially outperforms conventional cell association schemes, in terms of service reliability and latency.


title: A Stepwise Approach for High-Dimensional Gaussian Graphical Models

abstract: We present a stepwise approach to estimate high dimensional Gaussian graphical models. We exploit the relation between the partial correlation coefficients and the distribution of the prediction errors, and parametrize the model in terms of the Pearson correlation coefficients between the prediction errors of the nodes' best linear predictors. We propose a novel stepwise algorithm for detecting pairs of conditionally dependent variables. We show that the proposed algorithm outperforms existing methods such as the graphical lasso and CLIME in simulation studies and real life applications. In our comparison we report different performance measures that look at different desirable features of the recovered graph and consider several model settings.


title: Search for lepton-number-violating signals in the charm sector

abstract: We explore signals of lepton-number-violation in the charm physics sector. We study the four-body $|\Delta L|= 2$ decays of the $D^0$ meson, $D^0 \to P^- \pi^-\mu^+ \mu^+$ ($P = \pi, K$) as an alternative evidence of the Majorana nature of neutrinos. We carry out an exploratory study on the potential sensitivity that LHCb experiment could achieve for these $|\Delta L|= 2$ processes. We show that for a long term expected integrated luminosity of 300 fb$^{-1}$, a signal significance of branching ratios of the order $\mathcal{O}(10^{-9})$ might be accessible, allowing to improve the experimental bounds obtained by the E791 experiment. Limits on the parameter space of a heavy sterile neutrino that could be obtained from their experimental search are discussed as well.


title: Optimized Path Planning for Inspection by Unmanned Aerial Vehicles Swarm with Energy Constraints

abstract: Autonomous inspection of large geographical areas is a central requirement for efficient hazard detection and disaster management in future cyber-physical systems such as smart cities. In this regard, exploiting unmanned aerial vehicle (UAV) swarms is a promising solution to inspect vast areas efficiently and with low cost. In fact, UAVs can easily fly and reach inspection points, record surveillance data, and send this information to a wireless base station (BS). Nonetheless, in many cases, such as operations at remote areas, the UAVs cannot be guided directly by the BS in real-time to find their path. Moreover, another key challenge of inspection by UAVs is the limited battery capacity. Thus, realizing the vision of autonomous inspection via UAVs requires energy-efficient path planning that takes into account the energy constraint of each individual UAV. In this paper, a novel path planning algorithm is proposed for performing energy-efficient inspection, under stringent energy availability constraints for each UAV. The developed framework takes into account all aspects of energy consumption for a UAV swarm during the inspection operations, including energy required for flying, hovering, and data transmission. It is shown that the proposed algorithm can address the path planning problem efficiently in polynomial time. Simulation results show that the proposed algorithm can yield substantial performance gains in terms of minimizing the overall inspection time and energy. Moreover, the results provide guidelines to determine parameters such as the number of required UAVs and amount of energy, while designing an autonomous inspection system.


title: Visualizing a Million Time Series with the Density Line Chart

abstract: Data analysts often need to work with multiple series of data---conventionally shown as line charts---at once. Few visual representations allow analysts to view many lines simultaneously without becoming overwhelming or cluttered. In this paper, we introduce the DenseLines technique to calculate a discrete density representation of time series. DenseLines normalizes time series by the arc length to compute accurate densities. The derived density visualization allows users both to see the aggregate trends of multiple series and to identify anomalous extrema.


title: From Megaparsecs To Milliparsecs: Galaxy Evolution & Supermassive Black Holes with NANOGrav and the ngVLA

abstract: The dynamical evolution of supermassive black-hole binary systems is tethered on large scales to the merger rate of massive galaxies, and on small scales to the stellar and gaseous environments of galactic cores. The population of these systems will create an ensemble gravitational-wave signal at nanohertz frequencies that is detectable by Pulsar Timing Arrays (PTA), such as the North American Nanohertz Observatory for Gravitational Waves (NANOGrav). By measuring nanohertz gravitational waves, we will be able to definitively demonstrate that supermassive black-hole binaries reach milliparsec separations, characterize their sub-parsec dynamical evolution, constrain scaling relationships between the bulge and central black-hole mass, and understand how gas inflow at large scales is fed to central galactic regions. The ngVLA will be an essential complement to this search; its goal resolution will allow for dual AGN to be distinguished, giving merger-rate estimates that can constrain PTA searches. If intercontinental VLBI capabilities are added, then parsec-scale resolution of binary evolution may be possible, indicating whether binaries stall or are driven efficiently to sub-parsec separations. NANOGrav gravitational-wave analysis, in concert with observations by the ngVLA and complementary facilities, will paint a multi-messenger portrait of galaxy evolution and the dynamics of the most massive black-holes in the Universe.

categories: astro-ph.GA astro-ph.HE astro-ph.IM gr-qc


title: What do the US West Coast Public Libraries Post on Twitter?

abstract: Twitter has provided a great opportunity for public libraries to disseminate information for a variety of purposes. Twitter data have been applied in different domains such as health, politics, and history. There are thousands of public libraries in the US, but no study has yet investigated the content of their social media posts like tweets to find their interests. Moreover, traditional content analysis of Twitter content is not an efficient task for exploring thousands of tweets. Therefore, there is a need for automatic methods to overcome the limitations of manual methods. This paper proposes a computational approach to collecting and analyzing using Twitter Application Programming Interfaces (API) and investigates more than 138,000 tweets from 48 US west coast libraries using topic modeling. We found 20 topics and assigned them to five categories including public relations, book, event, training, and social good. Our results show that the US west coast libraries are more interested in using Twitter for public relations and book-related events. This research has both practical and theoretical applications for libraries as well as other organizations to explore social media actives of their customer and themselves.


title: Characterizing Transgender Health Issues in Twitter

abstract: Although there are millions of transgender people in the world, a lack of information exists about their health issues. This issue has consequences for the medical field, which only has a nascent understanding of how to identify and meet this population's health-related needs. Social media sites like Twitter provide new opportunities for transgender people to overcome these barriers by sharing their personal health experiences. Our research employs a computational framework to collect tweets from self-identified transgender users, detect those that are health-related, and identify their information needs. This framework is significant because it provides a macro-scale perspective on an issue that lacks investigation at national or demographic levels. Our findings identified 54 distinct health-related topics that we grouped into 7 broader categories. Further, we found both linguistic and topical differences in the health-related information shared by transgender men (TM) as com-pared to transgender women (TW). These findings can help inform medical and policy-based strategies for health interventions within transgender communities. Also, our proposed approach can inform the development of computational strategies to identify the health-related information needs of other marginalized populations.


title: Circumbinary discs around merging stellar-mass black holes

abstract: A circumbinary disc around a pair of merging stellar-mass black holes may be shocked and heated during the recoil of the merged hole, causing a near-simultaneous electromagnetic counterpart to the gravitational wave event. The shocks occur around the recoil radius, where the disc orbital velocity is equal to the recoil velocity. The amount of mass present near this radius at the time of the merger is critical in determining how much radiation is released. We explore the evolution of a circumbinary disc in two limits. First, we consider an accretion disc that feels no torque from the binary. The disc does not survive until the merger unless there is a dead zone, a region of low turbulence. Even with the dead zone, the surface density in this case may be small. Second, we consider a disc that feels a strong binary torque that prevents accretion on to the binary. In this case there is significantly more mass in regions of interest at the time of the merger. A dead zone in this disc increases the mass close to the recoil radius. For typical binary-disc parameters we expect accretion to be significantly slowed by the resonant torque from the binary, and for a dead zone to be present. We conclude that provided significant mass orbits the binary after the formation of the black hole binary and that the radiation produced in recoil shocks can escape the flow efficiently, there is likely to be an observable electromagnetic signal from black hole binary mergers.


title: An overview of the NIRSPEC upgrade for the Keck II telescope

abstract: NIRSPEC is a 1-5 micron echelle spectrograph in use on the Keck II Telescope since 1999. The spectrograph is capable of both moderate (R~2,000) and high (R~25,000) resolution observations and has been a workhorse instrument across many astronomical fields, from planetary science to extragalactic observations. In the latter half of 2018, we will upgrade NIRSPEC to improve the sensitivity and stability of the instrument and increase its lifetime. The major components of the upgrade include replacing the spectrometer and slit-viewing camera detectors with Teledyne H2RG arrays and replacing all transputer-based electronics. We present detailed design, testing, and analysis of the upgraded instrument, including the finalized optomechanical design of the new 1-5 micron slit-viewing camera, final alignment and assembly of the science array, electronics systems, and updated software design.


title: Optimization of LTE Radio Resource Block Allocation for Maritime Channels

abstract: In this study, we describe the behavior of LTE over the sea and investigate the problem of radio resource block allocation in such SINR limited maritime channels. For simulations of such sea environment, we considered a network scenario of Bosphorus Strait in Istanbul, Turkey with different number of ships ferrying between two ports at a given time. After exploiting the network characteristics, we formulated and solved the radio resource allocation problem by max-min integer linear programming method. The radio resource allocation fairness in terms of Jain's fairness index was computed and it was compared with round robin and opportunistic methods. Results show that the max-min optimization method performs better than the opportunistic and round robin methods. This result in turn reflects that the max-min optimization method gives us the high minimum best throughput as compared to other two methods considering different ship density scenarios in the sea. Also, it was observed that as the number of ships begin to increase in the sea, the max-min method performs significantly better with good fairness as compared to the other two methods.


title: Abnormal $phase$ flip in coherent phonon oscillations of Ca$_2$RuO$_4$

abstract: We employ an optical pump-probe technique to study coherent phonon oscillations in Ca$_2$RuO$_4$. We find that oscillation-amplitude of an $A_g$ symmetric phonon mode is strongly suppressed at 260 K, a putative transition point of orbital ordering. The oscillation also shows a gradual but huge change in its $phase$, such that the oscillation even flips over with a 180$^{\circ}$ change across the temperature. Density functional theory calculations indicate that the $A_g$ phonon has an eigenmode of octahedral distortion with conventional tilting along the $a$-axis and antipolar distortion of apical oxygen. Careful inspection of the lattice captures an unusually large antipolar distortion in low-temperature structures, which may play a crucial role for the phase transition at 260 K.


title: Chemistry in the dIrr galaxy Leo A

abstract: We present chemical abundance determinations of two H II regions in the dIrr galaxy Leo A, from GTC OSIRIS long-slit spectra. Both H II regions are of low excitation and seem to be ionised by stars later than O8V spectral type. In one of the H II regions we used the direct method: O$^{+2}$ ionic abundance was calculated using an electronic temperature determined from the [O III] $\lambda\lambda$4363/5007 line ratio; ionic abundances of O$^+$, N$^+$, and S$^+$ were calculated using a temperature derived from a parameterised formula. O, N and S total abundances were calculated using Ionisation Correction Factors from the literature for each element. Chemical abundances using strong-line methods were also determined, with similar results. For the second H II region, no electron temperature was determined thus the direct method cannot be used. We computed photoionisation structure models for both H II regions in order to determine their chemical composition from the best-fitted models. It is confirmed that Leo A in a very low metallicity galaxy, with 12+log(O/H)=7.4$\pm$0.2, log(N/O)=$-$1.6, and log(S/O)=$-$1.1. Emission lines of the only PN detected in Leo A were reanalysed and a photoionisation model was computed. This PN shows 12+log(O/H) very similar to the ones of the H II regions and a low N abundance, although its log(N/O) ratio is much larger than the values of the H II regions. Its central star seems to have had an initial mass lower than 2 M$_\odot$.


title: Supremacy by Accelerated Warfare through the Comprehension Barrier and Beyond: Reaching the Zero Domain and Cyberspace Singularity

abstract: It is questionable and even unlikely that cyber supremacy could be reached by overwhelming capabilities manifested by stacking more technical capacity and adding attack vectors. The alternative is to use time as the vehicle to supremacy by accelerating the velocity of the engagements beyond the speed at which the enemy can target, and precisely execute and comprehend the events unfolding. The space created beyond the adversary's comprehension is called the Zero Domain. Military traditionally sees the battle space as land, sea, air, space, and cyber domains. When fighting the battle beyond the adversary's comprehension, no traditional warfighting domain serves as a battle space; it is not a vacuum nor an unclaimed terra nullius, but instead the Zero Domain. In the Zero Domain, cyberspace superiority surfaces as the outfall of the accelerated time and a digital space-separated singularity that benefit the more-rapid actor. The Zero Domain has a time space that is accessible only by the rapid actor and a digital landscape that is not accessible by the slower actor due to the execution velocity in enhanced accelerated warfare. Velocity achieves cyber Anti AccessArea Denial A2AD, which can be achieved without active initial interchanges by accelerating the execution and cyber ability in a solitaire state. During this process, any adversarial probing engagements only affect the actor on the approach to the Comprehension Barrier and once arrived in the Zero Domain a complete state of A2AD is present.


title: Statistical analysis on XMM-Newton X-ray flares of Mrk 421: distributions of peak flux and flaring time duration

abstract: The energy dissipation mechanism in blazar jet is unknown. Blazar's flares could provide insights on this problem. Here we report statistical results of XMM-Newton X-ray flares of Mrk 421. We analyze all public XMM-Newton X-ray observations for Mrk 421, and construct the light curves. Through fitting light curves, we obtain the parameters of flare-profiles, such as peak flux ($F_{\rm p}$) and flaring time duration ($T_{\rm fl}$). It is found that both the distributions of $F_{\rm p}$ and $T_{\rm fl}$ obey a power-law form, with the same index of $\alpha_{\rm F}=\alpha_{\rm T}\approx1$. The statistical properties are consistent with the predictions by a self-organized criticality (SOC) system with energy dissipation in one-dimensional space. This is similar to solar flare, but with different space dimensions of the energy dissipation domain. This suggests that X-ray flaers of Mrk 421 are possibly driven by a magnetic reconnection mechanism. Moreover, in the analysis, we find that variability on timescale of $\sim1000\ $s frequently appears. Such rapid variability indicates a magnetic field of $\geq 2.1\delta_{\rm D}^{-1/3}$ G ($\delta_{\rm D}$ is the Doppler factor) in emission region.


title: Support Neighbor Loss for Person Re-Identification

abstract: Person re-identification (re-ID) has recently been tremendously boosted due to the advancement of deep convolutional neural networks (CNN). The majority of deep re-ID methods focus on designing new CNN architectures, while less attention is paid on investigating the loss functions. Verification loss and identification loss are two types of losses widely used to train various deep re-ID models, both of which however have limitations. Verification loss guides the networks to generate feature embeddings of which the intra-class variance is decreased while the inter-class ones is enlarged. However, training networks with verification loss tends to be of slow convergence and unstable performance when the number of training samples is large. On the other hand, identification loss has good separating and scalable property. But its neglect to explicitly reduce the intra-class variance limits its performance on re-ID, because the same person may have significant appearance disparity across different camera views. To avoid the limitations of the two types of losses, we propose a new loss, called support neighbor (SN) loss. Rather than being derived from data sample pairs or triplets, SN loss is calculated based on the positive and negative support neighbor sets of each anchor sample, which contain more valuable contextual information and neighborhood structure that are beneficial for more stable performance. To ensure scalability and separability, a softmax-like function is formulated to push apart the positive and negative support sets. To reduce intra-class variance, the distance between the anchor's nearest positive neighbor and furthest positive sample is penalized. Integrating SN loss on top of Resnet50, superior re-ID results to the state-of-the-art ones are obtained on several widely used datasets.


title: A stronger connection between the Erd\H{o}s-Burgess and Davenport constants

abstract: The Erd\H{o}s-Burgess constant of a semigroup $S$ is the smallest positive integer $k$ such that any sequence over $S$ of length $k$ contains a nonempty subsequence whose elements multiply to an idempotent element of $S$. In the case where $S$ is the multiplicative semigroup of $\mathbb{Z}/n\mathbb{Z}$, we confirm a conjecture connecting the Erd\H{o}s-Burgess constant of $S$ and the Davenport constant of $(\mathbb{Z}/n\mathbb{Z})^{\times}$ for $n$ with at most two prime factors. We also discuss the extension of our techniques to other rings.


title: Concept Mask: Large-Scale Segmentation from Semantic Concepts

abstract: Existing works on semantic segmentation typically consider a small number of labels, ranging from tens to a few hundreds. With a large number of labels, training and evaluation of such task become extremely challenging due to correlation between labels and lack of datasets with complete annotations. We formulate semantic segmentation as a problem of image segmentation given a semantic concept, and propose a novel system which can potentially handle an unlimited number of concepts, including objects, parts, stuff, and attributes. We achieve this using a weakly and semi-supervised framework leveraging multiple datasets with different levels of supervision. We first train a deep neural network on a 6M stock image dataset with only image-level labels to learn visual-semantic embedding on 18K concepts. Then, we refine and extend the embedding network to predict an attention map, using a curated dataset with bounding box annotations on 750 concepts. Finally, we train an attention-driven class agnostic segmentation network using an 80-category fully annotated dataset. We perform extensive experiments to validate that the proposed system performs competitively to the state of the art on fully supervised concepts, and is capable of producing accurate segmentations for weakly learned and unseen concepts.


title: Conformal classical Yang-Baxter equation, $S$-equation and $\mathcal{O}$-operators

abstract: Conformal classical Yang-Baxter equation and $S$-equation naturally appear in the study of Lie conformal bialgebras and left-symmetric conformal bialgebras. In this paper, they are interpreted in terms of a kind of operators, namely, $\mathcal O$-operators in the conformal sense. Explicitly, the skew-symmetric part of a conformal linear map $T$ where $T_0=T_\lambda\mid_{\lambda=0}$ is an $\mathcal O$-operator in the conformal sense is a skew-symmetric solution of conformal classical Yang-Baxter equation, whereas the symmetric part is a symmetric solution of conformal $S$-equation. One byproduct is that a finite left-symmetric conformal algebra which is a free $\mathbb{C}[\partial]$-module gives a natural $\mathcal O$-operator and hence there is a construction of solutions of conformal classical Yang-Baxter equation and conformal $S$-equation from the former. Another byproduct is that the non-degenerate solutions of these two equations correspond to 2-cocycles of Lie conformal algebras and left-symmetric conformal algebras respectively. We also give a further study on a special class of $\mathcal{O}$-operators called Rota-Baxter operators on Lie conformal algebras and some explicit examples are presented.


title: Graphene: Free electron scattering within an inverted honeycomb lattice

abstract: Theoretical progress in graphene physics has largely relied on the application of a simple nearest-neighbor tight-binding model capable of predicting many of the electronic properties of this material. However, important features that include electron-hole asymmetry and the detailed electronic bands of basic graphene nanostructures (e.g., nanoribbons with different edge terminations) are beyond the capability of such simple model. Here we show that a similarly simple plane-wave solution for the one-electron states of an atom-based two-dimensional potential landscape, defined by a single fitting parameter (the scattering potential), performs better than the standard tight-binding model, and levels to density-functional theory in correctly reproducing the detailed band structure of a variety of graphene nanostructures. In particular, our approach identifies the three hierarchies of nonmetallic armchair nanoribbons, as well as the doubly-degenerate flat bands of free-standing zigzag nanoribbons with their energy splitting produced by symmetry breaking. The present simple plane-wave approach holds great potential for gaining insight into the electronic states and the electro-optical properties of graphene nanostructures and other two-dimensional materials with intact or gapped Dirac-like dispersions.


title: Classification of compatible left-symmetric conformal algebraic structures on the Lie conformal algebra $\mathcal{W}(a,b)$

abstract: In this paper, under some natural condition, a complete classification of compatible left-symmetric conformal algebraic structures on the Lie conformal algebra $\mathcal{W}(a,b)$ is presented. Moreover, applying this result, we obtain a class of compatible left-symmetric algebraic structures on the coefficient algebra of $\mathcal{W}(a,b)$.


title: Dream Machines

abstract: Particle accelerators and their detectors are the world's most powerful microscopes. They enable us to inspect the constituents of matter at attometer scales, study matter under unusual conditions, and concentrate extraordinary amounts of energy into tiny volumes to create new forms of matter and initiate new phenomena. The progress of particle physics and of accelerator science and technology go hand in hand. I look to the past, present, and future, raising questions that we would like to answer about nature along the way.


title: Rotation Symmetries of Sequential Matrices with Applications to the Jacobi Symbol

abstract: Suppose that $p$ is an odd prime and $\genfrac{(}{)}{}{}{\cdot}{p}$ denotes the Legendre symbol modulo $p$. If $p$ is has the form $p= n^2+1$ then one easily verifies that $\genfrac{(}{)}{}{}{a}{p} = \genfrac{(}{)}{}{}{-a}{p}$ for all $a\in \mathbb Z/p\mathbb Z$. We identify various symmetry properties of sequential matrices over $\mathbb Z/(n^2+1)\mathbb Z$ regardless of whether $n^2+1$ is prime. We deduce from these results a collection of symmetries involving Jacobi symbol modulo $n^2+1$ which generalize our above observation on the Legendre symbol.


title: A general approach to detect gene (G)-environment (E) additive interaction leveraging G-E independence in case-control studies

abstract: It is increasingly of interest in statistical genetics to test for the presence of a mechanistic interaction between genetic (G) and environmental (E) risk factors by testing for the presence of an additive GxE interaction. In case-control studies involving a rare disease, a statistical test of no additive interaction typically entails a test of no relative excess risk due to interaction (RERI). It is also well known that a test of multiplicative interaction exploiting G-E independence can be dramatically more powerful than standard logistic regression for case-control data. Likewise, it has recently been shown that a likelihood ratio test of a null RERI incorporating the G-E independence assumption (RERI-LRT) outperforms the standard RERI approach. In this paper, the authors describe a general, yet relatively straightforward approach to test for GxE additive interaction exploiting G-E independence. The approach which relies on regression models for G and E is particularly attractive because, unlike the RERI-LRT, it allows the regression model for the binary outcome to remain unrestricted. Therefore, the new methodology is completely robust to possible mis-specification in the outcome regression. This is particularly important for settings not easily handled by RERI-LRT, such as when E is a count or a continuous exposure with multiple components, or when there are several auxiliary covariates in the regression model. While the proposed approach avoids fitting an outcome regression, it nonetheless still allows for straightforward covariate adjustment. The methods are illustrated through an extensive simulation study and an ovarian cancer empirical application.


title: Possible Counter Rotation between the Disk and Protostellar Envelope around the Class I Protostar IRAS 04169+2702

abstract: We present results from our SMA observations and data analyses of the SMA archival data of the Class I protostar IRAS 04169+2702. The high-resolution (~0.5") $^{13}$CO (3-2) image cube shows a compact ($r$ ~< 100 au) structure with a northwest (blue) to southeast (red) velocity gradient, centered on the 0.9-mm dust-continuum emission. The direction of the velocity gradient is orthogonal to the axis of the molecular outflow as seen in the SMA $^{12}$CO (2-1) data. A similar gas component is seen in the SO (6$_5$-5$_4$) line. On the other hand, the C$^{18}$O (2-1) emission traces a more extended ($r$ ~400 au) component with the opposite, northwest (red) to southeast (blue) velocity gradient. Such opposite velocity gradients in the different molecular lines are also confirmed from direct fitting to the visibility data. We have constructed models of a forward-rotating and counter-rotating Keplerian disk and a protostellar envelope, including the SMA imaging simulations. The counter-rotating model could better reproduce the observed velocity channel maps, although we could not obtain statistically significant fitting results. The derived model parameters are; Keplerian radius of 200 au, central stellar mass of 0.1 $M_{solar}$, and envelope rotational and infalling velocities of 0.20 km s$^{-1}$ and 0.16 km s$^{-1}$, respectively. One possible interpretation for these results is the effect of the magnetic field in the process of disk formation around protostars, $i.e.$, Hall effect.


title: Optimal proposals for Approximate Bayesian Computation

abstract: We derive the optimal proposal density for Approximate Bayesian Computation (ABC) using Sequential Monte Carlo (SMC) (or Population Monte Carlo, PMC). The criterion for optimality is that the SMC/PMC-ABC sampler maximise the effective number of samples per parameter proposal. The optimal proposal density represents the optimal trade-off between favoring high acceptance rate and reducing the variance of the importance weights of accepted samples. We discuss two convenient approximations of this proposal and show that the optimal proposal density gives a significant boost in the expected sampling efficiency compared to standard kernels that are in common use in the ABC literature, especially as the number of parameters increases.


title: CellLineNet: End-to-End Learning and Transfer Learning For Multiclass Epithelial Breast cell Line Classification via a Convolutional Neural Network

abstract: Computer Vision for Analyzing and Classifying cells and tissues often require rigorous lab procedures and so automated Computer Vision solutions have been sought. Most work in such field usually requires Feature Extractions before the analysis of such features via Machine Learning and Machine Vision algorithms. We developed a Convolutional Neural Network that classifies 5 types of epithelial breast cell lines comprised of two human cancer lines, 2 normal immortalized lines, and 1 immortalized mouse line (MDA-MB-468, MCF7, 10A, 12A and HC11) without requiring feature extraction. The Multiclass Cell Line Classification Convolutional Neural Network extends our earlier work on a Binary Breast Cancer Cell Line Classification model. CellLineNet is 31-layer Convolutional Neural Network trained, validated and tested on a 3,252 image dataset of 5 types of Epithelial Breast cell Lines (MDA-MB-468, MCF7, 10A, 12A and HC11) in an end-to-end fashion. End-to-End Learning enables CellLineNet to identify and learn on its own, visual features and regularities most important to Breast Cancer Cell Line Classification from the dataset of images. Using Transfer Learning, the 28-layer MobileNet Convolutional Neural Network architecture with pre-trained ImageNet weights is extended and fine tuned to the Multiclass Epithelial Breast cell Line Classification problem. CellLineNet simply requires an imaged Cell Line as input and it outputs the type of breast epithelial cell line (MDA-MB-468, MCF7, 10A, 12A or HC11) as predicted probabilities for the 5 classes. CellLineNet scored a 96.67% Accuracy.


title: Quark Cluster Model Equations for $\beta\beta$ Decay

abstract: In a separate paper we have discussed the possibility that six quark clusters can affect the rate of double-beta decay. In this article we develop the formalism needed in the evaluation of the energy of all six-quark cluster configurations, which can arise in a harmonic oscillator basis up to $2 \hbar \omega$ excitations. The symmetries that were found useful for this purpose were the combined spin color symmetry $SU_{cs}(6)$, the orbital symmetry $SU_{o}(6)$ and the isospin symmetry $SU_I(2)$.


title: Cyclic sieving, necklaces, and branching rules related to Thrall's problem

abstract: We show that the cyclic sieving phenomenon of Reiner--Stanton--White together with necklace generating functions arising from work of Klyachko offer a remarkably unified, direct, and largely bijective approach to a series of results due to Kraskiewicz--Weyman, Stembridge, and Schocker related to the so-called higher Lie modules and branching rules for inclusions $ C_a \wr S_b \hookrightarrow S_{ab} $. Extending the approach gives monomial expansions for certain graded Frobenius series arising from a generalization of Thrall's problem.


title: Maximising Throughput in a Complex Coal Export System

abstract: The Port of Newcastle features three coal export terminals, operating primarily in cargo assembly mode, that share a rail network on their inbound side, and a channel on their outbound side. Maximising throughput at a single coal terminal, taking into account its layout, its equipment, and its operating policies, is already challenging, but maximising throughput of the Hunter Valley coal export system as a whole requires that terminals and inbound and outbound shared resources be considered simultaneously. Existing approaches to do so either lack realism or are too computationally demanding to be useful as an everyday planning tool. We present a parallel genetic algorithm to optimise the integrated system. The algorithm models activities in continuous time, can handle practical planning horizons efficiently, and generates solutions that match or improve solutions obtained with the state-of-the-art solvers, whilst vastly outperforming them both in memory usage and running time.


title: Robust Speaker Clustering using Mixtures of von Mises-Fisher Distributions for Naturalistic Audio Streams

abstract: Speaker Diarization (i.e. determining who spoke and when?) for multi-speaker naturalistic interactions such as Peer-Led Team Learning (PLTL) sessions is a challenging task. In this study, we propose robust speaker clustering based on mixture of multivariate von Mises-Fisher distributions. Our diarization pipeline has two stages: (i) ground-truth segmentation; (ii) proposed speaker clustering. The ground-truth speech activity information is used for extracting i-Vectors from each speechsegment. We post-process the i-Vectors with principal component analysis for dimension reduction followed by lengthnormalization. Normalized i-Vectors are high-dimensional unit vectors possessing discriminative directional characteristics. We model the normalized i-Vectors with a mixture model consisting of multivariate von Mises-Fisher distributions. K-means clustering with cosine distance is chosen as baseline approach. The evaluation data is derived from: (i) CRSS-PLTL corpus; and (ii) three-meetings subset of AMI corpus. The CRSSPLTL data contain audio recordings of PLTL sessions which is student-led STEM education paradigm. Proposed approach is consistently better than baseline leading to upto 44.48% and 53.68% relative improvements for PLTL and AMI corpus, respectively. Index Terms: Speaker clustering, von Mises-Fisher distribution, Peer-led team learning, i-Vector, Naturalistic Audio.


title: Vanishing contact structure problem and convergence of the viscosity solutions

abstract: This paper is devoted to study the vanishing contact structure problem which is a generalization of the vanishing discount problem. Let $H^\lambda(x,p,u)$ be a family of Hamiltonians of contact type with parameter $\lambda>0$ and converges to $G(x,p)$. For the contact type Hamilton-Jacobi equation with respect to $H^\lambda$, we prove that, under mild assumptions, the associated viscosity solution $u^{\lambda}$ converges to a specific viscosity solution $u^0$ of the vanished contact equation. As applications, we give some convergence results for the nonlinear vanishing discount problem.


title: Frequency spectrum of biological noise: a probe of reaction dynamics in living cells

abstract: Even in the steady-state, the number of biomolecules in living cells fluctuates dynamically; and the frequency spectrum of this chemical fluctuation carries valuable information about the mechanism and the dynamics of the intracellular reactions creating these biomolecules. Although recent advances in single-cell experimental techniques enable the direct monitoring of the time-traces of the biological noise in each cell, the development of the theoretical tools needed to extract the information encoded in the stochastic dynamics of intracellular chemical fluctuation is still in its adolescence. Here, we present a simple and general equation that relates the power-spectrum of the product number fluctuation to the product lifetime and the reaction dynamics of the product creation process. By analyzing the time traces of the protein copy number using this theory, we can extract the power spectrum of the mRNA number, which cannot be directly measured by currently available experimental techniques. From the power spectrum of the mRNA number, we can further extract quantitative information about the transcriptional regulation dynamics. Our power spectrum analysis of gene expression noise is demonstrated for the gene network model of luciferase expression under the control of the Bmal 1a promoter in mouse fibroblast cells. Additionally, we investigate how the non-Poisson reaction dynamics and the cell-to-cell heterogeneity in transcription and translation affect the power-spectra of the mRNA and protein number.


title: Distractor-aware Siamese Networks for Visual Object Tracking

abstract: Recently, Siamese networks have drawn great attention in visual tracking community because of their balanced accuracy and speed. However, features used in most Siamese tracking approaches can only discriminate foreground from the non-semantic backgrounds. The semantic backgrounds are always considered as distractors, which hinders the robustness of Siamese trackers. In this paper, we focus on learning distractor-aware Siamese networks for accurate and long-term tracking. To this end, features used in traditional Siamese trackers are analyzed at first. We observe that the imbalanced distribution of training data makes the learned features less discriminative. During the off-line training phase, an effective sampling strategy is introduced to control this distribution and make the model focus on the semantic distractors. During inference, a novel distractor-aware module is designed to perform incremental learning, which can effectively transfer the general embedding to the current video domain. In addition, we extend the proposed approach for long-term tracking by introducing a simple yet effective local-to-global search region strategy. Extensive experiments on benchmarks show that our approach significantly outperforms the state-of-the-arts, yielding 9.6% relative gain in VOT2016 dataset and 35.9% relative gain in UAV20L dataset. The proposed tracker can perform at 160 FPS on short-term benchmarks and 110 FPS on long-term benchmarks.


title: Runtime Analysis of Whole-System Provenance

abstract: Identifying the root cause and impact of a system intrusion remains a foundational challenge in computer security. Digital provenance provides a detailed history of the flow of information within a computing system, connecting suspicious events to their root causes. Although existing provenance-based auditing techniques provide value in forensic analysis, they assume that such analysis takes place only retrospectively. Such post-hoc analysis is insufficient for realtime security applications, moreover, even for forensic tasks, prior provenance collection systems exhibited poor performance and scalability, jeopardizing the timeliness of query responses. We present CamQuery, which provides inline, realtime provenance analysis, making it suitable for implementing security applications. CamQuery is a Linux Security Module that offers support for both userspace and in-kernel execution of analysis applications. We demonstrate the applicability of CamQuery to a variety of runtime security applications including data loss prevention, intrusion detection, and regulatory compliance. In evaluation, we demonstrate that CamQuery reduces the latency of realtime query mechanisms, while imposing minimal overheads on system execution. CamQuery thus enables the further deployment of provenance-based technologies to address central challenges in computer security.


title: Well-Posedness, Stability, and Sensitivities for Stochastic Delay Equations: A Generalized Coupling Approach

abstract: We develop a new generalized coupling approach to the study of stochastic delay equations with H\"older continuous coefficients, for which analytical PDE-based methods are not available. We prove that such equations possess unique weak solutions, and establish weak ergodic rates for the corresponding segment processes. We also prove, under additional smoothness assumptions on the coefficients, stabilization rates for the sensitivities in the initial value of the corresponding semigroups


title: Electric-field controlled superconductor-ferromagnetic insulator transition

abstract: How to control collectively ordered electronic states is a core interest of condensed matter physics. We report an electric field controlled reversible transition from superconductor to ferromagnetic insulator in (Li,Fe)OHFeSe thin flake using solid ion conductor as the gate dielectric. By driving Li ions into and out of the (Li,Fe)OHFeSe thin flake with electric field, we obtained a dome-shaped superconducting region with optimal Tc ~ 43 K, which is separated by a quantum critical point from ferromagnetically insulating phase. The ferromagnetism arises from the long range order of the interstitial Fe ions expelled from the (Li,Fe)OH layers by Li injection. The device can reversibly manipulate collectively ordered electronic states and stabilize new metastable structures by electric field.


title: Doubly F-Bounded Generics

abstract: In this paper we suggest how f-bounded generics in nominally-typed OOP can be extended to the more general notion we call `doubly f-bounded generics' and we suggest how doubly f-bounded generics can be reasoned about. We also (attempt to) prove, using a coinductive argument, that our reasoning method is mathematically sound.


title: Long-term evolution of RRAT J1819-1458

abstract: At present, J1819-1458 is the only rotating radio transient (RRAT) detected in X-rays. We have studied the long-term evolution of this source in the fallback disc model. The model can reproduce the period, period derivative and X-ray luminosity of J1819-1458 simultaneously in the accretion phase at ages $\sim 2 \times 10^5$ yr. We obtained reasonable model curves with a magnetic dipole field strength $B_0 \sim 5 \times 10^{11}$ G on the pole of the neutron star, which is much weaker than the field inferred from the dipole-torque formula. With this $B_0$ and the measured period, we find J1819-1458 below and close to the radio pulsar death line. Our results are not sensitive to initial period, and the source properties can be produced with a large range of disc masses. Our simulations indicate that J1819-1458 is evolving towards the properties of dim isolated neutron stars at later phases of evolution. This implies a close evolutionary link between RRATs and dim isolated neutron stars. For other RRATs with measured period derivatives and unknown X-ray luminosities, we have estimated the lower limits on the $B_0$ values in the fallback disc model. These limits allow a dipole field distribution for RRATs that could fill the $B_0$ gap between the estimated $B_0$ ranges of dim thermal isolated neutron stars and central compact objects in the same model.


title: The Goresky-MacPherson formula for toric arrangements

abstract: A subspace arrangement is a finite collection of affine subspaces in $\mathbb{R}^n$. One of the main problems associated to arrangements asks up to what extent the topological invariants of the union of these spaces, and of their complement are determined by the combinatorics of their intersection. The most important result in this direction is due to Goresky and MacPherson. As an application of their stratified Morse theory they showed that the additive structure of the cohomology of the complement is determined by the underlying combinatorics. In this paper we consider toric arrangements; a finite collection of subtori in $(\mathbb{C}^{\ast})^l$. The aim of this paper is to prove an analogue of the Goresky-MacPherson's theorem in this context. When all the subtori in the arrangement are of codimension-$1$ we give an alternate proof of a theorem due to De Concini and Procesi.


title: EEG-based Evaluation of Cognitive Workload Induced by Acoustic Parameters for Data Sonification

abstract: Data Visualization has been receiving growing attention recently, with ubiquitous smart devices designed to render information in a variety of ways. However, while evaluations of visual tools for their interpretability and intuitiveness have been commonplace, not much research has been devoted to other forms of data rendering, eg, sonification. This work is the first to automatically estimate the cognitive load induced by different acoustic parameters considered for sonification in prior studies. We examine cognitive load via (a) perceptual data-sound mapping accuracies of users for the different acoustic parameters, (b) cognitive workload impressions explicitly reported by users, and (c) their implicit EEG responses compiled during the mapping task. Our main findings are that (i) low cognitive load-inducing (ie, more intuitive) acoustic parameters correspond to higher mapping accuracies, (ii) EEG spectral power analysis reveals higher $\alpha$ band power for low cognitive load parameters, implying a congruent relationship between explicit and implicit user responses, and (iii) Cognitive load classification with EEG features achieves a peak F1-score of 0.64, confirming that reliable workload estimation is achievable with user EEG data compiled using wearable sensors.


title: Lower-Order Biases Second Moments of Dirichlet Coefficients in Families of $L$-Functions

abstract: Let $\mathcal E: y^2 = x^3 + A(T)x + B(T)$ be a nontrivial one-parameter family of elliptic curves over $\mathbb{Q}(T)$, with $A(T), B(T) \in \mathbb Z(T)$, and consider the $k$\textsuperscript{th} moments $A_{k,\mathcal{E}}(p) := \sum_{t (p)} a_{\mathcal{E}_t}(p)^k$ of the Dirichlet coefficients $a_{\mathcal{E}_t}(p) := p + 1 - |\mathcal{E}_t (\mathbb{F}_p)|$. Rosen and Silverman proved a conjecture of Nagao relating the first moment $A_{1,\mathcal{E}}(p)$ to the rank of the family over $\mathbb{Q}(T)$, and Michel proved that if $j(T)$ is not constant then the second moment is equal to $A_{2,\mathcal{E}}(p) = p^2 + O(p^{3/2})$. Cohomological arguments show that the lower order terms are of sizes $p^{3/2}, p, p^{1/2}$, and $1$. In every case we are able to analyze in closed form, the largest lower order term in the second moment expansion that does not average to zero is on average negative, though numerics suggest this may fail for families of moderate rank. We prove this Bias Conjecture for several large classes of families, including families with rank, complex multiplication, and constant $j(T)$-invariant. We also study the analogous Bias Conjecture for families of Dirichlet characters, holomorphic forms on GL$(2)/\mathbb{Q}$, and their symmetric powers and Rankin-Selberg convolutions. We identify all lower order terms in large classes of families, shedding light on the arithmetic objects controlling these terms. The negative bias in these lower order terms has implications toward the excess rank conjecture and the behavior of zeros near the central point in families of $L$-functions.


title: A Spectral Characterization of Isomorphisms on $C^\star$-Algebras

abstract: Following a result of Hatori, Miura and Tagaki ([4]) we give here a spectral characterization of an isomorphism from a $C^\star$-algebra onto a Banach algebra. We then use this result to show that a $C^\star$-algebra $A$ is isomorphic to a Banach algebra $B$ if and only if there exists a surjective function $\phi:A\rightarrow B$ satisfying (i) $\sigma\left(\phi(x)\phi(y)\phi(z)\right)=\sigma\left(xyz\right)$ for all $x,y,z\in A$ (where $\sigma$ denotes the spectrum), and (ii) $\phi$ is continuous at $\mathbf 1$. A simple example shows that (i) cannot be relaxed to products of two elements, as is the case with commutative Banach algebras. Our results also elaborate on a paper ([3]) of Bre\v{s}ar and \v{S}penko.


title: Evidence for the first-order phase transition at the divergence region of activity expansions

abstract: On the example of a lattice-gas model, a convincing confirmation is obtained for the direct relationship between the condensation phenomenon and divergent behavior of the virial expansions for pressure and density in powers of activity. The present study analytically proves the pressure equality for the low-density and high-density virial expansions in powers of density (in terms of irreducible cluster integrals or virial coefficients) exactly at the symmetrical points, where their isothermal bulk modulus vanishes, as well as for the corresponding expansions in powers of activity (in terms of reducible cluster integrals) at the same points (the points of their divergence). For lattice-gas models of arbitrary geometry and dimensions, a simple and general expression is derived for the phase-transition activity (the convergence radius of activity expansions) that, in particular, exactly matches the well-known phase-transition activity of the Lee -- Yang model. In addition, the study demonstrates that Mayer's expansion with the constant (volume independent) cluster integrals remains correct up to the condensation beginning, and the actual density-dependence may be taken into account for the high-order integrals only in more dense regimes beyond the saturation point.


title: CepGen -- A generic central exclusive processes event generator for hadron-hadron collisions

abstract: We present an event generator for the simulation of central exclusive processes in hadron-hadron reactions. Among others, it implements the two-photon production of lepton pairs previously introduced in LPAIR. As a proof of principle, we show that the two approaches are numerically consistent. The $k_{\rm T}$-factorized description of this process is also handled, along with the two-photon production of a quark, or a $W^\pm$ gauge boson pair. This toolbox may be used as a common framework for the definition of many other processes following this approach. Additionally, photoproduction and other photon induced processes are also considered, or being implemented.


title: Universal software platform for visualizing class F curves, log-aesthetic curves and development of applied CAD systems

abstract: This article describes the capabilities of a universal software platform for visualizing class F curves and developing specialized applications for CAD systems based on Microsoft Excel VBA, the software complex FairCurveModeler, and computer algebra systems. Additionally, it demonstrates the use of a software platform for visualizing functional and log-aesthetic curves integrated with CAD Fusion360. The value of the curves is evident in visualizing the qualitative geometry of the product shape in industrial design. Moreover, the requirements for the characteristics of class F curves are emphasized to form a visual purity of shape in industrial design and to provide a positive emotional perception of the visual image of the product by a person.


title: Temperature-field phase diagram of the two-dimensional dipolar Ising ferromagnet

abstract: We study field-induced phase transitions in the two-dimensional dipolar Ising ferromagnet with a specific ratio between the exchange and dipolar constants, $\delta=1$, which exhibits a stripe-ordered phase with the width of one lattice unit at low temperatures without magnetic field. By using a mean-field (MF) approximation and a Monte Caro (MC) method with the stochastic-cutoff algorithm, which is an $O(N)$ simulation method, we show the temperature-field phase diagrams. In the MC study the orientational order and the structure factor are evaluated. Second-order transition points are determined by a finite-size-scaling analysis and first-order transition points are identified by the analysis of the energy histogram. Although both the MF and MC phase diagrams consist of wide regions of several stripe-ordered phases and narrow regions between them characterized by complicated stripe patterns, they show qualitative and quantitative differences in possible phases and phase boundaries. In the MF phase diagram, three main stripe-ordered phases exhibit a nesting structure, while in the MC phase diagram, two main stripe-ordered phases are located separately, which causes a characteristic field-induced reentrant transition of the orientational order.


title: The Capacity of Some P\'olya String Models

abstract: We study random string-duplication systems, which we call P\'olya string models. These are motivated by DNA storage in living organisms, and certain random mutation processes that affect their genome. Unlike previous works that study the combinatorial capacity of string-duplication systems, or various string statistics, this work provides exact capacity or bounds on it, for several probabilistic models. In particular, we study the capacity of noisy string-duplication systems, including the tandem-duplication, end-duplication, and interspersed-duplication systems. Interesting connections are drawn between some systems and the signature of random permutations, as well as to the beta distribution common in population genetics.


title: New Approaches and Trends in the Philosophy of Educational Technology for Learning and Teaching Environments

abstract: The purpose of this study is to discuss instructional design and technology (IDT) model strategies for developing learning and teaching environments, based on philosophical approaches to educational technology theory. The study begins with a discussion of IDT models to define the history of educational technology or instructional technology theories, based on instructional strategies and improvements. In the study, authors discuss the strategies and steps that a design team should follow when designing learning environments in industry, business and military scenarios, based on the philosophy of educational technology and latest technologies, which should give way to effective learning environments. The steps include recognising terminology in educational technology concepts, psychological and instructional foundations in instructional design (ID), as well as approaches to educational technology. To recap, our purpose is to combine necessary IDT model strategies for the pedagogical design of learning environments, with new technologies. We will also discuss powerful IDT models that aim to meet the very high expectations of digital and humanist education. To develop a high-quality learning environment, we will explain technology design steps and practice in order to improve the learning of tasks, complex cognitive skills, attitudes, motivations and competencies in the future trends of educational technology. At the end of the study, integrated technologies in e-learning were discussed and presented, based on foundations of IDT and the philosophy of educational technology.


title: Visible astro-comb filtered by a passively-stabilized Fabry-Perot cavity

abstract: We demonstrate a compact 29.3 GHz visible astro-comb covering the spectrum from 560nm to 700nm. A 837 MHz Yb:fiber laser frequency comb phase locked to a Rb clock served as the seed comb to ensure the frequency stability and high side mode suppression ratio. After the visible super-continuum generation, a cavity-length-fixed Fabry-Perot cavity made by ultra-low expansion glass was utilized to filter the comb teeth for eliminating the rapid active dithering. The mirrors were home-made complementary chirped mirrors pair with zero dispersion and high reflection to guarantee no mode skipping. These filtered comb teeth were clearly resolved in an astronomical spectrograph of 49,000 resolution, exhibiting sharp linetype, zero noise floor, and uniform exposure amplitude.


title: Note on orbit space of G membranes

abstract: The motion of test membranes on which the group $G$ of isometries of a spacetime $M$ acts has been considered in general settings. It has been shown that the configuration of Nambu-Goto membranes is described by the Nambu-Goto membranes in the quotient manifold $M/G$ with an appropriate projected metric if (i) $G$ is Abelian, (ii) $G$ is semisimple and compact, or (iii) the orthogonal distribution of the orbit of $G$ is integrable, but in general not. It has also been shown that a similar result holds when the membranes couple with scalar maps or differential form fields.


title: XCALIB: a focal spot calibrator for intense X-ray free-electron laser pulses based on the charge state distributions of light atoms

abstract: We develop the XCALIB toolkit to calibrate the beam profile of an X-ray free-electron laser (XFEL) at the focal spot based on the experimental charge state distributions (CSDs) of light atoms. Accurate characterization of the fluence distribution at the focal spot is essential to perform the volume integrations of physical quantities for a quantitative comparison between theoretical and experimental results, especially for fluence dependent quantities. The use of the CSDs of light atoms is advantageous because CSDs directly reflect experimental conditions at the focal spot, and the properties of light atoms have been well established in both theory and experiment. To obtain theoretical CSDs, we use XATOM, a toolkit to calculate atomic electronic structure and to simulate ionization dynamics of atoms exposed to intense XFEL pulses, which involves highly excited multiple core hole states. Employing a simple function with a few parameters, the spatial profile of an XFEL beam is determined by minimizing the difference between theoretical and experimental results. We have implemented an optimization procedure employing the reinforcement learning technique. The technique can automatize and organize calibration procedures which, before, had been performed manually. XCALIB has high flexibility, simultaneously combining different optimization methods, sets of charge states, and a wide range of parameter space. Hence, in combination with XATOM, XCALIB serves as a comprehensive tool to calibrate the fluence profile of a tightly focused XFEL beam in the interaction region.


title: Blazar Mrk 501 shows rhythmic oscillations in its $\gamma$-ray emission

abstract: Quasi-periodic oscillations (QPO) originating from innermost regions of blazars can provide unique perspective of some of the burning issues in blazar studies including disk-jet connection, launch of relativistic jets from the central engine, and other extreme conditions near the fast rotating supermassive black holes. However, a number of hurdles associated with searching QPOs in blazars e.g., red-noise dominance, modest significance of the detection and periodic modulation lasting for only a couple of cycles, make it difficult to estimate the true significance of the detection. In this work, we report a $\sim$ 330-day QPO in the Fermi/LAT observations of the blazar Mrk 501 spanning nearly a decade. To establish consistency of the result, we adopted multiple approaches to the time series analysis and employed four widely known methods. Among these, Lomb-Scargle periodogram and weighted wavelet z-transform represent frequency domain based methods whereas epoch folding and z-transformed discrete auto-correlation function are time-domain based analysis. Power spectrum response method was followed to properly account for the red-noise, largely inherent in blazar light curves. Both local and global significance of the signal were found to be above 99\% over possible spurious detection. In the context where not many $\gamma$-ray QPOs have been reported to last more than 5 cycles, this might be one of the few instances where we witness a sub-year timescale $\gamma$-ray QPO persisting nearly 7 cycles. A number of possible scenarios linked with binary supermassive black hole, relativistic jets, and accretion disks can be invoked to explain the transient QPO.


title: SeVeN: Augmenting Word Embeddings with Unsupervised Relation Vectors

abstract: We present SeVeN (Semantic Vector Networks), a hybrid resource that encodes relationships between words in the form of a graph. Different from traditional semantic networks, these relations are represented as vectors in a continuous vector space. We propose a simple pipeline for learning such relation vectors, which is based on word vector averaging in combination with an ad hoc autoencoder. We show that by explicitly encoding relational information in a dedicated vector space we can capture aspects of word meaning that are complementary to what is captured by word embeddings. For example, by examining clusters of relation vectors, we observe that relational similarities can be identified at a more abstract level than with traditional word vector differences. Finally, we test the effectiveness of semantic vector networks in two tasks: measuring word similarity and neural text categorization. SeVeN is available at bitbucket.org/luisespinosa/seven.


title: Infrared spectroscopy of silicon for applications in astronomy

abstract: This work focuses on the characterization of various bulk silicon (Si) samples using Fourier Transform InfraRed (FTIR) and grating spectrometers in order to get them suitable for applications in astronomy. Different samples at different impurity concentrations were characterized by measuring their transmittance in the infrared region. Various lines due to residual impurity absorption were identifed and temperature dependence of impurity absorption is presented. Concentrations of doped samples (rho ~ 0.2 - 25000 Ohm cm) were determined from impurity absorption at low temperatures and from Drude free carrier absorption at 300K.


title: The dynamic electron-correlation energy in the NOF-MP2 method from the orbital-invariant perturbation theory

abstract: The original formulation (Phys. Rev. Lett. 119, 063002, 2017) of the natural orbital functional - second-order M{\o}ller-Plesset (NOF-MP2) method is based on the MP2 that uses the canonical Hartree-Fock molecular orbitals. The current work presents a reformulation of the dynamic energy correction based on the orbital-invariant MP2, which allows to attain both dynamic and static correlations even for those systems with strong orbital localizability and significant multiconfigurational character. To improve the reference Slater determinant formed with natural orbitals, the natural orbital functional that generates them is also modified to take into account only the inter-pair static correction. This more general NOF-MP2 is able to dissociate properly noble gas dimers, which remain as non-bound species within the canonical formulation. Test calculations in a selected set of 30 polyatomic molecules demonstrate a substantial improvement not only of the relative energies but also of the total energies calculated with the NOF-MP2 method.


title: Observations of Turbulent Magnetic Reconnection Within a Solar Current Sheet

abstract: Magnetic reconnection is a fundamental physical process in various astrophysical, space, and laboratory environments. Many pieces of evidence for magnetic reconnection have been uncovered. However, its specific processes that could be fragmented and turbulent have been short of direct observational evidence. Here, we present observations of a super-hot current sheet during SOL2017-09-10T X8.2-class solar flare that display the fragmented and turbulent nature of magnetic reconnection. As bilateral plasmas converge toward the current sheet, significant plasma heating and non-thermal motions are detected therein. Two oppositely directed outflow jets are intermittently expelled out of the fragmenting current sheet, whose intensity shows a power-law distribution in spatial frequency domain. The intensity and velocity of the sunward outflow jets also display a power-law distribution in temporal frequency domain. The length-to-width ratio of the current sheet is estimated to be larger than theoretical threshold of and thus ensures occurrence of tearing mode instability. The observations therefore suggest fragmented and turbulent magnetic reconnection occurring in the long stretching current sheet.

categories: astro-ph.SR astro-ph.HE nlin.AO nlin.CD physics.space-ph


title: Ultra-high critical current densities, the vortex phase diagram and the effect of granularity of the stoichiometric high-Tc superconductor, CaKFe$_4$As$_4$

abstract: We present a comprehensive study of the critical current densities and the superconducting vortex phase diagram in the stoichiometric superconductor CaKFe$_4$As$_4$ which has a critical temperature of 35 K. We performed detailed magnetization measurements both of high quality single crystals for different orientations in an applied magnetic field up to 16 T and for a powder sample. We find an extremely large critical current density, Jc, up to 10$^8$ A/cm2 for single crystals when H||(ab) at 5 K, which remains robust in fields up to 16 T, being the largest of any other iron-based superconductor. The critical current density is reduced by a factor 10 in single crystals when H||c at 5 K and significantly suppressed by the presence of grain boundaries in the powder sample. We also observe the presence of the fishtail effect in the magnetic hysteresis loops of single crystals when H||c. The flux pinning force density and the pinning parameters suggest that the large critical current could be linked to the existence of point core and surface pinning. Based on the vortex phase diagram and the large critical current densities, CaKFe$_4$As$_4$ is now established as a potential iron-based superconductor candidate for practical applications.


title: Partial topological Zak phase and dynamical confinement in non-Hermitian bipartite system

abstract: Unlike a Chern number in $2$D and $3$D topological system, Zak phase takes a subtle role to characterize the topological phase in $1$D. On the one hand, it is not a gauge invariant, on the other hand, the Zak phase difference between two quantum phases can be used to identify the topological phase transitions. A non-Hermitian system may inherit some characters of a Hermitian system, such as entirely real spectrum, unitary evolution, topological energy band, etc. In this paper, we study the influence of non-Hermitian term on the Zak phase for a class of non-Hermitian systems. We show exactly that the real part of the Zak phase remains unchanged in a bipartite lattice. In a concrete example, $1$D Su-Schrieffer-Heeger (SSH) model, we find that the real part of Zak phase can be obtained by an adiabatic process. To demonstrate this finding, we investigate a scattering problem for a time-dependent scattering center, which is a magnetic-flux-driven non-Hermitian SSH ring. Owing to the nature of the Zak phase, the intriguing features of this design are the wave-vector independence and allow two distinct behaviors, perfect transmission or confinement, depending on the timing of a flux impulse threading the ring. When the flux is added during a wavepacket travelling within the ring, the wavepacket is confined in the scatter partially. Otherwise, it exhibits perfect transmission through the scatter. Our finding extends the understanding and broaden the possible application of geometric phase in a non-Hermitian system.


title: Compiler Enhanced Scheduling for OpenMP for Heterogeneous Multiprocessors

abstract: Scheduling in Asymmetric Multicore Processors (AMP), a special case of Heterogeneous Multiprocessors, is a widely studied topic. The scheduling techniques which are mostly runtime do not usually consider parallel programming pattern used in parallel programming frameworks like OpenMP. On the other hand, current compilers for these parallel programming platforms are hardware oblivious which prevent any compile-time optimization for platforms like big.LITTLE and has to completely rely on runtime optimization. In this paper, we propose a hardware-aware Compiler Enhanced Scheduling (CES) where the common compiler transformations are coupled with compiler added scheduling commands to take advantage of the hardware asymmetry and improve the runtime efficiency. We implement a compiler for OpenMP and demonstrate its efficiency in Samsung Exynos with big.LITTLE architecture. On an average, we see 18% reduction in runtime and 14% reduction in energy consumption in standard NPB and FSU benchmarks with CES across multiple frequencies and core configurations in big.LITTLE.


title: Learning to Compose over Tree Structures via POS Tags

abstract: Recursive Neural Network (RecNN), a type of models which compose words or phrases recursively over syntactic tree structures, has been proven to have superior ability to obtain sentence representation for a variety of NLP tasks. However, RecNN is born with a thorny problem that a shared compositional function for each node of trees can't capture the complex semantic compositionality so that the expressive power of model is limited. In this paper, in order to address this problem, we propose Tag-Guided HyperRecNN/TreeLSTM (TG-HRecNN/TreeLSTM), which introduces hypernetwork into RecNNs to take as inputs Part-of-Speech (POS) tags of word/phrase and generate the semantic composition parameters dynamically. Experimental results on five datasets for two typical NLP tasks show proposed models both obtain significant improvement compared with RecNN and TreeLSTM consistently. Our TG-HTreeLSTM outperforms all existing RecNN-based models and achieves or is competitive with state-of-the-art on four sentence classification benchmarks. The effectiveness of our models is also demonstrated by qualitative analysis.


title: Oxygen vacancy-induced structural evolution of SrFeO$_{3-x}$ epitaxial thin film from brownmillerite to perovskite

abstract: We investigated SrFeO$_{3-x}$ thin films on a SrTiO$_3$ (001) substrate prepared via pulsed laser epitaxy using an optical spectroscopy technique. The oxygen vacancy level ($x$) was controlled by post-annealing processes at different oxygen partial pressures. We achieved a brownmillerite(BM) structure at $x =$ 0.5 and observed the evolution of the crystal structure from BM into perovskite(PV) as the oxygen concentration increased. We observed the evolution of infrared-active phonons with respect to the oxygen concentration, which was closely related to the structural evolution observed via X-ray diffraction. We identified the phonons using the shell-model calculation. Furthermore, we studied temperature-dependent behaviors of the phonon modes of three representative samples: PV, and two BMs (BM$_{\mathrm{oop}}$ and BM$_{\mathrm{ip}}$) with different orientations of the oxygen vacancy channel. In the BM$_{\mathrm{oop}}$ sample, we observed a phonon mode, which exhibited an unusual red-shift with decreasing temperature; this behavior may have been due to the apical oxygen instability in the FeO$_6$ octahedron. Our results provide important information regarding the ionic conduction mechanism in SrFeO$_{3-x}$ material systems.


title: Surface permeability, capillary transport and the Laplace-Beltrami problem

abstract: We have established previously, in a lead-in study, that the spreading of liquids in particulate porous media at low saturation levels, characteristically less than 10% of the void space, has very distinctive features in comparison to that at higher saturation levels. In particular, we have found that the dispersion process can be accurately described by a special class of partial differential equations, the super-fast non-linear diffusion equation. The results of mathematical modelling have demonstrated very good agreement with experimental observations. However, any enhancement of the accuracy and predictive power of the model, keeping in mind practical applications, requires the knowledge of the effective surface permeability of the constituent particles, which defines the global, macroscopic permeability of the particulate media. In the paper, we demonstrate how this quantity can be determined through the solution of the Laplace-Beltrami Dirichlet problem, we study this using the well-developed surface finite element method.


title: Constructing fractional Gaussian fields from long-range divisible sandpiles on the torus

abstract: In \cite{Cipriani2016}, the authors proved that, with the appropriate rescaling, the odometer of the (nearest neighbours) divisible sandpile on the unit torus converges to a bi-Laplacian field. Here, we study $\alpha$-long-range divisible sandpiles, similar to those introduced in \cite{Frometa2018}. We show that, for $\alpha \in (0,2)$, the limiting field is a fractional Gaussian field on the torus with parameter $\alpha/2$. However, for $\alpha \in [2,\infty)$, we recover the bi-Laplacian field. This provides an alternative construction of fractional Gaussian fields such as the Gaussian Free Field or membrane model using a diffusion based on the generator of L\'evy walks. The central tool for obtaining our results is a careful study of the spectrum of the fractional Laplacian on the discrete torus. More specifically, we need the rate of divergence of the eigenvalues as we let the side length of the discrete torus go to infinity. As a side result, we obtain precise asymptotics for the eigenvalues of discrete fractional Laplacians. Furthermore, we determine the order of the expected maximum of the discrete fractional Gaussian field with parameter $\gamma=\min \{\alpha,2\}$ and $\alpha \in \mathbb{R}_+\backslash\{2\}$ on a finite grid.


title: Community detection in networks without observing edges

abstract: We develop a Bayesian hierarchical model to identify communities in networks for which we do not observe the edges directly, but instead observe a series of interdependent signals for each of the nodes. Fitting the model provides an end-to-end community detection algorithm that does not extract information as a sequence of point estimates but propagates uncertainties from the raw data to the community labels. Our approach naturally supports multiscale community detection as well as the selection of an optimal scale using model comparison. We study the properties of the algorithm using synthetic data and apply it to daily returns of constituents of the S&P100 index as well as climate data from US cities.


title: CrowdTruth 2.0: Quality Metrics for Crowdsourcing with Disagreement

abstract: Typically crowdsourcing-based approaches to gather annotated data use inter-annotator agreement as a measure of quality. However, in many domains, there is ambiguity in the data, as well as a multitude of perspectives of the information examples. In this paper, we present ongoing work into the CrowdTruth metrics, that capture and interpret inter-annotator disagreement in crowdsourcing. The CrowdTruth metrics model the inter-dependency between the three main components of a crowdsourcing system -- worker, input data, and annotation. The goal of the metrics is to capture the degree of ambiguity in each of these three components. The metrics are available online at https://github.com/CrowdTruth/CrowdTruth-core .


title: Negative Photoconductance in van der Waals Heterostructures-Based Floating Gate Phototransistor

abstract: Van der Waals (vdW) heterostructures made of two-dimensional materials have been demonstrated to be versatile architectures for optoelectronic applications due to strong light-matter interactions. However, most of light-controlled phenomena and applications in the vdW heterostructures rely on positive photoconductance (PPC). Negative photoconductance (NPC) has not yet been reported in vdW heterostructures. Here we report the observation of the NPC in ReS2/h-BN/MoS2 vdW heterostructures-based floating gate phototransistor. The fabricated devices exhibit excellent performance of nonvolatile memory without light illumination. More interestingly, we observe a gate-tunable transition between the PPC and the NPC under the light illumination. The observed NPC phenomenon can be attributed to the charge transfer between floating gate and conduction channel. Furthermore, we show that the control of NPC through light intensity is promising in realization of light-tunable multi-bit memory devices. Our results may enable potential applications in multifunctional memories and optoelectronic devices.


title: On The Computability of Perfect Subsets of Sets with Positive Measure

abstract: A set $X \subseteq 2^\omega$ with positive measure contains a perfect subset. We study such perfect subsets from the viewpoint of computability and prove that these sets can have weak computational strength. Then we connect the existence of perfect subsets of sets with positive measure with reverse mathematics.


title: Non-equilibrium time dynamics of genetic evolution

abstract: Biological systems are typically highly open, non-equilibrium systems that are very challenging to understand from a statistical mechanics perspective. While statistical treatments of evolutionary biological systems have a long and rich history, examination of the time-dependent non-equilibrium dynamics has been less studied. In this paper we first derive a generalized master equation in the genotype space for diploid organisms incorporating the processes of selection, mutation, recombination, and reproduction. The master equation is defined in terms of continuous time and can handle an arbitrary number of gene loci and alleles, and can be defined in terms of an absolute population or probabilities. We examine and analytically solve several prototypical cases which illustrate the interplay of the various processes and discuss the timescales of their evolution. The entropy production during the evolution towards steady state is calculated and we find that it agrees with predictions from non-equilibrium statistical mechanics where it is large when the population distribution evolves towards a more viable genotype. The stability of the non-equilibrium steady state is confirmed using the Glansdorff-Prigogine criterion.


title: Semi-quantum Gravity and Testing Gravitational Bell Non-locality

abstract: Semi-classical gravity attempts to define a hybrid theory in which a classical gravitational field is coupled to a unitarily evolving quantum state. Although semi-classical gravity is inconsistent with observation, a viable theory of this type might be appealing, since it potentially might preserve the basic features of our two most successful theories while unifying them. It might also offer a natural solution to the quantum measurement problem. I explore the scope for such "semi-quantum" hybrid theories, and note some interesting, though daunting, constraints. Consistency with observation generally requires pyschophysical parallelism with the classical gravitational field rather than the quantum matter. Solvability suggests the gravitational field at a point should be determined by physics in its past light cone, which requires local hidden variables and predicts anomalously non-Newtonian gravitational fields. These predictions could be tested by low energy, although technologically challenging, experiments in which the Bell non-locality of the gravitational field is verified by direct measurement.


title: The existential transversal property: a generalization of homogeneity and its impact on semigroups

abstract: Let $G$ be a permutation group of degree $n$, and $k$ a positive integer with $k\le n$. We say that $G$ has the $k$-existential property, or $k$-et for short, if there exists a $k$-subset $A$ of the domain $\Omega$ such that, for any $k$-partition $\mathcal{P}$ of $\Omega$, there exists $g\in G$ mapping $A$ to a transversal (a section) for $\mathcal{P}$. This property is a substantial weakening of the $k$-universal transversal property, or $k$-ut, investigated by the first and third author, which required this condition to hold for all $k$-subsets $A$ of the domain. Our first task in this paper is to investigate the $k$-et property and to decide which groups satisfy it. For example, we show that, for $8\le k\le n/2$, the only groups with $k$-et are the symmetric and alternating groups; this is best possible since the Mathieu group $M_{24}$ has $7$-et. We determine all groups with $k$-et for $4\le k\le n/2$, up to some unresolved cases for $k=4,5$, and describe the property for $k=2,3$ in permutation group language. In the previous work, the results were applied to semigroups, in particular, to the question of when the semigroup $\langle G,t\rangle$ is regular, where $t$ is a map of rank $k$ (with $k<n/2$); this turned out to be equivalent to the $k$-ut property. The question investigated here is when there is a $k$-subset $A$ of the domain such that $\langle G, t\rangle$ is regular for all maps $t$ with image $A$. This turns out to be more delicate; the $k$-et property (with $A$ as witnessing set) is a necessary condition, and the combination of $k$-et and $(k-1)$-ut is sufficient, but the truth lies somewhere between. Given the knowledge that a group under consideration has the necessary condition of $k$-et, we solve the regularity question for $k\le n/2$ except for one sporadic group.