title: Gelfand-Kirillov dimensions and Reducibility of scalar type generalized Verma modules for classical Lie algebras

abstract: Let $\mathfrak{g}$ be a classial Lie algebra and $\mathfrak{p}$ be a maximal parabolic subalgebra. Let $M$ be a generalized Verma module induced from a one dimensional representation of $\mathfrak{p}$. Such $M$ is called a scalar type generalized Verma module. Its simple quotient $L$ is a highest weight moudle. In this paper, we will determine the reducibility of such scalar type generalized Verma modules by computing the Gelfand-Kirillov dimension of $L$.


title: Improved maximin fair allocation of indivisible items to three agents

abstract: We consider the problem of approximate maximin share (MMS) allocation of indivisible items among three agents with additive valuation functions. For goods, we show that an $\frac{11}{12}$ - MMS allocation always exists, improving over the previously known bound of $\frac{8}{9}$ . Moreover, in our allocation, we can prespecify an agent that is to receive her full proportional share (PS); we also present examples showing that for such allocations the ratio of $\frac{11}{12}$ is best possible. For chores, we show that a $\frac{19}{18}$-MMS allocation always exists. Also in this case, we can prespecify an agent that is to receive no more than her PS, and we present examples showing that for such allocations the ratio of $\frac{19}{18}$ is best possible.


title: An effective criterion for Nielsen-Schreier varieties

abstract: All algebras of a certain type are said to form a Nielsen-Schreier variety if every subalgebra of a free algebra is free. This property has been perceived as extremely rare; in particular, only six Nielsen-Schreier varieties of algebras with one binary operation have been discovered in prior work on this topic. We propose an effective combinatorial criterion for the Nielsen-Schreier property in the case of algebras over a field of zero characteristic; in our approach, operads play a crucial role. Using this criterion, we show that the well known varieties of all pre-Lie algebras and of all Lie-admissible algebras are Nielsen-Schreier, and, quite surprisingly, that there are already infinitely many non-equivalent Nielsen-Schreier varieties of algebras with one binary operation and identities of degree four.


title: Acceleration-guided Acoustic Signal Denoising Framework Based on Learnable Wavelet Transform Applied to Slab Track Condition Monitoring

abstract: Acoustic monitoring has recently shown great potential in the diagnosis of infrastructure condition. However, due to the severe noise interference in acoustic signals, meaningful features tend to be difficult to infer. It creates a considerable obstacle for an extensive application of acoustic monitoring. To tackle this problem, we propose an acceleration-guided acoustic signal denoising framework (AG-ASDF) based on learnable wavelet transform to automatically denoise the acoustic signal and extract the relevant features based on the acceleration signal. This denoising framework requires the acceleration signal only for the training stage. Therefore, only acoustic sensors (non-intrusive) need to be installed during the application phase, which is convenient and crucial for the condition monitoring of safety-critical infrastructure. A comparative study is conducted among the proposed AG-ASDF and other feature learning / extraction methods, by using a multi-class support vector machine to evaluate the detection effectiveness of slab track condition based on acoustic signals. Different healthy and unhealthy states of slab tracks are imitated with three types of slab track supporting conditions in a railway test line. The classification based on the proposed AG-ASDF features outperforms other feature extraction and learning methods with a significant accuracy improvement.


title: A Dynamic S-Procedure for Dynamic Uncertainties

abstract: We show how to compose robust stability tests for uncertain systems modeled as linear fractional representations and affected by various types of dynamic uncertainties. Our results are formulated in terms of linear matrix inequalities and rest on the recently established notion of finite-horizon integral quadratic constraints with a terminal cost. The construction of such constraints is motivated by an unconventional application of the S-procedure in the frequency domain with dynamic Lagrange multipliers. Our technical contribution reveals how this construction can be performed by dissipativity arguments in the time-domain and in a lossless fashion. This opens the way for generalizations to time-varying or hybrid systems.


title: Where Neutrino Decoherence Lies

abstract: Recently, several studies of neutrino oscillations in the vacuum have not found the decoherence long expected from the separation of wave packets of neutrinos in different mass eigenstates. We show that such decoherence will, on the other hand, be present in a treatment including any mechanism which leads to a dependence of the final state on both the neutrino's emission and absorption time. Our demonstration is in the 3+1d $V-A$ model, however the details of this model lead to an overall factor which does not affect our conclusions. This allows us to consider a simpler model. There we show that if the positions of the final state particles are measured, or equivalently entangled with the environment, then decoherence will damp neutrino oscillations. We also show that wave packet spreading can cause the decoherence to eventually saturate, without completely suppressing the oscillations.


title: Pre-trained Language Models as Re-Annotators

abstract: Annotation noise is widespread in datasets, but manually revising a flawed corpus is time-consuming and error-prone. Hence, given the prior knowledge in Pre-trained Language Models and the expected uniformity across all annotations, we attempt to reduce annotation noise in the corpus through two tasks automatically: (1) Annotation Inconsistency Detection that indicates the credibility of annotations, and (2) Annotation Error Correction that rectifies the abnormal annotations. We investigate how to acquire semantic sensitive annotation representations from Pre-trained Language Models, expecting to embed the examples with identical annotations to the mutually adjacent positions even without fine-tuning. We proposed a novel credibility score to reveal the likelihood of annotation inconsistencies based on the neighbouring consistency. Then, we fine-tune the Pre-trained Language Models based classifier with cross-validation for annotation correction. The annotation corrector is further elaborated with two approaches: (1) soft labelling by Kernel Density Estimation and (2) a novel distant-peer contrastive loss. We study the re-annotation in relation extraction and create a new manually revised dataset, Re-DocRED, for evaluating document-level re-annotation. The proposed credibility scores show promising agreement with human revisions, achieving a Binary F1 of 93.4 and 72.5 in detecting inconsistencies on TACRED and DocRED respectively. Moreover, the neighbour-aware classifiers based on distant-peer contrastive learning and uncertain labels achieve Macro F1 up to 66.2 and 57.8 in correcting annotations on TACRED and DocRED respectively. These improvements are not merely theoretical: Rather, automatically denoised training sets demonstrate up to 3.6% performance improvement for state-of-the-art relation extraction models.


title: AutoLC: Search Lightweight and Top-Performing Architecture for Remote Sensing Image Land-Cover Classification

abstract: Land-cover classification has long been a hot and difficult challenge in remote sensing community. With massive High-resolution Remote Sensing (HRS) images available, manually and automatically designed Convolutional Neural Networks (CNNs) have already shown their great latent capacity on HRS land-cover classification in recent years. Especially, the former can achieve better performance while the latter is able to generate lightweight architecture. Unfortunately, they both have shortcomings. On the one hand, because manual CNNs are almost proposed for natural image processing, it becomes very redundant and inefficient to process HRS images. On the other hand, nascent Neural Architecture Search (NAS) techniques for dense prediction tasks are mainly based on encoder-decoder architecture, and just focus on the automatic design of the encoder, which makes it still difficult to recover the refined mapping when confronting complicated HRS scenes. To overcome their defects and tackle the HRS land-cover classification problems better, we propose AutoLC which combines the advantages of two methods. First, we devise a hierarchical search space and gain the lightweight encoder underlying gradient-based search strategy. Second, we meticulously design a lightweight but top-performing decoder that is adaptive to the searched encoder of itself. Finally, experimental results on the LoveDA land-cover dataset demonstrate that our AutoLC method outperforms the state-of-art manual and automatic methods with much less computational consumption.


title: Method of images in defect conformal field theories

abstract: We propose a prescription for describing correlation functions in higher-dimensional defect conformal field theories (DCFTs) by those in ancillary conformal field theories (CFTs) without defects, which is a vast generalization of the image method in two-dimensional boundary CFTs. A correlation function of $n$ operators inserted away from a defect in a DCFT is represented by a correlation function of $2n$ operators in the ancillary CFT, each pair of which is placed symmetrically with respect to the defect. For scalar operators, we establish the correspondence by matching the constraints on correlation functions imposed by conformal symmetry on both sides. Our method has potential to shed light on new aspects of DCFTs from the viewpoint of conventional CFTs.


title: On the mechanics of droplet surface crater during impact on immiscible viscous liquid pool

abstract: We study drop impacts on immiscible viscous liquid pool and investigate the formation of droplet surface craters using experimental and theoretical analysis. We attribute the formation of air craters to the rapid deceleration of the droplet due to viscous drag force. The droplet response to the external impulsive decelerating force induces oscillatory modes on the surface exposed to the air forming capillary waves that superimpose to form air craters of various shapes and sizes. We introduce a non-dimensional parameter (${\Gamma}$), that is, the ratio of drag force to the capillary force acting on the droplet. We show that ${\Gamma}$ is directly proportional to the capillary number. We show that droplets forming air craters of significant depths have ${\Gamma}>1$. Further, we demonstrate that Legendre polynomials can locally approximate the central air crater jet profile. We also decipher that the air crater response time scale ($T$) varies as the square root of impact Weber number ($T{\sim}We^{1/2}$). Further, we generalize the local droplet response with a global response model for low-impact energies based on an eigenvalue problem. We represent the penetrating drop as a constrained Rayleigh drop problem with a dynamic contact line. The air-water interface dynamics is analyzed using an inviscid droplet deformation model for small deformation amplitudes. The local and global droplet response theory conforms with each other and depicts that the deformation profiles could be represented as a linear superposition of eigenmodes in Legendre polynomial basis. We unearth that the droplet response in an immiscible impact system differs from the miscible impact systems due to the presence of such a dynamic contact line.


title: Expanding shells around young clusters -- S 171/Be 59

abstract: Some HII regions that surround young stellar clusters are bordered by molecular shells that appear to expand at a rate inconsistent with our current model simulations. In this study we focus on the dynamics of Sharpless 171 (including NGC 7822), which surrounds the cluster Berkeley 59. We aim to compare the velocity pattern over the molecular shell with the mean radial velocity of the cluster for estimates of the expansion velocities of different shell structures, and to match the observed properties with model simulations. Optical spectra of 27 stars located in Berkeley 59 were collected at the Nordic Optical Telescope, and a number of molecular structures scattered over the entire region were mapped in $^{13}$CO(1-0) at Onsala Space Observatory. We obtained radial velocities and MK classes for the cluster's stars. At least four of the O stars are found to be spectroscopic binaries, in addition to one triplet system. From these data we obtain the mean radial velocity of the cluster. From the $^{13}$CO spectra we identify three shell structures, expanding relative to the cluster at moderate velocity (4 km/s), high velocity (12 km/s), and in between. The high-velocity cloudlets extend over a larger radius and are less massive than the low-velocity cloudlets. We performed a model simulation to understand the evolution of this complex. Our simulation of the Sharpless 171 complex and Berkeley 59 cluster demonstrates that the individual components can be explained as a shell driven by stellar winds from the massive cluster members. However, our relatively simple model produces a single component. Modelling of the propagation of shell fragments through a uniform interstellar medium demonstrates that dense cloudlets detached from the shell are decelerated less efficiently than the shell itself. They can reach greater distances and retain higher velocities than the shell.


title: Current Mapping from the Wave Spectrum

abstract: In this chapter we review methods by which near--surface ocean currents can be measured remotely using images of the water surface, as obtained by X-band radar in particular. The presence of a current changes the dispersive behavior of surface waves, so our challenge is to solve the inverse problem: to infer the spatially-varying current from measurements of the wavy surface. We examine how remote sensing of currents is achieved in practice by analyzing the wave spectrum, as may be measured for example by X-band radar. A set of consecutive backscatter images recorded as a function of time is Fourier-transformed to produce the spectrum, which gives information concerning the propagation of waves whose dispersion is altered by currents. X-band radar images measure the wave field over multiple square kilometers, and analyzing various spatial subsets of the images allows a map of the spatial variation of the currents to be reconstructed. Several algorithms for obtaining empirical dispersion relations from the measured spectrum and extracting the currents are reviewed: the least squares and iterative least squares method, the normalized scalar product method, and the polar current shell method. We go on to describe how the same methods and algorithms can be extended to also allowing the depth-dependence of the current to be determined. Reasonable agreement between radar-derived currents and in situ measurements has been demonstrated in multiple field measurements. However, more validation is necessary especially in the context of depth-varying flows. Understanding the extent to which Stokes drift is measured as part of the radar-derived current is not well-understood yet potentially important.


title: Molecular dynamics simulation of flow around a circular nano-cylinder

abstract: In this study, the wake flow around a circular nano-cylinder is numerically investigated with molecular dynamics simulation to reveal the micro/nano size effect on the wake flow. The cavitation occurring when Reynolds number (Re) > 101 can effectively influence the wake flow. The Strouhal number (St) of the wake flow increases with the Re at low Re, but steadily decreases with the Re after the cavitation appears. The dominant frequency of the lift force fluctuation can be higher than that of the velocity fluctuation, and be drowned in the chaotic fluctuating background of the Brownian forces when Re {\geq} 127. Also because of the strong influence of the Brownian forces, no dominant frequency of the drag force fluctuation can be observed. The Jz number, which is defined as the ratio between the mean free path {\lambda} of the fluid molecules and the equilibrium distance of potential energy {\sigma}, is newly introduced in order to consider the internal size effect of fluid. The St of the wake flow increases with the Jz until it falls to zero sharply when Jz {\approx} 1.7. It denotes the discontinuity of the fluid can eventually eliminate the vortex generation and shedding. Meanwhile, the St decreases with the Kn because of the intensification of the cavitation.


title: Incidence matrices and line graphs of mixed graphs

abstract: In the theory of line graphs of undirected graphs there exists an important theorem linking the incidence matrix of the root graph to the adjacency matrix of its line graph. For directed or mixed graphs, however, the exists no analogous result. The goal of this article is to present aligned definitions of the adjacency matrix, the incidence matrix and line graph of a mixed graph such that the mentioned theorem is valid for mixed graphs.


title: Tate-Shafarevich groups of elliptic curves with nontrivial 2-torsion subgroups

abstract: For any number field, we prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group has a nontrivial 2-torsion subgroup.


title: Mathematical theory for electromagnetic scattering resonances and field enhancement in a subwavelength annular gap

abstract: This work presents a mathematical theory for electromagnetic scattering resonances in a subwavelength annular hole embedded in a metallic slab, with the annulus width $h\ll1$. The model is representative among many 3D subwavelength hole structures, which are able to induce resonant scattering of electromagnetic wave and the so-called extraordinary optical transmission. We develop a multiscale framework for the underlying scattering problem based upon a combination of the integral equation in the exterior domain and the waveguide mode expansion inside the tiny hole. The matching of the electromagnetic field over the hole aperture leads to a sequence of decoupled infinite systems, which are used to set up the resonance conditions for the scattering problem. By performing rigorous analysis for the infinite systems and the resonance conditions, we characterize all the resonances in a bounded domain over the complex plane. It is shown that the resonances are associated with the TE and TEM waveguide modes in the annular hole, and they are close to the real axis with the imaginary parts of order ${\cal O}(h)$. We also investigate the resonant scattering when an incident wave is present. It is proved that the electromagnetic field is amplified with order ${\cal O}(1/h)$ at the resonant frequencies that are associated with the TE modes in the annular hole. On the other hand, one particular resonance associated with the TEM mode can not be excited by a plane wave but can be excited with a near-field electric dipole source, leading to field enhancement of order ${\cal O}(1/h)$.


title: Twin-width of Planar Graphs is at most 9, and at most 6 when Bipartite Planar

abstract: The structural parameter twin-width was introduced by Bonnet et al. in [FOCS 2020], and already this first paper included an asymptotic argument bounding the twin-width of planar graphs by a non-explicit constant. Quite recently, we have seen first small explicit upper bounds of 183 by Jacob and Pilipczuk [arXiv, January 2022], 583 by Bonnet et al. [arXiv, February 2022], and of 37 by Bekos et al. [arXiv, April 2022]. We prove that the twin-width of planar graphs is at most 9. Furthermore, if a planar graph is also bipartite, then its twin-width is at most 6.


title: Homotopy transitions and 3D magnetic solitons

abstract: This work provides a concept for three-dimensional magnetic solitons based on mapping the homotopy path between various two-dimensional solutions onto the third spatial axis. The representative examples of statically stable configurations of that type in the model of an isotropic chiral magnet are provided. Various static and dynamic properties of such three-dimensional magnetic solitons are discussed in detail.


title: Optical microflares in LS I +61 303 and the search for their multiwavelength counterpart

abstract: Stellar sources of gamma rays are one of the front lines in modern astrophysics whose understanding can benefit from observational tools not originally designed for their study. We take advantage of the high precision photometric capabilities of present-day space facilities to obtain a new perspective on the optical behavior of the X-ray and gamma-ray binary LS I +61 303. Previously unknown phenomena whose effects manifest with amplitudes below 0.01 magnitude can now be clearly observed and studied. Our work is mainly based on the analysis of optical and gamma-ray archival data and uses the tools recommended by the different collaborations that provide these valuable observational resources (in particular, the TESS and Fermi orbiting observatories). In addition, complementary ground-based optical spectroscopy has also been conducted. We report the discovery of small-amplitude optical flares on timescales of a day in the LS I +61 303 light curve. Different alternative scenarios to explain their origin are tentatively proposed.


title: On the Exactness of Sum-of-Squares Approximations for the Cone of $5\times 5$ Copositive Matrices

abstract: We investigate the hierarchy of conic inner approximations $\mathcal{K}^{(r)}_n$ ($r\in \mathbb{N}$) for the copositive cone $\text{COP}_n$, introduced by Parrilo (Structured Semidefinite Programs and Semialgebraic Geometry Methods in Robustness and Optimization, PhD Thesis, California Institute of Technology, 2001). It is known that $\text{COP}_4=\mathcal{K}^{(0)}_4$ and that, while the union of the cones $\mathcal{K}^{(r)}_n$ covers the interior of $\text{COP}_n$, it does not cover the full cone $\text{COP}_n$ if $n\geq 6$. Here we investigate the remaining case $n=5$, where all extreme rays have been fully characterized by Hildebrand (The extreme rays of the 5 $\times$ 5 copositive cone. Linear Algebra and its Applications, 437(7):1538--1547, 2012). We show that the Horn matrix $H$ and its positive diagonal scalings play an exceptional role among the extreme rays of $\text{COP}_5$. We show that equality $\text{COP}_5=\bigcup_{r\geq 0} \mathcal{K}^{(r)}_5$ holds if and only if any positive diagonal scaling of $H$ belongs to $\mathcal{K}^{(r)}_5$ for some $r\in \mathbb{N}$. As a main ingredient for the proof, we introduce new Lasserre-type conic inner approximations for $\text{COP}_n$, based on sums of squares of polynomials. We show their links to the cones $\mathcal{K}^{(r)}_n$, and we use an optimization approach that permits to exploit finite convergence results on Lasserre hierarchy to show membership in the new cones.


title: Generalizations of Bilinear Maps -- Technical Report

abstract: Bilinear maps and their classifying tensor products are well-known in the theory of linear algebra, and their generalization to algebras of commutative monads is a classical result of monad theory. Motivated by constructions needed in categorical approaches to finite model theory, we generalize the notion of bimorphism much further. To illustrate these maps are mathematically natural notions, we show that many common axioms in category theory can be phrased as certain morphisms being bimorphisms. We also show that much of the established theory of bimorphisms goes through in much greater generality. Our results carefully identify which assumptions are needed for the different components of the theory, including when good properties hold globally, or can at least be established locally. We include a brief string diagrammatic account of the bimorphism axiom, and conclude by recovering a simple proof of a classical theorem, emphasizing the efficacy of the bimorphism perspective.


title: Automated differential equation solver based on the parametric approximation optimization

abstract: The numerical methods for differential equation solution allow obtaining a discrete field that converges towards the solution if the method is applied to the correct problem. Nevertheless, the numerical methods have the restricted class of the equations, on which the convergence with a given parameter set or range is proved. Only a few "cheap and dirty" numerical methods converge on a wide class of equations without parameter tuning with the lower approximation order price. The article presents a method that uses an optimization algorithm to obtain a solution using the parameterized approximation. The result may not be as precise as an expert one. However, it allows solving the wide class of equations in an automated manner without the algorithm's parameters change.


title: Leavitt path algebras of weighted and separated graphs

abstract: In this paper we show that Leavitt path algebras of weighted graphs and Leavitt path algebras of separated graphs are intimately related. We prove that any Leavitt path algebra $L(E,\omega)$ of a row-finite vertex weighted graph $(E,\omega)$ is $*$-isomorphic to the lower Leavitt path algebra of a certain bipartite separated graph $(E(\omega),C(\omega))$. For a general locally finite weighted graph $(E, \omega)$, we show that a certain quotient $L_1(E,\omega)$ of $L(E,\omega)$ is $*$-isomorphic to an upper Leavitt path algebra of another bipartite separated graph $(E(w)_1,C(w)^1)$. We furthermore introduce the algebra $L^{\mathrm{ab}} (E,w)$, which is a universal tame $*$-algebra generated by a set of partial isometries. We draw some consequences of our results for the structure of ideals of $L(E,\omega)$, and we study in detail two different maximal ideals of the Leavitt algebra $L(m,n)$.


title: Tunable photochemical deposition of silver nanostructures on layered ferroelectric CuInP$_2$S6

abstract: 2D layered ferroelectric materials such as CuInP$_2$S6 (CIPS) are promising candidates for novel and high-performance photocatalysts, owning to their ultrathin layer thickness, strong interlayer coupling, and intrinsic spontaneous polarization, while how to control the photocatalytic activity in layered CIPS remains unexplored. In this work, we report for the first time the photocatalytic activity of ferroelectric CIPS for the chemical deposition of silver nanostructures (AgNSs). The results show that the shape and spatial distribution of AgNSs on CIPS are tunable by controlling layer thickness, environmental temperature, and light wavelength. The ferroelectric polarization in CIPS plays a critical role in tunable AgNS photodeposition, as evidenced by layer thickness and temperature dependence experiments. We further reveal that AgNS photodeposition process starts from the active site creation, selective nanoparticle nucleation/aggregation, to the continuous film formation. Moreover, AgNS/CIPS heterostructures prepared by photodeposition exhibit excellent resistance switching behavior and good surface enhancement Raman Scattering activity. Our findings provide new insight into the photocatalytic activity of layered ferroelectrics and offer a new material platform for advanced functional device applications in smart memristors and enhanced chemical sensors.


title: Characterization of a supersonic gas jet for charged particle beam profile monitor

abstract: In present work, we report an experimental method to measure the density and distribution of a supersonic gas jet used for charged particle beam profile monitoring. The density of the gas jet used in this monitor was in the range of $10^{14}$ - $10^{17}$ molecules/$m^3$.


title: A game comonadic account of Courcelle and Feferman-Vaught-Mostowski theorems

abstract: Game comonads, introduced by Abramsky, Dawar and Wang, and developed by Abramsky and Shah, give a categorical semantics for model comparison games. We present an axiomatic account of Feferman-Vaught-Mostowski (FVM) composition theorems within the game comonad framework, parameterized by the model comparison game. In a uniform way, we produce compositionality results for the logic in question, and its positive existential and counting quantifier variants. Secondly, we extend game comonads to the second order setting, specifically in the case of Monadic Second Order (MSO) logic. We then generalize our FVM theorems to the second order case. We conclude with an abstract formulation of Courcelle's algorithmic meta-theorem, exploiting our earlier developments. This is instantiated to recover well-known bounded tree-width and bounded clique-width Courcelle theorems for MSO on graphs.


title: Tunable interface states between Floquet-Weyl semimetals

abstract: Weyl semimetals and nodal line semimetals are characterized by linear electronic bands touching at zero-dimensional points and one-dimensional lines, respectively. Recently, it has been predicted that nodal line semimetals can be driven into tunable Floquet-Weyl semimetals by circularly polarized light. Here, we study the occurrence of interface states between two regions of a nodal line semimetal shined by two beams of light with opposite circular polarizations. Within a minimal model, we find remarkable modifications of the energy structure by tuning the polarized light, such as the possible generation of van Hove singularities. Moreover, by adding a $\delta$-doping of magnetic impurities along the interfacial plane, we show the occurrence of a switchable and topologically non-trivial, vortex-like pseudo-spin pattern of the interface states.


title: Machine Learning to Support Triage of Children at Risk for Epileptic Seizures in the Pediatric Intensive Care Unit

abstract: Objective: Epileptic seizures are relatively common in critically-ill children admitted to the pediatric intensive care unit (PICU) and thus serve as an important target for identification and treatment. Most of these seizures have no discernible clinical manifestation but still have a significant impact on morbidity and mortality. Children that are deemed at risk for seizures within the PICU are monitored using continuous-electroencephalogram (cEEG). cEEG monitoring cost is considerable and as the number of available machines is always limited, clinicians need to resort to triaging patients according to perceived risk in order to allocate resources. This research aims to develop a computer aided tool to improve seizures risk assessment in critically-ill children, using an ubiquitously recorded signal in the PICU, namely the electrocardiogram (ECG). Approach: A novel data-driven model was developed at a patient-level approach, based on features extracted from the first hour of ECG recording and the clinical data of the patient. Main results: The most predictive features were the age of the patient, the brain injury as coma etiology and the QRS area. For patients without any prior clinical data, using one hour of ECG recording, the classification performance of the random forest classifier reached an area under the receiver operating characteristic curve (AUROC) score of 0.84. When combining ECG features with the patients clinical history, the AUROC reached 0.87. Significance: Taking a real clinical scenario, we estimated that our clinical decision support triage tool can improve the positive predictive value by more than 59% over the clinical standard.


title: AutoKE: An automatic knowledge embedding framework for scientific machine learning

abstract: Imposing physical constraints on neural networks as a method of knowledge embedding has achieved great progress in solving physical problems described by governing equations. However, for many engineering problems, governing equations often have complex forms, including complex partial derivatives or stochastic physical fields, which results in significant inconveniences from the perspective of implementation. In this paper, a scientific machine learning framework, called AutoKE, is proposed, and a reservoir flow problem is taken as an instance to demonstrate that this framework can effectively automate the process of embedding physical knowledge. In AutoKE, an emulator comprised of deep neural networks (DNNs) is built for predicting the physical variables of interest. An arbitrarily complex equation can be parsed and automatically converted into a computational graph through the equation parser module, and the fitness of the emulator to the governing equation is evaluated via automatic differentiation. Furthermore, the fixed weights in the loss function are substituted with adaptive weights by incorporating the Lagrangian dual method. Neural architecture search (NAS) is also introduced into the AutoKE to select an optimal network architecture of the emulator according to the specific problem. Finally, we apply transfer learning to enhance the scalability of the emulator. In experiments, the framework is verified by a series of physical problems in which it can automatically embed physical knowledge into an emulator without heavy hand-coding. The results demonstrate that the emulator can not only make accurate predictions, but also be applied to similar problems with high efficiency via transfer learning.


title: Query-Based Keyphrase Extraction from Long Documents

abstract: Transformer-based architectures in natural language processing force input size limits that can be problematic when long documents need to be processed. This paper overcomes this issue for keyphrase extraction by chunking the long documents while keeping a global context as a query defining the topic for which relevant keyphrases should be extracted. The developed system employs a pre-trained BERT model and adapts it to estimate the probability that a given text span forms a keyphrase. We experimented using various context sizes on two popular datasets, Inspec and SemEval, and a large novel dataset. The presented results show that a shorter context with a query overcomes a longer one without the query on long documents.


title: Algebraic Presentation of Semifree Monads

abstract: Monads and their composition via distributive laws have many applications in program semantics and functional programming. For many interesting monads, distributive laws fail to exist, and this has motivated investigations into weaker notions. In this line of research, Petri\c{s}an and Sarkis recently introduced a construction called the semifree monad in order to study semialgebras for a monad and weak distributive laws. In this paper, we prove that an algebraic presentation of the semifree monad M^s on a monad M can be obtained uniformly from an algebraic presentation of M. This result was conjectured by Petri\c{s}an and Sarkis. We also show that semifree monads are ideal monads, that the semifree construction is not a monad transformer, and that the semifree construction is a comonad on the category of monads.


title: CVTT: Cross-Validation Through Time

abstract: The evaluation of recommender systems from a practical perspective is a topic of ongoing discourse within the research community. While many current evaluation methods reduce performance to a single value metric as an easy way to compare models, it relies on the assumption that the methods' performance remains constant over time. In this study, we examine this assumption and propose the Cross-Validation Thought Time (CVTT) technique as a more comprehensive evaluation method, focusing on model performance over time. By utilizing the proposed technique, we conduct an in-depth analysis of the performance of popular RecSys algorithms. Our findings indicate that (1) the performance of the recommenders varies over time for all reviewed datasets, (2) using simple evaluation approaches can lead to a substantial decrease in performance in real-world evaluation scenarios, and (3) excessive data usage can lead to suboptimal results.


title: Stability of intersecting families

abstract: The celebrated Erd\H{o}s-Ko-Rado theorem \cite{EKR1961} states that the maximum intersecting $k$-uniform family on $[n]$ is a full star if $n\ge 2k+1$. Furthermore, Hilton-Milner \cite{HM1967} showed that if an intersecting $k$-uniform family on $[n]$ is not a subfamily of a full star, then its maximum size achieves only on a family isomorphic to $HM(n,k):= \Bigl\{G\in {[n] \choose k}: 1\in G, G\cap [2,k+1] \neq \emptyset \Bigr\} \cup \Bigl\{ [2,k+1] \Bigr\} $ if $n>2k$ and $k\ge 4$, and there is one more possibility in the case of $k=3$. Han and Kohayakawa \cite{HK2017} determined the maximum intersecting $k$-uniform family on $[n]$ which is neither a subfamily of a full star nor a subfamily of the extremal family in Hilton-Milner theorm, and they asked what is the next maximum intersecting $k$-uniform family on $[n]$. Kostochka and Mubayi \cite{KM2016} gave the answer for large enough $n$. In this paper, we are going to get rid of the requirement that $n$ is large enough in the result by Kostochka and Mubayi \cite{KM2016} and answer the question of Han and Kohayakawa \cite{HK2017}.


title: On the classicality of bosonic stars

abstract: Because the Klein-Gordon and Proca equations involve $\hbar$, they describe quantum fields. Their solutions, however, may be treated as classical if their typical action obeys $S^{\rm typical}\gg \hbar$. This is possible due to their bosonic nature, allowing states with many particles. We show, by generic arguments, that the typical action for such bosonic stars is ${\mathcal{S}^{\rm typical}}/{\hbar}\gtrsim \left({M^{\rm max}}/{M_{\rm Pl}}\right)^2\sim 10^{76}\left({M^{\rm max}}/{M_\odot}\right)^2$, where $M^{\rm max}$ is the maximal bosonic star mass of the particular model and $M_{\rm Pl}$ is the Planck mass. Thus, for models allowing $M^{\rm max}\gg M_{\rm Pl}$ and for solutions with mass $\sim M^{\rm max}$, the classical treatment is legitimate, which includes masses in the astrophysical interesting range $\gtrsim M_\odot$.


title: A Survey on Fairness for Machine Learning on Graphs

abstract: Nowadays, the analysis of complex phenomena modeled by graphs plays a crucial role in many real-world application domains where decisions can have a strong societal impact. However, numerous studies and papers have recently revealed that machine learning models could lead to potential disparate treatment between individuals and unfair outcomes. In that context, algorithmic contributions for graph mining are not spared by the problem of fairness and present some specific challenges related to the intrinsic nature of graphs: (1) graph data is non-IID, and this assumption may invalidate many existing studies in fair machine learning, (2) suited metric definitions to assess the different types of fairness with relational data and (3) algorithmic challenge on the difficulty of finding a good trade-off between model accuracy and fairness. This survey is the first one dedicated to fairness for relational data. It aims to present a comprehensive review of state-of-the-art techniques in fairness on graph mining and identify the open challenges and future trends. In particular, we start by presenting several sensible application domains and the associated graph mining tasks with a focus on edge prediction and node classification in the sequel. We also recall the different metrics proposed to evaluate potential bias at different levels of the graph mining process; then we provide a comprehensive overview of recent contributions in the domain of fair machine learning for graphs, that we classify into pre-processing, in-processing and post-processing models. We also propose to describe existing graph data, synthetic and real-world benchmarks. Finally, we present in detail five potential promising directions to advance research in studying algorithmic fairness on graphs.


title: MOCCA: Dynamics and evolution of binary stars of multiple stellar populations in tidally filling and underfilling globular star clusters

abstract: We present an upgraded version of the \MOCCA code for the study of dynamical evolution of globular clusters (GCs) and its first application to the study of evolution of multiple stellar populations. We explore initial conditions spanning different structural parameters for the first (FG) and second generation of stars (SG) and we analyze their effect on the binary dynamics and survival. Here, we focus on the number ratio of FG and SG binaries, its spatial variation, and the way their abundances are affected by various cluster initial properties. We find that present-day SG stars are more abundant in clusters that were initially tidally filling. Conversely, FG stars stay more abundant in clusters that were initially tidally underfilling. We find that the ratio between binary fractions is not affected by the way we calculate these fractions (e.g. only main-sequence binaries (MS) or observational binaries, i.e. MS stars $> 0.4 M_{\odot}$ mass ratios $> 0.5$). This implies that the MS stars themselves are a very good proxy for probing entire populations of FG and SG. We also discuss how it relates to the observations of Milky Way GCs. We show that \MOCCA models are able to reproduce the observed range of SG fractions for Milky Way GCs for which we know these fractions. We show how the SG fractions depend on the initial conditions and provide some constraints for the initial conditions to have more numerous FG or SG stars at the Hubble time.


title: Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

abstract: Parametric verification of linear temporal properties for stochastic models can be expressed as computing the satisfaction probability of a certain property as a function of the parameters of the model. Smoothed model checking (smMC) aims at inferring the satisfaction function over the entire parameter space from a limited set of observations obtained via simulation. As observations are costly and noisy, smMC is framed as a Bayesian inference problem so that the estimates have an additional quantification of the uncertainty. In smMC the authors use Gaussian Processes (GP), inferred by means of the Expectation Propagation algorithm. This approach provides accurate reconstructions with statistically sound quantification of the uncertainty. However, it inherits the well-known scalability issues of GP. In this paper, we exploit recent advances in probabilistic machine learning to push this limitation forward, making Bayesian inference of smMC scalable to larger datasets and enabling its application to models with high dimensional parameter spaces. We propose Stochastic Variational Smoothed Model Checking (SV-smMC), a solution that exploits stochastic variational inference (SVI) to approximate the posterior distribution of the smMC problem. The strength and flexibility of SVI make SV-smMC applicable to two alternative probabilistic models: Gaussian Processes (GP) and Bayesian Neural Networks (BNN). The core ingredient of SVI is a stochastic gradient-based optimization that makes inference easily parallelizable and that enables GPU acceleration. In this paper, we compare the performances of smMC against those of SV-smMC by looking at the scalability, the computational efficiency and the accuracy of the reconstructed satisfaction function.


title: Billiard-ball paradox for a quantum wave packet

abstract: Past studies of the billiard-ball paradox, a problem involving an object that travels back in time along a closed timelike curve (CTC), typically concern themselves with entirely classical histories, whereby any trajectorial effects associated with quantum mechanics cannot manifest. Here we develop a quantum version of the paradox, wherein a (semiclassical) wave packet evolves through a region containing a wormhole time machine. This is accomplished by mapping all relevant paths on to a quantum circuit, in which the distinction of the various paths is facilitated by representing the billiard particle with a clock state. For this model, we find that Deutsch's prescription (D-CTCs) provides self-consistent solutions in the form of a mixed state composed of terms which represent every possible configuration of the particle's evolution through the circuit. In the equivalent circuit picture (ECP), this reduces to a binomial distribution in the number of loops of time machine. The postselected teleportation prescription (P-CTCs) on the other hand predicts a pure-state solution in which the loop counts have binomial coefficient weights. We then discuss the model in the continuum limit, with a particular focus on the various methods one may employ in order to guarantee convergence in the average number of clock evolutions. Specifically, for D-CTCs, we find that it is necessary to regularise the theory's parameters, while P-CTCs alternatively require more contrived modification.


title: Confined Neutrino Oscillation

abstract: A thought experiment is designed to speculate on the neutrino being trapped in an impenetrable potential well. Considering both relativistic and non-relativistic scenarios, we delve into several interesting facets connected to the flavour oscillation.


title: On adjoint homological Selmer modules for SL$_2$-representations of knot groups

abstract: We introduce the adjoint homological Selmer module for an SL$_2$-representation of a knot group, which may be seen as a knot theoretic analogue of the dual adjoint Selmer module for a Galois representation. We then show finitely generated torsion-ness of our adjoint Selmer module, which are widely known as conjectures in number theory, and give some concrete examples.


title: Imprints of log-periodicity in thermoacoustic systems close to lean blowout

abstract: In the context of statistical physics, critical phenomena are accompanied by power laws having a singularity at the critical point where a sudden change in the state of the system occurs. In this work, we show that lean blowout (LBO) in a turbulent thermoacoustic system can be viewed as a critical phenomenon. As a crucial discovery of the system dynamics approaching LBO, we unravel the existence of the discrete scale invariance (DSI). In this context, we identify the presence of log-periodic oscillations in the temporal evolution of the amplitude of dominant mode of low-frequency oscillations $(A_f)$ exist in pressure fluctuations preceding LBO. The presence of DSI indicates the recursive development of blowout. Additionally, we find that $A_f$ shows a faster than exponential growth and becomes singular when blowout occurs. We then present a model that depicts the evolution of $A_f$ based on log-periodic corrections to the power law associated with its growth. Using the model, we find that blowout can be predicted even several seconds earlier. The predicted time of LBO in good agreement with the actual time of occurrence of LBO obtained from the experiment.


title: Uptime-Optimized Cloud Architecture as a Brokered Service

abstract: Enterprise workloads usually call for an uptime service level agreement (SLA) at the pain of contractual penalty in the event of slippage. Often, the strategy is to introduce ad-hoc HA (High Availability) mechanisms in response. Implemented solutions that we surveyed do not mathematically map their availability model to the required uptime SLA and to any expected penalty payout. In most client cases that we observed, this either resulted in an over-engineered solution that had more redundancies than was required, or in an inadequate solution that could potentially slip on the system uptime SLA stipulated in the contract. In this paper, we propose a framework backed by a model, to automatically determine the HA-enabled solution with the least TCO (total cost of ownership) for a given uptime SLA and slippage penalty. We attempt to establish that our work is best implemented as a brokered service that recommends an uptime-optimized cloud architecture.


title: Recurrent Encoder-Decoder Networks for Vessel Trajectory Prediction with Uncertainty Estimation

abstract: Recent deep learning methods for vessel trajectory prediction are able to learn complex maritime patterns from historical Automatic Identification System (AIS) data and accurately predict sequences of future vessel positions with a prediction horizon of several hours. However, in maritime surveillance applications, reliably quantifying the prediction uncertainty can be as important as obtaining high accuracy. This paper extends deep learning frameworks for trajectory prediction tasks by exploring how recurrent encoder-decoder neural networks can be tasked not only to predict but also to yield a corresponding prediction uncertainty via Bayesian modeling of epistemic and aleatoric uncertainties. We compare the prediction performance of two different models based on labeled or unlabeled input data to highlight how uncertainty quantification and accuracy can be improved by using, if available, additional information on the intention of the ship (e.g., its planned destination).


title: Existence and Consistency of the Maximum Pseudo \b{eta}-Likelihood Estimators for Multivariate Normal Mixture Models

abstract: Robust estimation under multivariate normal (MVN) mixture model is always a computational challenge. A recently proposed maximum pseudo \b{eta}-likelihood estimator aims to estimate the unknown parameters of a MVN mixture model in the spirit of minimum density power divergence (DPD) methodology but with a relatively simpler and tractable computational algorithm even for larger dimensions. In this letter, we will rigorously derive the existence and weak consistency of the maximum pseudo \b{eta}-likelihood estimator in case of MVN mixture models under a reasonable set of assumptions.


title: Knowledge-powered Explainable Artificial Intelligence (XAI) for Network Automation Towards 6G

abstract: Communication networks are becoming increasingly complex towards 6G. Manual management is no longer an option for network operators. Network automation has been widely discussed in the networking community, and it is a sensible means to manage the complex communication network. Deep learning models developed to enable network automation for given operation practices have the limitations of 1) lack of explainability and 2) inapplicable across different networks and/or network settings. To tackle the above issues, in this article we propose a new knowledge-powered framework that provides a human-understandable explainable artificial intelligence (XAI) agent for network automation. A case study of path selection is developed to demonstrate the feasibility of the proposed framework. Research on network automation is still in its infancy. Therefore, at the end of this article, we provide a list of challenges and open issues that can guide further research in this important area.


title: Gamma-ray Diagnostics of r-process Nucleosynthesis in the Remnants of Galactic Binary Neutron-Star Mergers

abstract: We perform a full nuclear-network numerical calculation of the $r$-process nuclei in binary neutron-star mergers (NSMs), with the aim of estimating $\gamma$-ray emissions from the remnants of Galactic NSMs up to $10^6$ years old. The nucleosynthesis calculation of 4,070 nuclei is adopted to provide the elemental composition ratios of nuclei with an electron fraction $Y_{\rm e}$ between 0.10 and 0.45 . The decay processes of 3,237 unstable nuclei are simulated to extract the $\gamma$-ray spectra. As a result, the NSMs have different spectral color in $\gamma$-ray band from various other astronomical objects at less than $10^5$ years old. In addition, we propose a new line-diagnostic method for $Y_{\rm e}$ that uses the line ratios of either $^{137{\rm m}}$Ba/$^{85}$K or $^{243}$Am/$^{60{\rm m}}$Co, which become larger than unity for young and old $r$-process sites, respectively, with a low $Y_{\rm e}$ environment. From an estimation of the distance limit for $\gamma$-ray observations as a function of the age, the high sensitivity in the sub-MeV band, at approximately $10^{-9}$ photons s$^{-1}$ cm$^{-2}$ or $10^{-15}$ erg s$^{-1}$ cm$^{-2}$, is required to cover all the NSM remnants in our Galaxy if we assume that the population of NSMs by \citet{2019ApJ...880...23W}. A $\gamma$-ray survey with sensitivities of $10^{-8}$--$10^{-7}$ photons s$^{-1}$ cm$^{-2}$ or $10^{-14}$--$10^{-13}$ erg s$^{-1}$ cm$^{-2}$ in the 70--4000 keV band is expected to find emissions from at least one NSM remnant under the assumption of NSM rate of 30 Myr$^{-1}$. The feasibility of $\gamma$-ray missions to observe Galactic NSMs are also studied.


title: On the equivariant log-concavity for the cohomology of the flag varieties

abstract: We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.


title: Gravitational Lensing of Gravitational Waves: Probability of Microlensing in Galaxy-Scale Lens Population

abstract: With the increase in the number of observed gravitational wave (GW) signals, detecting strongly lensed GWs by galaxies has become a real possibility. Lens galaxies also contain microlenses (e.g., stars and black holes), introducing further frequency-dependent modulations in the strongly lensed GW signal within the LIGO frequency range. The multiple lensed signals in a given lens system have different underlying macro-magnifications ($|\mu|$) and are located in varied microlens densities ($\Sigma_\bullet$), leading to different levels of microlensing distortions. This work quantifies the fraction of strong lens systems affected by microlensing using realistic mock observations. We study 50 quadruply imaged systems (quads) by generating 50 realizations for each lensed signal. However, our conclusions are equally valid for lensed signals in doubly imaged systems (doubles). The lensed signals studied here have $|\mu|\sim[0.5, 10]$ and $\Sigma_\bullet\sim[10, 10^3]~{\rm M}_\odot/{\rm pc^2}$. We find that the microlensing effects are more sensitive to the macro-magnification than the underlying microlens density, even if the latter exceeds $10^3~{\rm M}_\odot/{\rm pc^2}$. The mismatch between lensed and unlensed GW signals rarely exceeds $1\%$ for nearly all binary black hole sources in the total mass range [10 M$_\odot$, 200 M$_\odot$]. This implies that microlensing is not expected to affect the detection or the parameter estimation of such signals and does not pose any further challenges in identifying the different lensed counterparts when macro-magnification is ${\leq}10$. Such a magnification cut is expected to be satisfied by ${\sim}50\%$ of the detectable pairs in quads and ${\sim}90\%$ of the doubles in the fourth observing run of the LIGO-Virgo detector network.


title: Fixed and Distributed Gene Expression Time Delays in Reaction-Diffusion Systems

abstract: Time delays, modelling the process of intracellular gene expression, have been shown to have important impacts on the dynamics of pattern formation in reaction-diffusion systems. In particular, past work has shown that such time delays can shrink the Turing space, thereby inhibiting patterns from forming across large ranges of parameters. Such delays can also increase the time taken for pattern formation even when Turing instabilities occur. Here we consider reaction-diffusion models incorporating fixed or distributed time delays, modelling the underlying stochastic nature of gene expression dynamics, and analyze these through a systematic linear instability analysis and numerical simulations for several sets of different reaction kinetics. We find that even complicated distribution kernels (skewed Gaussian probability density functions) have little impact on the reaction-diffusion dynamics compared to fixed delays with the same mean delay. We show that the location of the delay terms in the model can lead to changes in the size of the Turing space (increasing or decreasing) as the mean time delay, $\tau$, is increased. We show that the time to pattern formation from a perturbation of the homogeneous steady state scales linearly with $\tau$, and conjecture that this is a general impact of time delay on reaction-diffusion dynamics, independent of the form of the kinetics or location of the delayed terms. Finally we show that while initial and boundary conditions can influence these dynamics, particularly the time-to-pattern, the effects of delay appear robust under variations of initial and boundary data. Overall our results help clarify the role of gene expression time delays in reaction-diffusion patterning, and suggest clear directions for further work in studying more realistic models of pattern formation.


title: Optically-triggered strain-driven N\'{e}el vector manipulation in a metallic antiferromagnet

abstract: The absence of stray fields, their insensitivity to external magnetic fields, and ultrafast dynamics make antiferromagnets promising candidates for active elements in spintronic devices. Here, we demonstrate manipulation of the N\'{e}el vector in the metallic collinear antiferromagnet Mn$_2$Au by combining strain and femtosecond laser excitation. Applying tensile strain along either of the two in-plane easy axes and locally exciting the sample by a train of femtosecond pulses, we align the N\'{e}el vector along the direction controlled by the applied strain. The dependence on the laser fluence and strain suggests the alignment is a result of optically-triggered depinning of 90$^{\mathrm{o}}$ domain walls and their sliding in the direction of the free energy gradient, governed by the magneto-elastic coupling. The resulting, switchable, state is stable at room temperature and insensitive to magnetic fields. Such an approach may provide ways to realize robust high-density memory device with switching timescales in the picosecond range.


title: An Objective Method for Pedestrian Occlusion Level Classification

abstract: Pedestrian detection is among the most safety-critical features of driver assistance systems for autonomous vehicles. One of the most complex detection challenges is that of partial occlusion, where a target object is only partially available to the sensor due to obstruction by another foreground object. A number of current pedestrian detection benchmarks provide annotation for partial occlusion to assess algorithm performance in these scenarios, however each benchmark varies greatly in their definition of the occurrence and severity of occlusion. In addition, current occlusion level annotation methods contain a high degree of subjectivity by the human annotator. This can lead to inaccurate or inconsistent reporting of an algorithm's detection performance for partially occluded pedestrians, depending on which benchmark is used. This research presents a novel, objective method for pedestrian occlusion level classification for ground truth annotation. Occlusion level classification is achieved through the identification of visible pedestrian keypoints and through the use of a novel, effective method of 2D body surface area estimation. Experimental results demonstrate that the proposed method reflects the pixel-wise occlusion level of pedestrians in images and is effective for all forms of occlusion, including challenging edge cases such as self-occlusion, truncation and inter-occluding pedestrians.


title: Compact and Efficient KEMs over NTRU Lattices

abstract: The NTRU lattice is a promising candidate to construct practical cryptosystems, in particular key encapsulation mechanism (KEM), resistant to quantum computing attacks. Nevertheless, there are still some inherent obstacles to NTRU-based KEM schemes in having integrated performance, taking security, bandwidth, error probability, and computational efficiency \emph{as a whole}, that is as good as and even better than their \{R,M\}LWE-based counterparts. In this work, we solve this problem by presenting a new family of NTRU-based KEM schemes, referred to as CTRU and CNTR. By bridging low-dimensional lattice codes and high-dimensional NTRU-lattice-based cryptography with careful design and analysis, to the best of our knowledge CTRU and CNTR are the first NTRU-based KEM schemes with scalable ciphertext compression via only one \emph{single} ciphertext polynomial, and are the first that could outperform \{R,M\}LWE-based KEM schemes in integrated performance. For instance, compared to Kyber that is currently the only standardized KEM by NIST, on the recommended parameter set CNTR-768 has about $12\%$ smaller ciphertext size while encapsulating 384-bit keys compared to the fixed 256-bit key size of Kyber, security strengthened by $(8,7)$ bits for classical and quantum security respectively, and significantly lower error probability ($2^{-230}$ of CNTR-768 vs. $2^{-164}$ of Kyber-768). In comparison with the state-of-the-art AVX2 implementation of Kyber-768, CNTR-768 is faster by 1.9X in KeyGen, 2.6X in Encaps, and 1.2X in Decaps, respectively. When compared to the NIST Round 3 finalist NTRU-HRSS, our CNTR-768 has about $15\%$ smaller ciphertext size, and the security is strengthened by $(55,49)$ bits for classical and quantum security respectively. As for the AVX2 implementation, CNTR-768 is faster than NTRU-HRSS by 19X in KeyGen, 2.3X in Encaps, and 1.6X in Decaps, respectively.


title: Recommending Research Papers to Chemists: A Specialized Interface for Chemical Entity Exploration

abstract: Researchers and scientists increasingly rely on specialized information retrieval (IR) or recommendation systems (RS) to support them in their daily research tasks. Paper recommender systems are one such tool scientists use to stay on top of the ever-increasing number of academic publications in their field. Improving research paper recommender systems is an active research field. However, less research has focused on how the interfaces of research paper recommender systems can be tailored to suit the needs of different research domains. For example, in the field of biomedicine and chemistry, researchers are not only interested in textual relevance but may also want to discover or compare the contained chemical entity information found in a paper's full text. Existing recommender systems for academic literature do not support the discovery of this non-textual, but semantically valuable, chemical entity data. We present the first implementation of a specialized chemistry paper recommender system capable of visualizing the contained chemical structures, chemical formulae, and synonyms for chemical compounds within the document's full text. We review existing tools and related research in this field before describing the implementation of our ChemVis system. With the help of chemists, we are expanding the functionality of ChemVis, and will perform an evaluation of recommendation performance and usability in future work.


title: Bipartite polygon models: entanglement classes and their nonlocal behaviour

abstract: We study the bipartite composition of elementary toy systems with state spaces described by regular polygons. We provide a systematic method to characterize the entangled states in the maximal tensor product composition of such systems. Applying this method, we show that while a bipartite pentagon system allows two and exactly two different classes of entangled states, in the hexagon case, there are exactly six different classes of entangled states. We then prove a generic no-go result that the maximally entangled state for any bipartite odd gon system does not depict Hardy's nonlocality behaviour. However, such a state for even gons exhibits Hardy's nonlocality, and in that case, the optimal success probability decreases with the increasing number of extreme states in the elementary systems. Optimal Hardy's success probability for the non-maximally entangled states is also studied that establishes the presence of beyond quantum correlation in those systems, although the resulting correlation lies in the almost quantum set. Furthermore, it has been shown that mixed states of these systems, unlike the two-qubit case, can depict Hardy's nonlocality behaviour which arises due to a particular topological feature of these systems not present in the two-qubit system.


title: Evidence estimation in finite and infinite mixture models and applications

abstract: Estimating the model evidence - or mariginal likelihood of the data - is a notoriously difficult task for finite and infinite mixture models and we reexamine here different Monte Carlo techniques advocated in the recent literature, as well as novel approaches based on Geyer (1994) reverse logistic regression technique, Chib (1995) algorithm, and Sequential Monte Carlo (SMC). Applications are numerous. In particular, testing for the number of components in a finite mixture model or against the fit of a finite mixture model for a given dataset has long been and still is an issue of much interest, albeit yet missing a fully satisfactory resolution. Using a Bayes factor to find the right number of components K in a finite mixture model is known to provide a consistent procedure. We furthermore establish the consistence of the Bayes factor when comparing a parametric family of finite mixtures against the nonparametric 'strongly identifiable' Dirichlet Process Mixture (DPM) model.


title: On Feller, Pollard and the Complete Monotonicity of the Mittag-Leffler Function $E_\alpha(-x)$

abstract: Pollard used contour integration to show that the Mittag-Leffler function is the Laplace transform of a positive function, thereby proving that it is completely monotone. He also cited personal communication by Feller of a discovery of the result by "methods of probability theory". In his published work, Feller used the two-dimensional Laplace transform of a bivariate distribution to derive the Pollard result. But both approaches may be described as analytic, despite the occurrence of the stable distribution in Feller's starting point and in the Pollard result itself. We adopt a Bayesian probabilistic approach that assigns a prior distribution to the scale parameter of the stable distribution. We present Feller's method as a particular instance of such assignment. The Bayesian framework enables generalisation of the Pollard result. This leads to a novel integral representation of the Mittag-Leffler function as well as a variant arising from polynomial tilting of the stable density.


title: On the r-free values of the polynomial x^2+y^2+z^2+k

abstract: Let k be a fixed integer. We study the asymptotic formula of R(H, r, k), which is the number of positive integer solutions x, y, z greater than or equal to 1 and less than or equal to H such that the polynomial x^2+y^2+z^2+k is r-free. We obtained the asymptotic formula of R(H, r, k) for all r greater than or equal to 2. Our result is new even in the case r = 2. We proved that R(H, 2, k) = ckH^3 + O(H^(9/4+epsilon)), where ck > 0 is a constant depending on k. This improves upon the error term O(H^(7/3+epsilon)) obtained by Zhou and Ding.


title: Multi-Label Logo Recognition and Retrieval based on Weighted Fusion of Neural Features

abstract: Classifying logo images is a challenging task as they contain elements such as text or shapes that can represent anything from known objects to abstract shapes. While the current state of the art for logo classification addresses the problem as a multi-class task focusing on a single characteristic, logos can have several simultaneous labels, such as different colors. This work proposes a method that allows visually similar logos to be classified and searched from a set of data according to their shape, color, commercial sector, semantics, general characteristics, or a combination of features selected by the user. Unlike previous approaches, the proposal employs a series of multi-label deep neural networks specialized in specific attributes and combines the obtained features to perform the similarity search. To delve into the classification system, different existing logo topologies are compared and some of their problems are analyzed, such as the incomplete labeling that trademark registration databases usually contain. The proposal is evaluated considering 76,000 logos (7 times more than previous approaches) from the European Union Trademarks dataset, which is organized hierarchically using the Vienna ontology. Overall, experimentation attains reliable quantitative and qualitative results, reducing the normalized average rank error of the state-of-the-art from 0.040 to 0.018 for the Trademark Image Retrieval task. Finally, given that the semantics of logos can often be subjective, graphic design students and professionals were surveyed. Results show that the proposed methodology provides better labeling than a human expert operator, improving the label ranking average precision from 0.53 to 0.68.


title: Equivariant log-concavity and equivariant K\"ahler packages

abstract: We show that the exterior algebra $\Lambda_{R}\left[\alpha_{1}, \cdots, \alpha_{n}\right]$, which is the cohomology of the torus $T=(S^{1})^{n}$, and the polynomial ring $\mathbb{R}\left[t_{1}, \ldots, t_{n}\right]$, which is the cohomology of the classifying space $B (S^{1})^{n}=\left(\mathbb{C} \mathbb{P}^{\infty}\right)^{n}$, are $S_{n}$-equivariantly log-concave. We do so by explicitly giving the $S_{n}$-representation maps on the appropriate sequences of tensor products of polynomials or exterior powers and proving that these maps satisfy the hard Lefschetz theorem. Furthermore, we prove that the whole K\"ahler package, including algebraic analogies of the Poincar\'e duality, hard Lefschetz, and Hodge-Riemann bilinear relations, holds on the corresponding sequences in an equivariant setting.


title: Cosmology in the dark: How compact binaries formation impact the gravitational-waves cosmological measurements

abstract: Information about the mass spectrum of compact stars can be used to infer cosmological parameters from gravitational waves (GW) in the absence of redshift measurements obtained from electromagnetic (EM) observations. This method will be fundamental in measuring and testing cosmology with GWs for current and future ground-based GW detectors where the majority part of sources are detected without an associated EM counterpart. In this proceeding, we will discuss the prospects and limitations of this approach for studying cosmology. We will show that, even when assuming GW detectors with current sensitivities, the determination of the Hubble constant is strongly degenerate with the maximum mass for black hole production. We will discuss how assuming wrong models for the underlying population of black hole events can bias the Hubble constant estimate up to 40\%.


title: A void in the Hubble tension? The end of the line for the Hubble bubble

abstract: The Universe may feature large-scale inhomogeneities beyond the standard paradigm, implying that statistical homogeneity and isotropy may be reached only on much larger scales than the usually assumed $\sim$100 Mpc. This means that we are not necessarily typical observers and that the Copernican principle could be recovered only on super-Hubble scales. Here, we do not assume the validity of the Copernican principle and let Cosmic Microwave Background, Baryon Acoustic Oscillations, type Ia supernovae, local $H_0$, cosmic chronometers, Compton y-distortion and kinetic Sunyaev-Zeldovich observations constrain the geometrical degrees of freedom of the local structure, which we parametrize via the $\Lambda$LTB model -- basically a non-linear radial perturbation of a FLRW metric. In order to quantify if a non-Copernican structure could explain away the Hubble tension, we pay careful attention to computing the Hubble constant in an inhomogeneous universe, and we adopt model selection via both the Bayes factor and the Akaike information criterion. Our results show that, while the $\Lambda$LTB model can successfully explain away the $H_0$ tension, it is favored with respect to the $\Lambda$CDM model only if one solely considers supernovae in the redshift range that is used to fit the Hubble constant, that is, $0.023<z<0.15$. If one considers all the supernova sample, then the $H_0$ tension is not solved and the support for the $\Lambda$LTB model vanishes. Combined with other data sets, this solution to the Hubble tension barely helps. Finally, we have reconstructed our local spacetime. We have found that data are best fit by a shallow void with $\delta_L \approx -0.04$ and $r^{\mathrm{out}}_L \approx 300$ Mpc, which, interestingly, lies on the border of the 95\% credible region relative to the standard model expectation.


title: Explicit computation of jet functions in coordinate space

abstract: I review the main results leading to Factorization of QCD amplitudes in momentum space and, in view of the analogue results in coordinate space, the one-loop jet function in coordinate space is computed and Landau's equations for the Abelian radiative corrections to it are studied. Furthermore, two of these radiative corrections are reduced in quadrature.


title: "If it didn't happen, why would I change my decision?": How Judges Respond to Counterfactual Explanations for the Public Safety Assessment

abstract: Many researchers and policymakers have expressed excitement about algorithmic explanations enabling more fair and responsible decision-making. However, recent experimental studies have found that explanations do not always improve human use of algorithmic advice. In this study, we shed light on how people interpret and respond to counterfactual explanations (CFEs) -- explanations that show how a model's output would change with marginal changes to its input(s) -- in the context of pretrial risk assessment instruments (PRAIs). We ran think-aloud trials with eight sitting U.S. state court judges, providing them with recommendations from a PRAI that includes CFEs. We found that the CFEs did not alter the judges' decisions. At first, judges misinterpreted the counterfactuals as real -- rather than hypothetical -- changes to defendants. Once judges understood what the counterfactuals meant, they ignored them, stating their role is only to make decisions regarding the actual defendant in question. The judges also expressed a mix of reasons for ignoring or following the advice of the PRAI without CFEs. These results add to the literature detailing the unexpected ways in which people respond to algorithms and explanations. They also highlight new challenges associated with improving human-algorithm collaborations through explanations.


title: Modeling panels of extremes

abstract: Extreme value applications commonly employ regression techniques to capture cross-sectional heterogeneity or time-variation in the data. Estimation of the parameters of an extreme value regression model is notoriously challenging due to the small number of observations that are usually available in applications. When repeated extreme measurements are collected on the same individuals, i.e., a panel of extremes is available, pooling the observations in groups can improve the statistical inference. We study three data sets related to risk assessment in finance, climate science, and hydrology. In all three cases, the problem can be formulated as an extreme value panel regression model with a latent group structure and group-specific parameters. We propose a new algorithm that jointly assigns the individuals to the latent groups and estimates the parameters of the regression model inside each group. Our method efficiently recovers the underlying group structure without prior information, and for the three data sets it provides improved return level estimates and helps answer important domain-specific questions.


title: RustSEG -- Automated segmentation of corrosion using deep learning

abstract: The inspection of infrastructure for corrosion remains a task that is typically performed manually by qualified engineers or inspectors. This task of inspection is laborious, slow, and often requires complex access. Recently, deep learning based algorithms have revealed promise and performance in the automatic detection of corrosion. However, to date, research regarding the segmentation of images for automated corrosion detection has been limited, due to the lack of availability of per-pixel labelled data sets which are required for model training. Herein, a novel deep learning approach (termed RustSEG) is presented, that can accurately segment images for automated corrosion detection, without the requirement of per-pixel labelled data sets for training. The RustSEG method will first, using deep learning techniques, determine if corrosion is present in an image (i.e. a classification task), and then if corrosion is present, the model will examine what pixels in the original image contributed to that classification decision. Finally, the method can refine its predictions into a pixel-level segmentation mask. In ideal cases, the method is able to generate precise masks of corrosion in images, demonstrating that the automated segmentation of corrosion without per-pixel training data is possible, addressing a significant hurdle in automated infrastructure inspection.


title: Accelerating off-lattice kinetic Monte Carlo simulations to predict hydrogen vacancy-cluster interactions in $\alpha$-Fe

abstract: We present an enhanced off-lattice kinetic Monte Carlo (OLKMC) model, based on a new method for tolerant classification of atomistic local-environments that is invariant under Euclidean-transformations and permutations of atoms. Our method ensures that environments within a norm-based tolerance are classified as equivalent. During OLKMC simulations, our method guarantees to elide the maximum number of redundant saddle-point searches in symmetrically equivalent local-environments. Hence, we are able to study the trapping/detrapping of hydrogen from up to five-vacancy clusters and simultaneously the effect hydrogen has on the diffusivity of these clusters. These processes occur at vastly different timescales at room temperature in body-centred cubic iron. We are able to predict the diffusion pathways of clusters/complexes without a priori assumptions of their mechanisms, not only reproducing previously reported mechanisms but also discovering new ones for larger complexes. We detail the hydrogen-induced changes in the clusters' diffusion mechanisms and find evidence that, in contrast to mono-vacancies, the introduction of hydrogen to larger clusters can increase their diffusivity. We compare the effective hydrogen diffusivity to Oriani's classical theory of trapping, finding general agreement and some evidence that hydrogen may not always be in equilibrium with traps, when the traps are mobile. Finally, we are able to compute the trapping atmosphere of meta-stable states surrounding non-point traps, opening new avenues to better understand and predict hydrogen embrittlement in complex alloys.


title: An Inexact Augmented Lagrangian Algorithm for Training Leaky ReLU Neural Network with Group Sparsity

abstract: The leaky ReLU network with a group sparse regularization term has been widely used in the recent years. However, training such a network yields a nonsmooth nonconvex optimization problem and there exists a lack of approaches to compute a stationary point deterministically. In this paper, we first resolve the multi-layer composite term in the original optimization problem by introducing auxiliary variables and additional constraints. We show the new model has a nonempty and bounded solution set and its feasible set satisfies the Mangasarian-Fromovitz constraint qualification. Moreover, we show the relationship between the new model and the original problem. Remarkably, we propose an inexact augmented Lagrangian algorithm for solving the new model and show the convergence of the algorithm to a KKT point. Numerical experiments demonstrate that our algorithm is more efficient for training sparse leaky ReLU neural networks than some well-known algorithms.


title: Learning a Better Control Barrier Function

abstract: Control barrier functions (CBFs) are widely used in safety-critical controllers. However, constructing a valid CBF is challenging, especially under nonlinear or non-convex constraints and for high relative degree systems. Meanwhile, finding a conservative CBF that only recovers a portion of the true safe set is usually possible. In this work, starting from a "conservative" handcrafted CBF (HCBF), we develop a method to find a CBF that recovers a reasonably larger portion of the safe set. Since the learned CBF controller is not guaranteed to be safe during training iterations, we use a model predictive controller (MPC) to ensure safety during training. Using the collected trajectory data containing safe and unsafe interactions, we train a neural network to estimate the difference between the HCBF and a CBF that recovers a closer solution to the true safe set. With our proposed approach, we can generate safe controllers that are less conservative and computationally more efficient. We validate our approach on two systems: a second-order integrator and a ball-on-beam.


title: Data-Driven Optimal Sensor Placement for High-Dimensional System Using Annealing Machine

abstract: We propose a novel method for solving optimal sensor placement problem for high-dimensional system using an annealing machine. The sensor points are calculated as a maximum clique problem of the graph, the edge weight of which is determined by the proper orthogonal decomposition (POD) mode obtained from data based on the fact that a high-dimensional system usually has a low-dimensional representation. Since the maximum clique problem is equivalent to the independent set problem of the complement graph, the independent set problem is solved using Fujitsu Digital Annealer. As a demonstration of the proposed method, the pressure distribution induced by the K\'arm\'an vortex street behind a square cylinder is reconstructed based on the pressure data at the calculated sensor points. The pressure distribution is measured by pressure-sensitive paint (PSP) technique, which is an optical flow diagnose method. The root mean square errors (RMSEs) between the pressure measured by pressure transducer and the reconstructed pressures (calculated from the proposed method and an existing greedy method) at the same place are compared. As the result, the similar RMSE is achieved by the proposed method using approximately 1/5 number of sensor points obtained by the existing method. This method is of great importance as a novel approach for optimal sensor placement problem and a new engineering application of an annealing machine.


title: Transition to three dimensional flow in thermal convection with spanwise rotation

abstract: We investigate by direct numerical simulation Rayleigh-B\'enard convection in a rotating rectangular cell with rotation vector and gravity perpendicular to each other. The flow is two dimensional near the onset of convection with convection rolls aligned parallel to the rotation axis of the boundaries. At a sufficiently large Rayleigh number, the flow becomes unstable to three dimensional disturbances which changes the scaling of heat transport and kinetic energy with Rayleigh number. The mechanism leading to the instability is identified as an elliptical instability. At the transition, the Reynolds and Rossby numbers $\mathrm{Re}$ and $\mathrm{Ro}$ based on the kinetic energy of the flow are related by $\mathrm{Re} \propto \mathrm{Ro}^{-2}$ at small $\mathrm{Ro}$ with a geometry dependent prefactor.


title: On the Jordan--Chevalley decomposition of a matrix

abstract: The purpose of this note is to advertise an elegant algorithmic proof for the Jordan--Chevalley decomposition of a matrix, following and (slightly) revising the discussion of Couty, Esterle und Zarouf (2011). The basic idea of that method goes back to Chevalley (1951).


title: ALIGNMEET: A Comprehensive Tool for Meeting Annotation, Alignment, and Evaluation

abstract: Summarization is a challenging problem, and even more challenging is to manually create, correct, and evaluate the summaries. The severity of the problem grows when the inputs are multi-party dialogues in a meeting setup. To facilitate the research in this area, we present ALIGNMEET, a comprehensive tool for meeting annotation, alignment, and evaluation. The tool aims to provide an efficient and clear interface for fast annotation while mitigating the risk of introducing errors. Moreover, we add an evaluation mode that enables a comprehensive quality evaluation of meeting minutes. To the best of our knowledge, there is no such tool available. We release the tool as open source. It is also directly installable from PyPI.


title: A polynomial time algorithm for local testability and its level

abstract: A locally testable semigroup S is a semigroup with the property that for some nonnegative integer k, called the order or level of local testability, two words u and v in some set of generators for semigroup S are equal in the semigroup if (1) the prefix and suffix of the words of length k coincide, and (2) the set of intermediate substrings of length k of the words coincide. The local testability problem for semigroups is, given a finite semigroup, to decide, if the semigroup is locally testable or not. Recently, we introduced a polynomial time algorithm for the local testability problem and to find the level of local testability for semigroups based on our previous description of identities of $k$-testable semigroups and the structure of locally testable semigroups. The first part of the algorithm we introduce solves the local testability problem. The second part of the algorithm finds the order of local testability of a semigroup. The algorithm is of quadratic order where n is the order of the semigroup.


title: Building for Tomorrow: Assessing the Temporal Persistence of Text Classifiers

abstract: Performance of text classification models tends to drop over time due to changes in data, which limits the lifetime of a pretrained model. Therefore an ability to predict a model's ability to persist over time can help design models that can be effectively used over a longer period of time. In this paper, we provide a thorough discussion into the problem, establish an evaluation setup for the task. We look at this problem from a practical perspective by assessing the ability of a wide range of language models and classification algorithms to persist over time, as well as how dataset characteristics can help predict the temporal stability of different models. We perform longitudinal classification experiments on three datasets spanning between 6 and 19 years, and involving diverse tasks and types of data. By splitting the longitudinal datasets into years, we perform a comprehensive set of experiments by training and testing across data that are different numbers of years apart from each other, both in the past and in the future. This enables a gradual investigation into the impact of the temporal gap between training and test sets on the classification performance, as well as measuring the extent of the persistence over time.


title: Counting integral points of bounded height on varieties with large fundamental group

abstract: The present note is devoted to an amendment to a recent paper of Ellenberg, Lawrence and Venkatesh. Roughly speaking, the main result here states the subpolynomial growth of the number of integral points with bounded height of a variety over a number field whose fundamental group is large. Such an improvement, i.e. requiring large fundamental group as opposed to the existence of a geometric variation of pure Hodge structures, was already asked in op.cit..


title: Dimension of a class of intrinsically transversal solenoidal attractors in high dimensions

abstract: We study the fractal dimension of a class of solenoidal attractors in dimensions greater or equal than 3, proving that if the contraction is sufficiently strong, the expansion is close to conformal and the attractor satisfy a geometrical condition of transversality between its components, then the Hausdorff and box-counting dimension of every stable section of the attractor have the same value, which corresponds to the zero of the topological pressure as in Bowen's formula. We also calculate the dimension of the attractor and prove that it is continuous in this class.


title: Axiomatizing the existential theory of Fq((t))

abstract: We study the existential theory of equicharacteristic henselian valued fields with a distinguished uniformizer. In particular, assuming a weak consequence of resolution of singularities, we obtain an axiomatization of - and therefore an algorithm to decide - the existential theory relative to the existential theory of the residue field. This is both more general and works under weaker resolution hypotheses than the algorithm of Denef and Schoutens, which we also discuss in detail. In fact, the consequence of resolution of singularities our results are conditional on is the weakest under which they hold true.


title: Injection Attacks Reloaded: Tunnelling Malicious Payloads over DNS

abstract: The traditional design principle for Internet protocols indicates: "Be strict when sending and tolerant when receiving" [RFC1958], and DNS is no exception to this. The transparency of DNS in handling the DNS records, also standardised specifically for DNS [RFC3597], is one of the key features that made it such a popular platform facilitating a constantly increasing number of new applications. An application simply creates a new DNS record and can instantly start distributing it over DNS without requiring any changes to the DNS servers and platforms. Our Internet wide study confirms that more than 1.3M (96% of tested) open DNS resolvers are standard compliant and treat DNS records transparently. In this work we show that this `transparency' introduces a severe vulnerability in the Internet: we demonstrate a new method to launch string injection attacks by encoding malicious payloads into DNS records. We show how to weaponise such DNS records to attack popular applications. For instance, we apply string injection to launch a new type of DNS cache poisoning attack, which we evaluated against a population of open resolvers and found 105K to be vulnerable. Such cache poisoning cannot be prevented with common setups of DNSSEC. Our attacks apply to internal as well as to public services, for instance, we reveal that all eduroam services are vulnerable to our injection attacks, allowing us to launch exploits ranging from unauthorised access to eduroam networks to resource starvation. Depending on the application, our attacks cause system crashes, data corruption and leakage, degradation of security, and can introduce remote code execution and arbitrary errors. In our evaluation of the attacks in the Internet we find that all the standard compliant open DNS resolvers we tested allow our injection attacks against applications and users on their networks.


title: Experimental Validation of Sequence-Wise Predistorter for Evaluation of Geometrically Shaped 128-QAM

abstract: A predistorter for transmitter nonlinearities is applied to the evaluation of a geometrically shaped constellation, such that constellation points are transmitted correctly during the evaluation of the geometrically shaped constellation.


title: Entanglement-enhanced quantum ranging in the near-Earth spacetime

abstract: We propose a quantum ranging protocol to determine the distance between an observer and a target at the line of sight in the near-Earth curved spacetime. Unlike the quantum illumination scheme, here we employ multiple quantum hypothesis testing to decide the presence and location of the target at the same time. In the present protocol, the gravity of the Earth influences the propagation of photons and the performance of quantum ranging. We find that the maximum potential advantages of the quantum ranging strategy in the curved spacetime outperform its flat spacetime counterpart. This is because the effect of gravitational red-shift and blue-shift on the entangled signal photons can be canceled out, while the thermal photons only suffers from the gravitational blue-shift effect. We also show that the number of transmitted modes can promote the maximum potential advantage of the quantum ranging tasks. The maximum potential advantage of quantum ranging in the curved spacetime can not be raised sharply by dividing the range into multiple slices.


title: The axion-photon mixing in non-linear electrodynamic scenarios

abstract: In this contribution, we re-assess some aspects of axionic electrodynamics by coupling non-linear electromagnetic effects to axion physics. We present a number of motivations to justify the coupling of the axion to the photon in terms of a general non-linear extension of the electromagnetic sector. Our emphasis in the paper relies on the investigation of the constitutive permittivity and permeability tensors, for which the axion contributes by introducing dependence on the frequency and wave vector of the propagating radiation. Also, we point out how the axion mass and the axion-photon-photon coupling constant contribute to a dispersive behavior of the electromagnetic waves, in contrast to what happens in the case of non-linear extensions, when effective refractive indices appear which depend only on the direction of the propagation with respect to the external fields. The axion changes this picture by yielding refractive indices with dependence on the wavelength. We apply our results to the special case of the (non-birefringent) Born-Infeld Electrodynamics and we show that it becomes birefringent whenever the axion is coupled. The paper is supplemented by an Appendix, where we follow our own path to approach the recent discussion on a controversy in the definition of the Poynting vector of axionic electrodynamics.


title: Is there a universal concept of mass in fundamental physics?

abstract: The concept of mass was introduced as a mathematical abstraction and unifying principle in physics by Newton in the 17th century, and calibrated on a Solar System scale by Cavendish at the end of the 18th century. In the 19th century, this concept proved adequate to explain a vast range of physical processes on all scales from the microscopic to the Solar System. But in the 20th century, attempts to extend this range upwards to the galactic scale, and downwards to subatomic particles, have led to increasing difficulties. Modifications to the concept of mass by Einstein and Dirac have not prevented these difficulties. In this paper, I ask the question, can these difficulties be overcome by further modification of the definitions, or is the concept of mass an unavoidably local (Solar System scale) rather than global concept?


title: Sequential Choices, Option Values, and the Returns to Education

abstract: Using detailed Norwegian data on earnings and education histories, we estimate a dynamic structural model of schooling and work decisions that captures our data's rich patterns over the life-cycle. We validate the model against variation in schooling choices induced by a compulsory schooling reform. Our approach allows us to estimate the ex-ante returns to different schooling tracks at different stages of the life-cycle and quantify the contribution of option values. We find substantial heterogeneity in returns and establish crucial roles for option values and re-enrollment in determining schooling choices and the impact of schooling policies.


title: Complementarity in quantum walks

abstract: We study discrete-time quantum walks on $d$-cycles with a position and coin-dependent phase-shift. Such a model simulates a dynamics of a quantum particle moving on a ring with an artificial gauge field. In our case the amplitude of the phase-shift is governed by a single discrete parameter $q$. We solve the model analytically and observe that for prime $d$ there exists a strong complementarity property between the eigenvectors of two quantum walk evolution operators that act in the $2d$-dimensional Hilbert space. Namely, if $d$ is prime the corresponding eigenvectors of the evolution operators obey $|\langle v_q|v'_{q'} \rangle| \leq 1/\sqrt{d}$ for $q\neq q'$ and for all $|v_q\rangle$ and $|v'_{q'}\rangle$. We also discuss dynamical consequences of this complementarity. Finally, we show that the complementarity is still present in the continuous version of this model, which corresponds to a one-dimensional Dirac particle.


title: Predictive Compliance Monitoring in Process-Aware Information Systems: State of the Art, Functionalities, Research Directions

abstract: Business process compliance is a key area of business process management and aims at ensuring that processes obey to compliance constraints such as regulatory constraints or business rules imposed on them. Process compliance can be checked during process design time based on verification of process models and at runtime based on monitoring the compliance states of running process instances. For existing compliance monitoring approaches it remains unclear whether and how compliance violations can be predicted, although predictions are crucial in order to prepare and take countermeasures in time. This work, hence, analyzes existing literature from compliance monitoring as well as predictive process monitoring and provides an updated framework of compliance monitoring functionalities. Moreover, it raises the vision of a comprehensive predictive compliance monitoring system that integrates existing predicate prediction approaches with the idea of employing PPM with different prediction goals such as next activity or remaining time for prediction and subsequent mapping of the prediction results onto the given set of compliance constraints (PCM). For each compliance monitoring functionality we elicit PCM system requirements and assess their coverage by existing approaches. Based on the assessment, open challenges and research directions realizing a comprehensive PCM system are elaborated.