title: Inclusive nonresonant multilepton probes of new phenomena at $\sqrt{s} =$ 13 TeV

abstract: An inclusive search for nonresonant signatures of beyond the standard model (SM) phenomena in events with three or more charged leptons, including hadronically decaying $\tau$ leptons, is presented. The analysis is based on a data sample corresponding to an integrated luminosity of 138 fb$^{-1}$ of proton-proton collisions at $\sqrt{s} =$ 13 TeV, collected by the CMS experiment at the LHC in 2016-2018. Events are categorized based on the lepton and b-tagged jet multiplicities and various kinematic variables. Three scenarios of physics beyond the SM are probed, and signal-specific boosted decision trees are used for enhancing sensitivity. No significant deviations from the background expectations are observed. Lower limits are set at 95% confidence level on the mass of type-III seesaw heavy fermions in the range 845-1065 GeV for various decay branching fraction combinations to SM leptons. Doublet and singlet vector-like $\tau$ lepton extensions of the SM are excluded for masses below 1045 GeV and in the mass range 125-150 GeV, respectively. Scalar leptoquarks decaying exclusively to a top quark and a lepton are excluded below 1.12-1.42 TeV, depending on the lepton flavor. For the type-III seesaw as well as the vector-like doublet model, these constraints are the most stringent to date. For the vector-like singlet model, these are the first constraints from the LHC experiments. Detailed results are also presented to facilitate alternative theoretical interpretations.


title: Periods of families of curves in threefolds

abstract: Clemens' conjecture states that the the number of rational curve in a generic quintic threefold is finite. If it is false we prove that certain periods of rational curves in such a quintic threefold must vanish. Our method is based on a generalization of a proof of Max Noether's theorem using infinitesimal variation of Hodge structures and its reformulation in terms of integrals and Gauss-Manin connection.


title: The ultra-diffuse galaxy AGC 114905 needs dark matter

abstract: Recent 21 cm line observations of the ultra-diffuse galaxy AGC~114905 indicate a rotating disc largely supported against gravity by orbital motion, as usual. Remarkably, this study has revealed that the form and amplitude of the HI rotation curve is completely accounted for by the observed distribution of baryonic matter, stars and neutral gas, implying that no dark halo is required. It is surprising to find a DM-free galaxy for a number of reasons, one being that a bare Newtonian disk having low velocity dispersion would be expected to be unstable to both axi- and non-axisymmetric perturbations that would change the structure of the disc on a dynamical timescale, as has been known for decades. We present $N$-body simulations of the DM-free model, and one having a low-density DM halo, that confirm this expectation: the disc is chronically unstable to just such instabilities. Since it is unlikely that a galaxy that is observed to have a near-regular velocity pattern would be unstable, our finding calls into question the suggestion that the galaxy may lack, or have little, dark matter. We also show that if the inclination of this near face-on system has been substantially overestimated, the consequent increased amplitude of the rotation curve would accommodate a halo massive enough for the galaxy to be stable.


title: Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing Pipelines

abstract: Preprocessing pipelines in deep learning aim to provide sufficient data throughput to keep the training processes busy. Maximizing resource utilization is becoming more challenging as the throughput of training processes increases with hardware innovations (e.g., faster GPUs, TPUs, and inter-connects) and advanced parallelization techniques that yield better scalability. At the same time, the amount of training data needed in order to train increasingly complex models is growing. As a consequence of this development, data preprocessing and provisioning are becoming a severe bottleneck in end-to-end deep learning pipelines. In this paper, we provide an in-depth analysis of data preprocessing pipelines from four different machine learning domains. We introduce a new perspective on efficiently preparing datasets for end-to-end deep learning pipelines and extract individual trade-offs to optimize throughput, preprocessing time, and storage consumption. Additionally, we provide an open-source profiling library that can automatically decide on a suitable preprocessing strategy to maximize throughput. By applying our generated insights to real-world use-cases, we obtain an increased throughput of 3x to 13x compared to an untuned system while keeping the pipeline functionally identical. These findings show the enormous potential of data pipeline tuning.


title: Synthetic data for unsupervised polyp segmentation

abstract: Deep learning has shown excellent performance in analysing medical images. However, datasets are difficult to obtain due privacy issues, standardization problems, and lack of annotations. We address these problems by producing realistic synthetic images using a combination of 3D technologies and generative adversarial networks. We use zero annotations from medical professionals in our pipeline. Our fully unsupervised method achieves promising results on five real polyp segmentation datasets. As a part of this study we release Synth-Colon, an entirely synthetic dataset that includes 20000 realistic colon images and additional details about depth and 3D geometry: https://enric1994.github.io/synth-colon


title: Dissipative Tunneling Rates through the Incorporation of First-Principles Electronic Friction in Instanton Rate Theory II: Benchmarks and Applications

abstract: In part I, we presented the ring-polymer instanton with explicit friction (RPI-EF) method and showed how it can be connected to the \textit{ab initio} electronic friction formalism. This framework allows the calculation of tunneling reaction rates that incorporate the quantum nature of the nuclei and certain types of non-adiabatic effects (NAEs) present in metals. In this second part, we analyze the performance of RPI-EF on model potentials and apply it to realistic systems. For a 1D double-well model, we benchmark the method against numerically exact results obtained from multi-layer multi-configuration time-dependent Hartree calculations. We demonstrate that RPI-EF is accurate for medium and high friction strengths and less accurate for extremely low friction values. We also show quantitatively how the inclusion of NAEs lowers the cross-over temperature into the deep tunneling regime, reduces the tunneling rates, and in certain regimes, steers the quantum dynamics by modifying the tunneling pathways. As a showcase of the efficiency of this method, we present a study of hydrogen and deuterium hopping between neighboring interstitial sites in selected bulk metals. The results show that multidimensional vibrational coupling and nuclear quantum effects have a larger impact than NAEs on the tunneling rates of diffusion in metals. Together with part I, these results advance the calculations of dissipative tunneling rates from first principles.


title: A General Deep Learning framework for Neuron Instance Segmentation based on Efficient UNet and Morphological Post-processing

abstract: Recent studies have demonstrated the superiority of deep learning in medical image analysis, especially in cell instance segmentation, a fundamental step for many biological studies. However, the excellent performance of the neural networks requires training on large, unbiased dataset and annotations, which is labor-intensive and expertise-demanding. This paper presents an end-to-end framework to automatically detect and segment NeuN stained neuronal cells on histological images using only point annotations. Unlike traditional nuclei segmentation with point annotation, we propose using point annotation and binary segmentation to synthesize pixel-level annotations. The synthetic masks are used as the ground truth to train the neural network, a U-Net-like architecture with a state-of-the-art network, EfficientNet, as the encoder. Validation results show the superiority of our model compared to other recent methods. In addition, we investigated multiple post-processing schemes and proposed an original strategy to convert the probability map into segmented instances using ultimate erosion and dynamic reconstruction. This approach is easy to configure and outperforms other classical post-processing techniques. This work aims to develop a robust and efficient framework for analyzing neurons using optical microscopic data, which can be used in preclinical biological studies and, more specifically, in the context of neurodegenerative diseases.


title: Hamilton-Ivey estimates for the Ricci-Bourguignon flow with $\rho<0$

abstract: In this paper, we prove Hamilton-Ivey estimates for the Ricci-Bourguignon flow on a compact manifold, with $n=3$ and $\rho<0$. As a consequence, we prove that compact ancient solutions have nonnegative sectional curvature for all negative $\rho$.


title: Corner Structure of Four-Dimensional General Relativity in the Coframe Formalism

abstract: This note describes a local Poisson structure (up to homotopy) associated to corners in four-dimensional gravity in the coframe (Palatini--Cartan) formalism. This is achieved through the use of the BFV formalism. The corner structure contains in particular an Atiyah algebroid that couples the internal symmetries to diffeomorphisms. The relation with $BF$ theory is also described.

categories: math-ph gr-qc hep-th math.MP math.QA math.SG


title: Is first-order relativistic hydrodynamics in general frame stable and causal for arbitrary interaction?

abstract: We derive a first-order, stable and causal, relativistic hydrodynamic theory from the microscopic kinetic equation using the gradient expansion technique in a general frame. The general frame is introduced from the arbitrary matching conditions for hydrodynamic fields. The interaction is introduced in the relativistic Boltzmann equation through the momentum-dependent relaxation time approximation (MDRTA) with the proposed collision operator that preserves the conservation laws. We demonstrate here for the first time that not only the general frame choice, but also the momentum dependence of microscopic interaction rate, captured through MDRTA, is imperative for producing the essential field corrections that give rise to a causal and stable first-order relativistic theory.


title: Necessary and sufficient condition for a generic 3R serial manipulator to be cuspidal

abstract: Cuspidal robots can travel from one inverse kinematic solution to another without meeting a singularity. The name cuspidal was coined based on the existence of a cusp point in the workspace of 3R serial robots. The existence of a cusp point was proved to be a necessary and sufficient condition for orthogonal robots to be cuspidal, but it was not possible to extend this condition to non-orthogonal robots. The goal of this paper is to prove that this condition stands for any generic 3R robot. This result would give the designer more flexibility. In the presented work, the geometrical interpretation of the inverse kinematics of 3R robots is revisited and important observations on the nonsingular change of posture are noted. The paper presents a theorem regarding the existence of reduced aspects in any generic 3R serial robot. Based on these observations and on this theorem, we prove that the existence of a cusp point is a necessary and sufficient condition for any 3R generic robot to be cuspidal.


title: Term Rewriting Based On Set Automaton Matching

abstract: In this article we investigate how a subterm pattern matching algorithm can be exploited to implement efficient term rewriting procedures. From the left-hand sides of the rewrite system we construct a set automaton, which can be used to find all redexes in a term efficiently. We formally describe a procedure that, given a rewrite strategy, interleaves pattern matching steps and rewriting steps and thus smoothly integrates redex discovery and subterm replacement. We then present an efficient implementation that instantiates this procedure with outermost rewriting, and present the results of some experiments. Our implementation shows to be competitive with comparable tools.


title: Improved Optimal Testing Results from Global Hypercontractivity

abstract: The problem of testing low-degree polynomials has received significant attention over the years due to its importance in theoretical computer science, and in particular in complexity theory. The problem is specified by three parameters: field size $q$, degree $d$ and proximity parameter $\delta$, and the goal is to design a tester making as few as possible queries to a given function, which is able to distinguish between the case the given function has degree at most $d$, and the case the given function is $\delta$-far from any degree $d$ function. A tester is called optimal if it makes $O(q^d+1/\delta)$ queries (which are known to be necessary). For the field of size $q$, the natural $t$-flat tester was shown to be optimal first by Bhattacharyya et al. for $q=2$, and later by Haramaty et al. for all prime powers $q$. The dependency on the field size, however, is a tower-type function. We improve the results above, showing that the dependency on the field size is polynomial. Our approach also applies in the more general setting of lifted affine invariant codes, and is based on studying the structure of the collection of erroneous subspaces. i.e. subspaces $A$ such that $f|_{A}$ has degree greater than $d$. Towards this end, we observe that these sets are poorly expanding in the affine version of the Grassmann graph and use that to establish structural results on them via global hypercontractivity. We then use this structure to perform local correction on $f$.


title: Weak energy shaping for stochastic controlled port-Hamiltonian systems

abstract: The present work address the problem of energy shaping for stochastic port-Hamiltonian system. Energy shaping is a powerful technique that allows to systematically find feedback law to shape the Hamiltonian of a controlled system so that, under a general passivity condition, it converges or tracks a desired configuration. Energy shaping has been recently generalized to consider stochastic port-Hamiltonian system. Nonetheless the resulting theory presents several limitation in the application so that relevant examples, such as the additive noise case, are immediately ruled out from the possible application of energy shaping. The current paper continues the investigation of the properties of a weak notion of passivity for a stochastic system and a consequent weak notion of convergence for the shaped system considered recently by the authors. Such weak notion of passivity is strictly related to the existence and uniqueness of an invariant measure for the system so that the theory developed has a purely probabilistic flavour. We will show how all the relevant results of energy shaping can be recover under the weak setting developed. We will also show how the weak passivity setting considered draw an insightful connection between stochastic port-Hamiltonian systems and infinite-dimensional port-Hamiltonian system.


title: Zeptonewton force sensing with squeezed quadratic optomechanics

abstract: Cavity optomechanical (COM) sensors, as powerful tools for measuring ultraweak forces or searching for dark matter, have been implemented to date mainly using linear COM couplings. Here, quantum force sensing is explored by using a quadratic COM system which is free of bistability and allows accurate measurement of mechanical energy. We find that this system can be optimized to achieve a force sensitivity $7$ orders of magnitude higher than any conventional linear COM sensor, with experimentally accessible parameters. Further integrating a quadratic COM system with a squeezing medium can lead to another $3$ orders enhancement, well below the standard quantum limit and reaching the zeptonewton level. This opens new prospects of making and using quantum nonlinear COM sensors in fundamental physics experiments and in a wide range of applications requiring extreme sensitivity.


title: Non-linear stiffness behavior of planar serial robotic manipulators

abstract: The paper focuses on the stiffness analysis of multi-link serial planar manipulators, which may demonstrate nonlinear stiffness behavior under the compressive loading. Two important cases are considered, where the manipulator has either a straight or non-straight initial configuration. It was proved that in the first case the loading may cause the buckling if it exceeds some critical value, and the manipulator suddenly changes its straight shape and stiffness properties. For computing this critical force, a general eigenvalue-based technique was proposed that can be applied to any multi-link serial manipulator. For the second case dealing with non-straight initial configurations, a universal energy-based technique was applied that allowed to detect quasi-buckling phenomenon when it is observed very fast but not instant change of the manipulator shape and its stiffness coefficient under the loading. These results are illustrated by numerous examples of non-linear stiffness behavior of three-and four-link manipulators that are subjected to compressive force.


title: A study of deep perceptual metrics for image quality assessment

abstract: Several metrics exist to quantify the similarity between images, but they are inefficient when it comes to measure the similarity of highly distorted images. In this work, we propose to empirically investigate perceptual metrics based on deep neural networks for tackling the Image Quality Assessment (IQA) task. We study deep perceptual metrics according to different hyperparameters like the network's architecture or training procedure. Finally, we propose our multi-resolution perceptual metric (MR-Perceptual), that allows us to aggregate perceptual information at different resolutions and outperforms standard perceptual metrics on IQA tasks with varying image deformations. Our code is available at https://github.com/ENSTA-U2IS/MR_perceptual


title: On Estimates for Maximal Operators Associated with Tangential Regions

abstract: The thesis comprises three chapters. Chapter 1 investigates generalizations of the theorem of Fatou for convolution type integral operators with general approximate identities. It is introduced $\lambda(r)$-convergence, which is a generalization of non-tangential convergence in the unit disc. The connections between general approximate identities and optimal convergence regions for such operators are described in different functional spaces. Chapter 2 studies some generalizations of the theorem of Littlewood, which makes an important complement to the theorem of Fatou, constructing analytic function possessing almost everywhere divergent property along a given tangential curve. The same convolution type integral operators are considered with more general kernels than approximate identities. Two kinds of generalizations of the theorem of Littlewood are obtained, possessing everywhere divergent property. Chapter 3 is devoted to some questions of equivalency of differentiation bases in $\mathbb{R}^n$. The complete equivalence of basis of rare dyadic rectangles and the basis of complete dyadic rectangles in $\mathbb{R}^2$ is investigated. Besides, it is introduced quasi-equivalence between two differentiation bases in $\mathbb{R}^n$ and is considered the set of functions that such bases differentiate.


title: Exact Two-Body Solutions and Quantum Defect Theory of Polar Molecular Gases with Van der Waals Potentials

abstract: In a recent experiment [Matsuda et al, Science 370, 1324 (2020)], a quasi two-dimensional (2D), long-lived and strongly interacting diatomic polar molecular gas was successfully prepared via controllable electric field technique. Surprisingly, the effective repulsive and attractive Van der Waals interactions of two molecules would emerge when scanning the strength of the electric fields. Those results were also generalized to the three-dimensional (3D) case in a later experiment [J. Li et al, Nature Physics 17, 1144 (2021)]. Motivated by these experiments, in this paper we provide the two-body exact solutions for the 2D and 3D Schr\"{o}dinger equation with isotropic Van der Waals potentials ($\pm1/r^{6}$). Furthermore, base on these exact solutions, we build the analytical quantum defect theory (QDT) for quasi-2D and 3D geometries, and then apply QDT to study the scattering properties and bound states of two ultracold polar molecules confined in quasi-2D and 3D geometries. Interestingly, we find that for the attractive (repulsive) Van der Waals potential cases, the two-body short range potential can be approximated by an square barrier with infinity height (square potential with finite depth) which yields the wide (narrow) and dense (dilute) resonances of the quantum defect parameter. For the quasi-2D attractive case, the scattering resonances of different partial waves can orderly happen which is featured by the phase jumps when varying the scattering energy. The analytical expansions in the low energy limit shows a consistent agreement to the numerical results.


title: Article's Scientific Prestige: measuring the impact of individual articles in the Web of Science

abstract: We performed a citation analysis on the Web of Science publications consisting of more than 63 million articles and 1.45 billion citations on 254 subjects from 1981 to 2020. We proposed the Article's Scientific Prestige (ASP) metric and compared this metric to number of citations (#Cit) and journal grade in measuring the scientific impact of individual articles in the large-scale hierarchical and multi-disciplined citation network. In contrast to #Cit, ASP, that is computed based on the eigenvector centrality, considers both direct and indirect citations, and provides steady-state evaluation cross different disciplines. We found that ASP and #Cit are not aligned for most articles, with a growing mismatch amongst the less cited articles. While both metrics are reliable for evaluating the prestige of articles such as Nobel Prize winning articles, ASP tends to provide more persuasive rankings than #Cit when the articles are not highly cited. The journal grade, that is eventually determined by a few highly cited articles, is unable to properly reflect the scientific impact of individual articles. The number of references and coauthors are less relevant to scientific impact, but subjects do make a difference.


title: Conscious Commerce -- Digital Nudging and Sustainable E-commerce Purchase Decisions

abstract: So-called 'fast fashion' consumption, amplified through cost-effective e-commerce, constitutes a major factor negatively impacting climate change. A recently noted strategy to motivate consumers to more sustainable decisions is digital nudging. This paper explores the capability of digital nudging in the context of green fashion e-commerce. To do so, digital default and social norm nudges are tested in an experimental setting of green fashion purchases. An online experiment (n=320) was conducted, simulating an online retail scenario. Results failed to show statistically significant relationships between nudging strategies and purchase decisions. However, explorative analyses show a backfiring effect for the combination of nudges and thus, reveal a hitherto neglected impact of participants' identification on the effectiveness of the digital nudging strategies. Consequently, this study contributes to digital nudging literature and informs practice with new insights on effective choice architectures in e-commerce.


title: Distance learning as innovation technology of school geographical education

abstract: The article substantiates the necessity of using innovative technologies in the process of studying and teaching geographical disciplines at secondary schools. Particular attention is paid to distance learning as a pedagogical innovation, its theoretical aspects and the ways of its introduction into the educational process. The relevance of using distance learning at the New Ukrainian School is proved. Its advantages and disadvantages are revealed. The examples of some forms of distance learning that will contribute to geographical competence development according to European requirements are provided. The article particularly focuses on the Massive Open Online Courses, modern websites, virtual portals of individual teachers, LearningApps.org portal, and Moodle.


title: Retrieving cosmological information from small-scale CMB foregrounds II. The kinetic Sunyaev Zel'dovich effect

abstract: Recent results of ground-based telescopes, giving high-quality measurements of the CMB temperature power spectrum on small scales motivate the need for an accurate model of foregrounds, which dominate the primary signal at these multipoles. In a previous work, we have shown that cosmological information could be retrieved from the power spectrum of the thermal SZ effect. In this work, we introduce a physically motivated model of the Epoch of Reionisation in the cosmological analysis of CMB data, which is coherent on all scales. In particular, at high multipoles, the power spectrum of the kinetic SZ (kSZ) effect is inferred from a set of cosmological and reionisation parameters by a machine-learning algorithm. First including an asymmetric parameterisation of the reionisation history in the Planck 2018 data analysis, we retrieve a value of the optical depth consistent with previous results, but stemming from a completely different history of reionisation in which the first luminous sources light up as early as $z=15$. Considering the latest small-scale data from the SPT and letting the cosmology free to vary, we find that including the new cosmology-dependent SZ spectra helps tighten the constraints on their amplitudes by breaking their degeneracy. We report a $5\sigma$ measurement of the kSZ signal at $\ell=3000$, $\mathcal{D}_{3000}^\mathrm{kSZ} = 3.4^{+0.5}_{-0.3}\,\mu\mathrm{K}^2$ at the 68% confidence level, marginalised over cosmology, as well as an upper limit on the patchy signal from reionisation $\mathcal{D}_{3000}^\mathrm{pkSZ}<1.6~\mu\mathrm{K}^2$ (95% C.L.). Additionally, we find that the SPT data favour slightly earlier reionisation scenarios than Planck, leading to $\tau = 0.062 ^{+0.012}_{-0.015}$ and a reionisation midpoint $z_\mathrm{re} = 7.9^{+1.1}_{-1.3}$ (68% C.L.), which is in line with constraints from high-redshift quasars and galaxies.


title: How Do Smart Contracts Benefit Security Protocols?

abstract: Smart contracts have recently been adopted by many security protocols. However, existing studies lack satisfactory theoretical support on how contracts benefit security protocols. This paper aims to give a systematic analysis of smart contract (SC)-based security protocols to fulfill the gap of unclear arguments and statements. We firstly investigate \textit{state of the art studies} and establish a formalized model of smart contract protocols with well-defined syntax and assumptions. Then, we apply our formal framework to two concrete instructions to explore corresponding advantages and desirable properties. Through our analysis, we abstract three generic properties (\textit{non-repudiation, non-equivocation, and non-frameability}) and accordingly identify two patterns. (1) a smart contract can be as an autonomous subscriber to assist the trusted third party (TTP); (2) a smart contract can replace traditional TTP. To the best of our knowledge, this is the first study to provide in-depth discussions of SC-based security protocols from a strictly theoretical perspective.


title: Detecting and Learning the Unknown in Semantic Segmentation

abstract: Semantic segmentation is a crucial component for perception in automated driving. Deep neural networks (DNNs) are commonly used for this task and they are usually trained on a closed set of object classes appearing in a closed operational domain. However, this is in contrast to the open world assumption in automated driving that DNNs are deployed to. Therefore, DNNs necessarily face data that they have never encountered previously, also known as anomalies, which are extremely safety-critical to properly cope with. In this work, we first give an overview about anomalies from an information-theoretic perspective. Next, we review research in detecting semantically unknown objects in semantic segmentation. We demonstrate that training for high entropy responses on anomalous objects outperforms other recent methods, which is in line with our theoretical findings. Moreover, we examine a method to assess the occurrence frequency of anomalies in order to select anomaly types to include into a model's set of semantic categories. We demonstrate that these anomalies can then be learned in an unsupervised fashion, which is particularly suitable in online applications based on deep learning.


title: Revisiting reopened bugs in open source software systems

abstract: Reopened bugs can degrade the overall quality of a software system since they require unnecessary rework by developers. Moreover, reopened bugs also lead to a loss of trust in the end-users regarding the quality of the software. Thus, predicting bugs that might be reopened could be extremely helpful for software developers to avoid rework. Prior studies on reopened bug prediction focus only on three open source projects (i.e., Apache, Eclipse, and OpenOffice) to generate insights. We observe that one out of the three projects (i.e., Apache) has a data leak issue -- the bug status of reopened was included as training data to predict reopened bugs. In addition, prior studies used an outdated prediction model pipeline (i.e., with old techniques for constructing a prediction model) to predict reopened bugs. Therefore, we revisit the reopened bugs study on a large scale dataset consisting of 47 projects tracked by JIRA using the modern techniques such as SMOTE, permutation importance together with 7 different machine learning models. We study the reopened bugs using a mixed methods approach (i.e., both quantitative and qualitative study). We find that: 1) After using an updated reopened bug prediction model pipeline, only 34% projects give an acceptable performance with AUC >= 0.7. 2) There are four major reasons for a bug getting reopened, that is, technical (i.e., patch/integration issues), documentation, human (i.e., due to incorrect bug assessment), and reasons not shown in the bug reports. 3) In projects with an acceptable AUC, 94% of the reopened bugs are due to patch issues (i.e., the usage of an incorrect patch) identified before bug reopening. Our study revisits reopened bugs and provides new insights into developer's bug reopening activities.


title: A Two-Stage U-Net for High-Fidelity Denoising of Historical Recordings

abstract: Enhancing the sound quality of historical music recordings is a long-standing problem. This paper presents a novel denoising method based on a fully-convolutional deep neural network. A two-stage U-Net model architecture is designed to model and suppress the degradations with high fidelity. The method processes the time-frequency representation of audio, and is trained using realistic noisy data to jointly remove hiss, clicks, thumps, and other common additive disturbances from old analog discs. The proposed model outperforms previous methods in both objective and subjective metrics. The results of a formal blind listening test show that real gramophone recordings denoised with this method have significantly better quality than the baseline methods. This study shows the importance of realistic training data and the power of deep learning in audio restoration.


title: Robust Frequency Constrained UC Using Data Driven Logistic Regression for Island Power Systems

abstract: In the current practice of short-term power scheduling, online power reserves are used to address generation mismatches and contingencies. Neither online inertia nor the speed of the committed units is considered in the scheduling process. With the increasing injection of uncertain renewable energy sources, this practice is starting to fall short especially in island power systems, where the primary frequency response is already scarce, and any contingency leads to potentially poor frequency response. This paper introduces a data driven linear constraint to improve the post-fault frequency quality in island power systems. A coherent initial data-set is obtained by simulating the system frequency response of single outages. Then logistic regression is employed as a predictive analytic procedure to differentiate the acceptable and unacceptable incidents. To compare the conventional methods with the proposed approach and also to handle the uncertain nature of renewable energy generation, an adaptive robust unit commitment formulation is utilized. Results for the island power system of La Palma show that depending on the chosen cut-point on the logistic regression estimation the proposed method can improve the frequency response quality of the system while reducing the operation costs.


title: A Bi-Criteria FPTAS for Scheduling with Memory Constraints on Graph with Bounded Tree-width

abstract: In this paper we study a scheduling problem arising from executing numerical simulations on HPC architectures. With a constant number of parallel machines, the objective is to minimize the makespan under memory constraints for the machines. Those constraints come from a neighborhood graph G for the jobs. Motivated by a previous result on graphs G with bounded path-width, our focus is on the case when the neighborhood graph G has bounded tree-width. Our result is a bi-criteria fully polynomial time approximation algorithm based on a dynamic programming algorithm. It allows to find a solution within a factor of 1 + epsilon of the optimal makespan, where the memory capacity of the machines may be exceeded by a factor at most 1 + epsilon. This result relies on the use of a nice tree decomposition of G and its traversal in a specific way which may be useful on its own. The case of unrelated machines is also tractable with minor modifications.


title: Effects of isoscalar- and isovector-scalar meson mixing on neutron star structure

abstract: Based on the accurately calibrated interaction FSUGold, we show that including isovector scalar $\delta$ meson and its coupling to isoscalar scalar $\sigma$ meson in the relativistic mean field (RMF) model can soften the symmetry energy $E_{\rm{sym}}(n)$ at intermediate densities while stiffen the $E_{\rm{sym}}(n)$ at high densities. We find this new RMF model can be simultaneously compatible with (1) the constraints on the equation of state of symmetric nuclear matter at suprasaturation densities from flow data in heavy-ion collisions, (2) the neutron skin thickness of $^{208}$Pb from the PREX-II experiment, (3) the largest mass of neutron star (NS) reported so far from PSR J0740+6620, (4) the limit of $\Lambda_{1.4}\leq580$ for the dimensionless tidal deformability of the canonical 1.4$M_{\odot}$ NS from the gravitational wave signal GW170817, (5) the mass-radius relation of PSR J0030+0451 and PSR J0740+6620 measured by NICER, and thus remove the tension between PREX-II and GW170817 observed in the conventional RMF model.


title: Distributed Machine-Learning for Early HARQ Feedback Prediction in Cloud RANs

abstract: In this work, we propose novel HARQ prediction schemes for Cloud RANs (C-RANs) that use feedback over a rate-limited feedback channel (2 - 6 bits) from the Remote Radio Heads (RRHs) to predict at the User Equipment (UE) the decoding outcome at the BaseBand Unit (BBU) ahead of actual decoding. In particular, we propose a Dual Autoencoding 2-Stage Gaussian Mixture Model (DA2SGMM) that is trained in an end-to-end fashion over the whole C-RAN setup. Using realistic link-level simulations in the sub-THz band at 100 GHz, we show that the novel DA2SGMM HARQ prediction scheme clearly outperforms all other adapted and state-of-the-art schemes. The DA2SGMM shows a superior performance in terms of blockage detection as well as HARQ prediction in the no-blockage and single-blockage cases. In particular, the DA2SGMM with 4~bit feedback achieves a more than 200 % higher throughput in average compared to its best alternative. Compared to regular HARQ, the DA2SGMM reduces the maximum transmission latency by more than 72.4 %, while maintaining more than 75 % of the throughput in the no-blockage scenario. In the single-blockage scenario, DA2SGMM significantly increases the throughput for most of the evaluated Signal-to-Noise-Ratios (SNRs) compared to regular HARQ.


title: Synchronization induced by directed higher-order interactions

abstract: Non-reciprocal interactions play a crucial role in many social and biological complex systems. While directionality has been thoroughly accounted for in networks with pairwise interactions, its effects in systems with higher-order interactions have not yet been explored as deserved. Here, we introduce the concept of M-directed hypergraphs, a general class of directed higher-order structures, which allow to investigate dynamical systems coupled through directed group interactions. As an application we study the synchronization of nonlinear oscillators on 1-directed hypergraphs, finding that directed higher-order interactions can destroy synchronization, but also stabilize otherwise unstable synchronized states.


title: Learning stochastic dynamics and predicting emergent behavior using transformers

abstract: We show that a neural network originally designed for language processing can learn the dynamical rules of a stochastic system by observation of a single dynamical trajectory of the system, and can accurately predict its emergent behavior under conditions not observed during training. We consider a lattice model of active matter undergoing continuous-time Monte Carlo dynamics, simulated at a density at which its steady state comprises small, dispersed clusters. We train a neural network called a transformer on a single trajectory of the model. The transformer, which we show has the capacity to represent dynamical rules that are numerous and nonlocal, learns that the dynamics of this model consists of a small number of processes. Forward-propagated trajectories of the trained transformer, at densities not encountered during training, exhibit motility-induced phase separation and so predict the existence of a nonequilibrium phase transition. Transformers have the flexibility to learn dynamical rules from observation without explicit enumeration of rates or coarse-graining of configuration space, and so the procedure used here can be applied to a wide range of physical systems, including those with large and complex dynamical generators.


title: Explicitly correlated electronic structure calculations with transcorrelated matrix product operators

abstract: In this work, we present the first implementation of the transcorrelated electronic Hamiltonian in an optimization procedure for matrix product states by the density matrix renormalization group (DMRG) algorithm. In the transcorrelation ansatz, the electronic Hamiltonian is similarity-transformed with a Jastrow factor to describe the cusp in the wave function at electron-electron coalescence. As a result, the wave function is easier to approximate accurately with the conventional expansion in terms of one-particle basis functions and Slater determinants. The transcorrelated Hamiltonian in first quantization comprises up to three-body interactions, which we deal with in the standard way by applying robust density fitting to two- and three-body integrals entering the second-quantized representation of this Hamiltonian. The lack of hermiticity of the transcorrelated Hamiltonian is taken care of along the lines of the first work on transcorrelated DMRG [J. Chem. Phys. 153, 164115 (2020)] by encoding it as a matrix product operator and optimizing the corresponding ground state wave function with imaginary-time time-dependent DMRG. We demonstrate our quantum chemical transcorrelated DMRG approach at the example of several atoms and first-row diatomic molecules. We show that transcorrelation improves the convergence rate to the complete basis set limit in comparison to conventional DMRG. Moreover, we study extensions of our approach that aim at reducing the cost of handling the matrix product operator representation of the transcorrelated Hamiltonian.

categories: physics.chem-ph cond-mat.str-el physics.atom-ph physics.comp-ph


title: Sampling and Reconstructing Angular Domains with Uniform Arrays

abstract: The surge of massive antenna arrays in wireless networks calls for the adoption of analog/hybrid array solutions, where multiple antenna elements are driven by a common radio front end to form a beam along a specific angle in order to maximize the beamforming gain. Many heuristics have been proposed to sample the angular domain by trading off between sampling step size and overhead, where arbitrarily small angular step size is only attainable with infinite sampling overhead. We show that, for uniform linear and rectangular arrays, lossless reconstruction of the array's angular responses at arbitrary angular precision is possible using a finite number of samples without resorting to assumptions of angular sparsity. The proposed method, sampling and reconstructing angular domain (SARA), defines how many and which angles to be sampled and the corresponding reconstruction. This general solution to scan the angular domain can therefore be applied not only to beam acquisition and channel estimation, but also to radio imaging techniques, making it a candidate for future integrated sensing and communications (ISAC). Extensive simulation results for target detection and radio imaging have demonstrated clear advantages of SARA versus other considered baselines, both in terms of angular reconstruction performance and computational complexity.


title: The Iterates of the Frank-Wolfe Algorithm May Not Converge

abstract: The Frank-Wolfe algorithm is a popular method for minimizing a smooth convex function $f$ over a compact convex set $\mathcal{C}$. While many convergence results have been derived in terms of function values, hardly nothing is known about the convergence behavior of the sequence of iterates $(x_t)_{t\in\mathbb{N}}$. Under the usual assumptions, we design several counterexamples to the convergence of $(x_t)_{t\in\mathbb{N}}$, where $f$ is $d$-time continuously differentiable, $d\geq2$, and $f(x_t)\to\min_\mathcal{C}f$. Our counterexamples cover the cases of open-loop, closed-loop, and line-search step-size strategies. We do not assume \emph{misspecification} of the linear minimization oracle and our results thus hold regardless of the points it returns, demonstrating the fundamental pathologies in the convergence behavior of $(x_t)_{t\in\mathbb{N}}$.


title: Mining On Alzheimer's Diseases Related Knowledge Graph to Identity Potential AD-related Semantic Triples for Drug Repurposing

abstract: To date, there are no effective treatments for most neurodegenerative diseases. Knowledge graphs can provide comprehensive and semantic representation for heterogeneous data, and have been successfully leveraged in many biomedical applications including drug repurposing. Our objective is to construct a knowledge graph from literature to study relations between Alzheimer's disease (AD) and chemicals, drugs and dietary supplements in order to identify opportunities to prevent or delay neurodegenerative progression. We collected biomedical annotations and extracted their relations using SemRep via SemMedDB. We used both a BERT-based classifier and rule-based methods during data preprocessing to exclude noise while preserving most AD-related semantic triples. The 1,672,110 filtered triples were used to train with knowledge graph completion algorithms (i.e., TransE, DistMult, and ComplEx) to predict candidates that might be helpful for AD treatment or prevention. Among three knowledge graph completion models, TransE outperformed the other two (MR = 13.45, Hits@1 = 0.306). We leveraged the time-slicing technique to further evaluate the prediction results. We found supporting evidence for most highly ranked candidates predicted by our model which indicates that our approach can inform reliable new knowledge. This paper shows that our graph mining model can predict reliable new relationships between AD and other entities (i.e., dietary supplements, chemicals, and drugs). The knowledge graph constructed can facilitate data-driven knowledge discoveries and the generation of novel hypotheses.


title: Algorithmic Fair Allocation of Indivisible Items: A Survey and New Questions

abstract: The theory of algorithmic fair allocation is within the center of multi-agent systems and economics in the last decade due to its industrial and social importance. At a high level, the problem is to assign a set of items that are either goods or chores to a set of agents so that every agent is happy with what she obtains. Particularly, in this survey, we focus on indivisible items, for which absolute fairness such as envy-freeness and proportionality cannot be guaranteed. One main theme in the recent research agenda is about designing algorithms that approximately achieve the fairness criteria. We aim at presenting a comprehensive survey of recent progresses through the prism of algorithms, highlighting the ways to relax fairness notions and common techniques to design algorithms, as well as the most interesting questions for future research.


title: Direct measurement of the distribution of dark matter with strongly lensed gravitational waves

abstract: In this Letter, we present a new idea of probing the distribution of dark matter exhibiting elastic and velocity-independent self-interactions. These interactions might be revealed in multiple measurements of strongly lensed gravitational waves, which can be observationally explored to determine the strength of self-scatterings. Specifically, each individual galactic-scale strong-lensing system whose source is a coalescing compact binary emitting gravitational waves will provide a model-independent measurement of the shear viscosity of dark matter along the line of sight. These individual measurements could be a probe of large-scale distribution of dark matter and its properties. Our results indicate that with 10-1000 strongly lensed gravitational waves from ET and DECIGO, robust constraints on the large-scale distribution of self-interacting dark matter might be produced. More stringent limits on the dark matter scattering cross-section per unit mass ($\sigma_{\chi}/m_{\chi}$) relevant to galaxy and cluster scales are also expected, compared with the conservative estimates obtained in the electromagnetic domain. Finally, we discuss the effectiveness of our method in the context of self-interacting dark matter particle physics.


title: Primal and mixed finite element formulations for the relaxed micromorphic model

abstract: The classical Cauchy continuum theory is suitable to model highly homogeneous materials. However, many materials, such as porous media or metamaterials, exhibit a pronounced microstructure. As a result, the classical continuum theory cannot capture their mechanical behaviour without fully resolving the underlying microstructure. In terms of finite element computations, this can be done by modelling the entire body, including every interior cell. The relaxed micromorphic continuum offers an alternative method by instead enriching the kinematics of the mathematical model. The theory introduces a microdistortion field, encompassing nine extra degrees of freedom for each material point. The corresponding elastic energy functional contains the gradient of the displacement field, the microdistortion field and its Curl (the micro-dislocation). Therefore, the natural spaces of the fields are $[\mathit{H}^1]^3$ for the displacement and $[\mathit{H}(\mathrm{curl})]^3$ for the microdistortion, leading to unusual finite element formulations. In this work we describe the construction of appropriate finite elements using N\'ed\'elec and Raviart-Thomas subspaces, encompassing solutions to the orientation problem and the discrete consistent coupling condition. Further, we explore the numerical behaviour of the relaxed micromorphic model for both a primal and a mixed formulation. The focus of our benchmarks lies in the influence of the characteristic length $L_\mathrm{c}$ and the correlation to the classical Cauchy continuum theory.


title: Final results on the $0\nu\beta\beta$ decay half-life limit of $^{100}$Mo from the CUPID-Mo experiment

abstract: The CUPID-Mo experiment to search for 0$\nu\beta\beta$ decay in $^{100}$Mo has been recently completed after about 1.5 years of operation at Laboratoire Souterrain de Modane (France). It served as a demonstrator for CUPID, a next generation 0$\nu\beta\beta$ decay experiment. CUPID-Mo was comprised of 20 enriched Li$_2$$^{100}$MoO$_4$ scintillating calorimeters, each with a mass of $\sim$ 0.2 kg, operated at $\sim$20 mK. We present here the final analysis with the full exposure of CUPID-Mo ($^{100}$Mo exposure of 1.47 kg$\times$yr) used to search for lepton number violation via 0$\nu\beta\beta$ decay. We report on various analysis improvements since the previous result on a subset of data, reprocessing all data with these new techniques. We observe zero events in the region of interest and set a new limit on the $^{100}$Mo 0$\nu\beta\beta$ decay half-life of $T^{0\nu}_{1/2} > 1.8 \times 10^{24}$ year (stat.+syst.) at 90% CI. Under the light Majorana neutrino exchange mechanism this corresponds to an effective Majorana neutrino mass of $\left<m_{\beta \beta}\right> < (0.28$--$0.49)$ eV, dependent upon the nuclear matrix element utilized.


title: Level set based particle filter driven by optical flow: an application to track the salt boundary from X-ray CT time-series

abstract: Image-based computational fluid dynamics have long played an important role in leveraging knowledge and understanding of several physical phenomena. In particular, probabilistic computational methods have opened the way to modelling the complex dynamics of systems in purely random turbulent motion. In the field of structural geology, a better understanding of the deformation and stress state both within the salt and the surrounding rocks is of great interest to characterize all kinds of subsurface long-terms energy-storage systems. The objective of this research is to determine the non-linear deformation of the salt boundary over time using a parallelized, stochastic filtering approach from x-ray computed tomography (CT) image time series depicting the evolution of salt structures triggered by gravity and under differential loading. This work represents a first step towards bringing together physical modeling and advanced stochastic image processing methods where model uncertainty is taken into account.


title: A Deterministic Pathogen Transmission Model Based on High-Fidelity Physics

abstract: A deterministic pathogen transmission model based on high-fidelity physics has been developed. The model combines computational fluid dynamics and computational crowd dynamics in order to be able to provide accurate tracing of viral matter that is exhaled, transmitted and inhaled via aerosols. The examples shown indicate that even with modest computing resources, the propagation and transmission of viral matter can be simulated for relatively large areas with thousands of square meters, hundreds of pedestrians and several minutes of physical time. The results obtained and insights gained from these simulations can be used to inform global pandemic propagation models, increasing substantially their accuracy.

categories: math.NA cs.NA physics.bio-ph physics.flu-dyn


title: Differential Geometry of Contextuality

abstract: Contextuality has been related for a long time as a topological phenomenon. In this work, such a relationship is exposed in the more general framework of generalized contextuality. The main idea is to identify states, effects, and transformations as vectors living in a tangent space, and the non-contextual conditions as discrete closed paths implying null vertical phases. Two equivalent interpretations hold. The geometrical or realistic view, where flat space is imposed, implies that the contextual behavior becomes equivalent to the curvature (non-trivial holonomy) of the probabilistic functions, in analogy with the electromagnetic tensor; as a modification of the valuation function, it can be used to connect contextuality with interference, non-commutativity, and signed measures. The topological or anti-realistic view, where the valuation functions must be preserved, implies that the contextual behavior can be translated as topological failures (non-trivial monodromy); it can be used to connect contextuality with non-embeddability and a generalized Voroby'ev theorem. Both views can be related to contextual fraction, and the disturbance in ontic models can be presented as non-trivial transition maps.


title: Exact densities of loops in O(1) dense loop model and of clusters in critical percolation on a cylinder II: rotated lattice

abstract: This work continues the study started in \cite{Povolotsky2021}, where the exact densities of loops in the O(1) dense loop model on an infinite strip of the square lattice with periodic boundary conditions were obtained. These densities are also equal to the densities of critical percolation clusters on the forty five degree rotated square lattice rolled into a cylinder. Here, we extend those results to the square lattice with a tilt. This in particular allow us to obtain the densities of critical percolation clusters on the cylinder of the square lattice of standard orientation extensively studied before. We obtain exact densities of contractible and non-contractible loops or equivalently the densities of critical percolation clusters, which do not and do wrap around the cylinder respectively. The solution uses the mapping of O(1) dense loop model to the six-vertex model in the Razumov-Stroganov point, while the effective tilt is introduced via the the inhomogeneous transfer matrix proposed by Fujimoto. The further solution is based on the Bethe ansatz and Fridkin-Stroganov-Zagier's solution of the Baxter's T-Q equation. The results are represented in terms of the solution of two explicit systems of linear algebraic equations, which can be performed either analytically for small circumferences of the cylinder or numerically for larger ones. We present exact rational values of the densities on the cylinders of small circumferences and several lattice orientations and use the results of high precision numerical calculations to study the finite-size corrections to the densities, in particular their dependence on the tilt of the lattice.

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


title: Game Theoretic Models for Profit-Sharing in Multi-fleet Platoons

abstract: Profit-sharing is needed within platoons in order for competing transportation companies to collaborate in forming platoons. In this paper, we propose distribution models of the profit designed for vehicles that are located at the same origin and are operated by competing transportation companies. The vehicles have default departure times, but can decide to depart at other times in order to benefit from platooning. We model the strategic interaction among vehicles with game theory and consider pure Nash equilibria as the solution concept. In a numerical evaluation we compare the outcomes of the games associated with different distribution models of the profit.


title: Dimension Reduction via Supervised Clustering of Regression Coefficients: A Review

abstract: The development and use of dimension reduction methods is prevalent in modern statistical literature. This paper reviews a class of dimension reduction techniques which aim to simultaneously select relevant predictors and find clusters within them which share a common effect on the response. Such methods have been shown to have superior performance relative to OLS estimates and the lasso [Tibshirani, 1996] especially when multicollinearity in the predictors is present. Their applications, which include genetics, epidemiology, and fMRI studies, are also discussed.


title: Local exact controllability of the 1D nonlinear Schr\"odinger equation in the case of Dirichlet boundary conditions

abstract: We consider the 1D nonlinear Schr\"odinger equation with bilinear control. In the case of Neumann boundary conditions, local exact controllability of this equation near the ground state has been proved by Beauchard and Laurent in arXiv:1001.3288. In this paper, we study the case of Dirichlet boundary conditions. To establish the controllability of the linearised equation, we use a bilinear control acting through four directions: three Fourier modes and one generic direction. The Fourier modes are appropriately chosen so that they satisfy a saturation property. These modes allow to control approximately the linearised Schr\"odinger equation. We show that the reachable set for the linearised equation is closed. This is achieved by representing the resolving operator as a sum of two linear continuous mappings: one is surjective (here the control in generic direction is used) and the other is compact. A mapping with dense and closed image is surjective, so the linearised Schr\"odinger equation is exactly controllable. Then local exact controllability of the nonlinear equation is derived using the inverse mapping theorem.


title: Real-Time Cross-Fleet Pareto-Improving Truck Platoon Coordination

abstract: This paper studies a multi-fleet platoon coordination system in transport networks that deploy hubs to form trucks into platoons. The trucks belong to different fleets that are interested in increasing their profits by platooning across fleets. The profit of each fleet incorporates platooning rewards and costs for waiting at hubs. Each truck has a fixed route and a waiting time budget to spend at the hubs along its route. To ensure that all fleets are willing to participate in the system, we develop a cross-fleet Pareto-improving coordination strategy that guarantees higher fleet profits than a coordination strategy without cross-fleet platoons. By leveraging multiple hubs for platoon formation, the coordination strategy can be implemented in a real-time and distributed fashion while largely reducing the amount of travel information to be shared for system-wide coordination. We evaluate the proposed strategy in a simulation study over the Swedish transportation network. The cross-fleet platooning strategy significantly improves fleets' profits compared with single-fleet platooning, especially the profits from smaller fleets. The cross-fleet platooning strategy also shows strong competitiveness in terms of the system-wide profit compared to the case when a system planner optimizes all fleets' total profit.


title: A Completeness Result for Inequational Reasoning in a Full Higher-Order Setting

abstract: This paper obtains a completeness result for inequational reasoning with applicative terms without variables in a setting where the intended semantic models are the full structures, the full type hierarchies over preorders for the base types. The syntax allows for the specification that a given symbol be interpreted as a monotone function, or an antitone function, or both. There is a natural set of five rules for inequational reasoning. One can add variables and also add a substitution rule, but we observe that this logic would be incomplete for full structures. This is why the completeness result in this paper pertains to terms without variables. Since the completeness is already known for the class of general (Henkin) structures, we are interested in full structures. We present a completeness theorem. Our result is not optimal because we restrict to base preorders which have a weak completeness property: every pair of elements has an upper bound and a lower bound. To compensate we add several rules to the logic. We also present extensions and variations of our completeness result.


title: Calorimetry of a Quantum Phase Slip

abstract: In a Josephson junction, which is the central element in superconducting quantum technology, irreversibility arises from abrupt slips of the gauge-invariant quantum phase difference across the contact. A quantum phase slip (QPS) is often visualized as the tunneling of a flux quantum in the transverse direction to the superconducting weak link, which produces dissipation. In this work, we detect the instantaneous heat release caused by a QPS in a Josephson junction using time-resolved electron thermometry on a nanocalorimeter, signaled by an abrupt increase of the local electronic temperature in the weak link and subsequent relaxation back to equilibrium. Beyond providing a cornerstone in experimental quantum thermodynamics in form of observation of heat in an elementary quantum process, this result sets the ground for experimentally addressing the ubiquity of dissipation, including that in superconducting quantum sensors and qubits.


title: The porous medium equation with large data on Cartan-Hadamard manifolds under general curvature bounds

abstract: We consider very weak solutions of the Cauchy problem for the porous medium equation on Cartan-Hadamard manifolds, that are assumed to satisfy general curvature bounds and to be stochastically complete. We identify a class of initial data that can grow at infinity at a prescribed rate, which depends on the assumed curvature bounds through an integral function, such that the corresponding solution exists at least on $[0,T]$ for a suitable $T>0$. The maximal existence time $T$ is estimated in terms of a suitable weighted norm of the initial datum. Our results are sharp, in the sense that slower growth rates yield global existence, whereas one can construct data with critical growth for which the corresponding solutions blow up in finite time. Under further assumptions, uniqueness of very weak solutions is also proved, in the same growth class.


title: Nonparametric extensions of randomized response for private confidence sets

abstract: This work derives methods for performing nonparametric, nonasymptotic statistical inference for population means under the constraint of local differential privacy (LDP). Given bounded observations $(X_1, \dots, X_n)$ with mean $\mu^\star$ that are privatized into $(Z_1, \dots, Z_n)$, we present confidence intervals (CI) and time-uniform confidence sequences (CS) for $\mu^\star$ when only given access to the privatized data. To achieve this, we introduce a nonparametric and sequentially interactive generalization of Warner's famous ``randomized response'' mechanism, satisfying LDP for arbitrary bounded random variables, and then provide CIs and CSs for their means given access to the resulting privatized observations. For example, our results yield private analogues of Hoeffding's inequality in both fixed-time and time-uniform regimes. We extend these Hoeffding-type CSs to capture time-varying (non-stationary) means, and conclude by illustrating how these methods can be used to conduct private online A/B tests.


title: Gate-tunable kinetic inductance in proximitized nanowires

abstract: We report the detection of a gate-tunable kinetic inductance in a hybrid InAs/Al nanowire. For this purpose, we have embedded the nanowire into a quarter-wave coplanar waveguide resonator and measured the resonance frequency of the circuit. We find that the resonance frequency can be changed via the gate voltage that controls the electron density of the proximitized semiconductor and thus the nanowire inductance. Applying Mattis-Bardeen theory, we extract the gate dependence of the normal state conductivity of the nanowire, as well as its superconducting gap. Our measurements complement existing characterization methods for hybrid nanowires and provide a new and useful tool for gate-controlled superconducting electronics.


title: Colonoscopy polyp detection with massive endoscopic images

abstract: We improved an existing end-to-end polyp detection model with better average precision validated by different data sets with trivial cost on detection speed. Our previous work on detecting polyps within colonoscopy provided an efficient end-to-end solution to alleviate doctor's examination overhead. However, our later experiments found this framework is not as robust as before as the condition of polyp capturing varies. In this work, we conducted several studies on data set, identifying main issues that causes low precision rate in the task of polyp detection. We used an optimized anchor generation methods to get better anchor box shape and more boxes are used for detection as we believe this is necessary for small object detection. A alternative backbone is used to compensate the heavy time cost introduced by dense anchor box regression. With use of the attention gate module, our model can achieve state-of-the-art polyp detection performance while still maintain real-time detection speed.


title: Tractable semidefinite bounds of positive maximal singular values

abstract: We focus on computing certified upper bounds for the positive maximal singular value (PMSV) of a given matrix. The PMSV problem boils down to maximizing a quadratic polynomial on the intersection of the unit sphere and the nonnegative orthant. We provide a hierarchy of tractable semidefinite relaxations to approximate the value of the latter polynomial optimization problem as closely as desired. This hierarchy is based on an extension of P\'olya's representation theorem. Doing so, positive polynomials can be decomposed as weighted sums of squares of $s$-nomials, where $s$ can be a priori fixed ($s=1$ corresponds to monomials, $s=2$ corresponds to binomials, etc.). This in turn allows us to control the size of the resulting semidefinite relaxations.


title: In-medium hadronization of heavy quarks and its effect on charmed meson and baryon distributions in heavy-ion collisions

abstract: We present a new model for the description of heavy-quark hadronization in relativistic heavy-ion collisions in the presence of a reservoir of lighter thermal particles with which recombination can occur leading to the formation of color-singlet clusters. Color neutralization is assumed to occur locally, within the same fluid cell occupied by the heavy quark and it proceeds via the recombination of the latter with light antiquarks (quarks) or diquarks (anti-diquarks), which are assumed to be present in the medium with thermal abundance as effective degrees of freedom around the QCD crossover temperature $T_c$. Typically the resulting color-singlet clusters have quite low invariant mass, in most of the cases below 4 GeV, and in this case they are assumed to undergo an isotropic 2-body decay in their local rest-frame. Heavier clusters are instead fragmented as Lund strings. The possibility of recombination with light diquarks enhances the yields of charmed baryons, in qualitative agreement with recent measurements. The assumption of local color neutralization leads to a strong space-momentum correlation, which provides a substantial enhancement of the collective flow of the final-state charmed hadrons, affecting both their momentum and their angular distributions


title: Geometric structure guided model and algorithms for complete deconvolution of gene expression data

abstract: Complete deconvolution analysis for bulk RNAseq data is important and helpful to distinguish whether the difference of disease-associated GEPs (gene expression profiles) in tissues of patients and normal controls are due to changes in cellular composition of tissue samples, or due to GEPs changes in specific cells. One of the major techniques to perform complete deconvolution is nonnegative matrix factorization (NMF), which also has a wide-range of applications in the machine learning community. However, the NMF is a well-known strongly ill-posed problem, so a direct application of NMF to RNAseq data will suffer severe difficulties in the interpretability of solutions. In this paper we develop an NMF-based mathematical model and corresponding computational algorithms to improve the solution identifiability of deconvoluting bulk RNAseq data. In our approach, we combine the biological concept of marker genes with the solvability conditions of the NMF theories, and develop a geometric structured guided optimization model. In this strategy, the geometric structure of bulk tissue data is first explored by the spectral clustering technique. Then, the identified information of marker genes is integrated as solvability constraints, while the overall correlation graph is used as manifold regularization. Both synthetic and biological data are used to validate the proposed model and algorithms, from which solution interpretability and accuracy are significantly improved.


title: Conjugate priors and bias reduction for logistic regression models

abstract: Logistic regression models for binomial responses are routinely used in statistical practice. However, the maximum likelihood estimate may not exist due to data separability. We address this issue by considering a conjugate prior penalty which always produces finite estimates. Such a specification has a clear Bayesian interpretation and enjoys several invariance properties, making it an appealing prior choice. We show that the proposed method leads to an accurate approximation of the reduced-bias approach of Firth (1993), resulting in estimators with smaller asymptotic bias than the maximum-likelihood and whose existence is always guaranteed. Moreover, the considered penalized likelihood can be expressed as a genuine likelihood, in which the original data are replaced with a collection of pseudo-counts. Hence, our approach may leverage well established and scalable algorithms for logistic regression. We compare our estimator with alternative reduced-bias methods, vastly improving their computational performance and achieving appealing inferential results.


title: New self-consistent wind parameters fitting optical spectra of O-type stars observed with HERMES spectrograph

abstract: We perform spectral fitting for a set of O-type stars based on self-consistent wind solutions, which provide mass-loss rate and velocity profiles directly derived from the initial stellar parameters. The great advantage of this self-consistent spectral fitting is therefore the reduction of the number of free parameters to be tuned. Self-consistent values for the line-force parameters (k,alpha,delta) and subsequently for the mass-loss rate and terminal velocity are provided by the m-CAK prescription introduced in Paper I, updated in this work with improvements such as a temperature structure for the wind, self-consistently evaluated from the line-acceleration. Synthetic spectra are calculated using the radiative transfer code FASTWIND, replacing the classical beta-law for our new calculated velocity profiles. We found that self-consistent m-CAK solutions provide values for theoretical mass-loss rates on the order of the most recent predictions of other studies. From here, we generate synthetic spectra with self-consistent hydrodynamics to fit and obtain a new set of stellar and wind parameters for our sample of O-type stars whose spectra was taken with the high resolution echelle spectrograph HERMES (R=85000). We find a satisfactory global fit for our observations, with good accuracy for photospheric He I and He II lines and a quite acceptable fit for H lines. Although this self-consistent spectral analysis is currently constrained in the optical wavelength range only, this is an important step towards the determination of stellar and wind parameters without using a beta-law. Given these results, we expect that the values introduced here should be helpful for future studies about the stars constituting this sample, together with the prospective that the m-CAK self-consistent prescription be extended to numerous studies about massive stars in future.


title: Magic radius of AA bilayer graphene quantum dot

abstract: We study analytically and numerically electronic properties of a circular quantum dot made from AA bilayer graphene. We observe a discrete set of dot radii for which the low-energy electron states are degenerate with respect to the layer parity. By analogy with the ``magic angles" in the twisted bilayer graphene we refer to these radii as ``magic". Such a feature is unique for the AA structures and is related to a specific layer-symmetry of the AA graphene bilayer: the parity of the highest occupied level changes from layer-symmetric to layer-antisymmetric when the radius of the AA dot is equal to its magic value. We explore an analogy in the electronic structure between twisted bilayer graphene at the magic twist angle and the AA quantum dot with magic radius. We argue that this analogy can be helpful for theoretical description of the electronic properties of the twisted bilayer graphene.


title: Listing Maximal k-Plexes in Large Real-World Graphs

abstract: Listing dense subgraphs in large graphs plays a key task in varieties of network analysis applications like community detection. Clique, as the densest model, has been widely investigated. However, in practice, communities rarely form as cliques for various reasons, e.g., data noise. Therefore, $k$-plex, -- graph with each vertex adjacent to all but at most $k$ vertices, is introduced as a relaxed version of clique. Often, to better simulate cohesive communities, an emphasis is placed on connected $k$-plexes with small $k$. In this paper, we continue the research line of listing all maximal $k$-plexes and maximal $k$-plexes of prescribed size. Our first contribution is algorithm ListPlex that lists all maximal $k$-plexes in $O^*(\gamma^D)$ time for each constant $k$, where $\gamma$ is a value related to $k$ but strictly smaller than 2, and $D$ is the degeneracy of the graph that is far less than the vertex number $n$ in real-word graphs. Compared to the trivial bound of $2^n$, the improvement is significant, and our bound is better than all previously known results. In practice, we further use several techniques to accelerate listing $k$-plexes of a given size, such as structural-based prune rules, cache-efficient data structures, and parallel techniques. All these together result in a very practical algorithm. Empirical results show that our approach outperforms the state-of-the-art solutions by up to orders of magnitude.


title: On a Conjecture of Sun Zhi-Wei and Related Diophantine Equations

abstract: For any integer $m\ge0$, we recall that triangular numbers are those $\mathbf{T}(m)=\frac{m(m+1)}{2}$. A conjecture of Sun Zhi-Wei states that an integer $2^n\pm n$ with any $n>2$ can not be a triangular number. The motivation of this work is to confirm this conjecture.


title: Computing Euler characteristics using quantum field theory

abstract: This paper explains how to use quantum field theory techniques to find formal power series that encode the virtual Euler characteristics of $\mathrm{Out}(F_n)$ and related graph complexes. Finding such power series was a necessary step in the asymptotic analysis of $\chi(\mathrm{Out}(F_n))$ carried out in the authors' previous paper.


title: On H1, H(curl) and H(sym Curl) finite elements for matrix-valued Curl problems

abstract: In this work we test the numerical behaviour of matrix-valued fields approximated by finite element subspaces of $[\mathit{H}^1]^{3\times 3}$, $[\mathit{H}(\mathrm{curl})]^3$ and $\mathit{H}(\mathrm{sym}\mathrm{Curl})$ for a linear abstract variational problem connected to the relaxed micromorphic model. The formulation of the corresponding finite elements is introduced, followed by numerical benchmarks and our conclusions. The relaxed micromorphic continuum model reduces the continuity assumptions of the classical micromorphic model by replacing the full gradient of the microdistortion in the free energy functional with the Curl. This results in a larger solution space for the microdistortion, namely $[\mathit{H}(\mathrm{curl})]^3$ in place of the classical $[\mathit{H}^1]^{3\times 3}$. The continuity conditions on the microdistortion can be further weakened by taking only the symmetric part of the Curl. As shown in recent works, the new appropriate space for the microdistortion is then $\mathit{H}(\mathrm{sym}\mathrm{Curl})$. The newly introduced space gives rise to a new differential complex for the relaxed micromorphic continuum theory.


title: Effect of the neutron quadrupole distribution in the TaO$^+$ cation

abstract: We estimate the effect of the tensor parity nonconserving (PNC) interaction in the $^{181}$TaO$^+$ molecular cation. It can be used to probe the unknown quadrupole distribution of the neutrons inside the Ta nucleus. To this end, we evaluate the constant which characterizes this interaction using the relativistic Fock space coupled cluster theory for electronic structure modelling. The $^3\Delta_1$ state of the TaO$^+$ cation which can be used to measure the PNC effect is found to be the ground one in agreement with the previous theoretical study.


title: Designing a reliable and low-latency LoRaWAN solution for environmental monitoring in factories at major accident risk

abstract: In this article, we propose a reliable and low-latency Long Range Wide Area Network (LoRaWAN) solution for environmental monitoring in factories at major accident risk (FMAR). In particular, a low power wearable device for sensing the toxic inflammable gases inside an industrial plant is designed with the purpose of avoiding peculiar risks and unwanted accidents to occur. Moreover, the detected data have to be urgently and reliably delivered to remote server to trigger preventive immediate actions so as to improve the machine operation. In these settings, LoRaWAN has been identified as the most proper communications technology to the needs owing to the availability of off the shelf devices and software. Hence, we assess the technological limits of LoRaWAN in terms of latency and reliability and we propose a fully LoRaWAN compliant solution to overcome these limits. The proposed solution envisages coordinated end device (ED) transmissions through the use of Downlink Control Packets (DCPs). Experimental results validate the proposed method in terms of service requirements for the considered FMAR scenario.


title: Evolving Constructions for Balanced, Highly Nonlinear Boolean Functions

abstract: Finding balanced, highly nonlinear Boolean functions is a difficult problem where it is not known what nonlinearity values are possible to be reached in general. At the same time, evolutionary computation is successfully used to evolve specific Boolean function instances, but the approach cannot easily scale for larger Boolean function sizes. Indeed, while evolving smaller Boolean functions is almost trivial, larger sizes become increasingly difficult, and evolutionary algorithms perform suboptimally. In this work, we ask whether genetic programming (GP) can evolve constructions resulting in balanced Boolean functions with high nonlinearity. This question is especially interesting as there are only a few known such constructions. Our results show that GP can find constructions that generalize well, i.e., result in the required functions for multiple tested sizes. Further, we show that GP evolves many equivalent constructions under different syntactic representations. Interestingly, the simplest solution found by GP is a particular case of the well-known indirect sum construction.


title: Verwey transition as evolution from electronic nematicity to trimerons via electron-phonon coupling

abstract: Understanding the driving mechanisms behind metal-insulator transitions (MITs) is a critical step towards controlling material's properties. Since the proposal of charge-order-induced MIT in magnetite Fe3O4 in 1939 by Verwey, the nature of the charge order and its role in the transition have remained elusive-a longstanding challenge in the studies of complex oxides. Recently, a trimeron order was discovered in the low-temperature monoclinic structure of Fe3O4; however, the expected transition entropy change in forming trimeron at the Verwey transition is greater than the observed value, which arises a reexamination of the ground state in the high-temperature phase. Here we use electron diffraction to unveil that a nematic charge order on particular Fe sites emerges in the high-temperature cubic structure of bulk Fe3O4, and that upon cooling, a competitive intertwining of charge and lattice orders leads to the emergence of the Verwey transition. Moreover, MeV ultrafast electron diffraction (UED) provides a dynamic measure of the strong coupling between photoexcited electrons and the X3 phonon modes. Our findings discover a new type of electronic nematicity in correlated materials and offer novel insights into the Verwey transition mechanism in Fe3O4 via the electron-phonon coupling.


title: Pure gauge theories and spatial periodicity

abstract: Properties of pure gauge theories in thermal equilibrium as calculated via standard functional integral treatments are mathematically identical to ground state properties of a theory with spatially-periodic boundary conditions imposed on the gauge fields. Such a theory has states that have no analog in a theory in which only physical observables associated with gauge-invariant operators are required to be periodic, rather than the gauge fields themselves; these states are in topological sectors that do not exist in the unconstrained theory. The topology arises because the boundary conditions in the functional integral are gauge invariant on a cylinder but not in the unconstrained theory.


title: Detection of low-energy X-rays with 1/2 and 1 inch LaBr3:Ce crystals read by SIPM arrays

abstract: LaBr3:Ce crystals, with photomultiplier or single SiPM readout (up to 3x3 mm$^2$) have been introduced for radiation imaging in medical physics. An R&D was pursued with 1/2" and 1" LaBr3:Ce crystals, from different producers, to realize compact large area detectors (up to some cm $^2$ area) with SiPM array readout, aiming at high light yields, good energy resolution,good detector linearity and fast time response for low-energy X-rays. The study was triggered by the FAMU experiment at the RIKEN-RAL muon facility, aiming at a precise measurement of the proton Zemach radius to solve the so-called "proton radius puzzle". The goal is the detection of characteristic X-rays around 130 KeV. Other applications may be foreseen for homeland security and $\gamma$-ray astronomy. Results were obtained with a direct readout based on a CAEN V1730 FADC, with no need for an amplification stage. At the Cs$^{137}$ peak, energy resolutions up to $\sim 3 \%$ were obtained, using a readout with Hamamatsu SiPM arrays. These results compare well with best available results obtained with a PMT readout.


title: Finding a Battleship of Uncertain Shape

abstract: Motivated by a game of Battleship, we consider the problem of efficiently hitting a ship of an uncertain shape within a large playing board. Formally, we fix a dimension $d\in\{1,2\}$. A ship is a subset of $\mathbb{Z}^d$. Given a family $F$ of ships, we say that an infinite subset $X\subset\mathbb{Z}^d$ of the cells pierces $F$, if it intersects each translate of each ship in $F$ (by a vector in $\mathbb{Z}^d$). In this work, we study the lowest possible (asymptotic) density $\pi(F)$ of such a piercing subset. To our knowledge, this problem has previously been studied only in the special case $|F|=1$ (a single ship). As our main contribution, we present a formula for $\pi(F)$ when $F$ consists of 2 ships of size 2 each, and we identify the toughest families in several other cases. We also implement an algorithm for finding $\pi(F)$ in 1D.


title: Multi-Fleet Platoon Matching: A Game-Theoretic Approach

abstract: We consider the platoon matching problem for a set of trucks with the same origin, but different destinations. It is assumed that the vehicles benefit from traveling in a platoon for instance through reduced fuel consumption. The vehicles belong to different fleet owners and their strategic interaction is modeled as a non-cooperative game where the vehicle actions are their departure times. Each truck has a preferred departure time and its utility function is defined as the difference between its benefit from platooning and the cost of deviating from its preferred departure time. We show that the platoon matching game is an exact potential game. An algorithm based on best response dynamics is proposed for finding a Nash equilibrium of the game. At a Nash equilibrium, vehicles with the same departure time are matched to form a platoon. Finally, the total fuel reduction at the Nash equilibrium is studied and compared with that of a cooperative matching solution where a common utility function for all vehicles is optimized.


title: Frame-related Sequences in Chains and Scales of Hilbert Spaces

abstract: Frames for Hilbert spaces are interesting for mathematicians but also important for applications e.g. in signal analysis and in physics. Both in mathematics and physics it is natural to consider a full scale of spaces, and not only a single one. In this paper, we study how certain frame-related properties, as completeness or the property of being a (semi-)frame, of a certain sequence in one of the spaces propagate to other spaces in a scale. We link that to the properties of the respective frame-related operators, like analysis or synthesis. We start with a detailed survey of the theory of Hilbert chains. Using a canonical isomorphism the properties of frame sequences are naturally preserved between different spaces. We also show that some results can be transferred if the original sequence is considered, in particular that the upper semi-frame property is kept in larger spaces, while the lower one to smaller ones. This leads to a negative result: a sequence can never be a frame for two Hilbert spaces of the scale if the scale is non-trivial, i.e. spaces are not equal.


title: The Strong Homotopy Structure of BRST Reduction

abstract: In this paper we propose a reduction scheme for polydifferential operators phrased in terms of $L_\infty$-morphisms. The desired reduction $L_\infty$-morphism has been obtained by applying an explicit version of the homotopy transfer theorem. Finally, we prove that the reduced star product induced by this reduction $L_\infty$-morphism and the reduced star product obtained via the formal Koszul complex are equivalent.


title: Improving Rating and Relevance with Point-of-Interest Recommender System

abstract: The recommendation of points of interest (POIs) is essential in location-based social networks. It makes it easier for users and locations to share information. Recently, researchers tend to recommend POIs by treating them as large-scale retrieval systems that require a large amount of training data representing query-item relevance. However, gathering user feedback in retrieval systems is an expensive task. Existing POI recommender systems make recommendations based on user and item (location) interactions solely. However, there are numerous sources of feedback to consider. For example, when the user visits a POI, what is the POI is about and such. Integrating all these different types of feedback is essential when developing a POI recommender. In this paper, we propose using user and item information and auxiliary information to improve the recommendation modelling in a retrieval system. We develop a deep neural network architecture to model query-item relevance in the presence of both collaborative and content information. We also improve the quality of the learned representations of queries and items by including the contextual information from the user feedback data. The application of these learned representations to a large-scale dataset resulted in significant improvements.


title: OmniSyn: Synthesizing 360 Videos with Wide-baseline Panoramas

abstract: Immersive maps such as Google Street View and Bing Streetside provide true-to-life views with a massive collection of panoramas. However, these panoramas are only available at sparse intervals along the path they are taken, resulting in visual discontinuities during navigation. Prior art in view synthesis is usually built upon a set of perspective images, a pair of stereoscopic images, or a monocular image, but barely examines wide-baseline panoramas, which are widely adopted in commercial platforms to optimize bandwidth and storage usage. In this paper, we leverage the unique characteristics of wide-baseline panoramas and present OmniSyn, a novel pipeline for 360{\deg} view synthesis between wide-baseline panoramas. OmniSyn predicts omnidirectional depth maps using a spherical cost volume and a monocular skip connection, renders meshes in 360{\deg} images, and synthesizes intermediate views with a fusion network. We demonstrate the effectiveness of OmniSyn via comprehensive experimental results including comparison with the state-of-the-art methods on CARLA and Matterport datasets, ablation studies, and generalization studies on street views. We envision our work may inspire future research for this unheeded real-world task and eventually produce a smoother experience for navigating immersive maps.


title: Strong spatial mixing for repulsive point processes

abstract: We prove that a Gibbs point process interacting via a finite-range, repulsive potential $\phi$ exhibits a strong spatial mixing property for activities $\lambda < e/\Delta_{\phi}$, where $\Delta_{\phi}$ is the potential-weighted connective constant of $\phi$, defined recently in [MP21]. Using this we derive several analytic and algorithmic consequences when $\lambda$ satisfies this bound: (1) We prove new identities for the infinite volume pressure and surface pressure of such a process (and in the case of the surface pressure establish its existence). (2) We prove that local block dynamics for sampling from the model on a box of volume $N$ in $\mathbb R^d$ mixes in time $O(N \log N)$, giving efficient randomized algorithms to approximate the partition function and approximately sample from these models. (3) We use the above identities and algorithms to give efficient approximation algorithms for the pressure and surface pressure.


title: Simulation of the propagation of CR air shower cores in ice

abstract: Currently new radio detection techniques are being explored to detect astrophysical neutrinos beyond the PeV scale interacting in polar ice. Due to the long attenuation length of radio waves in a medium, it can be expected that such instruments will also be sensitive to the radio emission of cosmic ray air showers. Furthermore, cosmic ray air showers hitting a high-altitude layer of ice will initiate an in-ice particle cascade, also leading to radio emission. We present the first results of detailed simulations of the in-ice continuation of these cosmic-ray-induced particle cascades, using a combination of the CORSIKA Monte Carlo code and the Geant4 simulation toolkit. We give an overview of the general features of such particle cascades and present a parameterization in terms of Xmax of the longitudinal and lateral particle distributions. We discuss the feasibility of observing the in-ice particle cascades, both through the detection of the Askaryan radio emission as well as by using the RADAR reflection technique. Based on these results we find that the expected signals from the continuation of in-ice cosmic-ray induced particle cascades will be very similar to neutrino signals. This means a thorough understanding of these events is necessary in the search for neutrino candidates, while it also promises an interesting in-situ natural calibration source.


title: Bridging Koopman Operator and time-series auto-correlation based Hilbert-Schmidt operator

abstract: Given a stationary continuous-time process $f(t)$, the Hilbert-Schmidt operator $A_{\tau}$ can be defined for every finite $\tau$\cite{Vautard1989SingularSA}. Let $\lambda_{\tau,i}$ be the eigenvalues of $A_{\tau}$ with descending order. In this article, a Hilbert space $\mathcal{H}_f$ and the (time-shift) continuous one-parameter semigroup of isometries $\mathcal{K}^s$ are defined. Let $\{v_i, i\in\mathbb{N}\}$ be the eigenvectors of $\mathcal{K}^s$ for all $s\geq 0$. Let $f = \displaystyle\sum_{i=1}^{\infty}a_iv_i + f^{\perp}$ be the orthogonal decomposition with descending $|a_i|$. We prove that $\displaystyle\lim_{\tau\to\infty}\lambda_{\tau,i} = |a_i|^2$. The continuous one-parameter semigroup $\{\mathcal{K}^s: s\geq 0\}$ is equivalent, almost surely, to the classical Koopman one-parameter semigroup defined on $L^2(X,\nu)$, if the dynamical system is ergodic and has invariant measure $\nu$ on the phase space $X$.


title: Ensemble Conformalized Quantile Regression for Probabilistic Time Series Forecasting

abstract: This paper presents a novel probabilistic forecasting method called ensemble conformalized quantile regression (EnCQR). EnCQR constructs distribution-free and approximately marginally valid prediction intervals (PIs), which are suitable for nonstationary and heteroscedastic time series data. EnCQR can be applied on top of a generic forecasting model, including deep learning architectures. EnCQR exploits a bootstrap ensemble estimator, which enables the use of conformal predictors for time series by removing the requirement of data exchangeability. The ensemble learners are implemented as generic machine learning algorithms performing quantile regression, which allow the length of the PIs to adapt to local variability in the data. In the experiments, we predict time series characterized by a different amount of heteroscedasticity. The results demonstrate that EnCQR outperforms models based only on quantile regression or conformal prediction, and it provides sharper, more informative, and valid PIs.


title: Physical Layer Authentication for LEO Satellite Constellations

abstract: Physical layer authentication (PLA) is the process of claiming identity of a node based on its physical layer characteristics such as channel fading or hardware imperfections. In this work, we propose a novel PLA method for the inter-satellite communication links (ISLs) of the LEO satellites. In the proposed PLA method, multiple receiving satellites validate the identity of the transmitter by comparing the Doppler frequency measurements with the reference mobility information of the legitimate transmitter and then fuse their decision considering the selected decision rule. Analytical expressions are obtained for the spoofing detection probability and false alarm probability of the fusion methods. Numerically obtained high authentication performance results pave the way to a novel and easily integrable authentication mechanism for the LEO satellite networks.


title: A Wavelet-based Dual-stream Network for Underwater Image Enhancement

abstract: We present a wavelet-based dual-stream network that addresses color cast and blurry details in underwater images. We handle these artifacts separately by decomposing an input image into multiple frequency bands using discrete wavelet transform, which generates the downsampled structure image and detail images. These sub-band images are used as input to our dual-stream network that incorporates two sub-networks: the multi-color space fusion network and the detail enhancement network. The multi-color space fusion network takes the decomposed structure image as input and estimates the color corrected output by employing the feature representations from diverse color spaces of the input. The detail enhancement network addresses the blurriness of the original underwater image by improving the image details from high-frequency sub-bands. We validate the proposed method on both real-world and synthetic underwater datasets and show the effectiveness of our model in color correction and blur removal with low computational complexity.


title: Geometric Bounds on the Power of Adiabatic Thermal Machines

abstract: We analyze the performance of slowly driven meso- and micro-scale refrigerators and heat engines that operate between two thermal baths with small temperature difference. Using a general scaling argument, we show that such devices can work arbitrarily close to their Carnot limit only if heat-leaks between the baths are fully suppressed. Their power output is then subject to a universal geometric bound that decays quadratically to zero at the Carnot limit. This bound can be asymptotically saturated in the quasi-static limit if the driving protocols are suitably optimized and the temperature difference between the baths goes to zero with the driving frequency. These results hold under generic conditions for any thermodynamically consistent dynamics admitting a well-defined adiabatic-response regime and a generalized Onsager symmetry. For illustration, we work out models of a qubit-refrigerator and a coherent charge pump operating as a cooling device.


title: On generalized cyclotomic derivations

abstract: In this article we study the field of rational constants and Darboux polynomials of a generalized cyclotomic $K$-derivation $d$ of $K[X]$. It is shown that $d$ is without Darboux polynomials if and only if $K(X)^d=K$. Result is also studied in the tensor product of polynomial algebras.