title: Execution of NVRAM Programs with Persistent Stack

abstract: Non-Volatile Random Access Memory (NVRAM) is a novel type of hardware that combines the benefits of traditional persistent memory (persistency of data over hardware failures) and DRAM (fast random access). In this work, we describe an algorithm that can be used to execute NVRAM programs and recover the system after a hardware failure while taking the architecture of real-world NVRAM systems into account. Moreover, the algorithm can be used to execute NVRAM-destined programs on commodity persistent hardware, such as hard drives. That allows us to test NVRAM algorithms using only cheap hardware, without having access to the NVRAM. We report the usage of our algorithm to implement and test NVRAM CAS algorithm.


title: Integrated Reasoning Engine for Pointer-related Code Clone Detection

abstract: Detecting similar code fragments, usually referred to as code clones, is an important task. In particular, code clone detection can have significant uses in the context of vulnerability discovery, refactoring and plagiarism detection. However, false positives are inevitable and always require manual reviews. In this paper, we propose Twin-Finder+, a novel closed-loop approach for pointer-related code clone detection that integrates machine learning and symbolic execution techniques to achieve precision. Twin-Finder+ introduces a formal verification mechanism to automate such manual reviews process. Our experimental results show Twin-Finder+ that can remove 91.69% false positives in average. We further conduct security analysis for memory safety using real-world applications, Links version 2.14 and libreOffice-6.0.0.1. Twin-Finder+ is able to find 6 unreported bugs in Links version 2.14 and one public patched bug in libreOffice-6.0.0.1.


title: Transport properties around the metal-insulator transition for SrVO3 ultrathin films fabricated by electrochemical etching

abstract: By using electrochemical etching, we fabricated conductive ultrathin SrVO3 (SVO) films that exhibited metallic behavior down to 3 monolayers (ML). From an observed systematic change in transport properties with decreasing film thickness, it was found that the disorder in the films remained nearly unchanged during etching, and only the thickness was reduced. This is in contrast to the insulating behavior found for as-deposited SVO ultrathin films. For the etched films, the electron mobility at 200 K decreased with decreasing film thickness below 10 ML, originating from an increased scattering rate and electron effective mass near the metal-insulator transition. A slight upturn in the resistivity and a positive magnetoresistance at low temperatures were typically observed for the etched films down to 3 ML, which was explained by weak anti-localization of electrons in a weakly disordered metal.


title: Rescaled Einstein-Hilbert Gravity: Inflation and the Swampland Criteria

abstract: In this work we shall study a class of $f(R,\phi)$ gravity models which during the inflationary era, which is the large curvature regime, result to an effective inflationary Lagrangian that contains a rescaled Einstein-Hilbert term $\alpha R$ in the presence of a canonical minimally coupled scalar field. The dimensionless parameter $\alpha$ is chosen to take values in the range $0<\alpha<1$ and the main motivation for studying these rescaled Einstein-Hilbert $f(R,\phi)$ gravities, is the fact that the rescaled action may render an otherwise incompatible canonical scalar field theory with the Swampland criteria, to be compatible with the Swampland criteria. As we will show, by studying a large number of inflationary potentials appearing in the 2018 Planck collaboration article for the constraints on inflation, the simultaneous compatibility with both the Planck constraints and the Swampland criteria, is achieved for some models, and the main characteristic of the models for which this is possible, is the small values that the parameter $\alpha$ must take.


title: Stacked CMB lensing and ISW signals around superstructures in the DESI Legacy Survey

abstract: The imprints of large-scale structures on the Cosmic Microwave Background can be studied via the CMB lensing and Integrated Sachs-Wolfe (ISW) signals. In particular, the stacked ISW signal around supervoids has been claimed in several works to be anomalously high. In this study, we find cluster and void superstructures using four tomographic redshift bins with $0<z<0.8$ from the DESI Legacy Survey, and measure the stacked CMB lensing and ISW signals around them. To compare our measurements with $\Lambda$CDM model predictions, we construct a mock catalogue with matched galaxy number density and bias, and apply the same photo-$z$ uncertainty as the data. The consistency between the mock and data is verified via the stacked galaxy density profiles around the superstructures and their quantity. The corresponding lensing convergence and ISW maps are then constructed and compared. The stacked lensing signal agrees with data well except at the highest redshift bin in density peaks, where the mock prediction is significantly higher, by approximately a factor 1.3. The stacked ISW signal is generally consistent with the mock prediction. We do not obtain a significant signal from voids, $A_{\rm ISW}=-0.10\pm0.69$, and the signal from clusters, $A_{\rm ISW}=1.52\pm0.72$, is at best weakly detected. However, these results are strongly inconsistent with previous claims of ISW signals at many times the level of the $\Lambda$CDM prediction. We discuss the comparison of our results with past work in this area, and investigate possible explanations for this discrepancy.


title: Unveiling Symmetry Protection of Bound States in the Continuum with Terahertz Near-field Imaging

abstract: Bound states in the continuum (BICs) represent a new paradigm in photonics due to the full suppression of radiation losses. However, this suppression has also hampered their direct observation. By using a double terahertz (THz) near-field technique that allows the local excitation and detection of the THz amplitude, we are able to map for the first time the electromagnetic field of BICs over extended areas, unveiling the field-symmetry protection that suppresses far-field radiation. This investigation, done for metasurfaces of dimer rod resonators, reveals the in-plane extension and formation of BICs with anti-symmetric phases, in agreement with coupled-dipole calculations. By displacing the rods, we demonstrate that mirror symmetry is not a necessary condition for BIC formation. Only $\pi$-rotation symmetry is required, making BICs exceptionally robust to structural changes. This work makes the local field of BICs experimentally accessible, which is crucial for the engineering of cavities with infinite lifetimes.


title: Multi-pulse edge-localized states on quantum graphs

abstract: Edge-localized stationary states of the focusing nonlinear Schrodinger equation on a general quantum graph are considered in the limit of large mass. Compared to the previous works, we include arbitrary multi-pulse positive states which approach asymptotically to a composition of N solitons, each sitting on a bounded (pendant, looping, or internal) edge. Not only we prove that such states exist in the limit of large mass, but also we compute the precise Morse index (the number of negative eigenvalues in the corresponding linearized operator). In the case of the edge-localized N-soliton states on the pendant and looping edges, we prove that the Morse index is exactly N. The technical novelty of this work is achieved by avoiding elliptic functions (and related exponentially small scalings) and closing the existence arguments in terms of the Dirichlet-to-Neumann maps for relevant parts of the given graph.

categories: math-ph math.AP math.CA math.MP nlin.PS nlin.SI


title: Testing Rankings with Cross-Validation

abstract: This research investigates how to determine whether two rankings come from the same distribution. We evaluate three hybrid tests: Wilcoxon's, Dietterich's, and Alpaydin's statistical tests combined with cross-validation (CV), each operating with folds ranging from 5 to 10, thus altogether 18 variants. We have applied these tests in the framework of a popular comparative statistical test, the Sum of Ranking Differences that builds upon the Manhattan distance between the rankings. The introduced methodology is widely applicable from machine learning through social sciences. To compare these methods, we have followed an innovative approach borrowed from Economics. We designed nine scenarios for testing type I and II errors. These represent typical situations (that is, different data structures) that CV tests face routinely. The optimal CV method depends on the preferences regarding the minimization of type I/II errors, size of the input, and expected patterns in the data. The Wilcoxon method with eight folds proved to be the best for all three investigated input sizes. Although the Dietterich and Alpaydin methods are the best in type I situations, they fail badly in type II cases. We demonstrate our results on real-world data, borrowed from chess and chemistry. Overall we cannot recommend either Alpaydin or Dietterich as an alternative to Wilcoxon cross-validation.


title: Response and flux of information in extended non-equilibrium dynamics

abstract: It is well known that entropy production is a proxy to the detection of non-equilibrium, i.e. of the absence of detailed balance; however, due to the global character of this quantity, its knowledge does not allow to identify spatial currents or fluxes of information among specific elements of the system under study. In this respect, much more insight can be gained by studying transfer entropy and response, which allow quantifying the relative influence of parts of the system and the asymmetry of the fluxes. In order to understand the relation between the above-mentioned quantities, we investigate spatially asymmetric extended systems. First, we consider a simplified linear stochastic model, which can be studied analytically; then, we include nonlinear terms in the dynamics. Extensive numerical investigation shows the relation between entropy production and the above-introduced degrees of asymmetry. Finally, we apply our approach to the highly nontrivial dynamics generated by the Lorenz '96 model for Earth oceanic circulation.


title: Understanding Mobile GUI: from Pixel-Words to Screen-Sentences

abstract: The ubiquity of mobile phones makes mobile GUI understanding an important task. Most previous works in this domain require human-created metadata of screens (e.g. View Hierarchy) during inference, which unfortunately is often not available or reliable enough for GUI understanding. Inspired by the impressive success of Transformers in NLP tasks, targeting for purely vision-based GUI understanding, we extend the concepts of Words/Sentence to Pixel-Words/Screen-Sentence, and propose a mobile GUI understanding architecture: Pixel-Words to Screen-Sentence (PW2SS). In analogy to the individual Words, we define the Pixel-Words as atomic visual components (text and graphic components), which are visually consistent and semantically clear across screenshots of a large variety of design styles. The Pixel-Words extracted from a screenshot are aggregated into Screen-Sentence with a Screen Transformer proposed to model their relations. Since the Pixel-Words are defined as atomic visual components, the ambiguity between their visual appearance and semantics is dramatically reduced. We are able to make use of metadata available in training data to auto-generate high-quality annotations for Pixel-Words. A dataset, RICO-PW, of screenshots with Pixel-Words annotations is built based on the public RICO dataset, which will be released to help to address the lack of high-quality training data in this area. We train a detector to extract Pixel-Words from screenshots on this dataset and achieve metadata-free GUI understanding during inference. We conduct experiments and show that Pixel-Words can be well extracted on RICO-PW and well generalized to a new dataset, P2S-UI, collected by ourselves. The effectiveness of PW2SS is further verified in the GUI understanding tasks including relation prediction, clickability prediction, screen retrieval, and app type classification.


title: On the Viscous Cahn-Hilliard-Oono System with Chemotaxis and Singular Potential

abstract: We analyze a diffuse interface model that couples a viscous Cahn-Hilliard equation for the phase variable with a diffusion-reaction equation for the nutrient concentration. The system under consideration also takes into account some important mechanisms like chemotaxis, active transport as well as nonlocal interaction of Oono's type. When the spatial dimension is three, we prove the existence and uniqueness of global weak solutions to the model with singular potentials including the physically relevant logarithmic potential. Then we obtain some regularity properties of the weak solutions when $t>0$. In particular, with the aid of the viscous term, we prove the so-called instantaneous separation property of the phase variable such that it stays away from the pure states $\pm1$ as long as $t>0$. Furthermore, we study long-time behavior of the system, by proving the existence of a global attractor and characterizing its $\omega$-limit set.


title: Homology of infinity-operads

abstract: In a first part of this paper, we introduce a homology theory for infinity-operads and for dendroidal spaces which extends the usual homology of differential graded operads defined in terms of the bar construction, and we prove some of its basic properties. In a second part, we define general bar and cobar constructions. These constructions send infinity-operads to infinity-cooperads and vice versa, and define an adjoint bar-cobar (or "Koszul") duality. Somewhat surprisingly, this duality is shown to hold much more generally between arbitrary presheaves and copresheaves on the category of trees defining infinity-operads. We emphasize that our methods are completely elementary and explicit.


title: A numerical characterization of the extremal Betti numbers of $t$-spread strongly stable Ideals

abstract: Let $K$ be a field and let $S=K[x_1,\dots,x_n]$ be a standard polynomial ring over a field $K$. We characterize the extremal Betti numbers, values as well positions, of a $t$-spread strongly stable ideal of $S$. Our approach is constructive. Indeed, given some positive integers $a_1,\dots,a_r$ and some pairs of positive integers $(k_1,\ell_1),\dots,(k_r,\ell_r)$, we are able to determine under which conditions there exist a $t$-spread strongly stable ideal $I$ of $S$ with $\beta_{k_i, k_i\ell_i}(I)=a_i$, $i=1, \ldots, r$, as extremal Betti numbers, and then to construct it.


title: A bound of the number of weighted blow-ups to compute the minimal log discrepancy for smooth 3-folds

abstract: We study a pair consisting of a smooth 3-fold defined over an algebraically closed field and a general real ideal. We show that the minimal log discrepancy of every such a pair is computed by a prime divisor obtained by at most two weighted blow-ups. This bound is regarded as a weighted blow-up version of Mustata-Nakamura Conjecture. We also show that if the mld of such a pair is not less than 1, then it is computed by at most one weighted blow-up. As a consequence, ACC of mld holds for such pairs.


title: Quantum Approximate Optimization Algorithm with Adaptive Bias Fields

abstract: The quantum approximate optimization algorithm (QAOA) transforms a simple many-qubit wavefunction into one which encodes a solution to a difficult classical optimization problem. It does this by optimizing the schedule according to which two unitary operators are alternately applied to the qubits. In this paper, the QAOA is modified by updating the operators themselves to include local fields, using information from the measured wavefunction at the end of one iteration step to improve the operators at later steps. It is shown by numerical simulation on MaxCut problems that, for a fixed accuracy, this procedure decreases the runtime of QAOA very substantially. This improvement appears to increase with the problem size. Our method requires essentially the same number of quantum gates per optimization step as the standard QAOA, and no additional measurements. This modified algorithm enhances the prospects for quantum advantage for certain optimization problems.


title: Spread of infections in a heterogeneous moving population

abstract: We consider a model where an infection moves through a collection of particles performing independent random walks. In this model, Kesten and Sidoravicius established linear growth of the infected region when infected and susceptible particles move at the same speed. In this paper we establish a linear growth rate when infected and susceptible particles move at different speeds, answering an open problem from their work. Our proof combines an intricate coupling of Poisson processes with a streamlined version of a percolation model of Sidoravicius and Stauffer.


title: SpheCow: flexible dynamical models for galaxies and dark matter haloes

abstract: Simple but flexible dynamical models are useful for many purposes, including serving as the starting point for more complex models or numerical simulations of galaxies, clusters, or dark matter haloes. We present SpheCow, a new light-weight and flexible code that allows one to easily explore the structure and dynamics of any spherical model. Assuming an isotropic or Osipkov-Merritt anisotropic orbital structure, the code can automatically calculate the dynamical properties of any model with either an analytical density profile or an analytical surface density profile as starting point. We have extensively validated SpheCow using a combination of comparisons to analytical and high-precision numerical calculations, as well as the calculation of inverse formulae. SpheCow contains readily usable implementations for many standard models, including the Plummer, Hernquist, NFW, Einasto, S\'ersic, and Nuker models. The code is publicly available as a set of C++ routines and as a Python module, and it is designed to be easily extendable, in the sense that new models can be added in a straightforward way. We demonstrate this by adding two new families of models in which either the density slope or the surface density slope is described by an algebraic sigmoid function. We advocate the use of the SpheCow code to investigate the full dynamical structure for models for which the distribution function cannot be expressed analytically and to explore a much wider range of models than is possible using analytical models alone.


title: Particle detection and tracking with DNA

abstract: We present the first proof-of-concept simulations of detectors using biomaterials to detect particle interactions. The essential idea behind a "DNA detector" involves the attachment of a forest of precisely-sequenced single or double-stranded nucleic acids from a thin holding layer made of a high-density material. Incoming particles break a series of strands along a roughly co-linear chain of interaction sites and the severed segments then fall to a collection area. Since the sequences of base pairs in nucleic acid molecules can be precisely amplified and measured using polymerase chain reaction (PCR), the original spatial position of each broken strand inside the detector can be reconstructed with nm precision. Motivated by the potential use as a low-energy directional particle tracker, we perform the first Monte Carlo simulations of particle interactions inside a DNA detector. We compare the track topology as a function of incoming direction, energy, and particle type for a range of ionising particles. While particle identification and energy reconstruction might be challenging without a significant scale-up, the excellent potential angular and spatial resolution ($\lesssim 25^\circ$ axial resolution for a keV-scale particles and nm-scale track segments) are clear advantages of this concept. We conclude that a DNA detector could be a cost-effective, portable, and powerful new particle detection technology. We outline the outstanding experimental challenges, and suggest directions for future laboratory tests.


title: Extending rational models of communication from beliefs to actions

abstract: Speakers communicate to influence their partner's beliefs and shape their actions. Belief- and action-based objectives have been explored independently in recent computational models, but it has been challenging to explicitly compare or integrate them. Indeed, we find that they are conflated in standard referential communication tasks. To distinguish these accounts, we introduce a new paradigm called signaling bandits, generalizing classic Lewis signaling games to a multi-armed bandit setting where all targets in the context have some relative value. We develop three speaker models: a belief-oriented speaker with a purely informative objective; an action-oriented speaker with an instrumental objective; and a combined speaker which integrates the two by inducing listener beliefs that generally lead to desirable actions. We then present a series of simulations demonstrating that grounding production choices in future listener actions results in relevance effects and flexible uses of nonliteral language. More broadly, our findings suggest that language games based on richer decision problems are a promising avenue for insight into rational communication.


title: Tangent and Supporting Lines, Envelopes, and Dual Curves

abstract: A differentiable curve y = y(x) is determined by its tangent lines and is said to be the envelope of its tangent lines. The coefficients of the curve's tangent lines form a curve in another space, called the dual space. There is a transformation between the original x,y-space and the dual space, such that points on the original curve and the curve of the coefficients of the tangent lines are transformed into each other.The dual space and the transformation depend upon the form that is used for the tangent lines. One choice is y = mx + b, so that the coordinates in the dual space are m and b, where the curve representing the tangent lines is b = b(m). Each point of the curve b = b(m) in the dual space corresponds to a tangent line to the curve y = y(x) in x,y-space. We present other choices of the form for the tangent lines and explore techniques for finding a curve from the tangent lines, transformations between the original space and a dual space and among dual spaces, the differential equation, whose solutions are exactly the equations of the equations of the tangent lines and the original curve. Geometric constructions and other tools are used to find dual curves.


title: Long-term Value of Flexibility from Flexible Assets in Building Operation

abstract: In this work, we investigate how flexible assets within a residential building influence the long-term impact of operation. We use a measured-peak grid tariff (MPGT) that puts a cost on the highest single-hour peak import over the month. We apply a mathematical model of a Home Energy Management System (HEMS) together with Stochastic Dynamic Programming (SDP), which calculates the long-term impact of operating as a non-linear expected future cost curve (EFCC) from the end of the scheduling period to the start. The proposed model is applied to a case study for a Norwegian building with smart control of a battery energy storage system (BESS), Electric vehicle (EV) charging and space heating (SH). Each of the flexible assets are investigated individually with MPGT and for an energy-based grid tariff. The results showed that EV charging has the highest peak-power impact in the system, decreasing the total electricity cost by 14.6% with MPGT when controllable compared to a reference case with passive charging. It is further shown how the EFCC helps achieve optimal timing and level of the peak demand, where it co-optimizes both real-time pricing and the MPGT.


title: Emotion Recognition in Horses with Convolutional Neural Networks

abstract: Creating intelligent systems capable of recognizing emotions is a difficult task, especially when looking at emotions in animals. This paper describes the process of designing a "proof of concept" system to recognize emotions in horses. This system is formed by two elements, a detector and a model. The detector is a fast region-based convolutional neural network that detects horses in an image. The model is a convolutional neural network that predicts the emotions of those horses. These two elements were trained with multiple images of horses until they achieved high accuracy in their tasks. In total, 400 images of horses were collected and labeled to train both the detector and the model while 40 were used to test the system. Once the two components were validated, they were combined into a testable system that would detect equine emotions based on established behavioral ethograms indicating emotional affect through head, neck, ear, muzzle and eye position. The system showed an accuracy of 80% on the validation set and 65% on the test set, demonstrating that it is possible to predict emotions in animals using autonomous intelligent systems. Such a system has multiple applications including further studies in the growing field of animal emotions as well as in the veterinary field to determine the physical welfare of horses or other livestock.


title: Rates and delay times of type Ia supernovae in the Dark Energy Survey

abstract: We use a sample of 809 photometrically classified type Ia supernovae (SNe Ia) discovered by the Dark Energy Survey (DES) along with 40415 field galaxies to calculate the rate of SNe Ia per galaxy in the redshift range $0.2 < z <0.6$. We recover the known correlation between SN Ia rate and galaxy stellar mass across a broad range of scales $8.5 \leq \log(M_*/\mathrm{M}_{\odot}) \leq 11.25$. We find that the SN Ia rate increases with stellar mass as a power-law with index $0.63 \pm 0.02$, which is consistent with previous work. We use an empirical model of stellar mass assembly to estimate the average star-formation histories (SFHs) of galaxies across the stellar mass range of our measurement. Combining the modelled SFHs with the SN Ia rates to estimate constraints on the SN Ia delay time distribution (DTD), we find the data are fit well by a power-law DTD with slope index $\beta = -1.13 \pm 0.05$ and normalisation $A = 2.11 \pm0.05 \times 10^{-13}~\mathrm{SNe}~{\mathrm{M}_{\odot}}^{-1}~\mathrm{yr}^{-1}$, which corresponds to an overall SN Ia production efficiency $N_{\mathrm{Ia}}/M_* = 0.9~_{-0.7}^{+4.0} \times 10^{-3}~\mathrm{SNe}~\mathrm{M}_{\odot}^{-1}$. Upon splitting the SN sample by properties of the light curves, we find a strong dependence on DTD slope with the SN decline rate, with slower-declining SNe exhibiting a steeper DTD slope. We interpret this as a result of a relationship between intrinsic luminosity and progenitor age, and explore the implications of the result in the context of SN Ia progenitors.


title: Finance 4.0: Design principles for a value-sensitive cryptoecnomic system to address sustainability

abstract: Cryptoeconomic systems derive their power but can not be controlled by the underlying software systems and the rules they enshrine. This adds a level of complexity to the software design process. At the same time, such systems, when designed with human values in mind, offer new approaches to tackle sustainability challenges, that are plagued by commons dilemmas and negative external effects caused by a one-dimensional monetary system. This paper proposes a design science research methodology with value-sensitive design methods to derive design principles for a value-sensitive socio-ecological cryptoeconomic system that incentivizes actions toward sustainability via multi-dimensional token incentives. These design principles are implemented in a software that is validated in user studies that demonstrate its relevance, usability and impact. Our findings provide new insights on designing cryptoeconomic systems. Moreover, the identified design principles for a value-sensitive socio-ecological financial system indicate opportunities for new research directions and business innovations.


title: Learning Generative Prior with Latent Space Sparsity Constraints

abstract: We address the problem of compressed sensing using a deep generative prior model and consider both linear and learned nonlinear sensing mechanisms, where the nonlinear one involves either a fully connected neural network or a convolutional neural network. Recently, it has been argued that the distribution of natural images do not lie in a single manifold but rather lie in a union of several submanifolds. We propose a sparsity-driven latent space sampling (SDLSS) framework and develop a proximal meta-learning (PML) algorithm to enforce sparsity in the latent space. SDLSS allows the range-space of the generator to be considered as a union-of-submanifolds. We also derive the sample complexity bounds within the SDLSS framework for the linear measurement model. The results demonstrate that for a higher degree of compression, the SDLSS method is more efficient than the state-of-the-art method. We first consider a comparison between linear and nonlinear sensing mechanisms on Fashion-MNIST dataset and show that the learned nonlinear version is superior to the linear one. Subsequent comparisons with the deep compressive sensing (DCS) framework proposed in the literature are reported. We also consider the effect of the dimension of the latent space and the sparsity factor in validating the SDLSS framework. Performance quantification is carried out by employing three objective metrics: peak signal-to-noise ratio (PSNR), structural similarity index metric (SSIM), and reconstruction error (RE).


title: Observational Constraints on the Pulsar Wind Model: The Cases of Crab and Vela

abstract: As is well known, pulsars are extremely stable rotators. However, although slowly, they spin down thanks to brake mechanisms, which are in fact still subject of intense investigation in the literature. Since pulsars are usually modelled as highly magnetized neutron stars that emit beams of electromagnetic radiation out of their magnetic poles, it is reasonable to consider that the spindown has to do with a magnetic brake. Although an interesting and simple idea, a pure magnetic brake is not able to adequately account for the spindown rate. Thus, many alternative spindown mechanisms appear in the literature, among them the pulsar wind model, where a wind of particles coming from the pulsar itself can carry part of its rotational kinetic energy. Such a spindown mechanism depends critically on three parameters, namely, the dipole magnetic field $B$, the angle between the magnetic and rotation axes $(\phi)$, and the density of primary particles $(\zeta)$ of the pulsar's magnetosphere. Differently from a series of articles in this subject, we consider for the first time in the literature a statistical modelling which includes a combination of a dipole magnetic and wind brakes. As a result, we are able to constrain the above referred parameters in particular for Crab and Vela pulsars.


title: Expanding and Self-Organizing 2D Universe Models Emerging from Frozen Trivalent Spin Networks

abstract: We revisit the topic of self-organized criticality (SOC) in simple statistical graph models, with the purpose of capturing essential processes leading to the emergence of macroscopic spacetime from the microscopic dynamics in loop quantum gravity (LQG). We performed a large set of simulations based on extensions of the frozen trivalent spin network (TSN) model explored previously by Ansari and Smolin. Their model mimicked the sandpile dynamics by the application of random vertex propagation rules in the TSN, leading to a SOC behavior in the distribution of the avalanche sizes, as well as a slowly expanding, $2$-dimensional dual (triangulated) space. Here we show that a growth scheme for the stochastic, slow external driving force, differing from the classical sandpile model, also resulted in power-law distributed avalanche sizes. Our simulations also produced expanding dual spaces, with two basic classes of evolution: one with power-law correlations in "space" and "time", and the other with "loitering" and exponential phases. Our work expands the range of models in which critical states in the TSN may lead to expansion effects in the dual space, without fine-tuning.


title: Structure and lattice thermal conductivity of grain boundaries in silicon by using machine learning potential and molecular dynamics

abstract: In silicon, lattice thermal conductivity plays an important role in a wide range of applications such as thermoelectric and microelectronic devices. Grain boundaries (GBs) in polycrystalline silicon can significantly reduce lattice thermal conductivity, but the impact of GB atomic structures on it remains to be elucidated. This study demonstrates accurate predictions of the GB structures, GB energies, and GB phonon properties in silicon using machine learning potentials (MLPs). The results indicate that the MLPs enable robust GB structure searches owing to the fact that the MLPs were developed from a training dataset covering a wide variety of structures. We also investigate lattice thermal conduction at four GB atomic structures using large-scale perturbed molecular dynamics and phonon wave-packet simulations. The comparison of these results indicates that the GB structure dependence of thermal conductivity stems from anharmonic vibrations at GBs rather than from the phonon transmission behavior at GBs. The advantages of the MLPs compared with a typical empirical potential of silicon are also thoroughly investigated.


title: Analytic inversion of closed form solutions of the satellite's $J_2$ problem

abstract: This report provides some closed form solutions -- and their inversion -- to a satellite's bounded motion on the equatorial plane of a spheroidal attractor (planet) considering the $J_{2}$ spherical zonal harmonic. The equatorial track of satellite motion -- assuming the co-latitude $\varphi$ fixed at $\pi/2$ -- is investigated: the relevant time laws and trajectories are evaluated as combinations of elliptic integrals of first, second, third kind and Jacobi elliptic functions. The new feature of this report is: from the inverse $t = t(c)$ to get the period $T$ of some functions $c(t)$ of mechanical interest and then to construct the relevant $c(t)$ expansion in Fourier series, in such a way performing the inversion. Such approach -- which led to new formulations for time laws of a $J_{2}$ problem -- is benchmarked by applying it to the basic case of keplerian motion, finding again the classic results through our different analytic path. Keywords: $J_2$ problem, bounded satellite motion, Fourier series, elliptic integrals, Jacobi elliptic functions.


title: A statistical model of COVID-19 testing in populations: effects of sampling bias and testing errors

abstract: We develop a statistical model for the testing of disease prevalence in a population. The model assumes a binary test result, positive or negative, but allows for biases in sample selection and both type I (false positive) and type II (false negative) testing errors. Our model also incorporates multiple test types and is able to distinguish between retesting and exclusion after testing. Our quantitative framework allows us to directly interpret testing results as a function of errors and biases. By applying our testing model to COVID-19 testing data and actual case data from specific jurisdictions, we are able to estimate and provide uncertainty quantification of indices that are crucial in a pandemic, such as disease prevalence and fatality ratios.


title: Failure Tolerance of the Human Lumbar Spine in Combined Compression and Flexion Loading

abstract: Vehicle safety systems have substantially decreased motor vehicle crash-related injuries and fatalities, but injuries to the lumbar spine still have been reported. Experimental and computational analyses of upright and, particularly, reclined occupants in frontal crashes have shown that the lumbar spine can be subjected to axial compression followed by combined compression-flexion loading. Lumbar spine failure tolerance in combined compression-flexion has not been widely explored in the literature. Therefore, the goal of this study was to measure the failure tolerance of the lumbar spine in combined compression and flexion. Forty 3-vertebra lumbar spine segments were pre-loaded with axial compression and then subjected to dynamic flexion bending until failure. Clinically relevant middle vertebra fractures were observed in twenty-one of the specimens, including compression and burst fractures. The remaining nineteen specimens experienced failure at the potting grip interface. Since specimen characteristics and pre-test axial load varied widely within the sample, failure forces (mean 3.4 kN, range 1.6-5.1 kN) and moments (mean 73 Nm, range 0-181 Nm) also varied widely. Tobit univariate regressions were performed to determine the relationship between censored failure tolerance and specimen sex, segment type (upper/lower), age, and cross-sectional area. Age, sex, and cross-sectional area significantly affected failure force and moment individually (p<0.0024). These data can be used to develop injury prediction tools for lumbar spine fractures and further research in future safety systems.


title: Anharmonic Vibrational Spectrum and Experimental Matrix Isolation Study of Thioformic Acid Conformers -- Potential Candidates for Molecular Cloud and Solar System Observations?

abstract: Thioformic acid (TFA) is the sulfur analog of formic acid, the simplest organic acid. It has three analogues HCOSH, HCSOH, and HCSSH, each of them having two rotational isomeric (rotameric) forms: trans and cis where the trans form is energetically more stable. In this article, we study computational energetics and anharmonic vibrational spectrum of TFA including overtone and combination vibrations. We also studied experimental photoisomerization and photodecomposition channels of HCOSH molecules with different wavelengths. We suggest that TFA is a potential sulfur containing candidate molecule for interstellar and planetary observations and discuss these in a light of different radiation environments in space. More generally, we discuss that infrared radiation driven photo-isomerization reactions may be a common phenomenon in such environments and can affect the chemical reaction pathways of organic and other interstellar molecules.


title: Model Mismatch Trade-offs in LMMSE Estimation

abstract: We consider a linear minimum mean squared error (LMMSE) estimation framework with model mismatch where the assumed model order is smaller than that of the underlying linear system which generates the data used in the estimation process. By modelling the regressors of the underlying system as random variables, we analyze the average behaviour of the mean squared error (MSE). Our results quantify how the MSE depends on the interplay between the number of samples and the number of parameters in the underlying system and in the assumed model. In particular, if the number of samples is not sufficiently large, neither increasing the number of samples nor the assumed model complexity is sufficient to guarantee a performance improvement.


title: Covariant Formulation of the Newton-Hooke Particle and its Canonical Analysis

abstract: A covariant formulation for the Newton-Hooke particle is presented by following an algorithm developed by us \cite{BMM1, BMM2, BMM3}. It naturally leads to a coupling with the Newton-Cartan geometry. From this result we provide an understanding of gravitation in a Newtonian geometric background. Using Dirac's constrained analysis a canonical formulation for the Newton-Hooke covariant action is done in both gauge independent and gauge fixed approaches. While the former helps in identifying the various symmetries of the model, the latter is able to define the physical variables. From this analysis a path to canonical quantisation is traced and the Schroedinger equation is derived which is shown to satisfy various consistency checks. Some consequences of this equation are briefly mentioned.


title: The Role of Compositionality in Constructing Complementarity Classical Structures Within Qubit Systems

abstract: Observables in a quantum system, represented by a Hilbert space, are given by the orthogonal bases of the aforementioned Hilbert space. Categorical Quantum Mechanics provides further abstraction of such observables, allowing for a diagrammatic representation of measurements that extends to quantum processes. Our research studies this abstraction of observables, which has been dubbed as classical structures, in a subtheory of quantum mechanics which focuses on qubit systems (or 2-dimensional quantum system and its composites). We have constructed a procedure that takes the complementary classical structures of a single qubit system and compose them separably via the Kronecker product or 'entangle' them via Bell states to obtain complementary classical structures in $n$-qubit systems. In this present work, we apply our procedure to two qubit and three qubit systems as examples. Then, using rewriting rules of ZX-calculus and tools in graph theory, we searched for maximal complete sets of mutually complementary classical structures (the categorical counterpart of mutually unbiased bases) among our constructed composite classical structures. For two qubits, we found 13 maximal complete sets of mutually complementary classical structures, and for three qubits, we found 32,448 maximal complete sets of mutually complementary classical structures.


title: A geometric characterization of the finitary special linear and unitary Lie algebras

abstract: An extremal element $x$ in a Lie algebra $\mathfrak{g}$ is an element for which the space $[x, [x, \mathfrak{g}]]$ is contained in the linear span of $x$. Long root elements in classical Lie algebras are examples of extremal elements. Lie algebras generated by extremal elements lead to geometries with as points the $1$-spaces generate by extremal elements an as lines the $2$-spaces whose non-zero elements are pairwise commuting extremal elements. In this paper we show that the finitary special linear Lie algebras can be characterized by their extremal geometry. Moreover, we also show that the finitary special unitary Lie algebras can be characterized by the fact that their geometry has no lines, but that after extending the field quadratically, the geometry is that of a special linear Lie algebra.


title: Ramification filtration and differential forms

abstract: Let $L$ be a complete discrete valuation field of prime characteristic $p$ with finite residue field. Denote by $\Gamma _{L}^{(v)}$ the ramification subgroups of $\Gamma _{L}=\operatorname{Gal}(L^{sep}/L)$. We consider the category $\operatorname{M\Gamma }_{L}^{Lie}$ of finite $\mathbb{Z}_p[\Gamma _{L}]$-modules $H$, satisfying some additional (Lie)-condition on the image of $\Gamma _L$ in $\operatorname{Aut}_{\mathbb{Z}_p}H$. In the paper it is proved that all information about the images of the ramification subgroups $\Gamma _L^{(v)}$ can be explicitly extracted from some differential forms $\Omega [N]$ on the Fontaine etale $\phi $-module $M(H)$ associated with $H$. The forms $\Omega [N]$ are completely determined by a connection $\nabla $ on $M(H)$. In the case of fields $L$ of mixed characteristic containing a primitive $p$-th root of unity we show that the similar problem for $\mathbb{F}_p[\Gamma _L]$-modules also admits a solution. In this case we use the field-of-norms functor to construct the coresponding $\phi $-module together with the action of a cyclic group of order $p$ coming from a cyclic extension of $L$. Then the solution involves the characteristic $p$ part (provided by the field-of-norms functor) and the condition for a "good" lift of a generator of the involved cyclic group of order $p$. Apart from the above differential forms the statement of this condition also uses a power series coming from the $p$-adic period of the formal group $\mathbb{G}_m$.


title: 3.55 keV Silicon Anomaly as X-ray Candle in the Universe

abstract: The Ly-$\alpha$ line of $^{14}$Si with the energy 3.55-keV is formed in the magnetic field $6\cdot 10^{12}$ G. In close binary stellar systems with a red giant and a neutron star in super-strong magnetic fields recombination laser radiation to the Landau ground level may appear from hydrogen-like ions. If the 3.55-keV Ly-$\alpha$ silicon laser realizes, then the detection of this line from any distances in the Universe on $z\leq100$ is possible and this line may be the X-ray candle because of a huge abundance of silicon in these binary systems. Energies for a Ly-$\alpha$ line of hydrogen-like $^{14}$Si in magnetic fields $4\cdot10^{12}-10^{13}$ G are calculated. This line is the unique event because we see this radiation from perpendicular direction to the magnetic column in near-wall layers. The laser radiation to the ground level in the range of (1-20) keV may arise from other hydrogen-like ions. In the presence of a laser, line narrowing is inevitable.


title: Quadratic variations for Gaussian isotropic random fields on the sphere

abstract: In this paper we define (empirical) quadratic variations for a Gaussian isotropic random field $f$ on a unit sphere as sums over equidistant increments on one single geodesic line on the surface of the sphere. We prove a noncentral limit theorem for a fixed Fourier component of such a field as well as quantitative central limit theorems in the increasing frequency regime. Based on these results we propose estimators of the angular power spectrum and study their properties. Moreover, we show a quantitative central limit theorem for quadratic variations over the field $f$ and construct an estimator for the Hurst parameter of a $L^2(\mathbb S^2)$-valued fractional Brownian motion.


title: Complexity of Solution of Simultaneous Multivariate Polynomial Equations

abstract: In this paper, an original reduction algorithm for solving simultaneous multivariate polynomial equations is presented. The algorithm is exponential in complexity, but the well-known algorithms, such as the extended Euclidean algorithm and Buchberger's algorithm, are superexponential. The superexponential complexity of the well-known algorithms is due to their not being "minimal" in a certain sense. Buchberger's algorithm produces a Groebner basis. The proposed original reduction algorithm achieves the required task, via computation of determinants of parametric Sylvester matrices, and produces a Rabin basis, which is shown to be minimal, when two multivariate polynomials are reduced at a time. The minimality of Rabin basis allows us to prove exponential lower bounds for the space complexity of an algebraic proof of certification, for a specific computational problem in the computational complexity class PSPACE, showing that the complexity classes PSPACE and P cannot be the same. By the same reasoning, it follows that Co-NP is not the same as either of the complexity classes NP and P, and that the polynomial time hierarchy does not collapse. It is also shown that the class BPP of languages decidable by bounded error probabilistic algorithms with (probabilistic) polynomial time proofs for the membership of input words is not the same as any one of the complexity classes P, NP and Co-NP. It follows again, from the discussions, that the complexity classes NP and P are not the same, by relativization of BPP, with respect to P and NP.


title: Reservoir Computing based on Mutually Injected Phase Modulated Semiconductor Lasers as a monolithic integrated hardware accelerator

abstract: In this paper we propose and numerically study a neuromorphic computing scheme that applies delay-based reservoir computing in a laser system consisting of two mutually coupled phase modulated lasers. The scheme can be monolithic integrated in a straightforward manner and alleviates the need for external optical injection, as the data can be directly applied on the on-chip phase modulator placed between the two lasers. The scheme also offers the benefit of increasing the nodes compared to a reservoir computing system using either one laser under feedback or laser under feedback and optical injection. Numerical simulations assess the performance of the integrated reservoir computing system in dispersion compensation tasks in short-reach optical communication systems. We numerically demonstrate that the proposed platform can recover severely distorted 25 Gbaud PAM-4 signals for transmission distances exceeding 50km and outperform other competing delay-based reservoir computing systems relying on optical feedback. The proposed scheme, thanks to its compactness and simplicity, can play the role of a monolithic integrated hardware accelerator in a wide range of application requiring high speed real time processing.


title: Maximal Order of an NG-group

abstract: This study was aimed to consider the NG-group that consisting of transformations on a nonempty set A has no bijection as its element. In addition, it tried to find the maximal order of these groups. It found the order of NG-group not greater than n. Our results proved by showing that any kind of NG-group in the theorem be isomorphic to a permutation group on a quotient set of A with respect to an equivalence relation on A.


title: Change in the orbital period of a binary system due to an outburst in a windy accretion disc

abstract: We consider a new mechanism for the removal of the angular momentum from an X-ray binary system and the change in its orbital period - the mass loss in the form of a wind from an accretion disc. Both observations and models predict powerful winds from discs in X-ray transients. We have obtained an analytical estimate for the increase in the orbital period of a binary system with a wind from the disc during an outburst, and quantitative estimates are given for the systems XTE J1118+480, A0620-00 and GRS 1124-68. Resulting rate of period grow is of order of the observed rates of secular decrease in the period. We also compare the predicted rate of change in the period of a binary system due to the flow of matter into the disc and outflow from the second Lagrange point with the observations. It is concluded that the above mechanisms cannot explain the observed secular decrease in the period of the three X-ray Novae, and it is necessary to consider a circumbinary disc that drains the binary's angular momentum.


title: Anisotropic compact stars in $f(R)$ gravity

abstract: We derive a new interior solution for stellar compact objects in $f\mathcal{(R)}$ gravity assuming a differential relation to constrain the Ricci curvature scalar. To this aim, we consider specific forms for the radial component of the metric and the first derivative of $f\mathcal{(R)}$. After, the time component of the metric potential and the form of $f(\mathcal R)$ function are derived. From these results, it is possible to obtain the radial and tangential components of pressure and the density. The resulting interior solution represents a physically motivated anisotropic neutron star model. It is possible to match it with a boundary exterior solution. From this matching, the components of metric potentials can be rewritten in terms of a compactness parameter $C$ which has to be $C=2GM/Rc^2 <<0.5$ for physical consistency. Other physical conditions for real stellar objects are taken into account according to the solution. We show that the model accurately bypasses conditions like the finiteness of radial and tangential pressures, and energy density at the center of the star, the positivity of these components through the stellar structure, and the negativity of the gradients. These conditions are satisfied if the energy-conditions hold. Moreover, we study the stability of the model by showing that Tolman-Oppenheimer-Volkoff equation is at hydrostatic equilibrium. The solution is matched with observational data of millisecond pulsars with a withe dwarf companion and pulsars presenting thermonuclear bursts.


title: The structure of the X(3872) as explained by a Diffusion Monte Carlo calculation

abstract: Two decades after its unexpected discovery, the properties of the $X(3872)$ exotic resonance are still under intense scrutiny. In particular, there are doubts about its nature as an ensemble of mesons or having any other internal structure. We use a Diffusion Monte Carlo method to solve the many-body Schr\"odinger equation that describes this state as a $c \bar c n \bar n$ ($n=u$ or $d$ quark) system. This approach accounts for multi-particle correlations in physical observables avoiding the usual quark-clustering assumed in other theoretical techniques. The most general and accepted pairwise Coulomb$\,+\,$linear-confining$\,+\,$hyperfine spin-spin interaction, with parameters obtained by a simultaneous fit of around 100 masses of mesons and baryons, is used. The $X(3872)$ contains light quarks whose masses are given by the mechanism responsible of the dynamical breaking of chiral symmetry. The same mechanisms gives rise to Goldstone-boson exchange interactions between quarks that have been fixed in the last 10-20 years reproducing hadron, hadron-hadron and multiquark phenomenology. It appears that a meson-meson molecular configuration is preferred but, contrary to the usual assumption of $D^0\bar{D}^{\ast0}$ molecule for the $X(3872)$, our formalism produces $\omega J/\psi$ and $\rho J/\psi$ clusters as the most stable ones, which could explain in a natural way all the observed features of the $X(3872)$.


title: Towards Teachable Autotelic Agents

abstract: Autonomous discovery and direct instruction are two distinct sources of learning in children but education sciences demonstrate that mixed approaches such as assisted discovery or guided play result in improved skill acquisition. In the field of Artificial Intelligence, these extremes respectively map to autonomous agents learning from their own signals and interactive learning agents fully taught by their teachers. In between should stand teachable autotelic agents (TAA): agents that learn from both internal and teaching signals to benefit from the higher efficiency of assisted discovery. Designing such agents will enable real-world non-expert users to orient the learning trajectories of agents towards their expectations. More fundamentally, this may also be a key step to build agents with human-level intelligence. This paper presents a roadmap towards the design of teachable autonomous agents. Building on developmental psychology and education sciences, we start by identifying key features enabling assisted discovery processes in child-tutor interactions. This leads to the production of a checklist of features that future TAA will need to demonstrate. The checklist allows us to precisely pinpoint the various limitations of current reinforcement learning agents and to identify the promising first steps towards TAA. It also shows the way forward by highlighting key research directions towards the design or autonomous agents that can be taught by ordinary people via natural pedagogy.


title: Moir\'e skyrmions and chiral magnetic phases in twisted CrX$_{3}$ (X $=$ I, Br, Cl) bilayers

abstract: We present a comprehensive theory of the magnetic phases in twisted bilayer Cr-trihalides through a combination of first-principles calculations and atomistic simulations. We show that the stacking-dependent interlayer exchange leads to an effective moir\'e field that is mostly ferromagnetic with antiferromagnetic patches. A wide range of noncollinear magnetic phases can be stabilized as a function of the twist angle and Dzyaloshinskii-Moriya interaction as a result of the competing interlayer antiferromagnetic coupling and the energy cost for forming domain walls. In particular, we demonstrate that for small twist angles various skyrmion crystal phases can be stabilized in both CrI$_3$ and CrBr$_3$. Our results provide an interpretation for the recent observation of noncollinear magnetic phases in twisted bilayer CrI$_3$ and demonstrate the possibility of engineering further nontrivial magnetic ground states in twisted bilayer Cr-trihalides.


title: Team NimbRo's UGV Solution for Autonomous Wall Building and Fire Fighting at MBZIRC 2020

abstract: Autonomous robotic systems for various applications including transport, mobile manipulation, and disaster response are becoming more and more complex. Evaluating and analyzing such systems is challenging. Robotic competitions are designed to benchmark complete robotic systems on complex state-of-the-art tasks. Participants compete in defined scenarios under equal conditions. We present our UGV solution developed for the Mohamed Bin Zayed International Robotics Challenge 2020. Our hard- and software components to address the challenge tasks of wall building and fire fighting are integrated into a fully autonomous system. The robot consists of a wheeled omnidirectional base, a 6 DoF manipulator arm equipped with a magnetic gripper, a highly efficient storage system to transport box-shaped objects, and a water spraying system to fight fires. The robot perceives its environment using 3D LiDAR as well as RGB and thermal camera-based perception modules, is capable of picking box-shaped objects and constructing a pre-defined wall structure, as well as detecting and localizing heat sources in order to extinguish potential fires. A high-level planner solves the challenge tasks using the robot skills. We analyze and discuss our successful participation during the MBZIRC 2020 finals, present further experiments, and provide insights to our lessons learned.


title: The Spherical Kapitza-Whitney Pendulum

abstract: In this paper we study the global dynamics of the inverted spherical pendulum with a vertically vibrating suspension point in the presence of an external horizontal periodic force field. We do not assume that this force field is weak or rapidly oscillating. We prove that there always exists a non-falling periodic solution, i.e., there exists an initial condition such that the rod of the pendulum never becomes horizontal along the corresponding solution. We also show numerically that there exists an asymptotically stable non-falling solution for a wide range of parameters of the system.


title: Total nuclear reaction cross-section database for radiation protection in space and heavy-ion therapy applications

abstract: Realistic nuclear reaction cross-section models are an essential ingredient of reliable heavy-ion transport codes. Such codes are used for risk evaluation of manned space exploration missions as well as for ion-beam therapy dose calculations and treatment planning. Therefore, in this study, a collection of total nuclear reaction cross-section data has been generated within a GSI-ESA-NASA collaboration. The database includes the experimentally measured total nucleus-nucleus reaction cross-sections. The Tripathi, Kox, Shen, Kox-Shen, and Hybrid-Kurotama models are systematically compared with the collected data. Details about the implementation of the models are given. Literature gaps are pointed out and considerations are made about which models fit best the existing data for the most relevant systems to radiation protection in space and heavy-ion therapy.


title: Quantifying Uncertainty in Deep Spatiotemporal Forecasting

abstract: Deep learning is gaining increasing popularity for spatiotemporal forecasting. However, prior works have mostly focused on point estimates without quantifying the uncertainty of the predictions. In high stakes domains, being able to generate probabilistic forecasts with confidence intervals is critical to risk assessment and decision making. Hence, a systematic study of uncertainty quantification (UQ) methods for spatiotemporal forecasting is missing in the community. In this paper, we describe two types of spatiotemporal forecasting problems: regular grid-based and graph-based. Then we analyze UQ methods from both the Bayesian and the frequentist point of view, casting in a unified framework via statistical decision theory. Through extensive experiments on real-world road network traffic, epidemics, and air quality forecasting tasks, we reveal the statistical and computational trade-offs for different UQ methods: Bayesian methods are typically more robust in mean prediction, while confidence levels obtained from frequentist methods provide more extensive coverage over data variations. Computationally, quantile regression type methods are cheaper for a single confidence interval but require re-training for different intervals. Sampling based methods generate samples that can form multiple confidence intervals, albeit at a higher computational cost.


title: Group-Based Privacy Preservation Techniques for Process Mining

abstract: Process mining techniques help to improve processes using event data. Such data are widely available in information systems. However, they often contain highly sensitive information. For example, healthcare information systems record event data that can be utilized by process mining techniques to improve the treatment process, reduce patient's waiting times, improve resource productivity, etc. However, the recorded event data include highly sensitive information related to treatment activities. Responsible process mining should provide insights about the underlying processes, yet, at the same time, it should not reveal sensitive information. In this paper, we discuss the challenges regarding directly applying existing well-known group-based privacy preservation techniques, e.g., k-anonymity, l-diversity, etc, to event data. We provide formal definitions of attack models and introduce an effective group-based privacy preservation technique for process mining. Our technique covers the main perspectives of process mining including control-flow, time, case, and organizational perspectives. The proposed technique provides interpretable and adjustable parameters to handle different privacy aspects. We employ real-life event data and evaluate both data utility and result utility to show the effectiveness of the privacy preservation technique. We also compare this approach with other group-based approaches for privacy-preserving event data publishing.


title: Mean Field Games with Common Noises and Conditional Distribution Dependent FBSDEs

abstract: In this paper, we consider the mean field game with a common noise and allow the state coefficients to vary with the conditional distribution in a nonlinear way. We assume that the cost function satisfies a convexity and a weak monotonicity property. We use the sufficient Pontryagin principle for optimality to transform the mean field control problem into existence and uniqueness of solution of conditional distribution dependent forward-backward stochastic differential equation (FBSDE). We prove the existence and uniqueness of solution of the conditional distribution dependent FBSDE when the dependence of the state on the conditional distribution is sufficiently small, or when the convexity parameter of the running cost on the control is sufficiently large. Two different methods are developed. The first method is based on a continuation of the coefficients, which is developed for FBSDE by Hu and Peng \cite{YH2}. We apply the method to conditional distribution dependent FBSDE. The second method is to show the existence result on a small time interval by Banach fixed point theorem and then extend the local solution to the whole time interval.


title: A comparison between the Bismut-Lott torsion and the Igusa-Klein torsion

abstract: We consider a fibration with compact fiber together with a unitarily flat complex vector bundle over the total space. Under the assumption that the fiberwise cohomology admits a filtration with unitary factors, we construct Bismut-Lott analytic torsion classes. The analytic torsion classes obtained satisfy Igusa's and Ohrt's axiomatization of higher torsion invariants. As a consequence, we obtain a higher version of the Cheeger-M\"uller/Bismut-Zhang theorem: for trivial flat line bundles, the Bismut-Lott analytic torsion classes coincide with the Igusa-Klein higher topological torsions up to a normalization.


title: Effective semi-ampleness of Hodge line bundles on curves

abstract: In this note, we prove effective semi-ampleness conjecture due to Prokhorov and Shokurov for a special case, more concretely, for Q-Gorenstein klt-trivial fibrations over smooth projective curves whose fibers are all klt log Calabi-Yau pairs of Fano type.


title: Uniqueness of Inverse Source Problems for General Evolution Equations

abstract: In this article, we investigate inverse source problems for a wide range of PDEs of parabolic and hyperbolic types as well as time-fractional evolution equations by partial interior observation. Restricting the source terms to the form of separated variables, we establish uniqueness results for simultaneously determining both temporal and spatial components without non-vanishing assumptions at $t=0$, which seems novel to the best of our knowledge. Remarkably, mostly we allow a rather flexible choice of the observation time not necessarily starting from $t=0$, which fits into various situations in practice. Our main approach is based on the combination of the Titchmarsh convolution theorem with unique continuation properties and time-analyticity of the PDEs under consideration.


title: Electron Charge Density: A Clue from Quantum Chemistry for Quantum Foundations

abstract: Within quantum chemistry, the electron clouds that surround nuclei in atoms and molecules are sometimes treated as clouds of probability and sometimes as clouds of charge. These two roles, tracing back to Schr\"odinger and Born, are in tension with one another but are not incompatible. Schr\"odinger's idea that the nucleus of an atom is surrounded by a spread-out electron charge density is supported by a variety of evidence from quantum chemistry, including two methods that are used to determine atomic and molecular structure: the Hartree-Fock method and density functional theory. Taking this evidence as a clue to the foundations of quantum physics, Schr\"odinger's electron charge density can be incorporated into many different interpretations of quantum mechanics (and extensions of such interpretations to quantum field theory).


title: Graph Based Link Prediction between Human Phenotypes and Genes

abstract: Background: The learning of genotype-phenotype associations and history of human disease by doing detailed and precise analysis of phenotypic abnormalities can be defined as deep phenotyping. To understand and detect this interaction between phenotype and genotype is a fundamental step when translating precision medicine to clinical practice. The recent advances in the field of machine learning is efficient to predict these interactions between abnormal human phenotypes and genes. Methods: In this study, we developed a framework to predict links between human phenotype ontology (HPO) and genes. The annotation data from the heterogeneous knowledge resources i.e., orphanet, is used to parse human phenotype-gene associations. To generate the embeddings for the nodes (HPO & genes), an algorithm called node2vec was used. It performs node sampling on this graph based on random walks, then learns features over these sampled nodes to generate embeddings. These embeddings were used to perform the downstream task to predict the presence of the link between these nodes using 5 different supervised machine learning algorithms. Results: The downstream link prediction task shows that the Gradient Boosting Decision Tree based model (LightGBM) achieved an optimal AUROC 0.904 and AUCPR 0.784. In addition, LightGBM achieved an optimal weighted F1 score of 0.87. Compared to the other 4 methods LightGBM is able to find more accurate interaction/link between human phenotype & gene pairs.


title: Optimal Sampling Density for Nonparametric Regression

abstract: We propose a novel active learning strategy for regression, which is model-agnostic, robust against model mismatch, and interpretable. Assuming that a small number of initial samples are available, we derive the optimal training density that minimizes the generalization error of local polynomial smoothing (LPS) with its kernel bandwidth tuned locally: We adopt the mean integrated squared error (MISE) as a generalization criterion, and use the asymptotic behavior of the MISE as well as the locally optimal bandwidths (LOB) - the bandwidth function that minimizes MISE in the asymptotic limit. The asymptotic expression of our objective then reveals the dependence of the MISE on the training density, enabling analytic minimization. As a result,we obtain the optimal training density in a closed-form. The almost model-free nature of our approach thus helps to encode the essential properties of the target problem, providing a robust and model-agnostic active learning strategy. Furthermore, the obtained training density factorizes the influence of local function complexity, noise level and test density in a transparent and interpretable way. We validate our theory in numerical simulations, and show that the proposed active learning method outperforms the existing state-of-the-art model-agnostic approaches.


title: Privacy-Preserving Continuous Event Data Publishing

abstract: Process mining enables organizations to discover and analyze their actual processes using event data. Event data can be extracted from any information system supporting operational processes, e.g., SAP. Whereas the data inside such systems is protected using access control mechanisms, the extracted event data contain sensitive information that needs to be protected. This creates a new risk and a possible inhibitor for applying process mining. Therefore, privacy issues in process mining become increasingly important. Several privacy preservation techniques have been introduced to mitigate possible attacks against static event data published only once. However, to keep the process mining results up-to-date, event data need to be published continuously. For example, a new log is created at the end of each week. In this paper, we elaborate on the attacks which can be launched against continuously publishing anonymized event data by comparing different releases, so-called correspondence attacks. Particularly, we focus on group-based privacy preservation techniques and show that provided privacy requirements can be degraded exploiting correspondence attacks. We apply the continuous event data publishing scenario to existing real-life event logs and report the anonymity indicators before and after launching the attacks.


title: A Simple Optimal Contention Resolution Scheme for Uniform Matroids

abstract: Contention resolution schemes (or CR schemes), introduced by Chekuri, Vondrak and Zenklusen, are a class of randomized rounding algorithms for converting a fractional solution to a relaxation for a down-closed constraint family into an integer solution. A CR scheme takes a fractional point $x$ in a relaxation polytope, rounds each coordinate $x_i$ independently to get a possibly non-feasible set, and then drops some elements in order to satisfy the constraints. Intuitively, a contention resolution scheme is $c$-balanced if every element $i$ is selected with probability at least $c \cdot x_i$. It is known that general matroids admit a $(1-1/e)$-balanced CR scheme, and that this is (asymptotically) optimal. This is in particular true for the special case of uniform matroids of rank one. In this work, we provide a simple and explicit monotone CR scheme for uniform matroids of rank $k$ on $n$ elements with a balancedness of $1 - \binom{n}{k}\:\left(1-\frac{k}{n}\right)^{n+1-k}\:\left(\frac{k}{n}\right)^k$, and show that this is optimal. As $n$ grows, this expression converges from above to $1 - e^{-k}k^k/k!$. While this asymptotic bound can be obtained by combining previously known results, these require defining an exponential-sized linear program, as well as using random sampling and the ellipsoid algorithm. Our procedure, on the other hand, has the advantage of being simple and explicit. This scheme extends naturally into an optimal CR scheme for partition matroids.


title: Parallel domain decomposition solvers for the time harmonic Maxwell equations

abstract: The time harmonic Maxwell equations are of current interest in computational science and applied mathematics with many applications in modern physics. In this work, we present parallel finite element solver for the time harmonic Maxwell equations and compare different preconditioners. We show numerically that standard preconditioners like incomplete LU and the additive Schwarz method lead to slow convergence for iterative solvers like generalized minimal residuals, especially for high wave numbers. Even more we show that also more specialized methods like the Schur complement method also yield slow convergence. As an example for a highly adapted solver for the time harmonic Maxwell equations we use a combination of a block preconditioner and a domain decomposition method (DDM), which also preforms well for high wave numbers. Additionally we discuss briefly further approaches to solve high frequency problems more efficiently. Our developments are done in the open-source finite element library deal.II.


title: A comparative analysis of the outer-belt primitive families

abstract: Context. Asteroid families are witnesses to the intense collisional evolution that occurred on the asteroid belt. The study of the physical properties of family members can provide important information about the state of differentiation of the parent body and provide insights into how these objects were formed. Several of these asteroid families identified across the main belt are dominated by low-albedo, primitive asteroids. These objects are important for the study of Solar System formation because they were subject to weaker thermophysical processing and provide information about the early conditions of our planetary system. Aims. We aim to study the diversity of physical properties among the Themis, Hygiea, Ursula, Veritas, and Lixiaohua families. Methods. We present new spectroscopic data, combined with a comprehensive analysis using a variety of data available in the literature, such as albedo and rotational properties. Results. Our results show that Themis and Hygiea families, the largest families in the region, present similar levels of hydration. Ursula and Lixiaohua families are redder in comparison to the others and present no sign of hydrated members based on the analysis of visible spectra. Conversely, Veritas presents the highest fraction of hydrated members. Conclusions. This work demonstrates a diverse scenario in terms of the physical properties of primitive outer-belt families, which could be associated with dynamical mixing of asteroid populations and the level of differentiation of the parental body.


title: Near-threshold scaling of resonant inelastic collisions at ultralow temperatures

abstract: We show that the cross sections for a broad range of resonant {\it inelastic} processes accompanied by excitation exchange (such as spin-exchange, F\"orster resonant, or angular momentum exchange) exhibit an unconventional near-threshold scaling $E^{\Delta m_{12}}$, where $E$ is the collision energy, $\Delta m_{12}=m_1'+m_2'-m_1-m_2$, and $m_i$ and $m_i'$ are the initial and final angular momentum projections of the colliding species ($i=1,\,2$). In particular, the inelastic cross sections for $\Delta m_{12}=0$ transitions display an unconventional $E^0$ scaling similar to that of elastic cross sections, and their rates vanish as $T^{\Delta m_{12}+1/2}$. For collisions dominated by even partial waves (such as those of identical bosons in the same internal state) the scaling is modified to $\sigma_\text{inel}\propto E^{\Delta m_{12} +1} $ if $\Delta m_{12}$ is odd. We present accurate quantum scattering calculations that illustrate these modified threshold laws for resonant spin exchange in ultracold Rb+Rb and O$_2$+O$_2$ collisions. Our results illustrate that the threshold scaling of collision cross sections is determined only by the energetics of the underlying process (resonant vs. exothermic) rather than by whether the internal states of colliding particles is changed in the collision.


title: On the extension complexity of polytopes separating subsets of the Boolean cube

abstract: We show that 1. for every $A\subseteq \{0, 1\}^n$, there exists a polytope $P\subseteq \mathbb{R}^n$ with $P \cap \{0, 1\}^n = A$ and extension complexity $O(2^{n/2})$, 2. there exists an $A\subseteq \{0, 1\}^n$ such that the extension complexity of any $P$ with $P\cap \{0, 1\}^n = A$ must be at least $2^{\frac{n}{3}(1-o(1))}$. We also remark that the extension complexity of any 0/1-polytope in $\mathbb{R}^n$ is at most $O(2^n/n)$ and pose the problem whether the upper bound can be improved to $O(2^{cn})$, for $c<1$.


title: Coupling of pairing and triaxial shape vibrations in collective states of $\gamma$-soft nuclei

abstract: In addition to shape oscillations, low-energy excitation spectra of deformed nuclei are also influenced by pairing vibrations. The simultaneous description of these collective modes and their coupling has been a long-standing problem in nuclear structure theory. Here we address the problem in terms of self-consistent mean-field calculations of collective deformation energy surfaces, and the framework of the interacting boson approximation. In addition to quadrupole shape vibrations and rotations, the explicit coupling to pairing vibrations is taken into account by a boson-number non-conserving Hamiltonian, specified by a choice of a universal density functional and pairing interaction. An illustrative calculation for $^{128}$Xe and $^{130}$Xe shows the importance of dynamical pairing degrees of freedom, especially for structures built on low-energy $0^+$ excited states, in $\gamma$-soft and triaxial nuclei.


title: A Closed-Loop Linear Covariance Framework for Vehicle Path Planning in a Static Uncertain Obstacle Fiel

abstract: Path planning in an uncertain environment is a key enabler of true vehicle autonomy. Over the past two decades, numerous approaches have been developed to account for errors in the vehicle path while navigating complex and often uncertain environments. An important capability of such planning is the prediction of vehicle dispersion covariances about a candidate path. This work develops a new closed-loop linear covariance (CL-LinCov) framework applicable to a wide range of autonomous system architectures. Important features of the developed framework include the (1) separation of high-level guidance from low-level control, (2) support for output-feedback controllers with internal states, dynamics, and output, and (3) multi-use continuous sensors for navigation state propagation, guidance, and feedback control. The closed-loop nature of the framework preserves the important coupling between the system dynamics, exogenous disturbances, and the guidance, navigation, and control algorithms. The developed framework is applied to a simplified model of an unmanned aerial vehicle and validated by comparison via Monte Carlo analysis. The utility of the CL-LinCov information is illustrated by its application to path planning in a static, uncertain obstacle field via a modified version of the Rapidly Exploring Random Tree algorithm.


title: Throughput-Fairness Tradeoffs in Mobility Platforms

abstract: This paper studies the problem of allocating tasks from different customers to vehicles in mobility platforms, which are used for applications like food and package delivery, ridesharing, and mobile sensing. A mobility platform should allocate tasks to vehicles and schedule them in order to optimize both throughput and fairness across customers. However, existing approaches to scheduling tasks in mobility platforms ignore fairness. We introduce Mobius, a system that uses guided optimization to achieve both high throughput and fairness across customers. Mobius supports spatiotemporally diverse and dynamic customer demands. It provides a principled method to navigate inherent tradeoffs between fairness and throughput caused by shared mobility. Our evaluation demonstrates these properties, along with the versatility and scalability of Mobius, using traces gathered from ridesharing and aerial sensing applications. Our ridesharing case study shows that Mobius can schedule more than 16,000 tasks across 40 customers and 200 vehicles in an online manner.


title: Coexistence of zero-, one- and two-dimensional degeneracy in tetragonal SnO$_2$ phonons

abstract: Based on the dimension of degeneracy, topological electronic systems can roughly be divided into three parts: nodal point, line and surface materials corresponding to zero-, one- and two-dimensional degeneracy, respectively. In parallel to electronic systems, the concept of topology was extended to phonons, promoting the birth of topological phonons. Till date, few nodal point, line and surface phonons candidates have been predicted in solid-state materials. In this study, based on symmetry analysis and first-principles calculation, for the first time, we prove that zero-, one- and two-dimensional degeneracy co-exist in the phonon dispersion of one single realistic solid-state material SnO$_2$ with \textit{P}4$_2$/\textit{mnm} structure. In contrast to the previously reported electronic systems, the topological phonons observed in SnO$_2$ are not restricted by the Pauli exclusion principle, and they experience negligible spin-orbit coupling effect. Hence, SnO$_2$ with multiple dimensions of degeneracy phonons is a good platform for studying the entanglement among nodal point, line and surface phonons. Moreover, obvious phonon surface states are visible, which is beneficial for experimental detection.


title: Analytical Aircraft State and IMU Signal Generator from Smoothed Reference Trajectory

abstract: This work presents a method for generating position, attitude, and velocity states for an aircraft following a smoothed reference trajectory. The method also generates accelerometer and gyro measurements consistent with the aircraft states. This work describes three corner smoothing algorithms for generating a smoothed reference trajectory from a series waypoints that accounts for limitations in the physical system. The smoothed reference trajectory, and curvilinear motion theory are used to generate the lower-order states. A coordinated turn maneuver is then applied to generate accelerometer and gyro measurement estimates.


title: Super Tickets in Pre-Trained Language Models: From Model Compression to Improving Generalization

abstract: The Lottery Ticket Hypothesis suggests that an over-parametrized network consists of ``lottery tickets'', and training a certain collection of them (i.e., a subnetwork) can match the performance of the full model. In this paper, we study such a collection of tickets, which is referred to as ``winning tickets'', in extremely over-parametrized models, e.g., pre-trained language models. We observe that at certain compression ratios, the generalization performance of the winning tickets can not only match but also exceed that of the full model. In particular, we observe a phase transition phenomenon: As the compression ratio increases, generalization performance of the winning tickets first improves then deteriorates after a certain threshold. We refer to the tickets on the threshold as ``super tickets''. We further show that the phase transition is task and model dependent -- as the model size becomes larger and the training data set becomes smaller, the transition becomes more pronounced. Our experiments on the GLUE benchmark show that the super tickets improve single task fine-tuning by $0.9$ points on BERT-base and $1.0$ points on BERT-large, in terms of task-average score. We also demonstrate that adaptively sharing the super tickets across tasks benefits multi-task learning.


title: On Finding Separators in Temporal Split and Permutation Graphs

abstract: Removing all connections between two vertices s and z in a graph by removing a minimum number of vertices is a fundamental problem in algorithmic graph theory. This (s,z)-separation problem is well-known to be polynomial solvable and serves as an important primitive in many applications related to network connectivity. We study the NP-hard temporal (s,z)-separation problem on temporal graphs, which are graphs with fixed vertex sets but edge sets that change over discrete time steps. We tackle this problem by restricting the layers (i.e., graphs characterized by edges that are present at a certain point in time) to specific graph classes. We restrict the layers of the temporal graphs to be either all split graphs or all permutation graphs (both being perfect graph classes) and provide both intractability and tractability results. In particular, we show that in general the problem remains NP-hard both on temporal split and temporal permutation graphs, but we also spot promising islands of fixed-parameter tractability particularly based on parameterizations that measure the amount of "change over time".


title: Exception sets of intrinsic and piecewise Lipschitz functions

abstract: We consider a class of functions defined on metric spaces which generalizes the concept of piecewise Lipschitz continuous functions on an interval or on polyhedral structures. The study of such functions requires the investigation of their exception sets where the Lipschitz property fails. The newly introduced notion of permeability describes sets which are natural exceptions for Lipschitz continuity in a well-defined sense. One of the main results states that continuous functions which are intrinsically Lipschitz continuous outside a permeable set are Lipschitz continuous on the whole domain with respect to the intrinsic metric. We provide examples of permeable sets in $\mathbb{R}^d$, which include Lipschitz submanifolds.


title: Hierarchical Subspace Learning for Dimensionality Reduction to Improve Classification Accuracy in Large Data Sets

abstract: Manifold learning is used for dimensionality reduction, with the goal of finding a projection subspace to increase and decrease the inter- and intraclass variances, respectively. However, a bottleneck for subspace learning methods often arises from the high dimensionality of datasets. In this paper, a hierarchical approach is proposed to scale subspace learning methods, with the goal of improving classification in large datasets by a range of 3% to 10%. Different combinations of methods are studied. We assess the proposed method on five publicly available large datasets, for different eigen-value based subspace learning methods such as linear discriminant analysis, principal component analysis, generalized discriminant analysis, and reconstruction independent component analysis. To further examine the effect of the proposed method on various classification methods, we fed the generated result to linear discriminant analysis, quadratic linear analysis, k-nearest neighbor, and random forest classifiers. The resulting classification accuracies are compared to show the effectiveness of the hierarchical approach, reporting results of an average of 5% increase in classification accuracy.


title: The incel lexicon: Deciphering the emergent cryptolect of a global misogynistic community

abstract: Evolving out of a gender-neutral framing of an involuntary celibate identity, the concept of `incels' has come to refer to an online community of men who bear antipathy towards themselves, women, and society-at-large for their perceived inability to find and maintain sexual relationships. By exploring incel language use on Reddit, a global online message board, we contextualize the incel community's online expressions of misogyny and real-world acts of violence perpetrated against women. After assembling around three million comments from incel-themed Reddit channels, we analyze the temporal dynamics of a data driven rank ordering of the glossary of phrases belonging to an emergent incel lexicon. Our study reveals the generation and normalization of an extensive coded misogynist vocabulary in service of the group's identity.


title: Passive scalar tracers in chaotic and turbulent atmosphere

abstract: The notion of helical distributed chaos has been used for the description of the spatio-temporal dynamics of the passive scalar tracers from the atmospheric surface layer up to the mesosphere (at different stability conditions and different latitudes). Point, linear and distributed sources and sinks with different types of artificial and natural trace-gases (ozone, carbon dioxide, etc.), and aerosols have been studied. Related properties of the solar radiation transmittance in the cloudy atmosphere have been also briefly discussed as well as analogous properties of the tracers in Jupiter's atmosphere.


title: A protocol for dynamic model calibration

abstract: Ordinary differential equation models are nowadays widely used for the mechanistic description of biological processes and their temporal evolution. These models typically have many unknown and non-measurable parameters, which have to be determined by fitting the model to experimental data. In order to perform this task, known as parameter estimation or model calibration, the modeller faces challenges such as poor parameter identifiability, lack of sufficiently informative experimental data, and the existence of local minima in the objective function landscape. These issues tend to worsen with larger model sizes, increasing the computational complexity and the number of unknown parameters. An incorrectly calibrated model is problematic because it may result in inaccurate predictions and misleading conclusions. For non-expert users, there are a large number of potential pitfalls. Here, we provide a protocol that guides the user through all the steps involved in the calibration of dynamic models. We illustrate the methodology with two models, and provide all the code required to reproduce the results and perform the same analysis on new models. Our protocol provides practitioners and researchers in biological modelling with a one-stop guide that is at the same time compact and sufficiently comprehensive to cover all aspects of the problem.


title: On the Minimisation of Transition-Based Rabin Automata and the Chromatic Memory Requirements of Muller Conditions

abstract: In this paper, we relate the problem of determining the chromatic memory requirements of Muller conditions with the minimisation of transition-based Rabin automata. Our first contribution is a proof of the NP-completeness of the minimisation of transition-based Rabin automata. Our second contribution concerns the memory requirements of games over graphs using Muller conditions. A memory structure is a finite state machine that implements a strategy and is updated after reading the edges of the game; the special case of chromatic memories being those structures whose update function only consider the colours of the edges. We prove that the minimal amount of chromatic memory required in games using a given Muller condition is exactly the size of a minimal Rabin automaton recognising this condition. Combining these two results, we deduce that finding the chromatic memory requirements of a Muller condition is NP-complete. This characterisation also allows us to prove that chromatic memories cannot be optimal in general, disproving a conjecture by Kopczy\'nski.


title: Q-system completion for C* 2-categories

abstract: A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system completion and study its properties. We show that the C* 2-category of right correspondences of unital C*-algebras is Q-system complete by constructing an inverse realization $\dag$ 2-functor. We use this result to construct induced actions of group theoretical unitary fusion categories on continuous trace C*-algebras with connected spectra.


title: Emergence and Synchronization in Chaotic Oscillators and in the Human Cortical Network

abstract: When we look at the world around us, we see complex physical systems and emergent phenomena. Emergence occurs when a system is observed to have properties that its parts do not have on their own. These properties or behaviors emerge only when the parts interact in a wider whole. Examples of emergence can vary from the synchronization of pendulum clocks hanging on the same wall to the phenomenon of life as an emergent property of chemistry. One of the most complex systems that exist in nature is the human brain. It contains on average 100 to 200 billion neurons and about 100 trillion synapses connecting them. From this vast neuronal dynamics, the ability to learn and store memory emerges as well as the ability to have complex cognitive skills, conscious experience and a sense of self. In this work, we investigated how complex systems like the human brain and chaotic systems create emergent properties. In order to do so, we used network theory (paper 1), chaos and synchronization theory (paper 2 and 3).


title: New families of permutation trinomials constructed by permutations of $\mu_{q+1}$

abstract: Permutation polynomials are of particular significance in several areas of applied mathematics, such as Coding theory and Cryptography. Many recent constructions are based on the Akbary-Ghioca-Wang (AGW) criterion. Along this line of research, we provide new classes of permutation trinomials in $\mathbb{F}_{q^2}$ of the form $f(x)=x^r h(x^{q-1})$, by studying permutations of the set of $(q+1)$-th roots of unity, which look like monomials on the sets of suitable partitions.


title: Study on q-analogues of Catala-Daehee numbers and polynomials

abstract: Catalan-Daehee numbers and polynomials, generating functions of which can be expressed as p-adic Volkenborn integrals on Zp, were studied previously. The aim of this paper is to introduce q-analogues of the catalan-Daehee numbers and polynomials with the help of p-adic q-integrals von Zp. We derive, among other thing, some explicit expressions for the q-analogues of the Catalan-Daehee numbers and polynomials.


title: BORAY: An Axisymmetric Ray Tracing Code Supports Both Closed and Open Field Lines Plasmas

abstract: Ray tracing codes are useful to study the electromagnetic wave propagation and absorption in the geometrical optics approximation. In magnetized fusion plasma community, most ray tracing codes assume the plasma density and temperature be functions of the magnetic flux and study waves only inside the last closed flux surface, which are sufficient for the present day tokamak. However, they are difficult to be used for configurations with open magnetic field line plasmas, such as mirror machine and field-reversed-configuration (FRC). We develop a ray tracing code in cylindrical coordinates $(r,\phi,z)$ to support arbitrary axisymmetric configurations with both closed and open field lines plasmas. For wave propagation, the cold plasma dispersion relation is usually sufficient, and we require the magnetic field ${\bf B}(r,z)$ and species densities $n_{s0}(r,z)$ profiles as input. For wave absorption, we require a further temperature $T_{s0}(r,z)$ profile to solve a hot kinetic plasma dispersion relation. In difference to other ray tracing codes which calculate the imaginary part of wave vector ${\bf k}_{\perp,i}$ for wave absorption, we calculate the imaginary part of wave frequency $\omega_i$, which is shown to be equivalent with the former technique under weak damping approximation. The code can use either numerical or analytical equilibrium. Examples and benchmarks with electron cyclotron wave, lower hybrid wave and ion cyclotron wave for tokamak, spherical tokamak (ST), FRC and mirror machine are shown.


title: Rigorous Signal Reconstruction in Terahertz Emission Spectroscopy

abstract: Terahertz (THz) emission spectroscopy is a powerful method that allows one to measure the ultrafast dynamics of polarization, current, or magnetization in a material based on THz emission from the material. However, the practical implementation of this method can be challenging, and can result in significant errors in the reconstruction of the quantity of interest. Here, we experimentally and theoretically demonstrate a rigorous method of signal reconstruction in THz emission spectroscopy, and describe the main experimental and theoretical sources of reconstruction error. We identify the linear line-of-sight geometry of the THz emission spectrometer as the optimal configuration for accurate, fully calibrated THz signal reconstruction. As an example, we apply our reconstruction method to ultrafast THz magnetometry experiment, where we recover the ultrafast magnetization dynamics in a photoexcited iron film, including both its temporal shape and absolute magnitude.


title: Waring ranks of sextic binary forms via geometric invariant theory

abstract: We determine the Waring ranks of all sextic binary forms with complex coefficients using a Geometric Invariant Theory approach. Using the five basic invariants for sextic binary forms, our results give a rapid method to determine the Waring rank of any given sextic binary form. In particular, we shed new light on a claim by E. B. Elliott at the end of the 19th century concerning the binary sextics with Waring rank 3. We show that for binary forms of arbitrary degree the cactus rank, a.k.a. scheme rank, is determined by the corresponding Waring rank. Finally we determine the border ranks of all binary sextics.


title: Optimal maps and local-to-global property in negative dimensional spaces with Ricci curvature bounded from below

abstract: In this paper we investigate two important properties of metric measure spaces satisfying the reduced curvature-dimension condition for negative values of the dimension parameter: the existence of a transport map between two suitable marginals and the so-called local-to-global property.