title: Amplification of turbulence in contracting prestellar cores in primordial minihalos

abstract: We investigate the amplification of turbulence through gravitational contraction of the primordial gas in minihalos. We perform numerical simulations to follow the cloud collapse, assuming polytropic equations of state for different initial turbulent Mach numbers and resolutions. We find that the turbulent velocity is amplified solely by gravitational contraction, and eventually becomes comparable to the sound speed, even for small initial turbulent Mach numbers (${\cal M}_0 \gtrsim 0.05$). We derive an analytic formula for the amplification of turbulent velocity in a collapsing cloud, and find that our numerical results are consistent with the formula. These results suggest that the turbulence can play an important role in collapsing clouds for general cases.


abstract: We prove a complex formulation of the real interpolation method, showing that the real and complex interpolation methods are not inherently real or complex. Using this complex formulation, we prove Stein interpolation for the real interpolation method. We apply this theorem to interpolate weighted $L^p$-spaces and the sectoriality of closed operators with the real interpolation method.


title: The effect of algorithmic bias and network structure on coexistence, consensus, and polarization of opinions

abstract: Individuals of modern societies share ideas and participate in collective processes within a pervasive, variable, and mostly hidden ecosystem of content filtering technologies that determine what information we see online. Despite the impact of these algorithms on daily life and society, little is known about their effect on information transfer and opinion formation. It is thus unclear to what extent algorithmic bias has a harmful influence on collective decision-making, such as a tendency to polarize debate. Here we introduce a general theoretical framework to systematically link models of opinion dynamics, social network structure, and content filtering. We showcase the flexibility of our framework by exploring a family of binary-state opinion dynamics models where information exchange lies in a spectrum from pairwise to group interactions. All models show an opinion polarization regime driven by algorithmic bias and modular network structure. The role of content filtering is, however, surprisingly nuanced; for pairwise interactions it leads to polarization, while for group interactions it promotes coexistence of opinions. This allows us to pinpoint which social interactions are robust against algorithmic bias, and which ones are susceptible to bias-enhanced opinion polarization. Our framework gives theoretical ground for the development of heuristics to tackle harmful effects of online bias, such as information bottlenecks, echo chambers, and opinion radicalization.


title: Bounds on the Capacity of PIR over Graphs

abstract: In the private information retrieval (PIR) problem, a user wants to retrieve a file from a database without revealing any information about the desired file's identity to the servers that store the database. In this paper, we study the PIR capacity of a graph-based replication system, in which each file is stored on two distinct servers according to an underlying graph. This paper aims to provide upper and lower bounds to the PIR capacity of graphs via various graph properties. In particular, we provide several upper bounds on the PIR capacity that apply to all graphs. We further improve the bounds for specific graph families (which turn out to be tight in certain cases) by utilizing the underlying graph structure. For the lower bounds, we establish optimal rate PIR retrieval schemes for star graphs via edge-coloring techniques. Lastly, we provide an improved PIR scheme for complete graphs, which implies an improved general lower bound on all graphs' PIR capacity.


title: On a Problem of Lang for Matrix Polynomials

abstract: In this paper, we consider a problem of Lang about finiteness of torsion points on plane rational curves over $\mathbb C$, and prove some results towards a matrix analogue of this problem.


title: Towards a Better Tradeoff between Effectiveness and Efficiency in Pre-Ranking: A Learnable Feature Selection based Approach

abstract: In real-world search, recommendation, and advertising systems, the multi-stage ranking architecture is commonly adopted. Such architecture usually consists of matching, pre-ranking, ranking, and re-ranking stages. In the pre-ranking stage, vector-product based models with representation-focused architecture are commonly adopted to account for system efficiency. However, it brings a significant loss to the effectiveness of the system. In this paper, a novel pre-ranking approach is proposed which supports complicated models with interaction-focused architecture. It achieves a better tradeoff between effectiveness and efficiency by utilizing the proposed learnable Feature Selection method based on feature Complexity and variational Dropout (FSCD). Evaluations in a real-world e-commerce sponsored search system for a search engine demonstrate that utilizing the proposed pre-ranking, the effectiveness of the system is significantly improved. Moreover, compared to the systems with conventional pre-ranking models, an identical amount of computational resource is consumed.


title: B-splines on the Heisenberg group

abstract: In this paper, we introduce a class of $B$-splines on the Heisenberg group $\mathbb{H}$ and study their fundamental properties. Unlike the classical case, we prove that there does not exist any sequence $\{\alpha_n\}_{n\in\mathbb{N}}$ such that $L_{(-n.-\frac{n}{2},-\alpha_n)}\phi_n(x,y,t)=L_{(-n.-\frac{n}{2},-\alpha_n)}\phi_n(-x,-y,-t)$, for $n\geq 2$, where $L_{(x,y,t)}$ denotes the left translation on $\mathbb{H}$. We further investigate the problem of finding an equivalent condition for the system of left translates to form a frame sequence or a Riesz sequence in terms of twisted translates. We also find a sufficient condition for obtaining an oblique dual of the system $\{L_{(2k,l,m)}g:k,l,m\in\mathbb{Z}\}$ for a certain class of functions $g\in L^2(\mathbb{H})$. These concepts are illustrated by some examples. Finally, we make some remarks about $B$-splines regarding these results.


title: Investigating global convective dynamos with mean-field models: full spectrum of turbulent effects required

abstract: The role of turbulent effects for dynamos in the Sun and stars continues to be debated. Mean-field (MF) theory provides a broadly used framework to connect these effects to fundamental magnetohydrodynamics. While inaccessible observationally, turbulent effects can be directly studied using global convective dynamo (GCD) simulations. We measure the turbulent effects in terms of turbulent transport coefficients, based on the MF framework, from an exemplary GCD simulation using the test-field method. These coefficients are then used as an input into an MF model. We find a good agreement between the MF and GCD solutions, which validates our theoretical approach. This agreement requires all turbulent effects to be included, even those which have been regarded as unimportant so far. Our results suggest that simple dynamo models, as are commonly used in the solar and stellar community, relying on very few, precisely fine-tuned turbulent effects, may not be representative of the full dynamics of dynamos in global convective simulations and astronomical objects.


title: Broadband acoustic invisibility and illusions

abstract: Rendering objects invisible to impinging acoustic waves (cloaking) and creating acoustic illusions (holography) has been attempted using active and passive approaches. While passive methods are applicable only to narrow frequency bands, active approaches attempt to respond dynamically, interfering with broadband incident or scattered wavefields by emitting secondary waves. Without prior knowledge of the primary wavefield, the signals for the secondary sources need to be estimated and adapted in real-time. This has thus far impeded active cloaking and holography for broadband wavefields. We present experimental results of active acoustic cloaking and holography without prior knowledge of the wavefield so that objects remain invisible and illusions intact even for broadband moving sources. This opens novel research directions and facilitates practical applications including architectural acoustics, and stealth.


title: Enhanced Light-Matter Interaction in B-10 Monoisotopic Boron Nitride Infrared Nanoresonators

abstract: Phonon-polaritons, mixed excitations of light coupled to lattice vibrations (phonons), are emerging as a powerful platform for nanophotonic applications. This is because of their ability to concentrate light into extreme sub-wavelength scales and because of their longer phonon lifetimes than their plasmonic counterparts. In this work, the infrared properties of phonon-polaritonic nanoresonators made of monoisotopic B-10 hexagonal-boron nitride (h-BN) are explored, a material with increased phonon-polariton lifetimes compared to naturally abundant h-BN due to reduced photon scattering from randomly distributed isotopes. An average relative improvement of 50% in the nanoresonators Q factor is obtained with respect of nanoresonators made of naturally abundant h-BN. Moreover, the monoisotopic h-BN nano-ribbon arrays are used to sense nanometric-thick films of molecules, both through surface-enhanced absorption spectroscopy and refractive index sensing. In addition, strong coupling is achieved between a molecular vibration and the phonon-polariton resonance in monoisotopic h-BN ribbons.


title: Hash-MAC-DSDV: Mutual Authentication for Intelligent IoT-Based Cyber-Physical Systems

abstract: Cyber-Physical Systems (CPS) connected in the form of Internet of Things (IoT) are vulnerable to various security threats, due to the infrastructure-less deployment of IoT devices. Device-to-Device (D2D) authentication of these networks ensures the integrity, authenticity, and confidentiality of information in the deployed area. The literature suggests different approaches to address security issues in CPS technologies. However, they are mostly based on centralized techniques or specific system deployments with higher cost of computation and communication. It is therefore necessary to develop an effective scheme that can resolve the security problems in CPS technologies of IoT devices. In this paper, a lightweight Hash-MAC-DSDV (Hash Media Access Control Destination Sequence Distance Vector) routing scheme is proposed to resolve authentication issues in CPS technologies, connected in the form of IoT networks. For this purpose, a CPS of IoT devices (multi-WSNs) is developed from the local-chain and public chain, respectively. The proposed scheme ensures D2D authentication by the Hash-MAC-DSDV mutual scheme, where the MAC addresses of individual devices are registered in the first phase and advertised in the network in the second phase. The proposed scheme allows legitimate devices to modify their routing table and unicast the one-way hash authentication mechanism to transfer their captured data from source towards the destination. Our evaluation results demonstrate that Hash- MAC-DSDV outweighs the existing schemes in terms of attack detection, energy consumption and communication metrics.


title: Lateral diffusion of phospholipids in artificial cell membranes measured by single shallow NV centers

abstract: We measure diffusion of organic molecules located a few nanometers from the diamond surface. To study molecular diffusion, we perform local detection of nuclear magnetic resonance, based on single shallow Nitrogen-Vacancy (NV) centers in diamond. Specifically, we demonstrate measurements of translational diffusion coefficient of phospholipids in an artificial cell membrane by employing correlation spectroscopy. An analysis of correlation decay curves using different diffusion models shows, that a simple 2D diffusion model gives satisfactory diffusion coefficients, although the choice of the model affects the extracted numbers. We find significant differences among the diffusion coefficients measured by different single NV centers, which we attribute to local heterogeneities of the lipid layers, likely caused by the supporting diamond substrate.


title: L\"uscher-corrections for 1-particle form-factors in non-diagonally scattering integrable quantum field theories

abstract: In this paper we derive from field theory a L\"uscher-formula, which gives the leading exponentially small in volume corrections to the 1-particle form-factors in non-diagonally scattering integrable quantum field theories. Our final formula is expressed in terms of appropriate expressions of 1- and 3-particle form-factors, and can be considered as the generalization of previous results obtained for diagonally scattering bosonic integrable quantum field theories. Since our formulas are also valid for fermions and operators with non-zero Lorentz-spin, we demonstrated our results in the Massive Thirring Model, and checked our formula against 1-loop perturbation theory finding perfect agreement.


title: A galaxy cluster in the innermost Zone of Avoidance, close to the radio phoenix VLSSJ2217.5+594

abstract: The steep spectrum radio source VLSSJ2217.5+5943 shows a complex, filamentary morphology and a curved spectrum. Therefore, the source has previously been classified as a radio phoenix. However, no galaxy cluster associated with this radio source has been confidently detected so far because the source is located in the direction of the innermost zone of the Galactic Plane at b = +2.4 degr (innermost Zone of Avoidance, ZoA). We analysed archival observations in the near infrared (UKIDSS) and mid infrared (Spitzer) to select the galaxies in the immediate neighbourhood of the radio source. A sample of 23 galaxies was selected as candidate cluster members. Furthermore, we carried out deep integral field spectroscopy covering 6450 to 10500 AA with the red unit of the Hobby-Eberly Telescope second generation low resolution spectrograph (LRS2-R). We also reanalysed archival GMRT observations at 325 and 610 MHz. We selected 23 galaxies within a radius of 2.5 arcmin, centered on RA=22:17.5, DEC=+59:43 (J2000). Spectra were obtained for three of the brightest galaxies. For two galaxies we derived redshifts of z = 0.165 and z = 0.161, based on NaD absorption and TiO band heads. Their spectra correspond to E-type galaxies. Both galaxies are spatially associated with VLSSJ2217.5+5943. The spectrum of the third galaxy, which is slightly more distant from the radio source, indicates a LINER at z = 0.042. It is apparently a foreground galaxy with respect to the cluster we identified. VLSSJ2217.5+5943 is associated with a massive galaxy cluster at redshift z = 0.163 +- .003, supporting its classification as radio phoenix.


title: Cross-Modality Brain Tumor Segmentation via Bidirectional Global-to-Local Unsupervised Domain Adaptation

abstract: Accurate segmentation of brain tumors from multi-modal Magnetic Resonance (MR) images is essential in brain tumor diagnosis and treatment. However, due to the existence of domain shifts among different modalities, the performance of networks decreases dramatically when training on one modality and performing on another, e.g., train on T1 image while performing on T2 image, which is often required in clinical applications. This also prohibits a network from being trained on labeled data and then transferred to unlabeled data from a different domain. To overcome this, unsupervised domain adaptation (UDA) methods provide effective solutions to alleviate the domain shift between labeled source data and unlabeled target data. In this paper, we propose a novel Bidirectional Global-to-Local (BiGL) adaptation framework under a UDA scheme. Specifically, a bidirectional image synthesis and segmentation module is proposed to segment the brain tumor using the intermediate data distributions generated for the two domains, which includes an image-to-image translator and a shared-weighted segmentation network. Further, a global-to-local consistency learning module is proposed to build robust representation alignments in an integrated way. Extensive experiments on a multi-modal brain MR benchmark dataset demonstrate that the proposed method outperforms several state-of-the-art unsupervised domain adaptation methods by a large margin, while a comprehensive ablation study validates the effectiveness of each key component. The implementation code of our method will be released at \url{https://github.com/KeleiHe/BiGL}.


title: Autonomous Experiments for Neutron Three-Axis Spectrometers (TAS) with Log-Gaussian Processes

abstract: Autonomous experiments are excellent tools to increase the efficiency of material discovery. Indeed, AI and ML methods can help optimizing valuable experimental resources as, for example, beam time in neutron scattering experiments, in addition to scientists' knowledge and experience. Active learning methods form a particular class of techniques that acquire knowledge on a specific quantity of interest by autonomous decisions on what or where to investigate next based on previous measurements. For instance, Gaussian Process Regression (GPR) is a well-known technique that can be exploited to accomplish active learning tasks for scattering experiments as was recently demonstrated. Gaussian processes are not only capable to approximate functions by their posterior mean function, but can also quantify uncertainty about the approximation itself. Hence, if we perform function evaluations at locations of highest uncertainty, the function can be "optimally" learned in an iterative manner. We suggest the use of log-Gaussian processes, being a natural approach to successfully conduct autonomous neutron scattering experiments in general and TAS experiments with the instrument PANDA at MLZ in particular.


title: The peculiar WAT NGC 2329 with Seyfert/FR I-like radio lobes

abstract: We report the complex radio properties of the radio galaxy NGC 2329 that resides in the centre of the galaxy cluster Abell 569. For this study, we have used archival data from the Very Large Array (VLA) at various resolutions and frequencies, as well as the Very Long Baseline Array (VLBA). While the wide-angle tailed (WAT) Fanaroff-Riley type I (FR I) radio morphology of the source has been discussed widely in the literature, the nature of the inner lobes has not been as widely discussed. In particular, we note that the inner lobes resemble the bubble-like radio structures observed in Seyfert galaxies. Polarization-sensitive data from the VLA clearly show magnetic field structures consistent with FR Is for the outer lobes and Seyferts for the inner lobes in NGC 2329. FR Is are classified as radio-loud (RL) active galactic nuclei (AGN) and Seyferts as radio-quiet (RQ) AGN, making this source unique. The VLBA shows a one-sided radio jet suggesting a relativistic pc-scale outflow, leading into the inner lobes. Electron lifetime estimates suggest that the outer FR I-like lobes are nearly twice as old ($\sim$45 Myr) as the inner Seyfert-like lobes ($\sim$25 Myr). Gas inflow in this merging cluster seems to have rejuvenated the AGN about $\sim$25 Myr ago, and may have caused a change in the accretion disc state. The complex composite radio morphology of NGC 2329 suggests that the RL/RQ dichotomy is a function of time in the lifecycle of an AGN.


title: Filling in the gaps of the tsunamigenic sources in 2018 Palu Bay tsunami

abstract: The causes of 2018 Palu bay (Indonesia) tsunami are still not entirely clear. There is still an ongoing debate on whether the main cause of the tsunami waves observed was a significant co-seismic tectonic event which occurred underwater or whether it were the multiple landslides detected along the coast and triggered by the earthquake. Data from the paper by Liu et al. (2020) in which the bathymetry of the bay was analysed suggests that landslide-induced waves may have contributed significantly to the tsunami. However, the data presented was incomplete and the information regarding the starting time, magnitude of these waves and the coastal landslide progression has significant uncertainties. In this paper we model each landslide-generated wave with the COMCOT model and track the propagation of the waves to understand their individual contribution at several relevant locations inside the bay where free surface elevation data is available. We then explore the feasible scenarios (i.e. landslide-generated wave configurations and timings) that produce tsunami waves as close as those observed using an optimization technique based on genetic algorithms. Numerical simulations of the chosen scenario point out that landslide-generated waves are likely the main contributors to the tsunami, as they can arrive very fast, at the precise timing, to the locations of interest and can trigger the natural resonant modes of the bay, producing long-period waves that were also observed.


title: Extended scalar sectors at current and future colliders

abstract: After the discovery of a particle that complies with the properties of the Higgs boson predicted by the Standard Model, particle physics has entered an exciting era. One important question is whether the scalar sector realized by Nature indeed corresponds to the one predicted by the SM, or whether the resonance at 125 GeV is a manifestation of a more extended scalar sector, and additional scalar states could be observed at current or future collider facilities.


title: A CCG-Based Version of the DisCoCat Framework

abstract: While the DisCoCat model (Coecke et al., 2010) has been proved a valuable tool for studying compositional aspects of language at the level of semantics, its strong dependency on pregroup grammars poses important restrictions: first, it prevents large-scale experimentation due to the absence of a pregroup parser; and second, it limits the expressibility of the model to context-free grammars. In this paper we solve these problems by reformulating DisCoCat as a passage from Combinatory Categorial Grammar (CCG) to a category of semantics. We start by showing that standard categorial grammars can be expressed as a biclosed category, where all rules emerge as currying/uncurrying the identity; we then proceed to model permutation-inducing rules by exploiting the symmetry of the compact closed category encoding the word meaning. We provide a proof of concept for our method, converting "Alice in Wonderland" into DisCoCat form, a corpus that we make available to the community.


title: Incompressibility and Symmetry Energy of Neutron Star

abstract: We trace a systematic and consistent method to precisely numerate the magnitude range for various structural and isospin compositional properties of the neutron star. Incompressibility, symmetry energy, slope parameter and curvature of a neutron star are investigated using the relativistic energy density functional within the framework of coherent density fluctuation model. The analytical expression for the energy density functional of the neutron star matter is motivated from the Br$\ddot{u}$ckner functional and acquired by the polynomial fitting of the saturation curves for three different relativistic mean-field parameter sets (NL3, G3 and IU-FSU). The modified functional is folded with the neutron star's density-dependent weight function to calculate the numerical values for incompressibility and symmetry energy using the coherent density fluctuation model. NL3 parameter set, being the stiffest equation of state, endue us with a higher magnitude of all the properties compared to the other two parameter sets.


title: Microservices in IoT Security: Current Solutions, Research Challenges, and Future Directions

abstract: In recent years, the Internet of Things (IoT) technology has led to the emergence of multiple smart applications in different vital sectors including healthcare, education, agriculture, energy management, etc. IoT aims to interconnect several intelligent devices over the Internet such as sensors, monitoring systems, and smart appliances to control, store, exchange, and analyze collected data. The main issue in IoT environments is that they can present potential vulnerabilities to be illegally accessed by malicious users, which threatens the safety and privacy of gathered data. To face this problem, several recent works have been conducted using microservices-based architecture to minimize the security threats and attacks related to IoT data. By employing microservices, these works offer extensible, reusable, and reconfigurable security features. In this paper, we aim to provide a survey about microservices-based approaches for securing IoT applications. This survey will help practitioners understand ongoing challenges and explore new and promising research opportunities in the IoT security field. To the best of our knowledge, this paper constitutes the first survey that investigates the use of microservices technology for securing IoT applications.


title: Narasimhan--Simha type metrics on strongly pseudoconvex domains in $\mathbb{C}^n$

abstract: For a bounded domain $D \subset \mathbb{C}^n$, let $K_D = K_D(z) > 0$ denote the Bergman kernel on the diagonal and consider the reproducing kernel Hilbert space of holomorphic functions on $D$ that are square integrable with respect to the weight $K_D^{-d}$, where $d \geq 0$ is an integer. The corresponding weighted kernel $K_{D, d}$ transforms appropriately under biholomorphisms and hence produces an invariant K\"{a}hler metric on $D$. Thus, there is a hierarchy of such metrics starting with the classical Bergman metric that corresponds to the case $d=0$. This note is an attempt to study this class of metrics in much the same way as the Bergman metric has been with a view towards identifying properties that are common to this family. When $D$ is strongly pseudoconvex, the scaling principle is used to obtain the boundary asymptotics of these metrics and several invariants associated to them. It turns out that all these metrics are complete on strongly pseudoconvex domains.


title: SL2 tilting modules in the mixed case

abstract: Using the non-semisimple Temperley-Lieb calculus, we study the additive and monoidal structure of the category of tilting modules for $\mathrm{SL}_{2}$ in the mixed case. This simultaneously generalizes the semisimple situation, the case of the complex quantum group at a root of unity, and the algebraic group case in positive characteristic. We describe character formulas and give a presentation of the category of tilting modules as an additive category via a quiver with relations. Turning to the monoidal structure, we describe fusion rules and obtain an explicit recursive description of the appropriate analog of Jones-Wenzl projectors. We also discuss certain theta values, the tensor ideals, mixed Verlinde quotients and the non-degeneracy of the braiding.


title: Distributed Computation over MAC via Kolmogorov-Arnold Representation

abstract: Kolmogorov's representation theorem provides a framework for decomposing any arbitrary real-valued, multivariate, and continuous function into a two-layer nested superposition of a finite number of functions. The functions at these two layers, are referred to as the inner and outer functions with the key property that the design of the inner functions is independent of that of the original function of interest to be computed. This brings modularity and universality to the design of the inner function, and subsequently, a part of computation. This paper capitalizes on such modularity and universality in functional representation to propose two frameworks for distributed computation over the additive multiple access channels (MACs). In the first framework, each source encodes the inner representations and sends them over the additive MAC. Subsequently, the receiver computes the outer functions to compute the function of interest. Transmitting the values of the inner functions instead of the messages directly leads to compression gains. In the second approach, in order to further increase the compression rate, the framework aims to also bring computing the outer functions to the source sites. Specifically, each source employs a graph-coloring-based approach to perform joint functional compression of the inner and the outer functions, which may attain further compression savings over the former. These modular encoding schemes provide an exact representation in the asymptotic regime and the non-asymptotic regime. Contrasting these with the baseline model where sources directly transmit data over MAC, we observe gains. To showcase the gains of these two frameworks and their discrepancies, they are applied to a number of commonly used computations in distributed systems, e.g., computing products, $\ell_m$-norms, polynomial functions, extremum values of functions, and affine transformations.


title: Comment on "Possibility of small electron states"

abstract: It is shown that the interpretation of the electron wave function as a classical field is untenable because the so called energy-density defined in \cite{seb} takes on negative values in some regions. The claim that the velocity of the electron never exceeds the speed of light is also invalid. The velocity, as defined by the author, becomes even infinite at some points.


title: Using social network and semantic analysis to analyze online travel forums and forecast tourism demand

abstract: Forecasting tourism demand has important implications for both policy makers and companies operating in the tourism industry. In this research, we applied methods and tools of social network and semantic analysis to study user-generated content retrieved from online communities which interacted on the TripAdvisor travel forum. We analyzed the forums of 7 major European capital cities, over a period of 10 years, collecting more than 2,660,000 posts, written by about 147,000 users. We present a new methodology of analysis of tourism-related big data and a set of variables which could be integrated into traditional forecasting models. We implemented Factor Augmented Autoregressive and Bridge models with social network and semantic variables which often led to a better forecasting performance than univariate models and models based on Google Trend data. Forum language complexity and the centralization of the communication network, i.e. the presence of eminent contributors, were the variables that contributed more to the forecasting of international airport arrivals.


title: Bianchi VI0 viscous fluid cosmology with magnetic field

abstract: A spatially homogeneous Bianchi type VI0 model containing a viscous fluid in the presence of an axial magnetic field has been studied. A barotropic equation of state together with a pair of linear relations among the square root of matter density, shear scalar, and expansion scalar have been assumed. Solutions are obtained in the presence of a magnetic field, only in two special cases, which are comparatively simpler. The complete solutions for this model in the absence of a magnetic field are also obtained. The presence of a magnetic field in the former case however, does not in effect cause any major modification in the fundamental nature of the initial singularity of the expanding model.


title: Data Assimilation Predictive GAN (DA-PredGAN): applied to determine the spread of COVID-19

abstract: We propose the novel use of a generative adversarial network (GAN) (i) to make predictions in time (PredGAN) and (ii) to assimilate measurements (DA-PredGAN). In the latter case, we take advantage of the natural adjoint-like properties of generative models and the ability to simulate forwards and backwards in time. GANs have received much attention recently, after achieving excellent results for their generation of realistic-looking images. We wish to explore how this property translates to new applications in computational modelling and to exploit the adjoint-like properties for efficient data assimilation. To predict the spread of COVID-19 in an idealised town, we apply these methods to a compartmental model in epidemiology that is able to model space and time variations. To do this, the GAN is set within a reduced-order model (ROM), which uses a low-dimensional space for the spatial distribution of the simulation states. Then the GAN learns the evolution of the low-dimensional states over time. The results show that the proposed methods can accurately predict the evolution of the high-fidelity numerical simulation, and can efficiently assimilate observed data and determine the corresponding model parameters.


title: The State of Infodemic on Twitter

abstract: Following the wave of misinterpreted, manipulated and malicious information growing on the Internet, the misinformation surrounding COVID-19 has become a paramount issue. In the context of the current COVID-19 pandemic, social media posts and platforms are at risk of rumors and misinformation in the face of the serious uncertainty surrounding the virus itself. At the same time, the uncertainty and new nature of COVID-19 means that other unconfirmed information that may appear "rumored" may be an important indicator of the behavior and impact of this new virus. Twitter, in particular, has taken a center stage in this storm where Covid-19 has been a much talked about subject. We have presented an exploratory analysis of the tweets and the users who are involved in spreading misinformation and then delved into machine learning models and natural language processing techniques to identify if a tweet contains misinformation.


title: Connectivity of 1d random geometric graphs

abstract: A 1d random geometric graph (1d RGG) is built by joining a random sample of $n$ points from an interval of the real line with probability $p$. We count the number of $k$-hop paths between two vertices of the graph in the case where the space is the 1d interval $[0,1]$. We show how the $k$-hop path count between two vertices at Euclidean distance $|x-y|$ is in bijection with the volume enclosed by a uniformly random $d$-dimensional lattice path joining the corners of a $(k-1)$-dimensional hyperrectangular lattice. We are able to provide the probability generating function and distribution of this $k$-hop path count as a sum over lattice paths, incorporating the idea of restricted integer partitions with limited number of parts. We therefore demonstrate and describe an important link between spatial random graphs, and lattice path combinatorics, where the $d$-dimensional lattice paths correspond to spatial permutations of the geometric points on the line.

categories: math.CO cond-mat.stat-mech cs.SI math.PR physics.soc-ph


title: Enhancement of the superconductivity and quantum metallic state in the thin film of superconducting Kagome metal KV$_3$Sb$_5$

abstract: Recently V-based Kagome metal attracted intense attention due to the emergence of superconductivity in the low temperature. Here we report the fabrication and physical investigations of the high quality single-crystalline thin films of the Kagome metal KV$_3$Sb$_5$. For the sample with the thickness of about 15 nm, the temperature dependent resistance reveals a Berezinskii-Kosterlitz-Thouless (BKT) type behavior, indicating the presence of two-dimensional superconductivity. Compared with the bulk sample, the onset transition temperature $T^{onset}_{c}$ and the out-of-plane upper critical field $H_{c2}$ are enhanced by 15\% and more than 10 times respectively. Moreover, the zero-resistance state is destroyed by a magnetic field as low as 50 Oe. Meanwhile, the temperature-independent resistance is observed in a wide field region, which is the hallmark of quantum metallic state. Our results provide evidences for the existence of unconventional superconductivity in this material.


title: Knowledge State Networks for Effective Skill Assessment in Atomic Learning

abstract: The goal of this paper is to introduce a new framework for fast and effective knowledge state assessments in the context of personalized, skill-based online learning. We use knowledge state networks - specific neural networks trained on assessment data of previous learners - to predict the full knowledge state of other learners from only partial information about their skills. In combination with a matching assessment strategy for asking discriminative questions we demonstrate that our approach leads to a significant speed-up of the assessment process - in terms of the necessary number of assessment questions - in comparison to standard assessment designs. In practice, the presented methods enable personalized, skill-based online learning also for skill ontologies of very fine granularity without deteriorating the associated learning experience by a lengthy assessment process.


title: Induction and Skolemization in saturation theorem proving

abstract: We consider a typical integration of induction in saturation-based theorem provers and investigate the effects of Skolem symbols occurring in the induction formulas. In a practically relevant setting we establish a Skolem-free characterization of refutation in saturation-based proof systems with induction. Finally, we use this characterization to obtain unprovability results for a concrete saturation-based induction prover.


title: The drip lines of kaonic nuclei

abstract: The effects of an additional $K^-$ meson on the neutron and proton drip lines are investigated within Skyrme-Hartree-Fock approach combined with a Skyrme-type kaon-nucleon interaction. While an extension of the proton drip line is observed due to the strongly attractive $K^-p$ interaction, contrasting effects (extension and reduction) on the neutron drip line of Be, O, and Ne isotopes are found. The origin of these differences is attributed to the behavior of the highest-occupied neutron single-particle levels near the neutron drip line.


title: A deterministic Kaczmarz algorithm for solving linear systems

abstract: We propose a new deterministic Kaczmarz algorithm for solving consistent linear systems $A\mathbf{x}=\mathbf{b}$. Basically, the algorithm replaces orthogonal projections with reflections in the original scheme of Stefan Kaczmarz. Building on this, we give a geometric description of solutions of linear systems. Suppose $A$ is $m\times n$, we show that the algorithm generates a series of points distributed with patterns on an $(n-1)$-sphere centered on a solution. These points lie evenly on $2m$ lower-dimensional spheres $\{\S_{k0},\S_{k1}\}_{k=1}^m$, with the property that for any $k$, the midpoint of the centers of $\S_{k0},\S_{k1}$ is exactly a solution of $A\mathbf{x}=\mathbf{b}$. With this discovery, we prove that taking the average of $O(\eta(A)\log(1/\varepsilon))$ points on any $\S_{k0}\cup\S_{k1}$ effectively approximates a solution up to relative error $\varepsilon$, where $\eta(A)$ characterizes the eigengap of the orthogonal matrix produced by the product of $m$ reflections generated by the rows of $A$. We also analyze the connection between $\eta(A)$ and $\kappa(A)$, the condition number of $A$. In the worst case $\eta(A)=O(\kappa^2(A)\log m)$, while for random matrices $\eta(A)=O(\kappa(A))$ on average. Finally, we prove that the algorithm indeed solves the linear system $A^T W^{-1}A \mathbf{x} = A^T W^{-1} \mathbf{b}$, where $W$ is the lower-triangular matrix such that $W+W^T = 2AA^T$. The connection between this linear system and the original one is studied. The numerical tests indicate that this new Kaczmarz algorithm has comparable performance to randomized (block) Kaczmarz algorithms.


title: Perfectly-matched-layer truncation is exponentially accurate at high frequency

abstract: We consider a wide variety of scattering problems including scattering by Dirichlet, Neumann, and penetrable obstacles. We consider a radial perfectly-matched layer (PML) and show that for any PML width and a steep-enough scaling angle, the PML solution is exponentially close, both in frequency and the tangent of the scaling angle, to the true scattering solution. Moreover, for a fixed scaling angle and large enough PML width, the PML solution is exponentially close to the true scattering solution in both frequency and the PML width. In fact, the exponential bound holds with rate of decay $c(w\tan\theta -C) k$ where $w$ is the PML width and $\theta$ is the scaling angle. More generally, the results of the paper hold in the framework of black-box scattering under the assumption of an exponential bound on the norm of the cutoff resolvent, thus including problems with strong trapping. These are the first results on the exponential accuracy of PML at high-frequency with non-trivial scatterers.


title: Quasiparticle nature of the Bose polaron at finite temperature

abstract: The Bose polaron has attracted theoretical and experimental interest because the mobile impurity is surrounded by a bath that undergoes a superfluid-to-normal phase transition. Although many theoretical works have studied this system in its ground state, only few analyze its behavior at finite temperature. We have studied the effect of temperature on a Bose polaron system performing ab-initio Path Integral Monte Carlo simulations. This method is able to approach the critical temperature without losing accuracy, in contrast with perturbative approximations. We have calculated the polaron energy for the repulsive and attractive branches and we have observed an asymmetric behavior between the two branches. When the potential is repulsive, the polaron energy decreases when the temperature increases, and contrariwise for the attractive branch. Our results for the effective mass and the dynamical structure factor of the polaron show unambiguously that its quasiparticle nature disappears close to the critical temperature, in agreement with recent experimental findings. Finally, we have also estimated the fraction of bosons in the condensate as well as the superfluid fraction, and we have concluded that the impurity hinders the condensation of the rest of bosons.


title: Toward the Design of Fault-Tolerance- and Peak- Power-Aware Multi-Core Mixed-Criticality Systems

abstract: Mixed-Criticality (MC) systems have recently been devised to address the requirements of real-time systems in industrial applications, where the system runs tasks with different criticality levels on a single platform. In some workloads, a high-critically task might overrun and overload the system, or a fault can occur during the execution. However, these systems must be fault-tolerant and guarantee the correct execution of all high-criticality tasks by their deadlines to avoid catastrophic consequences, in any situation. Furthermore, in these MC systems, the peak power consumption of the system may increase, especially in an overload situation and exceed the processor Thermal Design Power (TDP) constraint. This may cause generating heat beyond the cooling capacity, resulting the system stop to avoid excessive heat and halting the processor. In this paper, we propose a technique for dependent dual-criticality tasks in fault-tolerant multi-core MC systems to manage peak power consumption and temperature. The technique develops a tree of possible task mapping and scheduling at design-time to cover all possible scenarios and reduce the low-criticality task drop rate in the high-criticality mode. At run-time, the system exploits the tree to select a proper schedule according to fault occurrences and criticality mode changes. Experimental results show that the average task schedulability is 74.14% on average for the proposed method, while the peak power consumption and maximum temperature are improved by 16.65% and 14.9 C on average, respectively, compared to a recent work. In addition, for a real-life application, our method reduces the peak power and maximum temperature by up to 20.06% and 5 C, respectively, compared to a state-of-the-art approach.


title: Personality correlates of key roles in informal advice networks

abstract: Prior research has emphasised the importance of informal advice networks for knowledge sharing and peer learning. We use Social Network Analysis to detect individuals who play a strategic role in advice networks. Even if roles have been extensively described, how to identify people within them is still an open issue. Furthermore, we investigate whether an association between key players and the big five personality traits exists, by means of nonparametric statistics. To achieve this, we present a case study which involves roughly 180 university students. We found 21 of them playing a key role. Results give evidence of significant associations between key positions and Conscientiousness, Neuroticism and Agreeableness; whereas no evidence is found for a relationship with Extraversion or Openness to Experience. Consistently, personality emerges as a relevant indicator for predicting people who are more likely to play a strategic role, even when connection patterns are unknown.


title: Activation function design for deep networks: linearity and effective initialisation

abstract: The activation function deployed in a deep neural network has great influence on the performance of the network at initialisation, which in turn has implications for training. In this paper we study how to avoid two problems at initialisation identified in prior works: rapid convergence of pairwise input correlations, and vanishing and exploding gradients. We prove that both these problems can be avoided by choosing an activation function possessing a sufficiently large linear region around the origin, relative to the bias variance $\sigma_b^2$ of the network's random initialisation. We demonstrate empirically that using such activation functions leads to tangible benefits in practice, both in terms test and training accuracy as well as training time. Furthermore, we observe that the shape of the nonlinear activation outside the linear region appears to have a relatively limited impact on training. Finally, our results also allow us to train networks in a new hyperparameter regime, with a much larger bias variance than has previously been possible.


title: Symplectic gauge invariant reformulation of a free particle system on toric geometry

abstract: We deduce the constraint structure and subsequently quantize a free particle system residing on a torus satisfying the geometric constraint $(r-a)=0$, within the framework of modified Faddeev-Jackiw formalism. Further, we reformulate the system as a gauge theory by the means of symplectic gauge invariant formalism. Finally, we establish the off-shell nilpotent and absolutely anti-commuting (anti-)BRST symmetries of the reformulated gauge invariant theory.


title: Universal Regular Conditional Distributions

abstract: We introduce a deep learning model that can universally approximate regular conditional distributions (RCDs). The proposed model operates in three phases: first, it linearizes inputs from a given metric space $\mathcal{X}$ to $\mathbb{R}^d$ via a feature map, then a deep feedforward neural network processes these linearized features, and then the network's outputs are then transformed to the $1$-Wasserstein space $\mathcal{P}_1(\mathbb{R}^D)$ via a probabilistic extension of the attention mechanism of Bahdanau et al.\ (2014). Our model, called the \textit{probabilistic transformer (PT)}, can approximate any continuous function from $\mathbb{R}^d $ to $\mathcal{P}_1(\mathbb{R}^D)$ uniformly on compact sets, quantitatively. We identify two ways in which the PT avoids the curse of dimensionality when approximating $\mathcal{P}_1(\mathbb{R}^D)$-valued functions. The first strategy builds functions in $C(\mathbb{R}^d,\mathcal{P}_1(\mathbb{R}^D))$ which can be efficiently approximated by a PT, uniformly on any given compact subset of $\mathbb{R}^d$. In the second approach, given any function $f$ in $C(\mathbb{R}^d,\mathcal{P}_1(\mathbb{R}^D))$, we build compact subsets of $\mathbb{R}^d$ whereon $f$ can be efficiently approximated by a PT.


title: Nanoindentation of single crystalline Mo: Atomistic defect nucleation and thermomechanical stability

abstract: The mechanical responses of single crystalline Body-Centered Cubic (BCC) metals, such as molybdenum (Mo), outperform other metals at high temperatures, so much so that they are considered as excellent candidates for applications under extreme conditions, such as the divertor of fusion reactors. The excellent thermomechanical stability of molybdenum at high temperatures (400-1000$^{\rm o}$C) has also been detected through nanoindentation, pointing towards connections to emergent local dislocation mechanisms related to defect nucleation. In this work, we carry out a computational study of the effects of high temperature on the mechanical deformation properties of single crystalline Mo under nanoindentation. Molecular dynamics (MD) simulations of spherical nanoindentation are performed at two indenter tip diameters and crystalline sample orientations [100], [110], and [111], for the temperature range of 10-1000K. We investigate how the increase of temperature influences the nanoindentation process, modifying dislocation densities, mechanisms, atomic displacements and also, hardness, in agreement with reported experimental measurements. Our results suggest that the characteristic formation and high-temperature stability of [001] dislocation junctions in Mo during nanoindentation, in contrast to other BCC metals, may be the cause of the persistent thermomechanical stability of Mo.


title: Low-Input Accurate Periodic Motion of an Underactuated Mechanism: Mass Distribution and Nonlinear Spring Shaping

abstract: This work presents a control-oriented structural design approach for a 2-DOF underactuated mechanical system, with the purpose of generating an optimal oscillatory behavior of the end-effector. To achieve the desired periodic motion, we propose to adjust the dynamic response of the mechanism by selecting its mass distribution and the characteristic of a nonlinear spring. In particular, we introduce a two-step optimization strategy to shape the system's zero dynamics, obtained via input-output linearization. The first part of the procedure aims to minimize the root-mean-square value of the input torque by optimizing the mechanism's mass distribution. In this context, we show that a perfect matching with the desired trajectory can be reached by assuming the ability to design an arbitrary shape of the system's elastic properties. Then, in order to favor a simpler physical implementation of the structure, we dedicate the second optimization step to the piecewise linear approximation of the previously defined stiffness characteristic. The proposed procedure is finally tested in detailed numerical simulations, confirming its effectiveness in generating a complex and efficient periodic motion.


title: Cardinal characteristics on $\kappa$ modulo non-stationary

abstract: For $\kappa$ regular and uncountable we define variants of the classical cardinal characteristics modulo the non-stationary ideal.


title: Universality of Abelian and non-Abelian Wannier functions in one dimension

abstract: Within a Dirac model in $1+1$ dimensions, a prototypical model to describe low-energy physics for a wide class of lattice models, we propose a field-theoretical version for the representation of Wannier functions, the Zak-Berry connection, and the geometric tensor. In two natural Abelian gauges we present universal scaling of the Dirac Wannier functions in terms of four fundamental scaling functions that depend only on the phase $\gamma$ of the gap parameter and the charge correlation length $\xi$ in an insulator. The two gauges allow for a universal low-energy formulation of the surface charge and surface fluctuation theorem, relating the boundary charge and its fluctuations to bulk properties. Our analysis describes the universal aspects of Wannier functions for the wide class of one-dimensional generalized Aubry-Andr\'e-Harper lattice models. In the low-energy regime of small gaps we demonstrate universal scaling of all lattice Wannier functions and their moments in the corresponding Abelian gauges. We also discuss non-Abelian lattice gauges and find that lattice Wannier functions of maximal localization show universal scaling and are uniquely related to the Dirac Wannier function of the lower band. Our results present evidence that universal aspects of Wannier functions and of the boundary charge are uniquely related and can be elegantly described within universal low-energy theories.


title: Coalescence of polymeric sessile drops on a partially wettable substrate

abstract: Coalescence of sessile polymeric fluid drops on a partially wettable substrate exhibits a transition from inertial to viscoelastic regime at concentration ratio $c/c^* \sim 1$. Our findings unveil that the temporal evolution of the growing bridge height follows a power-law behaviour $t^b$, such that the coefficient $b$ continuously decreases from 2/3 in the inertial regime ($c/c^*<1$) to an asymptotic value of 1/2 in the visco-elastic regime ($c/c^*>1$). To account for fluid elasticity and characteristic time-scale in the viscoelastic regime, a modified thin film equation under lubrication approximation has been proposed using the linear Phan-Thien- Tanner constitutive equation. The temporal evolution of the droplet has been evaluated by solving the modified one-dimensional thin-film equation using a marching explicit scheme. The initial droplet shapes are obtained by re-sorting to energy minimization. A good agreement between numerical and experimental results is obtained.


title: Studying the association of online brand importance with museum visitors: An application of the semantic brand score

abstract: This paper explores the association between brand importance and growth in museum visitors. We analyzed 10 years of online forum discussions and applied the Semantic Brand Score (SBS) to assess the brand importance of five European Museums. Our Naive Bayes and regression models indicate that variations in the combined dimensions of the SBS (prevalence, diversity and connectivity) are aligned with changes in museum visitors. Results suggest that, in order to attract more visitors, museum brand managers should focus on increasing the volume of online posting and the richness of information generated by users around the brand, rather than controlling for the posts' overall positivity or negativity.

categories: cs.CL cs.SI econ.GN physics.soc-ph q-fin.EC


title: The Equivalence Principle and The Cosmological Constant Problem

abstract: In this essay I point out that, in the context of semi-classical gravity, the equivalence principle can mitigate the cosmological constant problem. On a Minkowski space-time background with the usual $\mathbb{R}^4$ topology, the vacuum self-energy is removed by normal ordering; this is allowed because it is not observable; I argue that, in a freely-falling frame of reference, the same must hold true, up to contributions from modes whose wavelength is of the order of the background radius of curvature. Thus, the equivalence principle implies that ultra-violet modes do not contribute to the effective energy-momentum tensor.


title: HCRF-Flow: Scene Flow from Point Clouds with Continuous High-order CRFs and Position-aware Flow Embedding

abstract: Scene flow in 3D point clouds plays an important role in understanding dynamic environments. Although significant advances have been made by deep neural networks, the performance is far from satisfactory as only per-point translational motion is considered, neglecting the constraints of the rigid motion in local regions. To address the issue, we propose to introduce the motion consistency to force the smoothness among neighboring points. In addition, constraints on the rigidity of the local transformation are also added by sharing unique rigid motion parameters for all points within each local region. To this end, a high-order CRFs based relation module (Con-HCRFs) is deployed to explore both point-wise smoothness and region-wise rigidity. To empower the CRFs to have a discriminative unary term, we also introduce a position-aware flow estimation module to be incorporated into the Con-HCRFs. Comprehensive experiments on FlyingThings3D and KITTI show that our proposed framework (HCRF-Flow) achieves state-of-the-art performance and significantly outperforms previous approaches substantially.


title: Explicit Semantic Cross Feature Learning via Pre-trained Graph Neural Networks for CTR Prediction

abstract: Cross features play an important role in click-through rate (CTR) prediction. Most of the existing methods adopt a DNN-based model to capture the cross features in an implicit manner. These implicit methods may lead to a sub-optimized performance due to the limitation in explicit semantic modeling. Although traditional statistical explicit semantic cross features can address the problem in these implicit methods, it still suffers from some challenges, including lack of generalization and expensive memory cost. Few works focus on tackling these challenges. In this paper, we take the first step in learning the explicit semantic cross features and propose Pre-trained Cross Feature learning Graph Neural Networks (PCF-GNN), a GNN based pre-trained model aiming at generating cross features in an explicit fashion. Extensive experiments are conducted on both public and industrial datasets, where PCF-GNN shows competence in both performance and memory-efficiency in various tasks.


title: Generic Itemset Mining Based on Reinforcement Learning

abstract: One of the biggest problems in itemset mining is the requirement of developing a data structure or algorithm, every time a user wants to extract a different type of itemsets. To overcome this, we propose a method, called Generic Itemset Mining based on Reinforcement Learning (GIM-RL), that offers a unified framework to train an agent for extracting any type of itemsets. In GIM-RL, the environment formulates iterative steps of extracting a target type of itemsets from a dataset. At each step, an agent performs an action to add or remove an item to or from the current itemset, and then obtains from the environment a reward that represents how relevant the itemset resulting from the action is to the target type. Through numerous trial-and-error steps where various rewards are obtained by diverse actions, the agent is trained to maximise cumulative rewards so that it acquires the optimal action policy for forming as many itemsets of the target type as possible. In this framework, an agent for extracting any type of itemsets can be trained as long as a reward suitable for the type can be defined. The extensive experiments on mining high utility itemsets, frequent itemsets and association rules show the general effectiveness and one remarkable potential (agent transfer) of GIM-RL. We hope that GIM-RL opens a new research direction towards learning-based itemset mining.


title: A Fusion-Denoising Attack on InstaHide with Data Augmentation

abstract: InstaHide is a state-of-the-art mechanism for protecting private training images, by mixing multiple private images and modifying them such that their visual features are indistinguishable to the naked eye. In recent work, however, Carlini et al. show that it is possible to reconstruct private images from the encrypted dataset generated by InstaHide. Nevertheless, we demonstrate that Carlini et al.'s attack can be easily defeated by incorporating data augmentation into InstaHide. This leads to a natural question: is InstaHide with data augmentation secure? In this paper, we provide a negative answer to this question, by devising an attack for recovering private images from the outputs of InstaHide even when data augmentation is present. The basic idea is to use a comparative network to identify encrypted images that are likely to correspond to the same private image, and then employ a fusion-denoising network for restoring the private image from the encrypted ones, taking into account the effects of data augmentation. Extensive experiments demonstrate the effectiveness of the proposed attack in comparison to Carlini et al.'s attack.


title: An Optimal Support Function related to the strong openness conjecture

abstract: In the present article, we obtain an optimal support function of weighted $L^2$ integrations on superlevel sets of psh weights, which implies the strong openness property of multiplier ideal sheaves.


title: Future operation of hydropower in Europe under high renewable penetration and climate change

abstract: The balancing provided by hydropower reservoirs is essential in the transition towards a decarbonised European energy system, but the resource might be impacted by future climate change. In this work, we first analyse the hydropower operation needed to balance a wind and solar dominated European energy system, to signify whether and to what extent hydropower is required to operate differently due to the decarbonisation of the energy system. Second, we apply runoff data achieved with 10 dynamically downscaled climate models with 0.11 x 0.11 deg horizontal and daily resolution to project the future reservoir inflow at three CO2 emissions scenarios: low (RCP2.6), mid (RCP4.5), and high emissions (RCP8.5). We show that the decarbonised energy system increases the ramp rates and seasonality of the hydropower operation. Despite large interannual and intermodel variability, we found a significant change in annual inflow due to climate change in 20 out of 22 European countries at the mid and high emissions scenarios. The seasonal profile, as well as the frequency and duration of droughts and floods, is also projected to be impacted.


title: Anisotropic superconductivity in topological crystalline metal Pb$_{1/3}$TaS$_2$ with multiple Dirac fermions

abstract: Topological crystalline metals/semimetals (TCMs) have stimulated a great research interest, which broaden the classification of topological phases and provide a valuable platform to explore topological superconductivity. Here, we report the discovery of superconductivity and topological features in Pb-intercalated transition-metal dichalcogenide Pb$_{1/3}$TaS$_2$. Systematic measurements indicate that Pb$_{1/3}$TaS$_2$ is a quasi-two-dimensional (q-2D) type-II superconductor ({\em T}$_c \approx$ 2.8 K) with a significantly enhanced anisotropy of upper critical field ($\gamma_{H_{c2}}$ = $H_{c2}^{ab}/H_{c2}^{c}$ $\approx$ 17). In addition, first-principles calculations reveal that Pb$_{1/3}$TaS$_2$ hosts multiple topological Dirac fermions in the electronic band structure. We discover four groups of Dirac nodal lines on the $k_z = \pi$ plane and two sets of Dirac points on the rotation/screw axes, which are protected by crystalline symmetries and robust against spin-orbit coupling (SOC). Dirac-cone-like surface states emerge on the (001) surface because of band inversion. Our work shows that the TCM candidate Pb$_{1/3}$TaS$_2$ is a promising arena to study the interplay between superconductivity and topological Dirac fermions.


title: Automated Biodesign Engineering by Abductive Meta-Interpretive Learning

abstract: The application of Artificial Intelligence (AI) to synthetic biology will provide the foundation for the creation of a high throughput automated platform for genetic design, in which a learning machine is used to iteratively optimise the system through a design-build-test-learn (DBTL) cycle. However, mainstream machine learning techniques represented by deep learning lacks the capability to represent relational knowledge and requires prodigious amounts of annotated training data. These drawbacks strongly restrict AI's role in synthetic biology in which experimentation is inherently resource and time intensive. In this work, we propose an automated biodesign engineering framework empowered by Abductive Meta-Interpretive Learning ($Meta_{Abd}$), a novel machine learning approach that combines symbolic and sub-symbolic machine learning, to further enhance the DBTL cycle by enabling the learning machine to 1) exploit domain knowledge and learn human-interpretable models that are expressed by formal languages such as first-order logic; 2) simultaneously optimise the structure and parameters of the models to make accurate numerical predictions; 3) reduce the cost of experiments and effort on data annotation by actively generating hypotheses and examples. To verify the effectiveness of $Meta_{Abd}$, we have modelled a synthetic dataset for the production of proteins from a three gene operon in a microbial host, which represents a common synthetic biology problem.


title: $SU(5)_{L} \times U(1)_{Y}$ electroweak unification

abstract: We propose here - for the first time in the literature, to our best knowledge - an electroweak unification based on the $SU(5)_{L}\times U(1)_{Y}$ gauge group. The spontaneous symmetry breaking takes place in the manner $SU(5)_{L}\times U(1)_{Y} \rightarrow U(1)_{em}$, due to a particular Higgs sector consisting of five scalar quintuplets. Each scalar quintuplet acquires its own vacuum expectation value, by means of a proper parametrization which is worked out once the overall vacuum expectation value in the model is established. The decoupling of the low energy regime (corresponding to the Standard Model) from the high scale (required by out model here) is straightforwardly achieved in order to preserve the consistency with the present experimental data. Finally, a promising phenomenological outcome is derived by simply tuning a single free parameter. Our results include, besides a viable one-parameter mass spectrum, also the prediction of precisely three generations in the fermion sector and the electric charge quantization.


title: Multiplication by a finite Blaschke product on weighted Bergman spaces: commutant and reducing subspaces

abstract: We provide a characterization of the commutant of analytic Toeplitz operators $T_B$ induced by finite Blachke products $B$ acting on weighted Bergman spaces which, as a particular instance, yields the case $B(z)=z^n$ on the Bergman space solved recently by by Abkar, Cao and Zhu. Moreover, it extends previous results by Cowen and Wahl in this context and applies to other Banach spaces of analytic functions such as Hardy spaces $H^p$ for $1<p<\infty$. Finally, we apply this approach to study the reducing subspaces of $T_{B}$ in weighted Bergman spaces.


title: Efficient Off-Policy Q-Learning for Data-Based Discrete-Time LQR Problems

abstract: This paper introduces and analyzes an improved Q-learning algorithm for discrete-time linear time-invariant systems. The proposed method does not require any knowledge of the system dynamics, and it enjoys significant efficiency advantages over other data-based optimal control methods in the literature. This algorithm can be fully executed off-line, as it does not require to apply the current estimate of the optimal input to the system as in on-policy algorithms. It is shown that a persistently exciting input, defined from an easily tested matrix rank condition, guarantees the convergence of the algorithm. A data-based method is proposed to design the initial stabilizing feedback gain that the algorithm requires. Robustness of the algorithm in the presence of noisy measurements is analyzed. We compare the proposed algorithm in simulation to different direct and indirect data-based control design methods.


title: A Geometrical Interpretation of Frequency

abstract: The letter provides a geometrical interpretation of frequency in electric circuits. According to this interpretation, the frequency is defined as a multivector with symmetric and antisymmetric components. The conventional definition of frequency is shown to be a special case of the proposed theoretical framework. Several examples serve to show the features, generality as well as practical aspects of the proposed approach.


title: A Cloud-based Deep Learning Framework for Remote Detection of Diabetic Foot Ulcers

abstract: This research proposes a mobile and cloud-based framework for the automatic detection of diabetic foot ulcers and conducts an investigation of its performance. The system uses a cross-platform mobile framework which enables the deployment of mobile apps to multiple platforms using a single TypeScript code base. A deep convolutional neural network was deployed to a cloud-based platform where the mobile app could send photographs of patient's feet for inference to detect the presence of diabetic foot ulcers. The functionality and usability of the system were tested in two clinical settings: Salford Royal NHS Foundation Trust and Lancashire Teaching Hospitals NHS Foundation Trust. The benefits of the system, such as the potential use of the app by patients to identify and monitor their condition are discussed.


title: Quantum states for a minimum-length spacetime

abstract: Starting from some results regarding the form of the Ricci scalar at a point $P$ in a spacetime endowed with a minimum distance, we investigate how they might be accommodated, specifically for the case of null separations, in a as-simple-as-possible quantum structure for spacetime at $P$, and we try to accomplish this in terms of potentially operationally-defined concepts. In so doing, we provide a possible explicit form for the operator expressing the Ricci scalar as a quantum observable, and give quantum-informational support, thus regardless of or before field equations, to associating with a patch of horizon an entropy proportional to its area.


title: Adaptive Regularization Minimization Algorithms with Non-Smooth Norms and Euclidean Curvature

abstract: A regularization algorithm (AR1pGN) for unconstrained nonlinear minimization is considered, which uses a model consisting of a Taylor expansion of arbitrary degree and regularization term involving a possibly non-smooth norm. It is shown that the non-smoothness of the norm does not affect the $O(\epsilon_1^{-(p+1)/p})$ upper bound on evaluation complexity for finding first-order $\epsilon_1$-approximate minimizers using $p$ derivatives, and that this result does not hinge on the equivalence of norms in $\Re^n$. It is also shown that, if $p=2$, the bound of $O(\epsilon_2^{-3})$ evaluations for finding second-order $\epsilon_2$-approximate minimizers still holds for a variant of AR1pGN named AR2GN, despite the possibly non-smooth nature of the regularization term. Moreover, the adaptation of the existing theory for handling the non-smoothness results in an interesting modification of the subproblem termination rules, leading to an even more compact complexity analysis. In particular, it is shown when the Newton's step is acceptable for an adaptive regularization method. The approximate minimization of quadratic polynomials regularized with non-smooth norms is then discussed, and a new approximate second-order necessary optimality condition is derived for this case. An specialized algorithm is then proposed to enforce the first- and second-order conditions that are strong enough to ensure the existence of a suitable step in AR1pGN (when $p=2$) and in AR2GN, and its iteration complexity is analyzed.


abstract: Our objective in this paper is to present the sequence of Stancu type operators including generalized Brenke polynomials. We answer the problem of uniform approximation of continuous functions on closed bounded interval and the problem of the order of this convergence estimate by known tools in approximation theory. Furthermore, we apply some of the results obtained in this work to Miller-Lee polynomials and Gould-Hopper polynomials.


title: Projections with logarithmic divergences

abstract: In information geometry, generalized exponential families and statistical manifolds with curvature are under active investigation in recent years. In this paper we consider the statistical manifold induced by a logarithmic $L^{(\alpha)}$-divergence which generalizes the Bregman divergence. It is known that such a manifold is dually projectively flat with constant negative sectional curvature, and is closely related to the $\mathcal{F}^{(\alpha)}$-family, a generalized exponential family introduced by the second author. Our main result constructs a dual foliation of the statistical manifold, i.e., an orthogonal decomposition consisting of primal and dual autoparallel submanifolds. This decomposition, which can be naturally interpreted in terms of primal and dual projections with respect to the logarithmic divergence, extends the dual foliation of a dually flat manifold studied by Amari. As an application, we formulate a new $L^{(\alpha)}$-PCA problem which generalizes the exponential family PCA.


title: Self-Learning for Received Signal Strength Map Reconstruction with Neural Architecture Search

abstract: In this paper, we present a Neural Network (NN) model based on Neural Architecture Search (NAS) and self-learning for received signal strength (RSS) map reconstruction out of sparse single-snapshot input measurements, in the case where data-augmentation by side deterministic simulations cannot be performed. The approach first finds an optimal NN architecture and simultaneously train the deduced model over some ground-truth measurements of a given (RSS) map. These ground-truth measurements along with the predictions of the model over a set of randomly chosen points are then used to train a second NN model having the same architecture. Experimental results show that signal predictions of this second model outperforms non-learning based interpolation state-of-the-art techniques and NN models with no architecture search on five large-scale maps of RSS measurements.


title: Complex Frequency

abstract: The paper introduces the concept of complex frequency. The imaginary part of the complex frequency is the variation with respect of a synchronous reference of the local bus frequency as commonly defined in power system studies. The real part is defined based on the variation of the voltage magnitude. The latter term is crucial for the correct interpretation and analysis of the variation of the frequency at each bus of the network. The paper also develops a set of differential equations that describe the link between complex powers and complex frequencies at network buses in transient conditions. No simplifications are assumed except for constant elements of the network admittance matrix. A variety of analytical and numerical examples show the applications and potentials of the proposed concept.


title: $p$-robust equilibrated flux reconstruction in ${\boldsymbol H}(\mathrm{curl})$ based on local minimizations. Application to a posteriori analysis of the curl-curl problem

abstract: We present a local construction of H(curl)-conforming piecewise polynomials satisfying a prescribed curl constraint. We start from a piecewise polynomial not contained in the H(curl) space but satisfying a suitable orthogonality property. The procedure employs minimizations in vertex patches and the outcome is, up to a generic constant independent of the underlying polynomial degree, as accurate as the best-approximations over the entire local versions of H(curl). This allows to design guaranteed, fully computable, constant-free, and polynomial-degree-robust a posteriori error estimates of Prager-Synge type for N\'ed\'elec finite element approximations of the curl-curl problem. A divergence-free decomposition of a divergence-free H(div)-conforming piecewise polynomial, relying on over-constrained minimizations in Raviart-Thomas spaces, is the key ingredient. Numerical results illustrate the theoretical developments.


title: Deep Learning Models in Software Requirements Engineering

abstract: Requirements elicitation is an important phase of any software project: the errors in requirements are more expensive to fix than the errors introduced at later stages of software life cycle. Nevertheless, many projects do not devote sufficient time to requirements. Automated requirements generation can improve the quality of software projects. In this article we have accomplished the first step of the research on this topic: we have applied the vanilla sentence autoencoder to the sentence generation task and evaluated its performance. The generated sentences are not plausible English and contain only a few meaningful words. We believe that applying the model to a larger dataset may produce significantly better results. Further research is needed to improve the quality of generated data.


title: On uniqueness results for the Benjamin equation

abstract: We prove that the uniqueness results obtained in \cite{urrea} for the Benjamin equation, cannot be extended for any pair of non-vanishing solutions. On the other hand, we study uniqueness results of solutions of the Benjamin equation. With this purpose, we showed that for any solutions $u$ and $v$ defined in $\R\times [0,T]$, if there exists an open set $I\subset \R$ such that $u(\cdot,0)$ and $v(\cdot,0)$ agree in $I$, $\p_t u(\cdot,0)$ and $\p_t v(\cdot,0)$ agree in $I$, then $u\equiv v$. To finish, a better version of this uniqueness result is also established.


title: Spanish philosophers perceptions of pay to publish and open access: books versus journals, more than a financial dilemma

abstract: This study examines habits and perceptions related to pay to publish and open access practices in fields that have attracted little research to date: philosophy and ethics. The study is undertaken in the Spanish context, where the culture of publication and the book and journal publishing industry has some specific characteristics with regard to paying to publish, such as not offering open access distribution of books published for a fee. The study draws on data from a survey of 201 researchers, a public debate with 26 researchers, and 14 in-depth interviews. The results reveal some interesting insights on the criteria researchers apply when selecting publishers and journals for their work, the extent of paying to publish (widespread in the case of books and modest for journals) and the debates that arise over the effects it has on manuscript review and unequal access to resources to cover publication fees. Data on the extent of open access and the researchers views on dissemination of publicly funded research are also presented.


title: A Systematic Investigation of the Coupling between One-Dimensional Edge States of a Topological Crystalline Insulator

abstract: The interaction of spin-polarized one-dimensional (1D) topological edge modes localized along single-atomic steps of the topological crystalline insulator $Pb_{0.7}Sn_{0.3}Se(001)$ has been studied systematically by scanning tunneling spectroscopy. Our results reveal that the coupling of adjacent edge modes sets in at a step{to{step distance $d_{ss} < 25$ nm, resulting in a characteristic splitting of a single peak at the Dirac point in tunneling spectra. Whereas the energy splitting exponentially increases with decreasing $d_{ss}$ for single-atomic steps running almost parallel, we find no splitting for single-atomic step edges under an angle of $90^{o}$. The results are discussed in terms of overlapping wave functions with $p_x; p_y$ orbital character.


title: Be Causal: De-biasing Social Network Confounding in Recommendation

abstract: In recommendation systems, the existence of the missing-not-at-random (MNAR) problem results in the selection bias issue, degrading the recommendation performance ultimately. A common practice to address MNAR is to treat missing entries from the so-called "exposure" perspective, i.e., modeling how an item is exposed (provided) to a user. Most of the existing approaches use heuristic models or re-weighting strategy on observed ratings to mimic the missing-at-random setting. However, little research has been done to reveal how the ratings are missing from a causal perspective. To bridge the gap, we propose an unbiased and robust method called DENC (De-bias Network Confounding in Recommendation) inspired by confounder analysis in causal inference. In general, DENC provides a causal analysis on MNAR from both the inherent factors (e.g., latent user or item factors) and auxiliary network's perspective. Particularly, the proposed exposure model in DENC can control the social network confounder meanwhile preserves the observed exposure information. We also develop a deconfounding model through the balanced representation learning to retain the primary user and item features, which enables DENC generalize well on the rating prediction. Extensive experiments on three datasets validate that our proposed model outperforms the state-of-the-art baselines.


title: DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification

abstract: The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tools, even if we restrict ourselves to networks with a piecewise linear structure. However, such networks yields subregions that are linear and thus simpler to analyse independently. In this paper, we propose a method to simplify the verification problem by operating a partitionning into multiple linear subproblems. To evaluate the feasibility of such an approach, we perform an empirical analysis of neural networks to estimate the number of linear regions, and compare them to the bounds currently known. We also present the impact of a technique aiming at reducing the number of linear regions during training.


title: Diet Soda and Liquid Nitrogen

abstract: Letter to the Editor about how the diet soda and Mentos reaction can be produced by the direct immersion of a plastic soda bottle in liquid nitrogen.


title: Regge conformal blocks from the Rindler-AdS black hole and the pole-skipping phenomena

abstract: We study a holographic construction of conformal blocks in the Regge limit of four-point scalar correlation functions by using coordinates of the two-sided Rindler-AdS black hole. As a generalization of geodesic Witten diagrams, we construct diagrams with four external scalar fields in the Rindler-AdS black hole by integrating over two half-geodesics between the centers of Penrose diagrams and points at the AdS boundary. We demonstrate that late-time behaviors of the diagrams coincide with the Regge behaviors of conformal blocks. We also point out their relevance with the pole-skipping phenomena by showing that the near-horizon analysis of symmetric traceless fields with any integer spin in the Rindler-AdS black hole can capture the Regge behaviors of conformal blocks.


title: IKT16: Discovery of a 22 ms energetic rotation-powered pulsar in the Small Magellanic Cloud

abstract: We report here on the discovery with XMM-Newton of pulsations at 22 ms from the central compact source associated with IKT16, a supernova remnant in the Small Magellanic Cloud (SMC). The measured spin period and spin period derivative correspond to 21.7661076(2) ms and $2.9(3)\times10^{-14}$ s,s$^{-1}$, respectively. Assuming standard spin-down by magnetic dipole radiation, the spin-down power corresponds to $1.1\times10^{38}$,erg,s$^{-1}$ implying a Crab-like pulsar. This makes it the most energetic pulsar discovered in the SMC so far and a close analogue of PSR J0537--6910, a Crab-like pulsar in the Large Magellanic Cloud. The characteristic age of the pulsar is 12 kyr. Having for the first time a period measure for this source, we also searched for the signal in archival data collected in radio with the Parkes telescope and in Gamma-rays with the Fermi/LAT, but no evidence for pulsation was found in these energy bands.


title: Jacob's ladders, class of crossbreeding conserving certain cell of meta-functional equations and existence of cancerous growth of that cell

abstract: In this paper a set of 48 crossbreedings on certain cell of meta-functional equations preserving the cell is obtained. In opposite direction we presente an example of very complicated meta-functional equation not obtained in basic cell though it is generated by sequence of internal crossbreedings. Such a formula is called as \emph{cancerous growth} on the basic cell.


title: Shell-model description for the first-forbidden $\beta^-$ decay of $^{207}$Hg into the one-proton-hole nucleus $^{207}$Tl

abstract: In this work, we have performed large-scale shell-model calculations for the first-forbidden $\beta ^{-}$ decay of $^{207}$Hg into the one-proton-hole nucleus $^{207}$Tl corresponding to the recently available experimental data from ISOLDE-CERN [T. A. Berry et al., Phys. Rev. C 101, 054311 (2020)]. We have used the one-particle one-hole ($1p$-$1h$) truncation for both protons and neutrons simultaneously across the doubly-shell closure at $^{208}$Pb in the final states of $^{207}$Tl. In our calculations, we have also considered the effect of mesonic enhancement $\epsilon _{\mathrm{mec}}=2.01\pm 0.05$ in the rank-0 for the axial-charge matrix element $\gamma _{5}$. Here, we have calculated the $\log ft$ values from the ground-state of $^{207}$Hg to the several excited states of $^{207}$Tl and obtained a good agreement between the calculated and the experimental data. In the experimental data spin and parity for some states are not yet confirmed, thus based on the shell-model results for the $\log ft$ values we have given the prediction for these states. This is the first theoretical calculation for the $\log ft$ values for these transitions.


title: A fast vectorized sorting implementation based on the ARM scalable vector extension (SVE)

abstract: The way developers implement their algorithms and how these implementations behave on modern CPUs are governed by the design and organization of these. The vectorization units (SIMD) are among the few CPUs' parts that can and must be explicitly controlled. In the HPC community, the x86 CPUs and their vectorization instruction sets were de-facto the standard for decades. Each new release of an instruction set was usually a doubling of the vector length coupled with new operations. Each generation was pushing for adapting and improving previous implementations. The release of the ARM scalable vector extension (SVE) changed things radically for several reasons. First, we expect ARM processors to equip many supercomputers in the next years. Second, SVE's interface is different in several aspects from the x86 extensions as it provides different instructions, uses a predicate to control most operations, and has a vector size that is only known at execution time. Therefore, using SVE opens new challenges on how to adapt algorithms including the ones that are already well-optimized on x86. In this paper, we port a hybrid sort based on the well-known Quicksort and Bitonic-sort algorithms. We use a Bitonic sort to process small partitions/arrays and a vectorized partitioning implementation to divide the partitions. We explain how we use the predicates and how we manage the non-static vector size. We explain how we efficiently implement the sorting kernels. Our approach only needs an array of O(log N) for the recursive calls in the partitioning phase, both in the sequential and in the parallel case. We test the performance of our approach on a modern ARMv8.2 and assess the different layers of our implementation by sorting/partitioning integers, double floating-point numbers, and key/value pairs of integers. Our approach is faster than the GNU C++ sort algorithm by a speedup factor of 4 on average.


title: Insulator-to-Metal Crossover near the Edge of the Superconducting Dome in Nd$_{1-x}$Sr$_x$NiO$_2$

abstract: We report a systematic magnetotransport study of superconducting infinite-layer nickelate thin films Nd$_{1-x}$Sr$_x$NiO$_2$ with $0.15 \leq x \leq 0.225$. By suppressing superconductivity with out-of-plane magnetic fields up to 37.5 T, we find that the normal state resistivity of Nd$_{1-x}$Sr$_x$NiO$_2$ is characterized by a crossover from a metallic $T^2$-behavior to an insulating log(1/$T$)-behavior for all $x$ except $x = 0.225$, at which the resistivity is predominantly metallic. The log(1/$T$)-behavior is found to be robust against magnetic fields, inconsistent with scenarios involving localization or Kondo scattering, and points to an anomalous insulating state possibly driven by strong correlations. In the metallic state, we find no evidence for non-Fermi-liquid behavior arising from proximity to a putative quantum critical point located inside the superconducting dome.


title: Multi-output, multi-level, multi-gate design using non-linear programming

abstract: Using logic gates is the traditional way of designing logic circuits. However, most of the minimization algorithms concern a limited set of gates (complete sets), like sum of products, exclusive-or sum of products, NAND gates, NOR gates e.t.c.. In this paper, a method is proposed for minimizing multi-output Boolean functions using any kind of two-input gates although it can easily be extended to multi-input gates. The method is based on non-linear mixed integer programming. The experimental results show that the method gives the same or better results compared to other methods available in the literature. However, other methods do not ensure that they produce the minimal solution, while the main advantages of the proposed method are that it does guarantee minimality and it can also handle Boolean functions for incompletely specified functions. The method is general enough and can easily be extended to more complicated design modules than just basic gates.


title: Algebraic degree of optimization over a variety with an application to $p$-norm distance degree

abstract: We study an optimization problem with the feasible set being a real algebraic variety $X$ and whose parametric objective function $f_u$ is gradient-solvable with respect to the parametric data $u$. This class of problems includes Euclidean distance optimization as well as maximum likelihood optimization. For these particular optimization problems, a prominent role is played by the ED and ML correspondence, respectively. To our generalized optimization problem we attach an optimization correspondence and show that it is equidimensional. This leads to the notion of algebraic degree of optimization on $X$. We apply these results to $p$-norm optimization, and define the $p$-norm distance degree of $X$, which coincides with the ED degree of $X$ for $p=2$. Finally, we derive a formula for the $p$-norm distance degree of $X$ as a weighted sum of the polar classes of $X$ under suitable transversality conditions.


title: Development of a new wideband heterodyne receiver system for the Osaka 1.85-m mm-submm telescope -- Receiver development & the first light of simultaneous observation in 230GHz and 345GHz bands with an SIS-mixer with 4-21GHz IF output

abstract: We have developed a wideband receiver system for simultaneous observations in CO lines of J = 2-1 and J = 3-2 transitions using the Osaka 1.85-m mm-submm telescope. As a frequency separation system, we developed multiplexers that connect three types of diplexers, each consisting of branch-line couplers and high-pass filters. The radio frequency (RF) signal is eventually distributed into four frequency bands, each of which is fed to a superconductor-insulator-superconductor (SIS) mixer. The RF signal from the horn is divided into two frequency bands by a wideband diplexer with a fractional bandwidth of 56%, and then each frequency band is further divided into two bands by each diplexer. The developed multiplexers were designed, fabricated, and characterized using a vector network analyzer. The measurement results showed good agreement with the simulation. The receiver noise temperature was measured by connecting the SIS-mixers, one of which has a wideband 4-21GHz intermediate frequency (IF) output. The receiver noise temperatures were measured to be ~70K in the 220GHz band, ~100K in the 230GHz band, 110-175K in the 330GHz band, and 150-250K in the 345GHz band. This receiver system has been installed on the 1.85-m telescope at the Nobeyama Radio Observatory. We succeeded in the simultaneous observations of six CO isotopologue lines with the transitions of J = 2-1 and J = 3-2 toward the Orion KL as well as the on-the-fly (OTF) mappings toward the Orion KL and W 51.


title: Thermodynamic structure of a generic null surface and the zeroth law in scalar-tensor theory

abstract: We show that the equation of motion of scalar-tensor theory acquires thermodynamic identity when projected on a generic null surface. The relevant projection is given by $E_{ab}l^ak^b$, where $E_{ab} =8\pi T_{ab}^{(m)}$ represents the equation motion for gravitational field in presence of external matter, $l^a$ is the generator of the null surface and $k^a$ is the corresponding auxiliary null vector. Our analysis is done completely in a covariant way. Therefore all the thermodynamic quantities are in covariant form and hence can be used for any specific form of metric adapted to a null surface. We show this both in Einstein and Jordan frames and find that these two frames provide equivalent thermodynamic quantities. This is consistent with the previous findings for a Killing horizon. Also, a concrete proof of the zeroth law in scalar-tensor theory is provided when the null surface is defined by a Killing vector.


title: Kim-independence in positive logic

abstract: An important dividing line in the class of unstable theories is being NSOP$_1$, which is more general than being simple. In NSOP$_1$ theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by another independence notion, called Kim-independence. We generalise Kim-independence over models in NSOP$_1$ theories to positive logic -- a proper generalisation of first-order logic where negation is not built in, but can be added as desired. For example, an important application is that we can add hyperimaginary sorts to a positive theory to get another positive theory, preserving NSOP$_1$ and various other properties. We prove that, in a thick positive NSOP$_1$ theory, Kim-independence over existentially closed models has all the nice properties that it is known to have in a first-order NSOP$_1$ theory. We also provide a Kim-Pillay style theorem, characterising which thick positive theories are NSOP$_1$ by the existence of a certain independence relation. Furthermore, this independence relation must then be the same as Kim-independence. Thickness is the mild assumption that being an indiscernible sequence is type-definable. In first-order logic Kim-independence is defined in terms of Morley sequences in global invariant types. These may not exist in thick positive theories. We solve this by working with Morley sequences in global Lascar-invariant types, which do exist in thick positive theories. We also simplify certain tree constructions that were used in the study of Kim-independence in first-order theories. In particular, we only work with trees of finite height.


title: Temporal Prediction and Evaluation of Brassica Growth in the Field using Conditional Generative Adversarial Networks

abstract: Farmers frequently assess plant growth and performance as basis for making decisions when to take action in the field, such as fertilization, weed control, or harvesting. The prediction of plant growth is a major challenge, as it is affected by numerous and highly variable environmental factors. This paper proposes a novel monitoring approach that comprises high-throughput imaging sensor measurements and their automatic analysis to predict future plant growth. Our approach's core is a novel machine learning-based generative growth model based on conditional generative adversarial networks, which is able to predict the future appearance of individual plants. In experiments with RGB time-series images of laboratory-grown Arabidopsis thaliana and field-grown cauliflower plants, we show that our approach produces realistic, reliable, and reasonable images of future growth stages. The automatic interpretation of the generated images through neural network-based instance segmentation allows the derivation of various phenotypic traits that describe plant growth.


title: Statistical study of electron density turbulence and ion-cyclotron waves in the inner heliosphere: Solar Orbiter observations

abstract: The recently released spacecraft potential measured by the RPW instrument on-board Solar Orbiter has been used to estimate the solar wind electron density in the inner heliosphere. Solar-wind electron density measured during June 2020 has been analysed to obtain a thorough characterization of the turbulence and intermittency properties of the fluctuations. Magnetic field data have been used to describe the presence of ion-scale waves. Selected intervals have been extracted to study and quantify the properties of turbulence. The Empirical Mode Decomposition has been used to obtain the generalized marginal Hilbert spectrum, equivalent to the structure functions analysis, and additionally reducing issues typical of non-stationary, short time series. The presence of waves was quantitatively determined introducing a parameter describing the time-dependent, frequency-filtered wave power. A well defined inertial range with power-law scaling has been found almost everywhere. However, the Kolmogorov scaling and the typical intermittency effects are only present in part of the samples. Other intervals have shallower spectra and more irregular intermittency, not described by models of turbulence. These are observed predominantly during intervals of enhanced ion frequency wave activity. Comparisons with compressible magnetic field intermittency (from the MAG instrument) and with an estimate of the solar wind velocity (using electric and magnetic field) are also provided to give general context and help determine the cause for the anomalous fluctuations.


title: A hierarchical preconditioner for wave problems in quasilinear complexity

abstract: The paper introduces a novel, hierarchical preconditioner based on nested dissection and hierarchical matrix compression. The preconditioner is intended for continuous and discontinuous Galerkin formulations of elliptic problems. We exploit the property that Schur complements arising in such problems can be well approximated by hierarchical matrices. An approximate factorization can be computed matrix-free and in a (quasi-)linear number of operations. The nested dissection is specifically designed to aid the factorization process using hierarchical matrices. We demonstrate the viability of the preconditioner on a range of 2D problems, including the Helmholtz equation and the elastic wave equation. Throughout all tests, including wave phenomena with high wavenumbers, the generalized minimal residual method (GMRES) with the proposed preconditioner converges in a very low number of iterations. We demonstrate that this is due to the hierarchical nature of our approach which makes the high wavenumber limit manageable.