title: Mathematical Foundations of Probability Theory

abstract: In the footsteps of the book \textit{Measure Theory and Integration By and For the Learner} of our series in Probability Theory and Statistics, we intended to devote a special volume of the very probabilistic aspects of the first cited theory. The book might have assigned the title : From Measure Theory and Integration to Probability Theory. The fundamental aspects of Probability Theory, as described by the keywords and phrases below, are presented, not from experiences as in the book \textit{A Course on Elementary Probability Theory}, but from a pure mathematical view based on Measure Theory. Such an approach places Probability Theory in its natural frame of Functional Analysis and constitutes a firm preparation to the study of Random Analysis and Stochastic processes. At the same time, it offers a solid basis towards Mathematical Statistics Theory. The book will be continuously updated and improved on a yearly basis.


title: Machine learning valence force field model

abstract: The valence force field (VFF) model is a concise physical interpretation of the atomic interaction in terms of the bond and angle variations in the explicit quadratic functional form, while the machine learning (ML) method is a flexible numerical approach to make predictions based on some pre-obtained training data without the need of any explicit functions. We propose a so-called ML-VFF model, by combining the clear physical essence of the VFF model and the numerical flexibility of the ML method. Instead of imposing any explicit functional forms for the atomic interaction, the ML-VFF model predicts the potential and force with the Gaussian regression approach. We take graphene as an example to illustrate the ability of the ML-VFF model to make accurate predictions with relatively low computational expenses. We also discuss some key advantages and drawbacks of the ML-VFF model.


title: Steady State Reduction of generalized Lotka-Volterra systems in the microbiome

abstract: The generalized Lotka-Volterra (gLV) equations, a classic model from theoretical ecology, describe the population dynamics of a set of interacting species. As the number of species in these systems grow in number, their dynamics become increasingly complex and intractable. We introduce Steady State Reduction (SSR), a method that reduces a gLV system of many ecological species into two-dimensional (2D) subsystems that each obey gLV dynamics and whose basis vectors are steady states of the high-dimensional model. We apply this method to an experimentally-derived model of the gut microbiome in order to observe the transition between "healthy" and "diseased" microbial states. Specifically, we use SSR to investigate how fecal microbiota transplantation, a promising clinical treatment for dysbiosis, can revert a diseased microbial state to health.


title: Super-easy quantum groups with arbitrary parameters

abstract: We discuss an extended easy quantum group formalism, with the Schur-Weyl theoretic Kronecker symbols being as general as possible, and allowed to take values in $\{-1,0,1\}$, and more generally in $\mathbb T\cup\{0\}$. Our study includes an axiomatization of the theory, some structure and classification results, and the study of the basic examples of quantum unitary and reflection groups, with both positive and negative results.


title: Intrusion Prediction with System-call Sequence-to-Sequence Model

abstract: The advanced development of the Internet facilitates efficient information exchange while also been exploited by adversaries. Intrusion detection system (IDS) as an important defense component of network security has always been widely studied in security research. However, research on intrusion prediction, which is more critical for network security, is received less attention. We argue that the advanced anticipation and timely impede of invasion is more vital than simple alarms in security defenses. General research methods regarding prediction are analyzing short term of system-calls to predict forthcoming abnormal behaviors. In this paper we take advantages of the remarkable performance of recurrent neural networks (RNNs) in dealing with long sequential problem, introducing the sequence-to-sequence model into our intrusion prediction work. By semantic modeling system-calls we build a robust system-call sequence-to-sequence prediction model. With taking the system-call traces invoked during the program running as known prerequisite, our model predicts sequence of system-calls that is most likely to be executed in a near future period of time that enabled the ability of monitoring system status and prophesying the intrusion behaviors. Our experiments show that the predict method proposed in this paper achieved well prediction performance on ADFALD intrusion detection test data set. Moreover, the predicted sequence, combined with the known invoked traces of system, significantly improves the performance of intrusion detection verified on various classifiers.


title: Crashing Privacy: An Autopsy of a Web Browser's Leaked Crash Reports

abstract: Harm to the privacy of users through data leakage is not an unknown issue, however, it has not been studied in the context of the crash reporting system. Automatic Crash Reporting Systems (ACRS) are used by applications to report information about the errors happening during a software failure. Although crash reports are valuable to diagnose errors, they may contain users' sensitive information. In this paper, we study such a privacy leakage vis-a-vis browsers' crash reporting systems. As a case study, we mine a dataset consisting of crash reports collected over the period of six years. Our analysis shows the presence of more than 20,000 sessions and token IDs, 600 passwords, 9,000 email addresses, an enormous amount of contact information, and other sensitive data. Our analysis sheds light on an important security and privacy issue in the current state-of-the-art browser crash reporting systems. Further, we propose a hotfix to enhance users' privacy and security in ACRS by removing sensitive data from the crash report prior to submit the report to the server. Our proposed hotfix can be easily integrated into the current implementation of ACRS and has no impact on the process of fixing bugs while maintaining the reports' readability.


title: A formula for the cohomology and $K$-class of a regular Hessenberg variety

abstract: Hessenberg varieties are subvarieties of the flag variety parametrized by a linear operator $X$ and a nondecreasing function $h$. The family of Hessenberg varieties for regular $X$ is particularly important: they are used in quantum cohomology, in combinatorial and geometric representation theory, in Schubert calculus and affine Schubert calculus. We show that the classes of a regular Hessenberg variety in the cohomology and $K$-theory of the flag variety are given by making certain substitutions in the Schubert polynomial (respectively Grothendieck polynomial) for a permutation that depends only on $h$. Our formula and our methods are different from a recent result of Abe, Fujita, and Zeng that gives the class of a regular Hessenberg variety with more restrictions on $h$ than here.


title: Energy-Age Tradeoff in Status Update Communication Systems with Retransmission

abstract: Age-of-information is a novel performance metric in communication systems to indicate the freshness of the latest received data, which has wide applications in monitoring and control scenarios. Another important performance metric in these applications is energy consumption, since monitors or sensors are usually energy constrained. In this paper, we study the energy-age tradeoff in a status update system where data transmission from a source to a receiver may encounter failure due to channel error. As the status sensing process consumes energy, when a transmission failure happens, the source may either retransmit the existing data to save energy for sensing, or sense and transmit a new update to minimize age-of-information. A threshold-based retransmission policy is considered where each update is allowed to be transmitted no more than M times. Closed-form average age-of-information and energy consumption is derived and expressed as a function of channel failure probability and maximum number of retransmissions M. Numerical simulations validate our analytical results, and illustrate the tradeoff between average age-of-information and energy consumption.


title: A Study of Deep Feature Fusion based Methods for Classifying Multi-lead ECG

abstract: An automatic classification method has been studied to effectively detect and recognize Electrocardiogram (ECG). Based on the synchronizing and orthogonal relationships of multiple leads, we propose a Multi-branch Convolution and Residual Network (MBCRNet) with three kinds of feature fusion methods for automatic detection of normal and abnormal ECG signals. Experiments are conducted on the Chinese Cardiovascular Disease Database (CCDD). Through 10-fold cross-validation, we achieve an average accuracy of 87.04% and a sensitivity of 89.93%, which outperforms previous methods under the same database. It is also shown that the multi-lead feature fusion network can improve the classification accuracy over the network only with the single lead features.


title: Hydrodynamics strongly affect the dynamics of colloidal gelation but not gel structure

abstract: Colloidal particles with strong, short-ranged attractions can form a gel. We simulate this process without and with hydrodynamic interactions (HI), using the lattice-Boltzmann method to account for presence of a thermalized solvent. We show that HI speed up and slow down gelation at low and high volume fractions, respectively. The transition between these two regimes is linked to the existence of a percolating cluster shortly after quenching the system. However, when we compare gels at matched 'structural age', we find nearly indistinguishable structures with and without HI. Our result explains longstanding, unresolved conflicts in the literature.


title: Signal Jamming Attacks Against Communication-Based Train Control: Attack Impact and Countermeasure

abstract: We study the impact of signal jamming attacks against the communication based train control (CBTC) systems and develop the countermeasures to limit the attacks' impact. CBTC supports the train operation automation and moving-block signaling, which improves the transport efficiency. We consider an attacker jamming the wireless communication between the trains or the train to wayside access point, which can disable CBTC and the corresponding benefits. In contrast to prior work studying jamming only at the physical or link layer, we study the real impact of such attacks on end users, namely train journey time and passenger congestion. Our analysis employs a detailed model of leaky medium-based communication system (leaky waveguide or leaky feeder/coaxial cable) popularly used in CBTC systems. To counteract the jamming attacks, we develop a mitigation approach based on frequency hopping spread spectrum taking into account domain-specific structure of the leaky-medium CBTC systems. Specifically, compared with existing implementations of FHSS, we apply FHSS not only between the transmitter-receiver pair but also at the track-side repeaters. To demonstrate the feasibility of implementing this technology in CBTC systems, we develop a FHSS repeater prototype using software-defined radios on both leaky-medium and open-air (free-wave) channels. We perform extensive simulations driven by realistic running profiles of trains and real-world passenger data to provide insights into the jamming attack's impact and the effectiveness of the proposed countermeasure.


title: Evaluating the Pixel Array Method as Applied to Partial Differential Equations

abstract: The Pixel Array (PA) Method, originally introduced by Spivak et. al., is a fast method for solving nonlinear or linear systems. One of its distinguishing features is that it presents all solutions within a bounding box, represented by a plot whose axes are the values of "exposed variables." Here we develop a set-theoretic variant of the PA method, named the Pixel Array Solution-Set (PASS) method, that gives PA access to "hidden variables" whose values are not displayed on plot axes. We evaluate the effectiveness of PASS at numerically finding steady states for several partial differential equations. We discretize several one-dimensional solved reaction-diffusion equations, such as the Fisher equation and the Benjamin-Bona-Mohany equation, using finite differences. Then, we run PASS on each equation, and determine whether it successfully finds all boundary conditions for which a numerical steady state might exist. Then we verify whether the steady states found by PASS are correct. Finally, we discuss the benefits and weaknesses of PASS.


title: Liquid Pouring Monitoring via Rich Sensory Inputs

abstract: Humans have the amazing ability to perform very subtle manipulation task using a closed-loop control system with imprecise mechanics (i.e., our body parts) but rich sensory information (e.g., vision, tactile, etc.). In the closed-loop system, the ability to monitor the state of the task via rich sensory information is important but often less studied. In this work, we take liquid pouring as a concrete example and aim at learning to continuously monitor whether liquid pouring is successful (e.g., no spilling) or not via rich sensory inputs. We mimic humans' rich sensories using synchronized observation from a chest-mounted camera and a wrist-mounted IMU sensor. Given many success and failure demonstrations of liquid pouring, we train a hierarchical LSTM with late fusion for monitoring. To improve the robustness of the system, we propose two auxiliary tasks during training: inferring (1) the initial state of containers and (2) forecasting the one-step future 3D trajectory of the hand with an adversarial training procedure. These tasks encourage our method to learn representation sensitive to container states and how objects are manipulated in 3D. With these novel components, our method achieves ~8% and ~11% better monitoring accuracy than the baseline method without auxiliary tasks on unseen containers and unseen users respectively.


title: Radiation Pressure Limits on the Star Formation Efficiency and Surface Density of Compact Stellar Systems

abstract: The large columns of dusty gas enshrouding and fuelling star-formation in young, massive stellar clusters may render such systems optically thick to radiation well into the infrared. This raises the prospect that both "direct" radiation pressure produced by absorption of photons leaving stellar surfaces and "indirect" radiation pressure from photons absorbed and then re-emitted by dust grains may be important sources of feedback in such systems. Here we evaluate this possibility by deriving the conditions under which a spheroidal, self-gravitating, mixed gas-star cloud can avoid catastrophic disruption by the combined effects of direct and indirect radiation pressure. We show that radiation pressure sets a maximum star cluster formation efficiency of $\epsilon_{\rm max} \sim 0.9$ at a (very large) gas surface density of $\sim 10^5 M_\odot$ pc$^{-2} (Z_\odot/Z) \simeq 20$ g cm$^{-2} (Z_\odot/Z)$, but that gas clouds above this limit undergo significant radiation-driven expansion during star formation, leading to a maximum stellar surface density very near this value for all star clusters. Data on the central surface mass density of compact stellar systems, while sparse and partly confused by dynamical effects, are broadly consistent with the existence of a metallicity-dependent upper-limit comparable to this value. Our results imply that this limit may preclude the formation of the progenitors of intermediate-mass black holes for systems with $Z \gtrsim 0.2 Z_\odot$.


title: Incorporating Scalability in Unsupervised Spatio-Temporal Feature Learning

abstract: Deep neural networks are efficient learning machines which leverage upon a large amount of manually labeled data for learning discriminative features. However, acquiring substantial amount of supervised data, especially for videos can be a tedious job across various computer vision tasks. This necessitates learning of visual features from videos in an unsupervised setting. In this paper, we propose a computationally simple, yet effective, framework to learn spatio-temporal feature embedding from unlabeled videos. We train a Convolutional 3D Siamese network using positive and negative pairs mined from videos under certain probabilistic assumptions. Experimental results on three datasets demonstrate that our proposed framework is able to learn weights which can be used for same as well as cross dataset and tasks.


title: Energy-Efficiency Prediction of Multithreaded Workloads on Heterogeneous Composite Cores Architectures using Machine Learning Techniques

abstract: Heterogeneous architectures have emerged as a promising alternative for homogeneous architectures to improve the energy-efficiency of computer systems. Composite Cores Architecture (CCA), a class of dynamic heterogeneous architectures enabling the computer system to construct the right core at run-time for each application by composing cores together to build larger core or decomposing a large core into multiple smaller cores. While this architecture provides more flexibility for the running application to find the best run-time settings to maximize energy-efficiency, due to the interdependence of various tuning parameters such as the type of the core, run-time voltage and frequency and the number of threads, it makes it more challenging for scheduling. Prior studies mainly addressed the scheduling problem in CCAs by looking at one or two of these tuning parameters. However, as we will show in this paper, it is important to concurrently optimize and fine-tune these parameters. In addition, most previous works on CCA mainly study traditional single threaded CPU applications. This paper describes a systematic approach to predict the right configurations for running multithreaded workloads on CCAs. It achieves this by developing a machine learning-based approach to predict core type, voltage and frequency setting to maximize the energy-efficiency. Our predictor learns offline from an extensive set of training multithreaded workloads. It is then applied to predict the optimal processor configuration at run-time by taking into account the multithreaded application characteristics and the optimization objective. For this purpose, five well-known machine learning models are implemented for energy-efficiency optimization and precisely compared in terms of accuracy and hardware overhead to guide the scheduling decisions in a CCA.


title: Executable Trigger-Action Comments

abstract: Natural language elements, e.g., todo comments, are frequently used to communicate among the developers and to describe tasks that need to be performed (actions) when specific conditions hold in the code repository (triggers). As projects evolve, development processes change, and development teams reorganize, these comments, because of their informal nature, frequently become irrelevant or forgotten. We present the first technique, dubbed TrigIt, to specify triggeraction todo comments as executable statements. Thus, actions are executed automatically when triggers evaluate to true. TrigIt specifications are written in the host language (e.g., Java) and are evaluated as part of the build process. The triggers are specified as query statements over abstract syntax trees and abstract representation of build configuration scripts, and the actions are specified as code transformation steps. We implemented TrigIt for the Java programming language and migrated 20 existing trigger-action comments from 8 popular open-source projects. We evaluate the cost of using TrigIt in terms of the number of tokens in the executable comments and the time overhead introduced in the build process.


title: An early-type galaxy with an inner star-forming disk

abstract: Early-type galaxies (ETGs) are composed of two distinct populations: high-mass and low-mass, which are likely to be built via gas-poor merging and gas-rich merging/accretion, respectively. However, it is difficult to directly associate low-mass ETGs with gas-rich processes, because currently they are gas poor with no signs of ongoing star formation. We report a discovery of an ETG (SDSS J142055.01+400715.7) with Mstellar=10^10 Msun that offers direct evidence for gas-rich merging as the origin of low-mass ETGs. The integrated properties of the galaxy are consistent with a typical low-mass ETG, but the outer and inner regions show distinct dispersion- and rotation-dominated kinematics, respectively. There are some tidal features surrounding the galaxy. These two facts suggest very recent galaxy merging. Furthermore, the inner disk harbors on-going star formation, indicating the merging to be gas rich. This type of galaxy is rare but it may be a demonstration of the role the transient phase of gas-rich merging plays in making a low-mass ETG.


title: Machine Learning Phase Transition: An Iterative Proposal

abstract: We propose an iterative proposal to estimate critical points for statistical models based on configurations by combing machine-learning tools. Firstly, phase scenarios and preliminary boundaries of phases are obtained by dimensionality-reduction techniques. Besides, this step not only provides labelled samples for the subsequent step but also is necessary for its application to novel statistical models. Secondly, making use of these samples as training set, neural networks are employed to assign labels to those samples between the phase boundaries in an iterative manner. Newly labelled samples would be put in the training set used in subsequent training and the phase boundaries would be updated as well. The average of the phase boundaries is expected to converge to the critical temperature in this proposal. In concrete examples, we implement this proposal to estimate the critical temperatures for two q-state Potts models with continuous and first order phase transitions. Linear and manifold dimensionality-reduction techniques are employed in the first step. Both a convolutional neural network and a bidirectional recurrent neural network with long short-term memory units perform well for two Potts models in the second step. The convergent behaviors of the estimations reflect the types of phase transitions. And the results indicate that our proposal may be used to explore phase transitions for new general statistical models.


title: Spin wave dispersion and intensity correlation in width-modulated nanowire arrays: A Brillouin light scattering study

abstract: Using Brillouin light scattering spectroscopy and dynamical matrix method calculations, we study collective spin waves in dense arrays of periodically double-side width-modulated Permalloy nanowires. Width modulation is achieved by creating a sequence of triangular notches on the two parallel nanowire sides, with a periodicity of p=1000 nm, and tunable relative displacement (D) of the notches sequence on the two lateral sides. Both symmetric (D=0) and asymmetric (D= 250 and 500 nm) width-modulated nanowires were investigated. We have found that the detected modes have Bloch-type character and belong to a doublet deriving from the splitting of the modes characteristics of the nanowire with homogeneous width. Interestingly, the amplitude of the magnonic band, the frequency difference of the doublet, as well as their relative scattering intensity, can be efficiently controlled by increasing D rather than having single- or symmetric (D=0) double-side width-modulation.


title: Stress-sign-tunable Poisson's Ratio in Monolayer Blue Phosphorus Oxide

abstract: Negative Poisson's ratio (NPR) materials have attracted tremendous interest due to their unusual physical properties and potential applications. Certain two-dimensional (2D) monolayer materials have also been found to exhibit NPR and the corresponding deformation mechanism varies. In this study, we found, based on first-principles calculations, that the Poisson's ratio (PR) sign of monolayer Blue Phosphorus Oxide (BPO) can be tuned by strain: the PR is positive under uniaxial strain <= -1% but becomes negative under > 0. The deformation mechanism for BPO under strain depends on the mutual competition between the P-P attraction and P-O repulsion effect, and these two factors induce two different deformation pathways (one with positive PR, and the other with NPR). Moreover, with increasing of strain, both the decreased strength of P-P attraction and the increased strength of P-O repulsion effect modulate the PR of BPO from positive to negative.


title: Approximation algorithms for quantum many-body problems

abstract: We discuss classical algorithms for approximating the largest eigenvalue of quantum spin and fermionic Hamiltonians based on semidefinite programming relaxation methods. First, we consider traceless $2$-local Hamiltonians $H$ describing a system of $n$ qubits. We give an efficient algorithm that outputs a separable state whose energy is at least $\lambda_{\max}/O(\log n)$, where $\lambda_{\max}$ is the maximum eigenvalue of $H$. We also give a simplified proof of a theorem due to Lieb that establishes the existence of a separable state with energy at least $\lambda_{\max}/9$. Secondly, we consider a system of $n$ fermionic modes and traceless Hamiltonians composed of quadratic and quartic fermionic operators. We give an efficient algorithm that outputs a fermionic Gaussian state whose energy is at least $\lambda_{\max}/O(n\log n)$. Finally, we show that Gaussian states can vastly outperform Slater determinant states commonly used in the Hartree-Fock method. We give a simple family of Hamiltonians for which Gaussian states and Slater determinants approximate $\lambda_{\max}$ within a fraction $1-O(n^{-1})$ and $O(n^{-1})$ respectively.


title: Correspondences between Privacy and Nondiscrimination: Why They Should Be Studied Together

abstract: Privacy and nondiscrimination are related but different. We make this observation precise in two ways. First, we show that both privacy and nondiscrimination have two versions, a causal version and a statical associative version, with each version corresponding to a competing view of the proper goal of privacy or nondiscrimination. Second, for each version, we show that a difference between the privacy edition of the version and the nondiscrimination edition of the version is related to the difference between Bayesian probabilities and frequentist probabilities. In particular, privacy admits both Bayesian and frequentist interpretations whereas nondiscrimination is limited to the frequentist interpretation. We show how the introduced correspondence allows results from one area of research to be used for the other.


title: Double-phase problems with reaction of arbitrary growth

abstract: We consider a parametric nonlinear nonhomogeneous elliptic equation, driven by the sum of two differential operators having different structure. The associated energy functional has unbalanced growth and we do not impose any global growth conditions to the reaction term, whose behavior is prescribed only near the origin. Using truncation and comparison techniques and Morse theory, we show that the problem has multiple solutions in the case of high perturbations. We also show that if a symmetry condition is imposed to the reaction term, then we can generate a sequence of distinct nodal solutions with smaller and smaller energies.


title: Terahertz-optical intensity grating for creating high-charge, attosecond electron bunches

abstract: Ultrashort electron bunches are useful for applications like ultrafast imaging and coherent radiation production. Currently, however, the shortest achievable bunches, at attosecond time scales, have only been realized in the single or very few electron regime, limited by Coulomb repulsion and electron energy spread. Using ab initio simulations and theoretical analysis, we show that highly-charged bunches are achievable by subjecting relativistic (few MeV-scale) electrons to a superposition of terahertz and optical pulses. Using realistic electron bunches and laser pulse parameters which are within the reach of current compact setups, we provide two detailed examples: one with final bunches of ~1 fC contained within sub-400 as durations, and one with bunches of >25 electrons contained within 20 as durations. Our results reveal a route to achieve such extreme combinations of high charge and attosecond pulse durations with existing technology.


title: On the Structure of Hom Quandles

abstract: We continue the study of the quandle of homomorphisms into a medial quandle begun in Crans and Nelson. We show that it suffices to consider only medial source quandles, and therefore the structure theorem of Jedlicka et al. provides a characterization of the Hom quandle. In the particular case when the target is 2-reductive this characterization takes on a simple form that makes it easy to count and determine the structure of the Hom quandle.


title: Concentration bounds for empirical conditional value-at-risk: The unbounded case

abstract: In several real-world applications involving decision making under uncertainty, the traditional expected value objective may not be suitable, as it may be necessary to control losses in the case of a rare but extreme event. Conditional Value-at-Risk (CVaR) is a popular risk measure for modeling the aforementioned objective. We consider the problem of estimating CVaR from i.i.d. samples of an unbounded random variable, which is either sub-Gaussian or sub-exponential. We derive a novel one-sided concentration bound for a natural sample-based CVaR estimator in this setting. Our bound relies on a concentration result for a quantile-based estimator for Value-at-Risk (VaR), which may be of independent interest.


title: Apparent evidence for Hawking points in the CMB Sky

abstract: This paper presents strong observational evidence of numerous previously unobserved anomalous circular spots, of significantly raised temperature, in the CMB sky. The spots have angular radii between 0.03 and 0.04 radians (i.e. angular diameters between about 3 and 4 degrees). There is a clear cut-off at that size, indicating that each anomalous spot would have originated from a highly energetic point-like source, located at the end of inflation -- or else point-like at the conformally expanded Big Bang, if it is considered that there was no inflationary phase. The significant presence of these anomalous spots, was initially noticed in the Planck 70 GHz satellite data by comparison with 1000 standard simulations, and then confirmed by extending the comparison to 10000 simulations. Such anomalous points were then found at precisely the same locations in the WMAP data, their significance confirmed by comparison with 1000 WMAP simulations. Planck and WMAP have very different noise properties and it seems exceedingly unlikely that the observed presence of anomalous points in the same directions on both maps may come entirely from the noise. Subsequently, further confirmation was found in the Planck data by comparison with 1000 FFP8.1 MC simulations (with $l \leq 1500$). The existence of such anomalous regions, resulting from point-like sources at the conformally stretched-out big bang, is a predicted consequence of conformal cyclic cosmology (CCC), these sources being the Hawking points of the theory, resulting from the Hawking radiation from supermassive black holes in a cosmic aeon prior to our own.


title: Logical Semantics and Commonsense Knowledge: Where Did we Go Wrong, and How to Go Forward, Again

abstract: We argue that logical semantics might have faltered due to its failure in distinguishing between two fundamentally very different types of concepts: ontological concepts, that should be types in a strongly-typed ontology, and logical concepts, that are predicates corresponding to properties of and relations between objects of various ontological types. We will then show that accounting for these differences amounts to the integration of lexical and compositional semantics in one coherent framework, and to an embedding in our logical semantics of a strongly-typed ontology that reflects our commonsense view of the world and the way we talk about it in ordinary language. We will show that in such a framework a number of challenges in natural language semantics can be adequately and systematically treated.


title: Using Linguistic Cues for Analyzing Social Movements

abstract: With the growth of social media usage, social activists try to leverage this platform to raise the awareness related to a social issue and engage the public worldwide. The broad use of social media platforms in recent years, made it easier for the people to stay up-to-date on the news related to regional and worldwide events. While social media, namely Twitter, assists social movements to connect with more people and mobilize the movement, traditional media such as news articles help in spreading the news related to the events in a broader aspect. In this study, we analyze linguistic features and cues, such as individualism vs. pluralism, sentiment and emotion to examine the relationship between the medium and discourse over time. We conduct this work in a specific application context, the "Black Lives Matter" (BLM) movement, and compare discussions related to this event in social media vs. news articles.


title: NIMFA: A Python Library for Nonnegative Matrix Factorization

abstract: NIMFA is an open-source Python library that provides a unified interface to nonnegative matrix factorization algorithms. It includes implementations of state-of-the-art factorization methods, initialization approaches, and quality scoring. It supports both dense and sparse matrix representation. NIMFA's component-based implementation and hierarchical design should help the users to employ already implemented techniques or design and code new strategies for matrix factorization tasks.


title: The no-boundary wave function for loop quantum cosmology

abstract: Proposing smooth initial conditions is one of the most important tasks in quantum cosmology. On the other hand, the low-energy effective action, appearing in the semiclassical path integral, can get nontrivial quantum corrections near classical singularities due to specific quantum gravity proposals. In this article, we combine the well-known no-boundary proposal for the wavefunction of the universe with quantum modifications coming from loop quantum cosmology (LQC). Remarkably, we find that the restriction of a `slow-roll' type potential in the original Hartle-Hawking proposal is considerably relaxed due to quantum geometry regularizations. Interestingly, the same effects responsible for singularity-resolution in LQC also end up expanding the allowed space of smooth initial conditions leading to an inflationary universe.


title: Scaling notifications beyond alerts: from subtly drawing attention up to forcing the user to take action

abstract: New computational devices, in particular wearable devices, offer the unique property of always being available and thus to be able to constantly update the user with information, such as by notifications. While research has been done in sophisticated notifications, devices today mainly stick to a binary level of information, while they are either attention drawing or silent. In this paper, we want to go further and propose scalable notifications, which adjust the intensity reaching from subtle to obtrusive and even going beyond that level, while forcing the user to take action. To illustrate the technical feasibility and validity of this concept, we developed three prototypes providing mechano-pressure, thermal, and electrical feedback and evaluated them in different lab studies. Our first prototype provides subtle poking through to high and frequent pressure on the user's spine, which creates a significantly improved back posture. In a second scenario, the users are enabled to perceive the overuse of a drill by an increased temperature on the palm of a hand until the heat is intolerable and the users are forced to eventually put down the tool. The last project comprises a speed control in a driving simulation, while electric muscle stimulation on the users' legs conveys information on changing the car's speed by a perceived tingling until the system independently forces the foot to move. Although our selected scenarios are long way from being realistic, we see these lab studies as a means to validate our proof-of-concept. In conclusion, all studies' findings support the feasibility of our concept of a scalable notification system, including the system of forced intervention. While we envisage the implementation of our proof-of-concept into future wearables, more realistic application scenarios are worthy of exploration.


title: Studies of Turbulence Dissipation in Taurus Molecular Cloud with Core Velocity Dispersion (CVD)

abstract: Turbulence dissipation is an important process affecting the energy balance in molecular clouds, the birth place of stars. Previously, the rate of turbulence dissipation is often estimated with semi-analytic formulae from simulation. Recently we developed a data analysis technique called core-velocity-dispersion (CVD), which, for the first time, provides direct measurements of the turbulence dissipation rate in Taurus, a star forming cloud. The thus measured dissipation rate of $(0.45\pm 0.05)\times 10^{33} {\rm erg\ s^{-1}}$ is similar to those from dimensional analysis and also consistent with the previous energy injection rate based on molecular outflows and bubbles.


title: Experimental Studies of Two-dimensional Laminar Jet Flows in Freely Suspended Liquid Crystal Films

abstract: Two dimensional (2D) laminar jet-----a stream of fluid that projected into a surrounding medium with the flow confined in 2D-----has both theoretical and experimental significance. We carried out 2D laminar jet experiments in freely suspended liquid crystal films (FSLCFs) of nanometers thick and centimeters in size, in which individual molecules are confined to single layers thus enable film flows with two degrees of freedom. The experimental observations are found in good agreement with the classic 2D laminar jet theory of ideal cases that assume no external coupling effects, even in fact there exist strong coupling force from the ambient air. We further investigated this air coupling effect in computer simulations, with the results indicated air has little influence on the velocity maps of flow near the nozzle. This astonishing results could be intuitively understood by considering 2D incompressibility of the films. This experiment, together with a series of our previous experiments, show for a wide range of Reynolds number, FSLCFs are excellent testing beds for 2D hydrodynamics.


title: Revisiting Agegraphic Dark Energy in Brans-Dicke Cosmology

abstract: We explore a spatially homogeneous and isotropic Friedmann-Robertson-Walker (FRW) universe which is filled with agegraphic dark energy (ADE) with mutual interaction with pressureless dark matter in the background of Brans-Dicke (BD) theory. We consider both original and new type of agegraphic dark energy (NADE) and further assume the sign of the interaction term can change during the history of the Universe. We obtain the equation of state parameter, the deceleration parameter and the evolutionary equation for the sign-changeable interacting ADE and NADE in BD theory. We find that, in both models, the equation of state parameter, $w_D$, cannot cross the phantom line, although they can predict the Universe evolution from the early deceleration phase to the late time acceleration, compatible with observations. We also investigate the sound stability of these models and find out that both models cannot show a signal of stability for different model parameters.


title: Regularized matrix data clustering and its application to image analysis

abstract: In this paper, we propose a regularized mixture probabilistic model to cluster matrix data and apply it to brain signals. The approach is able to capture the sparsity (low rank, small/zero values) of the original signals by introducing regularization terms into the likelihood function. Through a modified EM algorithm, our method achieves the optimal solution with low computational cost. Theoretical results are also provided to establish the consistency of the proposed estimators. Simulations show the advantages of the proposed method over other existing methods. We also apply the approach to two real datasets from different experiments. Promising results imply that the proposed method successfully characterizes signals with different patterns while yielding insightful scientific interpretation.


title: Beyond the Central Limit Theorem: Universal and Non-universal Simulations of Random Variables by General Mappings

abstract: Motivated by the Central Limit Theorem, in this paper, we study both universal and non-universal simulations of random variables with an arbitrary target distribution $Q_{Y}$ by general mappings, not limited to linear ones (as in the Central Limit Theorem). We derive the fastest convergence rate of the approximation errors for such problems. Interestingly, we show that for discontinuous or absolutely continuous $P_{X}$, the approximation error for the universal simulation is almost as small as that for the non-universal one; and moreover, for both universal and non-universal simulations, the approximation errors by general mappings are strictly smaller than those by linear mappings. Furthermore, we also generalize these results to simulation from Markov processes, and simulation of random elements (or general random variables).


title: Infinite entropy for transcendental entire functions with an omitted value

abstract: We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper.


title: Deep Transfer Learning for EEG-based Brain Computer Interface

abstract: The electroencephalography classifier is the most important component of brain-computer interface based systems. There are two major problems hindering the improvement of it. First, traditional methods do not fully exploit multimodal information. Second, large-scale annotated EEG datasets are almost impossible to acquire because biological data acquisition is challenging and quality annotation is costly. Herein, we propose a novel deep transfer learning approach to solve these two problems. First, we model cognitive events based on EEG data by characterizing the data using EEG optical flow, which is designed to preserve multimodal EEG information in a uniform representation. Second, we design a deep transfer learning framework which is suitable for transferring knowledge by joint training, which contains a adversarial network and a special loss function. The experiments demonstrate that our approach, when applied to EEG classification tasks, has many advantages, such as robustness and accuracy.


title: Gray-box Adversarial Training

abstract: Adversarial samples are perturbed inputs crafted to mislead the machine learning systems. A training mechanism, called adversarial training, which presents adversarial samples along with clean samples has been introduced to learn robust models. In order to scale adversarial training for large datasets, these perturbations can only be crafted using fast and simple methods (e.g., gradient ascent). However, it is shown that adversarial training converges to a degenerate minimum, where the model appears to be robust by generating weaker adversaries. As a result, the models are vulnerable to simple black-box attacks. In this paper we, (i) demonstrate the shortcomings of existing evaluation policy, (ii) introduce novel variants of white-box and black-box attacks, dubbed gray-box adversarial attacks" based on which we propose novel evaluation method to assess the robustness of the learned models, and (iii) propose a novel variant of adversarial training, named Graybox Adversarial Training" that uses intermediate versions of the models to seed the adversaries. Experimental evaluation demonstrates that the models trained using our method exhibit better robustness compared to both undefended and adversarially trained model


title: GAMA/G10-COSMOS/3D-HST: Evolution of the galaxy stellar mass function over 12.5Gyrs

abstract: Using a combined and consistently analysed GAMA, G10-COSMOS, and 3D-HST dataset we explore the evolution of the galaxy stellar-mass function over lookback times $t_{\rm L} \in \left[0.2,12.5\right] {\rm h^{-1}_{70} Gyr}$. We use a series of volume limited samples to fit Schechter functions in bins of $\sim\!$constant lookback time and explore the evolution of the best-fit parameters in both single and two-component cases. In all cases, we employ a fitting procedure that is robust to the effects of Eddington bias and sample variance. Surprisingly, when fitting a two-component Schechter function, we find essentially no evidence of temporal evolution in $M_\star$, the two $\alpha$ slope parameters, or the normalisation of the low-mass component. Instead, our fits suggest that the various shape parameters have been exceptionally stable over cosmic time, as has the normalisation of the low-mass component, and that the evolution of the stellar-mass function is well described by a simple build up of the high-mass component over time. When fitting a single component Schechter function, there is an observed evolution in both $M_\star$ and $\alpha$, however this is interpreted as being an artefact. Finally, we find that the evolution of the stellar-mass function, and the observed stellar mass density, can be well described by a simple model of constant growth in the high-mass source density over the last $11 {\rm h^{-1}_{70} Gyr}$.


title: State-switching continuous-time correlated random walks

abstract: Continuous-time models have been developed to capture features of animal movement across temporal scales. In particular, one popular model is the continuous-time correlated random walk, in which the velocity of an animal is formulated as an Ornstein-Uhlenbeck process, to capture the autocorrelation in the speed and direction of its movement. In telemetry analyses, discrete-time state-switching models (such as hidden Markov models) have been increasingly popular to identify behavioural phases from animal tracking data. We propose a multistate formulation of the continuous-time correlated random walk, with an underlying Markov process used as a proxy for the animal's behavioural state process. We present a Markov chain Monte Carlo algorithm to carry out Bayesian inference for this multistate continuous-time model. Posterior samples of the hidden state sequence, of the state transition rates, and of the state-dependent movement parameters can be obtained. We investigate the performance of the method in a simulation study, and we illustrate its use in a case study of grey seal (Halichoerus grypus) tracking data. The method we present makes use of the state-space model formulation of the continuous-time correlated random walk, and can accommodate irregular sampling frequency and measurement error. It will facilitate the use of continuous-time models to estimate movement characteristics and infer behavioural states from animal telemetry data.


title: A Flip-Syndrome-List Polar Decoder Architecture for Ultra-Low-Latency Communications

abstract: We consider practical hardware implementation of Polar decoders. To reduce latency due to the serial nature of successive cancellation (SC), existing optimizations improve parallelism with two approaches, i.e., multi-bit decision or reduced path splitting. In this paper, we combine the two procedures into one with an error-pattern-based architecture. It simultaneously generates a set of candidate paths for multiple bits with pre-stored patterns. For rate-1 (R1) or single parity-check (SPC) nodes, we prove that a small number of deterministic patterns are required to guarantee performance preservation. For general nodes, low-weight error patterns are indexed by syndrome in a look-up table and retrieved in O(1) time. The proposed flip-syndrome-list (FSL) decoder fully parallelizes all constituent code blocks without sacrificing performance, thus is suitable for ultra-low-latency applications. Meanwhile, two code construction optimizations are presented to further reduce complexity and improve performance, respectively.


title: Characterization of polarimetric based three axis atomic magnetometer

abstract: The operation of polarimetric based single beam three axis atomic magnetometer is studied. The magnetometer operates in presence of small bias magnetic field. Its salient features are compared with the analysis of Bloch equation. The sensitivity of the device along three orthogonal directions are measured in low frequency regime, where 1/f noise adversely affect the sensitivity. The cross talk among the three axes magnetic field measurements and relative phase shifts are analysed using Lissajous plot. The sensitivity of the magnetometer is found to be < 10 pT/sqrt(Hz) @400 mHz in any direction. The investigated magnetometer is suitable for space application, where overall size of the device is of prime importance.


title: The Continuing Story of the Wobbling Kink

abstract: The wobbling kink is the soliton of the $\phi^4$ model with an excited internal mode. We outline an asymptotic construction of this particle-like solution that takes into account the coexistence of several space and time scales. The breakdown of the asymptotic expansion at large distances is prevented by introducing the long-range variables "untied" from the short-range oscillations. We formulate a quantitative theory for the fading of the kink's wobbling due to the second-harmonic radiation, explain the wobbling mode's longevity and discuss ways to compensate the radiation losses. The compensation is achieved by the spatially uniform driving of the kink, external or parametric, at a variety of resonant frequencies. For the given value of the driving strength, the largest amplitude of the kink's oscillations is sustained by the {\it parametric\/} pumping --- at its natural wobbling frequency. This type of forcing also produces the widest Arnold tongue in the "driving strength versus driving frequency" parameter plane. As for the {\it external\/} driver with the same frequency, it brings about an interesting rack and pinion mechanism that converts the energy of external oscillation to the translational motion of the kink.


title: Counting Feynman diagrams via many-body relations

abstract: We present an iterative algorithm to count Feynman diagrams via many-body relations. The algorithm allows us to count the number of diagrams of the exact solution for the general fermionic many-body problem at each order in the interaction. Further, we apply it to different parquet-type approximations and consider spin-resolved diagrams in the Hubbard model. Low-order results and asymptotics are explicitly discussed for various vertex functions and different two-particle channels. The algorithm can easily be implemented and generalized to many-body relations of different forms and levels of approximation.


title: Calculation of heavy meson potential coefficients by solving Lippman-Schwinger equation

abstract: In the present work, we study meson systems consisting of quark-antiquark. We solve lippman-Schwinger equation numerically for heavy meson systems. We attempt to find a non-relativistic potential model through which we can solve the quark-antiquark bound state problem. The coefficients so obtained are in agreement with Martin potential coefficients. Via this method we also determine the strong coupling constant for the mesons tt, tc, and tb, which is a coefficient of Cornell potential.


title: Scalability Analysis of a LoRa Network under Imperfect Orthogonality

abstract: Low-power wide-area network (LPWAN) technologies are gaining momentum for internet-of-things (IoT) applications since they promise wide coverage to a massive number of battery-operated devices using grant-free medium access. LoRaWAN, with its physical (PHY) layer design and regulatory efforts, has emerged as the widely adopted LPWAN solution. By using chirp spread spectrum modulation with qausi-orthogonal spreading factors (SFs), LoRa PHY offers coverage to wide-area applications while supporting high-density of devices. However, thus far its scalability performance has been inadequately modeled and the effect of interference resulting from the imperfect orthogonality of the SFs has not been considered. In this paper, we present an analytical model of a single-cell LoRa system that accounts for the impact of interference among transmissions over the same SF (co-SF) as well as different SFs (inter-SF). By modeling the interference field as Poisson point process under duty-cycled ALOHA, we derive the signal-to-interference ratio (SIR) distributions for several interference conditions. Results show that, for a duty cycle as low as 0.33%, the network performance under co-SF interference alone is considerably optimistic as the inclusion of inter-SF interference unveils a further drop in the success probability and the coverage probability of approximately 10% and 15%, respectively for 1500 devices in a LoRa channel. Finally, we illustrate how our analysis can characterize the critical device density with respect to cell size for a given reliability target.


title: Pgg TMD splitting function in kT factorization

abstract: We calculate the transverse momentum dependent gluon-to-gluon splitting function within kT-factorization [EPJC 78 (2018) 174], generalizing the framework of [NPB 175 (1980) 27; NPB 427 (1994) 475] and extending our previous works [JHEP 01 (2016) 181; PRD 94 (2016) 114013] for the quark splittings. While existing versions of kT factorized evolution equations contain already a gluon-to-gluon splitting function i.e. the leading order BFKL kernel or the CCFM kernel, the obtained splitting function has the important property that it reduces to the leading order BFKL kernel in the low z limit, to the DGLAP gluon-to-gluon splitting function in the collinear limit as well as to the CCFM kernel in the angular ordered region.


title: On certain sums over ordinates of zeta-zeros II

abstract: Let $\gamma$ denote the imaginary parts of complex zeros $\rho = \beta+i\gamma$ of $\zeta(s)$. The problem of analytic continuation of the function $G(s) := \sum\limits_{\gamma > 0}\gamma^{-s}$ to the left of the line $\Re s = -1$ is investigated, and its Laurent expansion at the pole $s=1$ is obtained. Estimates for the second moment on the critical line $\int_1^T|G(1/2+it)|^2\,dt$ are revisited. This paper is a continuation of work begun by the second author in 2001.


title: Pure State Entanglement Harvesting in Quantum Field Theory

abstract: Quantum fields in vacuum states carry an infinite amount of quantum entanglement, and its entanglement entropy has the ultraviolet divergence. Harvesting protocols of the vacuum entanglement had been investigated, but its efficiency is very low to date. The main reason of the low efficiency originates from the fact that the extracted entanglement is embedded in a mixed state of two external devices. We propose a general protocol with high efficiency by extracting pure state entanglement from the field. We only use bi-linear interactions between the fields and external devices. Even though the ultraviolet cutoff remains finite, the protocol is capable of extracting a huge amount of entanglement. Hence the infinite amount of entanglement extraction is attained without the ultraviolet divergence of the field entanglement entropy in a continuum limit. There exists a trade-off relation between the extracted entanglement and its energy cost.


title: Thermal Hall Conductivity in Superconducting Phase on Kagome Lattice

abstract: Motivated by a previous "$sd^2$-graphene" study, the pairing symmetry in the superconducting state and the thermal Hall conductivity are investigated by a self-consistent Bogoliubov--de Gennes approach on the kagome lattice with intrinsic spin-orbit coupling near van Hove fillings. While the topologically trivial state with broken time-reversal symmetry appears in the absence of spin-orbit coupling, the highest flat band becomes dispersive with a hexagonal symmetry due to spin-orbit coupling, which leads to a topological superconducting state. Since the thermal Hall conductivity in the low-temperature limit is associated with the topological property of time-reversal symmetry breaking superconductors, we study its temperature dependence near van Hove fillings. In particular, the pairing symmetry in the highest flat band is sensitive to the amplitudes of spin-orbit coupling and the attractive interaction, which is reflected remarkably in the thermal Hall conductivity. The obtained result may enable us to investigate the stable superconducting state on the kagome lattice.


title: On Optimizing Deep Convolutional Neural Networks by Evolutionary Computing

abstract: Optimization for deep networks is currently a very active area of research. As neural networks become deeper, the ability in manually optimizing the network becomes harder. Mini-batch normalization, identification of effective respective fields, momentum updates, introduction of residual blocks, learning rate adoption, etc. have been proposed to speed up the rate of convergent in manual training process while keeping the higher accuracy level. However, the problem of finding optimal topological structure for a given problem is becoming a challenging task need to be addressed immediately. Few researchers have attempted to optimize the network structure using evolutionary computing approaches. Among them, few have successfully evolved networks with reinforcement learning and long-short-term memory. A very few has applied evolutionary programming into deep convolution neural networks. These attempts are mainly evolved the network structure and then subsequently optimized the hyper-parameters of the network. However, a mechanism to evolve the deep network structure under the techniques currently being practiced in manual process is still absent. Incorporation of such techniques into chromosomes level of evolutionary computing, certainly can take us to better topological deep structures. The paper concludes by identifying the gap between evolutionary based deep neural networks and deep neural networks. Further, it proposes some insights for optimizing deep neural networks using evolutionary computing techniques.


title: DP-Degree Colorable Hypergraphs

abstract: In order to solve a question on list coloring of planar graphs, Dvo\v{r}\'{a}k and Postle introduced the concept of so called DP-coloring, thereby extending the concept of list-coloring. DP-coloring was anaylized in detail by Bernshteyn, Kostochka, and Pron for graphs and multigraphs; they characterized DP-degree colorable multigraphs and deduced a Brooks' type result from this. The characterization of the corresponding 'bad' covers was later given by Kim and Ozeki. In this paper, the concept of DP-colorings is extended to hypergraphs having multiple (hyper-)edges. We characterize the DP-degree colorable hypergraphs and, furthermore, the corresponding 'bad' covers. This gives a Brooks' type result for the DP-chromatic number of a hypergraph. In the last part, we examine DP-critical graphs and establish some basic facts on their structure as well as a Gallai-type bound on the minimum number of edges.


title: Temperature, Mass and Turbulence: A Spatially Resolved Multi-Band Non-LTE Analysis of CS in TW~Hya

abstract: Observations of multiple rotational transitions from a single molecule allow for unparalleled constraints on the physical conditions of the emitting region. We present an analysis of CS in TW~Hya using the $J=7-6$, $5-4$ and $3-2$ transitions imaged at $\sim 0.5^{\prime\prime}$ spatial resolution, resulting in a temperature and column density profile of the CS emission region extending out to 230~au, far beyond previous measurements. In addition, the 15~kHz resolution of the observations and the ability to directly estimate the temperature of the CS emitting gas, allow for one of the most sensitive searches for turbulent broadening in a disk to date. Limits of $v_{\rm turb} \lesssim 0.1 c_s$ can be placed across the entire radius of the disk. We are able to place strict limits of the local H$_2$ density due to the collisional excitations of the observed transitions. From these we find that a minimum disk mass of $3 \times 10^{-4}~M_{\rm sun}$ is required to be consistent with the CS excitation conditions and can uniquely constrain the gas surface density profile in the outer disk.


title: Symplectic Reduction and the Lie--Poisson Shape Dynamics of $N$ Point Vortices on the Plane

abstract: We show that the symplectic reduction of the dynamics of $N$ point vortices on the plane by the special Euclidean group $\mathsf{SE}(2)$ yields a Lie--Poisson equation for relative configurations of the vortices. Specifically, we combine symplectic reduction by stages with a dual pair associated with the reduction by rotations to show that the $\mathsf{SE}(2)$-reduced space with non-zero angular impulse is a coadjoint orbit. This result complements some existing works by establishing a relationship between the symplectic/Hamiltonian structures of the original and reduced dynamics. We also find a family of Casimirs associated with the Lie--Poisson structure including some apparently new ones. We demonstrate through examples that one may exploit these Casimirs to show that some shape dynamics are periodic.

categories: math-ph math.MP math.SG nlin.SI physics.flu-dyn


title: Spline Regression with Automatic Knot Selection

abstract: In this paper we introduce a new method for automatically selecting knots in spline regression. The approach consists in setting a large number of initial knots and fitting the spline regression through a penalized likelihood procedure called adaptive ridge. The proposed method is similar to penalized spline regression methods (e.g. P-splines), with the noticeable difference that the output is a sparse spline regression with a small number of knots. We show that our method called A-spline, for adaptive splines yields sparse regression models with high interpretability, while having similar predictive performance similar to penalized spline regression methods. A-spline is applied both to simulated and real dataset. A fast and publicly available implementation in R is provided along with this paper.


title: Search for pair production of heavy vector-like quarks decaying into hadronic final states in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search is presented for the pair production of heavy vector-like quarks, $T\bar T$ or $B\bar B$, that decay into final states with jets and no reconstructed leptons. Jets in the final state are classified using a deep neural network as arising from hadronically decaying $W/Z$ bosons, Higgs bosons, top quarks, or background. The analysis uses data from the ATLAS experiment corresponding to 36.1 fb$^{-1}$ of proton-proton collisions with a center-of-mass energy of $\sqrt{s} = 13$ TeV delivered by the Large Hadron Collider in 2015 and 2016. No significant deviation from the Standard Model expectation is observed. Results are interpreted assuming the vector-like quarks decay into a Standard Model boson and a third-generation-quark, $T\rightarrow Wb,Ht,Zt$ or $B\rightarrow Wt,Hb,Zb$, for a variety of branching ratios. At 95% confidence level, the observed (expected) lower limit on the vector-like $B$-quark mass for a weak-isospin doublet ($B, Y$) is 950 (890) GeV, and the lower limits on the masses for the pure decays $B\rightarrow Hb$ and $T\rightarrow Ht$, where these results are strongest, are 1010 (970) GeV and 1010 (1010) GeV, respectively.


title: Noncommutative Geometry for Symmetric Non-Self-Adjoint Operators

abstract: We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting. We give a detailed study of Dirac operators with Dirichlet boundary conditions on open subsets of $\mathbb{R}^d$, $d \geq 2$.


title: X-ray Luminosity Function of Quasars at 3<z<5 from XMM-Newton Serendipitous Survey Data

abstract: The X-ray luminosity function of distant (3<z<5.1) unabsorbed quasars has been measured. A sample of distant high-luminosity quasars ($10^{45} \leq L_{{\rm X},2-10} < 7.5 \times 10^{45}$ erg/s in the 2--10 keV energy band) from the catalog given in Khorunzhev et al. (2016) compiled from the data of the 3XMM-DR4 catalog of the XMM-Newton serendipitous survey and the Sloan Digital Sky Survey (SDSS) has been used. This sample consists of 101 sources. Most of them (90) have spectroscopic redshifts $z_{spec}\geqslant 3$. The remaining ones are quasar candidates with photometric redshift estimates $z_{phot}\geqslant 3$. The spectroscopic redshifts of eight sources have been measured with AZT-33IK and BTA telescopes. Owing to the record sky coverage area ($\simeq 250$ sq. deg at X-ray fluxes $\sim 10^{-14}$ erg/s/cm$^{2}$ in the 0.5-2 keV), from which the sample was drawn, we have managed to obtain reliable estimates of the space density of distant X-ray quasars with luminosities $L_{{\rm X},2-10} > 2 \times 10^{45}$ erg/s for the first time. Their comoving space density remains constant as the redshift increases from z=3 to z=5 to within a factor of 2. The power-law slope of the X-ray luminosity function of high-redshift quasars in its bright end (above the break luminosity) has been reliably constrained for the first time. The range of possible slopes for the quasar luminosity and density evolution model is $\gamma_2=2.78^{+0.00}_{-0.04}\pm0.20$, where initially the lower and upper boundaries of $\gamma_2$ with the remaining uncertainty in the detection completeness of X-ray sources in SDSS, and subsequently the statistical error of the slope are specified.


title: Phase Transition in Matched Formulas and a Heuristic for Biclique Satisfiability

abstract: A matched formula is a CNF formula whose incidence graph admits a matching which matches a distinct variable to every clause. We study phase transition in a context of matched formulas and their generalization of biclique satisfiable formulas. We have performed experiments to find a phase transition of property "being matched" with respect to the ratio $m/n$ where $m$ is the number of clauses and $n$ is the number of variables of the input formula $\varphi$. We compare the results of experiments to a theoretical lower bound which was shown by Franco and Gelder (2003). Any matched formula is satisfiable, moreover, it remains satisfiable even if we change polarities of any literal occurrences. Szeider (2005) generalized matched formulas into two classes having the same property -- var-satisfiable and biclique satisfiable formulas. A formula is biclique satisfiable if its incidence graph admits covering by pairwise disjoint bounded bicliques. Recognizing if a formula is biclique satisfiable is NP-complete. In this paper we describe a heuristic algorithm for recognizing whether a formula is biclique satisfiable and we evaluate it by experiments on random formulas. We also describe an encoding of the problem of checking whether a formula is biclique satisfiable into SAT and we use it to evaluate the performance of our heuristic


title: Distinctive Collider Signals for a Two Higgs Triplet Model

abstract: The extension of the Standard Model (SM) with two complex $SU(2)_{L}$ scalar triplets enables one to have the Type II seesaw mechanism operative consistently with texture-zero neutrino mass matrices. This framework predicts additional doubly charged, singly charged and neutral spinless states. We show that, for certain values of the model parameters, there is sufficient mass splitting between the two doubly charged states ( $H_1^{\pm\pm}, H_2^{\pm\pm}$) that allows the decay $H_1^{\pm\pm} \to H_2^{\pm\pm} h $, and thus leads to a unique signature of this scenario. We show that the final state $2(\ell^{\pm} \ell^{\pm}) + 4b + \mET~$ arising from this mode can be observed at the high energy, high luminosity (HE-HL) run of the 14 TeV Large Hadron Collider (LHC), and also at a 100 TeV Future Circular Collider (FCC-hh).


title: Capillarity-Driven Oil Flow in Nanopores: Darcy Scale Analysis of Lucas-Washburn Imbibition Dynamics

abstract: We present gravimetrical and optical imaging experiments on the capillarity-driven imbibition of silicone oils in monolithic silica glasses traversed by 3D networks of pores (mesoporous Vycor glass with 6.5 nm or 10 nm pore diameters). As evidenced by a robust square-root-of-time Lucas-Washburn (L-W) filling kinetics, the capillary rise is governed by a balance of capillarity and viscous drag forces in the absence of inertia and gravitational effects over the entire experimental times studied, ranging from a few seconds up to 10 days. A video on the infiltration process corroborates a collective pore filling as well as pronounced imbibition front broadening resulting from the capillarity and permeability disorder, typical of Vycor glasses. The transport process is analyzed within a Darcy scale description, considering a generalized pre-factor of the L-W law, termed Lucas-Washburn-Darcy imbibition ability. It assumes a Hagen-Poiseuille velocity profile in the pores and depends on the porosity, the mean pore diameter, the tortuosity and the velocity slip length and thus on the effective hydraulic pore diameter. For both matrices a reduced imbibition speed and thus reduced imbibition ability, compared to the one assuming the nominal pore diameter, bulk fluidity and bulk capillarity, can be quantitatively traced to an immobile, pore-wall adsorbed boundary layer of 1.4 nm thickness. Presumably, it consists of a monolayer of water molecules adsorbed on the hydrophilic pore walls covered by a monolayer of flat-laying silicone oil molecules. Our study highlights the importance of immobile nanoscopic boundary layers on the flow in tight oil reservoirs as well as the validity of the Darcy scale description for transport in mesoporous media.

categories: cond-mat.soft cond-mat.mes-hall cond-mat.mtrl-sci physics.chem-ph physics.flu-dyn


title: Quark mass function at finite temperature in real-time formalism

abstract: We investigate properties of quark mass functions at finite temperature in quantum chromodynamics calculated by Schwinger-Dyson equation in real-time formalism without the instantaneous exchange approximation, in which one-loop integration is performed in Minkowski space. In our model, an imaginary part of the mass function is directory evaluated.


title: Magnetic field distribution in magnetars

abstract: Using an axisymmetric numerical code, we perform an extensive study of the magnetic field configurations in non-rotating neutron stars, varying the mass, magnetic field strength and the equation of state. We find that the monopolar (spherically symmetric) part of the norm of the magnetic field can be described by a single profile, that we fit by a simple eighth-order polynomial, as a function of the star's radius. This new generic profile applies remarkably well to all magnetized neutron star configurations built on hadronic equations of state. We then apply this profile to build magnetized neutron stars in spherical symmetry, using a modified Tolman-Oppenheimer-Volkov (TOV) system of equations. This new formalism produces slightly better results in terms of mass-radius diagrams than previous attempts to add magnetic terms to these equations. However, we show that such approaches are less accurate than usual, non-magnetized TOV models, and that consistent models must depart from spherical symmetry. Thus, our `universal' magnetic field profile is intended to serve as a tool for nuclear physicists to obtain estimates of magnetic field inside neutron stars, as a function of radial depth, in order to deduce its influence on composition and related properties. It possesses the advantage of being based on magnetic field distributions from realistic self-consistent computations, which are solutions of Maxwell's equations.


title: The present state of the capitulation problem

abstract: The text is a synthetic presentation of the state of the knowledge about the capitulation for the class-groups of numbers fields, shortly before the demonstration by Suzuki of the main conjecture on this question.


title: Revealing Dusty Supernovae in High-Redshift (Ultra-)Luminous InfraRed Galaxies Through Near-Infrared Integrated Light Variability

abstract: Luminous and ultra-luminous infrared galaxies ((U)LIRGs) are rare today but are increasingly abundant at high redshifts. They are believed to be dusty starbursts, and hence should have high rates of supernovae (multiple events per year). Due to their extremely dusty environment, however, such supernovae could only be detected in restframe infrared and longer wavelengths, where our current facilities lack the capability of finding them individually beyond the local universe. We propose a new technique for higher redshifts, which is to search for the presence of supernovae through the variability of the integrated rest-frame infrared light of the entire hosts. We present a pilot study to assess the feasibility of this technique. We exploit a unique region, the "IRAC Dark Field" (IDF), that the Spitzer Space Telescope has observed for more than 14 years in 3--5 micron. The IDF also has deep far-infrared data (200--550 micron) from the Herschel Space Observatory that allow us to select high-redshift (U)LIRGs. We obtain a sample of (U)LIRGs that have secure optical counterparts, and examine their light curves in 3--5 micron. While the variabilities could also be caused by AGNs, we show that such contaminations can be identified. We present two cases where the distinct features in their light curves are consistent with multiple supernovae overlapping in time. Searching for supernovae this way will be relevant to the James Webb Space Telescope (JWST) to probe high-redshift (U)LIRGs into their nuclear regions where JWST will be limited by its resolution.


title: About the Stein equation for the generalized inverse Gaussian and Kummer distributions

abstract: We propose a Stein characterization of the Kummer distribution on (0, $\infty$). This result follows from our observation that the density of the Kummer distribution satisfies a certain differential equation, leading to a solution of the related Stein equation. A bound is derived for the solution, under a condition on the parameters. The derivation of this bound is carried out using the same framework as in Gaunt 2017 [A Stein characterisation of the generalized hyper-bolic distribution. ESAIM: Probability and Statistics, 21, 303--316] in the case of the generalized inverse Gaussian distribution, which we revisit by correcting a minor error in the latter paper.


title: First search for $2\varepsilon$ and $\varepsilon\beta^+$ decay of $^{162}$Er and new limit on $2\beta^{-}$ decay of $^{170}$Er to the first excited level of $^{170}$Yb

abstract: The first search for double electron capture ($2\varepsilon$) and electron capture with positron emission ($\varepsilon\beta^+$) of $^{162}$Er to the ground state and to several excited levels of $^{162}$Dy was realized with 326 g of highly purified erbium oxide. The sample was measured over 1934 h by the ultra-low background HP Ge $\gamma$ spectrometer GeCris (465 cm$^3$) at the Gran Sasso underground laboratory. No effect was observed, the half-life limits were estimated at the level of $\lim T_{1/2}\sim 10^{15}-10^{18}$ yr. A possible resonant $0\nu KL_1$ capture in $^{162}$Er to the $2^+$ 1782.7 keV excited state of $^{162}$Dy is restricted as $T_{1/2}\geq5.0\times 10^{17}$ yr at 90% C.L. A new improved half-life limit $T_{1/2}\geq4.1\times 10^{17}$ yr was set on the $2\beta^-$ decay of $^{170}$Er to the $2^+$ 84.3 keV first excited state of $^{170}$Yb.


title: Solution Paths of Variational Regularization Methods for Inverse Problems

abstract: We consider a family of variational regularization functionals for a generic inverse problem, where the data fidelity and regularization term are given by powers of a Hilbert norm and an absolutely one-homogeneous functional, respectively, and the regularization parameter is interpreted as artificial time. We investigate the small and large time behavior of the associated solution paths and, in particular, prove finite extinction time for a large class of functionals. Depending on the powers, we also show that the solution paths are of bounded variation or even Lipschitz continuous. In addition, it will turn out that the models are "almost" mutually equivalent in terms of the minimizers they admit. Finally, we apply our results to define and compare two different non-linear spectral representations of data and show that only one of it is able to decompose a linear combination of non-linear eigenfunctions into the individual eigenfunctions. For that purpose, we will also briefly address piecewise affine solution paths.


title: New constraints on the distance duality relation from the local data

abstract: The cosmic distance duality relation (DDR), which connects the angular diameter distance and luminosity distance through a simple formula $D_A(z)(1+z)^2/D_L(z)\equiv1$, is an important relation in cosmology. Therefore, testing the validity of DDR is of great importance. In this paper, we test the possible violation of DDR using the available local data including type Ia supernovae (SNe Ia), galaxy clusters and baryon acoustic oscillations (BAO). We write the modified DDR as $D_A(z)(1+z)^2/D_L(z)=\eta(z)$, and consider two different parameterizations of $\eta(z)$, namely $\eta_1(z)=1+\eta_0 z$ and $\eta_2(z)=1+\eta_0 z/(1+z)$. The luminosity distance from SNe Ia are compared with the angular diameter distance from galaxy clusters and BAO at the same redshift. Two different cluster data are used here, i.e. elliptical clusters and spherical clusters. The parameter $\eta_0$ is obtained using the Markov chain Monte Carlo methods. It is found that $\eta_0$ can be strictly constrained by the elliptical clusters + BAO data, with the best-fitting values $\eta_0=-0.04\pm 0.12$ and $\eta_0=-0.05\pm 0.22$ for the first and second parametrizations, respectively. However, the spherical clusters + BAO data couldn't strictly constrain $\eta_0$ due to the large intrinsic scatter. In any case studied here, no evidence for the violation of DDR is found.


title: Defense Against Adversarial Attacks with Saak Transform

abstract: Deep neural networks (DNNs) are known to be vulnerable to adversarial perturbations, which imposes a serious threat to DNN-based decision systems. In this paper, we propose to apply the lossy Saak transform to adversarially perturbed images as a preprocessing tool to defend against adversarial attacks. Saak transform is a recently-proposed state-of-the-art for computing the spatial-spectral representations of input images. Empirically, we observe that outputs of the Saak transform are very discriminative in differentiating adversarial examples from clean ones. Therefore, we propose a Saak transform based preprocessing method with three steps: 1) transforming an input image to a joint spatial-spectral representation via the forward Saak transform, 2) apply filtering to its high-frequency components, and, 3) reconstructing the image via the inverse Saak transform. The processed image is found to be robust against adversarial perturbations. We conduct extensive experiments to investigate various settings of the Saak transform and filtering functions. Without harming the decision performance on clean images, our method outperforms state-of-the-art adversarial defense methods by a substantial margin on both the CIFAR-10 and ImageNet datasets. Importantly, our results suggest that adversarial perturbations can be effectively and efficiently defended using state-of-the-art frequency analysis.


title: Inner approximation algorithm for solving linear multiobjective optimization problems

abstract: Benson's outer approximation algorithm and its variants are the most frequently used methods for solving linear multiobjective optimization problems. These algorithms have two intertwined components: one-dimensional linear optimization one one hand, and a combinatorial part closely related to vertex numeration on the other. Their separation provides a deeper insight into Benson's algorithm, and points toward a dual approach. Two skeletal algorithms are defined which focus on the combinatorial part. Using different single-objective optimization problems - called oracle calls - yield different algorithms, such as a sequential convex hull algorithm, another version of Benson's algorithm with the theoretically best possible iteration count, the dual algorithm of Ehrgott, L\"ohne and Shao, and the new algorithm. The new algorithm has several advantages. First, the corresponding one-dimensional optimization problem uses the original constraints without adding any extra variables or constraints. Second, its iteration count meets the theoretically best possible one. As a dual algorithm, it is sequential: in each iteration it produces an extremal solution, thus can be aborted when a satisfactory solution is found. The Pareto front can be "probed" or "scanned" from several directions at any moment without adversely affecting the efficiency. Finally, it is well suited to handle highly degenerate problems where there are many linear dependencies among the constraints. On problems with ten or more objectives the implementation shows a significant increase in efficiency compared to Bensolve - due to the reduced number of iterations and the improved combinatorial handling.


title: Quantifying Deployability & Evolvability of Future Internet Architectures via Economic Models

abstract: Emerging new applications demand the current Internet to provide new functionalities. Although many future Internet architectures and protocols have been proposed to fulfill such needs, ISPs have been reluctant to deploy many of these architectures. We believe technical issues are not the main reasons as many of these new proposals are technically sound. In this paper, we take an economic perspective and seek to answer: Why most new Internet architectures failed to be deployed? How to enhance the deployability of a new architecture? We develop a game-theoretic model to characterize the outcome of an architecture's deployment through the equilibrium of ISPs' decisions. This model enables us to: (1) analyze several key factors of the deployability of a new architecture such as the number of critical ISPs and the change of routing path; (2) explain the deploying outcomes of some previously proposed architectures/protocols such as IPv6, DiffServ, CDN, etc., and shed light on the "Internet flattening phenomenon"; (3) predict the deployability of a new architecture such as NDN, and compare its deployability with competing architectures. Our study suggests that the difficulty to deploy a new Internet architecture comes from the "coordination" of distributed ISPs. Finally, we design a coordination mechanism to enhance the deployability of new architectures.


title: Toeplitz operators with piecewise continuous symbols on the Hardy space $H^1$

abstract: The geometric descriptions of the (essential) spectra of Toeplitz operators with piecewise continuous symbols are among the most beautiful results about Toeplitz operators on Hardy spaces $H^p$ with $1<p<\infty$. In the Hardy space $H^1$, the essential spectra of Toeplitz operators are known for continuous symbols and symbols in the Douglas algebra $C+H^\infty$. It is natural to ask whether the theory for piecewise continuous symbols can also be extended to $H^1$. We answer this question in negative and show in particular that the Toeplitz operator is never bounded on $H^1$ if its symbol has a jump discontinuity.


title: Mixed fractional Brownian motion: a spectral take

abstract: This paper provides yet another look at the mixed fractional Brownian motion (fBm), this time, from the spectral perspective. We derive an approximation for the eigenvalues of its covariance operator, asymptotically accurate up to the second order. This in turn allows to compute the exact $L_2$-small ball probabilities, previously known only at logarithmic precision. The obtained expressions show an interesting stratification of scales, which occurs at certain values of the Hurst parameter of the fractional component. Some of them have been previously encountered in other problems involving such mixtures.


title: Complete identification of nonclassicality of Gaussian states via intensity moments

abstract: We present an experimental method for complete identification of the nonclassicality of Gaussian states in the whole phase space. Our method relies on nonclassicality witnesses written in terms of measured integrated intensity moments up to the third order, provided that appropriate local coherent displacements are applied to the state under consideration. The introduced approach, thus, only requires linear detectors for measuring intensities of optical fields, that is very convenient and powerful from the experimental point of view. Additionally, we demonstrate that the proposed technique not only allows to completely identify the nonclassicality of the Gaussian states but also to quantify it.


title: Devitrification of the Kob-Andersen glass former: Competition with the locally favored structure

abstract: Supercooled liquids are kinetically trapped materials in which the transition to a thermodynamically more stable state with long-range order is strongly suppressed. To assess the glass-forming abilities of a liquid empirical rules exist, but a comprehensive microscopic picture of devitrification is still missing. Here we study the crystallization of a popular model glass former, the binary Kob-Andersen mixture, in small systems. We perform trajectory sampling employing the population of the locally favored structure as order parameter. While for large population a dynamical phase transition has been reported, here we show that biasing towards a small population of locally favored structures induces crystallization, and we estimate the free energy difference. This result sheds new light on the competition between local and global structure in glass-forming liquids and its implications for crystallization.


title: Measurement of the analyzing powers in pd elastic and pn quasi-elastic scattering at small angles

abstract: The analyzing powers in proton-deuteron elastic and proton-neutron quasi-elastic scattering have been measured at small angles using a polarized proton beam at the COSY storage ring incident on an unpolarized deuterium target. The data were taken at 796MeV and five higher energies from 1600MeV to 2400MeV. The analyzing power in pd elastic scattering was studied by detecting the low energy recoil deuteron in telescopes placed symmetrically in the COSY plane to the left and right of the beam whereas for pn quasi-elastic scattering a low energy proton was registered in one of the telescopes in coincidence with a fast scattered proton measured in the ANKE magnetic spectrometer. Though the experiment explores new domains, the results are consistent with the limited published information.


title: Spectroscopic classification and Gaia DR2 parallaxes of new nearby white dwarfs among selected blue proper motion stars

abstract: AIMS: With our low-resolution spectroscopic observing program for selected blue proper motion stars, we tried to find new white dwarfs (WDs) in the solar neighbourhood. METHODS: We used the LSPM catalogue with a lower proper motion limit of 150mas/yr and the UCAC2 for proper motions down to about 90mas/yr. The LSPM and UCAC2 photometry was combined with Two Micron All Sky Survey (2MASS) near-infrared (NIR) photometry. Targets selected according to their blue optical-to-NIR and NIR colours were observed mainly at Calar Alto. The spectra were classified by comparison with a large number of already known comparison objects, including WDs, simultaneously observed within our program. Gaia DR2 parallaxes and colours were used to confirm or reject spectroscopic WD candidates and to derive improved effective temperatures. RESULTS: We found ten new WDs at distances between 24.4pc and 79.8pc, including six hot DA WDs: GD 221 (DA2.0), HD 166435 B (DA2.2), GD 277 (DA2.2), 2MASS J19293865+1117523 (DA2.4), 2MASS J05280449+4105253 (DA3.6), and 2MASS J05005185-0930549 (DA4.2). The latter is rather bright (G~12.6) and with its Gaia DR2 parallax of ~14mas it appears overluminous by about 3mag compared to the WD sequence in the Gaia DR2 colour-magnitude diagram. It may be the closest extremely low mass (ELM) WD to the Sun. We further classified 2MASS J07035743+2534184 as DB4.1. With its distance of 25.6pc it is the second nearest known representative of its class. With GD 28 (DA6.1), LP 740-47 (DA7.5), and LSPM J1919+4527 (DC10.3) three additional cool WDs were found. Gaia DR2 parallaxes showed us that four of our candidates but also two previously supposed WDs (WD 1004+665 and LSPM J1445+2527) are in fact distant Galactic halo stars with high tangential velocities. Among our rejected WD candidates, we identified a bright (G=13.4mag) G-type carbon dwarf, LSPM J0937+2803, at a distance of 272pc.


title: Large entropy change derived from the orbitally assisted three-centered two-electron {\sigma} bond formation in a metallic Li0.33VS2

abstract: We discuss herein the emergence of a large entropy change in metallic Li0.33VS2 derived from the orbitally assisted loose {\sigma} bond formation. Comprehensive structural studies based on synchrotron x-ray and neutron diffraction analyses clarify the fabrication of ribbon chains at 375 K, consisting of multiple three-centered two-electron {\sigma} bonds based on the viewpoint of local chemical bonding. Although the metallic conductivity persists down to the lowest temperature measured, exceptionally large entropy change as a metal, as much as {\Delta}S = 6.6 J/mol K, appears at the transition. Emergence of a large entropy change in a metallic state expects us the possible novel functional materials, such as a heat-storage material with rapid thermal response.


title: Blockchain Queueing Theory

abstract: Blockchain has many benefits including decentralization, availability, persistency, consistency, anonymity, auditability and accountability, and it also covers a wide spectrum of applications ranging from cryptocurrency, financial services, reputation system, Internet of Things, sharing economy to public and social services. Not only may blockchain be regarded as a by-product of Bitcoin cryptocurrency systems, but also it is a type of distributed ledger technology through using a trustworthy, decentralized log of totally ordered transactions. By summarizing the literature of blockchain, it is found that more papers focus on engineering implementation and realization, while little work has been done on basic theory, for example, mathematical models (Markov processes, queueing theory and game models), performance analysis and optimization of blockchain systems. In this paper, we develop queueing theory of blockchain systems and provide system performance evaluation. To do this, we design a Markovian batch-service queueing system with two different service stages, while the two stages are suitable to well express the mining process in the miners pool and the building of a new blockchain. By using the matrix-geometric solution, we obtain a system stable condition and express three key performance measures: (a) The number of transactions in the queue, (b) the number of transactions in a block, and (c) the transaction-confirmation time. Finally, We use numerical examples to verify computability of our theoretical results. Although our queueing model is simple under exponential or Poisson assumptions, our analytic method will open a series of potentially promising research in queueing theory of blockchain systems.


title: Charged gravitational instantons: extra CP violation and charge quantisation in the Standard Model

abstract: We argue that quantum electrodynamics combined with quantum gravity results in a new source of CP violation, anomalous non-conservation of chiral charge and quantisation of electric charge. Further phenomenological and cosmological implications of this observation are briefly discussed within the standard model of particle physics and cosmology


title: Short Note on Superconductivity at Ambient Temperature and Pressure in Silver Embedded Gold Nano-particles: A Goldsmith job ahead

abstract: Very recent observation of superconductivity in both transport (resistance versus temperature) and magnetization (Zero field cooled) at around 235 K has obviously raised many eyebrows. The experimental fraternity in particular is more thrilled. Although the results presented in the paper are clean and both transport and magnetization measurements do approve the observation of superconductivity to some extent (the shielding fraction is low), the problem is to synthesize or fabricate the material. This I name a goldsmith job, primarily because one has to deal with Gold and Silver nano particles combination/amalgamation/alloying or even who knows the inter-facial new phase, which could be superconducting. This short note is written in view to let the spark continues and the interesting work of ) authors is reproduced independently.


title: Partial regularity to the Landau-Lifshitz equation with spin accumulation

abstract: In this paper, we consider a model for the spin-magnetization system that takes into account the diffusion process of the spin accumulation. This model consists of the Landau-Lifshitz equation describing the precession of the magnetization, coupled with a quasi-linear parabolic equation describing the diffusion of the spin accumulation. This paper establishes the global existence and uniqueness of weak solutions for large initial data in $\Bbb R^2$. Moreover, partial regularity is shown. In particular, the solution is regular on $\Bbb R^2\times(0,\infty)$ with the exception of at most finite singular points.


title: Compactness of semigroups of explosive symmetric Markov processes

abstract: In this paper, we investigate spectral properties of explosive symmetric Markov processes. Under a condition on its life time, we prove the $L^1$-semigroup of Markov processes become compact operators.


title: The k-cube is k-representable

abstract: A graph is called $k$-representable if there exists a word $w$ over the nodes of the graph, each node occurring exactly $k$ times, such that there is an edge between two nodes $x,y$ if and only after removing all letters distinct from $x,y$, from $w$, a word remains in which $x,y$ alternate. We prove that if $G$ is $k$-representable for $k>1$, then the Cartesian product of $G$ and the complete graph on $n$ nodes is $(k+n-1)$-representable. As a direct consequence, the $k$-cube is $k$-representable for every $k \geq 1$. Our main technique consists of exploring occurrence based functions that replace every $i$th occurrence of a symbol $x$ in a word $w$ by a string $h(x,i)$. The representing word we construct to achieve our main theorem is purely composed from concatenation and occurrence based functions.


title: On Wigner function of a vortex electron

abstract: We derive a relatively simple and Lorentz-invariant expression for a Wigner function of a paraxial vortex electron described as a Laguerre-Gaussian wave packet.


title: Spectral Tomography for the Line-of-Sight Structures of the Taurus Molecular Cloud 1

abstract: We clarify the line-of-sight structure of the Taurus Molecular Cloud 1 (TMC-1) on the basis of the CCS($J_N=4_3-3_2$) and HC$_3$N($J=5-4$) spectral data observed at a very high velocity resolution and sensitivity of $\Delta V \simeq 0.0004$ km s$^{-1}$ ($=61$ Hz) and $\Delta T_{\rm mb} \simeq 40$ mK. The data were obtained toward the cyanopolyyne peak with $\sim$30 hours integration using the Z45 receiver and the PolariS spectrometer installed in the Nobeyama 45m telescope. Analyses of the optically thin $F=4-4$ and $5-5$ hyperfine lines of the HC$_3$N emission show that the spectra consist of four distinct velocity components with a small line width ($\lesssim 0.1$ km s$^{-1}$) at $V_{\rm LSR}=$5.727, 5.901, 6.064, and 6.160 km s$^{-1}$, which we call A, B, C, and D, respectively, in the order of increasing LSR velocities. Utilizing the velocity information of the four velocity components, we further analyzed the optically thicker CCS spectrum and the other hyperfine lines of the HC$_3$N emission by solving the radiative transfer to investigate how the four velocity components overlap along the line of sight. Results indicate that they are located in the order of A, B, C, and D from far side to near side to the observer, indicating that TMC-1 is shrinking, moving inward as a whole.