title: Dark matter stability at fixed points in a modular $A_4$ symmetry

abstract: We propose a new mechanism of stabilization for dark matter under fixed points of modular $A_4$ symmetry, thanks to recovering a residual symmetry for each of fixed points at $\tau=\omega,\ i, i\times\infty$. We find that a model at $\tau =i$ successfully reproduces the neutrino oscillation data without conflict of the DM stability.


title: Torsion in string-inspired cosmologies and the universe dark sector

abstract: I review several aspects of torsion in string-inspired cosmologies. In particular, I discuss its connection with fundamental, string-model independent, axion fields associated with the massless gravitational multiplet of the string. I argue in favour of the role of primordial gravitational anomalies coupled to such axions in inducing inflation of a type encountered in the "running-vacuum-model (RVM)" cosmological framework, without fundamental inflaton fields. The gravitational-anomaly terms owe their existence to the Green-Schwarz mechanism for the (extra-dimensional) anomaly cancellation, and may be non-trivial in such theories in the presence of (primordial) gravitational waves at early stages of the four-dimensional string Universe (after compactification). I also discuss how the torsion-induced stringy axions can acquire a mass in the post inflationary era, due to non perturbative effects, thus having the potential to play the r\^ole of (a component of) dark matter in such models. Finally, I describe briefly the current-era phenomenology of this model, with the emphasis placed on the possibility of alleviating tensions observed in the current-era cosmological data. A brief phenomenological comparison with other cosmological models in contorted geometries is also made.


title: On algebraic and topological semantics of the modal logic of common knowledge S4CI

abstract: We investigate algebraic and topological semantics of the modal logic S4CI and obtain strong completeness of the given system in the case of local semantic consequence relations. In addition, we consider an extension of the logic S4CI with certain infinitary derivations and establish strong completeness results for the obtained system in the case of global semantic consequence relations. Furthermore, we identify the class of completable S4CI-algebras and obtain for them a Stone-type representation theorem.


title: Optimal bounds on the speed of subspace evolution

abstract: By a quantum speed limit one usually understands an estimate on how fast a quantum system can evolve between two distinguishable states. The most known quantum speed limit is given in the form of the celebrated Mandelstam-Tamm inequality that bounds the speed of the evolution of a state in terms of its energy dispersion. In contrast to the basic Mandelstam-Tamm inequality, we are concerned not with a single state but with a (possibly infinite-dimensional) subspace which is subject to the Schroedinger evolution. By using the concept of maximal angle between subspaces we derive optimal bounds on the speed of such a subspace evolution. These bounds may be viewed as further generalizations of the Mandelstam-Tamm inequality. Our study includes the case of unbounded Hamiltonians.


title: T-carbon: experiments, properties, derivatives and potential applications

abstract: Carbon is an extremely versatile element and carbon allotropes are very useful in all aspects of life and scientific research. T-carbon is a novel carbon allotrope with many appealing properties. Since the proposal of T-carbon, there has been a lot of intensive studies devoted to its physical, chemical, optical, magnetic, thermoelectrical and topological properties and possible applications in diverse areas in recent years. In this review, we provide a comprehensive review on the advances of the experiments, intriguing properties and various potential applications of T-carbon in energy storage, optoelectronics, thermoelectrics, topological states, etc. As intercalation and doping are effective methods to modify the electronic structure of materials or even to convert into sparkly different new structures or phases, we also discuss different atom doped T-carbon, which exhibit more intriguing properties and lead to promising potential applications in solar cells, photocatalysis, magnetism, superconductivity and so on. In addition, it is interesting to mention that the hydrogenated T-carbon molecules werefound to be possibly related to the physical origin of the UV extinction feature in interstellar medium that has been the half-century long unsolved puzzle. Many novel derivative structures either derived or inspired from T-carbon are included as well. Finally, we give prospects and outlook for future directions of study on T-carbon and related structures.


title: Explanatory Analysis and Rectification of the Pitfalls in COVID-19 Datasets

abstract: Since the onset of the COVID-19 pandemic in 2020, millions of people have succumbed to this deadly virus. Many attempts have been made to devise an automated method of testing that could detect the virus. Various researchers around the globe have proposed deep learning based methodologies to detect the COVID-19 using Chest X-Rays. However, questions have been raised on the presence of bias in the publicly available Chest X-Ray datasets which have been used by the majority of the researchers. In this paper, we propose a 2 staged methodology to address this topical issue. Two experiments have been conducted as a part of stage 1 of the methodology to exhibit the presence of bias in the datasets. Subsequently, an image segmentation, super-resolution and CNN based pipeline along with different image augmentation techniques have been proposed in stage 2 of the methodology to reduce the effect of bias. InceptionResNetV2 trained on Chest X-Ray images that were augmented with Histogram Equalization followed by Gamma Correction when passed through the pipeline proposed in stage 2, yielded a top accuracy of 90.47% for 3-class (Normal, Pneumonia, and COVID-19) classification task.


title: Stability for Constrained Minimax Optimization

abstract: Minimax optimization problems are an important class of optimization problems arising from both modern machine learning and from traditional research areas. We focus on the stability of constrained minimax optimization problems based on the notion of local minimax point by Dai and Zhang (2020). Firstly, we extend the classical Jacobian uniqueness conditions of nonlinear programming to the constrained minimax problem and prove that this set of properties is stable with respect to small $C^2$ perturbation. Secondly, we provide a set of conditions, called Property A, which does not require the strict complementarity condition for the upper level constraints. Finally, we prove that Property A is a sufficient condition for the strong regularity of the Kurash-Kuhn-Tucker (KKT) system at the KKT point, and it is also a sufficient condition for the local Lipschitzian homeomorphism of the Kojima mapping near the KKT point.


title: Robust channel-wise illumination estimation

abstract: Recently, Convolutional Neural Networks (CNNs) have been widely used to solve the illuminant estimation problem and have often led to state-of-the-art results. Standard approaches operate directly on the input image. In this paper, we argue that this problem can be decomposed into three channel-wise independent and symmetric sub-problems and propose a novel CNN-based illumination estimation approach based on this decomposition. The proposed method substantially reduces the number of parameters needed to solve the task while achieving competitive experimental results compared to state-of-the-art methods. Furthermore, the practical application of illumination estimation techniques typically requires identifying the extreme error cases. This can be achieved using an uncertainty estimation technique. In this work, we propose a novel color constancy uncertainty estimation approach that augments the trained model with an auxiliary branch which learns to predict the error based on the feature representation. Intuitively, the model learns which feature combinations are robust and are thus likely to yield low errors and which combinations result in erroneous estimates. We test this approach on the proposed method and show that it can indeed be used to avoid several extreme error cases and, thus, improves the practicality of the proposed technique.


title: Effects of Design and Hydrodynamic Parameters on Optimized Swimming for Simulated, Fish-inspired Robots

abstract: In this work we developed a mathematical model and a simulation platform for a fish-inspired robotic template, namely Magnetic, Modular, Undulatory Robotics ($\mu$Bots). Through this platform, we systematically explored the effects of design and fluid parameters on the swimming performance via reinforcement learning. The mathematical model was composed of two interacting subsystems, the robot dynamics and the hydrodynamics, and the hydrodynamic model consisted of reactive components (added-mass and pressure forces) and resistive components (drag and friction forces), which were then nondimensionalized for deriving key "control parameters" of robot-fluid interaction. The $\mu$Bot was actuated via magnetic actuators controlled with harmonic voltage signals, which were optimized via EM-based Policy Hyper Parameter Exploration (EPHE) to maximize swimming speed. By varying the control parameters, total 36 cases with different robot template variations (Number of Actuation (NoA) and stiffness) and hydrodynamic parameters were simulated and optimized via EPHE. Results showed that wavelength of optimized gaits (i.e., traveling wave along body) was independent of template variations and hydrodynamic parameters. Higher NoA yielded higher speed but lower speed per body length however with diminishing gain and lower speed per body length. Body and caudal-fin gait dynamics were dominated by the interaction among fluid added-mass, spring, and actuation torque, with negligible contribution from fluid resistive drag. In contrast, thrust generation was dominated by pressure force acting on caudal fin, as steady swimming resulted from a balance between resistive force and pressure force, with minor contributions from added-mass and body drag forces. Therefore, added-mass force only indirectly affected the thrust generation and swimming speed via the caudal fin dynamics.


title: A coupling strategy for a 3D-1D model of the cardiovascular system to study the effects of pulse wave propagation on cardiac function

abstract: The impact of increased stiffness and pulsatile load on the circulation and their influence on heart performance have been documented not only for cardiovascular events but also for ventricular dysfunctions. For this reason, computer models of cardiac electromechanics (EM) have to integrate effects of the circulatory system on heart function to be relevant for clinical applications. Currently it is not feasible to consider three-dimensional (3D) models of the entire circulation. Instead, simplified representations of the circulation are used, ensuring a satisfactory trade-off between accuracy and computational cost. In this work, we propose a novel and stable strategy to couple a 3D EM model of the heart to a one-dimensional (1D) model of blood flow in the arterial system. A personalised coupled 3D-1D model of LV and arterial system is built and used in a numerical benchmark to demonstrate robustness and accuracy of our scheme over a range of time steps. Validation of the coupled model is performed by investigating the coupled system's physiological response to variations in the arterial system affecting pulse wave propagation, comprising aortic stiffening, aortic stenosis or bifurcations causing wave reflections. Our results show that the coupled 3D-1D model is robust, stable and correctly replicates known physiology. In comparison with standard coupled 3D-0D models, additional computational costs are negligible, thus facilitating the use of our coupled 3D-1D model as a key methodology in studies where wave propagation effects are under investigation.


title: Learning to ignore: rethinking attention in CNNs

abstract: Recently, there has been an increasing interest in applying attention mechanisms in Convolutional Neural Networks (CNNs) to solve computer vision tasks. Most of these methods learn to explicitly identify and highlight relevant parts of the scene and pass the attended image to further layers of the network. In this paper, we argue that such an approach might not be optimal. Arguably, explicitly learning which parts of the image are relevant is typically harder than learning which parts of the image are less relevant and, thus, should be ignored. In fact, in vision domain, there are many easy-to-identify patterns of irrelevant features. For example, image regions close to the borders are less likely to contain useful information for a classification task. Based on this idea, we propose to reformulate the attention mechanism in CNNs to learn to ignore instead of learning to attend. Specifically, we propose to explicitly learn irrelevant information in the scene and suppress it in the produced representation, keeping only important attributes. This implicit attention scheme can be incorporated into any existing attention mechanism. In this work, we validate this idea using two recent attention methods Squeeze and Excitation (SE) block and Convolutional Block Attention Module (CBAM). Experimental results on different datasets and model architectures show that learning to ignore, i.e., implicit attention, yields superior performance compared to the standard approaches.


title: Efficient Neural Network Training via Forward and Backward Propagation Sparsification

abstract: Sparse training is a natural idea to accelerate the training speed of deep neural networks and save the memory usage, especially since large modern neural networks are significantly over-parameterized. However, most of the existing methods cannot achieve this goal in practice because the chain rule based gradient (w.r.t. structure parameters) estimators adopted by previous methods require dense computation at least in the backward propagation step. This paper solves this problem by proposing an efficient sparse training method with completely sparse forward and backward passes. We first formulate the training process as a continuous minimization problem under global sparsity constraint. We then separate the optimization process into two steps, corresponding to weight update and structure parameter update. For the former step, we use the conventional chain rule, which can be sparse via exploiting the sparse structure. For the latter step, instead of using the chain rule based gradient estimators as in existing methods, we propose a variance reduced policy gradient estimator, which only requires two forward passes without backward propagation, thus achieving completely sparse training. We prove that the variance of our gradient estimator is bounded. Extensive experimental results on real-world datasets demonstrate that compared to previous methods, our algorithm is much more effective in accelerating the training process, up to an order of magnitude faster.


title: Going... going... wrong: a test of the level-k (and cognitive hierarchy) models of bidding behaviour

abstract: In this paper, we design and implement an experiment aimed at testing the level-k model of auctions. We begin by asking which (simple) environments can best disentangle the level-k model from its leading rival, Bayes-Nash equilibrium. We find two environments that are particularly suited to this purpose: an all-pay auction with uniformly distributed values, and a first-price auction with the possibility of cancelled bids. We then implement both of these environments in a virtual laboratory in order to see which theory can best explain observed bidding behaviour. We find that, when plausibly calibrated, the level-k model substantially under-predicts the observed bids and is clearly out-performed by equilibrium. Moreover, attempting to fit the level-k model to the observed data results in implausibly high estimated levels, which in turn bear no relation to the levels inferred from a game known to trigger level-k reasoning. Finally, subjects almost never appeal to iterated reasoning when asked to explain how they bid. Overall, these findings suggest that, despite its notable success in predicting behaviour in other strategic settings, the level-k model (and its close cousin cognitive hierarchy) cannot explain behaviour in auctions.


title: Non-Adaptive Stochastic Score Classification and Explainable Halfspace Evaluation

abstract: Sequential testing problems involve a complex system with several components, each of which is "working" with some independent probability. The outcome of each component can be determined by performing a test, which incurs some cost. The overall system status is given by a function $f$ of the outcomes of its components. The goal is to evaluate this function $f$ by performing tests at the minimum expected cost. While there has been extensive prior work on this topic, provable approximation bounds are mainly limited to simple functions like ``k-out-of-n'' and halfspaces. We consider significantly more general "score classification" functions, and provide the first constant factor approximation algorithm (improving over a previous logarithmic approximation ratio). Moreover, our policy is non adaptive: it just involves performing tests in an a priori fixed order. We also consider the related halfspace evaluation problem, where we want to evaluate some function on $d$ halfspaces (e.g., intersection of halfspaces). We show that our approach provides an $O(d^2\log d)$-approximation algorithm for this problem. Our algorithms also extend to the setting of "batched'' tests, where multiple tests can be performed simultaneously while incurring an extra setup cost. Finally, we perform computational experiments that demonstrate the practical performance of our algorithm for score classification. We observe that, for most instances, the cost of our algorithm is within $50\%$ of an information-theoretic lower bound on the optimal value.


title: Robust reconstructions by multi-scale/irregular tangential covering

abstract: In this paper, we propose an original manner to employ a tangential cover algorithm - minDSS - in order to geometrically reconstruct noisy digital contours. To do so, we exploit the representation of graphical objects by maximal primitives we have introduced in previous works. By calculating multi-scale and irregular isothetic representations of the contour, we obtained 1-D (one-dimensional) intervals, and achieved afterwards a decomposition into maximal line segments or circular arcs. By adapting minDSS to this sparse and irregular data of 1-D intervals supporting the maximal primitives, we are now able to reconstruct the input noisy objects into cyclic contours made of lines or arcs with a minimal number of primitives. In this work, we explain our novel complete pipeline, and present its experimental evaluation by considering both synthetic and real image data. We also show that this is a robust approach, with respect to selected references from state-of-the-art, and by considering a multi-scale noise evaluation process.


title: Exponentially twisted de Rham cohomology and rigid cohomology

abstract: We prove a comparison theorem between exponentially twisted de Rham cohomology and rigid cohomology with coefficients in a Dwork crystal.


title: Golden states in resource theory of superposition

abstract: One central study that constitutes a major branch of quantum resource theory is the hierarchy of states. This provides a broad understanding of resourcefulness in certain tasks in terms of efficiency. Here, we investigate the maximal superposition states, i.e., golden states, of the resource theory of superposition. Golden states in the resource theory of coherence are very well established; however, it is a very challenging task for superposition due to the nonorthogonality of the basis states. We show that there are sets of inner product settings that admit a golden state in high-dimensional systems. We bridge the gap between the resource theory of superposition and coherence in the context of golden states by establishing a continuous relation by means of a Gram matrix. In addition, immediate corollaries of our framework provide a representation of maximal states which reduces to the maximal state of the coherence in the orthonormal limit of pure basis states.


title: HASA-net: A non-intrusive hearing-aid speech assessment network

abstract: Without the need of a clean reference, non-intrusive speech assessment methods have caught great attention for objective evaluations. Recently, deep neural network (DNN) models have been applied to build non-intrusive speech assessment approaches and confirmed to provide promising performance. However, most DNN-based approaches are designed for normal-hearing listeners without considering hearing-loss factors. In this study, we propose a DNN-based hearing aid speech assessment network (HASA-Net), formed by a bidirectional long short-term memory (BLSTM) model, to predict speech quality and intelligibility scores simultaneously according to input speech signals and specified hearing-loss patterns. To the best of our knowledge, HASA-Net is the first work to incorporate quality and intelligibility assessments utilizing a unified DNN-based non-intrusive model for hearing aids. Experimental results show that the predicted speech quality and intelligibility scores of HASA-Net are highly correlated to two well-known intrusive hearing-aid evaluation metrics, hearing aid speech quality index (HASQI) and hearing aid speech perception index (HASPI), respectively.


title: Systematic generation of the cascade of anomalous dynamical first and higher-order modes in Floquet topological insulators

abstract: After extensive investigation on the Floquet second-order topological insulator (FSOTI) in two dimension (2D), here we propose two driving schemes to systematically engineer the hierarchy of Floquet first-order topological insulator, FSOTI, and Floquet third-order topological insulator in three dimension (3D). Our driving protocols allow these Floquet phases to showcase regular $0$, anomalous $\pi$, and hybrid $0$-$\pi$-modes in a unified phase diagram, obtained for both 2D and 3D systems, while staring from the lower order topological or non-topological phases. Both the step drive and the mass kick protocols exhibit the analogous structure of the evolution operator around the high symmetry points. These eventually enable us to understand the Floquet phase diagrams analytically and the Floquet higher order modes numerically based on finite size systems. The number of $0$ and $\pi$-modes can be tuned irrespective of the frequency in the step drive scheme while we observe frequency driven topological phase transitions for the mass kick protocol. We topologically characterize some of these higher order Floquet phases (harboring either $0$ or anomalous $\pi$ mode) by suitable topological invariant in 2D and 3D cases.


title: Some characterizations of slice regular Lipschitz type spaces

abstract: We give some characterizations of Lipschitz type spaces of slice regular functions in the unit ball of the skew field of quaternions with prescribed modulus of continuity.


title: LSP : Acceleration and Regularization of Graph Neural Networks via Locality Sensitive Pruning of Graphs

abstract: Graph Neural Networks (GNNs) have emerged as highly successful tools for graph-related tasks. However, real-world problems involve very large graphs, and the compute resources needed to fit GNNs to those problems grow rapidly. Moreover, the noisy nature and size of real-world graphs cause GNNs to over-fit if not regularized properly. Surprisingly, recent works show that large graphs often involve many redundant components that can be removed without compromising the performance too much. This includes node or edge removals during inference through GNNs layers or as a pre-processing step that sparsifies the input graph. This intriguing phenomenon enables the development of state-of-the-art GNNs that are both efficient and accurate. In this paper, we take a further step towards demystifying this phenomenon and propose a systematic method called Locality-Sensitive Pruning (LSP) for graph pruning based on Locality-Sensitive Hashing. We aim to sparsify a graph so that similar local environments of the original graph result in similar environments in the resulting sparsified graph, which is an essential feature for graph-related tasks. To justify the application of pruning based on local graph properties, we exemplify the advantage of applying pruning based on locality properties over other pruning strategies in various scenarios. Extensive experiments on synthetic and real-world datasets demonstrate the superiority of LSP, which removes a significant amount of edges from large graphs without compromising the performance, accompanied by a considerable acceleration.


title: A constant pressure flowmeter for extreme-high vacuum

abstract: We demonstrate operation of a constant-pressure flowmeter capable of generating and accurately measuring flows as low as $2\times10^{-13}$ mol/s. Generation of such small flows is accomplished by using a small conductance element with $C\approx 50$ nL/s. Accurate measurement then requires both low outgassing materials ($<10^{-15}$ mol/s) and small volume changes ($\approx 70$ $\mu$L). We outline the present flowmeter's construction, detail its operation, and quantify its uncertainty. The type-B uncertainty is $<0.2$ % ($k=1$) over the entire operating range. In particular, we present an analysis of its hydraulic system, and quantify the shift and uncertainty due to the slightly compressible oil. Finally, we compare our flowmeter against a NIST standard flowmeter, and find agreement to within 0.5 % ($k=2$).


title: Microcanonical conditioning of Markov processes on time-additive observables

abstract: The recent study by B. De Bruyne, S. N. Majumdar, H. Orland and G. Schehr [arXiv:2110.07573], concerning the conditioning of the Brownian motion and of random walks on global dynamical constraints over a finite time-window $T$, is reformulated as a general framework for the 'microcanonical conditioning' of Markov processes on time-additive observables. This formalism is applied to various types of Markov processes, namely discrete-time Markov chains, continuous-time Markov jump processes and diffusion processes in arbitrary dimension. In each setting, the time-additive observable is also fully general, i.e. it can involve both the time spent in each configuration and the elementary increments of the Markov process. The various cases are illustrated via simple explicit examples. Finally, we describe the link with the 'canonical conditioning' based on the generating function of the time-additive observable for finite time $T$, while the regime of large time $T$ allows to recover the standard large deviation analysis of time-additive observables via the deformed Markov operator approach.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: On the soluble graph of a finite group

abstract: Let $G$ be a finite insoluble group with soluble radical $R(G)$. In this paper we investigate the soluble graph of $G$, which is a natural generalisation of the widely studied commuting graph. Here the vertices are the elements in $G \setminus R(G)$, with $x$ adjacent to $y$ if they generate a soluble subgroup of $G$. Our main result states that this graph is always connected and its diameter, denoted $\delta_{\mathcal{S}}(G)$, is at most $5$. More precisely, we show that $\delta_{\mathcal{S}}(G) \leqslant 3$ if $G$ is not almost simple and we obtain stronger bounds for various families of almost simple groups. For example, we will show that $\delta_{\mathcal{S}}(S_n) = 3$ for all $n \geqslant 6$. We also establish the existence of simple groups with $\delta_{\mathcal{S}}(G) \geqslant 4$. For instance, we prove that $\delta_{\mathcal{S}}(A_{2p+1}) \geqslant 4$ for every Sophie Germain prime $p \geqslant 5$, which demonstrates that our general upper bound of $5$ is close to best possible. We conclude by briefly discussing some variations of the soluble graph construction and we present several open problems.


title: Mutually unbiased bases: polynomial optimization and symmetry

abstract: A set of $k$ orthonormal bases of $\mathbb C^d$ is called mutually unbiased if $|\langle e,f\rangle |^2 = 1/d$ whenever $e$ and $f$ are basis vectors in distinct bases. A natural question is for which pairs $(d,k)$ there exist~$k$ mutually unbiased bases in dimension $d$. The (well-known) upper bound $k \leq d+1$ is attained when~$d$ is a power of a prime. For all other dimensions it is an open problem whether the bound can be attained. Navascu\'es, Pironio, and Ac\'in showed how to reformulate the existence question in terms of the existence of a certain $C^*$-algebra. This naturally leads to a noncommutative polynomial optimization problem and an associated hierarchy of semidefinite programs. The problem has a symmetry coming from the wreath product of $S_d$ and $S_k$. We exploit this symmetry (analytically) to reduce the size of the semidefinite programs making them (numerically) tractable. A key step is a novel explicit decomposition of the $S_d \wr S_k$-module $\mathbb C^{([d]\times [k])^t}$ into irreducible modules. We present numerical results for small $d,k$ and low levels of the hierarchy. In particular, we obtain sum-of-squares proofs for the (well-known) fact that there do not exist $d+2$ mutually unbiased bases in dimensions~$d=2,3,4,5,6,7,8$. Moreover, our numerical results indicate that a sum-of-squares refutation, in the above-mentioned framework, of the existence of more than $3$ MUBs in dimension $6$ requires polynomials of total degree at least~$12$.


title: On some algorithmic aspects of hypergraphic matroids

abstract: Hypergraphics matroids were studied first by Lorea and later by Frank et al. They can be seen as generalizations of graphic matroids. Here we show that several algorithms developed for the graphic case can be extended to hypergraphic matroids. We treat the following: the separation problem for the associated polytope, testing independence, separation of partition inequalities, computing the rank of a set, computing the strength, computing the arboricity and network reinforcement.


title: Multi-Scale Single Image Dehazing Using Laplacian and Gaussian Pyramids

abstract: Model driven single image dehazing was widely studied on top of different priors due to its extensive applications. Ambiguity between object radiance and haze and noise amplification in sky regions are two inherent problems of model driven single image dehazing. In this paper, a dark direct attenuation prior (DDAP) is proposed to address the former problem. A novel haze line averaging is proposed to reduce the morphological artifacts caused by the DDAP which enables a weighted guided image filter with a smaller radius to further reduce the morphological artifacts while preserve the fine structure in the image. A multi-scale dehazing algorithm is then proposed to address the latter problem by adopting Laplacian and Guassian pyramids to decompose the hazy image into different levels and applying different haze removal and noise reduction approaches to restore the scene radiance at different levels of the pyramid. The resultant pyramid is collapsed to restore a haze-free image. Experiment results demonstrate that the proposed algorithm outperforms state of the art dehazing algorithms and the noise is indeed prevented from being amplified in the sky region.


title: Single image dehazing via combining the prior knowledge and CNNs

abstract: Aiming at the existing single image haze removal algorithms, which are based on prior knowledge and assumptions, subject to many limitations in practical applications, and could suffer from noise and halo amplification. An end-to-end system is proposed in this paper to reduce defects by combining the prior knowledge and deep learning method. The haze image is decomposed into the base layer and detail layers through a weighted guided image filter (WGIF) firstly, and the airlight is estimated from the base layer. Then, the base layer image is passed to the efficient deep convolutional network for estimating the transmission map. To restore object close to the camera completely without amplifying noise in sky or heavily hazy scene, an adaptive strategy is proposed based on the value of the transmission map. If the transmission map of a pixel is small, the base layer of the haze image is used to recover a haze-free image via atmospheric scattering model, finally. Otherwise, the haze image is used. Experiments show that the proposed method achieves superior performance over existing methods.


title: A robust method for quantification of surface elasticity in soft solids

abstract: We propose an approach to measure surface elastic constants of soft solids. Generally, this requires one to probe interfacial mechanics at around the elastocapillary length scale, which is typically microscopic. Deformations of microscopic droplets embedded in soft solids are particularly attractive, because they avoid intrinsic nonlinearities associated with previous experiments such as the equilibrium of contact lines and the relaxation of patterned surfaces. We derive analytical solutions for the shape of droplets under uniaxial deformation and for the radius of droplets upon hydrostatic inflation. We couple mechanical deformations to the dissolution of droplets to assess experimental sensitivities. Combined with experimental data from both modes of deformation, one should be able to reliably extract the complete set of isotropic surface material parameters following a specific minimization procedure.


title: OSSEM: one-shot speaker adaptive speech enhancement using meta learning

abstract: Although deep learning (DL) has achieved notable progress in speech enhancement (SE), further research is still required for a DL-based SE system to adapt effectively and efficiently to particular speakers. In this study, we propose a novel meta-learning-based speaker-adaptive SE approach (called OSSEM) that aims to achieve SE model adaptation in a one-shot manner. OSSEM consists of a modified transformer SE network and a speaker-specific masking (SSM) network. In practice, the SSM network takes an enrolled speaker embedding extracted using ECAPA-TDNN to adjust the input noisy feature through masking. To evaluate OSSEM, we designed a modified Voice Bank-DEMAND dataset, in which one utterance from the testing set was used for model adaptation, and the remaining utterances were used for testing the performance. Moreover, we set restrictions allowing the enhancement process to be conducted in real time, and thus designed OSSEM to be a causal SE system. Experimental results first show that OSSEM can effectively adapt a pretrained SE model to a particular speaker with only one utterance, thus yielding improved SE results. Meanwhile, OSSEM exhibits a competitive performance compared to state-of-the-art causal SE systems.


title: Stacking-Dependent Optical Properties in Bilayer WSe2

abstract: The twist angle between the monolayers in van der Waals heterostructures provides a new degree of freedom in tuning material properties. We compare the optical properties of WSe2 homobilayers with 2H and 3R stacking using photoluminescence, Raman spectroscopy, and reflectance contrast measurements under ambient and cryogenic temperatures. Clear stacking- dependent differences are evident for all temperatures, with both photoluminescence and reflectance contrast spectra exhibiting a blue shift in spectral features in 2H compared to 3R bilayers. Density functional theory (DFT) calculations elucidate the source of the variations and the fundamental differences between 2H and 3R stackings. DFT finds larger energies for both A and B excitonic features in 2H than in 3R, consistent with experimental results. In both stacking geometries, the intensity of the dominant A1g Raman mode exhibits significant changes as a function of laser excitation wavelength. These variations in intensity are intimately linked to the stacking- and temperature-dependent optical absorption through resonant enhancement effects. The strongest enhancement is achieved when the laser excitation coincides with the C excitonic feature, leading to the largest Raman intensity under 514 nm excitation in 2H stacking and at 520 nm in 3R stacked WSe2 bilayers.


title: The computation of the number of unequivalent states of the Rubik's Revenge

abstract: After having translated the problem of solving the Rubik's Revenge in terms of group actions, we use the result of the structure of the legal transformations (Larsen) to count the states of the Rubik's Revenge modulo legal and indistinguishable transformations, in the presence and absence of mechanical constraints. We also find by a new method the computation made by Bonzio, Loi and Peruzzi of the probability of being able to solve the Rubik's Revenge after having assembled it randomly, once again in the presence and absence of mechanical constraints.


title: Enhancement in Breaking of Time-reversal Invariance in the Quantum Kicked Rotor

abstract: We study the breaking of time-reversal invariance (TRI) by the application of a magnetic field in the quantum kicked rotor (QKR), using Izrailev's finite-dimensional model. There is a continuous crossover from TRI to time-reversal non-invariance (TRNI) in the spectral and eigenvector fluctuations of the QKR. We show that the properties of this TRI $\rightarrow$ TRNI transition depend on $\alpha^2/N$, where $\alpha$ is the chaos parameter of the QKR and $N$ is the dimensionality of the evolution operator matrix. For $\alpha^2/N \gtrsim N$, the transition coincides with that in random matrix theory. For $\alpha^2/N < N$, the transition shows a marked deviation from random matrix theory. Further, the speed of this transition as a function of the magnetic field is significantly enhanced as $\alpha^2/N$ decreases.


title: Directly probing the chirality of Majorana edge states

abstract: We propose to directly probe the chirality of Majorana edge states in 2D topological superconductors using polarization selective photon absorption. When shining circularly polarized light on a 2D topological superconductor in disk geometry, the photons can excite quasiparticles only when the polarization of the light matches the chirality of the Majorana edge states required by the angular momentum conservation. Hence one can obtain the chirality of the Majorana edge states by measuring the photon absorption rate. We show that the polarization selective photon absorption can also serve as a smoking gun evidence of the chiral Majorana edge mode. Our results pave a new way of detecting, investigating and manipulating the chiral Majorana edge states.


title: STNN-DDI: A Substructure-aware Tensor Neural Network to Predict Drug-Drug Interactions

abstract: Motivation: Computational prediction of multiple-type drug-drug interaction (DDI) helps reduce unexpected side effects in poly-drug treatments. Although existing computational approaches achieve inspiring results, they ignore that the action of a drug is mainly caused by its chemical substructures. In addition, their interpretability is still weak. Results: In this paper, by supposing that the interactions between two given drugs are caused by their local chemical structures (sub-structures) and their DDI types are determined by the linkages between different substructure sets, we design a novel Substructure-ware Tensor Neural Network model for DDI prediction (STNN-DDI). The proposed model learns a 3-D tensor of (substructure, in-teraction type, substructure) triplets, which characterizes a substructure-substructure interaction (SSI) space. According to a list of predefined substructures with specific chemical meanings, the mapping of drugs into this SSI space enables STNN-DDI to perform the multiple-type DDI prediction in both transductive and inductive scenarios in a unified form with an explicable manner. The compar-ison with deep learning-based state-of-the-art baselines demonstrates the superiority of STNN-DDI with the significant improvement of AUC, AUPR, Accuracy, and Precision. More importantly, case studies illustrate its interpretability by both revealing a crucial sub-structure pair across drugs regarding a DDI type of interest and uncovering interaction type-specific substructure pairs in a given DDI. In summary, STNN-DDI provides an effective approach to predicting DDIs as well as explaining the interaction mechanisms among drugs.


title: Detecting contagious spreading of urban innovations on the global city network

abstract: Only a fast and global transformation towards decarbonization and sustainability can keep the Earth in a civilization-friendly state. As hotspots for (green) innovation and experimentation, cities could play an important role in this transition. They are also known to profit from each other's ideas, with policy and technology innovations spreading to other cities. In this way, cities can be conceptualized as nodes in a globe-spanning learning network. The dynamics of this process are important for society's response to climate change and other challenges, but remain poorly understood on a macroscopic level. In this contribution, we develop an approach to identify whether network-based complex contagion effects are a feature of sustainability policy adoption by cities, based on dose-response contagion and surrogate data models. We apply this methodology to an example data set, comprising empirical data on the spreading of a public transport innovation (Bus Rapid Transit Systems) and a global inter-city connection network based on scheduled flight routes. We find evidence pointing towards a contagious spreading process which cannot be explained by either the network structure or the increase in global adoption rate alone. This suggests that the actions of a city's abstract "global neighborhood" within the network of cities may be an important factor in which policies and innovations are implemented, with potential connections to the emergence of social tipping processes. The methodology is generic, and can be used to compare the predictive power for innovation spreading of different kinds of inter-city network connections, e.g. via transport links, trade, or co-membership in political networks.


title: Object Servoing of Differential-Drive Robots

abstract: Due to possibly changing pose of a movable object and nonholonomic constraint of a differential-drive robot, it is challenging to design an object servoing scheme for the differential-drive robot to asymptotically park at a predefined relative pose to the movable object. In this paper, a novel object servoing scheme is designed for the differential-drive robots. Each on-line relative pose is first estimated by using feature points of the moveable object and it serves as the input of an object servoing friendly parking controller. The linear velocity and angular velocity are then determined by the parking controller. Experimental results validate the performance of the proposed object servoing scheme. Due to its low on-line computational cost, the proposed scheme can be applied for last mile delivery of differential-drive robots to movable objects.


title: Counterfactual Explanations for Models of Code

abstract: Machine learning (ML) models play an increasingly prevalent role in many software engineering tasks. However, because most models are now powered by opaque deep neural networks, it can be difficult for developers to understand why the model came to a certain conclusion and how to act upon the model's prediction. Motivated by this problem, this paper explores counterfactual explanations for models of source code. Such counterfactual explanations constitute minimal changes to the source code under which the model "changes its mind". We integrate counterfactual explanation generation to models of source code in a real-world setting. We describe considerations that impact both the ability to find realistic and plausible counterfactual explanations, as well as the usefulness of such explanation to the user of the model. In a series of experiments we investigate the efficacy of our approach on three different models, each based on a BERT-like architecture operating over source code.


title: Extremal $K_4$-minor-free graphs without short cycles

abstract: We determine the maximum number of edges in a $K_4$-minor-free $n$-vertex graph of girth $g$, when $g = 5$ or $g$ is even. We argue that there are many different $n$-vertex extremal graphs, if $n$ is even and $g$ is odd.


title: Towards More Reliable Automated Program Repair by Integrating Static Analysis Techniques

abstract: A long-standing open challenge for automated program repair is the overfitting problem, which is caused by having insufficient or incomplete specifications to validate whether a generated patch is correct or not. Most available repair systems rely on weak specifications (i.e., specifications that are synthesized from test cases) which limits the quality of generated repairs. To strengthen specifications and improve the quality of repairs, we propose to closer integrate static bug detection techniques with automated program repair. The integration combines automated program repair with static analysis techniques in such a way that bug detection patterns can be synthesized into specifications that the repair system can use. We explore the feasibility of such integration using two types of bugs: arithmetic bugs, such as integer overflow, and logical bugs, such as termination bugs. As part of our analysis, we make several observations that help to improve patch generation for these classes of bugs. Moreover, these observations assist with narrowing down the candidate patch search space, and inferring an effective search order.


title: variable selection and missing data imputation in categorical genomic data analysis by integrated ridge regression and random forest

abstract: Genomic data arising from a genome-wide association study (GWAS) are often not only of large-scale, but also incomplete. A specific form of their incompleteness is missing values with non-ignorable missingness mechanism. The intrinsic complications of genomic data present significant challenges in developing an unbiased and informative procedure of phenotype-genotype association analysis by a statistical variable selection approach. In this paper we develop a coherent procedure of categorical phenotype-genotype association analysis, in the presence of missing values with non-ignorable missingness mechanism in GWAS data, by integrating the state-of-the-art methods of random forest for variable selection, weighted ridge regression with EM algorithm for missing data imputation, and linear statistical hypothesis testing for determining the missingness mechanism. Two simulated GWAS are used to validate the performance of the proposed procedure. The procedure is then applied to analyze a real data set from breast cancer GWAS.


title: A Hierarchy of Network Models Giving Bistability Under Triadic Closure

abstract: Triadic closure describes the tendency for new friendships to form between individuals who already have friends in common. It has been argued heuristically that the triadic closure effect can lead to bistability in the formation of large-scale social interaction networks. Here, depending on the initial state and the transient dynamics, the system may evolve towards either of two long-time states. In this work, we propose and study a hierarchy of network evolution models that incorporate triadic closure, building on the work of Grindrod, Higham, and Parsons [Internet Mathematics, 8, 2012, 402--423]. We use a chemical kinetics framework, paying careful attention to the reaction rate scaling with respect to the system size. In a macroscale regime, we show rigorously that a bimodal steady-state distribution is admitted. This behavior corresponds to the existence of two distinct stable fixed points in a deterministic mean-field ODE. The macroscale model is also seen to capture an apparent metastability property of the microscale system. Computational simulations are used to support the analysis.


title: Probing Kepler's hottest small planets via homogeneous search and analysis of optical secondary eclipses and phase variations

abstract: We perform a homogeneous search for and analysis of optical occultations and phase variations of the most favorable ultra-short-period (USP) ($P<1$~d) sub-Neptunes ($R_{p}<4 R_{\oplus}$) observed by $\textit{Kepler}$ and K2, with the aim of better understanding their nature. We first selected 16 $\textit{Kepler}$ and K2 USP sub-Neptunes, based on the expected occultation signal. We filtered out stellar variability in the $\textit{Kepler}$ light curves, using a sliding linear fitting and, when required, a more sophisticated approach based on Gaussian Process regression. We simultaneously modeled the primary transit, secondary eclipse, and phase variations in a Bayesian framework, by using information from previous studies and knowledge of the Gaia parallaxes. We confirm the optical secondary eclipses for Kepler-10b ($13\sigma$), Kepler-78b ($9.5\sigma$), and K2-141b ($6.9\sigma$), with marginal evidence for K2-312b ($2.2\sigma$). We report new detections for K2-106b ($3.3\sigma$), K2-131b (3.2$\sigma$), Kepler-407b ($3.0\sigma$), and hints for K2-229b (2.5$\sigma$). For all targets with the exception of K2-229b and K2-312b, we also find phase curve variations with a confidence level higher than $2\sigma$. Two USP planets, namely Kepler-10b and Kepler-78b, show non-negligible nightside emission. This questions the scenario of magma-ocean worlds with inefficient heat redistribution to the night-side for both planets. Due to the youth of the Kepler-78 system and the small planetary orbital separation, the planet may still retain a collisional secondary atmosphere capable of conducting heat from the day to the night side. Instead, the presence of an outgassing magma ocean on the dayside and the low high-energy irradiation of the old host star may have enabled Kepler-10b to build up and retain a recently-formed collisional secondary atmosphere.


title: New results on the modification of jet structure in Heavy Ion collisions

abstract: These proceedings report recent studies performed by the ALICE, ATLAS and CMS experiments on jet substructure in pp and Pb+Pb collisions at 5.02 TeV. The dependence of the modification of the jet shape on the dijet transverse moment um asymmetry is presented. Measurements of particles recoiling against the Z boson without being constrained to jet cone delimitations are shown. Fully-corrected measurements of the N-subjettiness within anti-kt R = 0.4 charged-particle jets are also described.


title: General bright and dark soliton solutions to the massive Thirring model via KP hierarchy reductions

abstract: In the present paper, we are concerned with the tau function and its connection with the Kadomtsev-Petviashvili (KP) theory for the massive Thirring (MT) model. First, we bilinearize the massive Thirring model under both the vanishing and nonvanishing boundary conditions. Starting from a set of bilinear equations of two-component KP-Toda hierarchy, we derive the multi-bright solution to the MT model by the KP hierarchy reductions. Then, we show that the discrete KP equation can generate a set of bilinear equations of a deformed KP-Toda hierarchy through Miwa transformation. By imposing constraints on the parameters of the tau function, the general dark soliton solution to the MT model is constructed from the tau function of the discrete KP equation. Finally, the dynamics and properties of one- and two-soliton for both the bright and dark cases are analyzed in details.


title: Transmission Power Control for Over-the-Air Federated Averaging at Network Edge

abstract: Over-the-air computation (AirComp) has emerged as a new analog power-domain non-orthogonal multiple access (NOMA) technique for low-latency model/gradient-updates aggregation in federated edge learning (FEEL). By integrating communication and computation into a joint design, AirComp can significantly enhance the communication efficiency, but at the cost of aggregation errors caused by channel fading and noise. This paper studies a particular type of FEEL with federated averaging (FedAvg) and AirComp-based model-update aggregation, namely over-the-air FedAvg (Air-FedAvg). We investigate the transmission power control to combat against the AirComp aggregation errors for enhancing the training accuracy and accelerating the training speed of Air-FedAvg. Towards this end, we first analyze the convergence behavior (in terms of the optimality gap) of Air-FedAvg with aggregation errors at different outer iterations. Then, to enhance the training accuracy, we minimize the optimality gap by jointly optimizing the transmission power control at edge devices and the denoising factors at edge server, subject to a series of power constraints at individual edge devices. Furthermore, to accelerate the training speed, we also minimize the training latency of Air-FedAvg with a given targeted optimality gap, in which learning hyper-parameters including the numbers of outer iterations and local training epochs are jointly optimized with the power control. Finally, numerical results show that the proposed transmission power control policy achieves significantly faster convergence for Air-FedAvg, as compared with benchmark policies with fixed power transmission or per-iteration mean squared error (MSE) minimization. It is also shown that the Air-FedAvg achieves an order-of-magnitude shorter training latency than the conventional FedAvg with digital orthogonal multiple access (OMA-FedAvg).


title: Permute, Graph, Map, Derange

abstract: We study decomposable combinatorial labeled structures in the exp-log class, specifically, two examples of type a=1 and two examples of type a=1/2. Our approach is to establish how well existing theory matches experimental data. For instance, the median length of the longest cycle in a random n-permutation is (0.6065...)*n, whereas the median length of the largest component in a random n-mapping is (0.7864...)*n. Unsolved problems are highlighted, in the hope that someone else might address these someday.


title: Critical Sentence Identification in Legal Cases Using Multi-Class Classification

abstract: Inherently, the legal domain contains a vast amount of data in text format. Therefore it requires the application of Natural Language Processing (NLP) to cater to the analytically demanding needs of the domain. The advancement of NLP is spreading through various domains, such as the legal domain, in forms of practical applications and academic research. Identifying critical sentences, facts and arguments in a legal case is a tedious task for legal professionals. In this research we explore the usage of sentence embeddings for multi-class classification to identify critical sentences in a legal case, in the perspective of the main parties present in the case. In addition, a task-specific loss function is defined in order to improve the accuracy restricted by the straightforward use of categorical cross entropy loss.


title: Well-defined forward operators in dynamic diffractive tensor tomography using viscosity solutions of transport equations

abstract: We consider a general setting for dynamic tensor field tomography in an inhomogeneous refracting and absorbing medium as inverse source problem for the associated transport equation. Following Fermat's principle the Riemannian metric in the considered domain is generated by the refractive index of the medium. There is wealth of results for the inverse problem of recovering a tensor field from its longitudinal ray transform in a static euclidean setting, whereas there are only few inversion formulas and algorithms existing for general Riemannian metrics and time-dependent tensor fields. It is a well-known fact that tensor field tomography is equivalent to an inverse source problem for a transport equation where the ray transform serves as given boundary data. We prove that this result extends to the dynamic case. Interpreting dynamic tensor tomography as inverse source problem represents a holistic approach in this field. To guarantee that the forward mappings are well-defined, it is necessary to prove existence and uniqueness for the underlying transport equations. Unfortunately, the bilinear forms of the associated weak formulations do not satisfy the coercivity condition. To this end we transfer to viscosity solutions and prove their unique existence in appropriate Sobolev (static case) and Sobolev-Bochner (dynamic case) spaces under a certain assumption that allows only small variations of the refractive index. Numerical evidence is given that the viscosity solution solves the original transport equation if the viscosity term turns to zero.


title: Tight bounds for divisible subdivisions

abstract: Alon and Krivelevich proved that for every $n$-vertex subcubic graph $H$ and every integer $q \ge 2$ there exists a (smallest) integer $f=f(H,q)$ such that every $K_f$-minor contains a subdivision of $H$ in which the length of every subdivision-path is divisible by $q$. Improving their superexponential bound, we show that $f(H,q) \le \frac{21}{2}qn+8n+14q$, which is optimal up to a constant multiplicative factor.


title: Spatial statistics and stochastic partial differential equations: a mechanistic viewpoint

abstract: The Stochastic Partial Differential Equation (SPDE) approach, now commonly used in spatial statistics to construct Gaussian random fields, is revisited from a mechanistic perspective based on the movement of microscopic particles, thereby relating pseudo-differential operators to dispersal kernels. We first establish a connection between L\'evy flights and PDEs involving the Fractional Laplacian (FL) operator. The corresponding Fokker-Planck PDEs will serve as a basis to propose new generalisations by considering a general form of SPDE with terms accounting for dispersal, drift and reaction. We detail the difference between the FL operator (with or without linear reaction term) associated with a fat-tailed dispersal kernel and therefore describing long-distance dependencies, and the damped FL operator associated with a thin-tailed kernel, thus corresponding to short-distance dependencies. Then, SPDE-based random fields with non-stationary external spatially and temporally varying force are illustrated and nonlinear bistable reaction term are introduced. The physical meaning of the latter and possible applications are discussed. Returning to the particulate interpretation of the above-mentioned equations, we describe in a relatively simple case their links with point processes. We unravel the nature of the point processes they generate and show how such mechanistic models, associated to a probabilistic observation model, can be used in a hierarchical setting to estimate the parameters of the particle dynamics.


title: On two graph isomorphism problems

abstract: In 2015, Bogdanowicz gave a necessary and sufficient condition for a 4-regular circulant graph to be isomorphic to the Cartesian product of two cycles. Accordion graphs, denoted by $A[n,k]$, are 4-regular graphs on two parameters $n$ and $k$ which were recently introduced by the authors and studied with regards to Hamiltonicity and matchings. These graphs can be obtained by a slight modification in some of the edges of the Cartesian product of two cycles. Motivated by the work of Bogdanowicz, the authors also determined for which values of $n$ and $k$ the accordion graph $A[n,k]$ is circulant. In this work we investigate what parameters a 4-regular circulant graph must have in order to be isomorphic to an accordion graph, thus providing a complete characterisation similar to that given by Bogdanowicz. We also give a necessary and sufficient condition for two accordion graphs with distinct parameters to be isomorphic.


title: The Cut-and-Play Algorithm: Computing Nash Equilibria via Outer Approximations

abstract: We introduce Cut-and-Play, a practically-efficient algorithm for computing Nash equilibria in simultaneous non-cooperative games where players decide via nonconvex and possibly unbounded optimization problems with separable payoff functions. Our algorithm exploits an intrinsic relationship between the equilibria of the original nonconvex game and the ones of a convexified counterpart. In practice, Cut-and-Play formulates a series of convex approximations of the game and iteratively refines them with cutting planes and branching operations. Our algorithm does not require convexity or continuity of the player's optimization problems and can be integrated with existing optimization software. We test Cut-and-Play on two families of challenging nonconvex games involving discrete decisions and bilevel problems, and we empirically demonstrate that it efficiently computes equilibria while outperforming existing game-specific algorithms.


title: The mathematics of contagious diseases and their limitations in forecasting

abstract: This article explores mathematical models for understanding the evolution of contagious diseases. The most widely known set of models are the compartmental ones, which are based on a set of differential equations. But these are not the only models. This review visits many different families of models. Additionally, we show these families, not as unrelated entities, but following a common thread in which the problems or assumptions of a model are solved or generalized by another model. In this way, we can understand their relationships, assumptions, simplifications, and, ultimately, limitations. Prompted by the current Covid19 pandemic, we have a special focus on spread forecasting. We illustrate the difficulties encountered to do realistic predictions. In general, they are only approximations to a reality whose biological and societal complexity is much larger. Particularly troublesome are the large underlying variability, the problem's time-varying nature, and the difficulty to estimate the required parameters for a faithful model. Additionally, we will also see that these models have a multiplicative nature implying that small errors in the system parameters cause a huge uncertainty in the prediction. Stochastic or agent-based models can overcome some of the modeling problems of systems based on differential or stochastic equations. Their main difficulty is that they are as accurate and realistic as the data available to estimate their detailed parametrization, and very often this detailed data is not at the modeller's disposal. Although the predictive power of mathematical models to forecast the evolution of a contagious disease is very limited, these models are still very useful to plan interventions as they can calculate their impact if all other parameters stay fixed. They are also very useful to understand the properties of disease propagation in complex systems.


title: Diversity of symptom phenotypes in SARS-CoV-2 community infections observed in multiple large datasets

abstract: Through the use of cutting-edge unsupervised classification techniques from statistics and machine learning, we characterise symptom phenotypes among symptomatic SARS-CoV-2 PCR-positive community cases. We first analyse each dataset in isolation and across age bands, before using methods that allow us to compare multiple datasets. While we observe separation due to the total number of symptoms experienced by cases, we also see a separation of symptoms into gastrointestinal, respiratory and other types, and different symptom co-occurrence patterns at the extremes of age. In this way, we are able to demonstrate the deep structure of symptoms of COVID-19 without usual biases due to study design. This is expected to have implications for the identification and management of community SARS-CoV-2 cases and could be further applied to symptom-based management of other diseases and syndromes.


title: Supercurrent Renormalization in $\mathcal{N}=1$ Supersymmetric Yang-Mills Theory

abstract: In this work we study the renormalization of the SUSY Noether current in Supersymmetric $\mathcal{N}$ = 1 Yang-Mills (SYM) theory on the lattice. In particular, we study the mixing of the current with all other compatible operators of dimension 7/2 and 5/2, leading from the lattice-regularized to the $\overline{\rm MS}$-renormalized operator basis. We perform our task in two ways: (a) We compute, in dimensional regularization, the conversion factors relating the $\overline{\rm MS}$ scheme to an intermediate gauge-invariant coordinate-space scheme. In this second scheme, renormalization can be performed via lattice simulations. This could help to investigate the breaking of SUSY on the lattice and strategies towards simulations of supersymmetric QCD. Here we present some preliminary numerical results. (b) We use lattice perturbation theory and compute, to one loop, various two- and three-point functions. We consider mixing with all relevant gauge-noninvariant operators, which contain also ghost fields.


title: Generating a robustly stabilizable class of nonlinear systems for the converse optimality problem

abstract: Converse optimality theory addresses an optimal control problem conversely where the system is unknown and the value function is chosen. Previous work treated this problem both in continuous and discrete time and non-extensively considered disturbances. In this paper, the converse optimality theory is extended to the class of affine systems with disturbances in continuous time while considering norm constraints on both control inputs and disturbances. The admissibility theorem and the design of the internal dynamics model are generalized in this context. A robust stabilizability condition is added for the initial converse optimality probelm using inverse optimality tool: the robust control Lyapunov function. A design for nonlinear class of systems that are both robustly stabilizable and globally asymptotically stable in open loop is obtained. A case study illustrates the presented theory.


title: Cohomology of quasi-abelianized braid groups

abstract: We investigate the rational cohomology of the quotient of (generalized) braid groups by the commutator subgroup of the pure braid groups. We provide a combinatorial description of it using isomorphism classes of certain families of graphs. We establish Poincar\'e dualities for them and prove a stabilization property for the infinite series of reflection groups.


title: Shadow of a charged black hole surrounded by an anisotropic matter field

abstract: A certain type of matter with anisotropic pressures can add to the Reissner-Nordstr\"om metric a term proportional to a power of the radial coordinate. Using the standard method of separating variables for the Hamilton-Jacobi equation, we study the shadow of the corresponding rotating solution, obtained through the Newman-Janis algorithm. We define and calculate three observables in order to characterize the position, size and shape of the shadow.


title: $B_s \to D^{(*)}_s$ form factors from lattice QCD with ${ N_f}=2$ Wilson-clover quarks

abstract: We report on a two-flavour lattice QCD determination of the $B_s\to D_s$ and $B_s\to D_s^*$ transitions, which in the heavy quark limit can be parameterised by the form factors $\mathcal{G}$, and $h_{\text A_1}$, $h_{\text A_2}$ and $h_{\text A_3}$. In the search of New Physics through tests of lepton-flavour universality, $B_s$ decay channels are complementary to $B$ decays and widely studied at $B$ factories and LHCb. The purpose of our study is to explore a suitable method to extract form factors associated with $b\to c$ currents from lattice QCD. In particular, we present numerical results for $\mathcal{G}$ and $h_{\text A_1}$.


title: Li filtrations of SUSY vertex algebras

abstract: Any vertex algebra has a canonical decreasing filtration, called Li filtration, whose associated graded space has a natural structure of a vertex Poisson algebra. In this note, we introduce an analogous filtration for any SUSY vertex algebra, which was introduced by Heluani and Kac as a superfield formalism of a supersymmetric vertex algebra. We prove that the associated graded superspace of our filtration has a structure of SUSY vertex Poisson algebras. We also introduce and discuss related notions, such as Zhu's $C_2$-Poisson superalgebras, associated superschemes and singular supports, for SUSY vertex algebras.


title: A $K$-function for inhomogeneous random measures with geometric features

abstract: This paper introduces a $K$-function for assessing second-order properties of inhomogeneous random measures generated by marked point processes. The marks can be geometric objects like fibers or sets of positive volume, and the presented $K$-function takes into account geometric features of the marks, such as tangent directions of fibers. The $K$-function requires an estimate of the inhomogeneous density function of the random measure. We introduce parametric estimates for the density function based on parametric models that represent large scale features of the inhomogeneous random measure. The proposed methodology is applied to simulated fiber patterns as well as a three-dimensional data set of steel fibers in concrete.


title: Multimodal Approach for Metadata Extraction from German Scientific Publications

abstract: Nowadays, metadata information is often given by the authors themselves upon submission. However, a significant part of already existing research papers have missing or incomplete metadata information. German scientific papers come in a large variety of layouts which makes the extraction of metadata a non-trivial task that requires a precise way to classify the metadata extracted from the documents. In this paper, we propose a multimodal deep learning approach for metadata extraction from scientific papers in the German language. We consider multiple types of input data by combining natural language processing and image vision processing. This model aims to increase the overall accuracy of metadata extraction compared to other state-of-the-art approaches. It enables the utilization of both spatial and contextual features in order to achieve a more reliable extraction. Our model for this approach was trained on a dataset consisting of around 8800 documents and is able to obtain an overall F1-score of 0.923.


title: Stochastic and Quantum Dynamics of Repulsive Particles: from Random Matrix Theory to Trapped Fermions

abstract: This statistical physics thesis focuses on the study of three kinds of systems which display repulsive interactions: eigenvalues of random matrices, non-crossing random walks and trapped fermions. These systems share many links, which can be exhibited not only at the level of their static version, but also at the level of their dynamical version. We present a combined analysis of these systems, employing tools of random matrix theory and stochastic calculus as well as tools of quantum mechanics, in order to solve some original problems. Further from the detailed presentation of the field and the report of the results obtained during the PhD, the different themes exposed in the chapters of the thesis allow for perspectives on related issues. As such, the first chapter is an introduction to random matrix theory; we detail its historical evolution and numerous applications, and present its essential concepts, constructions and results. The second chapter discusses non-crossing random walks; we describe the deep links they share with random matrix eigenvalue processes and showcase the results obtained in the scope of boundary problems. In the third chapter, which focuses on stochastic matrix processes, we introduce in particular a process inspired from the Kesten random recursion, and highlight the new link it allows to draw between the inverse-Wishart ensemble and fermions trapped in the Morse potential. Lastly, the fourth chapter, centred on the particular case of bridge processes, allows for a joint treatment of scalar and matrix models; therein, we develop a generalization of the Ferrari-Spohn problem for non-crossing scalar bridges and, as an opening, we exhibit the connections of matrix bridges with other aspects of random matrices.


title: Preventing Handheld Phone Distraction for Drivers by Sensing the Gripping Hand

abstract: Handheld phone distraction is the leading cause of traffic accidents. However, few efforts have been devoted to detecting when the phone distraction happens, which is a critical input for taking immediate safety measures. This work proposes a phone-use monitoring system, which detects the start of the driver's handheld phone use and eliminates the distraction at once. Specifically, the proposed system emits periodic ultrasonic pulses to sense if the phone is being held in hand or placed on support surfaces (e.g., seat and cup holder) by capturing the unique signal interference resulted from the contact object's damping, reflection and refraction. We derive the short-time Fourier transform from the microphone data to describe such impacts and develop a CNN-based binary classifier to discriminate the phone use between the handheld and the handsfree status. Additionally, we design an adaptive window-based filter to correct the classification errors and identify each handheld phone distraction instance, including its start, end, and duration. Extensive experiments with fourteen people, three phones and two car models show that our system achieves 99% accuracy of recognizing handheld phone-use instances and 0.76-second median error to estimate the distraction's start time.


title: BOSS full-shape analysis from the EFTofLSS with exact time dependence

abstract: We re-analyze the full shape of BOSS galaxy two-point function from the Effective-Field Theory of Large-Scale Structure at the one loop within $\Lambda$CDM with massive neutrinos using a big bang nucleosynthesis (BBN) prior, removing the Einstein-de Sitter (EdS) approximation in the time dependence of the loop, and, properly accounting for the redshift selection over the BOSS samples instead of assuming an effective redshift. We constrain, at $68\%$-confidence level (CL), the present-day matter fraction to $\Omega_m=0.322 \pm 0.018$, the Hubble constant to $H_0=69.1\pm 0.14$ (km/s)/Mpc, the $\log$-amplitude of the primordial spectrum to $\ln (10^{10} A_s) = 2.97 \pm 0.25$, the spectral tilt to $n_s = 0.938 \pm 0.082$, and bound the total neutrino mass to $<1.1$ at $95\%$-CL. We find no significant shift in the posteriors of the cosmological parameters due to the EdS approximation, but a marginal difference in $\ln (10^{10} A_s)$ due to the effective redshift approximation of about $0.4\sigma$, where $\sigma$ is the $68\%$-confidence interval. Regarding the EdS approximation, we check that the same conclusion holds on simulations of volume like DESI in $\Lambda$CDM and $w$CDM, with a BBN prior. In contrast, for an approximate, effective redshift, to be assumed, we advocate systematic assessments on redshift selection for ongoing and future large-volume surveys.


title: Mechanism for baryogenesis via feebly interacting massive particles

abstract: We present a simple mechanism which allows the simultaneous generation of the baryon asymmetry of the Universe along with its dark matter content. To this goal, we employ the out-of-equilibrium decays of heavy bath states into a feebly coupled dark matter particle and Standard Model charged fermions. These decays lead to dark matter production via the freeze-in mechanism and, assuming that they further violate $CP$, can generate a viable matter-antimatter asymmetry in the resonant regime. We illustrate this mechanism by studying a particular realization of this general scenario, where the role of the heavy bath particles is played by $SU(3)_{\text{c}}\times SU(2)_{\text{L}}$-singlet vectorlike fermions with a non-zero hypercharge and dark matter is identified with a gauge-singlet real scalar field. We show that in the context of this simple model the cosmological constraints for the dark matter abundance and the baryon asymmetry are satisfied for masses of heavy vectorlike fermion states of a few TeV, potentially within reach of the High-Luminosity Run of the Large Hadron Collider. Dark matter, in turn, is predicted to be rather light, with a mass of a few keV.


title: Forms on Berkovich spaces based on harmonic tropicalizations

abstract: We introduce tropical skeletons for Berkovich spaces based on results of Ducros. Then we study harmonic functions on good strictly analytic spaces over a non-trivially valued non-Archimedean field. Chambert-Loir and Ducros introduced bigraded sheaves of smooth real-valued differential forms on Berkovich spaces by pulling back Lagerberg forms with respect to tropicalization maps. We give a new approach in which we allow pullback by more general harmonic tropicalizations to get a larger sheaf of differential forms with essentially the same properties, but with a better cohomological behavior. A crucial ingredient is that tropical varieties arising from harmonic tropicalization maps are balanced.


title: Tuning the nontrivial topological properties of the Weyl semimetal CeAlSi

abstract: In the ferromagnetic Weyl semimetal CeAlSi both space-inversion and time-reversal symmetries are broken. We use external pressure as an effective tuning parameter and relate three observations to the presence of a nontrivial topology in its ferromagnetic regime: an exceptional temperature response of the quantum oscillations amplitude, the presence of an anomalous Hall effect (AHE), and the existence of an unusual loop Hall effect (LHE). We find a suppression of the AHE and the LHE with increasing pressure, while the Curie temperature is enhanced. The magnetic structure and the electronic bands exhibit only a negligible pressure effect suggesting the importance of the domain wall landscape for the topological behavior in CeAlSi.


title: Density dependence of symmetry energy and neutron skin thickness revisited using relativistic mean field models with nonlinear couplings

abstract: The correlation between neutron skin-thickness of a neutron-rich nucleus and slope parameter of symmetry energy is assessed as a function of density using relativistic mean field models containing non-linear couplings among different mesons. Models with larger skin were found to probe the slope parameter even at suprasaturation densities, whereas models with smaller skin were observed to be sensitive only at specific subsaturation density, connected to the average density of nuclei. Possible reasons behind this density dependence are explored systematically. These results might be model specific, which need to be reassessed in other type of interactions existing in the literature. Nevertheless, extrapolating the predictions at high densities from models, which are optimized by data at saturation or subsaturation densities, needs to be handled with care.


title: Weak Langmuir turbulence in disordered multimode optical fibers

abstract: We consider the propagation of temporally incoherent waves in multimode optical fibers (MMFs) in the framework of the multimode nonlinear Schr\"odinger (NLS) equation accounting for the impact of the natural structural disorder that affects light propagation in standard MMFs (random mode coupling and polarization fluctuations). By averaging the dynamics over the fast disordered fluctuations, we derive a Manakov equation from the multimode NLS equation, which reveals that the Raman effect introduces a previously unrecognized nonlinear coupling among the modes. Applying the wave turbulence theory on the Manakov equation, we derive a very simple scalar kinetic equation describing the evolution of the multimode incoherent waves. The structure of the kinetic equation is analogous to that developed in plasma physics to describe weak Langmuir turbulence. The extreme simplicity of the derived kinetic equation provides physical insight into the multimode incoherent wave dynamics. It reveals the existence of different collective behaviors where all modes self-consistently form a multimode spectral incoherent soliton state. Such an incoherent soliton can exhibit a discrete behavior characterized by collective synchronized spectral oscillations in frequency space. The theory is validated by accurate numerical simulations: The simulations of the generalized multimode NLS equation are found in quantitative agreement with those of the derived scalar kinetic equation without using adjustable parameters.


title: Improved topological sampling for lattice gauge theories

abstract: Standard sampling algorithms for lattice QCD suffer from topology freezing (or critical slowing down) when approaching the continuum limit, thus leading to poor sampling of the distinct topological sectors. I will present a modified Hamiltonian Monte Carlo (HMC) algorithm that triggers topological sector jumps during the assembly of Markov chain of lattice configurations. We study its performance in the 2D Schwinger model and compare it to alternative methods, such as fixing topology or master field. We then briefly discuss the difficulties of the algorithm in a SU(2) gauge model in 4D.


title: Dynamics of Two Distinct Exciton Populations in Methyl-functionalized Germanane

abstract: Methyl-substituted Germanane is an emerging material that has been proposed for novel applications in optoelectronics, photoelectrocatalysis, and biosensors. It is a two-dimensional semiconductor with a strong above-gap fluorescence associated with water intercalation. Here, we use time-resolved photoluminescence spectroscopy to understand the mechanism causing this fluorescence. We show that it originates from two distinct exciton populations. Both populations recombine exponentially, accompanied by the thermally activated transfer of exciton population from the shorter- to the longer-lived type. The two exciton populations involve different electronic levels and couple to different phonons. The longer-lived type of exciton migrates within the disordered energy landscape of localized recombination centers. These outcomes shed light on the fundamental optical and electronic properties of functionalized germanane, enabling the groundwork for future applications in optoelectronics, light-harvesting, and sensing.


title: Dolbeault Cohomology of Graphs and Berkovich Curves

abstract: We introduce real-valued $(p,q)$-forms on weighted metric graphs with boundary similar to Lagerberg forms on polyhedral spaces. We compute the Dolbeault cohomology and prove Poincar\'e duality. Using Thuillier's thesis, the skeleton of a strictly semistable formal curve is canonically a weighted metric graph with boundary. We use that and our companion paper on weakly smooth forms to compute the Dolbeault cohomology for weakly smooth forms on any non-Archimedean compact rig-smooth analytic curve $X$, and prove Poincar\'e duality when $X$ is proper.


title: Subgroup sum graphs of finite abelian groups

abstract: Let $G$ be a finite abelian group, written additively, and $H$ a subgroup of~$G$. The \emph{subgroup sum graph} $\Gamma_{G,H}$ is the graph with vertex set $G$, in which two distinct vertices $x$ and $y$ are joined if $x+y\in H\setminus\{0\}$. These graphs form a fairly large class of Cayley sum graphs. Among cases which have been considered previously are the \emph{prime sum graphs}, in the case where $H=pG$ for some prime number $p$. In this paper we present their structure and a detailed analysis of their properties. We also consider the simpler graph $\Gamma^+_{G,H}$, which we refer to as the \emph{extended subgroup sum graph}, in which $x$ and $y$ are joined if $x+y\in H$: the subgroup sum is obtained by removing from this graph the partial matching of edges having the form $\{x,-x\}$ when $2x\ne0$. We study perfectness, clique number and independence number, connectedness, diameter, spectrum, and domination number of these graphs and their complements. We interpret our general results in detail in the prime sum graphs.


title: Total dual dyadicness and dyadic generating sets

abstract: A vector is \emph{dyadic} if each of its entries is a dyadic rational number, i.e. of the form $\frac{a}{2^k}$ for some integers $a,k$ with $k\geq 0$. A linear system $Ax\leq b$ with integral data is \emph{totally dual dyadic} if whenever $\min\{b^\top y:A^\top y=w,y\geq {\bf 0}\}$ for $w$ integral, has an optimal solution, it has a dyadic optimal solution. In this paper, we study total dual dyadicness, and give a co-NP characterization of it in terms of \emph{dyadic generating sets for cones and subspaces}, the former being the dyadic analogue of \emph{Hilbert bases}, and the latter a polynomial-time recognizable relaxation of the former. Along the way, we see some surprising turn of events when compared to total dual integrality, primarily led by the \emph{density} of the dyadic rationals. Our study ultimately leads to a better understanding of total dual integrality and polyhedral integrality. We see examples from dyadic matrices, $T$-joins, cycles, and perfect matchings of a graph.


title: Cylindrically symmetric and plane-symmetric solutions in $f(R)$ theory via Noether symmetries

abstract: The $f(R)$ theory is considered for static cylindrically symmetric and plane-symmetric spacetimes. In order to find solutions to the field equations of these models, the Noether symmetry method is used. First, we examine the GR case for cylindrically symmetrical space-time with the $w=-1$ dark energy state. Then, with the assumption of $f(R) = f_0R^n$, cases with matter and non-matter are examined and general solutions are determined for both space-times. Thus, it is shown that inclusive new solutions are obtained, considering the Noether symmetric conditions. In addition, the GR limit for each cases are examined.


title: On a girth-free variant of the Bourgain-Gamburd machine

abstract: A variant of the Bourgain-Gamburd machine without using any girth bounds is obtained. Also, we find series of applications of %our result the Bourgain-Gamburd machine to problems of Additive Combinatorics, Number Theory and Probability.


title: Modeling general-relativistic plasmas with collisionless moments and dissipative two-fluid magnetohydrodynamics

abstract: Relativistic plasmas are central to the study of black hole accretion, jet physics, neutron star mergers, and compact object magnetospheres. Despite the need to accurately capture the dynamics of these plasmas and the implications for relativistic transients, their fluid modeling is typically done using a number of (overly) simplifying assumptions, which do not hold in general. This is especially true when the mean free path in the plasma is large compared to the system size, and kinetic effects start to become important. Going beyond common approaches used in the literature, we describe a fully relativistic covariant 14-moment based two-fluid system appropriate for the study of electron-ion or electron-positron plasmas. This generalized Israel-Stewart-like system of equations of motion is obtained directly from the relativistic Boltzmann-Vlasov equation. Crucially, this new formulation can account for non-ideal effects, such as anisotropic pressures and heat fluxes. We show that a relativistic two-fluid plasma can be recast as a single fluid coupled to electromagnetic fields with (potentially large) out-of-equilibrium corrections. In particular, we keep all electron degrees of freedom, which provide self-consistent evolution equations for electron temperature and momentum. The equations outlined in this paper are able to capture the full two-fluid character of collisionless plasmas found in black hole accretion and flaring processes around compact objects, as well Braginskii-like two-fluid magnetohydrodynamics applicable to weakly collisional plasmas inside accretion disks. This new formulation will be instrumental in the construction of a large class of next-generation simulations of relativistic transient phenomena produced around black holes and neutron stars.


title: Automorphic tensor products and cuspidal cohomology of the ${\rm GL}_4$

abstract: In this article, we establish an asymptotic lower bound estimate on the contribution of cuspidal automorphic representations of ${\rm GL}_4(\mathbb A_{\mathbb Q})$ to cuspidal cohomology of the ${\rm GL}_4$ which are obtained from automorphic tensor product of two automorphic representations of ${\rm GL}_2(\mathbb A_{\mathbb Q})$ of given weights and with varying level structure. In the end, we also prove that the symmetric cube of a representation of ${\rm GL}_2$ and the automorphic tensor product of two representations of ${\rm GL}_2$ can not be equal (up to a twist by a character of ${\rm GL}_1$) to each other, under the suitable assumptions on the representations being cuspidal and cohomological.


title: Prune Once for All: Sparse Pre-Trained Language Models

abstract: Transformer-based language models are applied to a wide range of applications in natural language processing. However, they are inefficient and difficult to deploy. In recent years, many compression algorithms have been proposed to increase the implementation efficiency of large Transformer-based models on target hardware. In this work we present a new method for training sparse pre-trained Transformer language models by integrating weight pruning and model distillation. These sparse pre-trained models can be used to transfer learning for a wide range of tasks while maintaining their sparsity pattern. We demonstrate our method with three known architectures to create sparse pre-trained BERT-Base, BERT-Large and DistilBERT. We show how the compressed sparse pre-trained models we trained transfer their knowledge to five different downstream natural language tasks with minimal accuracy loss. Moreover, we show how to further compress the sparse models' weights to 8bit precision using quantization-aware training. For example, with our sparse pre-trained BERT-Large fine-tuned on SQuADv1.1 and quantized to 8bit we achieve a compression ratio of $40$X for the encoder with less than $1\%$ accuracy loss. To the best of our knowledge, our results show the best compression-to-accuracy ratio for BERT-Base, BERT-Large, and DistilBERT.


title: Quasi-representations of groups and two-homology

abstract: The Exel-Loring formula asserts that two topological invariants associated to a pair of almost commuting unitary matrices coincide. Such a pair can be viewed as a quasi-representation of $\mathbb{Z}^2$. We give a generalization of this formula for countable discrete groups. We also show the nontriviality of the corresponding invariants for quasidiagonal groups which are coarsely embeddable in a Hilbert space and have nonvanishing second Betti number.


title: Systematic study of nuclear effects in $p$$+$Al, $p$$+$Au, $d$$+$Au, and $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV using $\pi^0$ production

abstract: The PHENIX collaboration presents a systematic study of $\pi^0$ production from $p$$+$$p$, $p$$+$Al, $p$$+$Au, $d$$+$Au, and $^{3}$He$+$Au collisions at $\sqrt{s_{_{NN}}}=200$ GeV. Measurements were performed with different centrality selections as well as the total inelastic, 0%--100%, selection for all collision systems. For 0%--100% collisions, the nuclear modification factors, $R_{xA}$, are consistent with unity for $p_T$ above 8 GeV/$c$, but exhibit an enhancement in peripheral collisions and a suppression in central collisions. The enhancement and suppression characteristics are similar for all systems for the same centrality class. It is shown that for high-$p_T$-$\pi^0$ production, the nucleons in the $d$ and $^3$He interact mostly independently with the Au nucleus and that the counter intuitive centrality dependence is likely due to a physical correlation between multiplicity and the presence of a hard scattering process. These observations disfavor models where parton energy loss has a significant contribution to nuclear modifications in small systems. Nuclear modifications at lower $p_T$ resemble the Cronin effect -- an increase followed by a peak in central or inelastic collisions and a plateau in peripheral collisions. The peak height has a characteristic ordering by system size as $p$$+$Au $>$ $d$$+$Au $>$ $^{3}$He$+$Au $>$ $p$$+$Al. For collisions with Au ions, current calculations based on initial state cold nuclear matter effects result in the opposite order, suggesting the presence of other contributions to nuclear modifications, in particular at lower $p_T$.


title: Transition Edge Sensor Chip Design of Modular CE{\nu}NS Detector for the Ricochet Experiment

abstract: Coherent elastic neutrino-nucleus scattering (CE$\nu$NS) offers a valuable approach in searching for physics beyond the Standard Model. The Ricochet experiment aims to perform a precision measurement of the CE$\nu$NS spectrum at the Institut Laue-Langevin (ILL) nuclear reactor with cryogenic solid-state detectors. The experiment will employ an array of cryogenic thermal detectors, each with a mass of around 30 g and an energy threshold of 50 eV. One section of this array will contain 9 Transition Edge Sensor (TES) based calorimeters. The design will not only fulfill requirements for Ricochet, but also act as a demonstrator for future neutrino experiments that will require thousands of macroscopic detectors. In this article we present an updated TES chip design as well as performance predictions based on a numerical modeling.


title: Rooted quasi-Stirling permutations of general multisets

abstract: Given a general multiset $\mathcal{M}=\{1^{m_1},2^{m_2},\ldots,n^{m_n}\}$, where $i$ appears $m_i$ times, a multipermutation $\pi$ of $\mathcal{M}$ is called {\em quasi-Stirling}, if it contains no subword of the form $abab$ with $a\neq b$. We designate exactly one entry of $\pi$, say $k\in \mathcal{M}$, which is not the leftmost entry among all entries with the same value, by underlining it in $\pi$, and we refer to the pair $(\pi,k)$ as a quasi-Stirling multipermutation of $\mathcal{M}$ rooted at $k$. By introducing certain vertex and edge labeled trees, we give a new bijective proof of an identity due to Yan, Yang, Huang and Zhu, which links the enumerator of rooted quasi-Stirling multipermutations by the numbers of ascents, descents, and plateaus, with the exponential generating function of the {\em bivariate Eulerian polynomials}. This identity can be viewed as a natural extension of Elizalde's result on $k$-quasi-Stirling permutations, and our bijective approach to proving it enables us to: (1) prove bijectively a Carlitz type identity involving quasi-Stirling polynomials on multisets that was first obtained by Yan and Zhu; (2) confirm a recent partial $\gamma$-positivity conjecture due to Lin, Ma and Zhang, and find a combinatorial interpretation of the $\gamma$-coefficients in terms of two new statistics defined on quasi-Stirling multipermutations called sibling descents and double sibling descents.


title: Multimodal Transformer with Variable-length Memory for Vision-and-Language Navigation

abstract: Vision-and-Language Navigation (VLN) is a task that an agent is required to follow a language instruction to navigate to the goal position, which relies on the ongoing interactions with the environment during moving. Recent Transformer-based VLN methods have made great progress benefiting from the direct connections between visual observations and the language instruction via the multimodal cross-attention mechanism. However, these methods usually represent temporal context as a fixed-length vector by using an LSTM decoder or using manually designed hidden states to build a recurrent Transformer. Considering a single fixed-length vector is often insufficient to capture long-term temporal context, in this paper, we introduce Multimodal Transformer with Variable-length Memory (MTVM) for visually-grounded natural language navigation by modelling the temporal context explicitly. Specifically, MTVM enables the agent to keep track of the navigation trajectory by directly storing previous activations in a memory bank. To further boost the performance, we propose a memory-aware consistency loss to help learn a better joint representation of temporal context with random masked instructions. We evaluate MTVM on popular R2R and CVDN datasets, and our model improves Success Rate on R2R unseen validation and test set by 2% each, and reduce Goal Process by 1.6m on CVDN test set.


title: Inflationary epoch in the presence of holographic dark energy

abstract: We analyze the effects of the holographic dark energy model in a single field slow-roll inflation, taking into account both the holographic and the dark radiation components. In particular, we obtain the background evolution and compute the scalar and tensor power spectra. For the scalar sector we show that the power spectrum of the curvature perturbation encompasses the standard single field result and a correction proportional to $\Omega_{\rm hde}/\epsilon$, where $\Omega_{\rm hde}$ is the fractional density of the holographic component and $\epsilon$ is the first slow-roll parameter. This correction might be of order unity in the very beginning of the inflationary phase and decays rapidly. For the primordial gravitational waves we find the spectral index receives a correction from the graviton mass term, which decays in the first inflationary e-folds.