title: Frustrated spin-$\frac{1}{2}$ Heisenberg magnet on a square-lattice bilayer: High-order study of the quantum critical behavior of the $J_{1}$--$J_{2}$--$J_{1}^{\perp}$ model

abstract: The zero-temperature phase diagram of the spin-$\frac{1}{2}$ $J_{1}$--$J_{2}$--$J_{1}^{\perp}$ model on an $AA$-stacked square-lattice bilayer is studied using the coupled cluster method implemented to very high orders. Both nearest-neighbor (NN) and frustrating next-nearest-neighbor Heisenberg exchange interactions, of strengths $J_{1}>0$ and $J_{2} \equiv \kappa J_{1}>0$, respectively, are included in each layer. The two layers are coupled via a NN interlayer Heisenberg exchange interaction with a strength $J_{1}^{\perp} \equiv \delta J_{1}$. The magnetic order parameter $M$ (viz., the sublattice magnetization) is calculated directly in the thermodynamic (infinite-lattice) limit for the two cases when both layers have antiferromagnetic ordering of either the N\'{e}el or the striped kind, and with the layers coupled so that NN spins between them are either parallel (when $\delta < 0$) or antiparallel (when $\delta > 0$) to one another. Calculations are performed at $n$th order in a well-defined sequence of approximations, which exactly preserve both the Goldstone linked cluster theorem and the Hellmann-Feynman theorem, with $n \leq 10$. The sole approximation made is to extrapolate such sequences of $n$th-order results for $M$ to the exact limit, $n \to \infty$. By thus locating the points where $M$ vanishes, we calculate the full phase boundaries of the two collinear AFM phases in the $\kappa$--$\delta$ half-plane with $\kappa > 0$. In particular, we provide the accurate estimate, ($\kappa \approx 0.547,\delta \approx -0.45$), for the position of the quantum triple point (QTP) in the region $\delta < 0$. We also show that there is no counterpart of such a QTP in the region $\delta > 0$, where the two quasiclassical phase boundaries show instead an ``avoided crossing'' behavior, such that the entire region that contains the nonclassical paramagnetic phases is singly connected.


title: Observability of Forming Planets and their Circumplanetary Disks II. -- SEDs and Near-Infrared Fluxes

abstract: Detection of forming planets means detection of the circumplanetary disk (CPD) in reality, since the planet is still surrounded by a disk at this evolutionary stage. Yet, no comprehensive CPD modeling was done in near-infrared wavelengths, where high contrast imaging is a powerful tool to detect these objects. We combined 3D radiative hydrodynamic simulations of various embedded planets with RADMC-3D radiative transfer post-processing that includes scattering of photons on dust particles. We made synthetic images for VLT NaCo/ERIS in the Ks, L', M' bands as well as examined the spectral energy distributions (SEDs) of disks between 1 $\mu m$ and 10 cm. We found that the observed magnitudes from the planet's vicinity will mostly depend on the CPD parameters, not on the planet's. The CPD is 20-100x brighter than the embedded planet in near-IR. We also show how the CPD parameters, e.g. the dust-to-gas ratio will affect the resulting CPD magnitudes. According to the SEDs, the best contrast ratio between the CPD and circumstellar disks is in sub-mm/radio wavelengths and between 8-33 microns in case if the planet opened a resolvable, deep gap ($\ge 5 \rm{M_{Jup}}$), while the contrast is particularly poor in the near-IR. Hence, to detect the forming planet and its CPD, the best chance today is targeting the sub-mm/radio wavelengths and the 10-micron silicate feature vicinity. In order to estimate the forming planet's mass from the observed brightness, it is necessary to run system specific disk modeling.


title: Local flux-flow instability in superconducting films near Tc

abstract: Larkin and Ovchinnikov established that the viscous flow of magnetic flux quanta in current-biased superconductor films placed in a perpendicular magnetic field can lose stability due to a decrease in the vortex viscosity coefficient $\eta$ with increasing velocity of the vortices $v$. The dependence of $\eta$ on $v$ leads to a $nonlinear$ section in the current-voltage ($I$-$V$) curve which ends at the flux-flow instability point with a voltage jump to a highly resistive state. At the same time, in contradistinction with the nonlinear conductivity regime, instability jumps often occur in $linear$ $I$-$V$ sections. Here, for the elucidation of such jumps we develop a theory of local instability of the magnetic flux flow occurring not in the entire film but in a narrow strip across the film width in which vortices move much faster than outside it. The predictions of the developed theory are in agreement with experiments on Nb films for which the heat removal coefficients and the inelastic scattering times of quasiparticles are deduced. The presented model of local instability is also relevant for the characterization of superconducting thin films whose performance is examined for fast single-photon detection.


title: Molecular environs and triggered star formation around the large Galactic infrared bubble N 24

abstract: A multi-wavelength analysis of the large Galactic infrared bubble N 24 is has been presented in this paper in order to investigate the molecular and star formation environment around expanding HII regions. Using archival data from Herschel and ATLASGAL, the distribution and physical properties of the dust over the entire bubble are studied. Twenty three dense clumps are identified using the Clumpfind2d algorithm with sizes and masses in the range 0.65-1.73 pc and 600-16300 Msun, respectively. To analyse the molecular environment in N 24, observations of NH3 (1,1) and (2,2) were carried out using the Nanshan 26m radio telescope. Analysis of the kinetic temperature and gravitational stability of these clumps suggests gravitational collapse in several of them. The mass-size distributions of the clumps and the presence of massive young protostars indicate that the shell of N 24 is a region of ongoing massive star formation. The compatibility of the dynamical and fragmentation time-scales and the overabundance of YSOs and clumps on the rim suggest that the collect and collapse mechanism is in play at the boundary of the bubble, but the existence of the IRDC at the edge of bubble indicates that radiation-driven implosion mechanism may also have played a role there.


title: A kinetic description for the herding behavior in financial market

abstract: As a continuation of the study of the herding model proposed in (Bae et al. in arXiv:1712.01085, 2017), we consider in this paper the derivation of the kinetic version of the herding model, the existence of the measure-valued solution and the corresponding herding behavior at the kinetic level. We first consider the mean-field limit of the particle herding model and derive the existence of the measure-valued solutions for the kinetic herding model. We then study the herding phenomena of the solutions in two different ways by introducing two different types of herding energy functionals. First, we derive a herding phenomena of the measure-valued solutions under virtually no restrictions on the parameter sets using the Barbalat's lemma. We, however, don't get any herding rate in this case. On the other hand, we also establish a Gr\"onwall type estimate for another herding functional, leading to the exponential herding rate, under comparatively strict conditions. These results are then extended to smooth solutions.


title: Stochastic Fading Channel Models with Multiple Dominant Specular Components for 5G and Beyond

abstract: We introduce a comprehensive statistical characterization of the multipath wireless channel built as a superposition of a number of scattered waves with random phases. We consider an arbitrary number $N$ of specular (dominant) components plus other diffusely propagating waves. Our approach covers the cases on which the specular components have constant amplitudes, as well as when these components experience random fluctuations. These propagation scenarios are found in different use cases of 5G networks, as well as in the context of large intelligent surface based communications. We show that this class of fading models can be expressed in terms of a continuous mixture of an underlying Rician (or Rician shadowed) fading model, averaged over the phase distributions of the specular waves. It is shown that the fluctuations of the specular components have a detrimental impact on performance, and the best performance is obtained when there is only one specular component.


title: On a counting theorem for weakly admissible lattices

abstract: We give a precise estimate for the number of lattice points in certain bounded subsets of $\mathbb{R}^{n}$ that involve `hyperbolic spikes' and occur naturally in multiplicative Diophantine approximation. We use Wilkie's o-minimal structure $\mathbb{R}_{\exp}$ and expansions thereof to formulate our counting result in a general setting. We give two different applications of our counting result. The first one establishes nearly sharp upper bounds for sums of reciprocals of fractional parts, and thereby sheds light on a question raised by L\^e and Vaaler, extending previous work of Widmer and of the author. The second application establishes new examples of linear subspaces of Khintchine type thereby refining a theorem by Huang and Liu. For the proof of our counting result we develop a sophisticated partition method which is crucial for further upcoming work on sums of reciprocals of fractional parts over distorted boxes.


title: Multipliers over Fourier algebras of ultraspherical hypergroups

abstract: Let $H$ be an ultraspherical hypergroup associated to a locally compact group $ G $ and let $A(H)$ be the Fourier algebra of $H$. For a left Banach $A(H)$-submodule $X$ of $VN(H)$, define $Q_X$ to be the norm closure of the linear span of the set $\{uf: u\in A(H), f\in X\}$ in $B_{A(H)}(A(H), X^*)^*$. We will show that $B_{A(H)}(A(H), X^*)$ is a dual Banach space with predual $Q_X$, we characterize $Q_X$ in terms of elements in $A(H)$ and $ X$. Applications obtained on the multiplier algebra $ M(A(H))$ of the Fourier algebra $ A(H)$. In particular, we prove that $ G $ is amenable if and only if $ M(A(H))= B_{\lambda}(H)$, where $B_{\lambda}(H) $ is the reduced Fourier-Stieltjes algebra of $ H $. Finally, we investigate some characterizations for an ultraspherical hypergroup to be discrete.


title: Jcave: A 3D Interactive Game to Assist Home Physiotherapy Rehabilitation

abstract: The purpose of this paper is to investigate the applicability of applying gamification approach on the physiotherapy rehabilitation. A new developing game called JCave was designed and developed for the prove of concept. The propose game target the children from six to twelve years of age who need physical therapy in their upper limbs. JCave is a finite and multilevel single-player 3D video game. The player's role is to collect jewels from a cave and increase his/her score by performing physical therapy exercises. The game uses Xbox360 Kinect as a motion capture camera to observe gestures and track the child. Automatic gesture recognition algorithms are implemented for elbow flexion-extension exercises and shoulder flexion, which are the active range of motion (AROM) exercises for both the right and left arms. The JCave game is implemented using Unity3D and Blender to design 3D model objects.


title: TRIDEnT: Building Decentralized Incentives for Collaborative Security

abstract: Sophisticated mass attacks, especially when exploiting zero-day vulnerabilities, have the potential to cause destructive damage to organizations and critical infrastructure. To timely detect and contain such attacks, collaboration among the defenders is critical. By correlating real-time detection information (alerts) from multiple sources (collaborative intrusion detection), defenders can detect attacks and take the appropriate defensive measures in time. However, although the technical tools to facilitate collaboration exist, real-world adoption of such collaborative security mechanisms is still underwhelming. This is largely due to a lack of trust and participation incentives for companies and organizations. This paper proposes TRIDEnT, a novel collaborative platform that aims to enable and incentivize parties to exchange network alert data, thus increasing their overall detection capabilities. TRIDEnT allows parties that may be in a competitive relationship, to selectively advertise, sell and acquire security alerts in the form of (near) real-time peer-to-peer streams. To validate the basic principles behind TRIDEnT, we present an intuitive game-theoretic model of alert sharing, that is of independent interest, and show that collaboration is bound to take place infinitely often. Furthermore, to demonstrate the feasibility of our approach, we instantiate our design in a decentralized manner using Ethereum smart contracts and provide a fully functional prototype.


title: Evolution of nematic and ferromagnetic ordering in suspensions of magnetic nanoplatelets

abstract: Suspensions of magnetic nanoplatelets in isotropic solvents are very interesting examples of ferrofluids. It has been shown that above a certain concentration {\Phi}NI such suspensions form a ferromagnetic nematic phase, which makes this system a unique example of a dipolar fluid. The formation of a nematic phase is driven by anisotropic electrostatic and long-range dipolar magnetic interactions. Here, we present studies of the evolution of short range positional and orientational magnetic order in the suspensions with volume fractions below and above {\Phi}NI, using small angle neutron scattering (SANS). The results show that in the absence of an external magnetic field, short range positional and orientational order already exist at relatively low volume fractions. Polarized SANS revealed that the contribution of ferromagnetic ordering to the formation of the nematic phase is significant. The ferromagnetic correlations can be qualitatively explained by a simple model, which takes into account anisotropic screened electrostatic and dipolar magnetic interactions.


title: Phase domain boundary motion and memristance in gradient-doped FeRh nanopillars induced by spin injection

abstract: The B2-ordered alloy FeRh shows a metamagnetic phase transition, transforming from antiferromagnetic (AF) to ferromagnetic (FM) order at a temperature $T_\mathrm{t} \sim 380 $~K in bulk. As well as temperature, the phase transition can be triggered by many means such as strain, chemical doping, or magnetic or electric fields. Its first-order nature means that phase coexistence is possible. Here we show that a phase boundary in a 300~nm diameter nanopillar, controlled by a doping gradient during film growth, is moved by an electrical current in the direction of electron flow. We attribute this to spin injection from one magnetically ordered phase region into the other driving the phase transition in a region just next to the phase boundary. The associated change in resistance of the nanopillar shows memristive properties, suggesting potential applications as memory cells or artificial synapses in neuromorphic computing schemes.


title: $H_\infty$ optimization of multiple tuned mass dampers for multimodal vibration control

abstract: In this paper, a new computational method for the purpose of multimodal vibration mitigation using multiple tuned mass dampers is proposed. Classically, the minimization of the maximum amplitude is carried out using direct $H_\infty$ optimization. However, as shall be shown in the paper, this approach is prone to being trapped in local minima, in view of the nonsmooth character of the problem at hand. This is why this paper presents an original alternative to this approach through norm-homotopy optimization. This approach, combined with an efficient technique to compute the structural response, is shown to outperform direct $H_\infty$ optimization in terms of speed and performance. Essentially, the outcome of the algorithm leads to the concept of all-equal-peak design for which all the controlled peaks are equal in amplitude. This unique design is new with respect to the existing body of knowledge.


title: A TDDFT-based Study on the Proton-DNA Collision

abstract: The interaction of heavy charged particles with DNA is of interest for several areas, from hadrontherapy to aero-space industry. In this paper, a TD-DFT study on the interaction of a 4 keV proton with an isolated DNA base pair was carried out. Ehrenfest dynamics was used to study the evolution of the system during and after the proton impact up to about 193 fs. This time was long enough to observe the dissociation of the target, which occurs between 80-100 fs. The effect of base pair linking to the DNA double helix was emulated by fixing the four O3' atoms responsible for the attachment. The base pair tends to dissociate into its main components, namely the phosphate groups, sugars and nitrogenous bases. A central impact with energy transfer of 17.9 eV only produces base damage while keeping the backbone intact. An impact on a phosphate group with energy transfer of about 60 eV leads to backbone break at that site together with base damage, while the opposite backbone site integrity is kept is this situation. As the whole system is perturbed during such a collision, no atom remains passive. These results suggest that base damage accompanies all backbone breaks since hydrogen bonds that keep bases together are much weaker that those between the other components of the DNA.


title: A study of reciprocal Dunford-Pettis-like properties on Banach spaces

abstract: In this article, we study the relationship between \(p\)-\((V)\) subsets and p-\(V^*\) subsets of dual spaces. We investigate the Banach space X with the property that adjoint every \(p\)-convergent operator \(T: X \rightarrow Y\) is weakly \(q\)-compact, for every Banach space \(Y\). Moreover, we define the notion of \(q\)-reciprocal Dunford-Pettis\(\^*\)property of order \(p\) on Banach spaces and obtain a characterization of Banach spaces with this property. The stability of reciprocal Dunford-Pettis property of order \(p\) for the projective tensor product is given.


title: Spatial-Spectral Feature Extraction via Deep ConvLSTM Neural Networks for Hyperspectral Image Classification

abstract: In recent years, deep learning has presented a great advance in hyperspectral image (HSI) classification. Particularly, long short-term memory (LSTM), as a special deep learning structure, has shown great ability in modeling long-term dependencies in the time dimension of video or the spectral dimension of HSIs. However, the loss of spatial information makes it quite difficult to obtain the better performance. In order to address this problem, two novel deep models are proposed to extract more discriminative spatial-spectral features by exploiting the Convolutional LSTM (ConvLSTM). By taking the data patch in a local sliding window as the input of each memory cell band by band, the 2-D extended architecture of LSTM is considered for building the spatial-spectral ConvLSTM 2-D Neural Network (SSCL2DNN) to model long-range dependencies in the spectral domain. To better preserve the intrinsic structure information of the hyperspectral data, the spatial-spectral ConvLSTM 3-D Neural Network (SSCL3DNN) is proposed by extending LSTM to 3-D version for further improving the classification performance. The experiments, conducted on three commonly used HSI data sets, demonstrate that the proposed deep models have certain competitive advantages and can provide better classification performance than other state-of-the-art approaches.


title: Learning Representations for Predicting Future Activities

abstract: Foreseeing the future is one of the key factors of intelligence. It involves understanding of the past and current environment as well as decent experience of its possible dynamics. In this work, we address future prediction at the abstract level of activities. We propose a network module for learning embeddings of the environment's dynamics in a self-supervised way. To take the ambiguities and high variances in the future activities into account, we use a multi-hypotheses scheme that can represent multiple futures. We demonstrate the approach by classifying future activities on the Epic-Kitchens and Breakfast datasets. Moreover, we generate captions that describe the future activities


title: A note related to the CS decomposition and the BK inequality for discrete determinantal processes

abstract: We prove that for a discrete determinantal process the BK inequality occurs for increasing events generated by simple points. We give also some elementary, but nonetheless appealing relationship, between a discrete determinantal process and the well-known CS decomposition.


title: Designing technology, developing theory. Towards a symmetrical approach

abstract: We focus on collaborative activities that engage computer graphics designers and social scientists in systems design processes. Our conceptual symmetrical account of technology design and theory development is elaborated as a mode of mutual engagement occurring in an interdisciplinary trading zone, where neither discipline is placed at the service of the other, and nor do disciplinary boundaries dissolve. To this end, we draw on analyses of mutual engagements between computer and social scientists stemming from the fields of computer-supported cooperative work (CSCW), human-computer interaction (HCI), and science and technology studies (STS). We especially build on theoretical work in STS concerning information technology (IT) in health care and extend recent contributions from STS with respect to the modes of engagement and trading zones between computer and social sciences. We conceive participative digital systems design as a form of inquiry for the analysis of cooperative work settings, particularly when social science becomes part of design processes. We illustrate our conceptual approach using data from an interdisciplinary project involving computer graphics designers, sociologists, and neurosurgeons with the aim of developing patient-centered visualizations for clinical cooperation on a hospital ward.


title: Baropycnal Work: A Mechanism for Energy Transfer Across Scales

abstract: The role of baroclinicity, which arises from the misalignment of pressure and density gradients, is well-known in the vorticity equation, yet its role in the kinetic energy budget has never been obvious. Here, we show that baroclinicity appears naturally in the kinetic energy budget after carrying out the appropriate scale decomposition. Strain generation by pressure and density gradients, both barotropic and baroclinic, also results from our analysis. These two processes underlie the recently identified mechanism of "baropycnal work," which can transfer energy across scales in variable density flows. As such, baropycnal work is markedly distinct from pressure-dilatation into which the former is implicitly lumped in Large Eddy Simulations. We provide numerical evidence from 1,024^3 direct numerical simulations of compressible turbulence. The data shows excellent pointwise agreement between baropycnal work and the nonlinear model we derive, supporting our interpretation of how it operates.


title: Global Robustness vs. Local Vulnerabilities in Complex Synchronous Networks

abstract: In complex network-coupled dynamical systems, two questions of central importance are how to identify the most vulnerable components and how to devise a network making the overall system more robust to external perturbations. To address these two questions, we investigate the response of complex networks of coupled oscillators to local perturbations. We quantify the magnitude of the resulting excursion away from the unperturbed synchronous state through quadratic performance measures in the angle or frequency deviations. We find that the most fragile oscillators in a given network are identified by centralities constructed from network resistance distances. Further defining the global robustness of the system from the average response over ensembles of homogeneously distributed perturbations, we find that it is given by a family of topological indices known as generalized Kirchhoff indices. Both resistance centralities and Kirchhoff indices are obtained from a spectral decomposition of the stability matrix of the unperturbed dynamics and can be expressed in terms of resistance distances. We investigate the properties of these topological indices in small-world and regular networks. In the case of oscillators with homogeneous inertia and damping coefficients, we find that inertia only has small effects on robustness of coupled oscillators. Numerical results illustrate the validity of the theory.


title: Exclusive queueing model including the choice of service windows

abstract: In a queueing system involving multiple service windows, choice behavior is a significant concern. This paper incorporates the choice of service windows into a queueing model with a floor represented by discrete cells. We contrived a logit-based choice algorithm for agents considering the numbers of agents and the distances to all service windows. Simulations were conducted with various parameters of agent choice preference for these two elements and for different floor configurations, including the floor length and the number of service windows. We investigated the model from the viewpoint of transit times and entrance block rates. The influences of the parameters on these factors were surveyed in detail and we determined that there are optimum floor lengths that minimize the transit times. In addition, we observed that the transit times were determined almost entirely by the entrance block rates. The results of the presented model are relevant to understanding queueing systems including the choice of service windows and can be employed to optimize facility design and floor management.


title: Cross-scale cooperation enables sustainable use of a common-pool resource

abstract: In social-ecological systems (SESs), social and biophysical dynamics interact within and between structural levels separated by spatial and temporal scales. Cross-scale interactions (CSIs) are interdependences between processes at different scales, generating behaviour unpredictable at single scales. Understanding CSIs is important for improving SES governance but they remain understudied. Theoretical models are needed, which capture essential features while being simple enough to yield insights into mechanisms. In a stylised model, we study CSIs in a two-level system of weakly interacting communities harvesting a common-pool resource. Community members adaptively conform to, or defect from, a norm of socially optimal harvesting, enforced through social sanctioning both within and between communities. Each subsystem's dynamics depend sensitively on the other despite interactions being much weaker between subsystems than within them. When interaction is purely biophysical, stably high cooperation in one community can cause cooperation in the other to collapse. However, even weak social interaction can prevent collapse of cooperation and instead cause collapse of defection. We identify conditions under which subsystem-level cooperation produces desirable system-level outcomes. Our findings expand evidence that collaboration is important for sustainably managing shared resources, showing its importance even when resource sharing and social relationships are weak.

categories: physics.soc-ph nlin.AO physics.bio-ph q-bio.PE


title: Investigation of Multifractal Properties of Additive Data Stream

abstract: The work presents results of a numerical study of fractal characteristics of multifractal stream at addition of stream, which does not have multifractal properties. They showed that the generalized Hurst exponent of total stream tends to one of original multifractal stream with increase in signal/noise ratio.


title: Interferometric measurement of micro-g acceleration with levitated atoms

abstract: The sensitivity of atom interferometers is usually limited by the observation time of a free falling cloud of atoms in Earth's gravitational field. Considerable efforts are currently made to increase this observation time, e.g. in fountain experiments, drop towers and in space. In this article, we experimentally study and discuss the use of magnetic levitation for interferometric precision measurements. We employ a Bose-Einstein condensate of cesium atoms with tuneable interaction and a Michelson interferometer scheme for the detection of micro-g acceleration. In addition, we demonstrate observation times of 1s, which are comparable to current drop-tower experiments, we study the curvature of our force field, and we observe the effects of a phase-shifting element in the interferometer paths.


title: The multifractal load balancing method

abstract: The load-balancing system, built on the basis of a subsystem load balancer and subsystem control and monitoring that closely interact with each other was propose in work. This system is presented as a queuing system with priority service discipline. In the described queuing system parallel processing flow applications occur in the multiple serving devices and successive junction of them into unified stream is done. The method of multifractal load balancing is submited on the basis of the developed system of load balancing.


title: Determinacy in Discrete-Bidding Infinite-Duration Games

abstract: In two-player games on graphs, the players move a token through a graph to produce an infinite path, which determines the winner of the game. Such games are central in formal methods since they model the interaction between a non-terminating system and its environment. In bidding games the players bid for the right to move the token: in each round, the players simultaneously submit bids, and the higher bidder moves the token and pays the other player. Bidding games are known to have a clean and elegant mathematical structure that relies on the ability of the players to submit arbitrarily small bids. Many applications, however, require a fixed granularity for the bids, which can represent, for example, the monetary value expressed in cents. We study, for the first time, the combination of discrete-bidding and infinite-duration games. Our most important result proves that these games form a large determined subclass of concurrent games, where determinacy is the strong property that there always exists exactly one player who can guarantee winning the game. In particular, we show that, in contrast to non-discrete bidding games, the mechanism with which tied bids are resolved plays an important role in discrete-bidding games. We study several natural tie-breaking mechanisms and show that, while some do not admit determinacy, most natural mechanisms imply determinacy for every pair of initial budgets.


title: Neutrino Mass Ordering at DUNE: an Extra $\nu$-Bonus

abstract: We study the possibility of extracting the neutrino mass ordering at the future Deep Underground Neutrino Experiment using atmospheric neutrinos, which will be available before the muon neutrino beam starts being perational. The large statistics of the atmospheric muon neutrino and antineutrino samples at the far detector, together with the baselines of thousands of kilometers that these atmospheric (anti)neutrinos travel, provide the ideal ingredients to extract the neutrino mass ordering via matter effects in the neutrino propagation through the Earth. Crucially, muon capture by Argon provides excellent charge-tagging, allowing to disentangle the neutrino and antineutrino signature. This is a critical extra benefit of having a Liquid Argon Time Projection Chamber as far detector, that could render a $4\sigma$ extraction of the mass ordering after ten years of exposure.


title: Fast and Efficient Zero-Learning Image Fusion

abstract: We propose a real-time image fusion method using pre-trained neural networks. Our method generates a single image containing features from multiple sources. We first decompose images into a base layer representing large scale intensity variations, and a detail layer containing small scale changes. We use visual saliency to fuse the base layers, and deep feature maps extracted from a pre-trained neural network to fuse the detail layers. We conduct ablation studies to analyze our method's parameters such as decomposition filters, weight construction methods, and network depth and architecture. Then, we validate its effectiveness and speed on thermal, medical, and multi-focus fusion. We also apply it to multiple image inputs such as multi-exposure sequences. The experimental results demonstrate that our technique achieves state-of-the-art performance in visual quality, objective assessment, and runtime efficiency.


title: Long-distance device-independent quantum key distribution

abstract: Besides being a beautiful idea, device-independent quantum key distribution (DIQKD) is probably the ultimate solution to defeat quantum hacking. To guarantee security, it requires, however, that the fair-sampling loophole is closed, which results in a very limited maximum achievable distance. To overcome this limitation, DIQKD must be furnished with fair-sampling devices like, for instance, qubit amplifiers. These devices can herald the arrival of a photon to the receiver and thus decouple channel loss from the selection of the measurement settings. Consequently, one can safely postselect the heralded events and discard the rest, which results in a significant enhancement of the achievable distance. In this work, we investigate photonic-based DIQKD assisted by two main types of qubit amplifiers in the finite data block size scenario, and study the resources -- particularly, the detection efficiency of the photodetectors and the quality of the entanglement sources -- that would be necessary to achieve long-distance DIQKD within a reasonable time frame of signal transmission.


title: AI Enabling Technologies: A Survey

abstract: Artificial Intelligence (AI) has the opportunity to revolutionize the way the United States Department of Defense (DoD) and Intelligence Community (IC) address the challenges of evolving threats, data deluge, and rapid courses of action. Developing an end-to-end artificial intelligence system involves parallel development of different pieces that must work together in order to provide capabilities that can be used by decision makers, warfighters and analysts. These pieces include data collection, data conditioning, algorithms, computing, robust artificial intelligence, and human-machine teaming. While much of the popular press today surrounds advances in algorithms and computing, most modern AI systems leverage advances across numerous different fields. Further, while certain components may not be as visible to end-users as others, our experience has shown that each of these interrelated components play a major role in the success or failure of an AI system. This article is meant to highlight many of these technologies that are involved in an end-to-end AI system. The goal of this article is to provide readers with an overview of terminology, technical details and recent highlights from academia, industry and government. Where possible, we indicate relevant resources that can be used for further reading and understanding.


title: A Topological Analysis of Communication Channels for Knowledge Sharing in Contemporary GitHub Projects

abstract: With over 28 million developers, success of the GitHub collaborative platform is highlighted through an abundance of communication channels among contemporary software projects. Knowledge is broken into two forms and its sharing (through communication channels) can be described as externalization or combination by the SECI model. Such platforms have revolutionized the way developers work, introducing new channels to share knowledge in the form of pull requests, issues and wikis. It is unclear how these channels capture and share knowledge. In this research, our goal is to analyze these communication channels in GitHub. First, using the SECI model, we are able to map how knowledge is shared through the communication channels. Then in a large-scale topology analysis of seven library package projects (i.e., involving over 70 thousand projects), we extracted insights of the different communication channels within GitHub. Using two research questions, we explored the evolution of the channels and adoption of channels by both popular and unpopular library package projects. Results show that (i) contemporary GitHub Projects tend to adopt multiple communication channels, (ii) communication channels change over time and (iii) communication channels are used to both capture new knowledge (i.e., externalization) and updating existing knowledge (i.e., combination).


title: The Identification and Analysis of Indicators for Predicting Malarial Incidence in Zimbabwe

abstract: With over 50% of the country's population at risk of contracting malaria despite the introduction of several measures to combat the disease, Zimbabwe is one of the eight countries in the Malaria Elimination 8 platform of the Southern African Development Community. Various indicators, including temperature, population distribution, land cover, and access to hospitals affect the incidence and spread of this disease. In this paper, we consider different such indicators and present our analysis of their interaction (e.g., how the Plasmodium falciparum Parasite Rate (PfPR) affects the sickle cell trait) and their effect on malaria incidence in Zimbabwe. We also discuss the results of our preliminary experiments on predictive analytics of malaria incidence based on the indicators we have considered.


title: A Fox-Milnor Theorem for Knots in a Thickened Surface

abstract: A knot in a thickened surface $K$ is a smooth embedding $K:S^1 \rightarrow \Sigma \times [0,1]$, where $\Sigma$ is a closed, connected, orientable surface. There is a bijective correspondence between knots in $S^2 \times [0,1]$ and knots in $S^3$, so one can view the study of knots in thickened surfaces as an extension of classical knot theory. An immediate question is if other classical definitions, concepts, and results extend or generalize to the study of knots in a thickened surface. One such famous result is the Fox Milnor Theorem, which relates the Alexander polynomials of concordant knots. We prove a Fox Milnor Theorem for concordant knots in a thickened surface by using Milnor torsion.


title: Multiple orbital effects in laser-induced electron diffraction of aligned molecules

abstract: Photoelectron Angular Distributions (PADs) resulting from 800 nm and 1300 nm strong field ionization of impulsively aligned CF$_3$I molecules were analyzed using time-dependent density functional theory (TDDFT). The normalized difference between the PADs for aligned and anti-aligned molecules displays large modulations in the high-energy re-collision plateau that are assigned to the diffraction of back-scattered photoelectrons. The TDDFT calculations reveal that, in spite of their 2.6 eV energy difference, ionization from the HOMO-1 orbital contributes to the diffraction pattern on the same footing as ionization from the doubly degenerate HOMO orbital.


title: Decay estimate for the solution of the evolutionary damped $p$-Laplace equation

abstract: In this note, we study the asymptotic behavior, as $t$ tends to infinity, of the solution $u$ to the evolutionary damped $p$-Laplace equation \begin{equation*} u_{tt}+a\, u_t =\Delta_p u \end{equation*} with Dirichlet boundary values. Let $u^*$ denote the stationary solution with same boundary values, then the $W^{1,p}$-norm of $u(t) - u^{*}$ decays for large $t$ like $t^{-\frac{1}{(p-1)p}}$, in the degenerate case $ p > 2$.


title: Fundamental Limits of Identification System With Secret Binding Under Noisy Enrollment

abstract: We study the fundamental limits of biometric identification systems with chosen secret from an information theoretic perspective. Ignatenko and Willems (2015) characterized the capacity region of identification, secrecy, and privacy-leakage rates of the system provided that the enrollment channel is noiseless. In the enrollment process, however, it is highly considered that noise occurs when bio-data is scanned. Recently, Yachongka and Yagi (2019) characterized the capacity region of the system with generated secret considering noisy enrollment and template constraint. In this paper, we are interested in characterizing the capacity region of identification, secrecy, template, and privacy-leakage rates of the system with chosen secret under the same settings as Yachongka and Yagi (2019). As special cases, the obtained result shows that the characterization reduces to the one given by Ignatenko and Willems (2015) where the enrollment channel is noiseless and there is no constraint on the template rate, and it also coincides with the result derived by G\"unl\"u and Kramer (2018) where there is only one individual.


title: Numerical solution of nonlinear parabolic systems by block monotone iterations

abstract: This paper deals with investigating numerical methods for solving coupled system of nonlinear parabolic problems. We utilize block monotone iterative methods based on Jacobi and Gauss--Seidel methods to solve difference schemes which approximate the coupled system of nonlinear parabolic problems, where reaction functions are quasi-monotone nondecreasing or nonincreasing. In the view of upper and lower solutions method, two monotone upper and lower sequences of solutions are constructed, where the monotone property ensures the theorem on existence of solutions to problems with quasi-monotone nondecreasing and nonincreasing reaction functions. Construction of initial upper and lower solutions is presented. The sequences of solutions generated by the block Gauss--Seidel method converge not slower than by the block Jacobi method.


title: Optimal Patrol of a Perimeter

abstract: A defender dispatches patrollers to circumambulate a perimeter to guard against potential attacks. The defender decides on the time points to dispatch patrollers and each patroller's direction and speed, as long as the long-run rate patrollers are dispatched is capped at some constant. An attack at any point on the perimeter requires the same amount of time, during which it will be detected by each passing patroller independently with the same probability. The defender wants to maximize the probability of detecting an attack before it completes, while the attacker wants to minimize it. We study two scenarios, depending on whether the patrollers are undercover or wear a uniform. Conventional wisdom would suggest that the attacker gains advantage if he can see the patrollers going by so as to time his attack, but we show that the defender can achieve the same optimal detection probability by carefully spreading out the patrollers probabilistically against a learning attacker.


title: Einstein-Gauss-Bonnet gravity in 4-dimensional space-time

abstract: In this Letter we present a general covariant modified theory of gravity in $D\!=\!4$ space-time dimensions which propagates only the massless graviton and bypasses the Lovelock's theorem. The theory we present is formulated in $D\!>\!4$ dimensions and its action consists of the Einstein-Hilbert term with a cosmological constant, and the Gauss-Bonnet term multiplied by a factor $1/(D\!-\!4)$. The four-dimensional theory is defined as the limit $D\!\to\!4$. In this singular limit the Gauss-Bonnet invariant gives rise to non-trivial contributions to gravitational dynamics, while preserving the number of graviton degrees of freedom and being free from Ostrogradsky instability. We report several appealing new predictions of this theory, including the corrections to the dispersion relation of cosmological tensor and scalar modes, singularity resolution for spherically symmetric solutions, and others.


title: Magnetophonon spectroscopy of Dirac Fermion scattering by transverse and longitudinal acoustic phonons in graphene

abstract: Recently observed magnetophonon resonances in the magnetoresistance of graphene are investigated using the Kubo formalism. This analysis provides a quantitative fit to the experimental data over a wide range of carrier densities. It demonstrates the predominance of carrier scattering by low energy transverse acoustic (TA) mode phonons: the magnetophonon resonance amplitude is significantly stronger for the TA modes than for the longitudinal acoustic (LA) modes. We demonstrate that the LA and TA phonon speeds and the electron-phonon coupling strengths determined from the magnetophonon resonance measurements also provide an excellent fit to the measured dependence of the resistivity at zero magnetic field over a temperature range of 4-150 K. A semiclassical description of magnetophonon resonance in graphene is shown to provide a simple physical explanation for the dependence of the magneto-oscillation period on carrier density. The correspondence between the quantum calculation and the semiclassical model is discussed.


title: Optical polarized phase function of the HR\,4796A dust ring

abstract: The scattering properties of the dust originating from debris discs are still poorly known. The analysis of scattered light is however a powerful remote-sensing tool to understand the physical properties of dust particles orbiting other stars. Scattered light is indeed widely used to characterise the properties of cometary dust in the solar system. We aim to measure the morphology and scattering properties of the dust from the debris ring around HR4796A in polarised optical light. We obtained high-contrast polarimetric images of HR4796A in the wavelength range 600-900nm with the SPHERE / ZIMPOL instrument on the Very Large Telescope. We measured for the first time the polarised phase function of the dust in a debris system over a wide range of scattering angles in the optical. We confirm that it is incompatible with dust particles being compact spheres under the assumption of the Mie theory, and propose alternative scenarios compatible with the observations, such as particles with irregular surface roughness or aggregate particles.


title: Joule-Thomson Expansion of Hayward-AdS black hole

abstract: In this paper, we study Joule-Thomson expansion for Hayward-AdS black hole in the extended phase space, and obtain a Joule-Thomson expansion formula for the black hole. We plot the inversion and isenthalpic curves in the T-P plane, and determine the cooling-heating regions. The intersection points of the isenthalpic and inversion curves are exactly the inversion points discriminating the heating process from the cooling one.


title: On the stability of corotating and counter rotating P-type orbits around stellar binaries: a numerical study

abstract: We here revisit the essential problem of dynamical stability of planetary orbits around stellar binaries. We build on the coplanar three-body system of the Dvorak(1986), extending his stability diagram to both corotation and counter rotation of P-type orbits. His stability diagram express the change of stability across the gap between upper(UCO) and lower(LCO) critical orbits. By radius, this gap has a width of about 8$\%$ in the corotation case and 24$\%$ in the counter rotation case. As the gap of the second lies below the first, counter rotation is more stable, yet by width it is more chaotic. The gap between UCO and LCO follows a transition radius $r^+_g = 2.39 + 2.53e - 1.40 e^2$ and $r^-_g = 0.92 - 2.47e$ for corotation and respectively, counter rotation of the third body (the planet). Our $r^+_g$ agrees with the same of Dvorak to within 0.35$\%$. As a result, we discover $r^+_g/r^-_g \lesssim 2.57$ for all $e$. Around dim binaries, therefore, a relatively close in habitable zone may still be populated with planets on counter rotating orbits. The accurate numerical results presented here based on adaptive integration using MATLAB ODE45 may also serve as a novel benchmark of accurate \textit{N}-body integrators of exosolar systems more generally.


title: HAPD aircraft Uncertain Norm-Bounded Mathematical model

abstract: In this paper an uncertain norm-bounded mathematical model for the UAV High Altitude Performance Demonstrator (HAPD) designed by Italian Aerospace Research Center (CIRA) is carried out. The linear state space description aims to describe the non-linear aircraft dynamic inside the operating envelope characterized by the following bounds: true air speed between 17 m/s and 23 m/s and altitude from 300 m to 700 m.


title: Equivariant one-parameter deformations of associative algebra morphisms

abstract: In this article, we introduce equivariant formal deformation theory of associative algebra morphisms. We introduce an equivariant deformation cohomology of associative algebra morphisms and using this we study the equivariant formal deformation theory of associative algebra morphisms.


title: Topological spines of 4-manifolds

abstract: We show that infinitely many of the simply connected 4-manifolds constructed by Levine and Lidman that do not admit PL spines actually admit topological spines.


title: Generalized Ces\`aro operators: geometry of spectra and quasi-nilpotency

abstract: For the class of Hardy spaces and standard weighted Bergman spaces of the unit disk we prove that the spectrum of a generalized Ces\`aro operator $T_g$ is unchanged if the symbol $g$ is perturbed to $g+h$ by an analytic function $h$ inducing a quasi-nilpotent operator $T_h$, i.e. spectrum of $T_h$ equals $\{0\}$. We also show that any $T_g$ operator which can be approximated in the operator norm by an operator $T_h$ with bounded symbol $h$ is quasi-nilpotent. In the converse direction, we establish an equivalent condition for the function $g \in$ BMOA to be in the BMOA-norm closure of $H^{\infty}$. This condition turns out to be equivalent to quasi-nilpotency of the operator $T_g$ on the Hardy spaces. This raises the question whether similar statement is true in the context of Bergman spaces and the Bloch space. Furthermore, we provide some general geometric properties of the spectrum of $T_{g}$ operators.


title: Space-bounded Church-Turing thesis and computational tractability of closed systems

abstract: We report a new limitation on the ability of physical systems to perform computation -- one that is based on generalizing the notion of memory, or storage space, available to the system to perform the computation. Roughly, we define memory as the maximal amount of information that the evolving system can carry from one instant to the next. We show that memory is a limiting factor in computation even in lieu of any time limitations on the evolving system - such as when considering its equilibrium regime. We call this limitation the Space-Bounded Church Turing Thesis (SBCT). The SBCT is supported by a Simulation Assertion (SA), which states that predicting the long-term behavior of bounded-memory systems is computationally tractable. In particular, one corollary of SA is an explicit bound on the computational hardness of the long-term behavior of a discrete-time finite-dimensional dynamical system that is affected by noise. We prove such a bound explicitly.


title: Effect of E-cigarette Use and Social Network on Smoking Behavior Change: An agent-based model of E-cigarette and Cigarette Interaction

abstract: Despite a general reduction in smoking in many areas of the developed world, it remains one of the biggest public health threats. As an alternative to tobacco, the use of electronic cigarettes (ECig) has been increased dramatically over the last decade. ECig use is hypothesized to impact smoking behavior through several pathways, not only as a means of quitting cigarettes and lowering risk of relapse, but also as both an alternative nicotine delivery device to cigarettes, as a visible use of nicotine that can lead to imitative behavior in the form of smoking, and as a gateway nicotine delivery technology that can build high levels of nicotine tolerance and pave the way for initiation of smoking. Evidence regarding the effect of ECig use on smoking behavior change remains inconclusive. To address these challenges, we built an agent-based model (ABM) of smoking and ECig use to examine the effects of ECig use on smoking behavior change. The impact of social network (SN) on the initiation of smoking and ECig use were also explored. Findings from the simulation suggest that the use of ECig generates substantially lower prevalence of current smoker (PCS), which demonstrates the potential for reducing smoking and lowering the risk of relapse. The effects of proximity-based influences within SN increases the prevalence of current ECig user (PCEU). The model also suggests the importance of improved understanding of drivers in cessation and relapse in ECig use, in light of findings that such aspects of behavior change may notably influence smoking behavior change and burden.


title: Increasing paths in countable graphs

abstract: In this paper we study variations of an old result by M\"{u}ller, Reiterman, and the last author stating that a countable graph has a subgraph with infinite degrees if and only if in any labeling of the vertices (or edges) of this graph by positive integers we can always find an infinite increasing path. We study corresponding questions for hypergraphs and directed graphs. For example we show that the condition that a hypergraph contains a subhypergraph with infinite degrees is equivalent to the condition that any vertex labeling contains an infinite increasing loose path. We also find an equivalent condition for a graph to have a property that any vertex labeling with positive integers contains a path of arbitrary finite length, and we study related problems for oriented graphs and labelings with $\mathbb{Z}$ (instead of $\mathbb{N}$). For example, we show that for every simple hypergraph, there is a labelling of its edges by $\mathbb{Z}$ that forbids one-way infinite increasing paths.


title: Anomalies and fluctuations of near-surface air temperature at Tianhuangping (Zhejiang), China, produced by the longest total solar eclipse of the 21st century under cloudy skies

abstract: We analyze the near-surface air temperature response, at three different heights over the ground, recorded by the Williams College expedition under meteorological conditions characterized by cloudy skies during the longest total solar eclipse of the 21st century on 22 July 2009, at Tianhuangping (Zhejiang), China. An analysis of the relationship between solar radiation and air temperature was made by applying a study previously published in which we evaluated the cloudiness contribution in estimating the impact on global solar radiation throughout this phenomenon at that site. The analysis of this response includes linear and absolute negative anomalies as well as fluctuations, which was undertaken through a statistical study to get information on the convection activity produced by the latter. The fluctuations generated by turbulence were studied by analyzing variance and residuals. The results, indicating a steady decrease and recovery of both perturbations, were consistent with those published by other studies for this total solar eclipse.


title: Measurement incompatibility and steering are necessary and sufficient for operational contextuality

abstract: Contextuality is a signature of operational nonclassicality in the outcome statistics of an experiment. This notion of nonclassicality applies to a breadth of physical phenomena. Here, we establish its relation to two fundamental nonclassical entities in quantum theory; measurement incompatibility and steering. We show that each is necessary and sufficient the failure of operational contextuality. We exploit the established connection to contextuality to provide a novel approach to problems in measurement incompatibility and steering.


title: On the Kolkata index as a measure of income inequality

abstract: We study the mathematical and economic structure of the Kolkata (k) index of income inequality. We show that the k-index always exists and is a unique fixed point of the complementary Lorenz function, where the Lorenz function itself gives the fraction of cumulative income possessed by the cumulative fraction of population (when arranged from poorer to richer). We show that the k-index generalizes Pareto's 80/20 rule. Although the k and Pietra indices both split the society into two groups, we show that k-index is a more intensive measure for the poor-rich split. We compare the normalized k-index with the Gini coefficient and the Pietra index and discuss when they coincide. We establish that for any income distribution the value of Gini coefficient is no less than that of the Pietra index and the value of the Pietra index is no less than that of the normalized k-index. While the Gini coefficient and the Pietra index are affected by transfers exclusively among the rich or among the poor, the k-index is only affected by transfers across the two groups.


title: A Global Analysis of the Standard Model Effective Field Theory in the Production and Decay Channels of a Single Top Quark

abstract: A global analysis of the Standard Model Effective Field Theory (SMEFT) with SFitter is performed using measurements of single top quark production and top quark decay processes from ATLAS and CMS at center-of-mass energies of 7, 8 and 13 TeV. NLO QCD corrections are included in the theoretical predictions of all involved processes. Correlations among theoretical and experimental uncertainties are accounted for using DataPrep, which has been developed by the author. Using the dataset prepared by this software, constraints for the relevant degrees of freedom are derived. Almost all constraints are more than three times more stringent than the values of the literature. This thesis sets the technical and conceptual framework for a global fit of the entire top quark and Higgs boson sectors, which the author is involved in. The project marks an important milestone towards a truly global analysis constraining physics beyond the Standard Model in a model-independent way.


title: Simulating Problem Difficulty in Arithmetic Cognition Through Dynamic Connectionist Models

abstract: The present study aims to investigate similarities between how humans and connectionist models experience difficulty in arithmetic problems. Problem difficulty was operationalized by the number of carries involved in solving a given problem. Problem difficulty was measured in humans by response time, and in models by computational steps. The present study found that both humans and connectionist models experience difficulty similarly when solving binary addition and subtraction. Specifically, both agents found difficulty to be strictly increasing with respect to the number of carries. Another notable similarity is that problem difficulty increases more steeply in subtraction than in addition, for both humans and connectionist models. Further investigation on two model hyperparameters --- confidence threshold and hidden dimension --- shows higher confidence thresholds cause the model to take more computational steps to arrive at the correct answer. Likewise, larger hidden dimensions cause the model to take more computational steps to correctly answer arithmetic problems; however, this effect by hidden dimensions is negligible.


title: On point-mass Riesz external fields on the real axis

abstract: The purpose of this work is twofold. First, we aim to extend for $0<s<1$ the results of one of the authors about equilibrium measures in the real axis in external fields created by point-mass charges for the case of logarithmic potentials ($s=0$). Our second motivation comes from the work of the other two authors on Riesz $s$-equilibrium problems on finitely many intervals on the real line in the presence of external fields. They have shown that when the signed equilibrium measure has concave positive part on every interval, then the $s$-equilibrium support is also a union of finitely many intervals, with one of them at most included in each of the initial intervals. As the positive part of the signed equilibrium for point-mass external fields is not necessarily concave, the investigation of the corresponding $s$-equilibrium support is of comparative interest. Moreover, we provide simple examples of compactly supported equilibrium measures in external fields $Q$ not satisfying the usual requirements about the growth at infinity, that is, $\displaystyle \lim_{|x|\rightarrow \infty}\,Q(x) = \infty\,.$ Our main tools are signed equilibrium measures and iterated balayage algorithm in the context of Riesz $s$-equilibrium problems on the real line. As these techniques are not mainstream work in the field and can be applied in other contexts we highlight their use here.


title: Numerical validation of an explicit P1 finite-element scheme for Maxwell's equations in a polygon with variable permittivity away from its boundary

abstract: This paper is devoted to the numerical validation of an explicit finite-difference scheme for the integration in time of Maxwell's equations in terms of the sole electric field, using standard linear finite elements for the space discretization. The rigorous reliability analysis of this numerical model was the object of another authors' arXiv paper. More specifically such a study applies to the particular case where the electric permittivity has a constant value outside a sub-domain, whose closure does not intersect the boundary of the domain where the problem is defined. Our numerical experiments in two-dimension space certify that the convergence results previously derived for this approach are optimal, as long as the underlying CFL condition is satisfied.


abstract: In string theory the closed-string massless NS-NS sector forms a multiplet of $\mathbf{O}(D,D)$ symmetry. This suggests a specific modification to General Relativity in which the entire NS-NS sector is promoted to stringy graviton fields. Imposing off-shell $\mathbf{O}(D,D)$ symmetry fixes the correct couplings to other matter fields and the Einstein field equations are enriched to comprise $D^{2}+1$ components, dubbed recently as the Einstein Double Field Equations. Here we explore the cosmological implications of this framework. We derive the most general homogeneous and isotropic ansatzes for both stringy graviton fields and the $\mathbf{O}(D,D)$-covariant energy-momentum tensor. Crucially, the former admits space-filling magnetic $H$-flux. Substituting them into the Einstein Double Field Equations, we obtain the $\mathbf{O}(D,D)$ completion of the Friedmann equations along with a generalized continuity equation. We discuss how solutions in this framework may be characterized by two equation-of-state parameters, $w$ and $\lambda$, where the latter characterizes the relative intensities of scalar and tensor forces. When $\lambda+3w=1$, the dilaton remains constant throughout the cosmological evolution, and one recovers the standard Friedmann equations for generic matter content (i.e. for any $w$). We further point out that, in contrast to General Relativity, neither an $\mathbf{O}(D,D)$-symmetric cosmological constant nor a scalar field with positive energy density gives rise to a de Sitter solution.


title: Explicit representation for a class of Type 2 constacyclic codes over the ring $\mathbb{F}_{2^m}[u]/\langle u^{2\lambda}\rangle$ with even length

abstract: Let $\mathbb{F}_{2^m}$ be a finite field of cardinality $2^m$, $\lambda$ and $k$ be integers satisfying $\lambda,k\geq 2$ and denote $R=\mathbb{F}_{2^m}[u]/\langle u^{2\lambda}\rangle$. Let $\delta,\alpha\in \mathbb{F}_{2^m}^{\times}$. For any odd positive integer $n$, we give an explicit representation and enumeration for all distinct $(\delta+\alpha u^2)$-constacyclic codes over $R$ of length $2^kn$, and provide a clear formula to count the number of all these codes. As a corollary, we conclude that every $(\delta+\alpha u^2)$-constacyclic code over $R$ of length $2^kn$ is an ideal generated by at most $2$ polynomials in the residue class ring $R[x]/\langle x^{2^kn}-(\delta+\alpha u^2)\rangle$.


title: Acoustic force of the gravitational type

abstract: In this paper it was shown that, under certain restrictive conditions, Bjerknes secondary forces are attractive and proportionate to the product of the virtual masses of the two bubbles.


title: The effective temperature -- radius relationship of M-dwarfs

abstract: M-dwarf stars provide very favourable conditions to find habitable worlds beyond our solar system. The estimation of the fundamental parameters of the transiting exoplanets rely on the accuracy of the theoretical predictions for radius and effective temperature of the host M-dwarf, hence the importance of multiple empirical tests of very low-mass star (VLM) models, the theoretical counterpart of M-dwarfs. Recent determinations of mass, radius and effective temperature of a sample of M-dwarfs of known metallicity have disclosed a supposed discontinuity in the effective temperature-radius diagram corresponding to a stellar mass of about 0.2Mo, that has been ascribed to the transition from partially convective to fully convective stars. In this paper we compare existing VLM models to these observations, and find that theory does not predict any discontinuity at around 0.2Mo, rather a smooth change of slope of the effective temperature-radius relationship around this mass value. The appearance of a discontinuity 5is due to naively fitting the empirical data with linear segments. Also, its origin is unrelated to the transition to fully convective structures. We find that this feature is instead an empirical signature for the transition to a regime where electron degeneracy provides an important contribution to the stellar EOS, and constitutes an additional test of the consistency of the theoretical framework for VLM models.


title: Quantum corrections to a finite temperature BIon

abstract: In this paper, we will analyze a finite temperature BIon, which is a finite temperature brane-anti-brane wormhole configuration. We will analyze the quantum fluctuations to this BIon solution using the Euclidean quantum gravity. It will be observed that these quantum fluctuations produce logarithmic corrections to the entropy of this finite temperature BIon solution. These corrections to the entropy also correct the internal energy and the specific heat for this finite temperature BIon. We will also analyze the critical points for this finite temperature BIonic system, and analyze the effects of quantum corrections on the stability of this system.


title: Critical end points in (2+1)-flavor QCD with imaginary chemical potential

abstract: We present here the results from an ongoing determination of the critical quark mass in simulations of (2+1)-flavor QCD with an imaginary chemical potential. Studies with unimproved actions found the existence of a critical quark mass value at which the crossover transition ends on a second order phase transition and becomes first order for smaller values of the quark mass for the case of both vanishing and imaginary chemical potential. We use the Highly Improved Staggered Quark (HISQ) action and perform calculations in the Roberge-Weiss (RW) plane, where the value of the critical mass is expected to be largest. The lowest quark mass value used in our simulation corresponds to the pion mass $m_\pi$, down to $40$ MeV. Contrary to calculations performed with unimproved actions we find no evidence for the occurrence of first order transitions at the smallest quark mass values explored so far. Moreover we also show that the chiral observables are sensitive to the RW transition. Our results also indicate that the RW transition and chiral transition could coincide in the chiral limit.


title: Global climate by Rossby number in the Solar system planets

abstract: On the largest scales, planetary climates can be described by their Rossby number (\textit{Ro}). \textit{Ro} is in response to $Gr/Re^2$ , where Gr is the Grashof number and Re is the Reynolds number. We here simplify $Gr/Re^2$ as h, where $h=H/H_{Earth}$ with $H=gP/(2\pi V_e)$ for a planet with surface gravity \textit{g}, rotation period \textit{P} and equatorial velocity V\textsubscript{e}. Unlike \textit{h}, \textit{Ro} is difficult to obtain because of a large diversity in observation. We perform on an in-depth literature search on average (av) and maximum (mx) wind velocity for each planet in the Solar system by various observational methods and by altitude. We explore a correlation between \textit{Ro} and \textit{h} expressed as a power law with index $\alpha$ based on wind velocities of planets in the Solar system. We obtain a correlation between \textit{Ro} and \textit{h} with $\alpha=0.56$ (av) and $\alpha=0.52$ (mx). Earth's $H=H_{Earth}$ ($h=1$) is primarily due to lunar tidal interaction, given our relatively distant habitable zone (HZ) to the Sun. Our positive correlation, therefore, suggests exoplanet-moon systems as the `go-to-place' in our searches for potentially advanced life in exosolar system.


title: Invasion controlled pattern formation in a generalized multi-species predator-prey system

abstract: Rock-scissors-paper game, as the simplest model of intransitive relation between competing agents, is a frequently quoted model to explain the stable diversity of competitors in the race of surviving. When increasing the number of competitors we may face a novel situation because beside the mentioned unidirectional predator-prey-like dominance a balanced or peer relation can emerge between some competitors. By utilizing this possibility in the present work we generalize a four-state predator-prey type model where we establish two groups of species labeled by even and odd numbers. In particular, we introduce different invasion probabilities between and within these groups, which results in a tunable intensity of bidirectional invasion among peer species. Our study reveals an exceptional richness of pattern formations where five quantitatively different phases are observed by varying solely the strength of the mentioned inner invasion. The related transition points can be identified with the help of appropriate order parameters based on the spatial autocorrelation decay, on the fraction of empty sites, and on the variance of the species density. Furthermore, the application of diverse, alliance-specific inner invasion rates for different groups may result in the extinction of the pair of species where this inner invasion is moderate. These observations highlight that beyond the well-known and intensively studied cyclic dominance there is an additional source of complexity of pattern formation that has not been explored earlier.


title: Prediction Model for the Africa Cup of Nations 2019 via Nested Poisson Regression

abstract: This article is devoted to the forecast of the Africa Cup of Nations 2019 football tournament. It is based on a Poisson regression model that includes the Elo points of the participating teams as covariates and incorporates differences of team-specific skills. The proposed model allows predictions in terms of probabilities in order to quantify the chances for each team to reach a certain stage of the tournament. Monte Carlo simulations are used to estimate the outcome of each single match of the tournament and hence to simulate the whole tournament itself. The model is fitted on all football games on neutral ground of the participating teams since 2010.


title: Unified Adversarial Invariance

abstract: We present a unified invariance framework for supervised neural networks that can induce independence to nuisance factors of data without using any nuisance annotations, but can additionally use labeled information about biasing factors to force their removal from the latent embedding for making fair predictions. Invariance to nuisance is achieved by learning a split representation of data through competitive training between the prediction task and a reconstruction task coupled with disentanglement, whereas that to biasing factors is brought about by penalizing the network if the latent embedding contains any information about them. We describe an adversarial instantiation of this framework and provide analysis of its working. Our model outperforms previous works at inducing invariance to nuisance factors without using any labeled information about such variables, and achieves state-of-the-art performance at learning independence to biasing factors in fairness settings.


title: Parker's Stellar Wind Model for Polytropic Gas Flows

abstract: Parker's hydrodynamic stellar wind model is extended to polytropic gas flows. A compatible theoretical formulation is given and detailed numerical and systematic asymptotic theoretical considerations are presented. The polytropic conditions are shown to lead to tenuous and faster wind flows and hence enable the stars to lose their angular momentum more quickly.


title: Elimination Distances, Blocking Sets, and Kernels for Vertex Cover

abstract: The Vertex Cover problem plays an essential role in the study of polynomial kernelization in parameterized complexity, i.e., the study of provable and efficient preprocessing for NP-hard problems. Motivated by the great variety of positive and negative results for kernelization for Vertex Cover subject to different parameters and graph classes, we seek to unify and generalize them using so-called blocking sets, which have played implicit and explicit roles in many results. We show that in the most-studied setting, parameterized by the size of a deletion set to a specified graph class $\mathcal{C}$, bounded minimal blocking set size is necessary but not sufficient to get a polynomial kernelization. Under mild technical assumptions, bounded minimal blocking set size is showed to allow an essentially tight efficient reduction in the number of connected components. We then determine the exact maximum size of minimal blocking sets for graphs of bounded elimination distance to any hereditary class $\mathcal{C}$, including the case of graphs of bounded treedepth. We get similar but not tight bounds for certain non-hereditary classes $\mathcal{C}$, including the class $\mathcal{C}_{LP}$ of graphs where integral and fractional vertex cover size coincide. These bounds allow us to derive polynomial kernels for Vertex Cover parameterized by the size of a deletion set to graphs of bounded elimination distance to, e.g., forest, bipartite, or $\mathcal{C}_{LP}$ graphs.


title: Block-Online Multi-Channel Speech Enhancement Using DNN-Supported Relative Transfer Function Estimates

abstract: This work addresses the problem of block-online processing for multi-channel speech enhancement. Such processing is vital in scenarios with moving speakers and/or when very short utterances are processed, e.g., in voice assistant scenarios. We consider several variants of a system that performs beamforming supported by DNN-based voice activity detection (VAD) followed by post-filtering. The speaker is targeted through estimating relative transfer functions between microphones. Each block of the input signals is processed independently in order to make the method applicable in highly dynamic environments. Owing to the short length of the processed block, the statistics required by the beamformer are estimated less precisely. The influence of this inaccuracy is studied and compared to the processing regime when recordings are treated as one block (batch processing). The experimental evaluation of the proposed method is performed on large datasets of CHiME-4 and on another dataset featuring moving target speaker. The experiments are evaluated in terms of objective and perceptual criteria (such as signal-to-interference ratio (SIR) or perceptual evaluation of speech quality (PESQ), respectively). Moreover, word error rate (WER) achieved by a baseline automatic speech recognition system is evaluated, for which the enhancement method serves as a front-end solution. The results indicate that the proposed method is robust with respect to short length of the processed block. Significant improvements in terms of the criteria and WER are observed even for the block length of 250 ms.


title: Intra-frame Object Tracking by Deblatting

abstract: Objects moving at high speed along complex trajectories often appear in videos, especially videos of sports. Such objects elapse non-negligible distance during exposure time of a single frame and therefore their position in the frame is not well defined. They appear as semi-transparent streaks due to the motion blur and cannot be reliably tracked by standard trackers. We propose a novel approach called Tracking by Deblatting based on the observation that motion blur is directly related to the intra-frame trajectory of an object. Blur is estimated by solving two intertwined inverse problems, blind deblurring and image matting, which we call deblatting. The trajectory is then estimated by fitting a piecewise quadratic curve, which models physically justifiable trajectories. As a result, tracked objects are precisely localized with higher temporal resolution than by conventional trackers. The proposed TbD tracker was evaluated on a newly created dataset of videos with ground truth obtained by a high-speed camera using a novel Trajectory-IoU metric that generalizes the traditional Intersection over Union and measures the accuracy of the intra-frame trajectory. The proposed method outperforms baseline both in recall and trajectory accuracy.


title: Predictions of turbulent shear flows using deep neural networks

abstract: In the present work we assess the capabilities of neural networks to predict temporally evolving turbulent flows. In particular, we use the nine-equation shear flow model by Moehlis et al. [New J. Phys. 6, 56 (2004)] to generate training data for two types of neural networks: the multilayer perceptron (MLP) and the long short-term memory (LSTM) network. We tested a number of neural network architectures by varying the number of layers, number of units per layer, dimension of the input, weight initialization and activation functions in order to obtain the best configurations for flow prediction. Due to its ability to exploit the sequential nature of the data, the LSTM network outperformed the MLP. The LSTM led to excellent predictions of turbulence statistics (with relative errors of 0.45% and 2.49% in mean and fluctuating quantities, respectively) and of the dynamical behavior of the system (characterized by Poincar\'e maps and Lyapunov exponents). This is an exploratory study where we consider a low-order representation of near-wall turbulence. Based on the present results, the proposed machine-learning framework may underpin future applications aimed at developing accurate and efficient data-driven subgrid-scale models for large-eddy simulations of more complex wall-bounded turbulent flows, including channels and developing boundary layers.


title: Practical Algebraic Attack on DAGS

abstract: DAGS scheme is a key encapsulation mechanism (KEM) based on quasi-dyadic alternant codes that was submitted to NIST standardization process for a quantum resistant public key algorithm. Recently an algebraic attack was devised by Barelli and Couvreur (Asiacrypt 2018) that efficiently recovers the private key. It shows that DAGS can be totally cryptanalysed by solving a system of bilinear polynomial equations. However, some sets of DAGS parameters were not broken in practice. In this paper we improve the algebraic attack by showing that the original approach was not optimal in terms of the ratio of the number of equations to the number of variables. Contrary to the common belief that reducing at any cost the number of variables in a polynomial system is always beneficial, we actually observed that, provided that the ratio is increased and up to a threshold, the solving can be heavily improved by adding variables to the polynomial system. This enables us to recover the private keys in a few seconds. Furthermore, our experimentations also show that the maximum degree reached during the computation of the Gr\"obner basis is an important parameter that explains the efficiency of the attack. Finally, the authors of DAGS updated the parameters to take into account the algebraic cryptanalysis of Barelli and Couvreur. In the present article, we propose a hybrid approach that performs an exhaustive search on some variables and computes a Gr\"obner basis on the polynomial system involving the remaining variables. We then show that the updated set of parameters corresponding to 128-bit security can be broken with 2^83 operations.


title: Probing new types of $P_c$ states inspired by the interaction between an $S$-wave charmed baryon and an anticharmed meson in a $\bar T$ doublet state

abstract: Inspired by the observations of three $P_c$ states, we systematically investigate interactions between an $S$-wave charmed baryon $\mathcal{B}_{c}^{(*)}=\Lambda_c/\Sigma_c/\Sigma_c^{*}$ and an anticharmed meson $\bar T=\bar D_1/\bar D_2^*$ with the one-pion-exchange potential model and the one-boson-exchange potential model, and search for possible new types of $P_c$ states with the structures of $\mathcal{B}_{c}^{(*)}\bar T$. Both $S$-$D$ wave mixing and coupled channel effects are considered. Our results suggest that in some $\mathcal{B}_{c}^{(*)}\bar T$ systems there are ideal candidates of new types of $P_c$ states, i.e., the $\Sigma_c\bar{D}_1$ state with $I(J^P)=1/2(1/2^+)$, the $\Sigma_c\bar{D}_2^*$ state with $I(J^P)=1/2(3/2^+)$, the $\Sigma_c^*\bar{D}_1$ state with $I(J^P)=1/2(1/2^+)$, and the $\Sigma_c^*\bar{D}_2^*$ states with $I(J^P)=1/2(1/2^+, 3/2^+)$, and we suggest that these predicted new types of $P_c$ states can be detected in the process $\Lambda_b^0 \to \psi(2S) p \pi^{-}$. Meanwhile, we also extend our study to the interactions between an $S$-wave charmed baryon and a charmed meson in a $T$ doublet, and we predict a series of double-charm molecular pentaquarks.


title: Sound texture synthesis using convolutional neural networks

abstract: The following article introduces a new parametric synthesis algorithm for sound textures inspired by existing methods used for visual textures. Using a 2D Convolutional Neural Network (CNN), a sound signal is modified until the temporal cross-correlations of the feature maps of its log-spectrogram resemble those of a target texture. We show that the resulting synthesized sound signal is both different from the original and of high quality, while being able to reproduce singular events appearing in the original. This process is performed in the time domain, discarding the harmful phase recovery step which usually concludes synthesis performed in the time-frequency domain. It is also straightforward and flexible, as it does not require any fine tuning between several losses when synthesizing diverse sound textures. A way of extending the synthesis in order to produce a sound of any length is also presented, after which synthesized spectrograms and sound signals are showcased. We also discuss on the choice of CNN, on border effects in our synthesized signals and on possible ways of modifying the algorithm in order to improve its current long computation time.


title: Mappa Mundi: An Interactive Artistic Mind Map Generator with Artificial Imagination

abstract: We present a novel real-time, collaborative, and interactive AI painting system, Mappa Mundi, for artistic Mind Map creation. The system consists of a voice-based input interface, an automatic topic expansion module, and an image projection module. The key innovation is to inject Artificial Imagination into painting creation by considering lexical and phonological similarities of language, learning and inheriting artist's original painting style, and applying the principles of Dadaism and impossibility of improvisation. Our system indicates that AI and artist can collaborate seamlessly to create imaginative artistic painting and Mappa Mundi has been applied in art exhibition in UCCA, Beijing


title: Liver Lesion Segmentation with slice-wise 2D Tiramisu and Tversky loss function

abstract: At present, lesion segmentation is still performed manually (or semi-automatically) by medical experts. To facilitate this process, we contribute a fully-automatic lesion segmentation pipeline. This work proposes a method as a part of the LiTS (Liver Tumor Segmentation Challenge) competition for ISBI 17 and MICCAI 17 comparing methods for automatics egmentation of liver lesions in CT scans. By utilizing cascaded, densely connected 2D U-Nets and a Tversky-coefficient based loss function, our framework achieves very good shape extractions with high detection sensitivity, with competitive scores at time of publication. In addition, adjusting hyperparameters in our Tversky-loss allows to tune the network towards higher sensitivity or robustness.


title: Transparency in Maintenance of Recruitment Chatbots

abstract: We report on experiences with implementing conversational agents in the recruitment domain based on a machine learning (ML) system. Recruitment chatbots mediate communication between job-seekers and recruiters by exposing ML data to recruiter teams. Errors are difficult to understand, communicate, and resolve because they may span and combine UX, ML, and software issues. In an effort to improve organizational and technical transparency, we came to rely on a key contact role. Though effective for design and development, the centralization of this role poses challenges for transparency in sustained maintenance of this kind of ML-based mediating system.


title: Multiplica\c{c}\~ao de matrizes: uma compara\c{c}\~ao entre as abordagens sequencial (CPU) e paralela (GPU)

abstract: Designing problems using matrices is very important in Computer Science. Fields like graph computer, graphs theory, and machine learning use matrices very often to solve their own problems. The most often matrix operation is the multiplication. It may be time-consuming if the matrices to be multiplied are large. For this reason, the parallel computer became a must to tackle this problem. In this report, it is presented a comparison between sequential and parallel approaches to computing the matrix multiplication using CUDA and openMP. The results show the importance of parallelizing mainly when the matrices are large. A modelagem de problemas utilizando matrizes \'e de extrema import\^ancia para Ci\^encia da Computa\c{c}\~ao. \'Areas como computa\c{c}\~ao gr\'afica, grafos e aprendizado de m\'aquina utilizam matrizes com alta frequ\^encia para solucionar seus respectivos problemas. Dessa forma, operar matrizes de maneira eficiente \'e muito importante para o desempenho de algoritmos. Uma das opera\c{c}\~oes de matrizes mais utilizadas \'e a multiplica\c{c}\~ao, que se torna um empecilho para o desempenho computacional de algoritmos na medida que o tamanho das matrizes a serem multiplicadas aumentam. Por conta disso, a computa\c{c}\~ao paralela se tornou uma solu\c{c}\~ao padr\~ao para abordar tal problema. Neste trabalho \'e apresentado uma compara\c{c}\~ao entre as abordagens sequencial e paralela para multiplica\c{c}\~ao de matrizes utilizando CUDA e OpenMP. O resultado da an\'alise realizada entre o tamanho da matriz e o desempenho da multiplica\c{c}\~ao mostra a import\^ancia da paraleliza\c{c}\~ao principalmente para matrizes de ordem elevada.


title: Classifica\c{c}\~ao de esp\'ecies de peixe utilizando redes neurais convolucional

abstract: Data classification is present in different real problems, such as recognizing patterns in images, differentiating defective parts in a production line, classifying benign and malignant tumors, among many others. Many of these problems have data patterns that are hard to identify, which requires more advanced techniques for resolution. Recently, several works addressing different artificial neural network architectures have been applied to solve classification problems. When the classification problem must be obtained through images, currently, the standard methodology is the use of convolutional neural networks. Thus, in this report convolutional neural networks are used to classify fish species. Classifica\c{c}\~ao de dados est\'a presente em diversos problemas reais, tais como: reconhecer padr\~oes em imagens, diferenciar pe\c{c}as defeituosas em uma linha de produ\c{c}\~ao, classificar tumores benignos e malignos, dentre diversas outras. Muitos desses problemas possuem padr\~oes de dados dif\'iceis de serem identificados, o que requer, consequentemente, t\'ecnicas mais avan\c{c}adas para sua resolu\c{c}\~ao. Recentemente, diversos trabalhos abordando diferentes arquiteturas de redes neurais artificiais v\^em sendo aplicados para solucionar problemas de classifica\c{c}\~ao. Quando a classifica\c{c}\~ao do problema deve ser obtida por meio de imagens, atualmente a metodologia padr\~ao \'e uso de redes neurais convolucionais. Sendo assim, neste trabalho s\~ao utilizadas redes neurais convolucionais para classifica\c{c}\~ao de esp\'ecies de peixes.


title: Typical Sequences Revisited --- Computing Width Parameters of Graphs

abstract: In this work, we give a structural lemma on merges of typical sequences, a notion that was introduced in 1991 [Lagergren and Arnborg, Bodlaender and Kloks, both ICALP 1991] to obtain constructive linear time parameterized algorithms for treewidth and pathwidth. The lemma addresses a runtime bottleneck in those algorithms but so far it does not lead to asymptotically faster algorithms. However, we apply the lemma to show that the cutwidth and the modified cutwidth of series parallel digraphs can be computed in $\mathcal{O}(n^2)$ time.


title: $L^\infty$-$BMO$ bounds for pseudo-multipliers associated to the harmonic oscillator

abstract: In this note we investigate some conditions of H\"ormander-Mihlin type in order to assure the $L^\infty$-${\textnormal{BMO}}$ boundedness for pseudo-multipliers of the harmonic oscillator. The $\textnormal{H}^1$-$L^1$ continuity for Hermite multipliers also is investigated. The final version of this paper will appear in Rev. Colombiana Mat.


title: Finding Optimal Longest Paths by Dynamic Programming in Parallel

abstract: We propose an exact algorithm for solving the longest simple path problem between two given vertices in undirected weighted graphs. By using graph partitioning and dynamic programming, we obtain an algorithm that is significantly faster than other state-of-the-art methods. This enables us to solve instances that were previously unsolved and solve hard instances significantly faster. Lastly, we present a scalable parallelization which yields the first efficient parallel algorithm for the problem.


title: TE141K: Artistic Text Benchmark for Text Effect Transfer

abstract: Text effects are combinations of visual elements such as outlines, colors and textures of text, which can dramatically improve its artistry. Although text effects are extensively utilized in the design industry, they are usually created by human experts due to their extreme complexity; this is laborious and not practical for normal users. In recent years, some efforts have been made toward automatic text effect transfer; however, the lack of data limits the capabilities of transfer models. To address this problem, we introduce a new text effects dataset, TE141K, with 141,081 text effect/glyph pairs in total. Our dataset consists of 152 professionally designed text effects rendered on glyphs, including English letters, Chinese characters, and Arabic numerals. To the best of our knowledge, this is the largest dataset for text effect transfer to date. Based on this dataset, we propose a baseline approach called text effect transfer GAN (TET-GAN), which supports the transfer of all 152 styles in one model and can efficiently extend to new styles. Finally, we conduct a comprehensive comparison in which 14 style transfer models are benchmarked. Experimental results demonstrate the superiority of TET-GAN both qualitatively and quantitatively and indicate that our dataset is effective and challenging.


title: Stability of three neutrino flavor conversion in supernovae

abstract: Neutrino-neutrino interactions can lead to collective flavor conversion in the dense parts of a core collapse supernova. Growing instabilities that lead to collective conversions have been studied intensely in the limit of two-neutrino species and occur for inverted mass ordering in the case of a perfectly spherical supernova. We examine two simple models of colliding and intersecting neutrino beams and show, that for three neutrino species instabilities exist also for normal mass ordering even in the case of a fully symmetric system. Whereas the instability for inverted mass ordering is associated with $\Delta m_{31}^2$, the new instability we find for normal mass ordering is associated with $\Delta m_{21}^2$. As a consequence, the growth rate of these new instabilities for normal ordering is smaller by about an order of magnitude compared to the rates of the well studied case of inverted ordering.


title: Comparison on PMT Waveform Reconstructions with JUNO Prototype

abstract: JUNO is proposed to determine the neutrino mass hierarchy and rich in many other neutrino topics. A prototype is designed and set up for better understanding sub-systems of future detector. The preliminary results show that its threshold reaches ~0.3MeV with trigger rate ~290 Hz on the ground with cosmic muon rate ~35 Hz. Aiming for a better detector understanding from PMT signal, three reconstruction algorithms are compared for PMT waveforms with different overshoot ratios, including charge integration, waveform fitting, and deconvolution. It is concluded that the three methods have similar performance on uncertainty and systematic bias while deconvolution algorithm is best to handle larger overshoot and the simplest charge integration could be considered with controlled overshoot for future fast preliminary reconstruction.


title: On systematic and GR effects on muon $g-2$ experiments

abstract: We derive in full generality the equations that govern the time dependence of the energy ${\mathcal E}$ of the decay electrons in a muon $g-2$ experiment. We include both electromagnetic and gravitational effects and we estimate possible systematics on the measurements of $g-2\equiv 2(1+a)$, whose experimental uncertainty will soon reach $\Delta a/a\approx 10^{-7}$. In addition to the standard modulation of ${\mathcal E}$ when the motion is orthogonal to a constant magnetic field $B$, with angular frequency $\omega_a=e a |B|/m$, we study effects due to: (1) a non constant muon $\gamma$ factor, in presence of electric fields $E$, (2) a correction due to a component of the muon velocity along $B$ (the `pitch correction'), (3) corrections to the precession rate due to $E$ fields, (4) non-trivial spacetime metrics. Oscillations along the radial and vertical directions of the muon lead to oscillations in ${\mathcal E}$ with a relative size of order $10^{-6}$, for the BNL $g-2$ experiment. We then find a subleading effect in the `pitch' correction, leading to a frequency shift of $\Delta \omega_a/\omega_a \approx {\cal O}(10^{-9})$ and subleading effects of about $\Delta \omega_a/\omega_a \approx {\rm few} \times {\cal O}(10^{-8}-10^{-9})$ due to $E$ fields. Finally we show that GR effects are dominated by the Coriolis force, due to the Earth rotation with angular frequency $\omega_T$, leading to a correction of about $\Delta \omega_a/\omega_a \approx \omega_T/(\gamma \omega_a) \approx {\cal O}(10^{-12})$. A similar correction might be more appreciable for future electron $g-2$ experiments, being of order $\Delta \omega_a/\omega_{a, {\rm el}} \approx \omega_T/(\omega_{a, {\rm el}}) \approx 7\times 10^{-13}$, compared to the present experimental uncertainty, $\Delta a_{\rm el}/a_{\rm el}\approx 10^{-10}$, and forecasted to reach soon $\Delta a_{\rm el}/a_{\rm el}\approx 10^{-11}$.


title: Spin-Hall Topological Hall Effect in Highly Tunable Pt/Ferrimagnetic-Insulator Bilayers

abstract: Electrical detection of topological magnetic textures such as skyrmions is currently limited to conducting materials. While magnetic insulators offer key advantages for skyrmion technologies with high speed and low loss, they have not yet been explored electrically. Here, we report a prominent topological Hall effect in Pt/Tm$_3$Fe$_5$O$_{12}$ bilayers, where the pristine Tm$_3$Fe$_5$O$_{12}$ epitaxial films down to 1.25 unit cell thickness allow for tuning of topological Hall stability over a broad range from 200 to 465 K through atomic-scale thickness control. Although Tm$_3$Fe$_5$O$_{12}$ is insulating, we demonstrate the detection of topological magnetic textures through a novel phenomenon: 'spin-Hall topological Hall effect' (SH-THE), where the interfacial spin-orbit torques allow spin-Hall-effect generated spins in Pt to experience the unique topology of the underlying skyrmions in Tm$_3$Fe$_5$O$_{12}$. This novel electrical detection phenomenon paves a new path for utilizing a large family of magnetic insulators in future skyrmion technologies.


title: On the Expressivity and Applicability of Model Representation Formalisms

abstract: A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism.