title: A Priori Analysis of a Symmetric Interior Penalty Discontinuous Galerkin Finite Element Method for a Dynamic Linear Viscoelasticity Model

abstract: The stress-strain constitutive law for viscoelastic materials such as soft tissues, metals at high temperature, and polymers, can be written as a Volterra integral equation of the second kind with a \emph{fading memory} kernel. This integral relationship yields current stress for a given strain history and can be used in the momentum balance law to derive a mathematical model for the resulting deformation. We consider such a dynamic linear viscoelastic model problem resulting from using a \textit{Dirichlet-Prony} series of decaying exponentials to provide the fading memory in the Volterra kernel. We introduce two types of \textit{internal variable} to replace the Volterra integral with a system of auxiliary ordinary differential equations and then use a spatially discontinuous symmetric interior penalty Galerkin (SIPG) finite element method and -- in time -- a Crank-Nicolson method to formulate the fully discrete problems: one for each type of internal variable. We present \textit{a priori} stability and error analyses without using Gr\"onwall's inequality, and with the result that the constants in our estimates grow linearly with time rather than exponentially. In this sense the schemes are therefore suited to simulating long time viscoelastic response and this (to our knowledge) is the first time that such high quality estimates have been presented for SIPG finite element approximation of dynamic viscoelasticty problems. We also carry out a number of numerical experiments using the FEniCS environment (e.g. \url{https://fenicsproject.org}) and explain how the codes can be obtained and the results reproduced.


title: On particle acceleration and transport in plasmas in the Galaxy: theory and observations

abstract: Accelerated particles are ubiquitous in the Cosmos and play a fundamental role in many processes governing the evolution of the Universe at all scales, from the sub-AU ones relevant for the formation and evolution of stars and planets to the Mpc ones involved in Galaxy assembly. We reveal the presence of energetic particles in many classes of astrophysical sources thanks to their production of non-thermal radiation, and we detect them directly at Earth as Cosmic Rays. In the last two decades both direct and indirect observations have provided us a wealth of new, high quality data about Cosmic Rays and their interactions both in sources and during propagation, in the Galaxy and in the solar system. Some of the new data have confirmed existing theories about particle acceleration and propagation and their interplay with the environment in which they occur. Some others have brought about interesting surprises, whose interpretation is not straightforward within the standard framework and may require a change of paradigm in terms of our ideas about the origin of cosmic rays of different species or in different energy ranges. In this article, we will focus on Cosmic Rays of galactic origin, namely with energies below a few PeV, where a steepening is observed in the spectrum of energetic particles detected at the Earth. We review the recent observational findings and the current status of the theory about the origin and propagation of Galactic Cosmic Rays.


title: Shining Light on the Microscopic Resonant Mechanism Responsible for Cavity-Mediated Chemical Reactivity

abstract: Strong light-matter interaction in cavity environments is emerging as a promising approach to control chemical reactions in a non-intrusive and efficient manner. The underlying mechanism that distinguishes between steering, accelerating, or decelerating a chemical reaction has, however, remained unclear, hampering progress in this frontier area of research. We leverage quantum-electrodynamical density-functional theory to unveil the microscopic mechanism behind the experimentally observed reduced reaction rate under cavity induced resonant vibrational strong light-matter coupling. We observe multiple resonances and obtain the thus far theoretically elusive but experimentally critical resonant feature for a single strongly-coupled molecule undergoing the reaction. While we do not explicitly account for collective coupling or intermolecular interactions, the qualitative agreement with experimental measurements suggests that our conclusions can be largely abstracted towards the experimental realization. Specifically, we find that the cavity mode acts as mediator between different vibrational modes. In effect, vibrational energy localized in single bonds that are critical for the reaction is redistributed differently which ultimately inhibits the reaction.


title: Index Modulation Based Coordinate Interleaved Orthogonal Design for Secure Communications

abstract: In this paper, we propose a physical layer security scheme that exploits a novel index modulation (IM) technique for coordinate interleaved orthogonal designs (CIOD). Utilizing the diversity gain of CIOD transmission, the proposed scheme, named CIOD-IM, provides an improved spectral efficiency by means of IM. In order to provide a satisfactory secrecy rate, we design a particular artificial noise matrix, which does not affect the performance of the legitimate receiver, while deteriorating the performance of the eavesdropper. We derive expressions of the ergodic secrecy rate and the theoretical bit error rate upper bound. In addition, we analyze the case of imperfect channel estimation by taking practical concerns into consideration. It is shown via computer simulations that the proposed scheme outperforms the existing IM-based schemes and might be a candidate for future secure communication systems.


title: A functional autoregressive model based on exogenous hydrometeorological variables for river flow prediction

abstract: In this research, a functional time series model was introduced to predict future realizations of river flow time series. The proposed model was constructed based on a functional time series's correlated lags and the essential exogenous climate variables. Rainfall, temperature, and evaporation variables were hypothesized to have substantial functionality in river flow simulation. Because an actual time series model is unspecified and the input variables' significance for the learning process is unknown in practice, it was employed a variable selection procedure to determine only the significant variables for the model. A nonparametric bootstrap model was also proposed to investigate predictions' uncertainty and construct pointwise prediction intervals for the river flow curve time series. Historical datasets at three meteorological stations (Mosul, Baghdad, and Kut) located in the semi-arid region, Iraq, were used for model development. The prediction performance of the proposed model was validated against existing functional and traditional time series models. The numerical analyses revealed that the proposed model provides competitive or even better performance than the benchmark models. Also, the incorporated exogenous climate variables have substantially improved the modeling predictability performance. Overall, the proposed model indicated a reliable methodology for modeling river flow within the semi-arid region.


title: Generation of musical patterns through operads

abstract: We introduce the notion of multi-pattern, a combinatorial abstraction of polyphonic musical phrases. The interest of this approach lies in the fact that this offers a way to compose two multi-patterns in order to produce a longer one. This dives musical phrases into an algebraic context since the set of multi-patterns has the structure of an operad; operads being structures offering a formalization of the notion of operators and their compositions. Seeing musical phrases as operators allows us to perform computations on phrases and admits applications in generative music: given a set of short patterns, we propose various algorithms to randomly generate a new and longer phrase inspired by the inputted patterns.


title: Hyperfine-mediated transitions between electronic spin-1/2 levels of transition metal defects in SiC

abstract: Transition metal defects in SiC give rise to localized electronic states that can be optically addressed in the telecom range in an industrially mature semiconductor platform. This has led to intense scrutiny of the spin and optical properties of these defect centers. For spin-1/2 defects, a combination of the defect symmetry and the strong spin-orbit coupling may restrict the allowed spin transitions, giving rise to defect spins that are long lived, but hard to address via microwave spin manipulation. Here, we show via analytical and numerical results that the presence of a central nuclear spin can lead to a non-trivial mixing of electronic spin states, while preserving the defect symmetry. The interplay between a small applied magnetic field and hyperfine coupling opens up magnetic microwave transitions that are forbidden in the absence of hyperfine coupling, enabling efficient manipulation of the electronic spin. We also find that an electric microwave field parallel to the c-axis can be used to manipulate the electronic spin via modulation of the relative strength of the dipolar hyperfine term.


title: External points to a conic from a Baer subplane

abstract: For an irreducible conic $\mathcal C$ in a Desarguesian plane of odd square order, estimating the number of points from a Baer subplane which are external to $\mathcal C$ is a natural problem. In this paper, a complete list of possibilities is determined for the case where $\mathcal C$ shares at least one point with the subplane.


title: Uncertain AoI in Stochastic Optimal Control of Networked and Constrained LTI Systems

abstract: This paper addresses finite-time horizon optimal control of single-loop networked control systems with stochastically modeled communication channel and disturbances. To cope with the uncertainties, an optimization-based control scheme is proposed which uses a disturbance feedback and the age of information as central aspects. The disturbance feedback is an extension of the control law used for balanced stochastic optimal control previously proposed for control systems without network. Balanced optimality is understood as a compromise between minimizing of expected deviations from the reference and minimization of the uncertainty of future states. Time-varying state constraints as well as time-invariant input constraints are considered, and the controllers are synthesized by semi-definite programs.


title: Designing Optimal Key Lengths and Control Laws for Encrypted Control Systems based on Sample Identifying Complexity and Deciphering Time

abstract: In the state-of-the-art literature on cryptography and control theory, there has been no systematic methodology of constructing cyber-physical systems that can achieve desired control performance while being protected against eavesdropping attacks. In this paper, we tackle this challenging problem. We first propose two novel notions referred to as sample identifying complexity and sample deciphering time in an encrypted-control framework. The former explicitly captures the relation between the dynamical characteristics of control systems and the level of identifiability of the systems while the latter shows the relation between the computation time for the identification and the key length of a cryptosystem. Based on these two tractable new notions, we propose a systematic method for designing the both of an optimal key length to prevent system identification with a given precision within a given life span of systems, and of an optimal controller to maximize both of the control performance and the difficulty of the identification. The efficiency of the proposed method in terms of security level and realtime-ness is investigated through numerical simulations. To the best of our knowledge, this paper first connect the relationship between the security of cryptography and dynamical systems from a control-theoretic perspective.


title: Towards Rigorous Interpretations: a Formalisation of Feature Attribution

abstract: Feature attribution is often loosely presented as the process of selecting a subset of relevant features as a rationale of a prediction. Task-dependent by nature, precise definitions of "relevance" encountered in the literature are however not always consistent. This lack of clarity stems from the fact that we usually do not have access to any notion of ground-truth attribution and from a more general debate on what good interpretations are. In this paper we propose to formalise feature selection/attribution based on the concept of relaxed functional dependence. In particular, we extend our notions to the instance-wise setting and derive necessary properties for candidate selection solutions, while leaving room for task-dependence. By computing ground-truth attributions on synthetic datasets, we evaluate many state-of-the-art attribution methods and show that, even when optimised, some fail to verify the proposed properties and provide wrong solutions.


title: Emergence of spin-orbit coupled ferromagnetic surface state derived from Zak phase in a nonmagnetic insulator FeSi

abstract: A chiral compound FeSi is a nonmagnetic narrow-gap insulator, exhibiting peculiar charge and spin dynamics beyond a simple band-structure picture. Those unusual features have been attracting renewed attention from topological aspects. Although a signature of surface conduction was indicated according to size-dependent resistivity in bulk crystals, its existence and topological properties remain elusive. Here we demonstrate an inherent surface ferromagnetic-metal state of FeSi thin films and its strong spin-orbit-coupling (SOC) properties through multiple characterizations of the two-dimensional (2D) conductance, magnetization and spintronic functionality. Terminated covalent-bonding orbitals constitute the polar surface state with momentum-dependent spin textures due to Rashba-type spin splitting, as corroborated by unidirectional magnetoresistance measurements and first-principles calculations. As a consequence of the spin-momentum locking, non-equilibrium spin accumulation causes magnetization switching. These surface properties are closely related to the Zak phase of the bulk band topology. Our findings propose another route to explore noble-metal-free materials for SOC-based spin manipulation.


title: UBVRI observations of the flickering of the dwarf nova RX And

abstract: We report observations of the flickering variability of the dwarf nova RX And in five bands (UBVRI) on two nights. On 25 October 2019 the brightness of the star was $B\approx 13.9$ mag, the amplitude of the flickering was 0.47 mag, and we estimate for the flickering source temperature $T_{fl} = 10700 \pm 400$ K, and radius $R_{fl} =0.046 \pm 0.004$ $R_\odot$. On 2 January 2020, the star was about 3 magnitudes brighter ($B \approx 10.7$), the amplitude of the flickering was significantly lower (0.07 mag) and we derive for the flickering source $T_{fl} = 9600 \pm 700$ K, and radius $R_{fl} = 0.098 \pm 0.009$ $R_\odot$. The results indicate that 3 magnitudes brightening of the star doubled the radius of the flickering source. The data are available upon request from the authors.


title: Site selective 5$f$ electronic correlations in $\beta$-uranium

abstract: We studied the electronic structure of $\beta$-uranium, which has five non-equivalent atomic sites in its unit cell, by means of the density functional theory plus Hubbard-$U$ correction. We found that the 5$f$ electronic correlations in $\beta$-uranium are moderate. More interesting, their strengths are site selective, depending on the averaged bond length between the present uranium atom and its neighbors. As a consequence, the 5$f$ density of states, occupation matrices, and charge distributions of $\beta$-uranium manifest strongly site dependence.


title: Hierarchy of higher-order topological superconductors in three dimensions

abstract: After exploring much on two-dimensional higher-order topological superconductors (HOTSCs) hosting Majorana corner modes (MCMs) only, we propose a simple fermionic model based on a three-dimensional topological insulator proximized with $s$-wave superconductor to realize Majorana hinge modes (MHMs) followed by MCMs under the application of appropriate Wilson-Dirac perturbations. We interestingly find that the second-order topological superconductor, hosting MHMs, appears above a threshold value of the first type perturbation while the third-order topological superconducting phase, supporting MCMs, immediately arises incorporating infinitesimal perturbation of the second kind. Thus, a hierarchy of HOTSC phases can be realized in a single three-dimensional model. Additionally, the application of bulk magnetic field is found to be instrumental in manipulating the number of MHMs, leaving the number for MCMs unaltered. We analytically understand these above-mentioned numerical findings by resorting to the low energy model. We further characterize these topological phases with a distinct structure of the Wannier spectra. From the practical point of view, we manifest quantized transport signatures of these higher-order modes. Finally, we construct Floquet engineering to generate the hierarchy of HOTSC phases by kicking the same perturbations as considered in their static counterpart.


title: A Giant Molecular Cloud Catalog in the Molecular Disk of the Elliptical Galaxy NGC 5128 (Centaurus A)

abstract: We present the first census of giant molecular clouds (GMCs) complete down to 10$^6 M_{\odot}$ and within the inner 4 kpc of the nearest giant elliptical and powerful radio galaxy, Centaurus A. We identified 689 GMCs using CO(1--0) data with 1" spatial resolution ($\sim 20$ pc) and 2 km/s velocity resolution obtained with the Atacama Large Millimeter/submillimeter Array (ALMA). The $I$(CO)-$N$(H$_2$) conversion factor based on the virial method is $X_{\rm CO}$ = $(2 \pm 1 )\times10^{20}$ cm$^{-2}$(K km/s)$^{-1}$ for the entire molecular disk, consistent with that of the disks of spiral galaxies including the Milky Way, and $X_{\rm CO}$ = $(5 \pm 2)\times10^{20}$ cm$^{-2}$(K km/s)$^{-1}$ for the circumnuclear disk (CND, within a galactocentric radius of 200 pc). We obtained the GMC mass spectrum distribution and find that the best-truncated power-law fit for the whole molecular disk, with index $\gamma \simeq -2.41 \pm 0.02$ and upper cutoff mass $\sim 1.3 \times 10^{7} M_{\odot}$, is also in agreement with that of nearby disk galaxies. A trend is found in the mass spectrum index from steep to shallow as we move to inner radii. Although the GMCs are in an elliptical galaxy, the general GMC properties in the molecular disk are as in spiral galaxies. However, in the CND, large offsets in the line-width-size scaling relations ($\sim$ 0.3 dex higher than those in the GMCs in the molecular disk), a different $X_{\rm CO}$ factor, and the shallowest GMC mass distribution shape ($\gamma = -1.1 \pm 0.2$) all suggest that there the GMCs are most strongly affected by the presence of the AGN and/or shear motions.


title: Joint Activity Detection and Data Decoding in Massive Random Access via a Turbo Receiver

abstract: In this paper, we propose a turbo receiver for joint activity detection and data decoding in grant-free massive random access, which iterates between a detector and a belief propagation (BP)-based channel decoder. Specifically, responsible for user activity detection, channel estimation, and soft data symbol detection, the detector is developed based on a bilinear inference problem that exploits the common sparsity pattern in the received pilot and data signals. The bilinear generalized approximate message passing (BiG-AMP) algorithm is adopted to solve the problem using probabilities of the transmitted data symbols estimated by the channel decoder as prior knowledge. In addition, extrinsic information is derived from the detector to improve the channel decoding accuracy of the decoder. Simulation results show significant improvements achieved by the proposed turbo receiver compared with conventional designs.


title: Improved Bounded Model Checking of Timed Automata

abstract: Timed Automata (TA) are a very popular modeling formalism for systems with time-sensitive properties. A common task is to verify if a network of TA satisfies a given property, usually expressed in Linear Temporal Logic (LTL), or in a subset of Timed Computation Tree Logic (TCTL). In this paper, we build upon the TACK bounded model checker for TA, which supports a signal-based semantics of TA and the richer Metric Interval Temporal Logic (MITL). TACK encodes both the TA network and property into a variant of LTL, Constraint LTL over clocks (CLTLoc). The produced CLTLoc formula can then be solved by tools such as Zot, which transforms CLTLoc properties into the input logics of Satisfiability Modulo Theories (SMT) solvers. We present a novel method that preserves TACK's encoding of MITL properties while encoding the TA network directly into the SMT solver language, making use of both the BitVector logic and the logic of real arithmetics. We also introduce several optimizations that allow us to significantly outperform the CLTLoc encoding in many practical scenarios.


title: Bijective proofs for Eulerian numbers of types B and D

abstract: Let $\Bigl\langle\matrix{n\cr k}\Bigr\rangle$, $\Bigl\langle\matrix{B_n\cr k}\Bigr\rangle$, and $\Bigl\langle\matrix{D_n\cr k}\Bigr\rangle$ be the Eulerian numbers in the types A, B, and D, respectively -- that is, the number of permutations of n elements with $k$ descents, the number of signed permutations (of $n$ elements) with $k$ type B descents, the number of even signed permutations (of $n$ elements) with $k$ type D descents. Let $S_n(t) = \sum_{k = 0}^{n-1} \Bigl\langle\matrix{n\cr k}\Bigr\rangle t^k$, $B_n(t) = \sum_{k = 0}^n \Bigl\langle\matrix{B_n\cr k}\Bigr\rangle t^k$, and $D_n(t) = \sum_{k = 0}^n \Bigl\langle\matrix{D_n\cr k}\Bigr\rangle t^k$. We give bijective proofs of the identity $$B_n(t^2) = (1 + t)^{n+1}S_n(t) - 2^n tS_n(t^2)$$ and of Stembridge's identity $$D_n(t) = B_n(t) - n2^{n-1}tS_{n-1}(t).$$ These bijective proofs rely on a representation of signed permutations as paths. Using this representation we also establish a bijective correspondence between even signed permutations and pairs $(w, E)$ with $([n], E)$ a threshold graph and $w$ a degree ordering of $([n], E)$, which we use to obtain bijective proofs of enumerative results for threshold graphs.


title: Heterogeneous-Agent Trajectory Forecasting Incorporating Class Uncertainty

abstract: Reasoning about the future behavior of other agents is critical to safe robot navigation. The multiplicity of plausible futures is further amplified by the uncertainty inherent to agent state estimation from data, including positions, velocities, and semantic class. Forecasting methods, however, typically neglect class uncertainty, conditioning instead only on the agent's most likely class, even though perception models often return full class distributions. To exploit this information, we present HAICU, a method for heterogeneous-agent trajectory forecasting that explicitly incorporates agents' class probabilities. We additionally present PUP, a new challenging real-world autonomous driving dataset, to investigate the impact of Perceptual Uncertainty in Prediction. It contains challenging crowded scenes with unfiltered agent class probabilities that reflect the long-tail of current state-of-the-art perception systems. We demonstrate that incorporating class probabilities in trajectory forecasting significantly improves performance in the face of uncertainty, and enables new forecasting capabilities such as counterfactual predictions.


title: Chaotic Time-Delay Signature Suppression and Entropy Growth Enhancement Using Frequency-Band Extractor

abstract: By frequency-band extracting, we experimentally and theoretically investigate time-delay signature (TDS) suppression and entropy growth enhancement of a chaotic optical-feedback semiconductor laser under different injection currents and feedback strengths. The TDS and entropy growth are quantified by the peak value of autocorrelation function and the difference of permutation entropy at the feedback delay time. At the optimal extracting bandwidth, the measured TDS is suppressed up to 96% compared to the original chaos, and the entropy growth is higher than the noise-dominated threshold indicating that the dynamical process is noisy. The effects of extracting bandwidth and radio frequencies on the TDS and entropy growth are also clarified experimentally and theoretically. The experimental results are in good agreements with the theoretical results. The skewness of the laser intensity distribution is effectively improved to 0.001 with the optimal extracting bandwidth. This technique provides a promising tool to extract randomness and prepare desired entropy sources for chaotic secure communication and random number generation.


title: Improving precision of objective image/video quality metrics

abstract: Although subjective tests are most accurate image/video quality assessment tools, they are extremely time demanding. In the past two decades, a variety of objective tools, such as SSIM, IW-SSIM, SPSIM, FSIM, etc., have been devised, that well correlate with the subjective tests results. However, the main problem with these methods is that, they do not discriminate the measured quality well enough, especially at high quality range. In this article we show how the accuracy/precision of these Image Quality Assessment (IQA) meters can be increased by mapping them into a Logistic Function (LF). The precisions are tested over a variety of image/video databases. Our experimental tests indicate while the used high-quality images can be discriminated by 23% resolution on the MOS subjective scores, discrimination resolution by the widely used IQAs are only 2%, but their mapped IQAs to Logistic Function at this quality range can be improved to 9.4%. Moreover, their precision at low to mid quality range can also be improved. At this quality range, while the discrimination resolution of MOS of the tested images is 23.2%, those of raw IQAs is nearly 8.9%, but their adapted logistic functions can lead to 17.7%, very close to that of MOS. Moreover, with the used image databases the Pearson correlation of MOS with the logistic function can be improved by 2%-20.2% as well.


title: From nuclei to neutron stars: simple binding energy computer modelling in the classroom (part 2)

abstract: We introduce two simple online activities to explore the physics of neutron stars. These provide an introduction to the basic properties of compact objects, like their masses and radii, for secondary school students. The first activity explores the idea of the minimum mass of a neutron star. It is directly linked to the concept of binding energy and follows on from our previous activities. The second activity focuses on the maximum mass of neutron stars using a solvable model of the neutron star interior. The activities are based on spreadsheets, provided as Supplementary Material, and can be easily adapted to different levels, age groups and discussion topics. In particular, these activities can naturally lead towards discussions on extrapolations and limits of theoretical models.


title: On dense subsets in spaces of metrics

abstract: In spaces of metrics, we investigate topological distributions of the doubling property, the uniform disconnectedness, and the uniform perfectness, which are the quasi-symmetrically invariant properties appearing in the David--Semmes theorem. We show that the set of all doubling metrics and the set of all uniformly disconnected metrics are dense in spaces of metrics on finite-dimensional and zero-dimensional compact metrizable spaces, respectively. Conversely, this denseness of the sets implies the finite-dimensionality, zero-dimensionality, and the compactness of metrizable spaces. We also determine the topological distribution of the set of all uniformly perfect metrics in the space of metrics on the Cantor set.


title: New currents with Killing-Yano tensors

abstract: New relations involving the Riemann, Ricci and Einstein tensors that have to hold for a given geometry to admit Killing-Yano tensors are described. These relations are then used to introduce novel conserved "currents" involving such Killing-Yano tensors. For a particular current based on the Einstein tensor, we discuss the issue of conserved charges and consider implications for matter coupled to gravity. The condition on the background geometry to allow asymptotic conserved charges for a current introduced by Kastor and Traschen is found and a number of other new aspects of this current are commented on. In particular we show that it vanishes for rank $(D-1)$ Killing-Yano tensors in $D$ dimensions.


title: Role of electron and ion irradiation in a reliable lift-off process with e-beam evaporation and a bilayer PMMA resist system

abstract: This paper addresses issues related to cracking and blisters in deposited films encountered in a lift-off process with electron beam evaporation and a bilayer PMMA resist system. The impact of charged particles, i.e. electrons and ions, is investigated using an electron beam evaporation chamber equipped with ring-magnets and a plate electrode placed in front of the sample. By replacing the plate electrode with a hollow cylinder, the modified evaporation setup utilizing passive components allows a complete elimination of resist shrinkage and blistering yielding near perfect deposition results for a large variety of different materials.


title: Eulerian spatio-temporal correlations in passive scalar turbulence

abstract: We study the spatio-temporal two-point correlation function of passively advected scalar fields in the inertial-convective range in three dimensions by means of numerical simulations. We show that at small time delays $t$ the correlations decay as a Gaussian in the variable $tp$ where $p$ is the wavenumber. At large time delays, a crossover to an exponential decay in $tp^2$ is expected from a recent functional renormalization group (FRG) analysis. We study this regime for a scalar field advected by a Kraichnan's ``synthetic'' velocity field, and accurately confirm the FRG result, including the form of the prefactor in the exponential. By introducing finite time correlations in the synthetic velocity field, we uncover the crossover between the two regimes.


title: What Makes a Message Persuasive? Identifying Adaptations Towards Persuasiveness in Nine Exploratory Case Studies

abstract: The ability to persuade others is critical to professional and personal success. However, crafting persuasive messages is demanding and poses various challenges. We conducted nine exploratory case studies to identify adaptations that professional and non-professional writers make in written scenarios to increase their subjective persuasiveness. Furthermore, we identified challenges that those writers faced and identified strategies to resolve them with persuasive natural language generation, i.e., artificial intelligence. Our findings show that humans can achieve high degrees of persuasiveness (more so for professional-level writers), and artificial intelligence can complement them to achieve increased celerity and alignment in the process.


title: A Session Subtyping Tool (Extended Version)

abstract: Session types are becoming popular and have been integrated in several mainstream programming languages. Nevertheless, while many programming languages consider asynchronous fifo channel communication, the notion of subtyping used in session type implementations is the one defined by Gay and Hole for synchronous communication. This might be because there are several notions of asynchronous session subtyping, these notions are usually undecidable, and only recently sound (but not complete) algorithmic characterizations for these subtypings have been proposed. But the fact that the definition of asynchronous session subtyping and the theory behind related algorithms are not easily accessible to non-experts may also prevent further integration. The aim of this paper, and of the tool presented therein, is to make the growing body of knowledge about asynchronous session subtyping more accessible, thus promoting its integration in practical applications of session types.


title: 3D Scene Compression through Entropy Penalized Neural Representation Functions

abstract: Some forms of novel visual media enable the viewer to explore a 3D scene from arbitrary viewpoints, by interpolating between a discrete set of original views. Compared to 2D imagery, these types of applications require much larger amounts of storage space, which we seek to reduce. Existing approaches for compressing 3D scenes are based on a separation of compression and rendering: each of the original views is compressed using traditional 2D image formats; the receiver decompresses the views and then performs the rendering. We unify these steps by directly compressing an implicit representation of the scene, a function that maps spatial coordinates to a radiance vector field, which can then be queried to render arbitrary viewpoints. The function is implemented as a neural network and jointly trained for reconstruction as well as compressibility, in an end-to-end manner, with the use of an entropy penalty on the parameters. Our method significantly outperforms a state-of-the-art conventional approach for scene compression, achieving simultaneously higher quality reconstructions and lower bitrates. Furthermore, we show that the performance at lower bitrates can be improved by jointly representing multiple scenes using a soft form of parameter sharing.


title: Impact of quantum-chemical metrics on the machine learning prediction of electron density

abstract: Machine learning (ML) algorithms have undergone an explosive development impacting every aspect of computational chemistry. To obtain reliable predictions, one needs to maintain the proper balance between the black-box nature of ML frameworks and the physics of the target properties. One of the most appealing quantum-chemical properties for regression models is the electron density, and some of us recently proposed a transferable and scalable model based on the decomposition of the density onto an atom-centered basis set. The decomposition, as well as the training of the model, is at its core a minimization of some loss function, which can be arbitrarily chosen and may lead to results of different quality. Well-studied in the context of density fitting (DF), the impact of the metric on the performance of ML models has not been analyzed yet. In this work, we compare predictions obtained using the overlap and the Coulomb-repulsion metrics for both decomposition and training. As expected, the Coulomb metric used as both the DF and ML loss functions leads to the best results for the electrostatic potential and dipole moments. The origin of this difference lies in the fact that the model is not constrained to predict densities that integrate to the exact number of electrons $N$. Since an \textit{a posteriori} correction for the number of electrons decreases the errors, we proposed a modification of the model where $N$ is included directly into the kernel function, which allowed to lower the errors on the test and out-of-sample sets.


title: Compact Packings are not always the Densest

abstract: We provide a counterexample to a conjecture by B. Connelly about density of circle packings


title: Weakly Supervised Multi-task Learning for Concept-based Explainability

abstract: In ML-aided decision-making tasks, such as fraud detection or medical diagnosis, the human-in-the-loop, usually a domain-expert without technical ML knowledge, prefers high-level concept-based explanations instead of low-level explanations based on model features. To obtain faithful concept-based explanations, we leverage multi-task learning to train a neural network that jointly learns to predict a decision task based on the predictions of a precedent explainability task (i.e., multi-label concepts). There are two main challenges to overcome: concept label scarcity and the joint learning. To address both, we propose to: i) use expert rules to generate a large dataset of noisy concept labels, and ii) apply two distinct multi-task learning strategies combining noisy and golden labels. We compare these strategies with a fully supervised approach in a real-world fraud detection application with few golden labels available for the explainability task. With improvements of 9.26% and of 417.8% at the explainability and decision tasks, respectively, our results show it is possible to improve performance at both tasks by combining labels of heterogeneous quality.


title: Reconfigurable Adaptive Channel Sensing

abstract: Channel sensing consists of probing the channel from time to time to check whether or not it is active - say, because of an incoming message. When communication is sparse with information being sent once in a long while, channel sensing becomes a significant source of energy consumption. How to reliably detect messages while minimizing the receiver energy consumption? This paper addresses this problem through a reconfigurable scheme, referred to as AdaSense, which exploits the dependency between the receiver noise figure (i.e., the receiver added noise) and the receiver power consumption; a higher power typically translates into less noisy channel observations. AdaSense begins in a low power low reliability mode and makes a first tentative decision based on a few channel observations. If a message is declared, it switches to a high power high reliability mode to confirm the decision, else it sleeps for the entire duration of the second phase. Compared to prominent detection schemes such as the BMAC protocol, AdaSense provides relative energy gains that grow unbounded in the small probability of false-alarm regime, as communication gets sparser. In the non-asymptotic regime energy gains are 30% to 75% for communication scenarios typically found in the context of wake-up receivers.


title: Special Bohr-Sommerfeld geometry: variations

abstract: In the paper we continue to study Special Bohr-Sommerfeld geometry of compact symplectic manifolds. Using natural deformation parameters we avoid the difficulties appeared in the definition of the moduli space of Special Bohr-Sommerfeld cycles for compact simply connected algebraic varieties. As a byproduct we present certain remarks on the Weinstein structures and Eliashberg conjectures.


title: Points2Sound: From mono to binaural audio using 3D point cloud scenes

abstract: For immersive applications, the generation of binaural sound that matches its visual counterpart is crucial to bring meaningful experiences to people in a virtual environment. Recent studies have shown the possibility of using neural networks for synthesizing binaural audio from mono audio by using 2D visual information as guidance. Extending this approach by guiding the audio with 3D visual information and operating in the waveform domain may allow for a more accurate auralization of a virtual audio scene. We propose Points2Sound, a multi-modal deep learning model which generates a binaural version from mono audio using 3D point cloud scenes. Specifically, Points2Sound consists of a vision network and an audio network. The vision network uses 3D sparse convolutions to extract a visual feature from the point cloud scene. Then, the visual feature conditions the audio network, which operates in the waveform domain, to synthesize the binaural version. Results show that 3D visual information can successfully guide multi-modal deep learning models for the task of binaural synthesis. We also investigate how 3D point cloud attributes, learning objectives, different reverberant conditions, and several types of mono mixture signals affect the binaural audio synthesis performance of Points2Sound for the different numbers of sound sources present in the scene.


title: Weighted Subspace Designs from $q$-Polymatroids

abstract: The Assmus-Mattson theorem gives a way to identify block designs arising from codes. This result was broadened to matroids and weighted designs. In this work we present a further two-fold generalisation: first from matroids to polymatroids and also from sets to vector spaces. To achieve this, we introduce the characteristic polynomial of a $q$-polymatroid and outline several of its properties.


title: Practical Wide-Angle Portraits Correction with Deep Structured Models

abstract: Wide-angle portraits often enjoy expanded views. However, they contain perspective distortions, especially noticeable when capturing group portrait photos, where the background is skewed and faces are stretched. This paper introduces the first deep learning based approach to remove such artifacts from freely-shot photos. Specifically, given a wide-angle portrait as input, we build a cascaded network consisting of a LineNet, a ShapeNet, and a transition module (TM), which corrects perspective distortions on the background, adapts to the stereographic projection on facial regions, and achieves smooth transitions between these two projections, accordingly. To train our network, we build the first perspective portrait dataset with a large diversity in identities, scenes and camera modules. For the quantitative evaluation, we introduce two novel metrics, line consistency and face congruence. Compared to the previous state-of-the-art approach, our method does not require camera distortion parameters. We demonstrate that our approach significantly outperforms the previous state-of-the-art approach both qualitatively and quantitatively.


title: GPT2MVS: Generative Pre-trained Transformer-2 for Multi-modal Video Summarization

abstract: Traditional video summarization methods generate fixed video representations regardless of user interest. Therefore such methods limit users' expectations in content search and exploration scenarios. Multi-modal video summarization is one of the methods utilized to address this problem. When multi-modal video summarization is used to help video exploration, a text-based query is considered as one of the main drivers of video summary generation, as it is user-defined. Thus, encoding the text-based query and the video effectively are both important for the task of multi-modal video summarization. In this work, a new method is proposed that uses a specialized attention network and contextualized word representations to tackle this task. The proposed model consists of a contextualized video summary controller, multi-modal attention mechanisms, an interactive attention network, and a video summary generator. Based on the evaluation of the existing multi-modal video summarization benchmark, experimental results show that the proposed model is effective with the increase of +5.88% in accuracy and +4.06% increase of F1-score, compared with the state-of-the-art method.


title: Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)

abstract: In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Maurizio Gabbrielli) we develop a novel approach for run-time global adaptation of microservice applications, based on synthesis of architecture-level reconfiguration orchestrations. More precisely, we devise an algorithm for automatic reconfiguration that reaches a target system Maximum Computational Load by performing optimal deployment orchestrations. To conceive and simulate our approach, we introduce a novel integrated timed architectural modeling/execution language based on an extension of the actor-based object-oriented Abstract Behavioral Specification (ABS) language. In particular, we realize a timed extension of SmartDeployer, whose ABS code annotations make it possible to express architectural properties. Our Timed SmartDeployer tool fully integrates time features of ABS and architectural annotations by generating timed deployment orchestrations. We evaluate the applicability of our approach on a realistic microservice application taken from the literature: an Email Pipeline Processing System. We prove its effectiveness by simulating such an application and by comparing architecture-level reconfiguration with traditional local scaling techniques (which detect scaling needs and enact replications at the level of single microservices). Our comparison results show that our approach avoids cascading slowdowns and consequent increased message loss and latency, which affect traditional local scaling.


title: Double Step Annealing for the Recovering of Ion Implantation Defectiveness in 4H-SiC DIMOSFET

abstract: Thermal annealing plays a crucial role for healing the defectiveness in the ion implanted regions of DIMOSFETs (Double Implanted MOSFETs) devices. In this work, we have studied the effect of a double step annealing on the body (Al implanted) and the source (P implanted) regions of such devices. We found that a high temperature annealing (1750{\deg}C, 1h) followed by a lower temperature one (1500{\deg}C, 4h) is mandatory to achieve low defects concentration and good crystal quality in both the n- and p- type zones of the device.


title: Dynamic VAEs with Generative Replay for Continual Zero-shot Learning

abstract: Continual zero-shot learning(CZSL) is a new domain to classify objects sequentially the model has not seen during training. It is more suitable than zero-shot and continual learning approaches in real-case scenarios when data may come continually with only attributes for a few classes and attributes and features for other classes. Continual learning(CL) suffers from catastrophic forgetting, and zero-shot learning(ZSL) models cannot classify objects like state-of-the-art supervised classifiers due to lack of actual data(or features) during training. This paper proposes a novel continual zero-shot learning (DVGR-CZSL) model that grows in size with each task and uses generative replay to update itself with previously learned classes to avoid forgetting. We demonstrate our hybrid model(DVGR-CZSL) outperforms the baselines and is effective on several datasets, i.e., CUB, AWA1, AWA2, and aPY. We show our method is superior in task sequentially learning with ZSL(Zero-Shot Learning). We also discuss our results on the SUN dataset.


title: Generative modeling of spatio-temporal weather patterns with extreme event conditioning

abstract: Deep generative models are increasingly used to gain insights in the geospatial data domain, e.g., for climate data. However, most existing approaches work with temporal snapshots or assume 1D time-series; few are able to capture spatio-temporal processes simultaneously. Beyond this, Earth-systems data often exhibit highly irregular and complex patterns, for example caused by extreme weather events. Because of climate change, these phenomena are only increasing in frequency. Here, we proposed a novel GAN-based approach for generating spatio-temporal weather patterns conditioned on detected extreme events. Our approach augments GAN generator and discriminator with an encoded extreme weather event segmentation mask. These segmentation masks can be created from raw input using existing event detection frameworks. As such, our approach is highly modular and can be combined with custom GAN architectures. We highlight the applicability of our proposed approach in experiments with real-world surface radiation and zonal wind data.


title: Easy and Efficient Transformer : Scalable Inference Solution For large NLP model

abstract: Recently, large-scale transformer-based models have been proven to be effective over various tasks across many domains. Nevertheless, applying them in industrial production requires tedious and heavy works to reduce inference costs. To fill such a gap, we introduce a scalable inference solution: Easy and Efficient Transformer (EET), including a series of transformer inference optimization at the algorithm and implementation levels. First, we design highly optimized kernels for long inputs and large hidden sizes. Second, we propose a flexible CUDA memory manager to reduce the memory footprint when deploying a large model. Compared with the state-of-the-art transformer inference library (Faster Transformer v4.0), EET can achieve an average of 1.40-4.20x speedup on the transformer decoder layer with an A100 GPU


title: Contextualized Keyword Representations for Multi-modal Retinal Image Captioning

abstract: Medical image captioning automatically generates a medical description to describe the content of a given medical image. A traditional medical image captioning model creates a medical description only based on a single medical image input. Hence, an abstract medical description or concept is hard to be generated based on the traditional approach. Such a method limits the effectiveness of medical image captioning. Multi-modal medical image captioning is one of the approaches utilized to address this problem. In multi-modal medical image captioning, textual input, e.g., expert-defined keywords, is considered as one of the main drivers of medical description generation. Thus, encoding the textual input and the medical image effectively are both important for the task of multi-modal medical image captioning. In this work, a new end-to-end deep multi-modal medical image captioning model is proposed. Contextualized keyword representations, textual feature reinforcement, and masked self-attention are used to develop the proposed approach. Based on the evaluation of the existing multi-modal medical image captioning dataset, experimental results show that the proposed model is effective with the increase of +53.2% in BLEU-avg and +18.6% in CIDEr, compared with the state-of-the-art method.


title: Generalized Continuous Maxwell Demons

abstract: We introduce a family of Generalized Continuous Maxwell Demons (GCMDs) operating on idealized single-bit equilibrium devices that combine the single-measurement Szilard and the repeated measurements of the Continuous Maxwell Demon protocols. We derive the cycle distributions for extracted work, information-content, and time and compute the power and information-to-work efficiency fluctuations for the different models. We show that the efficiency at maximum power is maximal for an opportunistic protocol of continuous type in the dynamical regime dominated by rare events. We also extend the analysis to finite-time work extracting protocols by mapping them to a three-state GCMD. We show that dynamical finite-time correlations in this model increase the information-to-work conversion efficiency, underlining the role of temporal correlations in optimizing information-to-energy conversion. The effect of finite-time work extraction and demon memory resetting is also analyzed. We conclude that GCMD models are thermodynamically more efficient than the single-measurement Szilard and preferred for describing biological processes in an information-redundant world.


title: Influence of group characteristics on agent voting

abstract: A collective of identical agents in a multi-agent system often works together towards the common goal. In situations where no supervisor agents are present to make decisions for the group, these agents must achieve some consensus via negotiations and other types of communications. We have previously shown that the structure of the group and the priority of communication has a high influence on the group decision if consensus theory methods are used. In this paper, we explore the influence of preferential communication channels in asynchronous group communication in situations, where majority vote and dominant value are used. We also show how this relates to consensus approach in such groups and how to use a combination of both approaches to improve performance of real-life multi-agent systems.


title: The Principle of Global Relativity

abstract: We describe the non-minimal Standard Model, consisting of minimalistic extensions of the Standard Model, which for all we know is the theory of the universe, able to describe all of the universe from the beginning of time. Extensions discussed are an extra neutrino and a new Higgs model. We introduce the principle of global relativity and discuss how the theory can be largely derived from this principle. One is led to the unification of forces into SU(5) and a form of dark matter. We discuss the limitations of the theory, showing that it is not the theory of everything. However we argue that it is the only part, that is within conceivable reach of physical experiment or astronomical observations. It is argued, that at the Planck scale the universe is effectively three-dimensional.


title: Particle Swarms Reformulated towards a Unified and Flexible Framework

abstract: The Particle Swarm Optimisation (PSO) algorithm has undergone countless modifications and adaptations since its original formulation in 1995. Some of these have become mainstream whereas many others have not been adopted and faded away. Thus, a myriad of alternative formulations have been proposed to the extent that the question arises as to what the basic features of an algorithm must be to belong in the PSO family. The aim of this paper is to establish what defines a PSO algorithm and to attempt to formulate it in such a way that it encompasses many existing variants. Therefore, different versions of the method may be posed as settings within the proposed unified framework. In addition, the proposed formulation generalises, decouples and incorporates features to the method providing more flexibility to the behaviour of each particle. The closed forms of the trajectory difference equation are obtained, different types of behaviour are identified, stochasticity is decoupled, and traditionally global features such as sociometries and constraint-handling are re-defined as particle's attributes.


title: EigenGAN: Layer-Wise Eigen-Learning for GANs

abstract: Recent studies on Generative Adversarial Network (GAN) reveal that different layers of a generative CNN hold different semantics of the synthesized images. However, few GAN models have explicit dimensions to control the semantic attributes represented in a specific layer. This paper proposes EigenGAN which is able to unsupervisedly mine interpretable and controllable dimensions from different generator layers. Specifically, EigenGAN embeds one linear subspace with orthogonal basis into each generator layer. Via generative adversarial training to learn a target distribution, these layer-wise subspaces automatically discover a set of "eigen-dimensions" at each layer corresponding to a set of semantic attributes or interpretable variations. By traversing the coefficient of a specific eigen-dimension, the generator can produce samples with continuous changes corresponding to a specific semantic attribute. Taking the human face for example, EigenGAN can discover controllable dimensions for high-level concepts such as pose and gender in the subspace of deep layers, as well as low-level concepts such as hue and color in the subspace of shallow layers. Moreover, in the linear case, we theoretically prove that our algorithm derives the principal components as PCA does. Codes can be found in https://github.com/LynnHo/EigenGAN-Tensorflow.


title: An Exploration into why Output Regularization Mitigates Label Noise

abstract: Label noise presents a real challenge for supervised learning algorithms. Consequently, mitigating label noise has attracted immense research in recent years. Noise robust losses is one of the more promising approaches for dealing with label noise, as these methods only require changing the loss function and do not require changing the design of the classifier itself, which can be expensive in terms of development time. In this work we focus on losses that use output regularization (such as label smoothing and entropy). Although these losses perform well in practice, their ability to mitigate label noise lack mathematical rigor. In this work we aim at closing this gap by showing that losses, which incorporate an output regularization term, become symmetric as the regularization coefficient goes to infinity. We argue that the regularization coefficient can be seen as a hyper-parameter controlling the symmetricity, and thus, the noise robustness of the loss function.


title: A deep learning model for gastric diffuse-type adenocarcinoma classification in whole slide images

abstract: Gastric diffuse-type adenocarcinoma represents a disproportionately high percentage of cases of gastric cancers occurring in the young, and its relative incidence seems to be on the rise. Usually it affects the body of the stomach, and presents shorter duration and worse prognosis compared with the differentiated (intestinal) type adenocarcinoma. The main difficulty encountered in the differential diagnosis of gastric adenocarcinomas occurs with the diffuse-type. As the cancer cells of diffuse-type adenocarcinoma are often single and inconspicuous in a background desmoplaia and inflammation, it can often be mistaken for a wide variety of non-neoplastic lesions including gastritis or reactive endothelial cells seen in granulation tissue. In this study we trained deep learning models to classify gastric diffuse-type adenocarcinoma from WSIs. We evaluated the models on five test sets obtained from distinct sources, achieving receiver operator curve (ROC) area under the curves (AUCs) in the range of 0.95-0.99. The highly promising results demonstrate the potential of AI-based computational pathology for aiding pathologists in their diagnostic workflow system.


title: Distinguishing Level-2 Phylogenetic Networks Using Phylogenetic Invariants

abstract: In phylogenetics, it is important for the phylogenetic network model parameters to be identifiable so that the evolutionary histories of a group of species can be consistently inferred. However, as the complexity of the phylogenetic network models grows, the identifiability of network models becomes increasingly difficult to analyze. As an attempt to analyze the identifiability of network models, we check whether two networks are distinguishable. In this paper, we specifically study the distinguishability of phylogenetic network models associated with level-2 networks. Using an algebraic approach, namely using discrete Fourier transformation, we present some results on the distinguishability of some level-2 networks, which generalize earlier work on the distinguishability of level-1 networks. In particular, we study simple and semisimple level-2 networks. Simple and semisimple level-2 networks can be thought as generalizations of level-1 sunlet and cycle networks, respectively. Moreover, we also compare the varieties associated with semisimple level-2 and cycle networks.


title: Decomposed Mean-Field Simulations of Local Properties in Condensed Phases

abstract: The present work demonstrates a robust protocol for probing localized electronic structure in condensed-phase systems, operating in terms of a recently proposed theory for decomposing the results of Kohn-Sham density functional theory in a basis of spatially localized molecular orbitals [Eriksen, J. Chem. Phys. 153, 214109 (2020)]. In an initial application to liquid, ambient water and the assessment of the solvation energy and the embedded dipole moment of H$_2$O in solution, we find that both properties are amplified on average -- in accordance with expectation -- and that correlations are indeed observed to exist between them. However, the simulated solvent-induced shift to the dipole moment of water is found to be significantly dampened with respect to typical literature values. The local nature of our methodology has further allowed us to evaluate the convergence of bulk properties with respect to the extent of the underlying one-electron basis set, ranging from single-$\zeta$ to full (augmented) quadruple-$\zeta$ quality. Albeit a pilot example, our work paves the way towards future studies of local effects and defects in more complex phases, e.g., liquid mixtures and even solid-state crystals.


title: Hamiltonian cycles in 4-connected planar and projective planar triangulations with few 4-separators

abstract: Whitney proved in 1931 that every 4-connected planar triangulation is hamiltonian. Later in 1979, Hakimi, Schmeichel and Thomassen conjectured that every such triangulation on $n$ vertices has at least $2(n - 2)(n - 4)$ hamiltonian cycles. Along this direction, Brinkmann, Souffriau and Van Cleemput established a linear lower bound on the number of hamiltonian cycles in 4-connected planar triangulations. In stark contrast, Alahmadi, Aldred and Thomassen showed that every 5-connected triangulation of the plane or the projective plane has exponentially many hamiltonian cycles. This gives the motivation to study the number of hamiltonian cycles of 4-connected triangulations with few 4-separators. Recently, Liu and Yu showed that every 4-connected planar triangulation with $O(n / \log n)$ 4-separators has a quadratic number of hamiltonian cycles. By adapting the framework of Alahmadi et al. we strengthen the last two aforementioned results. We prove that every 4-connected planar or projective planar triangulation with $O(n)$ 4-separators has exponentially many hamiltonian cycles.


title: Improving 6TiSCH Reliability and Latency with Simultaneous Multi-Band Operation

abstract: The Internet Engineering Task Force (IETF) group "IPv6 over the TSCH mode of IEEE 802.15.4e" (6TiSCH) introduced a protocol, utilizing Time-Slotted Channel Hopping (TSCH) from IEEE802.15.4e due to its high reliability and time-deterministic characteristic, that achieves industrial performance requirements while offering the benefits of IP connectivity. This work proposes the addition of a second radio interface in 6TiSCH devices to operate a parallel network in sub-GHz, introducing transmit diversity while benefiting from decreased path-loss and reduced interference. Simulation results show an improvement of 25% in Packet Delivery Ratio (PDR) and closely to 30% in latency in different 6TiSCH networks scenarios.


title: Represent Items by Items: An Enhanced Representation of the Target Item for Recommendation

abstract: Item-based collaborative filtering (ICF) has been widely used in industrial applications such as recommender system and online advertising. It models users' preference on target items by the items they have interacted with. Recent models use methods such as attention mechanism and deep neural network to learn the user representation and scoring function more accurately. However, despite their effectiveness, such models still overlook a problem that performance of ICF methods heavily depends on the quality of item representation especially the target item representation. In fact, due to the long-tail distribution in the recommendation, most item embeddings can not represent the semantics of items accurately and thus degrade the performance of current ICF methods. In this paper, we propose an enhanced representation of the target item which distills relevant information from the co-occurrence items. We design sampling strategies to sample fix number of co-occurrence items for the sake of noise reduction and computational cost. Considering the different importance of sampled items to the target item, we apply attention mechanism to selectively adopt the semantic information of the sampled items. Our proposed Co-occurrence based Enhanced Representation model (CER) learns the scoring function by a deep neural network with the attentive user representation and fusion of raw representation and enhanced representation of target item as input. With the enhanced representation, CER has stronger representation power for the tail items compared to the state-of-the-art ICF methods. Extensive experiments on two public benchmarks demonstrate the effectiveness of CER.


title: Constructing long-short stock portfolio with a new listwise learn-to-rank algorithm

abstract: Factor strategies have gained growing popularity in industry with the fast development of machine learning. Usually, multi-factors are fed to an algorithm for some cross-sectional return predictions, which are further used to construct a long-short portfolio. Instead of predicting the value of the stock return, emerging studies predict a ranked stock list using the mature learn-to-rank technology. In this study, we propose a new listwise learn-to-rank loss function which aims to emphasize both the top and the bottom of a rank list. Our loss function, motivated by the long-short strategy, is endogenously shift-invariant and can be viewed as a direct generalization of ListMLE. Under different transformation functions, our loss can lead to consistency with binary classification loss or permutation level 0-1 loss. A probabilistic explanation for our model is also given as a generalized Plackett-Luce model. Based on a dataset of 68 factors in China A-share market from 2006 to 2019, our empirical study has demonstrated the strength of our method which achieves an out-of-sample annual return of 38% with the Sharpe ratio being 2.


title: Powered Dirichlet Process for Controlling the Importance of "Rich-Get-Richer" Prior Assumptions in Bayesian Clustering

abstract: One of the most used priors in Bayesian clustering is the Dirichlet prior. It can be expressed as a Chinese Restaurant Process. This process allows nonparametric estimation of the number of clusters when partitioning datasets. Its key feature is the "rich-get-richer" property, which assumes a cluster has an a priori probability to get chosen linearly dependent on population. In this paper, we show that such prior is not always the best choice to model data. We derive the Powered Chinese Restaurant process from a modified version of the Dirichlet-Multinomial distribution to answer this problem. We then develop some of its fundamental properties (expected number of clusters, convergence). Unlike state-of-the-art efforts in this direction, this new formulation allows for direct control of the importance of the "rich-get-richer" prior.


title: Fostering learners' self-regulation and collaboration skills and strategies for mobile language learning beyond the classroom

abstract: Many language learners need to be supported in acquiring a second or foreign language quickly and effectively across learning environments beyond the classroom. The chapter argues that support should focus on the development of two vital learning skills, namely being able to self-regulate and to collaborate effectively in the learning process. We base our argumentation on the theoretical lenses of self-regulated learning (SRL) and collaborative learning in the context of mobile situated learning that can take place in a variety of settings. The chapter examines a sample of selected empirical studies within the field of mobile-assisted language learning with a twofold aim. Firstly, the studies are analyzed in order to understand the role of learner self-regulation and collaboration while acquiring a new language beyond the classroom. Secondly, we aim to provide a deeper understanding of any mechanisms provided to develop or support language learners' self-regulated and collaborative learning skills. Finally, we propose that fostering SRL and collaborative learning skills and strategies will benefit from recent advances in the fields of learning analytics and artificial intelligence, coupled with the use of mobile technologies and self-monitoring mechanisms. The ultimate aim is to enable the provision of individual adaptive learning paths to facilitate language learning beyond the classroom.


title: Space-time structure in the microcosm and its relation to the properties of elementary particles

abstract: The relations between the hidden symmetries of the six-dimensional pseudo-Euclidean space with signature (+++ -- ) and the conserved quantum characteristics of elementary particles is established. The hidden symmetries are brought out by the various forms of representation of the pseudo-Euclidean space metric with the aid of spinors and hyperbolic complex numbers. Using the emerging hidden symmetry groups one can disclose such conserved quantum characteristics as spin, isospin, electric and baryon charges, hypercharge, color and flavor. One can also predict the exact number of such conserved quantum characteristics of quarks as color and flavor.


title: Shrodinger's Cat: From false Paradox to genuine Paradigm

abstract: The famous school case of Schrodinger is quickly reviewed and evaluated in the light of recent experimental and formal developments, and conclusions are proposed at theoretical, epistemological and philosophical points of view.


title: Control results for a model of resonant interaction between short and long capillary-gravity waves

abstract: The purpose of this article is the investigation of the global control properties of a coupled nonlinear dispersive system posed in the periodic domain $\mathbb{T}$, a system with the structure of a nonlinear Schr\"odinger equation and a nonlinear Korteweg-de Vries equation. Combining estimates derived from Bourgain spaces and using microlocal analysis we show that this system has global control properties. The main novelty of this work is twofold. One is that the global results for the nonlinear system are presented for the first time thanks to the propagation of singularities. The second one is that these propagation results are shown to a coupled dispersive system with two equations defined by differential operators with principal symbols of different orders.


title: Conservative relativistic algebrodynamics induced on an implicitly defined worldline

abstract: In the framework of the Stueckelberg-Wheeler-Feynman concept of a ``one-electron Universe'' we consider a worldline implicitly defined by a system of algebraic (precisely, polynomial) equations. Collection of pointlike ``particles'' of two kinds on the worldline (or its complex extension) is defined by the real (complex conjugate) roots of the polynomial system and detected then by an external inertial observer through the light cone connections. Then the observed collective dynamics of the particles' ensemble is, generally, subject to a number of Lorentz invariant conservation laws. Remarkably, this poperty follows from the Vieta's formulas for the roots of the generating polynomial system. At some discrete moments of the observer's proper time, mergings and subsequent transmutations of a pair of particles-roots take place simulating thus the processes of annihilation/creation of a particle/antiparticle pair


title: Wormholes and Teleporters

abstract: In general relativity, there is a class of solutions that currently do not have observed analogues, but on which the theory is shaped, giving an understanding what is fundamentally possible within its framework. Such solutions include wormholes, tunnels that connect distant regions in spacetime. Although not a single wormhole has yet been discovered, there is a large number of works devoted to their study, thanks to which wormholes as a class of solutions become firmly established in modern science. In this paper, we consider two topologically nontrivial types of solutions related to wormholes. First: wormholes that can open and close. In this relation, we will discuss topological censorship theorems, which under certain conditions prohibit changing topology. We will also discuss known ways to circumvent these theorems. Using analytical and numerical methods, as well as visualization, we will construct an example of an opening and closing wormhole with the dimensions of the central black hole in the Milky Way galaxy. Our construction continues the work by Kardashev, Novikov and Shatskiy, in which a static wormhole with the same parameters was considered. The second type is a modification of Visser's dihedral wormhole solution for a dynamic case, which can be considered as a model of a teleportation event.


title: Simulation Modelling and Analysis of Primary Health Centre Operations

abstract: We present discrete-event simulation models of the operations of primary health centres (PHCs) in the Indian context. Our PHC simulation models incorporate four types of patients seeking medical care: outpatients, inpatients, childbirth cases, and patients seeking antenatal care. A generic modelling approach was adopted to develop simulation models of PHC operations. This involved developing an archetype PHC simulation, which was then adapted to represent two other PHC configurations, differing in numbers of resources and types of services provided, encountered during PHC visits. A model representing a benchmark configuration conforming to government-mandated operational guidelines, with demand estimated from disease burden data and service times closer to international estimates (higher than observed), was also developed. Simulation outcomes for the three observed configurations indicate negligible patient waiting times and low resource utilisation values at observed patient demand estimates. However, simulation outcomes for the benchmark configuration indicated significantly higher resource utilisation. Simulation experiments to evaluate the effect of potential changes in operational patterns on reducing the utilisation of stressed resources for the benchmark case were performed. Our analysis also motivated the development of simple analytical approximations of the average utilisation of a server in a queueing system with characteristics similar to the PHC doctor/patient system. Our study represents the first step in an ongoing effort to establish the computational infrastructure required to analyse public health operations in India, and can provide researchers in other settings with hierarchical health systems a template for the development of simulation models of their primary healthcare facilities.


title: Boolean Reasoning-Based Biclustering for Shifting Pattern Extraction

abstract: Biclustering is a powerful approach to search for patterns in data, as it can be driven by a function that measures the quality of diverse types of patterns of interest. However, due to its computational complexity, the exploration of the search space is usually guided by an algorithmic strategy, sometimes introducing random factors that simplify the computational cost (e.g. greedy search or evolutionary computation). Shifting patterns are specially interesting as they account constant fluctuations in data, i.e. they capture situations in which all the values in the pattern move up or down for one dimension maintaining the range amplitude for all the dimensions. This behaviour is very common in nature, e.g. in the analysis of gene expression data, where a subset of genes might go up or down for a subset of patients or experimental conditions, identifying functionally coherent categories. Boolean reasoning was recently revealed as an appropriate methodology to address the search for constant biclusters. In this work, this direction is extended to search for more general biclusters that include shifting patterns. The mathematical foundations are described in order to associate Boolean concepts with shifting patterns, and the methodology is presented to show that the induction of shifting patterns by means of Boolean reasoning is due to the ability of finding all inclusion--maximal {\delta}-shifting patterns. Experiments with a real dataset show the potential of our approach at finding biclusters with {\delta}-shifting patterns, which have been evaluated with the mean squared residue (MSR), providing an excellent performance at finding results very close to zero.


title: Propagation of the angular spectrum of electromagnetic fields in uniaxial crystals of finite length in the regime of the paraxial approximation

abstract: In this paper we will analyze the propagation of the angular spectrum of the electromagnetic field through a finite length uniaxial crystal. We solve the boundary conditions of the fields at an interface of an isotropic medium and an uniaxial anisotropic medium with the optical axis in an arbitrary direction and soon after we choose the optical axis in a plane formed by the direction of propagation (z-axis) and the x-axis . We show how the couplings occur between the components of the field and in what situations we can give a vector or scalar treatment for the propagation


title: Contextuality and Random Variables

abstract: Abstract Contextuality is a property of systems of random variables. The identity of a random variable in a system is determined by its joint distribution with all other random variables in the same context. When context changes, a variable measuring some property is instantly replaced by another random variable measuring the same property, or instantly disappears if this property is not measured in the new context. This replacement/disappearance requires no action, signaling, or disturbance, although it does not exclude them. The difference between two random variables measuring the same property in different contexts is measured by their maximal coupling, and the system is noncontextual if one of its overall couplings has these maximal couplings as its marginals.


title: Geometric approximation of the sphere by triangular polynomial spline patches

abstract: A sphere is a fundamental geometric object widely used in (computer aided) geometric design. It possesses rational parameterizations but no parametric polynomial parameterization exists. The present study provides an approach to the optimal approximation of equilateral spherical triangles by parametric polynomial patches if the measure of quality is the (simplified) radial error. As a consequence, optimal approximations of the unit sphere by parametric polynomial spline patches underlying on particular regular spherical triangulations arising from a tetrahedron, an octahedron and an icosahedron inscribed in the unit sphere are provided. Some low total degree spline patches with corresponding geometric smoothness are analyzed in detail and several numerical examples are shown confirming the quality of approximants.


title: Valorization of incinerator bottom ash for the production of resource-efficient eco-friendly concrete: Performance and toxicological characterization

abstract: The disposal of incinerator bottom ash usually produced by the incineration of inorganic constituents of the municipal solid wastes (MSW) in an eco-friendly way is one of the issues of concern, globally. By the way, the present study is related to the utilization of MSW incinerator bottom ash and recycled demolition waste aggregate as partial replacement materials for fine and coarse aggregate, respectively to produce eco-friendly concrete. This study adopted an innovative pretreatment technique for stabilizing the MSW incinerator bottom ash. Five distinct M20 grade concrete mixes were produced with different proportions of fine aggregate, MSW incinerator bottom ash, coarse aggregate, and recycled demolition waste aggregate along with cement and water. The incinerator bottom ash was replaced at 5% and 10% quantities with fine aggregate and the recycled demolition waste aggregate was replaced at 40% and 60% of the weight of the coarse aggregate. The strength and durability properties of the M20 grade concrete were analyzed. It was noticed that the strength and durability properties of the eco-friendly concrete specimens produced by incorporating 5% - incinerator bottom ash and 40% - recycled demolition waste aggregate were superior to that of the control mix concrete. Laboratory tank leaching tests showed that the eco-friendly concrete do not pose any significant environmental hazard. Furthermore, the microstructural analysis through scanning electron microscope (SEM) images, revealed dense aggregate paste matrix interfaces with less micro-pores and insignificant micro-cracks due to the incorporation of incinerator bottom ash as a partial replacement to the fine aggregate.


title: Partial Serre duality and cocompact objects

abstract: A successful theme in the development of triangulated categories has been the study of compact objects. A weak dual notion called 0-cocompact objects was introduced in arXiv:1801.07995, motivated by the fact that sets of such objects cogenerate co-t-structures, dual to the t-structures generated by sets of compact objects. In the present paper, we show that the notion of 0-cocompact objects also appears naturally in the presence of certain dualities. We introduce "partial Serre duality", which is shown to link compact to 0-cocompact objects. We show that partial Serre duality gives rise to an Auslander--Reiten theory, which in turn implies a weaker notion of duality which we call "non-degenerate composition", and throughout this entire hierarchy of dualities the objects involved are 0-(co)compact. Furthermore, we produce explicit partial Serre functors for multiple flavors of homotopy categories, thus illustrating that this type of duality, as well as the resulting 0-cocompact objects, are abundant in prevalent triangulated categories.


title: Distributed Eco-Driving Algorithm of Vehicle Platoon Using Traffic Light and Road Slope Information

abstract: This paper investigates the problem of ecological driving (eco-driving) of vehicle platoons. To reduce the probability of the platoon avoiding red lights and increase fuel efficiency, a two-layer control architecture is proposed. The first layer is in charge of optimizing the leader's long-term motion profile using the traffic light and road slope information. The long-term planning model is defined based on the reachability analysis of the platoon to the green light windows. An event-triggered mechanism is proposed to operate the long-term planning model. The second layer is the short-term adaptation, in which the leader attempts to follow the planning motion profile in real time, while the follower keeps track of the nearest preceding vehicle and the leader, to preserve the desired inter-vehicular distances. A Newton's method-based algorithm is implemented to effectively solve both the long-term planning and short-term adaptation problems. The effectiveness of the proposed formulation and algorithm is illustrated by the simulations.


title: Integrated superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides

abstract: We demonstrate the integration of amorphous tungsten silicide superconducting nanowire single-photon detectors on titanium in-diffused lithium niobate waveguides. We show proof-of-principle detection of evanescently-coupled photons of 1550nm wavelength using bidirectional waveguide coupling for two orthogonal polarization directions. We investigate the internal detection efficiency as well as detector absorption using coupling-independent characterization measurements. Furthermore, we describe strategies to improve the yield and efficiency of these devices.


title: Communication-Efficient and Personalized Federated Lottery Ticket Learning

abstract: The lottery ticket hypothesis (LTH) claims that a deep neural network (i.e., ground network) contains a number of subnetworks (i.e., winning tickets), each of which exhibiting identically accurate inference capability as that of the ground network. Federated learning (FL) has recently been applied in LotteryFL to discover such winning tickets in a distributed way, showing higher accuracy multi-task learning than Vanilla FL. Nonetheless, LotteryFL relies on unicast transmission on the downlink, and ignores mitigating stragglers, questioning scalability. Motivated by this, in this article we propose a personalized and communication-efficient federated lottery ticket learning algorithm, coined CELL, which exploits downlink broadcast for communication efficiency. Furthermore, it utilizes a novel user grouping method, thereby alternating between FL and lottery learning to mitigate stragglers. Numerical simulations validate that CELL achieves up to 3.6% higher personalized task classification accuracy with 4.3x smaller total communication cost until convergence under the CIFAR-10 dataset.


title: Non-Negativity of BMN Two-Point Functions With Three String Modes

abstract: Recently, we proposed a novel entry of the pp-wave holographic dictionary, which equated the Berenstein-Maldacena-Nastase (BMN) two-point functions in free $\mathcal{N}=4$ super-Yang-Mills theory with the norm squares of the quantum unitary transition amplitudes between the corresponding tensionless strings in the infinite curvature limit, for the cases with no more than three string modes in different transverse directions. A seemingly highly non-trivial conjectural consequence, particularly in the case of three string modes, is the non-negativity of the BMN two-point functions at any higher genus for any mode numbers. In this paper, we further perform the detailed calculations of the BMN two-point functions with three string modes at genus two, and explicitly verify that they are always non-negative through mostly extensive numerical tests.


title: Short-term forecast of EV charging stations occupancy probability using big data streaming analysis

abstract: The widespread diffusion of electric mobility requires a contextual expansion of the charging infrastructure. An extended collection and processing of information regarding charging of electric vehicles may turn each electric vehicle charging station into a valuable source of streaming data. Charging point operators may profit from all these data for optimizing their operation and planning activities. In such a scenario, big data and machine learning techniques would allow valorizing real-time data coming from electric vehicle charging stations. This paper presents an architecture able to deal with data streams from a charging infrastructure, with the final aim to forecast electric charging station availability after a set amount of minutes from present time. Both batch data regarding past charges and real-time data streams are used to train a streaming logistic regression model, to take into account recurrent past situations and unexpected actual events. The streaming model performs better than a model trained only using historical data. The results highlight the importance of constantly updating the predictive model parameters in order to adapt to changing conditions and always provide accurate forecasts.


title: Integration in Finite Terms: Dilogarithmic Integrals

abstract: We extend the theorem of Liouville on integration in finite terms to include dilogarithmic integrals. The results provide a necessary and sufficient condition for an element of the base field to have an antiderivative in a field extension generated by transcendental elementary functions and dilogarithmic integrals. We also study algebraic independence of certain dilogarithmic integrals.


title: Dense Point Prediction: A Simple Baseline for Crowd Counting and Localization

abstract: In this paper, we propose a simple yet effective crowd counting and localization network named SCALNet. Unlike most existing works that separate the counting and localization tasks, we consider those tasks as a pixel-wise dense prediction problem and integrate them into an end-to-end framework. Specifically, for crowd counting, we adopt a counting head supervised by the Mean Square Error (MSE) loss. For crowd localization, the key insight is to recognize the keypoint of people, i.e., the center point of heads. We propose a localization head to distinguish dense crowds trained by two loss functions, i.e., Negative-Suppressed Focal (NSF) loss and False-Positive (FP) loss, which balances the positive/negative examples and handles the false-positive predictions. Experiments on the recent and large-scale benchmark, NWPU-Crowd, show that our approach outperforms the state-of-the-art methods by more than 5% and 10% improvement in crowd localization and counting tasks, respectively. The code is publicly available at https://github.com/WangyiNTU/SCALNet.


title: Bridging observation, theory and numerical simulation of the ocean using Machine Learning

abstract: Progress within physical oceanography has been concurrent with the increasing sophistication of tools available for its study. The incorporation of machine learning (ML) techniques offers exciting possibilities for advancing the capacity and speed of established methods and also for making substantial and serendipitous discoveries. Beyond vast amounts of complex data ubiquitous in many modern scientific fields, the study of the ocean poses a combination of unique challenges that ML can help address. The observational data available is largely spatially sparse, limited to the surface, and with few time series spanning more than a handful of decades. Important timescales span seconds to millennia, with strong scale interactions and numerical modelling efforts complicated by details such as coastlines. This review covers the current scientific insight offered by applying ML and points to where there is imminent potential. We cover the main three branches of the field: observations, theory, and numerical modelling. Highlighting both challenges and opportunities, we discuss both the historical context and salient ML tools. We focus on the use of ML in situ sampling and satellite observations, and the extent to which ML applications can advance theoretical oceanographic exploration, as well as aid numerical simulations. Applications that are also covered include model error and bias correction and current and potential use within data assimilation. While not without risk, there is great interest in the potential benefits of oceanographic ML applications; this review caters to this interest within the research community.


title: ANT: Learning Accurate Network Throughput for Better Adaptive Video Streaming

abstract: Adaptive Bit Rate (ABR) decision plays a crucial role for ensuring satisfactory Quality of Experience (QoE) in video streaming applications, in which past network statistics are mainly leveraged for future network bandwidth prediction. However, most algorithms, either rules-based or learning-driven approaches, feed throughput traces or classified traces based on traditional statistics (i.e., mean/standard deviation) to drive ABR decision, leading to compromised performances in specific scenarios. Given the diverse network connections (e.g., WiFi, cellular and wired link) from time to time, this paper thus proposes to learn the ANT (a.k.a., Accurate Network Throughput) model to characterize the full spectrum of network throughput dynamics in the past for deriving the proper network condition associated with a specific cluster of network throughput segments (NTS). Each cluster of NTS is then used to generate a dedicated ABR model, by which we wish to better capture the network dynamics for diverse connections. We have integrated the ANT model with existing reinforcement learning (RL)-based ABR decision engine, where different ABR models are applied to respond to the accurate network sensing for better rate decision. Extensive experiment results show that our approach can significantly improve the user QoE by 65.5% and 31.3% respectively, compared with the state-of-the-art Pensive and Oboe, across a wide range of network scenarios.


title: Resynchronized Uniformization and Definability Problems for Rational Relations

abstract: Regular synchronization languages can be used to define rational relations of finite words, and to characterize subclasses of rational relations, like automatic or recognizable relations. We provide a systematic study of the decidability of uniformization and definability problems for subclasses of rational relations defined in terms of such synchronization languages. We rephrase known results in this setting and complete the picture by adding several new decidability and undecidability results.


title: Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds

abstract: Storm water detention ponds are used to manage the discharge of rainfall runoff from urban areas to nearby streams. Their purpose is to reduce the hydraulic impact and sediment loads of the receiving waters. Detention ponds are currently designed based on static controls: the output flow of a pond is capped at a fixed value. This is not optimal with respect to the current infrastructure capacity and for some detention ponds it might even violate current regulations set by the European Water Framework Directive. We apply formal methods to synthesize (i.e., derive automatically) a safe and optimal active controller. We model the storm water detention pond, including the urban catchment area and the rain forecasts, as a hybrid Markov decision process. Subsequently, we use the tool Uppaal Stratego to synthesize a control strategy minimizing the cost related to pollution (optimality) while guaranteeing no emergency overflow of the detention pond (safety). Simulation results for an existing pond show that Uppaal Stratego can learn optimal strategies that prevent emergency overflows, where the current static control is not always able to prevent it. At the same time, our approach can improve sedimentation during low rain periods.


title: Inner-ear Augmented Metal Artifact Reduction with Simulation-based 3D Generative Adversarial Networks

abstract: Metal Artifacts creates often difficulties for a high quality visual assessment of post-operative imaging in {c}omputed {t}omography (CT). A vast body of methods have been proposed to tackle this issue, but {these} methods were designed for regular CT scans and their performance is usually insufficient when imaging tiny implants. In the context of post-operative high-resolution {CT} imaging, we propose a 3D metal {artifact} reduction algorithm based on a generative adversarial neural network. It is based on the simulation of physically realistic CT metal artifacts created by cochlea implant electrodes on preoperative images. The generated images serve to train a 3D generative adversarial networks for artifacts reduction. The proposed approach was assessed qualitatively and quantitatively on clinical conventional and cone-beam CT of cochlear implant postoperative images. These experiments show that the proposed method {outperforms other} general metal artifact reduction approaches.


title: Edge Resolvability for Circular Ladder of Heptagons

abstract: A set $\mathbb{Y}$ of elements (vertices or edges) in space is said to be a $generator$ of a metric space if each element of the space is recognized by its distances from the elements of $\mathbb{Y}$, uniquely. The generator with minimum cardinality is known as the $basis$ of the metric space, and this cardinality is the $dimension$ of the given space. In this article, we further discuss these notions with respect to a heptagonal circular ladder. We show that for a heptagonal circular ladder $\Gamma_{n}$, the edge metric dimension is three and find that it equals its metric dimension. We also introduce a new family of the convex polytope graph (denoted by $\Delta_{n}$) from a heptagonal circular ladder and find its metric dimension. Furthermore, we prove that the minimum generator (metric and edge metric) are independent for all of these families of the convex polytopes.


title: A Multispecies Cross-Diffusion Model for Territorial Development

abstract: We develop an agent-based model on a lattice to investigate territorial development motivated by markings such as graffiti, generalizing a previously-published model to account for $K$ groups instead of two groups. We then analyze this model and present two novel variations. Our model assumes that agents' movement is a biased random walk and that the agents' movement is away from rival groups' markings. All interactions between agents is indirect, mediated through the markings. We numerically demonstrate that in a system of three groups, the groups segregate in certain parameter regimes. Starting from the discrete model, we also formally derive the continuum system of $2K$ convection-diffusion equations for our model. These equations exhibit cross-diffusion due to the avoidance of the rival groups' markings. Linear stability analysis is performed to study the phase transition that the system undergoes as parameters are varied. Two new variations of the model are introduced and numerically studied. Both exhibit a phase transition, with segregation dynamics that are distinct both from each other and from the original model.


title: Water Self-Dissociation is Insensitive to Nanoscale Environments

abstract: Nanoconfinement effects on water dissociation and reactivity remain controversial, despite their importance to understand the aqueous chemistry at interfaces, pores, or aerosols. The pKw in confined environments has been assessed from experiments and simulations in a few specific cases, leading to dissimilar conclusions. Here, with the use of carefully designed \textit{ab-initio} simulations, we demonstrate that the energetics of bulk water dissociation is conserved intact to unexpectedly small length-scales, down to aggregates of only a dozen molecules or pores of widths below 2 nm. The reason is that most of the free-energy involved in water autoionization comes from breaking the O-H covalent bond, which has a comparable barrier in the bulk liquid, in a small droplet of nanometer size, or in a nanopore in the absence of strong interfacial interactions. Thus, dissociation free-energy profiles in nanoscopic aggregates or in 2D slabs of 1 nm width reproduce the behavior corresponding to the bulk liquid, regardless of whether the corresponding nanophase is delimited by a solid or a gas interface. The present work provides a definite and fundamental description of the mechanism and thermodynamics of water dissociation at different scales with broader implications on reactivity and self-ionization at the air-liquid interface.


title: On a family of unit equations over simplest cubic fields

abstract: Let $a\in \mathbb{Z}$ and $\rho$ be a root of $f_a(x)=x^3-ax^2-(a+3)x-1$, then the number field $K_a=\mathbb{Q}(\rho)$ is called a simplest cubic field. In this paper we consider the family of unit equations $u_1+u_2=n$ where $u_1,u_2\in \mathbb{Z}[\rho]^*$ and $n\in \mathbb{Z}$. We completely solve the unit equations under the restriction $|n|\leq \max\{1,|a|^{1/3}\}$.


title: Computing the coefficients of transformations between oscillator states

abstract: A program is created to compute recursively the Moshinsky brackets. It is very fast and provides highly accurate results. In the case of the double-precision computations with a single-processor consumer notebook, the computing time per bracket at any not small oscillator excitations is on the scale of 10^{-8} s and the accuracy is very good for the total number of quanta up to 80. The program is easy to handle.