title: Towards Open-Set Object Detection and Discovery

abstract: With the human pursuit of knowledge, open-set object detection (OSOD) has been designed to identify unknown objects in a dynamic world. However, an issue with the current setting is that all the predicted unknown objects share the same category as "unknown", which require incremental learning via a human-in-the-loop approach to label novel classes. In order to address this problem, we present a new task, namely Open-Set Object Detection and Discovery (OSODD). This new task aims to extend the ability of open-set object detectors to further discover the categories of unknown objects based on their visual appearance without human effort. We propose a two-stage method that first uses an open-set object detector to predict both known and unknown objects. Then, we study the representation of predicted objects in an unsupervised manner and discover new categories from the set of unknown objects. With this method, a detector is able to detect objects belonging to known classes and define novel categories for objects of unknown classes with minimal supervision. We show the performance of our model on the MS-COCO dataset under a thorough evaluation protocol. We hope that our work will promote further research towards a more robust real-world detection system.


title: Regression or Classification? Reflection on BP prediction from PPG data using Deep Neural Networks in the scope of practical applications

abstract: Photoplethysmographic (PPG) signals offer diagnostic potential beyond heart rate analysis or blood oxygen level monitoring. In the recent past, research focused extensively on non-invasive PPG-based approaches to blood pressure (BP) estimation. These approaches can be subdivided into regression and classification methods. The latter assign PPG signals to predefined BP intervals that represent clinically relevant ranges. The former predict systolic (SBP) and diastolic (DBP) BP as continuous variables and are of particular interest to the research community. However, the reported accuracies of BP regression methods vary widely among publications with some authors even questioning the feasibility of PPG-based BP regression altogether. In our work, we compare BP regression and classification approaches. We argue that BP classification might provide diagnostic value that is equivalent to regression in many clinically relevant scenarios while being similar or even superior in terms of performance. We compare several established neural architectures using publicly available PPG data for SBP regression and classification with and without personalization using subject-specific data. We found that classification and regression models perform similar before personalization. However, after personalization, the accuracy of classification based methods outperformed regression approaches. We conclude that BP classification might be preferable over BP regression in certain scenarios where a coarser segmentation of the BP range is sufficient.


title: OGLE-2019-BLG-1470LABc: Another Microlensing Giant Planet in a Binary System?

abstract: We report the discovery and analysis of a candidate triple-lens single-source (3L1S) microlensing event, OGLE-2019-BLG-1470. This event was first classified as a normal binary-lens single-source (2L1S) event, but a careful 2L1S modelling showed that it needs an additional lens or source to fit the observed data. It is found that the 3L1S model provides the best fit, but the binary-lens binary-source (2L2S) model is only disfavoured by $\Delta\chi^2 \simeq 18$. All of the feasible models include a planet with planet-to-host mass-ratios $10^{-3} \lesssim q \lesssim 10^{-2}$. A Bayesian analysis based on a Galactic model indicates that the planet is super-Jovian, and the projected host-planet separation is about 3 $\mathrm{au}$. Specifically, for the best-fit 3L1S model, the two stars have masses of $M_1=0.57^{+0.43}_{-0.32}M_{\odot}$, and $M_2=0.18^{+0.15}_{-0.10}M_{\odot}$, with projected separation of $1.3^{+0.5}_{-0.5}$ $\mathrm{au}$, and the planetary mass is $M_3=2.2^{+1.8}_{-1.3}M_{\rm{Jupiter}}$. For the 2L2S model, the masses of the host star and the planet are $0.55^{+0.44}_{-0.31}M_{\odot}$ and $4.6^{+3.7}_{-2.6}M_{\rm{Jupiter}}$, respectively. By investigating the properties of all known microlensing planets in binary systems, we find that all planets in binary systems published by the KMTNet survey are located inside the resonant caustics range with $q \gtrsim 2 \times 10^{-3}$, indicating the incompleteness of the KMTNet sample for planets in binary systems. Thus, planets in binary systems cannot be included in the current study of the KMTNet mass-ratio function, and a systematic search for planetary anomalies in KMTNet microlensing light curves of binary systems is needed.


title: Conditioning diffusion processes with killing rates

abstract: When the unconditioned process is a diffusion submitted to a space-dependent killing rate $k(\vec x)$, various conditioning constraints can be imposed for a finite time horizon $T$. We first analyze the conditioned process when one imposes both the surviving distribution at time $T$ and the killing-distribution for the intermediate times $t \in [0,T]$. When the conditioning constraints are less-detailed than these full distributions, we construct the appropriate conditioned processes via the optimization of the dynamical large deviations at Level 2.5 in the presence of the conditioning constraints that one wishes to impose. Finally, we describe various conditioned processes for the infinite horizon $T \to +\infty$. This general construction is then applied to two illustrative examples in order to generate stochastic trajectories satisfying various types of conditioning constraints : the first example concerns the pure diffusion in dimension $d$ with the quadratic killing rate $k(\vec x)= \gamma \vec x^2$, while the second example is the Brownian motion with uniform drift submitted to the delta killing rate $k(x)=k \delta(x)$ localized at the origin $x=0$.


title: Detection of Long Range Dependence in the Time Domain for (In)Finite-Variance Time Series

abstract: Empirical detection of long range dependence (LRD) of a time series often consists of deciding whether an estimate of the memory parameter $d$ corresponds to LRD. Surprisingly, the literature offers numerous spectral domain estimators for $d$ but there are only a few estimators in the time domain. Moreover, the latter estimators are criticized for relying on visual inspection to determine an observation window $[n_1, n_2]$ for a linear regression to run on. Theoretically motivated choices of $n_1$ and $n_2$ are often missing for many time series models. In this paper, we take the well-known variance plot estimator and provide rigorous asymptotic conditions on $[n_1, n_2]$ to ensure the estimator's consistency under LRD. We establish these conditions for a large class of square-integrable time series models. This large class enables one to use the variance plot estimator to detect LRD for infinite-variance time series (after suitable transformation). Thus, detection of LRD for infinite-variance time series is another novelty of our paper. A simulation study indicates that the variance plot estimator can detect LRD better than the popular spectral domain GPH estimator.


title: Low Latency Time Domain Multichannel Speech and Music Source Separation

abstract: The Goal is to obtain a simple multichannel source separation with very low latency. Applications can be teleconferencing, hearing aids, augmented reality, or selective active noise cancellation. These real time applications need a very low latency, usually less than about 6 ms, and low complexity, because they usually run on small portable devices. For that we don't need the best separation, but "useful" separation, and not just on speech, but also music and noise. Usual frequency domain approaches have higher latency and complexity. Hence we introduce a novel probabilistic optimization method which we call "Random Directions", which can overcome local minima, applied to a simple time domain unmixing structure, and which is scalable for low complexity. Then it is compared to frequency domain approaches on separating speech and music sources, and using 3D microphone setups.


title: Stylized Knowledge-Grounded Dialogue Generation via Disentangled Template Rewriting

abstract: Current Knowledge-Grounded Dialogue Generation (KDG) models specialize in producing rational and factual responses. However, to establish long-term relationships with users, the KDG model needs the capability to generate responses in a desired style or attribute. Thus, we study a new problem: Stylized Knowledge-Grounded Dialogue Generation (SKDG). It presents two challenges: (1) How to train a SKDG model where no <context, knowledge, stylized response> triples are available. (2) How to cohere with context and preserve the knowledge when generating a stylized response. In this paper, we propose a novel disentangled template rewriting (DTR) method which generates responses via combing disentangled style templates (from monolingual stylized corpus) and content templates (from KDG corpus). The entire framework is end-to-end differentiable and learned without supervision. Extensive experiments on two benchmarks indicate that DTR achieves a significant improvement on all evaluation metrics compared with previous state-of-the-art stylized dialogue generation methods. Besides, DTR achieves comparable performance with the state-of-the-art KDG methods in standard KDG evaluation setting.


title: Portfolio Optimization Using a Consistent Vector-Based MSE Estimation Approach

abstract: This paper is concerned with optimizing the global minimum-variance portfolio's (GMVP) weights in high-dimensional settings where both observation and population dimensions grow at a bounded ratio. Optimizing the GMVP weights is highly influenced by the data covariance matrix estimation. In a high-dimensional setting, it is well known that the sample covariance matrix is not a proper estimator of the true covariance matrix since it is not invertible when we have fewer observations than the data dimension. Even with more observations, the sample covariance matrix may not be well-conditioned. This paper determines the GMVP weights based on a regularized covariance matrix estimator to overcome the aforementioned difficulties. Unlike other methods, the proper selection of the regularization parameter is achieved by minimizing the mean-squared error of an estimate of the noise vector that accounts for the uncertainty in the data mean estimation. Using random-matrix-theory tools, we derive a consistent estimator of the achievable mean-squared error that allows us to find the optimal regularization parameter using a simple line search. Simulation results demonstrate the effectiveness of the proposed method when the data dimension is larger than the number of data samples or of the same order.


title: Several series expansions for real powers and several formulas for partial Bell polynomials of sinc and sinhc functions in terms of central factorial and Stirling numbers of second kind

abstract: In the paper, with the aid of the Fa\`a di Bruno formula, in terms of central factorial numbers of the second kind, and with the terminology of the Stirling numbers of the second kind, the authors derive several series expansions for any positive integer powers of the sinc and sinhc functions, discover several closed-form formulas for partial Bell polynomials of all derivatives of the sinc function, establish several series expansions for any real powers of the sinc and sinhc functions, and present several identities for central factorial numbers of the second kind and for the Stirling numbers of the second kind.


title: The Quasar Feedback Survey: Revealing the Interplay of Jets, Winds & Emission Line Gas in Type 2 Quasars with Radio Polarization

abstract: We present results from a combined radio polarization and emission line study of five type 2 quasars at $z<0.2$ with the Karl G. Jansky Very Large Array (VLA) B-array at 5 GHz and Hubble Space Telescope (HST) [O III] observations. These five sources are known to exhibit close association between radio structures and ionized gas morphology and kinematics. Four sources (J0945+1737, J1000+1242, J1356+1026 and J1430+1339) show polarization in the current data. J1010+1413 is the unpolarized source in our sample. We detect $0.5-1\%$ fractional polarization in the radio cores and a high fractional polarization ($10-30\%$) in the lobes of these sources. The morphological, spectral and polarization properties suggest a jet origin for radio emission in J0945+1737, J1000+1242, J1010+1413 and J1430+1339 whereas the current data cannot fully discern the origin of radio emission (jet or wind) in J1356+1026. An anti-correlation between various polarized knots in the radio and [O III] emission is observed in our sources, similar to that observed in some radio-loud AGN in the literature. This suggests that the radio emission is likely to be depolarized by the emission-line gas. By modeling the depolarization effects, we estimate the size of the emission-line gas clouds to be $\sim(2.8\pm1.7)\times10^{-5}$ parsec and the amount of thermal material mixed with the synchrotron plasma to be $\sim(1.01\pm0.08)\times10^{6}$M$_\odot$ in the lobe of J0945+1737 (which exhibits the most prominent polarization signature in its lobe). The current work demonstrates that the interplay of jets/winds and emission-line gas is most likely responsible for the nature of radio outflows in radio-quiet AGN.


title: Capillary rising in a tube with corners

abstract: We study the dynamics of a fluid rising in a capillary tube with corners. In the cornered tube, unlike the circular tube, fluid rises with two parts, the bulk part where the entire cross-section is occupied by the fluid, and the finger part where the cross-section is only partially filled. Using Onsager principle, we derive coupled time-evolution equations for the two parts. We show that (a) at the early stage of rising, the dynamics is dominated by the bulk part and the fluid height $h_0(t)$ shows the same behavior as that in the circular tube, and (b) at the late stage, the bulk part stops rising, but the finger part keeps rising following the scaling law of $h_1(t) \sim t^{1/3}$. We also show that due to the coupling between the two parts, the equilibrium bulk height is smaller than the Jurin's height which ignores the effect of the finger part.


title: Normalized Power Prior Bayesian Analysis

abstract: The elicitation of power priors, based on the availability of historical data, is realized by raising the likelihood function of the historical data to a fractional power {\delta}, which quantifies the degree of discounting of the historical information in making inference with the current data. When {\delta} is not pre-specified and is treated as random, it can be estimated from the data using Bayesian updating paradigm. However, in the original form of the joint power prior Bayesian approach, certain positive constants before the likelihood of the historical data could be multiplied when different settings of sufficient statistics are employed. This would change the power priors with different constants, and hence the likelihood principle is violated. In this article, we investigate a normalized power prior approach which obeys the likelihood principle and is a modified form of the joint power prior. The optimality properties of the normalized power prior in the sense of minimizing the weighted Kullback-Leibler divergence is investigated. By examining the posteriors of several commonly used distributions, we show that the discrepancy between the historical and the current data can be well quantified by the power parameter under the normalized power prior setting. Efficient algorithms to compute the scale factor is also proposed. In addition, we illustrate the use of the normalized power prior Bayesian analysis with three data examples, and provide an implementation with an R package NPP.


title: The PADME beam line Monte Carlo simulation

abstract: The PADME experiment at the DA$\Phi$NE Beam-Test Facility (BTF) of the INFN Laboratory of Frascati is designed to search for invisible decays of dark sector particles produced in electron-positron annihilation events with a positron beam and a thin fixed target, by measuring the missing mass of single-photon final states. The presence of backgrounds originating from beam halo particles can significantly reduce the sensitivity of the experiment. To thoroughly understand the origin of the beam background contribution, a detailed Geant4-based Monte Carlo simulation has been developed, containing a full description of the detector together with the beam line and its optical elements. This simulation allows the full interactions of each particle to be described, both during beam line transport and during detection, a possibility which represents an innovative way to obtain reliable background predictions


title: ASR in German: A Detailed Error Analysis

abstract: The amount of freely available systems for automatic speech recognition (ASR) based on neural networks is growing steadily, with equally increasingly reliable predictions. However, the evaluation of trained models is typically exclusively based on statistical metrics such as WER or CER, which do not provide any insight into the nature or impact of the errors produced when predicting transcripts from speech input. This work presents a selection of ASR model architectures that are pretrained on the German language and evaluates them on a benchmark of diverse test datasets. It identifies cross-architectural prediction errors, classifies those into categories and traces the sources of errors per category back into training data as well as other sources. Finally, it discusses solutions in order to create qualitatively better training datasets and more robust ASR systems.


title: When Should We Prefer Offline Reinforcement Learning Over Behavioral Cloning?

abstract: Offline reinforcement learning (RL) algorithms can acquire effective policies by utilizing previously collected experience, without any online interaction. It is widely understood that offline RL is able to extract good policies even from highly suboptimal data, a scenario where imitation learning finds suboptimal solutions that do not improve over the demonstrator that generated the dataset. However, another common use case for practitioners is to learn from data that resembles demonstrations. In this case, one can choose to apply offline RL, but can also use behavioral cloning (BC) algorithms, which mimic a subset of the dataset via supervised learning. Therefore, it seems natural to ask: when can an offline RL method outperform BC with an equal amount of expert data, even when BC is a natural choice? To answer this question, we characterize the properties of environments that allow offline RL methods to perform better than BC methods, even when only provided with expert data. Additionally, we show that policies trained on sufficiently noisy suboptimal data can attain better performance than even BC algorithms with expert data, especially on long-horizon problems. We validate our theoretical results via extensive experiments on both diagnostic and high-dimensional domains including robotic manipulation, maze navigation, and Atari games, with a variety of data distributions. We observe that, under specific but common conditions such as sparse rewards or noisy data sources, modern offline RL methods can significantly outperform BC.


title: Measurements of Phase Dynamics in Planar Josephson Junctions and SQUIDs

abstract: We experimentally investigate the stochastic phase dynamics of planar Josephson junctions (JJs) and superconducting quantum interference devices (SQUIDs) defined in epitaxial InAs/Al heterostructures, and characterized by a large ratio of Josephson energy to charging energy. We observe a crossover from a regime of macroscopic quantum tunneling to one of phase diffusion as a function of temperature, where the transition temperature $T^{*}$ is gate-tunable. The switching probability distributions are shown to be consistent with a small shunt capacitance and moderate damping, resulting in a switching current which is a small fraction of the critical current. Phase locking between two JJs leads to a difference in switching current between that of a JJ measured in isolation and that of the same JJ measured in an asymmetric SQUID loop. In the case of the loop, $T^*$ is also tuned by a magnetic flux.


title: Stabilization and application of asymmetric N\'eel skyrmions in hybrid nanostructures

abstract: Increasing amounts of information force the continuous improvement of information storage and processing technologies, further device miniaturization, and their efficiency increase. Magnetic skyrmions, topological quasiparticles, and the smallest stable magnetic textures possess intriguing properties and potential for data storage applications. Hybrid nanostructures with elements of different magnetization orientations can offer additional advantages for developing skyrmion-based spintronic and magnonic devices. We show that an N\'eel-type skyrmion confined within a nanodot placed on top of a ferromagnetic stripe produces a unique and compelling platform for exploring mutual coupling between magnetization textures. The skyrmion induces an imprint upon the stripe, which, in turn, asymmetrically squeezes the skyrmion in the dot, increasing their size and the range of skyrmion stability for small values of DMI, as well as introducing skyrmion bi-stability. At the end, we present a proof-of-concept technique for unconstrained transport of a skyrmion along a racetrack based on proposed hybrid systems. Our results demonstrate a hybrid structure that is promising for applications in magnonics and spintronics.


title: Phase transition and entropic force in Reissner-Nordstr\"om-de Sitter spacetime

abstract: In this paper, thermodynamic properties of the Reissner-Nordstr\"om-de Sitter (RN-dS) black hole have been studied on the basis of the correlation between the black hole and cosmological horizons. It is found that the RN-dS black hole experiences a phase transition, when its state parameters satisfy certain conditions. From the analysis of the interaction between two horizons in RN-dS spacetime, we get the numerical solution of the interaction between two horizons. It makes us to realize the force between the black hole and cosmological horizons, which can be regarded as a candidate to explain our accelerating expansion universe. That provides a new window to explore the physical mechanism of the cosmic accelerating expansion.


title: Eigen-Adjusted Functional Principal Component Analysis

abstract: Functional Principal Component Analysis (FPCA) has become a widely-used dimension reduction tool for functional data analysis. When additional covariates are available, existing FPCA models integrate them either in the mean function or in both the mean function and the covariance function. However, methods of the first kind are not suitable for data that display second-order variation, while those of the second kind are time-consuming and make it difficult to perform subsequent statistical analyses on the dimension-reduced representations. To tackle these issues, we introduce an eigen-adjusted FPCA model that integrates covariates in the covariance function only through its eigenvalues. In particular, different structures on the covariate-specific eigenvalues -- corresponding to different practical problems -- are discussed to illustrate the model's flexibility as well as utility. To handle functional observations under different sampling schemes, we employ local linear smoothers to estimate the mean function and the pooled covariance function, and a weighted least square approach to estimate the covariate-specific eigenvalues. The convergence rates of the proposed estimators are further investigated under the different sampling schemes. In addition to simulation studies, the proposed model is applied to functional Magnetic Resonance Imaging scans, collected within the Human Connectome Project, for functional connectivity investigation.


title: Beautiful secrets: using aesthetic images to authenticate users

abstract: We propose and evaluate an authentication scheme that improves usability and user experience issues in the authentication process due to its reliance on people's aesthetic tastes and preferences. The scheme uses aesthetic images to verify the identity of computer users. It relies on three major premises regarding visual aesthetics: (i) that an individual has different preferences for different aesthetic stimuli; (ii) that these preferences are relatively consistent; and (iii) that aesthetic tastes are subjective and, therefore, there are considerable individual differences in aesthetic preferences. Following a review of the scientific basis for these premises, we describe the concept of the aesthetic evaluation-based authentication (AEbA) method and illustrate an implementation of it. We address AEbA's advantages and disadvantages relative to other related methods and conclude that it is adequate for low-to-medium security domains. It cannot serve as a compulsory method because we suspect that a certain portion of the user population lacks the degree of aesthetic sensitivity required to use the system effectively. On the plus side, the method offers a positive experience. It alleviates the burden of memorizing passwords to a minimum, and relative to other usability-oriented schemes provides better security in terms of shoulder-surfing, phishing, and password space. Finally, we report on a pilot evaluation of the concept and its feasibility that supports the method's main tenets, provides insights about implementation challenges and suggestions for improvements.


title: Continual Predictive Learning from Videos

abstract: Predictive learning ideally builds the world model of physical processes in one or more given environments. Typical setups assume that we can collect data from all environments at all times. In practice, however, different prediction tasks may arrive sequentially so that the environments may change persistently throughout the training procedure. Can we develop predictive learning algorithms that can deal with more realistic, non-stationary physical environments? In this paper, we study a new continual learning problem in the context of video prediction, and observe that most existing methods suffer from severe catastrophic forgetting in this setup. To tackle this problem, we propose the continual predictive learning (CPL) approach, which learns a mixture world model via predictive experience replay and performs test-time adaptation with non-parametric task inference. We construct two new benchmarks based on RoboNet and KTH, in which different tasks correspond to different physical robotic environments or human actions. Our approach is shown to effectively mitigate forgetting and remarkably outperform the na\"ive combinations of previous art in video prediction and continual learning.


title: Limit theorems and localization of three state quantum walks on a line defined by generalized Grover coins

abstract: In this article, we undertake a detailed study of the limiting behavior of a three-state discrete-time quantum walk on one dimensional lattice with generalized Grover coins. Two limit theorems are proved and consequently we show that the quantum walk exhibits localization at its initial position, for a wide range of coin parameters. Finally, we discuss the effect of the coin parameters on the peak velocities of probability distributions of the underlying quantum walks.


title: X-DETR: A Versatile Architecture for Instance-wise Vision-Language Tasks

abstract: In this paper, we study the challenging instance-wise vision-language tasks, where the free-form language is required to align with the objects instead of the whole image. To address these tasks, we propose X-DETR, whose architecture has three major components: an object detector, a language encoder, and vision-language alignment. The vision and language streams are independent until the end and they are aligned using an efficient dot-product operation. The whole network is trained end-to-end, such that the detector is optimized for the vision-language tasks instead of an off-the-shelf component. To overcome the limited size of paired object-language annotations, we leverage other weak types of supervision to expand the knowledge coverage. This simple yet effective architecture of X-DETR shows good accuracy and fast speeds for multiple instance-wise vision-language tasks, e.g., 16.4 AP on LVIS detection of 1.2K categories at ~20 frames per second without using any LVIS annotation during training.


title: Proximal Policy Optimization Learning based Control of Congested Freeway Traffic

abstract: This study proposes a delay-compensated feedback controller based on proximal policy optimization (PPO) reinforcement learning to stabilize traffic flow in the congested regime by manipulating the time-gap of adaptive cruise control-equipped (ACC-equipped) vehicles.The traffic dynamics on a freeway segment are governed by an Aw-Rascle-Zhang (ARZ) model, consisting of $2\times 2$ nonlinear first-order partial differential equations (PDEs).Inspired by the backstepping delay compensator [18] but different from whose complex segmented control scheme, the PPO control is composed of three feedbacks, namely the current traffic flow velocity, the current traffic flow density and previous one step control input. The control gains for the three feedbacks are learned from the interaction between the PPO and the numerical simulator of the traffic system without knowing the system dynamics. Numerical simulation experiments are designed to compare the Lyapunov control, the backstepping control and the PPO control. The results show that for a delay-free system, the PPO control has faster convergence rate and less control effort than the Lyapunov control. For a traffic system with input delay, the performance of the PPO controller is comparable to that of the Backstepping controller, even for the situation that the delay value does not match. However, the PPO is robust to parameter perturbations, while the Backstepping controller cannot stabilize a system where one of the parameters is disturbed by Gaussian noise.


title: Linearly ordered colourings of hypergraphs

abstract: A linearly ordered (LO) $k$-colouring of an $r$-uniform hypergraph assigns an integer from $\{1, \ldots, k \}$ to every vertex so that, in every edge, the (multi)set of colours has a unique maximum. Equivalently, for $r=3$, if two vertices in an edge are assigned the same colour, then the third vertex is assigned a larger colour (as opposed to a different colour, as in classic non-monochromatic colouring). Barto, Battistelli, and Berg [STACS'21] studied LO colourings on $3$-uniform hypergraphs in the context of promise constraint satisfaction problems (PCSPs). We show two results. First, given a 3-uniform hypergraph that admits an LO $2$-colouring, one can find in polynomial time an LO $k$-colouring with $k=O(\sqrt[3]{n \log \log n / \log n})$. Second, given an $r$-uniform hypergraph that admits an LO $2$-colouring, we establish NP-hardness of finding an LO $k$-colouring for every constant uniformity $r\geq k+2$. In fact, we determine relationships between polymorphism minions for all uniformities $r\geq 3$, which reveals a key difference between $r<k+2$ and $r\geq k+2$ and which may be of independent interest. Using the algebraic approach to PCSPs, we actually show a more general result establishing NP-hardness of finding an LO $k$-colouring for LO $\ell$-colourable $r$-uniform hypergraphs for $2 \leq \ell \leq k$ and $r \geq k - \ell + 4$.


title: The topology of independence complexes of square grids

abstract: The independence complex of a graph G is a simplicial complex whose simplices are the independent sets in G. In the last couple of decades, the independence complexes of square grids (with various boundary conditions) have gained much attention because of their connections with the hard square model from statistical physics. In this article, we prove that if G is an $m\times n$ grid with open or cylindrical boundary condition then its independence complex is homotopy equivalent to a wedge of spheres. A part of this result settles a conjecture of Iriye.


title: An intrinsic characterization of moment functionals in the compact case

abstract: We consider the class of all linear functionals $L$ on a unital commutative real algebra $A$ that can be represented as an integral w.r.t. to a Radon measure with compact support in the character space of $A$. Exploiting a recent generalization of the classical Nussbaum theorem, we establish a new characterization of this class of moment functionals solely in terms of a growth condition intrinsic to the given linear functional. To the best of our knowledge, our result is the first to exactly identify the compact support of the representing Radon measure. We also describe the compact support in terms of the largest Archimedean quadratic module on which $L$ is non-negative and in terms of the smallest submultiplicative seminorm w.r.t. which $L$ is continuous. Moreover, we derive a formula for computing the measure of each singleton in the compact support, which in turn gives a necessary and sufficient condition for the support to be a finite set. Finally, some aspects related to our growth condition for topological algebras are also investigated.


title: Multivariable evolution in parton showers with initial state partons

abstract: One can use more than one scale variable to define the family of surfaces in the space of parton splitting parameters that define the evolution of a parton shower. In an earlier paper, we developed this idea for electron-positron annihilation. Here, we use multiple scale variables for a parton shower with initial state partons. Then we need a more sophisticated analysis because the evolution of parton distribution functions must be coordinated with the parton shower evolution. We make the needed connections more precise than in our earlier work, even for the case of just one scale variable. Then we develop an example with three scale variables, which leads to advantages compared to the usual shower formulation with only one scale variable. We provide results for Drell-Yan muon pair production.


title: Malware Analysis with Symbolic Execution and Graph Kernel

abstract: Malware analysis techniques are divided into static and dynamic analysis. Both techniques can be bypassed by circumvention techniques such as obfuscation. In a series of works, the authors have promoted the use of symbolic executions combined with machine learning to avoid such traps. Most of those works rely on natural graph-based representations that can then be plugged into graph-based learning algorithms such as Gspan. There are two main problems with this approach. The first one is in the cost of computing the graph. Indeed, working with graphs requires one to compute and representing the entire state-space of the file under analysis. As such computation is too cumbersome, the techniques often rely on developing strategies to compute a representative subgraph of the behaviors. Unfortunately, efficient graph-building strategies remain weakly explored. The second problem is in the classification itself. Graph-based machine learning algorithms rely on comparing the biggest common structures. This sidelines small but specific parts of the malware signature. In addition, it does not allow us to work with efficient algorithms such as support vector machine. We propose a new efficient open source toolchain for machine learning-based classification. We also explore how graph-kernel techniques can be used in the process. We focus on the 1-dimensional Weisfeiler-Lehman kernel, which can capture local similarities between graphs. Our experimental results show that our approach outperforms existing ones by an impressive factor.


title: Asymptotics for Christoffel functions associated to continuum Schr\"odinger operators

abstract: We prove asymptotics of the Christoffel function, $\lambda_L(\xi)$, of a continuum Schr\"odinger operator for points in the interior of the essential spectrum under some mild conditions on the spectral measure. It is shown that $L\lambda_L(\xi)$ has a limit and that this limit is given by the Radon--Nikodym derivative of the spectral measure with respect to the Martin measure. Combining this with a recently developed local criterion for universality limits at scale $\lambda_L(\xi)$, we compute universality limits for continuum Schr\"odinger operators at scale $L$ and obtain clock spacing of the eigenvalues of the finite range truncations.


title: Idiomify -- Building a Collocation-supplemented Reverse Dictionary of English Idioms with Word2Vec for non-native learners

abstract: The aim of idiomify is to build a collocation-supplemented reverse dictionary of idioms for the non-native learners of English. We aim to do so because the reverse dictionary could help the non-natives explore idioms on demand, and the collocations could also guide them on using idioms more adequately. The cornerstone of the project is a reliable way of mining idioms from corpora, which is however a challenge because idioms extensively vary in forms. We tackle this by automatically deriving matching rules from their base forms. We use Point-wise Mutual Inclusion (PMI), Term Frequency - Inverse Document Frequency (TF-IDF) to model collocations, since both of them are popular metric for pairwise significance. We also try Term Frequency (TF) as the baseline model. As for implementing the reverse-dictionary, three approaches could be taken: inverted index, graphs and distributional semantics. We choose to take the last approach and implement the reverse dictionary with Word2Vec, because it is the most flexible approach of all and Word2Vec is a simple yet strong baseline. Evaluating the methods has revealed rooms for improvement. We learn that we can better identify idioms with the help of slop, wildcard and reordering techniques. We also learn that we can get the best of both PMI and TF-IDF if we use machine learning to find the sweet spot. Lastly, We learn that Idiomify could be further improved with a mixture of inverted index and distributional semantics approach. The limits aside, the proposed methods are feasible, and their benefits to the non-natives are apparent, which therefore can be used to aid the non-natives in acquiring English idioms.


title: Dimerization of dehydrogenated polycyclic aromatic hydrocarbons on graphene

abstract: Dimerization of polycyclic aromatic hydrocarbons (PAHs) is an important, yet poorly understood, step in the on-surface synthesis of graphene (nanoribbon), soot formation, and growth of carbonaceous dust grains in the interstellar medium (ISM). The on-surface synthesis of graphene and the growth of carbonaceous dust grains in the ISM require the chemical dimerization in which chemical bonds are formed between PAH monomers. An accurate and cheap method of exploring structure rearrangements is needed to reveal the mechanism of chemical dimerization on surfaces. This work has investigated the chemical dimerization of two dehydrogenated PAHs (coronene and pentacene) on graphene via an evolutionary algorithm augmented by machine learning surrogate potentials and a set of customized structure operators. Different dimer structures on surfaces have been successfully located by our structure search methods. Their binding energies are within the experimental errors of temperature programmed desorption measurements. The mechanism of coronene dimer formation on graphene is further studied and discussed.


title: Effects of magnetic field orientations in dense cores on gas kinematics in protostellar envelopes

abstract: Theoretically, misalignment between the magnetic field and rotational axis in a dense core is considered to be dynamically important in the star formation process, however, extent of this influence remains observationally unclear. For a sample of 32 Class 0 and I protostars in the Perseus Molecular Cloud, we analyzed gas motions using C$^{18}$O data from the SMA MASSES survey and the magnetic field structures using 850 $\mu$m polarimetric data from the JCMT BISTRO-1 survey and archive. We do not find any significant correlation between the velocity gradients in the C$^{18}$O emission in the protostellar envelopes at a 1,000 au scale and the misalignment between the outflows and magnetic field orientations in the dense cores at a 4,000 au scale, and there is also no correlation between the velocity gradients and the angular dispersions of the magnetic fields. However, a significant dependence on the misalignment angles emerges after we normalize the rotational motion by the infalling motion, where the ratios increase from $\lesssim1$ to $\gtrsim1$ with increasing misalignment angles. This suggests that the misalignment could prompt angular momentum transportation to the envelope scale but is not a dominant factor in determining the envelope rotation, and other parameters, like mass accretion in protostellar sources, also play an important role. These results remain valid after taking into account projection effects. The comparison between our estimated angular momentum in the protostellar envelopes and the sizes of the known protostellar disks suggests that significant angular momentum is likely lost between radii of $\sim$1,000-100 au in protostellar envelopes.


title: Hybrid Quantum-Classical Heuristic for the Bin Packing Problem

abstract: Optimization problems is one of the most challenging applications of quantum computers, as well as one of the most relevants. As a consequence, it has attracted huge efforts to obtain a speedup over classical algorithms using quantum resources. Up to now, many problems of different nature have been addressed through the perspective of this revolutionary computation paradigm, but there are still many open questions. In this work, a hybrid classical-quantum approach is presented for dealing with the one-dimensional Bin Packing Problem (1dBPP). The algorithm comprises two modules, each one designed for being executed in different computational ecosystems. First, a quantum subroutine seeks a set of feasible bin configurations of the problem at hand. Secondly, a classical computation subroutine builds complete solutions to the problem from the subsets given by the quantum subroutine. Being a hybrid solver, we have called our method H-BPP. To test our algorithm, we have built 18 different 1dBPP instances as a benchmarking set, in which we analyse the fitness, the number of solutions and the performance of the QC subroutine. Based on these figures of merit we verify that H-BPP is a valid technique to address the 1dBPP.


title: Graded Prime Ideals Over Graded Near Ring

abstract: In this paper, we consider graded near-rings over a monoid $G$ as a generalizations of graded rings over groups. We introduce certain innovative graded prime ideals and study some of its basic properties over graded near-rings.


title: Neural Network Pruning by Cooperative Coevolution

abstract: Neural network pruning is a popular model compression method which can significantly reduce the computing cost with negligible loss of accuracy. Recently, filters are often pruned directly by designing proper criteria or using auxiliary modules to measure their importance, which, however, requires expertise and trial-and-error. Due to the advantage of automation, pruning by evolutionary algorithms (EAs) has attracted much attention, but the performance is limited for deep neural networks as the search space can be quite large. In this paper, we propose a new filter pruning algorithm CCEP by cooperative coevolution, which prunes the filters in each layer by EAs separately. That is, CCEP reduces the pruning space by a divide-and-conquer strategy. The experiments show that CCEP can achieve a competitive performance with the state-of-the-art pruning methods, e.g., prune ResNet56 for $63.42\%$ FLOPs on CIFAR10 with $-0.24\%$ accuracy drop, and ResNet50 for $44.56\%$ FLOPs on ImageNet with $0.07\%$ accuracy drop.


title: Black holes: on the universality of the Kerr hypothesis

abstract: To what extent are all astrophysical, dark, compact objects both black holes (BHs) and described by the Kerr geometry? We embark on the exercise of defying the universality of this remarkable idea, often called the "Kerr hypothesis". After establishing its rationale and timeliness, we define a minimal set of reasonability criteria for alternative models of dark compact objects. Then, as proof of principle, we discuss concrete, dynamically robust non-Kerr BHs and horizonless imitators, that 1) pass the basic theoretical, and in particular dynamical, tests, 2) match (some of the) state of the art astrophysical observables and 3) only emerge at some (macroscopic) scales. These examples illustrate how the universality (at all macroscopic scales) of the Kerr hypothesis can be challenged.


title: Dynamical hadron formation in long-range interacting quantum spin chains

abstract: The study of confinement in quantum spin chains has seen a large surge of interest in recent years. It is not only important for understanding a range of effective one-dimensional condensed matter realizations, but also shares some of the non-perturbative physics with quantum chromodynamics (QCD) which makes it a prime target for current quantum simulation efforts. In analogy with QCD, the confinement-induced two-particle boundstates that appear in these models are dubbed mesons. Here, we study scattering events due to meson collisions in a quantum spin chain with long-range interactions such that two mesons have an extended interaction. We show how novel hadronic boundstates, e.g. with four constituent particles akin to tetraquarks, may form dynamically in fusion events. In a natural collision their signal is weak as elastic meson scattering dominates. However, we propose two controllable protocols which allow for a clear observation of dynamical hadron formation. We discuss how this physics can be simulated in trapped ion or Rydberg atom set-ups.


title: Single-pass, nonlinear frequency conversion of full Poincar\'e beams

abstract: Full Poincar\'e (FP) beams, a special class of fully correlated beams generated through the coaxial superposition of a Laguerre-Gauss and fundamental Gaussian modes of orthogonal polarizations, contain all possible polarization states on the surface of the Poincar\'e sphere in a single beam. While the presence of all unconventional polarization states makes the FP beams useful for various applications, the dependence of the refractive index on the polarization restricts the efficient generation of FP beams across the electromagnetic spectrum through nonlinear frequency processes. To avoid such difficulty, we use two contiguous BIBO crystals with orthogonal optic axes and generate an ultrafast FP beam at 405 nm with average power as high as 18.3 mW at a single-pass conversion efficiency of 2.19%. Using Stokes parameters and Stokes phases, we observed the doubling of C-points and L-lines singularities and the orbital angular momentum in the SHG process. We have also devised a new technique to estimate the polarization coverage of the pump and SHG FP beams and observed the variation in polarization coverage with the intensity weightage of the constituting beams. Interestingly, the SHG beam has the highest polarization coverage for the FP beam of equal intensity weightage of the superposed beams. We validated our experimental results in close agreement with the theoretical results.


title: Confirming Mathematical Conjectures by Analogy

abstract: Analogy has received attention as a form of inductive reasoning in the empirical sciences. However, its role in pure mathematics has received less consideration. This paper provides an account of how an analogy with a more familiar mathematical domain can contribute to the confirmation of a mathematical conjecture. By reference to case-studies, we propose a distinction between an incremental and a non-incremental form of confirmation by mathematical analogy. We offer an account of the former within the popular framework of Bayesian confirmation theory. As for the non-incremental notion, we defend its role in rationally informing the prior credences of mathematicians in those circumstances in which no new mathematical evidence is introduced. The resulting 'hybrid' framework captures many important aspects of the use of analogical inference in the realm of pure mathematics.


title: Traits for Correct-by-Construction Programming

abstract: We demonstrate that traits are a natural way to support correctness-by-construction (CbC) in an existing programming language in the presence of traditional post-hoc verification (PhV). With Correctness-by-Construction, programs are constructed incrementally along with a specification that is inherently guaranteed to be satisfied. CbC is complex to use without specialized tool support, since it needs a set of refinement rules of fixed granularity which are additional rules on top of the programming language. In this work, we propose TraitCbC, an incremental program construction procedure that implements correctness-by-construction on the basis of PhV by using traits. TraitCbC enables program construction by trait composition instead of refinement rules. It provides a programming guideline, which similar to CbC should lead to well-structured programs, and allows flexible reuse of verified program building blocks. We introduce TraitCbC formally and prove the soundness of our verification strategy. Additionally, we implement TraitCbC as a proof of concept.


title: Open-Loop Polarization Mode Dispersion Mitigation for Fibre-Optic Time and Frequency Transfer

abstract: The non-reciprocal and dynamic nature of polarization mode dispersion (PMD) in optical fibers can be a problem for accurate time and frequency transfer. Here a simple, passive solution is put forward that is based on transmitting optical pulses with alternating orthogonal polarization. The fast and deterministic polarization modulation means that the PMD noise is pushed far away from the frequencies of interest and upon reflection from a Faraday mirror at the receiver, the pulses have a well defined polarization when they return to the transmitter, which facilitates stable optical phase detection and fibre phase compensation. In an open-loop test setup that uses a mode-locked laser and a simple pulse interleaver, the polarization mode dispersion is shown to be reduced by more than two orders of magnitude


title: Inference of hyperedges and overlapping communities in hypergraphs

abstract: Hypergraphs, encoding structured interactions among any number of system units, have recently proven a successful tool to describe many real-world biological and social networks. Here we propose a framework based on statistical inference to characterize the structural organization of hypergraphs. The method allows to infer missing hyperedges of any size in a principled way, and to jointly detect overlapping communities in presence of higher-order interactions. Furthermore, our model has an efficient numerical implementation, and it runs faster than dyadic algorithms on pairwise records projected from higher-order data. We apply our method to a variety of real-world systems, showing strong performance in hyperedge prediction tasks, detecting communities well aligned with the information carried by interactions, and robustness against addition of noisy hyperedges. Our approach illustrates the fundamental advantages of a hypergraph probabilistic model when modeling relational systems with higher-order interactions.

categories: cs.SI physics.data-an physics.soc-ph stat.ML


title: Combinatorial identities and hypergeometric series

abstract: This paper describes a method to find a connection between combinatorial identities and hypergeometric series with a number of examples. Combinatorial identities can often be written as hypergeometric series with unit argument. In a number of cases these hypergeometric series are balanced and can be reduced to a simpler form. In this paper some combinatorial identities are proved using this method assuming that the results in the tables of Prudnikov et al. [12] are proven without using hypergeometric functions.


title: Gravitational Waves and Electromagnetic Transients

abstract: The advanced gravitational wave (GW) detector network has started {routine detection of } signals from merging compact binaries. Data indicate that in a fair fraction of these sources, at least one component was a neutron star, bringing with it the possibility of electromagnetic (EM) radiation. So far, a confirmed link between EM and GW radiation has been established for only one source, GW170817. Joint analysis of broadband multiwavelength data and the GW signal have yielded rich information spanning fields as varied as jet physics, cosmology, and nucleosynthesis. Here, we discuss the importance of such joint observations, as well as current and near-future efforts to discover and study more EM counterparts to GW sources.


title: ADFF: Attention Based Deep Feature Fusion Approach for Music Emotion Recognition

abstract: Music emotion recognition (MER), a sub-task of music information retrieval (MIR), has developed rapidly in recent years. However, the learning of affect-salient features remains a challenge. In this paper, we propose an end-to-end attention-based deep feature fusion (ADFF) approach for MER. Only taking log Mel-spectrogram as input, this method uses adapted VGGNet as spatial feature learning module (SFLM) to obtain spatial features across different levels. Then, these features are fed into squeeze-and-excitation (SE) attention-based temporal feature learning module (TFLM) to get multi-level emotion-related spatial-temporal features (ESTFs), which can discriminate emotions well in the final emotion space. In addition, a novel data processing is devised to cut the single-channel input into multi-channel to improve calculative efficiency while ensuring the quality of MER. Experiments show that our proposed method achieves 10.43% and 4.82% relative improvement of valence and arousal respectively on the R2 score compared to the state-of-the-art model, meanwhile, performs better on datasets with distinct scales and in multi-task learning.


title: On the Potential of Using Sub-THz Frequencies for Beyond 5G

abstract: This paper studies the potential of using above 71GHz frequencies for 5G-Advanced or later in 6G. More specifically, the focus is to analyze what could be needed in terms of waveform and numerologies. The results suggest that higher baseline subcarrier spacings (SCSs) may be needed when moving above 71GHz, to fulfill the need for higher required bandwidths and phase noise robustness. The required SCS depends on carrier frequency and modulation order. It is also illustrated that single-carrier waveforms, especially Known Tail Discrete Fourier Transform Spread Orthogonal Frequency Division Multiplexing (KT-DFT-s-OFDM) waveform is a potential candidate to be used in 5G-Advanced or 6G for sub-THz frequencies due to its robustness to phase noise, lower output power back-off and flexible adaptation of head and tail lengths.


title: Global gyrokinetic simulations of ASDEX Upgrade up to the transport time-scale with GENE-Tango

abstract: An accurate description of turbulence up to the transport time scale is essential for predicting core plasma profiles and enabling reliable calculations for designing advanced scenarios and future devices. Here, we exploit the gap separation between turbulence and transport time scales and couple the global gyrokinetic code GENE to the transport-solver Tango, including kinetic electrons, collisions, realistic geometries, toroidal rotation and electromagnetic effects for the first time. This approach overcomes gyrokinetic codes' limitations and enables high-fidelity profile calculations in experimentally relevant plasma conditions, significantly reducing the computational cost. We present numerical results of GENE-Tango for two ASDEX Upgrade discharges, one of which exhibits a pronounced peaking of the ion temperature profile not reproduced by TGLF-ASTRA. We show that GENE-Tango can correctly capture the ion temperature peaking observed in the experiment. By retaining different physical effects in the GENE simulations, e.g., collisions, toroidal rotation and electromagnetic effects, we demonstrate that the ion temperature profile's peaking is due to electromagnetic effects of submarginal MHD instability. Based on these results, the expected GENE-Tango speedup for the ITER standard scenario is larger than two orders of magnitude compared to a single gyrokinetic simulation up to the transport time scale, possibly making first-principles ITER simulations feasible on current computing resources.


title: The electron foreshock at high-Mach-number nonrelativistic oblique shocks

abstract: In the Universe matter outside of stars and compact objects is mostly composed of collisionless plasma. The interaction of a supersonic plasma flow with an obstacle results in collisionless shocks that are often associated with intense nonthermal radiation and the production of cosmic ray particles. Motivated by simulations of non-relativistic high-Mach-number shocks in supernova remnants, we investigate the instabilities excited by relativistic electron beams in the extended foreshock of oblique shocks. The phase-space distributions in the inner and outer foreshock regions are derived with a Particle-in-Cell simulation of the shock and used as initial conditions for simulations with periodic boundary conditions to study their relaxation towards equilibrium. We find that the observed electron-beam instabilities agree very well with the predictions of a linear dispersion analysis: the electrostatic electron-acoustic instability dominates in the outer region of the foreshock, while the denser electron beams in the inner foreshock drive the gyroresonant oblique-whistler instability.


title: Free Monads, Intrinsic Scoping, and Higher-Order Preunification

abstract: Type checking algorithms and theorem provers rely on unification algorithms. In presence of type families or higher-order logic, higher-order (pre)unification (HOU) is required. Many HOU algorithms are expressed in terms of $\lambda$-calculus and require encodings, such as higher-order abstract syntax, which are sometimes not comfortable to work with for language implementors. To facilitate implementations of languages, proof assistants, and theorem provers, we propose a novel approach based on the second-order abstract syntax of Fiore, data types \`a la carte of Swierstra, and intrinsic scoping of Bird and Patterson. With our approach, an object language is generated freely from a given bifunctor. Then, given an evaluation function and making a few reasonable assumptions on it, we derive a higher-order preunification procedure on terms in the object language. More precisely, we apply a variant of $E$-unification for second-order syntax. Finally, we briefly demonstrate an application of this technique to implement type checking (with type inference) for Martin-L\"of Type Theory, a dependent type theory.


title: Impurity scattering in superconductors revisited

abstract: The diagrammatic formalism and transport equation are conventionally considered as separate but complementary techniques to tackle the impurity scattering effect. To compare with the previous studies from the gauge-invariant kinetic equation approach [F. Yang and M. W. Wu, Phys. Rev. B 98, 094507 (2018); 102, 144508 (2020)], we analytically perform a diagrammatic formulation of the impurity scattering in superconductors, with both transport and collective Higgs mode studied, in order to fill the long missing calculation of the Kubo current-current correlation in superconductors with impurity scattering and resolve the controversy (whether the impurity scattering can lead to the damping of Higgs mode) between gauge-invariant kinetic equation and Eilenberger equation. For transport behavior, through a special unitary transformation that is equivalent to the Wilson-line technique for the diamagnetic response, we derive the Meissner-supercurrent vertex. Then, by formulating the supercurrent-supercurrent correlation with Born and vertex corrections from impurity scattering, we recover the previously revealed microscopic momentum-relaxation rate of superfluid by gauge-invariant kinetic equation. This rate is finite only when the superconducting velocity is larger than a threshold, at which the normal fluid emerges and causes the friction with the superfluid current, similar to the Landau's superfluid theory of liquid helium. This derivation also provides a physical understanding of the relaxation-time approximation in the previous diagrammatic formulation in the literature, which leads to the friction resistance of the Meissner supercurrent. For the collective Higgs mode, we calculate the amplitude-amplitude correlation with Born and vertex corrections from impurity scattering. The vertex correction, which only emerges at nonequilibrium case, leads to a Higgs-mode damping, ......


title: Creativity in translation: machine translation as a constraint for literary texts

abstract: This article presents the results of a study involving the translation of a short story by Kurt Vonnegut from English to Catalan and Dutch using three modalities: machine-translation (MT), post-editing (PE) and translation without aid (HT). Our aim is to explore creativity, understood to involve novelty and acceptability, from a quantitative perspective. The results show that HT has the highest creativity score, followed by PE, and lastly, MT, and this is unanimous from all reviewers. A neural MT system trained on literary data does not currently have the necessary capabilities for a creative translation; it renders literal solutions to translation problems. More importantly, using MT to post-edit raw output constrains the creativity of translators, resulting in a poorer translation often not fit for publication, according to experts.


title: Interface collisions with diffusive mass transport

abstract: We report on a linear Langevin model that describes the evolution of the roughness of two interfaces that move towards each other and are coupled by a diffusion field. This model aims at describing the closing of the gap between two two-dimensional material domains during growth, and the subsequent formation of a rough grain boundary. We assume that deposition occurs in the gap between the two domains and that the growth units diffuse and may attach to the edges of the domains. These units can also detach from edges, diffuse, and re-attach elsewhere. For slow growth, the edge roughness increases monotonously and then saturates at some equilibrium value. For fast growth, the roughness exhibits a maximum just before the collision between the two interfaces, which is followed by a minimum. The peak of the roughness can be dominated by statistical fluctuations or by edge instabilities. A phase diagram with three regimes is obtained: slow growth without peak, peak dominated by statistical fluctuations, and peak dominated by instabilities. These results reproduce the main features observed in Kinetic Monte Carlo simulations.


title: Emergent parallel transport and curvature in Hermitian and non-Hermitian quantum mechanics

abstract: Studies have shown that the Hilbert spaces of non-Hermitian systems require nontrivial metrics. Here, we demonstrate how evolution dimensions, in addition to time, can emerge naturally from a geometric formalism. Specifically, in this formalism, Hamiltonians can be interpreted as a Christoffel symbol-like operators, and the Schroedinger equation as a parallel transport in this formalism. We then derive the evolution equations for the states and metrics along the emergent dimensions and find that the curvature of the Hilbert space bundle for any given closed system is locally flat. Finally, we show that the fidelity susceptibilities and the Berry curvatures of states are related to these emergent parallel transports.


title: Gradient corrections to the local density approximation in the one-dimensional Bose gas

abstract: The local density approximation (LDA) is the central technical tool in the modeling of quantum gases in trapping potentials. It consists in treating the gas as an assembly of independent mesoscopic fluid cells at equilibrium with a local chemical potential, and it is justified when the correlation length is larger than the size of the cells. The LDA is often regarded as a crude approximation, particularly in the ground state of the one-dimensional (1D) Bose gas, { where the correlation length is "therefore said to be" infinite (in the sense that correlation functions decay as a power law).} Here we take another look at the LDA. The local density $\rho(x)$ is viewed as a functional of the trapping potential $V(x)$, to which one applies a gradient expansion. The zeroth order in that expansion is the LDA. The first-order correction in the gradient expansion vanishes due to reflection symmetry. At second order, there are two corrections proportional to $d^2V/dx^2$ and $(dV/dx)^2$, and we propose a method to determine the corresponding coefficients by a perturbative calculation in the Lieb-Liniger model. This leads to an expression for the coefficients in terms of matrix elements of the density operator, which can in principle be evaluated numerically for an arbitrary coupling constant; here we show how to efficiently evaluate the coefficient associated to the curvature of the potential $d^2V/dx^2$, which dominates the deviation to LDA near local minima or maxima of the trapping potential. Both coefficients are evaluated analytically in the limits of infinite repulsion (hard-core bosons) and small repulsion (quasi-condensate).} The corrected LDA density profiles are compared to DMRG calculations, with significant improvement compared to zeroth-order LDA.


title: Hybrid Simulation-based Resource Planning and Constructability Analysis of RCC Pavement Projects

abstract: One of the critical challenges in infrastructural constructions is designing and planning operations and their related resources. The complex interlinked composition of different factors and variables affecting resource productivity has made simulation a powerful approach for operational planning. The construction sector has recently seen a notable surge in applying various simulation tools to enhance further the quality of projects planning, particularly in large-scale infrastructure developments (e.g., highway construction). Due to possible cost overruns in improper resource allocation, optimizing the design and construction planning stages of megaprojects such as massive pavement projects is essential. Recent studies aimed to build a simulation-based strategy in construction designing and planning by combining various simulation approaches (e.g., discrete-event simulation, system dynamics, agent-based simulation, and hybrid simulation) to enhance the planning phase. This paper introduces an evolving real-time hybrid simulation technique regarding the projects intrinsic time-varying inputs and factors to optimize the planning of Roller Compacted Concrete (RCC) pavement projects. Several scenarios are investigated using various resource combinations to achieve the best execution method for delivering concrete to the project. An actual highway project case study validates the proposed model and its application for future projects. This studys findings exhibit the proficiencies of the simulation-based approach in resource planning of RCC pavement projects within the time and cost constraints and their related regulations.


title: NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks

abstract: Given the ubiquitous nature of numbers in text, reasoning with numbers to perform simple calculations is an important skill of AI systems. While many datasets and models have been developed to this end, state-of-the-art AI systems are brittle; failing to perform the underlying mathematical reasoning when they appear in a slightly different scenario. Drawing inspiration from GLUE that was proposed in the context of natural language understanding, we propose NumGLUE, a multi-task benchmark that evaluates the performance of AI systems on eight different tasks, that at their core require simple arithmetic understanding. We show that this benchmark is far from being solved with neural models including state-of-the-art large-scale language models performing significantly worse than humans (lower by 46.4%). Further, NumGLUE promotes sharing knowledge across tasks, especially those with limited training data as evidenced by the superior performance (average gain of 3.4% on each task) when a model is jointly trained on all the tasks as opposed to task-specific modeling. Finally, we hope that NumGLUE will encourage systems that perform robust and general arithmetic reasoning within language, a first step towards being able to perform more complex mathematical reasoning.


title: Coverings and liftings of generalized crossed modules

abstract: In the theory of crossed modules, considering arbitrary self-actions instead of conjugation allows for the extension of the concept of crossed modules and thus the notion of generalized crossed module emerges. In this paper we give a precise definition for generalized cat$^1$-groups and obtain a functor from the category of generalized cat$^1$-groups to generalized crossed modules. Further, we introduce the notions of coverings and liftings for generalized crossed modules and investigate properties of these structures. Main objective of this study is to obtain an equivalence between the category of coverings and the category of liftings of a given generalized crossed module $(A,B,\alpha)$.


title: Plane-Wave-Based Stochastic-Deterministic Density Functional Theory for Extended Systems

abstract: Traditional finite-temperature Kohn-Sham density functional theory (KSDFT) has an unfavorable scaling with respect to the electron number or at high temperatures. The evaluation of the ground-state density in KSDFT can be replaced by the Chebyshev trace (CT) method. In addition, the use of stochastic orbitals within the CT method leads to the stochastic density functional theory [Phys. Rev. Lett. 111, 106402 (2013)] (SDFT) and its improved theory, mixed stochastic-deterministic density functional theory [Phys. Rev. Lett. 125, 055002 (2020)] (MDFT). We have implemented the above four methods within the first-principles package ABACUS. All of the four methods are based on the plane-wave basis set with the use of norm-conserving pseudopotentials and the periodic boundary conditions with the use of $k$-point sampling in the Brillouin zone. By using the KSDFT calculation results as benchmarks, we systematically evaluate the accuracy and efficiency of the CT, SDFT, and MDFT methods via examining a series of physical properties, which include the electron density, the free energy, the atomic forces, stress, and density of states for a few condensed phase systems. The results suggest that our implementations of CT, SDFT, and MDFT not only reproduce the KSDFT results with a high accuracy, but also exhibit several advantages over the tradition KSDFT method. We expect these methods can be of great help in studying high-temperature and large-size extended systems such as warm dense matter and dense plasma.


title: Robust online joint state/input/parameter estimation of linear systems

abstract: This paper presents a method for jointly estimating the state, input, and parameters of linear systems in an online fashion. The method is specially designed for measurements that are corrupted with non-Gaussian noise or outliers, which are commonly found in engineering applications. In particular, it combines recursive, alternating, and iteratively-reweighted least squares into a single, one-step algorithm, which solves the estimation problem online and benefits from the robustness of least-deviation regression methods. The convergence of the iterative method is formally guaranteed. Numerical experiments show the good performance of the estimation algorithm in presence of outliers and in comparison to state-of-the-art methods.


title: Several Roman domination graph invariants on Kneser graphs

abstract: This paper considers the following three Roman domination graph invariants on Kneser graphs: Roman domination, total Roman domination, and signed Roman domination. For Kneser graph $K_{n,k}$, we present exact values for Roman domination number $\gamma_{R}(K_{n,k})$ and total Roman domination number $\gamma_{tR}(K_{n,k})$ proving that for $n\geqslant k(k+1)$, $\gamma_{R}(K_{n,k}) =\gamma_{tR}(K_{n,k}) = 2(k+1)$. For signed Roman domination number $\gamma_{sR}(K_{n,k})$, the new lower and upper bounds for $K_{n,2}$ are provided: we prove that for $n\geqslant 12$, the lower bound is equal to 2, while the upper bound depends on the parity of $n$ and is equal to 3 if $n$ is odd, and equal to $5$ if $n$ is even. For graphs of smaller dimensions, exact values are found by applying exact methods from literature.


title: How to Register a Live onto a Liver ? Partial Matching in the Space of Varifolds

abstract: Partial shapes correspondences is a problem that often occurs in computer vision (occlusion, evolution in time...). In medical imaging, data may come from different modalities and be acquired under different conditions which leads to variations in shapes and topologies. In this paper we use an asymmetric data dissimilarity term applicable to various geometric shapes like sets of curves or surfaces, assessing the embedding of a shape into another one without relying on correspondences. It is designed as a data attachment for the Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, allowing to compute a meaningful deformation of one shape onto a subset of the other. We refine it in order to control the resulting non-rigid deformations and provide consistent deformations of the shapes along with their ambient space. We show that partial matching can be used for robust multi-modal liver registration between a Computed Tomography (CT) volume and a Cone Beam Computed Tomography (CBCT) volume. The 3D imaging of the patient CBCT at point of care that we call live is truncated while the CT pre-intervention provides a full visualization of the liver. The proposed method allows the truncated surfaces from CBCT to be aligned non-rigidly, yet realistically, with surfaces from CT with an average distance of 2.6mm(+/- 2.2). The generated deformations extend consistently to the liver volume, and are evaluated on points of interest for the physicians, with an average distance of 5.8mm (+/- 2.7) for vessels bifurcations and 5.13mm (+/- 2.5) for tumors landmarks. Such multi-modality volumes registrations would help the physicians in the perspective of navigating their tools in the patient's anatomy to locate structures that are hardly visible in the CBCT used during their procedures. Our code is available at https://github.com/plantonsanti/PartialMatchingVarifolds.


title: Three-Stream Joint Network for Zero-Shot Sketch-Based Image Retrieval

abstract: The Zero-Shot Sketch-based Image Retrieval (ZS-SBIR) is a challenging task because of the large domain gap between sketches and natural images as well as the semantic inconsistency between seen and unseen categories. Previous literature bridges seen and unseen categories by semantic embedding, which requires prior knowledge of the exact class names and additional extraction efforts. And most works reduce domain gap by mapping sketches and natural images into a common high-level space using constructed sketch-image pairs, which ignore the unpaired information between images and sketches. To address these issues, in this paper, we propose a novel Three-Stream Joint Training Network (3JOIN) for the ZS-SBIR task. To narrow the domain differences between sketches and images, we extract edge maps for natural images and treat them as a bridge between images and sketches, which have similar content to images and similar style to sketches. For exploiting a sufficient combination of sketches, natural images, and edge maps, a novel three-stream joint training network is proposed. In addition, we use a teacher network to extract the implicit semantics of the samples without the aid of other semantics and transfer the learned knowledge to unseen classes. Extensive experiments conducted on two real-world datasets demonstrate the superiority of our proposed method.


title: Local Random Feature Approximations of the Gaussian Kernel

abstract: A fundamental drawback of kernel-based statistical models is their limited scalability to large data sets, which requires resorting to approximations. In this work, we focus on the popular Gaussian kernel and on techniques to linearize kernel-based models by means of random feature approximations. In particular, we do so by studying a less explored random feature approximation based on Maclaurin expansions and polynomial sketches. We show that such approaches yield poor results when modelling high-frequency data, and we propose a novel localization scheme that improves kernel approximations and downstream performance significantly in this regime. We demonstrate these gains on a number of experiments involving the application of Gaussian process regression to synthetic and real-world data of different data sizes and dimensions.


title: Positive Feature Values Prioritized Hierarchical Redundancy Eliminated Tree Augmented Naive Bayes Classifier for Hierarchical Feature Spaces

abstract: The Hierarchical Redundancy Eliminated Tree Augmented Naive Bayes (HRE-TAN) classifier is a semi-naive Bayesian model that learns a type of hierarchical redundancy-free tree-like feature representation to estimate the data distribution. In this work, we propose two new types of positive feature values prioritized hierarchical redundancy eliminated tree augmented naive Bayes classifiers that focus on features bearing positive instance values. The two newly proposed methods are applied to 28 real-world bioinformatics datasets showing better predictive performance than the conventional HRE-TAN classifier.


title: An Analysis of Discretization Methods for Communication Learning with Multi-Agent Reinforcement Learning

abstract: Communication is crucial in multi-agent reinforcement learning when agents are not able to observe the full state of the environment. The most common approach to allow learned communication between agents is the use of a differentiable communication channel that allows gradients to flow between agents as a form of feedback. However, this is challenging when we want to use discrete messages to reduce the message size since gradients cannot flow through a discrete communication channel. Previous work proposed methods to deal with this problem. However, these methods are tested in different communication learning architectures and environments, making it hard to compare them. In this paper, we compare several state-of-the-art discretization methods as well as two methods that have not been used for communication learning before. We do this comparison in the context of communication learning using gradients from other agents and perform tests on several environments. Our results show that none of the methods is best in all environments. The best choice in discretization method greatly depends on the environment. However, the discretize regularize unit (DRU), straight through DRU and the straight through gumbel softmax show the most consistent results across all the tested environments. Therefore, these methods prove to be the best choice for general use while the straight through estimator and the gumbel softmax may provide better results in specific environments but fail completely in others.


title: Theoretical wind clumping predictions from 2D LDI models of O-star winds at different metallicities

abstract: Hot, massive (OB) stars experience strong line-driven stellar winds and mass loss. As the majority of efficient driving lines are metallic, the amount of wind driving and mass loss is dependent on the stellar metallicity Z. In addition, line-driven winds are intrinsically inhomogeneous and clumpy. However, to date, neither theoretical nor empirical studies of line-driven winds have investigated how such wind clumping may also depend on Z. We theoretically investigated the degree of wind clumping due to the line-deshadowing instability (LDI) as a function of Z. We performed two-dimensional hydrodynamic simulations of the LDI with an assumed one-dimensional radiation line force for a grid of O-star wind models with fixed luminosity, but with different metal contents by varying the accumulative line strength Qbar describing the total ensemble of driving lines. We find that, for this fixed luminosity, the amount of wind clumping decreases with metallicity. The decrease is clearly seen in the statistical properties of our simulations, but is nonetheless rather weak; a simple power-law fit for the dependence of the clumping factor f_cl = <rho^2>/<rho>^2 on metallicity yields f_cl ~ Z^(0.15 +/- 0.01). This implies that empirically derived power-law dependencies of mass-loss rate Mdot on metallicity -- which were previously inferred from spectral diagnostics effectively depending on Mdot*sqrt(f_cl) but without having any constraints on f_cl(Z) -- should be only modestly altered by clumping. We expect that this prediction can be directly tested using new data from the Hubble Space Telescope Ultraviolet Legacy Library of Young Stars as Essential Standards (ULLYSES) project.


title: Simulating dynamical phases of chiral $p+ i p$ superconductors with a trapped ion magnet

abstract: Two-dimensional $p+ i p$ superconductors and superfluids are systems that feature chiral behavior emerging from the Cooper pairing of electrons or neutral fermionic atoms with non-zero angular momentum. Their realization has been a longstanding goal because they offer great potential utility for quantum computation and memory. However, they have so far eluded experimental observation both in solid state systems as well as in ultracold quantum gases. Here, we propose to leverage the tremendous control offered by rotating two-dimensional trapped-ion crystals in a Penning trap to simulate the dynamical phases of two-dimensional $p+ip$ superfluids. This is accomplished by mapping the presence or absence of a Cooper pair into an effective spin-1/2 system encoded in the ions' electronic levels. We show how to infer the topological properties of the dynamical phases, and discuss the role of beyond mean-field corrections. More broadly, our work opens the door to use trapped ion systems to explore exotic models of topological superconductivity and also paves the way to generate and manipulate skyrmionic spin textures in these platforms.

categories: quant-ph cond-mat.quant-gas cond-mat.supr-con physics.atom-ph


title: Cosmological Dynamics of Relativistic MOND

abstract: In this paper, we investigate the recently proposed relativistic theory for MOND using the phase space analysis. Unlike its precedent theory, namely TeVeS, this theory is claimed to agree with the observed Cosmic Microwave Background and matter power spectra. We convert the background cosmological equations of the theory to a set of first-order autonomous equations. Then we explore the corresponding critical points and their physical meaning. This method is powerful in the sense that the cosmological behavior of the model is diagnosed independently of the magnitude of the free parameters of the theory. We show that the theory has a viable sequence of cosmological epochs. Although using specific initial conditions, this theory mimics the standard cosmological model; it provides a richer structure as far as the background cosmology is concerned. This implies that further investigations are required to see if this theory contributes to addressing the current cosmological tensions.


title: What do Toothbrushes do in the Kitchen? How Transformers Think our World is Structured

abstract: Transformer-based models are now predominant in NLP. They outperform approaches based on static models in many respects. This success has in turn prompted research that reveals a number of biases in the language models generated by transformers. In this paper we utilize this research on biases to investigate to what extent transformer-based language models allow for extracting knowledge about object relations (X occurs in Y; X consists of Z; action A involves using X). To this end, we compare contextualized models with their static counterparts. We make this comparison dependent on the application of a number of similarity measures and classifiers. Our results are threefold: Firstly, we show that the models combined with the different similarity measures differ greatly in terms of the amount of knowledge they allow for extracting. Secondly, our results suggest that similarity measures perform much worse than classifier-based approaches. Thirdly, we show that, surprisingly, static models perform almost as well as contextualized models -- in some cases even better.


title: A Generative Approach for Financial Causality Extraction

abstract: Causality represents the foremost relation between events in financial documents such as financial news articles, financial reports. Each financial causality contains a cause span and an effect span. Previous works proposed sequence labeling approaches to solve this task. But sequence labeling models find it difficult to extract multiple causalities and overlapping causalities from the text segments. In this paper, we explore a generative approach for causality extraction using the encoder-decoder framework and pointer networks. We use a causality dataset from the financial domain, \textit{FinCausal}, for our experiments and our proposed framework achieves very competitive performance on this dataset.


title: Highly-transmitting modes of light in dynamic atmospheric turbulence

abstract: We show that instantaneous spatial singular modes of light in a dynamically evolving, turbulent atmosphere offer significantly improved high-fidelity signal transmission as compared to standard encoding bases corrected by adaptive optics. Their enhanced stability in stronger turbulence is associated with a subdiffusive algebraic decay of the transmitted power with evolution time.


title: Nondiffracting Supertoroidal Pulses: Optical "K\'arm\'an vortex streets"

abstract: Recently introduced supertoroidal light pulses [Nat. Commun. 15, 5891 (2021)] are a family of space-time nonseparable freespace electromagnetic excitations with unique topological properties including skyrmionic field configurations, fractal-like patterns of singularities, and extended areas of energy backflow. Here we report nondiffracting supertoroidal pulses (ND-STPs), propagation-robust skyrmionic and vortex-ring field that endure the singular configurations over arbitrary propagation distances. Intriguingly, the field structure in of ND-STPs has a strong similarity with a von K\'arm\'an vortex street, a pattern of swirling vortices observed in fluid and gas dynamics that is responsible for the "singing" of suspended telephone lines in wind. We argue that ND-STPs are of interest as directed energy channels for telecom applications.


title: Computation over Tensor Stiefel Manifold: A Preliminary Study

abstract: Let $*$ denote the t-product between two third-order tensors. The purpose of this work is to study fundamental computation over the set $St(n,p,l):= \{\mathcal Q\in \mathbb R^{n\times p\times l} \mid \mathcal Q^{\top}* \mathcal Q = \mathcal I \}$, where $\mathcal Q$ is a third-order tensor of size $n\times p \times l$ and $\mathcal I$ ($n\geq p$) is the identity tensor. It is first verified that $St(n,p,l)$ endowed with the usual Frobenius norm forms a Riemannian manifold, which is termed as the (third-order) \emph{tensor Stiefel manifold} in this work. We then derive the tangent space, Riemannian gradient, and Riemannian Hessian on $St(n,p,l)$. In addition, formulas of various retractions based on t-QR, t-polar decomposition, Cayley transform, and t-exponential, as well as vector transports, are presented. It is expected that analogous to their matrix counterparts, the formulas derived in this study may serve as building blocks for analyzing optimization problems over the tensor Stiefel manifold and designing Riemannian algorithms for them.


title: First integrals for Finsler metrics with vanishing $\chi$-curvature

abstract: We prove that in a Finsler manifold with vanishing $\chi$-curvature (in particular with constant flag curvature) some non-Riemannian geometric structures are geodesically invariant and hence they induce a set of non-Riemannian first integrals. Two alternative expressions of these first integrals can be obtained either in terms of the mean Berwald curvature, or as functions of the mean Cartan torsion and the mean Landsberg curvature.


title: Classical space-time geometry in the IKKT matrix model

abstract: We discuss the reconstruction of generic 3+1-dimensional space-time geometries from covariant quantum spaces as backgrounds in the IKKT matrix model. An explicit recipe to realize generic classical geometries is provided. Even though this typically entails some higher-spin contributions, these do not significantly modify the physical content of the model in the weak gravity regime. This justifies the framework for emergent gravity given by the semi-classical matrix model, supplemented by an induced Einstein-Hilbert action which arises in the presence of fuzzy extra dimensions.


title: Anytime-valid sequential testing for elicitable functionals via supermartingales

abstract: We design sequential tests for a large class of nonparametric null hypotheses based on elicitable and identifiable functionals. Such functionals are defined in terms of scoring functions and identification functions, which are ideal building blocks for constructing nonnegative supermartingales under the null. This in turn yields sequential tests via Ville's inequality. Using regret bounds from Online Convex Optimization, we obtain rigorous guarantees on the asymptotic power of the tests for a wide range of alternative hypotheses. Our results allow for bounded and unbounded data distributions, assuming that a sub-$\psi$ tail bound is satisfied.


title: Learning Stable Dynamical Systems for Visual Servoing

abstract: This work presents the dual benefit of integrating imitation learning techniques, based on the dynamical systems formalism, with the visual servoing paradigm. On the one hand, dynamical systems allow to program additional skills without explicitly coding them in the visual servoing law, but leveraging few demonstrations of the full desired behavior. On the other, visual servoing allows to consider exteroception into the dynamical system architecture and be able to adapt to unexpected environment changes. The beneficial combination of the two concepts is proven by applying three existing dynamical systems methods to the visual servoing case. Simulations validate and compare the methods; experiments with a robot manipulator show the validity of the approach in a real-world scenario.


title: A Robust Learning Rule for Soft-Bounded Memristive Synapses Competitive with Supervised Learning in Standard Spiking Neural Networks

abstract: Memristive devices are a class of circuit elements that shows great promise as future building block for brain-inspired computing. One influential view in theoretical neuroscience sees the brain as a function-computing device: given input signals, the brain applies a function in order to generate new internal states and motor outputs. Therefore, being able to approximate functions is a fundamental axiom to build upon for future brain research and to derive more efficient computational machines. In this work we apply a novel supervised learning algorithm - based on controlling niobium-doped strontium titanate memristive synapses - to learning non-trivial multidimensional functions. By implementing our method into the spiking neural network simulator Nengo, we show that we are able to at least match the performance obtained when using ideal, linear synapses and - in doing so - that this kind of memristive device can be harnessed as computational substrate to move towards more efficient, brain-inspired computing.


title: Brittle fracture studied by ultra-high speed synchrotron X-ray diffraction imaging

abstract: Ever since the very first human-made knapped tools, the control of fracture propagation in brittle materials has been a vector of technological development. Nowadays, a broad range of applications relies on crack propagation control, from the mitigation of damages, e.g., from impacts in glass screens or windshields, to industrial processes harnessing fracture to achieve clean cuts over large distances. Yet, studying the fracture in real time is a challenging task, since cracks can propagate up to a few km/s in materials that are often opaque. Here, we report on the in situ investigation of cracks propagating at up to 2.5 km/s along a (001) plane of a silicon single crystal, using X-ray diffraction megahertz imaging with intense and time-structured synchrotron radiation. The studied system is based on the Smart Cut process, where a buried layer in a material (typically Si) is weakened by micro-cracks and then used to drive a macroscopic crack (0.1 m) in a plane parallel to the surface with minimal deviation (1 nm). The results we report here provide the first direct confirmation that the shape of the crack front is not affected by the distribution of the micro-cracks, which had been a postulate for previous studies based on post-fracture results. We further measured instantaneous crack velocities over the centimeter-wide field-of-view, which had only been previously inferred from sparse point measurements, and evidence the effect of local heating by the X-ray beam. Finally, we also observed the post-crack movements of the separated wafer parts, which can be explained using pneumatics and elasticity. Thus, this study provides a comprehensive view of controlled fracture propagation in a crystalline material, paving the way for the in situ measurement of ultra-fast strain field propagation.


title: Dark matter in a CP-violating three-Higgs-doublet model with $S_3$ symmetry

abstract: In spite of the success of the Standard Model of Particle Physics, there are some theoretical predictions which are not yet fully established experimentally as well as some experimental observations which cannot be fitted within its theoretical framework, thus requiring physics beyond the Standard Model. One of these is a hypothetical non-luminous form of matter - dark matter. Models with an extended scalar electroweak sector yield plausible dark matter candidates. In this paper we study a specific model, C-III-a, from a family of $S_3$-symmetric three-Higgs-doublet models. The model consists of two active SU(2) doublets and an inert one. The latter is inert due to a $\mathbb{Z}_2$ symmetry that survives the breaking of $S_3$, and would accommodate a dark matter particle. We explore the model numerically, based on theoretical and experimental constraints. After applying a number of successive checks over the parameter space we found a viable dark matter mass region in the range $[6.5;\,44.5]~\text{GeV}$. This region is drastically different from the Higgs-like dark matter states that have been proposed: the well-known Inert Doublet Model and models with three scalar doublets, with one or two inert doublets. Furthermore, the C-III-a model allows for spontaneous CP violation.


title: Paraxial Sharp-Edge Diffraction: A General Computational Approach

abstract: A general reformulation of classical sharp-edge diffraction theory is proposed within paraxial approximation. The, not so much known, Poincar\'e vector potential construction is employed directly inside Fresnel's 2D integral in order for it to be converted into a single 1D contour integral over the aperture boundary. Differently from the recently developed paraxial revisitation of BDW's theory, such approach can be applied to arbitrary wavefield distributions impinging onto arbitrarily shaped sharp-edge planar apertures. A couple of interesting examples of application of the proposed method is presented.


title: Enhanced superconductivity and moderate spin fluctuations suppressed at low energies in heavily electron-doped La1111-based superconductor

abstract: To elucidate the origin of re-enhanced high-$T_c$ phase in the heavily electron-doped Fe-pnictides, systematic $^{75}$As NMR studies are performed on heavily electron-doped LaFe$Pn$O$_{0.75}$H$_{0.25}$ by controlling the pnictogen height ($h_{Pn}$) from the Fe plane through the substitution at $Pn$(=As) site with Sb or P. The measurements of nuclear spin relaxation rate (1/$T_1$) and Knight shift ($K$) reveal that the moderate spin fluctuations at high temperatures are suppressed toward low temperatures. Such characteristic spin fluctuations with gap like feature at low energies are more enlarged in higher $T_c$ compounds with higher $h_{Pn}$, while those are totally suppressed in non-superconducting compounds with lower $h_{Pn}$. This implies that the contribution of the finite energy part in the spin fluctuation spectrum is crucial for enhancing $T_c$ in the heavily electron-doped regime. This is in contrast to many cases of typical Fe-based compounds with hole and electron Fermi surfaces of similar sizes, where the spin fluctuations at low energies develop significantly at low temperatures. The features in the heavily electron-doped states are discussed in relation with the characteristics of the faint hole Fermi surface derived from $d_{xy}$ orbital that rises when $h_{Pn}$ is high, together with the enhanced electron correlation effects.