title: Weighted Geometric Mean, Minimum Mediated Set, and Optimal Simple Second-Order Cone Representation

abstract: We study optimal simple second-order cone representations (a particular subclass of second-order cone representations) for weighted geometric means, which turns out to be closely related to minimum mediated sets. Several lower and upper bounds on the size of optimal simple second-order cone representations are proved. In the case of bivariate weighted geometric means (equivalently, one dimensional mediated sets), we are able to prove the exact size of an optimal simple second-order cone representation and give an algorithm to compute one. In the genenal case, fast heuristic algorithms and traversal algorithms are proposed to compute an approximately optimal simple second-order cone representation. Finally, applications to polynomial optimization, matrix optimization, and quantum information are provided.


title: Super-biderivations and post-Lie superalgebras on some Lie superalgebras

abstract: In this paper, all symmetric super-biderivations of some Lie superalgebras are determined. As an application, commutative post-Lie superalgebra structures on these Lie superalgebras are also obtained.


title: Instability of the Electroweak Vacuum in Starobinsky Inflation

abstract: We study the stability of the electroweak vacuum during and after the Starobinsky inflation, assuming the existence of the non-minimal Higgs coupling to the Ricci scalar. In the Starobinsky inflation, there exists $R^2$ term (with $R$ being the Ricci scalar), which modifies the evolution equation of the Higgs field. We consider the case that the non-minimal coupling is sizable so that the quantum fluctuation of the Higgs field is suppressed and that the Higgs amplitude is settled near the origin during the inflation. In such a case, the Higgs amplitude may be amplified in the preheating epoch after inflation because of the parametric resonance due to the non-minimal coupling. We perform a detailed analysis of the evolution of the Higgs field in the preheating epoch by a numerical lattice simulation and derive an upper bound on the non-minimal coupling constant $\xi$ in order to realize the electroweak vacuum in the present universe. We find that the upper bound on $\xi$ in the Starobinsky inflation model is more stringent than that in conventional inflation models without the $R^2$ term.


title: LinK3D: Linear Keypoints Representation for 3D LiDAR Point Cloud

abstract: Feature extraction and matching are the basic parts of many robotic vision tasks, such as 2D or 3D object detection, recognition, and registration. As is known, 2D feature extraction and matching have already achieved great success. Unfortunately, in the field of 3D, the current methods may fail to support the extensive application of 3D LiDAR sensors in robotic vision tasks due to their poor descriptiveness and inefficiency. To address this limitation, we propose a novel 3D feature representation method: Linear Keypoints representation for 3D LiDAR point cloud, called LinK3D. The novelty of LinK3D lies in that it fully considers the characteristics (such as the sparsity and complexity) of LiDAR point clouds and represents the keypoint with its robust neighbor keypoints, which provide strong constraints in the description of the keypoint. The proposed LinK3D has been evaluated on three public datasets, and the experimental results show that our method achieves great matching performance. More importantly, LinK3D also shows excellent real-time performance, faster than the sensor frame rate at 10 Hz of a typical rotating LiDAR sensor. LinK3D only takes an average of 30 milliseconds to extract features from the point cloud collected by a 64-beam LiDAR and takes merely about 20 milliseconds to match two LiDAR scans when executed on a computer with an Intel Core i7 processor. Moreover, our method can be extended to LiDAR odometry task, and shows good scalability. We release the implementation of our method at https://github.com/YungeCui/LinK3D.


title: Compressive Clustering with an Optical Processing Unit

abstract: We explore the use of Optical Processing Units (OPU) to compute random Fourier features for sketching, and adapt the overall compressive clustering pipeline to this setting. We also propose some tools to help tuning a critical hyper-parameter of compressive clustering.


title: Improvement of Serial Approach to Anomalous Sound Detection by Incorporating Two Binary Cross-Entropies for Outlier Exposure

abstract: Anomalous sound detection systems must detect unknown, atypical sounds using only normal audio data. Conventional methods use the serial method, a combination of outlier exposure (OE), which classifies normal and pseudo-anomalous data and obtains embedding, and inlier modeling (IM), which models the probability distribution of the embedding. Although the serial method shows high performance due to the powerful feature extraction of OE and the robustness of IM, OE still has a problem that doesn't work well when the normal and pseudo-anomalous data are too similar or too different. To explicitly distinguish these data, the proposed method uses multi-task learning of two binary cross-entropies when training OE. The first is a loss that classifies the sound of the target machine to which product it is emitted from, which deals with the case where the normal data and the pseudo-anomalous data are too similar. The second is a loss that identifies whether the sound is emitted from the target machine or not, which deals with the case where the normal data and the pseudo-anomalous data are too different. We perform our experiments with DCASE 2021 Task~2 dataset. Our proposed single-model method outperforms the top-ranked method, which combines multiple models, by 2.1% in AUC.


title: Faster Optimization-Based Meta-Learning Adaptation Phase

abstract: Neural networks require a large amount of annotated data to learn. Meta-learning algorithms propose a way to decrease the number of training samples to only a few. One of the most prominent optimization-based meta-learning algorithms is Model-Agnostic Meta-Learning (MAML). However, the key procedure of adaptation to new tasks in MAML is quite slow. In this work we propose an improvement to MAML meta-learning algorithm. We introduce Lambda patterns by which we restrict which weight are updated in the network during the adaptation phase. This makes it possible to skip certain gradient computations. The fastest pattern is selected given an allowed quality degradation threshold parameter. In certain cases, quality improvement is possible by a careful pattern selection. The experiments conducted have shown that via Lambda adaptation pattern selection, it is possible to significantly improve the MAML method in the following areas: adaptation time has been decreased by a factor of 3 with minimal accuracy loss; accuracy for one-step adaptation has been substantially improved.


title: Small-time global null controllability of generalized Burgers' equations

abstract: In this paper, we study the small-time global null controllability of the generalized Burgers' equations $y_t + \gamma |y|^{\gamma-1}y_x-y_{xx}=u(t)$ on the segment $[0,1]$. The scalar control $u(t)$ is uniform in space and plays a role similar to the pressure in higher dimension. We set a right Dirichlet boundary condition $y(t,1)=0$, and allow a left boundary control $y(t,0)=v(t)$. Under the assumption $\gamma>3/2$ we prove that the system is small-time global null controllable. Our proof relies on the return method and a careful analysis of the shape and dissipation of a boundary layer.


title: A New Approach to Quantum Computing Multi-Qubit Generation and Development of Quantum Computing Platform with Magnetic Resonance Imaging Techniques

abstract: Explosive increase of interest in quantum computing has resulted in various proposals for generation of quantum bits or qubits, the basic quantum computing unit. The superconducting qubits of Josephson Junction are the most widely accepted and currently used, while the Ion-trap and a similar molecule-based qubits have been proposed more recently. In these methods, each qubit is generated individually with great effort. Here we proposed a new technique using magnetic resonance imaging (MRI)-based qubit generation, by which multiple qubits can be generated. Simultaneously this provides a complete qubit platform for quantum computing. Central to the proposed method is the simultaneous generation of multiple qubits using the 'gradient' concept together with multiple radiofrequency coils, one for all qubits, and others for individual qubits with each small Q-coil. Another key concept is the time-encoded probability amplitude (TEPA) technique, using individual Q-coils together with the spin-echo series in each qubit incorporating readout gating for time-encoding. This MRI-based qubit-generation and qubit-encoding technique allowed us to develop an entirely new class of quantum computing platform. Our newly proposed MRI-based qubits are well-suited to currently available electronics, superconducting and semiconductor technologies, as well as nuclear magnetic resonance and MRI physics and technology.


title: Precise Laplace approximation for mixed rough differential equation

abstract: This work focuses on the Laplace approximation for the rough differential equation (RDE) driven by mixed rough path with as . Firstly, based on geometric rough path lifted from mixed fractional Brownian motion (fBm), the Schilder-type large deviation principle (LDP) for the law of the first level path of the solution to the RDE is given. Due to the particularity of mixed rough path, the main difficulty in carrying out the Laplace approximation is to prove the Hilbert-Schmidt property for the Hessian matrix of the It\^o map restricted on the Cameron-Martin space of the mixed fBm. To this end, we imbed the Cameron-Martin space into a larger Hilbert space, then the Hessian is computable. Subsequently, the probability representation for the Hessian is shown. Finally, the Laplace approximation is constructed, which asserts the more precise asymptotics in the exponential scale.


title: Transverse momentum weighted Sivers asymmetries in SIDIS and Drell-Yan processes at COMPASS

abstract: We investigate the transverse momentum weighted Sivers asymmetries in the processes with transversely polarized proton target, including the $\frac{P_{hT}}{zM_p}\sin (\phi_h-\phi_S)$ weighted asymmetry in charged hadron production in semi-inclusive deeply inelastic scattering (SIDIS) and the $\frac{q_T}{M_p}\sin (\phi_S)$ weighted asymmetry in $\pi^- p$ Drell-Yan process. Due to the integration over the transverse momentum, the weighted asymmetries can be expressed as the product of the transverse-moments of the transverse momentum dependent (TMD) parton distribution functions (PDFs) and fragmentation functions (FFs). Using the parametrization for the Sivers function of the proton, the unpolarized PDFs of proton and pion, and the unpolarized FF of charged hadron, we present the numerical calculation for weighted Sivers asymmetries in SIDIS and Drell-Yan processes at the kinematics of COMPASS, and compare them with experimental data. We find that our prediction on the weighted Sivers asymmetry in SIDIS process is in agreement with the recent COMPASS measurement. Due to the relatively large uncertainties of the preliminary data from COMPASS Drell-Yan program, high precision experimental data are needed to test the sign change property of the Sivers function between SIDIS and Drell-Yan processes and to constrain the sea quark Sivers function.


title: Fluorescence angiography classification in colorectal surgery -- A preliminary report

abstract: Background: Fluorescence angiography has shown very promising results in reducing anastomotic leaks by allowing the surgeon to select optimally perfused tissue. However, subjective interpretation of the fluorescent signal still hinders broad application of the technique, as significant variation between different surgeons exists. Our aim is to develop an artificial intelligence algorithm to classify colonic tissue as 'perfused' or 'not perfused' based on intraoperative fluorescence angiography data. Methods: A classification model with a Resnet architecture was trained on a dataset of fluorescence angiography videos of colorectal resections at a tertiary referral centre. Frames corresponding to fluorescent and non-fluorescent segments of colon were used to train a classification algorithm. Validation using frames from patients not used in the training set was performed, including both data collected using the same equipment and data collected using a different camera. Performance metrics were calculated, and saliency maps used to further analyse the output. A decision boundary was identified based on the tissue classification. Results: A convolutional neural network was successfully trained on 1790 frames from 7 patients and validated in 24 frames from 14 patients. The accuracy on the training set was 100%, on the validation set was 80%. Recall and precision were respectively 100% and 100% on the training set and 68.8% and 91.7% on the validation set. Conclusion: Automated classification of intraoperative fluorescence angiography with a high degree of accuracy is possible and allows automated decision boundary identification. This will enable surgeons to standardise the technique of fluorescence angiography. A web based app was made available to deploy the algorithm.


title: Recent advances of defect-induced spin and valley polarized states in graphene

abstract: Electrons in graphene have fourfold spin and valley degeneracies owing to the unique bipartite honeycomb lattice and an extremely weak spin-orbit coupling, which can support a series of broken symmetry states. Atomic-scale defects in graphene are expected to lift these degenerate degrees of freedom at the nanoscale, and hence, lead to rich quantum states, highlighting promising directions for spintronics and valleytronics. In this article, we mainly review the recent scanning tunneling microscopy (STM) advances on the spin and/or valley polarized states induced by an individual atomic-scale defect in graphene, including a single-carbon vacancy, a nitrogen-atom dopant, and a hydrogen-atom chemisorption. Lastly, we give a perspective in this field.


title: Data-Driven Denoising of Stationary Accelerometer Signals

abstract: Modern navigation solutions are largely dependent on the performances of the standalone inertial sensors, especially at times when no external sources are available. During these outages, the inertial navigation solution is likely to degrade over time due to instrumental noises sources, particularly when using consumer low-cost inertial sensors. Conventionally, model-based estimation algorithms are employed to reduce noise levels and enhance meaningful information, thus improving the navigation solution directly. However, guaranteeing their optimality often proves to be challenging as sensors performance differ in manufacturing quality, process noise modeling, and calibration precision. In the literature, most inertial denoising models are model-based when recently several data-driven approaches were suggested primarily for gyroscope measurements denoising. Data-driven approaches for accelerometer denoising task are more challenging due to the unknown gravity projection on the accelerometer axes. To fill this gap, we propose several learning-based approaches and compare their performances with prominent denoising algorithms, in terms of pure noise removal, followed by stationary coarse alignment procedure. Based on the benchmarking results, obtained in field experiments, we show that: (i) learning-based models perform better than traditional signal processing filtering; (ii) non-parametric kNN algorithm outperforms all state of the art deep learning models examined in this study; (iii) denoising can be fruitful for pure inertial signal reconstruction, but moreover for navigation-related tasks, as both errors are shown to be reduced up to one order of magnitude.


title: Characterization and manipulation of intervalley scattering induced by an individual monovacancy in graphene

abstract: Intervalley scattering involves microscopic processes that electrons are scattered by atomic-scale defects on nanometer length scales. Although central to our understanding of electronic properties of materials, direct characterization and manipulation of range and strength of the intervalley scattering induced by an individual atomic defect have so far been elusive. Using scanning tunneling microscope, we visualized and controlled intervalley scattering from an individual monovacancy in graphene. By directly imaging the affected range of intervalley scattering of the monovacancy, we demonstrated that it is inversely proportional to the energy, i.e., it is proportional to the wavelength of massless Dirac Fermions. A giant electron-hole asymmetry of the intervalley scattering is observed because that the monovacancy is charged. By further charging the monovacancy, the bended electronic potential around the monovacancy softened the scattering potential, which, consequently, suppressed the intervalley scattering of the monovacancy.


title: The singularity theorems of General Relativity and their low regularity extensions

abstract: On the occasion of Sir Roger Penrose's 2020 Nobel Prize in Physics, we review the singularity theorems of General Relativity, as well as their recent extension to Lorentzian metrics of low regularity. The latter is motivated by the quest to explore the nature of the singularities predicted by the classical theorems. Aiming at the more mathematically minded reader, we give a pedagogical introduction to the classical theorems with an emphasis on the analytical side of the arguments. We especially concentrate on focusing results for causal geodesics under appropriate geometric and initial conditions, in the smooth and in the low regularity case. The latter comprise the main technical advance that leads to the proofs of $C^1$-singularity theorems via a regularisation approach that allows to deal with the distributional curvature. We close with an overview on related lines of research and a future outlook.


title: Hyper-pool: pooling private trips into high-occupancy transit-like attractive shared rides

abstract: We propose Hyper-pool, an analytical, offline, utility-driven ride-pooling algorithm to aggregate individual trip requests into attractive shared rides of high-occupancy. We depart from our ride-pooling ExMAS algorithm where single rides are pooled into attractive door-to-door rides and propose two novel demand-side algorithms for further aggregating individual demand towards more compact pooling. First, we generate stop-to-stop rides, with a single pick up and drop off points optimal for all the travellers. Second, we bundle such rides again, resulting with hyper-pooled rides compact enough to resemble public transport operations. We propose a bottom-up framework where the pooling degree of identified rides is gradually increased, thereby ensuring attractiveness at subsequent aggregation levels. Our Hyper-pool method outputs the set of attractive pooled rides per service variant for a given travel demand. The algorithms are publicly available and reproducible. It is applicable for real-size demand datasets and opens new opportunities for exploiting the limits of ride-pooling potential. In our Amsterdam case-study we managed to pool over 220 travellers into 40 hyper-pooled rides of average occupancy 5.8 pax/veh.


title: Towards Universal Sequence Representation Learning for Recommender Systems

abstract: In order to develop effective sequential recommenders, a series of sequence representation learning (SRL) methods are proposed to model historical user behaviors. Most existing SRL methods rely on explicit item IDs for developing the sequence models to better capture user preference. Though effective to some extent, these methods are difficult to be transferred to new recommendation scenarios, due to the limitation by explicitly modeling item IDs. To tackle this issue, we present a novel universal sequence representation learning approach, named UniSRec. The proposed approach utilizes the associated description text of items to learn transferable representations across different recommendation scenarios. For learning universal item representations, we design a lightweight item encoding architecture based on parametric whitening and mixture-of-experts enhanced adaptor. For learning universal sequence representations, we introduce two contrastive pre-training tasks by sampling multi-domain negatives. With the pre-trained universal sequence representation model, our approach can be effectively transferred to new recommendation domains or platforms in a parameter-efficient way, under either inductive or transductive settings. Extensive experiments conducted on real-world datasets demonstrate the effectiveness of the proposed approach. Especially, our approach also leads to a performance improvement in a cross-platform setting, showing the strong transferability of the proposed universal SRL method. The code and pre-trained model are available at: https://github.com/RUCAIBox/UniSRec.


title: Private Synthetic Data with Hierarchical Structure

abstract: We study the problem of differentially private synthetic data generation for hierarchical datasets in which individual data points are grouped together (e.g., people within households). In particular, to measure the similarity between the synthetic dataset and the underlying private one, we frame our objective under the problem of private query release, generating a synthetic dataset that preserves answers for some collection of queries (i.e., statistics like mean aggregate counts). However, while the application of private synthetic data to the problem of query release has been well studied, such research is restricted to non-hierarchical data domains, raising the initial question -- what queries are important when considering data of this form? Moreover, it has not yet been established how one can generate synthetic data at both the group and individual-level while capturing such statistics. In light of these challenges, we first formalize the problem of hierarchical query release, in which the goal is to release a collection of statistics for some hierarchical dataset. Specifically, we provide a general set of statistical queries that captures relationships between attributes at both the group and individual-level. Subsequently, we introduce private synthetic data algorithms for hierarchical query release and evaluate them on hierarchical datasets derived from the American Community Survey and Allegheny Family Screening Tool data. Finally, we look to the American Community Survey, whose inherent hierarchical structure gives rise to another set of domain-specific queries that we run experiments with.


title: Direct measurement of the $^3$He$^+$ magnetic moments

abstract: Helium-3 has nowadays become one of the most important candidates for studies in fundamental physics [1, 2, 3], nuclear and atomic structure [4, 5], magnetometry and metrology [6] as well as chemistry and medicine [7, 8]. In particular, $^3$He nuclear magnetic resonance (NMR) probes have been proposed as a new standard for absolute magnetometry [6, 9]. This requires a high-accuracy value for the $^3$He nuclear magnetic moment, which, however, has so far been determined only indirectly and with a relative precision of $12$ parts per billon (p.p.b.) [10,11]. Here we investigate the $^3$He$^+$ ground-state hyperfine structure in a Penning trap to directly measure the nuclear $g$-factor of $^3$He$^+$ $g'_I=-4.255\, 099\, 606\, 9(30)_{stat}(17)_{sys}$, the zero-field hyperfine splitting $E_{\rm HFS}^{\rm exp}=-8\, 665\, 649\, 865.77(26)_{stat}(1)_{sys}$ Hz and the bound electron $g$-factor $g_e^\text{exp}=-2.002\, 177\, 415\, 79(34)_{stat}(30)_{sys}$. The latter is consistent with our theoretical value $g_e^\text{theo}=-2.002\, 177\, 416\, 252\, 23(39)$ based on parameters and fundamental constants from [12]. Our measured value for the $^3$He$^+$ nuclear $g$-factor allows for the determination of the $g$-factor of the bare nucleus $g_I=-4.255\, 250\, 699\, 7(30)_{stat}(17)_{sys}(1)_{theo}$ via our accurate calculation of the diamagnetic shielding constant [13] $\sigma_{^3He^+}=0.000\,035\,507\,38(3)$. This constitutes the first direct calibration for $^3$He NMR probes and an improvement of the precision by one order of magnitude compared to previous indirect results. The measured zero-field hyperfine splitting improves the precision by two orders of magnitude compared to the previous most precise value [14] and enables us to determine the Zemach radius [15] to $r_Z=2.608(24)$ fm.


title: A Bayesian Model to Estimate Abundance Based on Scarce Animal Vestige Data

abstract: We propose a modelling framework which allows for the estimation of abundances from trace counts. This indirect method of estimating abundance is attractive due to the relative affordability with which it may be carried out, and the reduction in possible risk posed to animals and humans when compared to direct methods for estimating animal abundance. We assess these methods by performing simulations which allow us to examine the accuracy of model estimates. The models are then fitted to several case studies to obtain abundance estimates for collared peccaries in Brazil, kit foxes in Arizona, red foxes in Italy and sika deer in Scotland. Simulation results reveal that these models produce accurate estimates of abundance at a range of sample sizes. In particular, this modelling framework produces accurate estimates when data is very scarce. The use of vestige counts in estimating abundance allows for the monitoring of species which may otherwise go undetected due to their reclusive nature. Additionally, the efficacy of these models when data is collected at very few transects will allow for the use of small-scale data collection programmes which may be carried out at reduced cost, when compared to larger-scale data collection.


title: Weak universality results for a class of nonlinear wave equations

abstract: We study the weak universality of the two-dimensional fractional nonlinear wave equation. For a sequence of Hamiltonians of high-degree potentials scaling to the fractional $\Phi_2^4$, we first establish a \emph{sufficient and almost necessary} criteria for the convergence of invariant measures to the fractional $\Phi_2^4$. Then we prove the convergence result for the sequence of associated wave dynamics to the (renormalized) cubic wave equation. Our constraint on the fractional index is independent of the degree of the nonlinearity. This extends the result of Gubinelli-Koch-Oh [Renormalisation of the two-dimensional stochastic nonlinear wave equations, Trans. Amer. Math. Soc. 370 (2018)] to a situation where we do not have a local Cauchy theory with highly supercritical nonlinearities.


title: Measurement of the branching fraction for the decay $B \to K^{\ast}(892)\ell^+\ell^-$ at Belle II

abstract: We report a measurement of the branching fraction of $B \to K^{\ast}(892)\ell^+\ell^-$ decays, where $\ell^+\ell^- = \mu^+\mu^-$ or $e^+e^-$, using electron-positron collisions recorded at an energy at or near the $\Upsilon(4S)$ mass and corresponding to an integrated luminosity of $189$ fb$^{-1}$. The data was collected during 2019--2021 by the Belle II experiment at the SuperKEKB $e^{+}e^{-}$ asymmetric-energy collider. We reconstruct $K^{\ast}(892)$ candidates in the $K^+\pi^-$, $K_{S}^{0}\pi^+$, and $K^+\pi^0$ final states. The signal yields with statistical uncertainties are $22\pm 6$, $18 \pm 6$, and $38 \pm 9$ for the decays $B \to K^{\ast}(892)\mu^+\mu^-$, $B \to K^{\ast}(892)e^+e^-$, and $B \to K^{\ast}(892)\ell^+\ell^-$, respectively. We measure the branching fractions of these decays for the entire range of the dilepton mass, excluding the very low mass region to suppress the $B \to K^{\ast}(892)\gamma(\to e^+e^-)$ background and regions compatible with decays of charmonium resonances, to be \begin{equation} {\cal B}(B \to K^{\ast}(892)\mu^+\mu^-) = (1.19 \pm 0.31 ^{+0.08}_{-0.07}) \times 10^{-6}, {\cal B}(B \to K^{\ast}(892)e^+e^-) = (1.42 \pm 0.48 \pm 0.09)\times 10^{-6}, {\cal B}(B \to K^{\ast}(892)\ell^+\ell^-) = (1.25 \pm 0.30 ^{+0.08}_{-0.07}) \times 10^{-6}, \end{equation} where the first and second uncertainties are statistical and systematic, respectively. These results, limited by sample size, are the first measurements of $B \to K^{\ast}(892)\ell^+\ell^-$ branching fractions from the Belle II experiment.


title: Lazy and Fast Greedy MAP Inference for Determinantal Point Process

abstract: The maximum a posteriori (MAP) inference for determinantal point processes (DPPs) is crucial for selecting diverse items in many machine learning applications. Although DPP MAP inference is NP-hard, the greedy algorithm often finds high-quality solutions, and many researchers have studied its efficient implementation. One classical and practical method is the lazy greedy algorithm, which is applicable to general submodular function maximization, while a recent fast greedy algorithm based on the Cholesky factorization is more efficient for DPP MAP inference. This paper presents how to combine the ideas of "lazy" and "fast", which have been considered incompatible in the literature. Our lazy and fast greedy algorithm achieves almost the same time complexity as the current best one and runs faster in practice. The idea of "lazy + fast" is extendable to other greedy-type algorithms. We also give a fast version of the double greedy algorithm for unconstrained DPP MAP inference. Experiments validate the effectiveness of our acceleration ideas.


title: Low noise optimization of an electron beam current transformer for conventional radiotherapy up to ultra high dose rate irradiations

abstract: Ultra high dose rate electron beams also known as FLASH radiotherapy is becoming of importance in several preclinial cancer treatment studies. However, due to the dose rate used during the irradiation sessions, no real time dose monitoring device exists to date. In this work, we present the development of a beam current transformer (BCT), from the choice of the ferromagnetic component and the realisation of the shielding to the design of a front-end electronics based on a trans-impedance circuit in order to perform a low noise optimization of the detector. The BCT prototype is able to monitor a beam current range from 1.2~\textmu A to 200~mA with a rise time constant better than 20~ns and a droop rate of the signal below 0.05\%$\cdot$\textmu s$^{-1}$. Preliminary in-situ measurements are also presented. The goal is to combine the BCT system which measure in real time the beam current, to an ionisation chamber monitoring the beam shape and position in order to provide a reliable dose monitoring system.


title: Toward Ambient Intelligence: Federated Edge Learning with Task-Oriented Sensing, Computation, and Communication Integration

abstract: In this paper, we address the problem of joint sensing, computation, and communication (SC$^{2}$) resource allocation for federated edge learning (FEEL) via a concrete case study of human motion recognition based on wireless sensing in ambient intelligence. First, by analyzing the wireless sensing process in human motion recognition, we find that there exists a thresholding value for the sensing transmit power, exceeding which yields sensing data samples with approximately the same satisfactory quality. Then, the joint SC$^{2}$ resource allocation problem is cast to maximize the convergence speed of FEEL, under the constraints on training time, energy supply, and sensing quality of each edge device. Solving this problem entails solving two subproblems in order: the first one reduces to determine the joint sensing and communication resource allocation that maximizes the total number of samples that can be sensed during the entire training process; the second one concerns the partition of the attained total number of sensed samples over all the communication rounds to determine the batch size at each round for convergence speed maximization. The first subproblem on joint sensing and communication resource allocation is converted to a single-variable optimization problem by exploiting the derived relation between different control variables (resources), which thus allows an efficient solution via one-dimensional grid search. For the second subproblem, it is found that the number of samples to be sensed (or batch size) at each round is a decreasing function of the loss function value attained at the round. Based on this relationship, the approximate optimal batch size at each communication round is derived in closed-form as a function of the round index. Finally, extensive simulation results are provided to validate the superiority of the proposed joint SC$^{2}$ resource allocation scheme.


title: Deadline-constrained Multi-resource Task Mapping and Allocation for Edge-Cloud Systems

abstract: In an edge-cloud system, mobile devices can offload their computation intensive tasks to an edge or cloud server to guarantee the quality of service or satisfy task deadline requirements. However, it is challenging to determine where tasks should be offloaded and processed, and how much network and computation resources should be allocated to them, such that a system with limited resources can obtain a maximum profit while meeting the deadlines. A key challenge in this problem is that the network and computation resources could be allocated on different servers, since the server to which a task is offloaded (e.g., a server with an access point) may be different from the server on which the task is eventually processed. To address this challenge, we first formulate the task mapping and resource allocation problem as a non-convex Mixed-Integer Nonlinear Programming (MINLP) problem, known as NP-hard. We then propose a zero-slack based greedy algorithm (ZSG) and a linear discretization method (LDM) to solve this MINLP problem. Experiment results with various synthetic tasksets show that ZSG has an average of $2.98\%$ worse performance than LDM with a minimum unit of 5 but has an average of $6.88\%$ better performance than LDM with a minimum unit of 15.


title: Entanglement Negativity and Defect Extremal Surface

abstract: We study entanglement negativity for evaporating black hole based on the holographic model with defect brane. We introduce a defect extremal surface formula for entanglement negativity. Based on partial reduction, we show the equivalence between defect extremal surface formula and island formula for entanglement negativity in AdS$_3$/BCFT$_2$. Extending the study to the model of eternal black hole plus CFT bath, we find that black hole-black hole negativity decreases until vanishing, left black hole-left radiation negativity is always a constant, radiation-radiation negativity increases and then saturates at a time later than Page time. In all the time dependent cases, defect extremal surface formula agrees with island formula.


title: SIXO: Smoothing Inference with Twisted Objectives

abstract: Sequential Monte Carlo (SMC) is an inference algorithm for state space models that approximates the posterior by sampling from a sequence of target distributions. The target distributions are often chosen to be the filtering distributions, but these ignore information from future observations, leading to practical and theoretical limitations in inference and model learning. We introduce SIXO, a method that instead learns targets that approximate the smoothing distributions, incorporating information from all observations. The key idea is to use density ratio estimation to fit functions that warp the filtering distributions into the smoothing distributions. We then use SMC with these learned targets to define a variational objective for model and proposal learning. SIXO yields provably tighter log marginal lower bounds and offers significantly more accurate posterior inferences and parameter estimates in a variety of domains.


title: Piecewise dominant sequences and the cocenter of the cyclotomic quiver Hecke algebras

abstract: We study the cocenter of the cyclotomic quiver Hecke algebra $R^\Lambda_\alpha$ associated to an {\it arbitrary} symmetrizable Cartan matrix $A=(a_{ij})_{i,j}\in I$, $\Lambda\in P^+$ and $\alpha\in Q_n^+$. We introduce a notion called "piecewise dominant sequence" and use it to construct some explicit homogeneous elements which span the maximal degree component of the cocenter of $R^\Lambda_\alpha$. We show that the minimal degree components of the cocenter of $R^\Lambda_\alpha$ is spanned by the image of some KLR idempotent $e(\nu)$, where each $\nu\in I^\alpha$ is piecewise dominant. As an application, we show that the weight space $L(\Lambda)_{\Lambda-\alpha}$ of the irreducible highest weight module $L(\Lambda)$ over $\mathfrak{g}(A)$ is nonzero (equivalently, $R^\Lambda_\alpha\neq 0$) if and only if there exists a piecewise dominant sequence $\nu\in I^\alpha$.


title: Scalable Exploration for Neural Online Learning to Rank with Perturbed Feedback

abstract: Deep neural networks (DNNs) demonstrate significant advantages in improving ranking performance in retrieval tasks. Driven by the recent technical developments in optimization and generalization of DNNs, learning a neural ranking model online from its interactions with users becomes possible. However, the required exploration for model learning has to be performed in the entire neural network parameter space, which is prohibitively expensive and limits the application of such online solutions in practice. In this work, we propose an efficient exploration strategy for online interactive neural ranker learning based on the idea of bootstrapping. Our solution employs an ensemble of ranking models trained with perturbed user click feedback. The proposed method eliminates explicit confidence set construction and the associated computational overhead, which enables the online neural rankers' training to be efficiently executed in practice with theoretical guarantees. Extensive comparisons with an array of state-of-the-art OL2R algorithms on two public learning to rank benchmark datasets demonstrate the effectiveness and computational efficiency of our proposed neural OL2R solution.


title: Arithmetic quantum unique ergodicity for products of hyperbolic $2$- and $3$-manifolds

abstract: We prove the arithemtic quantum unique ergodicity (AQUE) conjecture for sequences of Hecke--Maass forms on quotients $\Gamma\backslash (\mathbb{H}^{(2)})^r \times (\mathbb{H}^{(3)})^s$. An argument by induction on dimension of the orbit allows us to rule out the limit measure concentrating on closed orbits of proper subgroups despite many returns of the Hecke correspondence to neighborhoods of the orbit.


title: Multivariate Normality Test with Copula Entropy

abstract: In this paper, we proposed a multivariate normality test based on copula entropy. The test statistic is defined as the difference between the copula entropies of unknown distribution and the Gaussian distribution with same covariances. The estimator of the test statistic is presented based on the nonparametric estimator of copula entropy. Two simulation experiments were conducted to compare the proposed test with the five existing ones. Experiment results show the advantage of our test over the others.


title: The $\aleph$-Calculus: A declarative model of reversible programming

abstract: A novel model of reversible computing, the $\aleph$-calculus, is introduced. It is declarative, reversible-Turing complete, and has a local term-rewriting semantics. Unlike previously demonstrated reversible term-rewriting systems, it does not require the accumulation of history data. Terms in the $\aleph$-calculus, in combination with the program definitions, encapsulate all program state. An interpreter was also written.


title: Some pseudo-K\"ahler Einstein $4$-symmetric spaces with a "twin" special almost complex structure

abstract: On $4$-symmetric symplectic spaces, invariant almost complex structures -- up to sign -- arise in pairs. We exhibit some $4$-symmetric symplectic spaces, with a pair of "natural" compatible (usually not positive) invariant almost complex structures, one of them being integrable and the other one being maximally non integrable (i.e. the image of its Nijenhuis tensor at any point is the whole tangent space at that point). The integrable one defines a pseudo-K\"ahler Einstein metric on the manifold, and the non integrable one is Ricci Hermitian (in the sense that the almost complex structure preserves the Ricci tensor of the associated Levi Civita connection) and special in the sense that the associated Chern Ricci form is proportional to the symplectic form.


title: A Live Extensible Ontology of Quality Factors for Textual Requirements

abstract: Quality factors like passive voice or sentence length are commonly used in research and practice to evaluate the quality of natural language requirements since they indicate defects in requirements artifacts that potentially propagate to later stages in the development life cycle. However, as a research community, we still lack a holistic perspective on quality factors. This inhibits not only a comprehensive understanding of the existing body of knowledge but also the effective use and evolution of these factors. To this end, we propose an ontology of quality factors for textual requirements, which includes (1) a structure framing quality factors and related elements and (2) a central repository and web interface making these factors publicly accessible and usable. We contribute the first version of both by applying a rigorous ontology development method to 105 eligible primary studies and construct a first version of the repository and interface. We illustrate the usability of the ontology and invite fellow researchers to a joint community effort to complete and maintain this knowledge repository. We envision our ontology to reflect the community's harmonized perception of requirements quality factors, guide reporting of new quality factors, and provide central access to the current body of knowledge.


title: Quasiballistic transport in long-range anisotropic Heisenberg model

abstract: Purely ballistic transport is a rare feature even for integrable models. By numerically studying the Heisenberg chain with the power-law exchange, \mbox{$J\propto1/r^\alpha$}, where $r$ is a distance, we show that for spin anisotropy $\Delta \simeq \exp(-\alpha+2)$ the system exhibits a quasiballistic spin transport and the presence of fermionic excitation which do not decay up to extremely long times $\sim10^3/J$. This conclusion is reached on the base of the dynamics of spin domains, the dynamical spin conductivity, inspecting the matrix elements of the spin-current operator, and by the analysis of most conserved operators. Our results smoothly connects two models where fully ballistic transport is present: free particles with nearest-neighbor hopping and the isotropic Haldane-Shastry model.


title: A Survey on Automated Driving System Testing: Landscapes and Trends

abstract: Automated Driving Systems (ADS) have made great achievements in recent years thanks to the efforts from both academia and industry. A typical ADS is composed of multiple modules, including sensing, perception, planning, and control, which brings together the latest advances in different domains. Despite these achievements, safety assurance of ADS is of great significance, since unsafe behavior of ADS can bring catastrophic consequences. Testing has been recognized as an important system validation approach that aims to expose unsafe system behavior; however, in the context of ADS, it is extremely challenging to devise effective testing techniques, due to the high complexity and multidisciplinarity of the systems. There has been great much literature that focuses on the testing of ADS, and a number of surveys have also emerged to summarize the technical advances. Most of the surveys focus on the system-level testing performed within software simulators, and they thereby ignore the distinct features of different modules. In this paper, we provide a comprehensive survey on the existing ADS testing literature, which takes into account both module-level and system-level testing. Specifically, we make the following contributions: (1) we survey the module-level testing techniques for ADS and highlight the technical differences affected by the features of different modules; (2) we also survey the system-level testing techniques, with focuses on the empirical studies that summarize the issues occurring in system development or deployment, the problems due to the collaborations between different modules, and the gap between ADS testing in simulators and the real world; (3) we identify the challenges and opportunities in ADS testing, which pave the path to the future research in this field.


title: PRO-TIP: Phantom for RObust automatic ultrasound calibration by TIP detection

abstract: We propose a novel method to automatically calibrate tracked ultrasound probes. To this end we design a custom phantom consisting of nine cones with different heights. The tips are used as key points to be matched between multiple sweeps. We extract them using a convolutional neural network to segment the cones in every ultrasound frame and then track them across the sweep. The calibration is robustly estimated using RANSAC and later refined employing image based techniques. Our phantom can be 3D-printed and offers many advantages over state-of-the-art methods. The phantom design and algorithm code are freely available online. Since our phantom does not require a tracking target on itself, ease of use is improved over currently used techniques. The fully automatic method generalizes to new probes and different vendors, as shown in our experiments. Our approach produces results comparable to calibrations obtained by a domain expert.


title: ATDN vSLAM: An all-through Deep Learning-Based Solution for Visual Simultaneous Localization and Mapping

abstract: In this paper, a novel solution is introduced for visual Simultaneous Localization and Mapping (vSLAM) that is built up of Deep Learning components. The proposed architecture is a highly modular framework in which each component offers state of the art results in their respective fields of vision-based deep learning solutions. The paper shows that with the synergic integration of these individual building blocks, a functioning and efficient all-through deep neural (ATDN) vSLAM system can be created. The Embedding Distance Loss function is introduced and using it the ATDN architecture is trained. The resulting system managed to achieve 4.4% translation and 0.0176 deg/m rotational error on a subset of the KITTI dataset. The proposed architecture can be used for efficient and low-latency autonomous driving (AD) aiding database creation as well as a basis for autonomous vehicle (AV) control.


title: Techno Economic Modeling for Agrivoltaics: Can Agrivoltaics be more profitable than Ground mounted PV?

abstract: Agrivoltaics (AV) is a dual land-use approach to collocate solar energy generation with agriculture for preserving the terrestrial ecosystem and enabling food-energy-water synergies. Here, we present a systematic approach to model the economic performance of AV relative to standalone ground-mounted PV (GMPV) and explore how the module design configuration can affect the dual food-energy economic performance. A remarkably simple criterion for economic feasibility is quantified that relates the land preservation cost to dual food-energy profit. We explore case studies including both high and low value crops under fixed tilt bifacial modules oriented either along the conventional North/South (N/S) facings or vertical East/West (E/W) facings. For each module configuration, the array density is varied to explore an economically feasible design space relative to GMPV for a range of module to land cost ratio (M_L) - a location-specific indicator relating the module technology (hardware and installation) costs to the soft (land acquisition, tax, overheads, etc.) costs. To offset a typically higher AV module cost needed to preserve the cropland, both E/W and N/S orientated modules favor high value crops, reduced (<60%) module density, and higher M_L (>25). In contrast, higher module density and an increased feed-in-tariff (FIT) relative to GMPV are desirable at lower M_L. The economic trends vary sharply for M_L< 10 but tend to saturate for M_L> 20. For low value crops, ~15% additional FIT can enable economic equivalence to GMPV at standard module density. The proposed modeling framework can provide a valuable tool for AV stakeholders to assess, predict, and optimize the techno-economic design for AV


title: Doubly-charmed baryon production in $Z$ boson decay

abstract: In this paper, we carry out a detailed study of doubly-charmed baryon production in $Z$ boson decay, on the basis of the nonrelativistic QCD factorization. With the inclusion of the di-quark states $(cc)[^3S_1]_{\bar{\textbf{3}}}$ and $(cc)[^1S_0]_{{\textbf{6}}}$, the branching ratio of $\mathcal{B}_{Z \to \Xi_{cc}+X}$ is predicted to be of the $10^{-5}$ order, indicating its experimental measurability. By comparing to the $\Lambda^{+}_{c}$ yield in $Z$ decay, we predict $\mathcal{R}_{\Xi_{cc}^{+}}(=\frac{\Gamma(Z \to \Xi^{+}_{cc}) \times \mathcal{B}(\Xi^{+}_{cc} \to \Lambda_c^{+}K^{-}\pi^{+})}{\Gamma(Z \to \Lambda_c^{+})})=(0.85^{+0.10}_{-0.07}) \times 10^{-4}$ and $\mathcal{R}_{\Xi_{cc}^{++}}(=\frac{\Gamma(Z \to \Xi^{++}_{cc}) \times \mathcal{B}(\Xi^{++}_{cc} \to \Lambda_c^{+}K^{-}\pi^{+}\pi^{+})}{\Gamma(Z \to \Lambda_c^{+})})=(1.70^{+0.20}_{-0.14}) \times 10^{-4}$, which are at clear variance with the SELEX measurements but comparable with the values given by the LHCb and Belle collaborations.


title: Coordinating Monetary Contributions in Participatory Budgeting

abstract: We formalize a framework for coordinating funding and selecting projects, the costs of which are shared among agents with quasi-linear utility functions and individual budgets. Our model contains the classical discrete participatory budgeting model as a special case, while capturing other useful scenarios. We propose several important axioms and objectives and study how well they can be simultaneously satisfied. We show that whereas welfare maximization admits an FPTAS, welfare maximization subject to a natural and very weak participation requirement leads to a strong inapproximability. This result is bypassed if we consider some natural restricted valuations, namely laminar single-minded valuations and symmetric valuations. Our analysis for the former restriction leads to the discovery of a new class of tractable instances for the Set Union Knapsack problem, a classical problem in combinatorial optimization.


title: GoToNet: Fast Monocular Scene Exposure and Exploration

abstract: Autonomous scene exposure and exploration, especially in localization or communication-denied areas, useful for finding targets in unknown scenes, remains a challenging problem in computer navigation. In this work, we present a novel method for real-time environment exploration, whose only requirements are a visually similar dataset for pre-training, enough lighting in the scene, and an on-board forward-looking RGB camera for environmental sensing. As opposed to existing methods, our method requires only one look (image) to make a good tactical decision, and therefore works at a non-growing, constant time. Two direction predictions, characterized by pixels dubbed the Goto and Lookat pixels, comprise the core of our method. These pixels encode the recommended flight instructions in the following way: the Goto pixel defines the direction in which the agent should move by one distance unit, and the Lookat pixel defines the direction in which the camera should be pointing at in the next step. These flying-instruction pixels are optimized to expose the largest amount of currently unexplored areas. Our method presents a novel deep learning-based navigation approach that is able to solve this problem and demonstrate its ability in an even more complicated setup, i.e., when computational power is limited. In addition, we propose a way to generate a navigation-oriented dataset, enabling efficient training of our method using RGB and depth images. Tests conducted in a simulator evaluating both the sparse pixels' coordinations inferring process, and 2D and 3D test flights aimed to unveil areas and decrease distances to targets achieve promising results. Comparison against a state-of-the-art algorithm shows our method is able to overperform it, that while measuring the new voxels per camera pose, minimum distance to target, percentage of surface voxels seen, and compute time metrics.


title: Entropic Weighted Rank Function

abstract: It is known that the entropy function over a set of jointly distributed random variables is a submodular set function. However, not any submodular function is of this form. In this paper, we consider a family of submodular set functions, called weighted rank functions of matroids, and study the necessary or sufficient conditions under which they are entropic. We prove that weighted rank functions are located on the boundary of the submodularity cone. For the representable matroids over a characteristic 2 field, we show that the integer valued weighted rank functions are entropic. We derive a necessary condition for constant weight rank functions to be entropic and show that for the case of graphic matroids, this condition is indeed sufficient. Since these functions generalize the rank of a matroid, our findings generalize some of the results of Abbe et. al. about entropic properties of the rank function of matroids.


title: Rankin-Selberg convolution for the Duke-Imamoglu-Ikeda lift

abstract: For two Hecke eigenforms $h_1$ and $h_2$ in the Kohnen plus space of half-integral weight, let $I_n(h_1)$ and $I_n(h_2)$ be the Duke-Imamoglu-Ikeda lift of $h_1$ and $h_2$, respectively, which are Siegel cusp forms with respect to $Sp_n(\ZZ)$. Moreover, let $E_{n/2+1/2}$ be the Cohen Eisenstein series of weight $n/2+1/2$. We then express the Rankin-Selberg convolution $R(s,I_n(h_1),I_n(h_2))$ of $I_n(h_1)$ and $I_n(h_2)$ in terms of a certain Dirichlet series $D(s,h_1,h_2,E_{n/2+1/2})$, which is similar to the triple convolution product of $h_1, h_2$ and $E_{n/2+1/2}$. We apply our formula to mass equidistribution for the Duke-Imamoglu-Ikeda lift assuming the holomorphy of $D(s,h_1,h_1,E_{n/2+1/2})$.


title: Hypernetwork-Based Adaptive Image Restoration

abstract: Adaptive image restoration models can restore images with different degradation levels at inference time without the need to retrain the model. We present an approach that is highly accurate and allows a significant reduction in the number of parameters. In contrast to existing methods, our approach can restore images using a single fixed-size model, regardless of the number of degradation levels. On popular datasets, our approach yields state-of-the-art results in terms of size and accuracy for a variety of image restoration tasks, including denoising, deJPEG, and super-resolution.


title: Biologically Inspired Neural Path Finding

abstract: The human brain can be considered to be a graphical structure comprising of tens of billions of biological neurons connected by synapses. It has the remarkable ability to automatically re-route information flow through alternate paths in case some neurons are damaged. Moreover, the brain is capable of retaining information and applying it to similar but completely unseen scenarios. In this paper, we take inspiration from these attributes of the brain, to develop a computational framework to find the optimal low cost path between a source node and a destination node in a generalized graph. We show that our framework is capable of handling unseen graphs at test time. Moreover, it can find alternate optimal paths, when nodes are arbitrarily added or removed during inference, while maintaining a fixed prediction time. Code is available here: https://github.com/hangligit/pathfinding


title: EmProx: Neural Network Performance Estimation For Neural Architecture Search

abstract: Common Neural Architecture Search methods generate large amounts of candidate architectures that need training in order to assess their performance and find an optimal architecture. To minimize the search time we use different performance estimation strategies. The effectiveness of such strategies varies in terms of accuracy and fit and query time. This study proposes a new method, EmProx Score (Embedding Proximity Score). Similar to Neural Architecture Optimization (NAO), this method maps candidate architectures to a continuous embedding space using an encoder-decoder framework. The performance of candidates is then estimated using weighted kNN based on the embedding vectors of architectures of which the performance is known. Performance estimations of this method are comparable to the MLP performance predictor used in NAO in terms of accuracy, while being nearly nine times faster to train compared to NAO. Benchmarking against other performance estimation strategies currently used shows similar to better accuracy, while being five up to eighty times faster.


title: A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic

abstract: The language of modal logic is capable of expressing first-order conditions on Kripke frames. The classic result by Henrik Sahlqvist identifies a significant class of modal formulas for which first-order conditions -- or Sahlqvist correspondents -- can be find in an effective, algorithmic way. Recent works have successfully extended this classic result to more complex modal languages. In this paper, we pursue a similar line and develop a Sahlqvist-style correspondence theorem for Linear-time Temporal Logic (LTL), which is one of the most widely used formal languages for temporal specification. LTL extends the syntax of basic modal logic with dedicated temporal operators Next X and Until U . As a result, the complexity of the class of formulas that have first-order correspondents also increases accordingly. In this paper, we identify a significant class of LTL Sahlqvist formulas built by using modal operators F , G, X, and U . The main result of this paper is to prove the correspondence of LTL Sahlqvist formulas to frame conditions that are definable in first-order language.


title: Deep Neural Network Based Accelerated Failure Time Models using Rank Loss

abstract: An accelerated failure time (AFT) model assumes a log-linear relationship between failure times and a set of covariates. In contrast to other popular survival models that work on hazard functions, the effects of covariates are directly on failure times, whose interpretation is intuitive. The semiparametric AFT model that does not specify the error distribution is flexible and robust to departures from the distributional assumption. Owing to the desirable features, this class of models has been considered as a promising alternative to the popular Cox model in the analysis of censored failure time data. However, in these AFT models, a linear predictor for the mean is typically assumed. Little research has addressed the nonlinearity of predictors when modeling the mean. Deep neural networks (DNNs) have received a focal attention over the past decades and have achieved remarkable success in a variety of fields. DNNs have a number of notable advantages and have been shown to be particularly useful in addressing the nonlinearity. By taking advantage of this, we propose to apply DNNs in fitting AFT models using a Gehan-type loss, combined with a sub-sampling technique. Finite sample properties of the proposed DNN and rank based AFT model (DeepR-AFT) are investigated via an extensive stimulation study. DeepR-AFT shows a superior performance over its parametric or semiparametric counterparts when the predictor is nonlinear. For linear predictors, DeepR-AFT performs better when the dimensions of covariates are large. The proposed DeepR-AFT is illustrated using two real datasets, which demonstrates its superiority.


title: On the Learning of Non-Autoregressive Transformers

abstract: Non-autoregressive Transformer (NAT) is a family of text generation models, which aims to reduce the decoding latency by predicting the whole sentences in parallel. However, such latency reduction sacrifices the ability to capture left-to-right dependencies, thereby making NAT learning very challenging. In this paper, we present theoretical and empirical analyses to reveal the challenges of NAT learning and propose a unified perspective to understand existing successes. First, we show that simply training NAT by maximizing the likelihood can lead to an approximation of marginal distributions but drops all dependencies between tokens, where the dropped information can be measured by the dataset's conditional total correlation. Second, we formalize many previous objectives in a unified framework and show that their success can be concluded as maximizing the likelihood on a proxy distribution, leading to a reduced information loss. Empirical studies show that our perspective can explain the phenomena in NAT learning and guide the design of new training methods.


title: Value Function Based Difference-of-Convex Algorithm for Bilevel Hyperparameter Selection Problems

abstract: Gradient-based optimization methods for hyperparameter tuning guarantee theoretical convergence to stationary solutions when for fixed upper-level variable values, the lower level of the bilevel program is strongly convex (LLSC) and smooth (LLS). This condition is not satisfied for bilevel programs arising from tuning hyperparameters in many machine learning algorithms. In this work, we develop a sequentially convergent Value Function based Difference-of-Convex Algorithm with inexactness (VF-iDCA). We show that this algorithm achieves stationary solutions without LLSC and LLS assumptions for bilevel programs from a broad class of hyperparameter tuning applications. Our extensive experiments confirm our theoretical findings and show that the proposed VF-iDCA yields superior performance when applied to tune hyperparameters.


title: LHC search strategy for squarks in higgsino-LSP scenarios with leptons and $b$-jets in the final state

abstract: The higgsino Lightest Supersymmetric Particle (LSP) scenario opens up the possibility of decays of strongly produced particles to an intermediate neutralino, due to the Yukawa-suppressed direct decays to the higgsino. Those decays produce multijet signals with a Higgs or a $Z$ boson being produced in the decay of the intermediate neutralino to the LSP. In this paper we study the discovery prospects of squarks that produce $b$-jets and leptons in the final state. Our collider analysis provides signal significances at the 3$\sigma$ level for luminosities of 1 ab$^{-1}$, and at the 5$\sigma$ level if we project these results for 3 ab$^{-1}$.


title: Laurent+Pietarinen Partial Wave Analysis

abstract: A new energy-dependent fit strategy, independent of any specific microscopic theory, is applied to kaon photoproduction data with center-of-mass energies ranging from 1625 MeV to 2296 MeV. Experimental data are fitted in terms of a modified Laurent expansion (Laurent+Pietarinen expansion) which previously has been successfully applied to multipoles. The present aim is to extract resonance pole parameters directly from the data, rather than from sets of multipoles. A constrained single-energy fit is then used to search for missing structures. In this proof-of-principle study, the data are well-described by the initial L+P fit, and it is shown that only a moderate amount of structure, mostly in higher multipoles, is missing from the original fit. Problems due to an unmeasurable overall phase, plaguing single-channel multipole analyses, are mitigated by implementing a form of phase limitation, fixing the initial values of fit parameters using a multi-channel analysis.


title: Top Two Algorithms Revisited

abstract: Top Two algorithms arose as an adaptation of Thompson sampling to best arm identification in multi-armed bandit models (Russo, 2016), for parametric families of arms. They select the next arm to sample from by randomizing among two candidate arms, a leader and a challenger. Despite their good empirical performance, theoretical guarantees for fixed-confidence best arm identification have only been obtained when the arms are Gaussian with known variances. In this paper, we provide a general analysis of Top Two methods, which identifies desirable properties of the leader, the challenger, and the (possibly non-parametric) distributions of the arms. As a result, we obtain theoretically supported Top Two algorithms for best arm identification with bounded distributions. Our proof method demonstrates in particular that the sampling step used to select the leader inherited from Thompson sampling can be replaced by other choices, like selecting the empirical best arm.


title: Correlation functions and ordering in a quasi-one dimensional system of hard disks from the exact canonical partition function

abstract: The analytical canonical NLT partition function of a quasi-one dimensional (q1D) system of hard disks [J. Chem Phys. v.153, 144111 (2020)] provides a direct analytical description of the thermodynamics and ordering in this system (a pore) as a function of the linear density N/L both for finite and infinite systems. It is alternative to the well-developed transfer matrix method based on the isobaric NPT ensemble. We derive the analytical formulae for the actual distance dependence of the translational pair distribution function (PDF) and the DF of distances between next neighbor disks, and then demonstrate their use by calculating the translational order in the pore. In all cases, the order is found to be of a short range and to exponentially decay with the disks' separation. The correlation length presented for the whole range of the q1D pore widths and different densities shows a non-monotonic dependence with a maximum at the density N/L=1 and tends to the 1D value for a vanishing pore width. The results indicate a special role of this density when the pore length L is equal exactly to N disk diameters. We introduce an orientational order parameter that accounts for the local quality of the crystalline zigzag formed by disks and is related to its structural element. This parameter is maximum in the densely packed state and vanishes for a very low density. Due to specific quasi-one dimensional geometry, this macroscopic order parameter is constant along the pore so that the macroscopic orientational order is of a liquid crystalline type.


title: Efficient Human-in-the-loop System for Guiding DNNs Attention

abstract: Attention guidance is an approach to addressing dataset bias in deep learning, where the model relies on incorrect features to make decisions. Focusing on image classification tasks, we propose an efficient human-in-the-loop system to interactively direct the attention of classifiers to the regions specified by users, thereby reducing the influence of co-occurrence bias and improving the transferability and interpretability of a DNN. Previous approaches for attention guidance require the preparation of pixel-level annotations and are not designed as interactive systems. We present a new interactive method to allow users to annotate images with simple clicks, and study a novel active learning strategy to significantly reduce the number of annotations. We conducted both a numerical evaluation and a user study to evaluate the proposed system on multiple datasets. Compared to the existing non-active-learning approach which usually relies on huge amounts of polygon-based segmentation masks to fine-tune or train the DNNs, our system can save lots of labor and money and obtain a fine-tuned network that works better even when the dataset is biased. The experiment results indicate that the proposed system is efficient, reasonable, and reliable.


title: Learning Fashion Compatibility from In-the-wild Images

abstract: Complementary fashion recommendation aims at identifying items from different categories (e.g. shirt, footwear, etc.) that "go well together" as an outfit. Most existing approaches learn representation for this task using labeled outfit datasets containing manually curated compatible item combinations. In this work, we propose to learn representations for compatibility prediction from in-the-wild street fashion images through self-supervised learning by leveraging the fact that people often wear compatible outfits. Our pretext task is formulated such that the representations of different items worn by the same person are closer compared to those worn by other people. Additionally, to reduce the domain gap between in-the-wild and catalog images during inference, we introduce an adversarial loss that minimizes the difference in feature distribution between the two domains. We conduct our experiments on two popular fashion compatibility benchmarks - Polyvore and Polyvore-Disjoint outfits, and outperform existing self-supervised approaches, particularly significant in cross-dataset setting where training and testing images are from different sources.


title: Reduction and Observer Design for a Grey-Box Model in Continuous Pharmaceutical Manufacturing

abstract: In this contribution, a novel Reduced Order Model (ROM) formulation of the grey-box model proposed in Elkhashap et al. (2020a) for the pharmaceutical continuous vibrated fluid bed dryer (VFBD) is presented. The ROM exploits the $\mathcal{H}_2$-norm projection-based model order reduction method after a special solution formulation of the model's infinite-dimensional part. This is mainly by introducing a vector field mapping between the model parts casting the semi-discretized PDE into a bilinear form. The ROM produced is then integrated into an nonlinear Kalman Filtering-based observer design also handling the estimation of the model's algebraic variables. Evaluations of the FOM, ROM, ROM-based observer variants, and the FOM-based observer are performed using Monte-Carlo simulations as well as simulations based on experimental data of the real system. It is shown that the ROM could reproduce the FOM states accurately with a relative mean square error below $0.3\,\%$ for the experimental data simulation. This is while reaching a computational-time reduction up to a factor of $40$. The ROM-based observer with algebraic states correction is shown (using Monte-Carlo simulations) to be able to converge to the true values for all cases regardless of initialization. Moreover, it is also shown that the performance degradation of the observer due to reduction is practically insignificant. This is while the computational speedup of the observer due to reduction reached a factor of more than third order of magnitude.


title: Geometry-Based Phase and Time Synchronization for Multi-Antenna Channel Measurements

abstract: Synchronization of transceiver chains is a major challenge in the practical realization of massive MIMO and especially distributed massive MIMO. While frequency synchronization is comparatively easy to achieve, estimating the carrier phase and sampling time offsets of individual transceivers is challenging. However, under the assumption of phase and time offsets that are constant over some duration and knowing the positions of several transmit and receive antennas, it is possible to estimate and compensate for these offsets even in scattering environments with multipath propagation components. The resulting phase and time calibration is a prerequisite for applying classical antenna array processing methods to massive MIMO arrays and for transferring machine learning models either between simulation and deployment or from one radio environment to another. Algorithms for phase and time offset estimation are presented and several investigations on large datasets generated by an over-the-air-synchronized channel sounder are carried out.


title: Modeling the Machine Learning Multiverse

abstract: Amid mounting concern about the reliability and credibility of machine learning research, we present a principled framework for making robust and generalizable claims: the multiverse analysis. Our framework builds upon the multiverse analysis (Steegen et al., 2016) introduced in response to psychology's own reproducibility crisis. To efficiently explore high-dimensional and often continuous ML search spaces, we model the multiverse with a Gaussian Process surrogate and apply Bayesian experimental design. Our framework is designed to facilitate drawing robust scientific conclusions about model performance, and thus our approach focuses on exploration rather than conventional optimization. In the first of two case studies, we investigate disputed claims about the relative merit of adaptive optimizers. Second, we synthesize conflicting research on the effect of learning rate on the large batch training generalization gap. For the machine learning community, the multiverse analysis is a simple and effective technique for identifying robust claims, for increasing transparency, and a step toward improved reproducibility.


title: Quadrupolar $^{23}$Na$^{+}$ NMR Relaxation as a Probe of Subpicosecond Collective Dynamics in Aqueous Electrolyte Solutions

abstract: Nuclear magnetic resonance relaxometry represents a powerful tool for extracting dynamic information. Yet, obtaining links to molecular motion is challenging for many ions that relax through the quadrupolar mechanism, which is mediated by electric field gradient fluctuations and lacks a detailed microscopic description. For sodium ions in aqueous electrolytes, we combine ab initio calculations to account for electron cloud effects with classical molecular dynamics to sample long-time fluctuations, and obtain relaxation rates in good agreement with experiments over broad concentration and temperature ranges. We demonstrate that quadrupolar nuclear relaxation is sensitive to subpicosecond dynamics not captured by previous models based on water reorientation or cluster rotation. While ions affect the overall water retardation, experimental trends are mainly explained by dynamics in the first two solvation shells of sodium, which contain mostly water. This work thus paves the way to the quantitative understanding of quadrupolar relaxation in electrolyte and bioelectrolyte systems.


title: Isotropy of quadratic forms over function fields in characteristic 2

abstract: We extend to characteristic two recent results about isotropy of quadratic forms over function fields. In particular, we provide a characterization of function fields not only of quadratic forms but also more generally of polynomials in several variables, over which a quadratic form becomes isotropic. As an application of these results, we obtain criteria for stable birational equivalence of quadratic forms.


title: High-Dimensional Bayesian Optimization with Constraints: Application to Powder Weighing

abstract: Bayesian optimization works effectively optimizing parameters in black-box problems. However, this method did not work for high-dimensional parameters in limited trials. Parameters can be efficiently explored by nonlinearly embedding them into a low-dimensional space; however, the constraints cannot be considered. We proposed combining parameter decomposition by introducing disentangled representation learning into nonlinear embedding to consider both known equality and unknown inequality constraints in high-dimensional Bayesian optimization. We applied the proposed method to a powder weighing task as a usage scenario. Based on the experimental results, the proposed method considers the constraints and contributes to reducing the number of trials by approximately 66% compared to manual parameter tuning.


title: Gaia Data Release 3: Catalogue Validation

abstract: The third gaia data release (DR3) provides a wealth of new data products. The early part of the release, Gaia EDR3, already provided the astrometric and photometric data for nearly two billion sources. The full release now adds improved parameters compared to Gaia DR2 for radial velocities, astrophysical parameters, variability information, light curves, and orbits for Solar System objects. The improvements are in terms of the number of sources, the variety of parameter information, precision, and accuracy. For the first time, Gaia DR3 also provides a sample of spectrophotometry and spectra obtained with the Radial Velocity Spectrometer, binary star solutions, and a characterisation of extragalactic object candidates. Before the publication of the catalogue, these data have undergone a dedicated transversal validation process. The aim of this paper is to highlight limitations of the data that were found during this process and to provide recommendations for the usage of the catalogue. The validation was obtained through a statistical analysis of the data, a confirmation of the internal consistency of different products, and a comparison of the values to external data or models. Gaia DR3 is a new major step forward in terms of the number, diversity, precision, and accuracy of the Gaia products. As always in such a large and complex catalogue, however, issues and limitations have also been found. Detailed examples of the scientific quality of the Gaia DR3 release can be found in the accompanying data-processing papers as well as in the performance verification papers. Here we focus only on the caveats that the user should be aware of to scientifically exploit the data.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Multi-Agent Neural Rewriter for Vehicle Routing with Limited Disclosure of Costs

abstract: We interpret solving the multi-vehicle routing problem as a team Markov game with partially observable costs. For a given set of customers to serve, the playing agents (vehicles) have the common goal to determine the team-optimal agent routes with minimal total cost. Each agent thereby observes only its own cost. Our multi-agent reinforcement learning approach, the so-called multi-agent Neural Rewriter, builds on the single-agent Neural Rewriter to solve the problem by iteratively rewriting solutions. Parallel agent action execution and partial observability require new rewriting rules for the game. We propose the introduction of a so-called pool in the system which serves as a collection point for unvisited nodes. It enables agents to act simultaneously and exchange nodes in a conflict-free manner. We realize limited disclosure of agent-specific costs by only sharing them during learning. During inference, each agents acts decentrally, solely based on its own cost. First empirical results on small problem sizes demonstrate that we reach a performance close to the employed OR-Tools benchmark which operates in the perfect cost information setting.


title: The G-Martingale Approach for G-Utility Maximization

abstract: In this paper, we study representative investor's G-utility maximization problem by G-martingale approach in the framework of G-expectation space proposed by Peng \cite{Pe19}. Financial market has only a bond and a stock with uncertainty characterized by G-Brownian motions. The routine idea of \cite{Wxz} fails because that the quadratic variation process of a G-Brownian motion is also a stochastic process. To overcome this difficulty, an extended nonlinear expectation should be pulled in. A sufficient condition of G-utility maximization is presented firstly. In the case of log-utility, an explicit solution of optimal strategy can be obtained by constructing and solving a couple of G-FBSDEs, then verifying the optimal strategy to meet the sufficient condition. As an application, an explicit solution of a stochastic interest model is obtained by the same approach. All economic meanings of optimal strategies are consistent with our intuitions.


title: Gaia Data Release 3: Apsis II -- Stellar Parameters

abstract: The third Gaia data release contains, beyond the astrometry and photometry, dispersed light for hundreds of millions of sources from the Gaia prism spectra (BP and RP) and the spectrograph (RVS). This data release opens a new window on the chemo-dynamical properties of stars in our Galaxy, essential knowledge for understanding the structure, formation, and evolution of the Milky Way. To provide insight into the physical properties of Milky Way stars, we used these data to produce a uniformly-derived, all-sky catalog of stellar astrophysical parameters (APs): Teff, logg, [M/H], [$\alpha$/Fe], activity index, emission lines, rotation, 13 chemical abundance estimates, radius, age, mass, bolometric luminosity, distance, and dust extinction. We developed the Apsis pipeline to infer APs of Gaia objects by analyzing their astrometry, photometry, BP/RP, and RVS spectra. We validate our results against other literature works, including benchmark stars, interferometry, and asteroseismology. Here we assessed the stellar analysis performance from Apsis statistically. We describe the quantities we obtained, including our results' underlying assumptions and limitations. We provide guidance and identify regimes in which our parameters should and should not be used. Despite some limitations, this is the most extensive catalog of uniformly-inferred stellar parameters to date. These comprise Teff, logg, and [M/H] (470 million using BP/RP, 6 million using RVS), radius (470 million), mass (140 million), age (120 million), chemical abundances (5 million), diffuse interstellar band analysis (1/2 million), activity indices (2 million), H{$\alpha$} equivalent widths (200 million), and further classification of spectral types (220 million) and emission-line stars (50 thousand). More precise and detailed astrophysical parameters based on epoch BP, RP, and RVS are planned for the next Gaia data release.


title: On the cosmological constant of flat FLRW spacetime

abstract: We consider an exponentially expanding, flat, Friedmann-Lemaitre-Robertson-Walker (FLRW) Universe filled with a free Schroedinger field. The probability fluid of the latter is used to mimic the cosmological fluid (baryonic plus dark matter), thus providing the matter density and pressure terms in the corresponding Friedmann-Lemaitre equations. We first obtain the eigenfunctions of the Laplacian operator on flat FLRW space. A quantum operator qualifying as a cosmological constant is defined to act on the Schroedinger field. We then compute the matrix representing the cosmological constant in the basis of Laplacian eigenfunctions. For an estimate of the orders of magnitude involved it suffices to determine the expectation values of this operator. The expectation value that best fits the experimentally measured value of the cosmological constant allows us to identify the quantum state of the Schroedinger field that best represents the matter contents (baryonic and dark) of the current Universe. Finally, the operator inverse (modulo dimensional factors) to the one representing the cosmological constant provides a measure of the gravitational Boltzmann entropy of the Universe. We compute its matrix in the basis of Laplacian eigenfunctions and verify that the expectation values of this entropy operator comply with the upper bound set by the holographic principle.


title: Discretization and Stabilization of Energy-Based Controller for Period Switching Control and Flexible Scheduling

abstract: Emerging advanced control applications, with increased complexity in software but limited computing resources, suggest that real-time controllers should have adaptable designs. These control strategies also should be designed with consideration of the run-time behavior of the system. One of such research attempts is to design the controller along with the task scheduler, known as control-scheduling co-design, for more predictable timing behavior as well as surviving system overloads. Unlike traditional controller designs, which have equal-distance sampling periods, the co-design approach increases the system flexibility and resilience by explicitly considering timing properties, for example using an event-based controller or with multiple sampling times (non-uniform sampling and control). Within this context, we introduce the first work on the discretization of an energy-based controller that can switch arbitrarily between multiple periods and adjust the control parameters accordingly without destabilizing the system. A digital controller design based on this paradigm for a DC motor with an elastic load as an example is introduced and the stability condition is given based on the proposed Lyapunov function. The method is evaluated with various computer-based simulations which demonstrate its effectiveness.


title: The Bahadur representation of sample quantiles for associated sequences

abstract: In this paper, the Bahadur representation of sample quantiles based on associated sequences is established under polynomially decaying of covariances. The rate of approximation depends on the covariances decay degree and becomes close to the optimal rate obtained under independence when the covariances decrease fastly to 0.


title: Generalized evolution semigroups and general dichotomies

abstract: We introduce a special class of real semiflows, which is used to define a general type of evolution semigroups, associated to not necessarily exponentially bounded evolution families. Giving spectral characterizations of the corresponding generators, our results directly apply to a wide class of dichotomies, such as those with time-varying rate of change.


title: Analysis of function approximation and stability of general DNNs in directed acyclic graphs using un-rectifying analysis

abstract: A general lack of understanding pertaining to deep feedforward neural networks (DNNs) can be attributed partly to a lack of tools with which to analyze the composition of non-linear functions, and partly to a lack of mathematical models applicable to the diversity of DNN architectures. In this paper, we made a number of basic assumptions pertaining to activation functions, non-linear transformations, and DNN architectures in order to use the un-rectifying method to analyze DNNs via directed acyclic graphs (DAGs). DNNs that satisfy these assumptions are referred to as general DNNs. Our construction of an analytic graph was based on an axiomatic method in which DAGs are built from the bottom-up through the application of atomic operations to basic elements in accordance with regulatory rules. This approach allows us to derive the properties of general DNNs via mathematical induction. We show that using the proposed approach, some properties hold true for general DNNs can be derived. This analysis advances our understanding of network functions and could promote further theoretical insights if the host of analytical tools for graphs can be leveraged.


title: GPU-Accelerated Machine Learning in Non-Orthogonal Multiple Access

abstract: Non-orthogonal multiple access (NOMA) is an interesting technology that enables massive connectivity as required in future 5G and 6G networks. While purely linear processing already achieves good performance in NOMA systems, in certain scenarios, non-linear processing is mandatory to ensure acceptable performance. In this paper, we propose a neural network architecture that combines the advantages of both linear and non-linear processing. Its real-time detection performance is demonstrated by a highly efficient implementation on a graphics processing unit (GPU). Using real measurements in a laboratory environment, we show the superiority of our approach over conventional methods.


title: Untwining multiple parameters at the exclusive zero-coincidence points with quantum control

abstract: In this paper we address a special case of "sloppy" quantum estimation procedures which happens in the presence of intertwined parameters. A collection of parameters are said to be intertwined when their imprinting on the quantum probe that mediates the estimation procedure, is performed by a set of linearly dependent generators. Under this circumstance the individual values of the parameters can not be recovered unless one tampers with the encoding process itself. An example is presented by studying the estimation of the relative time-delays that accumulate along two parallel optical transmission lines. In this case we show that the parameters can be effectively untwined by inserting a sequence of balanced beam splitters (and eventually adding an extra phase shift on one of the lines) that couples the two lines at regular intervals in a setup that remind us a generalized Hong-Ou-Mandel (GHOM) interferometer. For the case of two time delays we prove that, when the employed probe is the frequency-correlated biphoton state, the untwining occurs in correspondence of exclusive zero-coincidence (EZC) point. Furthermore we show the statistical independence of two time delays and the optimality of the quantum Fisher information at the EZC point. Finally we prove the compatibility of this scheme by checking the weak commutativity condition associated with the symmetric logarithmic derivative operators.


title: Frobenius kernels of algebraic supergroups and Steinberg's tensor product theorem

abstract: For a split quasireductive supergroup $G$ defined over a field, we study structure and representation of Frobenius kernels $G_r$ of $G$ and we give a necessary and sufficient condition for $G_r$ to be unimodular in terms of the root system of $G$. We also establish Steinberg's tensor product theorem for $G$ under some natural assumptions.


title: Robust Adaptive Beamforming via Worst-Case SINR Maximization with Nonconvex Uncertainty Sets

abstract: This paper considers a formulation of the robust adaptive beamforming (RAB) problem based on worst-case signal-to-interference-plus-noise ratio (SINR) maximization with a nonconvex uncertainty set for the steering vectors. The uncertainty set consists of a similarity constraint and a (nonconvex) double-sided ball constraint. The worst-case SINR maximization problem is turned into a quadratic matrix inequality (QMI) problem using the strong duality of semidefinite programming. Then a linear matrix inequality (LMI) relaxation for the QMI problem is proposed, with an additional valid linear constraint. Necessary and sufficient conditions for the tightened LMI relaxation problem to have a rank-one solution are established. When the tightened LMI relaxation problem still has a high-rank solution, the LMI relaxation problem is further restricted to become a bilinear matrix inequality (BLMI) problem. We then propose an iterative algorithm to solve the BLMI problem that finds an optimal/suboptimal solution for the original RAB problem by solving the BLMI formulations. To validate our results, simulation examples are presented to demonstrate the improved array output SINR of the proposed robust beamformer.


title: Polyakov loop, gluon mass, gluon condensate and its asymmetry near deconfinement

abstract: We consider a BRST invariant generalization of the "massive background Landau gauge", resembling the original Curci-Ferrari model that saw a revived interest due to its phenomenological success in modeling infrared Yang-Mills dynamics, including that of the phase transition. Unlike the Curci-Ferrari model, however, the mass parameter is no longer a phenomenological input but it enters as a result of dimensional transmutation via a BRST invariant dimension two gluon condensate. The associated renormalization constant is dealt with using Zimmermann's reduction of constants program which fixes the value of the mass parameter to values close to those obtained within the Curci-Ferrari approach. Using a self-consistent background field, we can include the Polyakov loop and probe the deconfinement transition, including its interplay with the condensate and its electric-magnetic asymmetry. We report a continuous phase transition at Tc ~ 0.230 GeV in the SU(2) case and a first order one at Tc ~ 0.164 GeV in the SU(3) case, values which are again rather close to those obtained within the Curci-Ferrari model at one-loop order.


title: Deconfounding Duration Bias in Watch-time Prediction for Video Recommendation

abstract: Watch-time prediction remains to be a key factor in reinforcing user engagement via video recommendations. It has become increasingly important given the ever-growing popularity of online videos. However, prediction of watch time not only depends on the match between the user and the video but is often mislead by the duration of the video itself. With the goal of improving watch time, recommendation is always biased towards videos with long duration. Models trained on this imbalanced data face the risk of bias amplification, which misguides platforms to over-recommend videos with long duration but overlook the underlying user interests. This paper presents the first work to study duration bias in watch-time prediction for video recommendation. We employ a causal graph illuminating that duration is a confounding factor that concurrently affects video exposure and watch-time prediction -- the first effect on video causes the bias issue and should be eliminated, while the second effect on watch time originates from video intrinsic characteristics and should be preserved. To remove the undesired bias but leverage the natural effect, we propose a Duration Deconfounded Quantile-based (D2Q) watch-time prediction framework, which allows for scalability to perform on industry production systems. Through extensive offline evaluation and live experiments, we showcase the effectiveness of this duration-deconfounding framework by significantly outperforming the state-of-the-art baselines. We have fully launched our approach on Kuaishou App, which has substantially improved real-time video consumption due to more accurate watch-time predictions.


title: A novel multi-layer modular approach for real-time fuzzy-identification of gravitational-wave signals

abstract: Advanced LIGO and Advanced Virgo ground-based interferometers are instruments capable to detect gravitational wave signals exploiting advanced laser interferometry techniques. The underlying data analysis task consists in identifying specific patterns in noisy timeseries, but it is made extremely complex by the incredibly small amplitude of the target signals. In this scenario, the development of effective gravitational wave detection algorithms is crucial. We propose a novel layered framework for real-time detection of gravitational waves inspired by speech processing techniques and, in the present implementation, based on a state-of-the-art machine learning approach involving a hybridization of genetic programming and neural networks. The key aspects of the newly proposed framework are: the well structured, layered approach, and the low computational complexity. The paper describes the basic concepts of the framework and the derivation of the first three layers. Even if the layers are based on models derived using a machine learning approach, the proposed layered structure has a universal nature. Compared to more complex approaches, such as convolutional neural networks, which comprise a parameter set of several tens of MB and were tested exclusively for fixed length data samples, our framework has lower accuracy (e.g., it identifies 45% of low signal-to-noise-ration gravitational wave signals, against 65% of the state-of-the-art, at a false alarm probability of $10^{-2}$), but has a much lower computational complexity and a higher degree of modularity. Furthermore, the exploitation of short-term features makes the results of the new framework virtually independent against time-position of gravitational wave signals, simplifying its future exploitation in real-time multi-layer pipelines for gravitational-wave detection with new generation interferometers.


title: Global well-posedness of the 3D Primitive Equations with magnetic field

abstract: In this paper, the three-dimensional primitive equations with magnetic field (PEM) are considered on a thin domain. We showed the global existence and uniqueness (regularity) of strong solutions to the three-dimensional incompressible PEM without any small assumption on the initial data. More precisely, there exists a unique strong solution globally in time for any given $H^2$-smooth initial data.


title: Prescribing $Q$-curvature on even-dimensional manifolds with conical singularities

abstract: On a $2m$-dimensional closed manifold we investigate the existence of prescribed $Q$-curvature metrics with conical singularities. We present here a general existence and multiplicity result in the supercritical regime. To this end, we first carry out a blow-up analysis of a $2m$th-order PDE associated to the problem and then apply a variational argument of min-max type. For $m>1$, this seems to be the first existence result for supercritical conic manifolds different from the sphere.


title: Intrinsically motivated option learning: a comparative study of recent methods

abstract: Options represent a framework for reasoning across multiple time scales in reinforcement learning (RL). With the recent active interest in the unsupervised learning paradigm in the RL research community, the option framework was adapted to utilize the concept of empowerment, which corresponds to the amount of influence the agent has on the environment and its ability to perceive this influence, and which can be optimized without any supervision provided by the environment's reward structure. Many recent papers modify this concept in various ways achieving commendable results. Through these various modifications, however, the initial context of empowerment is often lost. In this work we offer a comparative study of such papers through the lens of the original empowerment principle.


title: Towards a Roadmap for Trustworthy Dynamic Systems-of-Systems

abstract: This paper gives insights into the DynaSoS project, which aims to propose a cross-domain roadmap for systems engineering research into trustworthy dynamic systems-of-systems with autonomous components. The project follows a methodology that combines interviews and workshops with experts from various domains and a literature review. In this paper, we motivate the project, discuss five application areas with their drivers and visions, and draw initial conclusions with respect to challenges that a research roadmap should address. Our goal is to share initial results with the research community about the DynaSoS project and invite them to contribute to the derivation of the research roadmap.