title: Vibrational signatures of diamondoid dimers with large intramolecular London dispersion interactions

abstract: We analyze the vibrational properties of diamondoid compounds via Raman spectroscopy. The compounds are interconnected with carbon-carbon single bonds that exhibit exceptionally large bond lengths up to 1.71 A. Attractive dispersion interactions caused by well-aligned intramolecular H--H contact surfaces determine the overall structures of the diamondoid derivatives. The strong van-der-Waals interactions alter the vibrational properties of the compounds in comparison to pristine diamondoids. Supported by dispersion-corrected density functional theory (DFT) computations, we analyze and explain their experimental Raman spectra with respect to unfunctionalized diamondoids. We find a new set of dispersion-induced vibrational modes comprising characteristic CH/CH$_{2}$ vibrations with exceptionally high energies. Further, we find structure-induced dimer modes that are indicative of the size of the dimers.


title: Joule-Thomson Cooling in Graphene

abstract: Electrons in graphene exhibit hydrodynamic behavior in a certain range of temperatures. We indicate that electric current in this regime can result in cooling of electron fluid due to the Joule-Thomson effect. Cooling occurs in the Fermi liquid regime, while for the Dirac fluid the effect results in heating.


title: Habitability of galaxies and application of merger trees in astrobiology

abstract: Galaxies represent the main form of organization of matter in our universe. Therefore, they are of obvious interest for the new multidisciplinary field of astrobiology. In particular, to study habitability of galaxies represents one of the main emerging challenges of theoretical and numerical astrobiology. Its theoretical underpinnings are, however, often confused and vague. Here we present a systematic attempt to list and categorize major causal factors playing a role in emergent habitability of galaxies. Furthermore, we argue that the methodology of cosmological merger trees is particularly useful in delineating what are systematic and lawful astrobiological properties of galaxies at present epoch vs. those which are product of historical contingency and, in particular, interaction with wider extragalactic environment. Employing merger trees extracted from cosmological N-body simulations as a new and promising research method for astrobiology has been pioneered by Stanway et al. (2018). We analyse the general issue of applicability of merger trees and present preliminary results on a set of trees extracted from the Illustris Project. In a sense, this approach is directly complementary to using large-scale cosmological simulations to study habitable zones of individual galaxies with high mass/spatial resolution; taken together, they usher a new era of synergy and synthesis between cosmology and astrobiology.


title: stdgpu: Efficient STL-like Data Structures on the GPU

abstract: Tremendous advances in parallel computing and graphics hardware opened up several novel real-time GPU applications in the fields of computer vision, computer graphics as well as augmented reality (AR) and virtual reality (VR). Although these applications built upon established open-source frameworks that provide highly optimized algorithms, they often come with custom self-written data structures to manage the underlying data. In this work, we present stdgpu, an open-source library which defines several generic GPU data structures for fast and reliable data management. Rather than abandoning previous established frameworks, our library aims to extend them, therefore bridging the gap between CPU and GPU computing. This way, it provides clean and familiar interfaces and integrates seamlessly into new as well as existing projects. We hope to foster further developments towards unified CPU and GPU computing and welcome contributions from the community.


title: Weighted L\'epingle inequality

abstract: We prove an estimate for weighted $p$-th moments of the pathwise $r$-variation of a martingale in terms of the $A_{p}$ characteristic of the weight. The novelty of the proof is that we avoid real interpolation techniques.


title: Summary of the plenary sessions at European Space Weather Week 15: space weather users and service providers working together now and in the future

abstract: During European Space Weather Week 15 two plenary sessions were held to review the status of operational space weather forecasting. The first session addressed the topic of working with space weather service providers now and in the future, the user perspective. The second session provided the service perspective, addressing experiences in forecasting development and operations. Presentations in both sessions provided an overview of international efforts on these topics, and panel discussion topics arising in the first session were used as a basis for panel discussion in the second session. Discussion topics included experiences during the September 2017 space weather events, cross domain impacts, timeliness of notifications, and provision of effective user education. Users highlighted that a 'severe' space weather event did not necessarily lead to severe impacts for each individual user across the different sectors. Service providers were generally confident that timely and reliable information could be provided during severe and extreme events, although stressed that more research and funding were required in this relatively new field of operational space weather forecasting, to ensure continuation of capabilities and further development of services, in particular improved forecasting targeting user needs. Here a summary of the sessions is provided followed by a commentary on the current state-of-the-art and potential next steps towards improvement of services.


title: Polyakov linear-sigma model in mean-field approximation and optimized perturbation theory

abstract: We compare results from the Polyakov linear-sigma model (PLSM) in optimized perturbation theory (OPT) with the mean-field approximation (MFA). At finite temperatures and chemical potentials, the chiral condensates and the decofinement order parameters, the thermodynamic pressure, the pseudo-critical temperatures, the subtracted condensates, the second- and high-order moments of various conserved charges (cumulants) obtained in MFA are compared with OPT and also confronted to available lattice QCD simulations. We conclude that when moving from lower- to higher-order moments of various quantum charges, OPT becomes more closer to QCD.


title: Path-Sensitive Atomic Commit: Local Coordination Avoidance for Distributed Transactions

abstract: Context: Concurrent objects with asynchronous messaging are an increasingly popular way to structure highly available, high performance, large-scale software systems. To ensure data-consistency and support synchronization between objects such systems often use distributed transactions with Two-Phase Locking (2PL) for concurrency control and Two-Phase commit (2PC) as atomic commitment protocol. Inquiry In highly available, high-throughput systems, such as large banking infrastructure, however, 2PL becomes a bottleneck when objects are highly contended, when an object is queuing a lot of messages because of locking. Approach: In this paper we introduce Path-Sensitive Atomic Commit (PSAC) to address this situation. We start from message handlers (or methods), which are decorated with pre- and post-conditions, describing their guards and effect. Knowledge: This allows the PSAC lock mechanism to check whether the effect of two incoming messages at the same time are independent, and to avoid locking if this is the case. As a result, more messages are directly accepted or rejected, and higher overall throughput is obtained. Grounding: We have implemented PSAC for a state machine-based DSL called Rebel, on top of a runtime based on the Akka actor framework. Our performance evaluation shows that PSAC exhibits the same scalability and latency characteristics as standard 2PL/2PC, and obtains up to 1.8 times median higher throughput in congested scenarios. Importance: We believe PSAC is a step towards enabling organizations to build scalable distributed applications, even if their consistency requirements are not embarrassingly parallel.


title: The emergence of one-dimensional channels in marginal-angle twisted bilayer graphene

abstract: We generalize the continuum model for Moir\'e structures made from twisted graphene layers, in order to include lattice relaxation and the formation of channels at very small (marginal) twist angles. We show that a precise description of the electronic structure at such small angles can be achieved by i) calculating first the relaxed atomic structure, ii) projecting the interlayer electronic hopping parameters using a suitable basis of Bloch states, and iii) increasing the number of harmonics in the continuum approximation to interlayer hopping. The results show a complex structure of quasi one dimensional states when a finite bias is applied.


title: Controlling the transport of active matter in disorderd lattices of asymmetrical obstacles

abstract: We investigate the transport of active matter system in the presence of a disordered square lattice of half-circles, which is built by removing a fraction of them from the initial full lattice. We consider no external field. We observe a spontaneous inversion of the net current, compared to the usual sense of such a current reported in previous papers, if the obstacle has the same diameter as the unit cell of the square lattice. If this diameter is smaller, there is no inversion. We show a calculation that reproduces our numerical results qualitatively, based on the argument that such effects are the results of the imbalance of particles traveling in the positive and the negative directions due to traps formed by the obstacles: for positive travelers the traps are the spaces between neighboring obstacles, while for negative travelers, they are the flat side of the obstacles.


title: Algorithms and Complexity for Functions on General Domains

abstract: Error bounds and complexity bounds in numerical analysis and information-based complexity are often proved for functions that are defined on very simple domains, such as a cube, a torus, or a sphere. We study optimal error bounds for the approximation or integration of functions defined on $D_d \subset R^d$ and only assume that $D_d$ is a bounded Lipschitz domain. Some results are even more general. We study three different concepts to measure the complexity: order of convergence, asymptotic constant, and explicit uniform bounds, i.e., bounds that hold for all $n$ (number of pieces of information) and all (normalized) domains. It is known for many problems that the order of convergence of optimal algorithms does not depend on the domain $D_d \subset R^d$. We present examples for which the following statements are true: 1) Also the asymptotic constant does not depend on the shape of $D_d$ or the imposed boundary values, it only depends on the volume of the domain. 2) There are explicit and uniform lower (or upper, respectively) bounds for the error that are only slightly smaller (or larger, respectively) than the asymptotic error bound.


title: Parallel Computation of Alpha Complex for Biomolecules

abstract: The alpha complex, a subset of the Delaunay triangulation, has been extensively used as the underlying representation for biomolecular structures. We propose a GPU-based parallel algorithm for the computation of the alpha complex, which exploits the knowledge of typical spatial distribution and sizes of atoms in a biomolecule. Unlike existing methods, this algorithm does not require prior construction of the Delaunay triangulation. The algorithm computes the alpha complex in two stages. The first stage proceeds in a bottom-up fashion and computes a superset of the edges, triangles, and tetrahedra belonging to the alpha complex. The false positives from this estimation stage are removed in a subsequent pruning stage to obtain the correct alpha complex. Computational experiments on several biomolecules demonstrate the superior performance of the algorithm, up to a factor of 50 when compared to existing methods that are optimized for biomolecules.


title: Toward an Attribute-Based Digital Identity Modeling for Privacy Preservation

abstract: Digital identity is a multidimensional, multidisciplinary, and a complex concept. As a result, it is difficult to apprehend. Many contributions have proposed definitions and representations of digital identity. However, lots of them are either very generic and difficult to implement or do not take into account privacy issues. Seeing how important privacy master is, it becomes a necessity to rethink digital identity in order to take into account privacy issues. So, this paper aims at proposing an attribute-based digital identity vision for privacy preservation purposes. The proposed model takes into account identity theft, security, and privacy.


title: Analysis of Intelligent Vehicular Relaying in Urban 5G+ Millimeter-Wave Cellular Deployments

abstract: The capability of smarter networked devices to dynamically select appropriate radio connectivity options is especially important in the emerging millimeter-wave (mmWave) systems to mitigate abrupt link blockage in complex environments. To enrich the levels of diversity, mobile mmWave relays can be employed for improved connection reliability. These are considered by 3GPP for on-demand densification on top of the static mmWave infrastructure. However, performance dynamics of mobile mmWave relaying is not nearly well explored, especially in realistic conditions, such as urban vehicular scenarios. In this paper, we develop a mathematical framework for the performance evaluation of mmWave vehicular relaying in a typical street deployment. We analyze and compare alternative connectivity strategies by quantifying the performance gains made available to smart devices in the presence of mmWave relays. We identify situations where the use of mmWave vehicular relaying is particularly beneficial. Our methodology and results can support further standardization and deployment of mmWave relaying in more intelligent 5G+ "all-mmWave" cellular networks.


title: How Sequence-to-Sequence Models Perceive Language Styles?

abstract: Style is ubiquitous in our daily language uses, while what is language style to learning machines? In this paper, by exploiting the second-order statistics of semantic vectors of different corpora, we present a novel perspective on this question via style matrix, i.e. the covariance matrix of semantic vectors, and explain for the first time how Sequence-to-Sequence models encode style information innately in its semantic vectors. As an application, we devise a learning-free text style transfer algorithm, which explicitly constructs a pair of transfer operators from the style matrices for style transfer. Moreover, our algorithm is also observed to be flexible enough to transfer out-of-domain sentences. Extensive experimental evidence justifies the informativeness of style matrix and the competitive performance of our proposed style transfer algorithm with the state-of-the-art methods.


title: Modeling of rigidity dependent CORSIKA simulations for GRAPES-3

abstract: The GRAPES-3 muon telescope located in Ooty, India records 4x10^9 muons daily. These muons are produced by interaction of primary cosmic rays (PCRs) in the atmosphere. The high statistics of muons enables GRAPES-3 to make precise measurement of various sun-induced phenomenon including coronal mass ejections (CME), Forbush decreases, geomagnetic storms (GMS) and atmosphere acceleration during the overhead passage of thunderclouds. However, the understanding and interpretation of observed data requires Monte Carlo (MC) simulation of PCRs and subsequent development of showers in the atmosphere. CORSIKA is a standard MC simulation code widely used for this purpose. However, these simulations are time consuming as large number of interactions and decays need to be taken into account at various stages of shower development from top of the atmosphere down to ground level. Therefore, computing resources become an important consideration particularly when billion of PCRs need to be simulated to match the high statistical accuracy of the data. During the GRAPES-3 simulations, it was observed that over 60% of simulated events don't really reach the Earth's atmosphere. The geomagnetic field (GMF) creates a threshold to PCRs called cutoff rigidity Rc, a direction dependent parameter below which PCRs can't reach the Earth's atmosphere. However, in CORSIKA there is no provision to set a direction dependent threshold. We have devised an efficient method that has taken into account of this Rc dependence. A reduction by a factor ~3 in simulation time and ~2 in output data size was achieved for GRAPES-3 simulations. This has been incorporated in CORSIKA version v75600 onwards. Detailed implementation of this along the potential benefits are discussed in this work.


title: Noncommutative partial convexity via $\Gamma$-convexity

abstract: Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a tuple of symmetric polynomials $\Gamma$, a free set is called $\Gamma$-convex if it closed under isometric conjugation by isometries intertwining $\Gamma$. We establish an Effros-Winkler Hahn-Banach separation theorem for $\Gamma$-convex sets; they are delineated by linear pencils in the coordinates of $\Gamma$ and the variables $x$.


title: Singular asymptotics for solutions of the inhomogeneous Painlev\'e II equation

abstract: We consider a family of solutions to the Painlev\'e II equation $$ u''(x)=2u^3(x)+xu(x)-\alpha \qquad \textrm{with } \a \in \mathbb{R} \cut \{0\}, $$ which have infinitely many poles on $(-\infty, 0)$. Using Deift-Zhou nonlinear steepest descent method for Riemann-Hilbert problems, we rigorously derive their singular asymptotics as $x \to -\infty$. In the meantime, we extend the existing asymptotic results when $x\to +\infty$ from $\a-\frac{1}{2} \notin \mathbb{Z}$ to any real $\a$. The connection formulas are also obtained.


title: The Search for Living Worlds and the Connection to Our Cosmic Origins

abstract: One of the most exciting scientific challenges is to detect Earth-like planets in the habitable zones of other stars in the galaxy and search for evidence of life. The ability to observe and characterise dozens of potentially Earth-like planets now lies within the realm of possibility due to rapid advances in key space and imaging technologies. The associated challenge of directly imaging very faint planets in orbit around nearby very bright stars is now well understood, with the key instrumentation also being perfected and developed. Such advances will allow us to develop large transformative telescopes, covering a broad UV-optical-IR spectral range, which can carry out the detailed research programmes designed to answer the questions we wish to answer: Carry out high contrast imaging surveys of nearby stars to search for planets within their habitable zones. Characterise the planets detected to determine masses and radii from photometric measurements. Through spectroscopic studies of their atmospheres and surfaces, search for habitability indicators and for signs of an environment that has been modified by the presence of life. Active studies of potential missions have been underway for a number of years. The latest of these is the Large UV Optical IR space telescope (LUVOIR), one of four flagship mission studies commissioned by NASA in support of the 2020 US Decadal Survey. LUVOIR, if selected, will be of interest to a wide scientific community and will be the only telescope capable of searching for and characterizing a sufficient number of exoEarths to provide a meaningful answer to the question - Are we alone?. This paper is a submission to the European Space Agency Voyage 2050 call for white papers outlining the case for an ESA contribution to a Large UVOIR telescope.


title: Uniqueness of singular convex hypersurfaces with lower bounded k-th mean curvature

abstract: We obtain a sharp characterization of the Euclidean ball among all convex bodies K whose boundary has a pointwise k-th mean curvature not smaller than a geometric constant at almost all normal points. This geometric constant depends only on the volume and the boundary area of K. We deduce this characterization from a new isoperimetric-type inequality for arbitrary convex bodies, for which the equality is achieved uniquely by balls. This second result is proved in a more general context of generalized mean-convex sets. Finally we positively answer a question left open in [FLW19] proving a further sharp characterization of the ball among all convex bodies that are of class $ \mathcal{C}^{1,1} outside a singular set, whose Hausdorff dimension is suitably bounded from above.


title: Integral cohomology of quotients via toric geometry

abstract: We describe the integral cohomology of $X/G$ where $X$ is a compact complex manifold and $G$ a cyclic group of prime order with only isolated fixed points. As a preliminary step, we investigate the integral cohomology of toric blow-ups of quotients of $\mathbb{C}^n$. We also provide necessary and sufficient conditions for the spectral sequence of equivariant cohomology of $(X,G)$ to degenerate at the second page. As an application, we compute the Beauville--Bogomolov form of $X/G$ when $X$ is a Hilbert scheme of points on a K3 surface and $G$ a symplectic automorphism group of orders 5 or 7.


title: $\boldsymbol{S}$-adic sequences. A bridge between dynamics, arithmetic, and geometry

abstract: A Sturmian sequence is an infinite nonperiodic string over two letters with minimal subword complexity. In two papers, the first written by Morse and Hedlund in 1940 and the second by Coven and Hedlund in 1973, a surprising correspondence was established between Sturmian sequences on one side and rotations by an irrational number on the unit circle on the other. In 1991 Arnoux and Rauzy observed that an induction process (invented by Rauzy in the late 1970s), related with the classical continued fraction algorithm, can be used to give a very elegant proof of this correspondence. This process, known as the Rauzy induction, extends naturally to interval exchange transformations (this is the setting in which it was first formalized). It has been conjectured since the early 1990s that these correspondences carry over to rotations on higher dimensional tori, generalized continued fraction algorithms, and so-called $S$-adic sequences generated by substitutions. The idea of working towards such a generalization is known as Rauzy's program. Recently Berth\'e, Steiner, and Thuswaldner made some progress on Rauzy's program and were indeed able to set up the conjectured generalization of the above correspondences. Using a generalization of Rauzy's induction process in which generalized continued fraction algorithms show up, they proved that under certain natural conditions an $S$-adic sequence gives rise to a dynamical system which is measurably conjugate to a rotation on a higher dimensional torus. Moreover, they established a metric theory which shows that counterexamples like the one constructed in 2000 by Cassaigne, Ferenczi, and Zamboni are rare. It is the aim of the present chapter to survey all these ideas and results.


title: Bayesian design and analysis of external pilot trials for complex interventions

abstract: External pilot trials of complex interventions are used to help determine if and how a confirmatory trial should be undertaken, providing estimates of parameters such as recruitment, retention and adherence rates. The decision to progress to the confirmatory trial is typically made by comparing these estimates to pre-specified thresholds known as progression criteria, although the statistical properties of such decision rules are rarely assessed. Such assessment is complicated by several methodological challenges, including the simultaneous evaluation of multiple endpoints, complex multi-level models, small sample sizes, and uncertainty in nuisance parameters. In response to these challenges, we describe a Bayesian approach to the design and analysis of external pilot trials. We show how progression decisions can be made by minimising the expected value of a loss function, defined over the whole parameter space to allow for preferences and trade-offs between multiple parameters to be articulated and used in the decision making process. The assessment of preferences is kept feasible by using a piecewise constant parameterisation of the loss function, the parameters of which are chosen at the design stage to lead to desirable operating characteristics. We describe a flexible, yet computationally intensive, nested Monte Carlo algorithm for estimating operating characteristics. The method is used to revisit the design of an external pilot trial of a complex intervention designed to increase the physical activity of care home residents.


title: Evolutionary Understanding of the Conditions Leading to Estimation of Behavioral Properties through System Dynamics

abstract: One of the basic frameworks in science views behavioral products as a process within a dynamic system. The mechanism might be seen as a representation of many instances of centralized control in real time. Many real systems, however, exhibit autonomy by denying statically treated mechanisms. This study addresses the issues related to the identification of dynamic systems and suggests how determining the basic principles of a collective structure may be key to understanding complex behavioral processes. A fundamental model is derived to assess the advantages of this perspective using a basic methodology. The connection between perspective and technique demonstrates certain aspects within their actual context, while also clearly including the framework of actual dynamic system identification.


title: Densely Connected Graph Convolutional Networks for Graph-to-Sequence Learning

abstract: We focus on graph-to-sequence learning, which can be framed as transducing graph structures to sequences for text generation. To capture structural information associated with graphs, we investigate the problem of encoding graphs using graph convolutional networks (GCNs). Unlike various existing approaches where shallow architectures were used for capturing local structural information only, we introduce a dense connection strategy, proposing a novel Densely Connected Graph Convolutional Networks (DCGCNs). Such a deep architecture is able to integrate both local and non-local features to learn a better structural representation of a graph. Our model outperforms the state-of-the-art neural models significantly on AMRto-text generation and syntax-based neural machine translation.


title: The determination capability of potential neutrinos from gravitational wave sources and contributions of extra detector at the future reactor neutrino experiment

abstract: After several gravitational wave transients were discovered since 2015, studying neutrino signals coincident with the gravitational wave events now becomes an important mission for the existing neutrino experiments. Unfortunately, no candidate neutrinos have been found yet. This article introduces a method to find the neutrino excess to search for the potential neutrinos from gravitational wave sources at the future reactor neutrino experiment (such as JUNO and RENO-50). According to our calculations and simulations, the non-detection of $\bar\nu_e$ associated with gravitational waves at the nominal JUNO experiment gives rise to the $\bar\nu_e$ signal sensitivity at 90$\%$ confidence level (C.L.), $\mu_{90}$ = 2.44. This corresponds to the range of neutrino fluence on the Earth around 6 $\times$ 10$^{10}$ cm$^{-2}$ to 4 $\times$ 10$^{10}$ cm$^{-2}$ with neutrino energy range from 1.8 MeV to 120 MeV at monochromatic energy spectrum assumption. Based on certain popular models which describe the gravitational wave sources, we calculate the corresponding fluence ($F_{UL}^{90}$), which is around 1 - 3 $\times$ 10$^{8}$ cm$^{-2}$ for both monochromatic energy spectrum assumption and Fermi-Dirac energy spectrum assumption. Then we convert $F_{UL}^{90}$ into the detectable distance ($D_\text{UL}^{90}$), about 1 - 3 Mpc for two assumptions, with the predicted luminosities in these known models. To further improve the sensitivity, we discuss the potential benefits from an extra detector, with different target masses and baselines. Particularly, there will be around 38\% sensitivity improvement and around 28$\%$ detectable distance increasing if the extra detector is designed to be identical to the JUNO detector. On the other hand, instead of building an extra detector, if we combine the JUNO experiment with the RENO-50 experiment, the sensitivity will also be significantly improved.


title: Multi-Domain Adaptation in Brain MRI through Paired Consistency and Adversarial Learning

abstract: Supervised learning algorithms trained on medical images will often fail to generalize across changes in acquisition parameters. Recent work in domain adaptation addresses this challenge and successfully leverages labeled data in a source domain to perform well on an unlabeled target domain. Inspired by recent work in semi-supervised learning we introduce a novel method to adapt from one source domain to $n$ target domains (as long as there is paired data covering all domains). Our multi-domain adaptation method utilises a consistency loss combined with adversarial learning. We provide results on white matter lesion hyperintensity segmentation from brain MRIs using the MICCAI 2017 challenge data as the source domain and two target domains. The proposed method significantly outperforms other domain adaptation baselines.


title: Nonlinear QED in an ultrastrong rotating electric field: Signatures of the momentum-dependent effective mass

abstract: The specific features of nonlinear pair production and radiation processes in an ultratsrong rotating electric field are investigated, taking into account that this field models the antinodes of counterpropagating laser beams. It is shown that a particle in a rotating electric field acquires an effective mass which depends on its momentum absolute value as well as on its direction with respect to the field plane. This phenomenon has an impact on the nonlinear Breit-Wheeler and nonlinear Compton processes. The spectra of the produced pairs in the first case, and the emitted photon in the second case, are shown to bear signatures of the effective mass. In the first case, the threshold for pair production by a $\gamma$-photon in the presence of this field varies according to the photon propagation direction. In the second case, varying the energy of the incoming electron allows for the measurement of the momentum dependence of the effective mass. Two corresponding experimental setups are suggested.


title: Pressure-induced enhancement of two-dimensionality in LaO1-xFxBi(Se/S)2 superconductors

abstract: Application of high pressure (HP) induces evolution from metallic to semi-metallic state in the layered superconducting LaO1-xFxBiSe2 phase, as concluded from ab initio calculations based on experimental P-dependent structural data. These changes in conduction properties are associated with a reported decrease in the superconducting transition temperature, Tc. However, further increase in pressure induces structural transformation in LaO1-xFxBiSe2 which results in a strong enhancement of its two-dimensionality with a related improvement in superconducting performance. In addition, the HP structural anisotropy induces a loss of long-range order correlations along the stacking direction of the LaO/F and BiSe2 layers yielding formation of stacking faults. Similar but even more pronounced structural transition was observed in the related LaO1-xFxBiS2 phase which is also accompanied by an increase in Tc. This demonstrates that enhancement of two-dimensionality in layered superconducting systems acts in favor of their superconducting performance.


title: Taub-NUT from the Dirac monopole

abstract: Writing the metric of an asymptotically flat spacetime in Bondi coordinates provides an elegant way of formulating the Einstein equation as a characteristic value problem. In this setting, we find that a specific class of asymptotically flat spacetimes, including stationary solutions, contains a Maxwell gauge field as free data. Choosing this gauge field to correspond to the Dirac monopole, we derive the Taub-NUT solution in Bondi coordinates.


title: Sympathetic Lie algebras and adjoint cohomology for Lie algebras

abstract: We study sympathetic Lie algebras, namely perfect and complete Lie algebras. They arise among other things in the study of adjoint Lie algebra cohomology. This is motivated by a conjecture of Pirashvili, which says that a non-trivial finite-dimensional complex perfect Lie algebra is semisimple if and only if its adjoint cohomology vanishes. We prove several results on sympathetic Lie algebras and the adjoint Lie algebra cohomology of Lie algebras in general, using the Hochschild-Serre formula. For certain semidirect products we obtain explicit results for the adjoint cohomology.


title: How to Win First-Order Safety Games

abstract: First-order (FO) transition systems have recently attracted attention for the verification of parametric systems such as network protocols, software-defined networks or multi-agent workflows like conference management systems. Desirable properties of these systems such as functional correctness or noninterference have conveniently been formulated as safety properties. In order to automatically synthesize strategies that enforce safety or noninterference, we generalize FO transition systems to FO safety games. We prove that the existence of a winning strategy of safety player in finite games is in fact, equivalent to second-order quantifier elimination. For the important case of FO games with monadic predicates only, we provide a complete classification into decidable and undecidable cases. For games with non-monadic predicates, we concentrate on universal first-order invariants, since these are sufficient to express a large class of noninterference properties. Based on general techniques for second-order quantifier elimination, we provide abstraction and refinement techniques in order to synthesize FO strategies that enforce safety. We demonstrate the usefulness of our approach by inferring nontrivial FO specifications in a leader election protocol as well as for paper assignment in a conference mangagement system to exclude unappreciated disclosure of reports.


title: Adaptive Embedding Pattern for Grayscale-Invariance Reversible Data Hiding

abstract: In traditional reversible data hiding (RDH) methods, researchers pay attention to enlarge the embedding capacity (EC) and to reduce the embedding distortion (ED). Recently, a completely novel RDH algorithm was developed to embed secret data into color image without changing the corresponding grayscale [1], which largely expands the applications of RDH. In [1], for color image, channel R and channel B are exploited to carry secret information, channel G is adjusted for balancing the modifications of channel R and channel B to keep the invariance of grayscale. However, we found that the embedding performance (EP) of that method is still unsatisfied and could be further enhanced. To improve the EP, an adaptive embedding pattern is introduced to enhance the competence of algorithm for selectively embedding different bits of secret data into pixels according to context information. Moreover, a novel two-level predictor is designed by uniting two normal predictors for reducing the ED for embedding more bits. Experimental results demonstrate that, compared to the previous method, our scheme could significantly enhance the image fidelity while keeping the grayscale invariant.


title: LaserTank is NP-complete

abstract: We show that the classical game LaserTank is $\mathrm{NP}$-complete, even when the tank movement is restricted to a single column and the only blocks appearing on the board are mirrors and solid blocks. We show this by reducing $3$-SAT instances to LaserTank puzzles.


title: Non-Trivial Topological Phase in the Sn_{1-x}In_xTe Superconductor

abstract: Whereas SnTe is a inverted band gap topological crystalline insulator, the topological phase of the alloy Sn_{1-x}In_xTe, a topological superconductor candidate, has not been clearly studied so far. Our calculations show that the Sn_{1-x}In_xTe band gap reduces by increasing the In content, becoming a metal for x>0.1. However, the band inversion at the fcc L point for both gapped and gapless phases has been maintained. Furthermore, the computed topological invariant shows a non-trivial phase with a mirror Chern number n_M = -2 for In concentrations of x=0.03125, x=0.125, and x=0.25. We also identify pairs of topologically protected states on the (001) surface of Sn_{1-x}In_xTe with +/- i mirror eigenvalues. The character of these topological states is affected by In dopant. As the In content x increases, the Dirac crossing point moves further away from the L point, and the Fermi velocity of the topological states increases significantly. Our results demonstrate a non-trivial topological phase for the superconductor Sn_{1-x}In_xTe, and provide a detailed description of the topological state properties.


title: N2D: (Not Too) Deep Clustering via Clustering the Local Manifold of an Autoencoded Embedding

abstract: Deep clustering has increasingly been demonstrating superiority over conventional shallow clustering algorithms. Deep clustering algorithms usually combine representation learning with deep neural networks to achieve this performance, typically optimizing a clustering and non-clustering loss. In such cases, an autoencoder is typically connected with a clustering network, and the final clustering is jointly learned by both the autoencoder and clustering network. Instead, we propose to learn an autoencoded embedding and then search this further for the underlying manifold. For simplicity, we then cluster this with a shallow clustering algorithm, rather than a deeper network. We study a number of local and global manifold learning methods on both the raw data and autoencoded embedding, concluding that UMAP in our framework is best able to find the most clusterable manifold in the embedding, suggesting local manifold learning on an autoencoded embedding is effective for discovering higher quality discovering clusters. We quantitatively show across a range of image and time-series datasets that our method has competitive performance against the latest deep clustering algorithms, including out-performing current state-of-the-art on several. We postulate that these results show a promising research direction for deep clustering. The code can be found at https://github.com/rymc/n2d


title: Simplify the Usage of Lexicon in Chinese NER

abstract: Recently, many works have tried to augment the performance of Chinese named entity recognition (NER) using word lexicons. As a representative, Lattice-LSTM (Zhang and Yang, 2018) has achieved new benchmark results on several public Chinese NER datasets. However, Lattice-LSTM has a complex model architecture. This limits its application in many industrial areas where real-time NER responses are needed. In this work, we propose a simple but effective method for incorporating the word lexicon into the character representations. This method avoids designing a complicated sequence modeling architecture, and for any neural NER model, it requires only subtle adjustment of the character representation layer to introduce the lexicon information. Experimental studies on four benchmark Chinese NER datasets show that our method achieves an inference speed up to 6.15 times faster than those of state-ofthe-art methods, along with a better performance. The experimental results also show that the proposed method can be easily incorporated with pre-trained models like BERT.


title: Quantum geometry from higher gauge theory

abstract: Higher gauge theories play a prominent role in the construction of 4d topological invariants and have been long ago proposed as a tool for 4d quantum gravity. The Yetter lattice model and its continuum counterpart, the BFCG theory, generalize BF theory to 2-gauge groups and -- when specialized to 4d and the Poincar\'e 2-group -- they provide an exactly solvable topologically-flat version of 4d general relativity. The 2-Poincar\'e Yetter model was conjectured to be equivalent to a state sum model of quantum flat spacetime developed by Baratin and Freidel after work by Korepanov (KBF model). This conjecture was motivated by the origin of the KBF model in the theory of 2-representations of the Poincar\'e 2-group. Its proof, however, has remained elusive due to the lack of a generalized Peter-Weyl theorem for 2-groups. In this work we prove this conjecture. Our proof avoids the Peter-Weyl theorem and rather leverages the geometrical content of the Yetter model. Key for the proof is the introduction of a kinematical boundary Hilbert space on which 1- and 2-Lorentz invariance is imposed. Geometrically this allows the identification of (quantum) tetrad variables and of the associated (quantum) Levi-Civita connection. States in this Hilbert space are labelled by quantum numbers that match the 2-group representation labels. Our results open exciting opportunities for the construction of new representations of quantum geometries. Compared to loop quantum gravity, the higher gauge theory framework provides a quantum representation of the ADM-Regge initial data, including an identification of the intrinsic and extrinsic curvature. Furthermore, it leads to a version of the diffeomorphism and Hamiltonian constraints that acts on the vertices of the discretization, thus providing a prospect for a quantum realization of the hypersurface deformation algebra in 4d.


title: Critical phenomena in gravitational collapse with two competing massless matter fields

abstract: In the gravitational collapse of matter beyond spherical symmetry, gravitational waves are necessarily present. On the other hand, gravitational waves can collapse to a black hole even without matter. One might therefore wonder whether the interaction and competition between the matter fields and gravitational waves affects critical phenomena at the threshold of black hole formation. As a toy model for this, we study type II critical collapse with two matter fields in spherical symmetry, namely a scalar field and a Yang-Mills field. On their own, both display discrete self-similarity (DSS) in type II critical collapse, and we can take either one of them as a toy model for gravitational waves. To our surprise, in numerical time evolutions we find that, for sufficiently good fine-tuning, the scalar field always dominates on sufficiently small scales. We explain our results by the conjectured existence of a "quasi-discretely self-similar" (QSS) solution shared by the two fields, equal to the known Yang-Mills critical solution at infinitely large scales and the known scalar field critical solution (the Choptuik solution) at infinitely small scales, with a gradual transition from one field to the other. This QSS solution itself has only one unstable mode, and so acts as the critical solution for any mixture of scalar field and Yang-Mills initial data.


title: AI-based Prediction of Independent Construction Safety Outcomes from Universal Attributes

abstract: This paper significantly improves on, and finishes to validate, an approach proposed in previous research in which safety outcomes were predicted from attributes with machine learning. Like in the original study, we use Natural Language Processing (NLP) to extract fundamental attributes from raw incident reports and machine learning models are trained to predict safety outcomes. The outcomes predicted here are injury severity, injury type, body part impacted, and incident type. However, unlike in the original study, safety outcomes were not extracted via NLP but were provided by independent human annotations, eliminating any potential source of artificial correlation between predictors and predictands. Results show that attributes are still highly predictive, confirming the validity of the original approach. Other improvements brought by the current study include the use of (1) a much larger dataset featuring more than 90,000 reports, (2) two new models, XGBoost and linear SVM (Support Vector Machines), (3) model stacking, (4) a more straightforward experimental setup with more appropriate performance metrics, and (5) an analysis of per-category attribute importance scores. Finally, the injury severity outcome is well predicted, which was not the case in the original study. This is a significant advancement.


title: Evolution of electronic and magnetic properties in a series of iridate double perovskites Pr$_{2-x}$Sr$_x$MgIrO$_6$ ($x$ = 0, 0.5, 1.0)

abstract: Spin-orbit coupling (SOC) plays a crucial role in magnetic and electronic properties of 5$d$ iridates. In this paper we have experimentally investigated the structural and physical properties of a series of Ir-based double perovskite compounds Pr$_{2-x}$Sr$_x$MgIrO$_6$ ($x$ = 0, 0.5, 1; hereafter abbreviated as PMIO, PSMIO1505, and PSMIO). Interestingly, these compounds have recently been proposed to undergo a transition from the spin-orbit-coupled Mott insulating phase at $x$ = 0 to the elusive half-metallic antiferromagnetic (HMAFM) state with Sr doping at $x$ = 1. However, our detailed magnetic and electrical measurements refute any kind of HMAFM possibility in either of the doped samples. In addition, we establish that within these Pr$_{2-x}$Sr$_x$MgIrO$_6$ double perovskites, changes in Ir-oxidation states (4+ for PMIO to 5+ for PSMIO via mixed 4+/5+ for PSMIO1505) lead to markedly different magnetic behaviors. While SOC on Ir is at the root of the observed insulating behaviors for all three samples, the correlated magnetic properties of these three compounds develop entirely due to the contribution from local Ir moments. Additionally, the magnetic Pr$^{3+}$ (4$f^2$) ions, instead of showing any kind of ordering, only contribute to the total paramagnetic moment. It is seen that the PrSrMgIrO$_6$ sample does not order down to 2 K despite antiferromagnetic interactions. But, the $d^5$ iridate Pr$_2$MgIrO$_6$ shows a sharp antiferromagnetic (AFM) transition at around 14 K, and in the mixed valent Pr$_{1.5}$Sr$_{0.5}$MgIrO$_6$ sample the AFM transition is shifted to a much lower temperature ($\sim$ 6 K) due to weakening of the AFM exchange.


title: Scaling Analysis of Anomalous Hall Resistivity in the Co$_{2}$TiAl Heusler Alloy

abstract: A comprehensive magnetotransport study including resistivity ($\rho_{xx}$) at various fields, isothermal magnetoresistance and Hall resistivity ($\rho_{xy}$) has been carried out at different temperatures on the Co$_{2}$TiAl Heusler alloy. Co$_{2}$TiAl alloy shows a paramagnetic (PM) to ferromagnetic (FM) transition below the curie temperature (T$_{C}$) $\sim$ 125 K. In the FM region, resistivity and magnetoresistance reveals a spin flip electron-magnon scattering and the Hall resistivity unveils the anomalous Hall resistivity ($\rho_{xy}^{AH}$). Scaling of anomalous Hall resistivity with resistivity establishes the extrinsic scattering process responsible for the anomalous hall resistivity; however Skew scattering is the dominant mechanism compared to the side-jump contribution. A one to one correspondence between magnetoresistance and side-jump contribution to anomalous Hall resistivity verifies the electron-magnon scattering being the source of side-jump contribution to the anomalous hall resistivity.


title: Diagram involutions and homogeneous Ricci-flat metrics

abstract: We introduce a combinatorial method to construct indefinite Ricci-flat metrics on nice nilpotent Lie groups. We prove that every nilpotent Lie group of dimension $\leq6$, every nice nilpotent Lie group of dimension $\leq7$ and every two-step nilpotent Lie group attached to a graph admits such a metric. We construct infinite families of Ricci-flat nilmanifolds associated to parabolic nilradicals in the simple Lie groups ${\rm SL}(n)$, ${\rm SO}(p,q)$, ${\rm Sp}(n,\mathbb R)$. Most of these metrics are shown not to be flat.


title: HOTVis: Higher-Order Time-Aware Visualisation of Dynamic Graphs

abstract: Network visualisation techniques are important tools for the exploratory analysis of complex systems. While these methods are regularly applied to visualise data on complex networks, we increasingly have access to time series data that can be modelled as temporal networks or dynamic graphs. In dynamic graphs, the temporal ordering of time-stamped edges determines the causal topology of a system, i.e., which nodes can, directly and indirectly, influence each other via a so-called causal path. This causal topology is crucial to understand dynamical processes, assess the role of nodes, or detect clusters. However, we lack graph drawing techniques that incorporate this information into static visualisations. Addressing this gap, we present a novel dynamic graph visualisation algorithm that utilises higher-order graphical models of causal paths in time series data to compute time-aware static graph visualisations. These visualisations combine the simplicity and interpretability of static graphs with a time-aware layout algorithm that highlights patterns in the causal topology that result from the temporal dynamics of edges.


title: Nulling at short wavelengths: theoretical performance constraints and a demonstration of faint companion detection inside the diffraction limit with a rotating-baseline interferometer

abstract: The Palomar Fiber Nuller (PFN) is a rotating-baseline nulling interferometer that enables high-accuracy near-infrared (NIR) nulling observations with full azimuth coverage. To achieve NIR null-depth accuracies of several x 10-4, the PFN uses a common-mode optical system to provide a high degree of symmetry, single-mode-fiber beam combination to reduce sensitivity to pointing and wavefront errors, extreme adaptive optics to stabilize the fiber coupling and the cross-aperture fringe phase, rapid signal calibration and camera readout to minimize temporal effects, and a statistical null-depth fluctuation analysis to relax the phase stabilization requirement. Here we describe the PFN final design and performance, and provide a demonstration of faint-companion detection by means of nulling-baseline rotation, as originally envisioned for space-based nulling interferometry. Specifically, the Ks-band null-depth rotation curve measured on the spectroscopic binary eta Peg reflects both a secondary star 1.08 +/- 0.06 x 10-2 as bright as the primary, and a null-depth contribution of 4.8 +/- 1.6 x 10-4 due to the size of the primary star. With a 30 mas separation at the time, eta Peg B was well inside both the telescope diffraction-limited beam diameter (88 mas) and typical coronagraphic inner working angles. Finally, we discuss potential improvements that can enable a number of small-angle nulling observations on larger telescopes.


title: The Partial Response Network: a neural network nomogram

abstract: Among interpretable machine learning methods, the class of Generalised Additive Neural Networks (GANNs) is referred to as Self-Explaining Neural Networks (SENN) because of the linear dependence on explicit functions of the inputs. In binary classification this shows the precise weight that each input contributes towards the logit. The nomogram is a graphical representation of these weights. We show that functions of individual and pairs of variables can be derived from a functional Analysis of Variance (ANOVA) representation, enabling an efficient feature selection to be carried by application of the logistic Lasso. This process infers the structure of GANNs which otherwise needs to be predefined. As this method is particularly suited for tabular data, it starts by fitting a generic flexible model, in this case a Multi-layer Perceptron (MLP) to which the ANOVA decomposition is applied. This has the further advantage that the resulting GANN can be replicated as a SENN, enabling further refinement of the univariate and bivariate component functions to take place. The component functions are partial responses hence the SENN is a partial response network. The Partial Response Network (PRN) is equally as transparent as a traditional logistic regression model, but capable of non-linear classification with comparable or superior performance to the original MLP. In other words, the PRN is a fully interpretable representation of the MLP, at the level of univariate and bivariate effects. The performance of the PRN is shown to be competitive for benchmark data, against state-of-the-art machine learning methods including GBM, SVM and Random Forests. It is also compared with spline-based Sparse Additive Models (SAM) showing that a semi-parametric representation of the GAM as a neural network can be as effective as the SAM though less constrained by the need to set spline nodes.


title: A Gentzen-style monadic translation of G\"odel's System T

abstract: We introduce a syntactic translation of Goedel's System T parametrized by a weak notion of a monad, and prove a corresponding fundamental theorem of logical relation. Our translation structurally corresponds to Gentzen's negative translation of classical logic. By instantiating the monad and the logical relation, we reveal the well-known properties and structures of T-definable functionals including majorizability, continuity and bar recursion. Our development has been formalized in the Agda proof assistant.


title: Congruences in Hermitian Jacobi and Hermitian modular forms

abstract: In this paper we first prove an isomorphism between certain spaces of Jacobi forms. Using this isomorphism, we study the mod $p$ theory of Hermitian Jacobi forms over $\mathbb{Q}(i)$. We then apply the mod $p$ theory of Hermitian Jacobi forms to characterize $U(p)$ congruences and to study Ramanujan-type congruences for Hermitian Jacobi forms and Hermitian modular forms of degree $2$ over $\mathbb{Q}(i)$.


title: A Reinforcement Learning approach for Quantum State Engineering

abstract: Machine learning (ML) has become an attractive tool in information processing, however few ML algorithms have been successfully applied in the quantum domain. We show here how classical reinforcement learning (RL) could be used as a tool for quantum state engineering (QSE). We employ a measurement based control for QSE where the action sequences are determined by the choice of the measurement basis and the reward through the fidelity of obtaining the target state. Our analysis clearly displays a learning feature in QSE, for example in preparing arbitrary two-qubit entangled states. It delivers successful action sequences, that generalise previously found human solutions from exact quantum dynamics. We provide a systematic algorithmic approach for using RL algorithms for quantum protocols that deal with non-trivial continuous state (parameter) space, and discuss on scaling of these approaches for preparation of arbitrarily large entangled (cluster) states.


title: Iterative Neural Networks with Bounded Weights

abstract: A recent analysis of a model of iterative neural network in Hilbert spaces established fundamental properties of such networks, such as existence of the fixed points sets, convergence analysis, and Lipschitz continuity. Building on these results, we show that under a single mild condition on the weights of the network, one is guaranteed to obtain a neural network converging to its unique fixed point. We provide a bound on the norm of this fixed point in terms of norms of weights and biases of the network. We also show why this model of a feed-forward neural network is not able to accomodate Hopfield networks under our assumption.


title: Tur\'{a}n Problems for Vertex-disjoint Cliques in Multi-partite Hypergraphs

abstract: For two $s$-uniform hypergraphs $H$ and $F$, the Tur\'{a}n number $ex_s(H,F)$ is the maximum number of edges in an $F$-free subgraph of $H$. Let $s, r, k, n_1, \ldots, n_r$ be integers satisfying $2\leq s\leq r$ and $n_1\leq n_2\leq \cdots\leq n_r$. De Silva, Heysse and Young determined $ex_2(K_{n_1, \ldots, n_r}, kK_2)$ and De Silva, Heysse, Kapilow, Schenfisch and Young determined $ex_2(K_{n_1, \ldots, n_r},kK_r)$. In this paper, as a generalization of these results, we consider three Tur\'{a}n-type problems for $k$ disjoint cliques in $r$-partite $s$-uniform hypergraphs. First, we consider a multi-partite version of the Erd\H{o}s matching conjecture and determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_s^{(s)})$ for $n_1\geq s^3k^2+sr$. Then, using a probabilistic argument, we determine $ex_s(K_{n_1, \ldots, n_r}^{(s)},kK_r^{(s)})$ for all $n_1\geq k$. Recently, Alon and Shikhelman determined asymptotically, for all $F$, the generalized Tur\'{a}n number $ex_2(K_n,K_s,F)$, which is the maximum number of copies of $K_s$ in an $F$-free graph on $n$ vertices. Here we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ with $n_1\geq k$ and $n_3=\cdots=n_r$. Utilizing a result on rainbow matchings due to Glebov, Sudakov and Szab\'{o}, we determine $ex_2(K_{n_1, \ldots, n_r}, K_s, kK_r)$ for all $n_1, \ldots, n_r$ with $n_4\geq r^r(k-1)k^{2r-2}$.


title: Cosmological Relaxation of Higgs Mass Before and After LHC and Naturalness

abstract: In post LHC era the old idea of cosmological vacuum relaxation of the Higgs mass that does not require any new physics in the vicinity of LHC energies acquires a new meaning. I discuss how this concept of naturanless differs from the standard one by 't Hooft. Here the observed value of the Higgs mass corresponds to a vacuum of infinite degeneracy and infinite entropy. Therefore, it represents and attractor point of cosmic inflationary evolution. This information is unavailable for a low energy observer living in one of such vacua. By not seeing any stabilizing physics at LHC such an observer is puzzled and creates an artificial problem of naturalness which in reality does not exist. We explain why this solution is fully compatible with the concept of Wilsonian decoupling.


title: One-proton and one-neutron knockout reactions from $N = Z = 28$ $^{56}$Ni to the $A = 55$ mirror pair $^{55}$Co and $^{55}$Ni

abstract: We present a high-resolution in-beam $\gamma$-ray spectroscopy study of excited states in the mirror nuclei $^{55}$Co and $^{55}$Ni following one-nucleon knockout from a projectile beam of $^{56}$Ni. The newly determined partial cross sections and the $\gamma$-decay properties of excited states provide a test of state-of-the-art nuclear structure models and probe mirror symmetry in unique ways. A mirror asymmetry for the partial cross sections leading to the two lowest $3/2^-$ states in the $A = 55$ mirror pair was identified as well as a significant difference in the $E1$ decays from the $1/2^+_1$ state to the same two $3/2^-$ states. The mirror asymmetry in the partial cross sections cannot be reconciled with the present shell-model picture or small mixing introduced in a two-state model. The observed mirror asymmetry in the $E1$ decay pattern, however, points at stronger mixing between the two lowest $3/2^-$ states in $^{55}$Co than in its mirror $^{55}$Ni.


title: FAIR and Open Computer Science Research Software

abstract: In computational science and in computer science, research software is a central asset for research. Computational science is the application of computer science and software engineering principles to solving scientific problems, whereas computer science is the study of computer hardware and software design. The Open Science agenda holds that science advances faster when we can build on existing results. Therefore, research software has to be reusable for advancing science. Thus, we need proper research software engineering for obtaining reusable and sustainable research software. This way, software engineering methods may improve research in other disciplines. However, research in software engineering and computer science itself will also benefit from reuse when research software is involved. For good scientific practice, the resulting research software should be open and adhere to the FAIR principles (findable, accessible, interoperable and repeatable) to allow repeatability, reproducibility, and reuse. Compared to research data, research software should be both archived for reproducibility and actively maintained for reusability. The FAIR data principles do not require openness, but research software should be open source software. Established open source software licenses provide sufficient licensing options, such that it should be the rare exception to keep research software closed. We review and analyze the current state in this area in order to give recommendations for making computer science research software FAIR and open. We observe that research software publishing practices in computer science and in computational science show significant differences.


title: Ballistic Supercavitating Nano Swimmer Driven by Single Gaussian Beam Optical Pushing and Pulling Forces

abstract: Directed high-speed motion of nanoscale objects in fluids (nano swimmers) can have a wide range of applications like molecular machinery, nano robotics, drug delivery, and material assembly. Here, we report ballistic plasmonic Au nanoparticle (NP) swimmers with unprecedented speeds realized by not only optical pushing but also pulling forces from a single Gaussian laser beam. Both the optical pulling and high swimmer speeds are made possible by a unique NP-laser interaction. The Au NP excited by the laser at the surface plasmon resonance peak can generate a nanoscale bubble, which can encapsulate the NP (i.e., supercavitation) to create a virtually frictionless environment for it to move, like the Leidenfrost effect. While optical forces are mostly positive, certain NP-bubble configurations can lead to negative optical forces that pull the NP to swims against the photon stream. The demonstrated ultra-fast, light-driven NP movement may benefit a wide range of nano- and bio-applications and provide new insights to the field of negative optical force.


title: Higher Connectivity of Tropicalizations

abstract: We show that the tropicalization of an irreducible d-dimensional variety over a field of characteristic 0 is (d-l)-connected through codimension one, where l is the dimension of the lineality space of the tropicalization. From this we obtain a higher connectivity result for skeleta of rational polytopes. We also prove a tropical analogue of the Bertini Theorem: the intersection of the tropicalization of an irreducible variety with a generic hyperplane is again the tropicalization of an irreducible variety.


title: High dimensional chaotic systems which behave like random walks in state space

abstract: By analysing an n-dimensional generalisation of Thomas's cyclically symmetric attractor we find that this chaotic dynamical system behaves like a random walk constrained onto the surface of a hypersphere. The growth of error is limited, with qualitatively different behaviour depending on a control parameter. For moderate values of the control parameter, linear growth of error is seen. For low values of the control parameter, the error is limited by the random walk behaviour. Finally, we link this to the predictability of homogeneous isotropic turbulence, which we find here also behaves like a constrained random walk.


title: AMON: TeV Gamma and Neutrino Coincidence Alerts from HAWC and IceCube subthreshold data

abstract: The era of multimessenger astrophysics has arrived with the simultaneous operation of large cosmic-ray, gamma-ray, neutrino, and gravitational-wave observatories. In just the past two years, an electromagnetic (EM) counterpart was detected for a gravitational wave event, and evidence for an EM counterpart of high energy neutrinos has been identified. These measurements have had a major impact on our view of the non-thermal universe, but understanding cosmic accelerators require a substantial increase in the number of multimessenger observations. The Astrophysical Multimessenger Observatory Network (AMON) is designed for high-statistics searches of sub-threshold transient alerts from gamma-ray and neutrino detectors. Within AMON, we have implemented a joint-likelihood analysis of TeV gamma-ray measurements from the High Altitude Water Cherenkov (HAWC) Observatory and neutrinos from the IceCube Neutrino Observatory. AMON is ready to produce real-time coincidence alerts using HAWC "hotspots" and IceCube astrophysical neutrino events. These alerts will be distributed to AMON follow-up partners with a median anticipated delay of six hours, which corresponds to a full transit in the field of view of HAWC. The alerts will have an angular resolution of ${\sim}0.2^{\circ}$, making them well-suited for deep electromagnetic follow-up observations.


title: Multiple-type Transmission Multiple-type Reception Framework on Molecular Communication

abstract: In this paper, we propose a new Multiple-Input Multiple-Output (MIMO) Molecular Communication (MC) system where multiple types of molecules are utilized for transmission and reception of information. We call the proposed framework as Multiple-type Transmission and Multiple-type Reception (MTMR). We also obtain the bit error rate (BER) of the system and an optimization problem is formulated to minimize BER by optimizing the drug dosage for designing drug release mechanism. As numerical analysis shows, the BER of MIMO-MTMR in MC is minimized to $\text{3.7}\times\text{10}^{\text{-3}}$ by considering the budget of molecules as 10000. Furthermore, MIMO-MTMR outperforms Single-type Transmission Single-type Reception MIMO from the BER performance point of view approximately 54% for time slot 10s.


title: Homophily on social networks changes evolutionary advantage in competitive information diffusion

abstract: Competitive information diffusion on large-scale social networks reveals fundamental characteristics of rumor contagions and has profound influence on public opinion formation. There has been growing interest in exploring dynamical mechanisms of the competing evolutions recently. Nevertheless, the impacts of population homophily, which determines powerful collective human behaviors, remains unclear. In this paper, we incorporate homophily effects into a modified competitive ignorant-spreader-ignorant (SIS) rumor diffusion model with generalized population preference. Using microscopic Markov chain approach, we first derive the phase diagram of competing diffusion results and examine how competitive information spreads and evolves on social networks. We then explore the detailed effects of homophily, which is modeled by a rewiring mechanism. Results show that homophily promotes the formation of divided "echo chambers" and protects the disadvantaged information from extinction, which further changes or even reverses the evolutionary advantage, i.e., the difference of final proportions of the competitive information. We highlight the conclusion that the reversals may happen only when the initially disadvantaged information has stronger transmission ability, owning diffusion advantage over the other one. Our framework provides profound insight into competing dynamics with population homophily, which may pave ways for further controlling misinformation and guiding public belief systems. Moreover, the reversing condition sheds light on designing effective competing strategies in many real scenarios.


title: Ten years of All-sky Neutrino Point-Source Searches

abstract: These proceedings present the results of point-like neutrino source searches using ~10 yrs of IceCube data from Apr.~6, 2008 to Jul.~10, 2018. We evaluate the significance of an astrophysical signal from a point-like source looking for an excess of clustered neutrino events with energies above ~1 TeV among the background of atmospheric muons and neutrinos. We perform a full sky scan, a search based on a selected source catalog, and a catalog population study. The most significant location in the Northern hemisphere from the full-sky scan is compatible with the Seyfert galaxy NGC 1068. This object had also been identified in the source catalog search which finds a 2.9 $\sigma$ excess after accounting for statistical trials. The combination of this result along with excesses observed at the coordinates of three other sources, including TXS 0506+056, suggests that collectively correlations with sources in the Northern catalog are inconsistent with background at the level of 3.3 $\sigma$. These results motivate further interest in such point-like sources which should become observable or ruled out after accumulation of more data or with future detectors.


title: The Next 700 Policy Miners: A Universal Method for Building Policy Miners

abstract: A myriad of access control policy languages have been and continue to be proposed. The design of policy miners for each such language is a challenging task that has required specialized machine learning and combinatorial algorithms. We present an alternative method, universal access control policy mining (Unicorn). We show how this method streamlines the design of policy miners for a wide variety of policy languages including ABAC, RBAC, RBAC with user-attribute constraints, RBAC with spatio-temporal constraints, and an expressive fragment of XACML. For the latter two, there were no known policy miners until now. To design a policy miner using Unicorn, one needs a policy language and a metric quantifying how well a policy fits an assignment of permissions to users. From these, one builds the policy miner as a search algorithm that computes a policy that best fits the given permission assignment. We experimentally evaluate the policy miners built with Unicorn on logs from Amazon and access control matrices from other companies. Despite the genericity of our method, our policy miners are competitive with and sometimes even better than specialized state-of-the-art policy miners. The true positive rates of policies we mined differ by only 5% from the policies mined by the state of the art and the false positive rates are always below 5%. In the case of ABAC, it even outperforms the state of the art.


title: Stability Results for the Continuity Equation

abstract: We provide a thorough study of stability of the 1-D continuity equation, which models many physical conservation laws. In our system-theoretic perspective, the velocity is considered to be an input. An additional input appears in the boundary condition (boundary disturbance). Stability estimates are provided in all Lp state norms with p>1, as well as in the sup norm. However, in our Input-to-State Stability estimates, the gain and overshoot coefficients depend on the velocity. Moreover, the logarithmic norm of the state appears instead of the usual norm. The obtained results can be used in the stability analysis of larger models that contain the continuity equation. In particular, it is shown that the obtained results can be used in a straightforward way for the stability analysis of non-local, nonlinear manufacturing models under feedback control.


title: Turbulent coherent structures and early life below the Kolmogorov scale

abstract: A great number of biological organisms live in aqueous environments. Major evolutionary transitions, including the emergence of life itself, likely occurred in such environments. While the chemical aspects of the role of water in biology are well-studied, the effects of water's physical characteristics on evolutionary events, such as the control of population structure via its rich transport properties, are less clear. Evolutionary transitions such as the emergence of the first cells and of multicellularity, require cooperation among groups of individuals. However, evolution of cooperation faces challenges in unstructured "well-mixed" populations, as parasites quickly overwhelm cooperators. Models that assume population structure to promote cooperation envision such structure to arise from spatial "lattice" models (e.g. surface bound individuals) or compartmentalization models, often realized as protocells. Here we study the effect of turbulent motions in spatial models, and propose that coherent structures, i.e. flow patterns which trap fluid and arise naturally in turbulent flows, may serve many of the properties associated with compartments--collocalization, division, and merging--and thought to play a key role in the origins of life and other evolutionary transitions. These results suggest that group selection models may be applicable with fewer physical and chemical constraints than previously thought, and apply much more widely in aqueous environments.


title: Regularizing CNN Transfer Learning with Randomised Regression

abstract: This paper is about regularizing deep convolutional networks (CNNs) based on an adaptive framework for transfer learning with limited training data in the target domain. Recent advances of CNN regularization in this context are commonly due to the use of additional regularization objectives. They guide the training away from the target task using some forms of concrete tasks. Unlike those related approaches, we suggest that an objective without a concrete goal can still serve well as a regularized. In particular, we demonstrate Pseudo-task Regularization (PtR) which dynamically regularizes a network by simply attempting to regress image representations to pseudo-regression targets during fine-tuning. That is, a CNN is efficiently regularized without additional resources of data or prior domain expertise. In sum, the proposed PtR provides: a) an alternative for network regularization without dependence on the design of concrete regularization objectives or extra annotations; b) a dynamically adjusted and maintained strength of regularization effect by balancing the gradient norms between objectives on-line. Through numerous experiments, surprisingly, the improvements on classification accuracy by PtR are shown greater or on a par to the recent state-of-the-art methods.


title: A Theorem of Roe and Strichartz on homogeneous trees

abstract: In 1980, J. Roe proved that if $\{f_{k}\}_{k\in\mathbb{Z}}$ is doubly infinite sequence of functions in $\mathbb{R}$ which is uniformly bounded and satisfies $(df_{k}/dx)=f_{k+1}$ for all $k\in\mathbb{Z}$ then $f_{0}(x)=a\sin(x+\theta)$ for some $a,\theta\in\mathbb{R}$. Later in 1993 Strichartz suitably extended the above result to $\mathbb{R}^n$. In this article we prove a version of their result for homogeneous trees.


title: Reentrant Pinning, Dynamic Row Reduction, and Skyrmion Accumulation for Driven Skyrmions in Inhomogeneous Pinning Arrays

abstract: We examine the dynamics of skyrmions in systems with a region of strong pinning coexisting with a pin free region, where the equilibrium state has a uniform skyrmion density. Under an applied drive, skyrmions accumulate in the pin free region along the edge of the pinned region due to the skyrmion Hall effect. As the drive increases, a series of dynamical structural transitions occur in the flowing skyrmion lattice similar to those observed in the compression dynamics of crystals. These transitions correspond to reductions in the number of flowing rows of skyrmions due to the collective motion of the skyrmions into the pinned region, and they are accompanied by a series of steps in the velocity force curves. When the number of pinning sites is sufficiently large, a drive induced pinning effect can occur when the skyrmion Hall effect forces all of the skyrmions to enter the strongly pinned region. This reentrant pinning effect becomes more pronounced for increasing intrinsic skyrmion Hall angle.


title: On the union of essentially distinct $\delta$-tubes

abstract: We say two $\delta$-tubes (dimension $\delta\times\cdots\times\delta\times1$) in $\mathbb{R}^n$ are essentially distinct if the measure of their intersection is smaller than a half of a single $\delta$-tube. For a collection of essentially distinct $\delta$-tubes, we give the asymptotically sharp lower bound for the measure of their union. Then we characterize all sharp examples. We will give a new measurement of convexity based on the X-ray transform.


title: An algorithm for real and complex rational minimax approximation

abstract: Rational minimax approximation of real functions on real intervals is an established topic, but when it comes to complex functions or domains, there appear to be no algorithms currently in use. Such a method is introduced here, the {\em AAA-Lawson algorithm,} available in Chebfun. The new algorithm solves a wide range of problems on arbitrary domains in a fraction of a second of laptop time by a procedure consisting of two steps. First, the standard AAA algorithm is run to obtain a near-best approximation and a set of support points for a barycentric representation of the rational approximant. Then a "Lawson phase" of iteratively reweighted least-squares adjustment of the barycentric coefficients is carried out to improve the approximation to minimax.


title: Effects of uniform acceleration on quantum states and vacuum entanglement in relativistic quantum information

abstract: In this thesis we focus on the influence of uniform acceleration on quantum states and their properties, as well as on quantum entanglement contained in the vacuum. First, we analyze a quantum clock measuring time in terms of the decay of an unstable particle. We compare the rate of ticking of a stationary clock to the one of a uniformly accelerating clock. We discover that there exists a deviation from what the discrepancy between those rates is predicted to be by special relativity. In a further part of this thesis we focus on the family of two-mode Gaussian states of two localized modes of a given quantum field. A general framework is developed for investigating the properties of such states, when observed by two uniformly accelerated observers, having access to another pair of localized modes. In particular, we focus on the vacuum state and examine the amount of quantum entanglement perceived by the observers. The framework is developed for three cases: the quantum scalar field in 1+1 and 3+1 dimensions and the Dirac spinor field in 1+1 dimensions. We find that in general more entanglement is seen when the accelerations of the observers increase and when the size of the modes of the observers and their central frequencies decrease. Furthermore, we extend our attention also to tripartite entanglement and investigate its extraction from the quantum vacuum by three particle detectors in a cavity, interacting with a quantum field for a finite time. Detailed maps of amounts of tripartite and bipartite entanglement extracted by the detectors, are produced and compared between two types of boundary conditions. It is found vacuum entanglement is most easily extracted in the case of periodic boundary conditions and it is easier to extract tripartite than bipartite entanglement.


title: Exploring Properties of Icosoku by Constraint Satisfaction Approach

abstract: Icosoku is a challenging and interesting puzzle that exhibits highly symmetrical and combinatorial nature. In this paper, we pose the questions derived from the puzzle, but with more difficulty and generality. In addition, we also present a constraint programming model for the proposed questions, which can provide the answers to our first two questions. The purpose of this paper is to share our preliminary result and problems to encourage researchers in both group theory and constraint communities to consider this topic further.


title: Astrophysics and cosmology with a decihertz gravitational-wave detector: TianGO

abstract: We present the astrophysical science case for a space-based, decihertz gravitational-wave (GW) detector. We particularly highlight an ability to infer a source's sky location, both when combined with a network of ground-based detectors to form a long triangulation baseline, and by itself for the early warning of merger events. Such an accurate location measurement is the key for using GW signals as standard sirens for constraining the Hubble constant. This kind of detector also opens up the possibility to test type Ia supernovae progenitor hypotheses by constraining the merger rates of white dwarf binaries with both super- and sub-Chandrasekhar masses separately. We will discuss other scientific outcomes that can be delivered, including the constraint of structure formation in the early Universe, the search for intermediate-mass black holes, the precise determination of black hole spins, the probe of binary systems' orbital eccentricity evolution, and the detection of tertiary masses around merging binaries.


title: Non-uniqueness of weak solutions to 2D hypoviscous Navier-Stokes equations

abstract: Through an adaption of the convex integration scheme in the two dimensional case, the non-uniqueness of $C^0_t L^2_x$ weak solutions is presented for the two-dimensional hypoviscous incompressible Navier-Stokes equations.


title: Bidirectional Context-Aware Hierarchical Attention Network for Document Understanding

abstract: The Hierarchical Attention Network (HAN) has made great strides, but it suffers a major limitation: at level 1, each sentence is encoded in complete isolation. In this work, we propose and compare several modifications of HAN in which the sentence encoder is able to make context-aware attentional decisions (CAHAN). Furthermore, we propose a bidirectional document encoder that processes the document forwards and backwards, using the preceding and following sentences as context. Experiments on three large-scale sentiment and topic classification datasets show that the bidirectional version of CAHAN outperforms HAN everywhere, with only a modest increase in computation time. While results are promising, we expect the superiority of CAHAN to be even more evident on tasks requiring a deeper understanding of the input documents, such as abstractive summarization. Code is publicly available.


title: The one-dimensional Kardar-Parisi-Zhang and Kuramoto-Sivashinsky universality class: limit distributions

abstract: Tracy-Widom and Baik-Rains distributions appear as universal limit distributions for height fluctuations in the one-dimensional Kardar-Parisi-Zhang (KPZ) \textit{stochastic} partial differential equation (PDE). We obtain the same universal distributions in the spatiotemporally chaotic, nonequilibrium, but statistically steady state (NESS) of the one-dimensional Kuramoto-Sivashinsky (KS) \textit{deterministic} PDE, by carrying out extensive pseudospectral direct numerical simulations to obtain the spatiotemporal evolution of the KS height profile $h(x,t)$ for different initial conditions. We establish, therefore, that the statistical properties of the 1D KS PDE in this state are in the 1D KPZ universality class.


title: Variational Fusion for Multimodal Sentiment Analysis

abstract: Multimodal fusion is considered a key step in multimodal tasks such as sentiment analysis, emotion detection, question answering, and others. Most of the recent work on multimodal fusion does not guarantee the fidelity of the multimodal representation with respect to the unimodal representations. In this paper, we propose a variational autoencoder-based approach for modality fusion that minimizes information loss between unimodal and multimodal representations. We empirically show that this method outperforms the state-of-the-art methods by a significant margin on several popular datasets.


title: Shape Optimization of Rotating Electric Machines using Isogeometric Analysis and Harmonic Stator-Rotor Coupling

abstract: This work deals with shape optimization of electric machines using isogeometric analysis. Isogeometric analysis is particularly well suited for shape optimization as it allows to easily modify the geometry without remeshing the domain. A 6-pole permanent magnet synchronous machine is modeled using a multipatch isogeometric approach and rotation of the machine is realized by modeling the stator and rotor domain separately and coupling them at the interface using harmonic basis functions. Shape optimization is applied to the model minimizing the total harmonic distortion of the electromotive force as a goal functional.


title: Safe global optimization of expensive noisy black-box functions in the $\delta$-Lipschitz framework

abstract: In this paper, the problem of safe global maximization (it should not be confused with robust optimization) of expensive noisy black-box functions satisfying the Lipschitz condition is considered. The notion "safe" means that the objective function $f(x)$ during optimization should not violate a "safety" threshold, for instance, a certain a priori given value $h$ in a maximization problem. Thus, any new function evaluation (possibly corrupted by noise) must be performed at "safe points" only, namely, at points $y$ for which it is known that the objective function $f(y) > h$. The main difficulty here consists in the fact that the used optimization algorithm should ensure that the safety constraint will be satisfied at a point $y$ before evaluation of $f(y)$ will be executed. Thus, it is required both to determine the safe region $\Omega$ within the search domain~$D$ and to find the global maximum within $\Omega$. An additional difficulty consists in the fact that these problems should be solved in the presence of the noise. This paper starts with a theoretical study of the problem and it is shown that even though the objective function $f(x)$ satisfies the Lipschitz condition, traditional Lipschitz minorants and majorants cannot be used due to the presence of the noise. Then, a $\delta$-Lipschitz framework and two algorithms using it are proposed to solve the safe global maximization problem. The first method determines the safe area within the search domain and the second one executes the global maximization over the found safe region. For both methods a number of theoretical results related to their functioning and convergence is established. Finally, numerical experiments confirming the reliability of the proposed procedures are performed.


title: Conjugated equilibrium solutions for the $2$--body problem in the two dimensional sphere $\mathbb{M}^2_R$ for equal masses

abstract: We study here the behaviour of solutions for conjugated (antipodal) points in the $2$-body problem on the two-dimensional sphere $\mathbb{M}^2_R$. We use a slight modification of the classical potential used commonly in \cite{Borisov}, \cite{Diacu} and \cite{Perez}, which avoids the conjugated (antipodal) points as singularities and permit us obtain solutions through these points, as limit of relative equilibria. Such limit solutions behave as relative equilibria because are invariant under Killing vector fields in the Lie Algebra ${\rm su} (2)$ and are geodesic curves.


title: Model-based Lookahead Reinforcement Learning

abstract: Model-based Reinforcement Learning (MBRL) allows data-efficient learning which is required in real world applications such as robotics. However, despite the impressive data-efficiency, MBRL does not achieve the final performance of state-of-the-art Model-free Reinforcement Learning (MFRL) methods. We leverage the strengths of both realms and propose an approach that obtains high performance with a small amount of data. In particular, we combine MFRL and Model Predictive Control (MPC). While MFRL's strength in exploration allows us to train a better forward dynamics model for MPC, MPC improves the performance of the MFRL policy by sampling-based planning. The experimental results in standard continuous control benchmarks show that our approach can achieve MFRL`s level of performance while being as data-efficient as MBRL.


title: Towards automated symptoms assessment in mental health

abstract: Activity and motion analysis has the potential to be used as a diagnostic tool for mental disorders. However, to-date, little work has been performed in turning stratification measures of activity into useful symptom markers. The research presented in this thesis has focused on the identification of objective activity and behaviour metrics that could be useful for the analysis of mental health symptoms in the above mentioned dimensions. Particular attention is given to the analysis of objective differences between disorders, as well as identification of clinical episodes of mania and depression in bipolar patients, and deterioration in borderline personality disorder patients. A principled framework is proposed for mHealth monitoring of psychiatric patients, based on measurable changes in behaviour, represented in physical activity time series, collected via mobile and wearable devices. The framework defines methods for direct computational analysis of symptoms in disorganisation and psychomotor dimensions, as well as measures for indirect assessment of mood, using patterns of physical activity, sleep and circadian rhythms. The approach of computational behaviour analysis, proposed in this thesis, has the potential for early identification of clinical deterioration in ambulatory patients, and allows for the specification of distinct and measurable behavioural phenotypes, thus enabling better understanding and treatment of mental disorders.


title: A Recreational Application of Two Integer Sequences and the Generalized Repetitious Number Puzzle

abstract: In this article, we give a particular recreational application of the sequence A000533 and A261544 in "The On-line Encyclopedia of Integer Sequences" (OEIS). The recreational application provides a direct extension to "The Repetitious Number" puzzle of Martin Gardner contained in The Second Scientific American Book of Mathematical Puzzles and Diversions published in 1961. We then provide a generalization to the repetitious number puzzle and give a related puzzle as an illustrative example. Finally, as a consequence of the generalization, we define a family of sequence in which the sequences A000533 and A261544 belong.


title: Automatically Identifying Comparator Groups on Twitter for Digital Epidemiology of Pregnancy Outcomes

abstract: Despite the prevalence of adverse pregnancy outcomes such as miscarriage, stillbirth, birth defects, and preterm birth, their causes are largely unknown. We seek to advance the use of social media for observational studies of pregnancy outcomes by developing a natural language processing pipeline for automatically identifying users from which to select comparator groups on Twitter. We annotated 2361 tweets by users who have announced their pregnancy on Twitter, which were used to train and evaluate supervised machine learning algorithms as a basis for automatically detecting women who have reported that their pregnancy had reached term and their baby was born at a normal weight. Upon further processing the tweet-level predictions of a majority voting-based ensemble classifier, the pipeline achieved a user-level F1-score of 0.933, with a precision of 0.947 and a recall of 0.920. Our pipeline will be deployed to identify large comparator groups for studying pregnancy outcomes on Twitter.


title: Optimality properties of Galerkin and Petrov-Galerkin methods for linear matrix equations

abstract: Galerkin and Petrov-Galerkin methods are some of the most successful solution procedures in numerical analysis. Their popularity is mainly due to the optimality properties of their approximate solution. We show that these features carry over to the (Petrov-)Galerkin methods applied for the solution of linear matrix equations. Some novel considerations about the use of Galerkin and Petrov-Galerkin schemes in the numerical treatment of general linear matrix equations are expounded and the use of constrained minimization techniques in the Petrov-Galerkin framework is proposed.


title: Multiple solutions for the equilibrium populations in BCS superconductors

abstract: It was recently shown that the BCS formalism leads to several solutions for the energy gap and the equilibrium quasiparticle distribution, with a phase transition temperature which depends on the position of the chemical potential within the attraction band (the attraction band AB is defined as the single-particle energy interval in which the pairing interaction is manifested). Moreover, in some cases, the phase transition may be of the first, not of the second order. Here I will find two sets of solutions for any temperature below the phase transition temperature. I will also show that, when the AB is symmetric with respect to the chemical potential (the textbook BCS problem) there are still two solutions, with different energy gaps: one solution is the typical (textbook) BCS solution, whereas the other one has a smaller energy gap and non-zero quasiparticle populations down to zero temperature. At zero temperature, the energy gap corresponding to the second solution is one third of the typical BCS solution.


title: A Fluctuation Theory of Topological Susceptibility

abstract: We investigate the long-range statistical correlations, whereby discuss the nature of the undermining interacting/ noninteracting domains and associated phase transitions under variations of the quark mass and the mass scale that corresponds to renormalized pion masses and the dimensions of an ensemble of slab sub-volumes of an arbitrary simulated lattice. The purpose of this paper is to compute the system's stability and its phase structures when it's model parameters vary infinitesimally. In particular, we focus on the stability properties and phases of an arbitrary (2+1) flavor QCD configuration under fluctuations of its parameters. In order to investigate the nature of statistical and systematic errors, and the presence of noises in the system, we explore fluctuation theory equivalences of the slab sub-volume method of computing the topological susceptibility with its low energy ChPT counterpart. Hereby, we find that the ChPT configurations always correspond to a non-interacting statistical basis in the space of the quark mass and the mass scale that corresponds to renormalized pion masses. The second system as an ensemble of finite slab sub-volumes of a simulated lattice turns out to be generically interacting under fluctuations of the slab dimensions. However, it yields an ill-defined degenerate system in the infinitesimal limit of slab parameters. It is worth mentioning that implications of the intrinsic geometric analysis are well suited towards the modeling based understanding of the gluonic topological charge density fluctuations, quark mass dependence and long auto-correlation of the global topology. Finally, we discuss the stability properties of sub-volume simulated lattice improvements towards the understanding of QCD vacua, the behavior of UV divergences, finite-volume effects, statistical precision, simultaneous measurements, and associated quantum channel measurements.


title: Multiparticle Dynamics on the Triangular Lattice in Interacting Media

abstract: We study the motion of $N$ particles moving on a two-dimensional triangular lattice, whose sites are occupied by either left or right rotators. These rotators deterministically scatter the particles to the left (right), changing orientation from left to right (right to left) after scattering a particle. This interplay between the scatterers and the particle's motion causes a single particle to propagate in one direction away from its initial position. For multiple particles we show that the particles' dynamics can be vastly different. Specifically, we show that a particle can become entangled with another particle potentially causing the particle's trajectory to become periodic and that this can happen when the particles have the same or differing speeds. We describe two classes of periodic orbits based on the particles' initial velocities. We also describe how a particle with an unbounded past trajectory implies that some, possibly other, particle(s) has an unbounded future trajectory in this and other related multiparticle models.


title: Probabilistic Saturations and Alt's Problem

abstract: Alt's problem, formulated in 1923, is to count the number of four-bar linkages whose coupler curve interpolates nine general points in the plane. This problem can be phrased as counting the number of solutions to a system of polynomial equations which was first solved numerically using homotopy continuation by Wampler, Morgan, and Sommese in 1992. Since there is still not a proof that all solutions were obtained, we consider upper bounds for Alt's problem by counting the number of solutions outside of the base locus to a system arising as the general linear combination of polynomials. In particular, we derive effective symbolic and numeric methods for studying such systems using probabilistic saturations that can be employed using both finite fields and floating-point computations. We give bounds on the size of finite field required to achieve a desired level of certainty. These methods can also be applied to many other problems where similar systems arise such as computing the volumes of Newton-Okounkov bodies and computing intersection theoretic invariants including Euler characteristics, Chern classes, and Segre classes.


title: Double-Coupling Learning for Multi-Task Data Stream Classification

abstract: Data stream classification methods demonstrate promising performance on a single data stream by exploring the cohesion in the data stream. However, multiple data streams that involve several correlated data streams are common in many practical scenarios, which can be viewed as multi-task data streams. Instead of handling them separately, it is beneficial to consider the correlations among the multi-task data streams for data stream modeling tasks. In this regard, a novel classification method called double-coupling support vector machines (DC-SVM), is proposed for classifying them simultaneously. DC-SVM considers the external correlations between multiple data streams, while handling the internal relationship within the individual data stream. Experimental results on artificial and real-world multi-task data streams demonstrate that the proposed method outperforms traditional data stream classification methods.