title: Improving Bidding and Playing Strategies in the Trick-Taking game Wizard using Deep Q-Networks

abstract: In this work, the trick-taking game Wizard with a separate bidding and playing phase is modeled by two interleaved partially observable Markov decision processes (POMDP). Deep Q-Networks (DQN) are used to empower self-improving agents, which are capable of tackling the challenges of a highly non-stationary environment. To compare algorithms between each other, the accuracy between bid and trick count is monitored, which strongly correlates with the actual rewards and provides a well-defined upper and lower performance bound. The trained DQN agents achieve accuracies between 66% and 87% in self-play, leaving behind both a random baseline and a rule-based heuristic. The conducted analysis also reveals a strong information asymmetry concerning player positions during bidding. To overcome the missing Markov property of imperfect-information games, a long short-term memory (LSTM) network is implemented to integrate historic information into the decision-making process. Additionally, a forward-directed tree search is conducted by sampling a state of the environment and thereby turning the game into a perfect information setting. To our surprise, both approaches do not surpass the performance of the basic DQN agent.


title: Deep Learning Fetal Ultrasound Video Model Match Human Observers in Biometric Measurements

abstract: Objective. This work investigates the use of deep convolutional neural networks (CNN) to automatically perform measurements of fetal body parts, including head circumference, biparietal diameter, abdominal circumference and femur length, and to estimate gestational age and fetal weight using fetal ultrasound videos. Approach. We developed a novel multi-task CNN-based spatio-temporal fetal US feature extraction and standard plane detection algorithm (called FUVAI) and evaluated the method on 50 freehand fetal US video scans. We compared FUVAI fetal biometric measurements with measurements made by five experienced sonographers at two time points separated by at least two weeks. Intra- and inter-observer variabilities were estimated. Main results. We found that automated fetal biometric measurements obtained by FUVAI were comparable to the measurements performed by experienced sonographers The observed differences in measurement values were within the range of inter- and intra-observer variability. Moreover, analysis has shown that these differences were not statistically significant when comparing any individual medical expert to our model. Significance. We argue that FUVAI has the potential to assist sonographers who perform fetal biometric measurements in clinical settings by providing them with suggestions regarding the best measuring frames, along with automated measurements. Moreover, FUVAI is able perform these tasks in just a few seconds, which is a huge difference compared to the average of six minutes taken by sonographers. This is significant, given the shortage of medical experts capable of interpreting fetal ultrasound images in numerous countries.


title: Feudal Multi-Agent Reinforcement Learning with Adaptive Network Partition for Traffic Signal Control

abstract: Multi-agent reinforcement learning (MARL) has been applied and shown great potential in multi-intersections traffic signal control, where multiple agents, one for each intersection, must cooperate together to optimize traffic flow. To encourage global cooperation, previous work partitions the traffic network into several regions and learns policies for agents in a feudal structure. However, static network partition fails to adapt to dynamic traffic flow, which will changes frequently over time. To address this, we propose a novel feudal MARL approach with adaptive network partition. Specifically, we first partition the network into several regions according to the traffic flow. To do this, we propose two approaches: one is directly to use graph neural network (GNN) to generate the network partition, and the other is to use Monte-Carlo tree search (MCTS) to find the best partition with criteria computed by GNN. Then, we design a variant of Qmix using GNN to handle various dimensions of input, given by the dynamic network partition. Finally, we use a feudal hierarchy to manage agents in each partition and promote global cooperation. By doing so, agents are able to adapt to the traffic flow as required in practice. We empirically evaluate our method both in a synthetic traffic grid and real-world traffic networks of three cities, widely used in the literature. Our experimental results confirm that our method can achieve better performance, in terms of average travel time and queue length, than several leading methods for traffic signal control.


title: Itinerant ferromagnetism in dilute SU(N) Fermi gases

abstract: We present exact analytic results for the energy of a SU(N) repulsive Fermi gas as a function of the spin-channel occupation at second order in the gas parameter. This is an extension of an old result that now incorporates the degree of polarization of the system. Therefore, the magnetic properties of the gas can be obtained, free from numerical uncertainties. For spin 1/2 we find that second-order corrections change the itinerant ferromagnetic transition from continuous to first-order. Instead, for spin larger than 1/2 the phase transition is always of first-order type. The transition critical density reduces when the spin increases, making the phase transition more accessible to experiments with ultracold dilute Fermi gases. Estimations for Fermi gases of Yb and Sr with spin 5/2 and 9/2, respectively, are reported.


title: Adaptive Random Forests for Energy-Efficient Inference on Microcontrollers

abstract: Random Forests (RFs) are widely used Machine Learning models in low-power embedded devices, due to their hardware friendly operation and high accuracy on practically relevant tasks. The accuracy of a RF often increases with the number of internal weak learners (decision trees), but at the cost of a proportional increase in inference latency and energy consumption. Such costs can be mitigated considering that, in most applications, inputs are not all equally difficult to classify. Therefore, a large RF is often necessary only for (few) hard inputs, and wasteful for easier ones. In this work, we propose an early-stopping mechanism for RFs, which terminates the inference as soon as a high-enough classification confidence is reached, reducing the number of weak learners executed for easy inputs. The early-stopping confidence threshold can be controlled at runtime, in order to favor either energy saving or accuracy. We apply our method to three different embedded classification tasks, on a single-core RISC-V microcontroller, achieving an energy reduction from 38% to more than 90% with a drop of less than 0.5% in accuracy. We also show that our approach outperforms previous adaptive ML methods for RFs.


title: Stellar populations of the globular cluster NGC 5053 investigated using AstroSat-Ultra Violet Imaging Telescope

abstract: Globular clusters being old and densely packed serve as ideal laboratories to test stellar evolution theories. Although there is enormous literature on globular clusters in optical bands, studies in the ultraviolet (UV) regime are sparse. In this work, we study the stellar populations of a metal poor and a rather dispersed globular cluster, NGC 5053, using the UV instrument of AstroSat, namely the Ultra Violet Imaging Telescope in three far-UV (F154W, F169M, F172M) and three near-UV (N219M, N245M, N263M) filters. Photometry was carried out on these images to construct a catalogue of UV stars, of which the cluster members were identified using Gaia EDR3 catalogue. UV and optical CMDs help us locate known stellar populations such as BHB stars, RR-Lyrae stars, RHB stars, BSSs, SX-Phe, RGB and AGB stars. Based on their locations in the CMDs, we have identified 8 new BSS candidates, 6 probable eBSSs, and an EHB candidate. Their nature has been confirmed by fitting their spectral energy distributions with stellar atmospheric models. We believe the BSS population of this cluster is likely to have a collisional origin based on our analyses of their radial distribution and SEDs. BaSTI-IAC isochrones were generated to characterize the cluster properties, and we find that the observed brightness and colours of cluster members are best-fit with a model that is alpha-enhanced with a helium fraction of 0.247, metallicity of -1.9 dex and age within a range of 10.5-14.5 Gyr.


title: Adapting to general quadratic loss via singular value shrinkage

abstract: The Gaussian sequence model is a canonical model in nonparametric estimation. In this study, we introduce a multivariate version of the Gaussian sequence model and investigate adaptive estimation over the multivariate Sobolev ellipsoids, where adaptation is not only to unknown smoothness but also to arbitrary quadratic loss. First, we derive an oracle inequality for the singular value shrinkage estimator by Efron and Morris, which is a matrix generalization of the James--Stein estimator. Next, we develop an asymptotically minimax estimator on the multivariate Sobolev ellipsoid for each quadratic loss, which can be viewed as a generalization of Pinsker's theorem. Then, we show that the blockwise Efron--Morris estimator is exactly adaptive minimax over the multivariate Sobolev ellipsoids under the corresponding quadratic loss. It attains sharp adaptive estimation of any linear combination of the mean sequences simultaneously.


title: Liquid-liquid phase transition in deeply supercooled Stillinger-Weber silicon

abstract: The existence of a phase transition between two distinct liquid phases in single-component network-forming liquids (e.g., water, silica, silicon) has elicited considerable scientific interest. The challenge, both for experiments and simulations, is that the liquid-liquid phase transition occurs under deeply supercooled conditions, where crystallization occurs very rapidly. Thus, early evidence from numerical equation of state studies was challenged, with the argument that slow spontaneous crystallization had been misinterpreted as evidence of a second liquid state. Rigorous free energy calculations have subsequently confirmed the existence of a liquid-liquid phase transition in some models of water, and exciting new experimental evidence has since supported these computational results. Similar results have so far not been found for silicon. Here, we present results from free energy calculations performed for silicon modelled with the classical, empirical Stillinger-Weber potential. Through a careful study employing state-of-the-art constrained simulation protocols and numerous checks for thermodynamic consistency, we find that there are two distinct metastable liquid states and a phase transition. Our results resolve a long-standing debate concerning the existence of a liquid-liquid transition in supercooled liquid silicon and address key questions regarding the nature of the phase transition and the associated critical point.


title: Krylov subspace restarting for matrix Laplace transforms

abstract: A common way to approximate $F(A)b$ -- the action of a matrix function on a vector -- is to use the Arnoldi approximation. Since a new vector needs to be generated and stored in every iteration, one is often forced to rely on restart algorithms which are either not efficient, not stable or only applicable to restricted classes of functions. We present a new representation of the error of the Arnoldi iterates if the function $F$ is given as a Laplace transform. Based on this representation we build an efficient and stable restart algorithm. In doing so we extend earlier work for the class of Stieltjes functions which are special Laplace transforms. We report several numerical experiments including comparisons with the restart method for Stieltjes functions.


title: Polynomial Estimates for the Method of Cyclic Projections in Hilbert Spaces

abstract: We study the method of cyclic projections when applied to closed and linear subspaces $M_i$, $i=1,\ldots,m$, of a real Hilbert space $\mathcal H$. We show that the average distance to individual sets enjoys a polynomial behaviour $o(k^{-1/2})$ along the trajectory of the generated iterates. Surprisingly, when the starting points are chosen from the subspace $\sum_{i=1}^{m}M_i^\perp$, our result yields a polynomial rate of convergence $\mathcal O(k^{-1/2})$ for the method of cyclic projections itself. Moreover, if $\sum_{i=1}^{m} M_i^\perp$ is not closed, then both of the aforementioned rates are best possible in the sense that the corresponding polynomial $k^{1/2}$ cannot be replaced by $k^{1/2+\varepsilon}$ for any $\varepsilon >0$.


title: Emergence of phase-locked states for a deterministic and stochastic Winfree model with inertia

abstract: We study the emergence of phase-locking for Winfree oscillators under the effect of inertia. It is known that in a large coupling regime, oscillators governed by the deterministic second-order Winfree model with inertia converge to a unique equilibrium. In contrast, in this paper we show the asymptotic emergence of non-trivial synchronization in a suitably small coupling regime. Moreover, we study the effect of a new stochastically perturbed Winfree system with multiplicative noise and obtain lower estimates in probability for the pathwise emergence of such a synchronizing pattern, provided the noise is sufficiently small. We also provide numerical simulations which hint at the possibility of more general and stronger analytical results.


title: Raising the Bar in Graph-level Anomaly Detection

abstract: Graph-level anomaly detection has become a critical topic in diverse areas, such as financial fraud detection and detecting anomalous activities in social networks. While most research has focused on anomaly detection for visual data such as images, where high detection accuracies have been obtained, existing deep learning approaches for graphs currently show considerably worse performance. This paper raises the bar on graph-level anomaly detection, i.e., the task of detecting abnormal graphs in a set of graphs. By drawing on ideas from self-supervised learning and transformation learning, we present a new deep learning approach that significantly improves existing deep one-class approaches by fixing some of their known problems, including hypersphere collapse and performance flip. Experiments on nine real-world data sets involving nine techniques reveal that our method achieves an average performance improvement of 11.8% AUC compared to the best existing approach.


title: On the Convergence of Semi-Relaxed Sinkhorn with Marginal Constraint and OT Distance Gaps

abstract: This paper presents consideration of the Semi-Relaxed Sinkhorn (SR-Sinkhorn) algorithm for the semi-relaxed optimal transport (SROT) problem, which relaxes one marginal constraint of the standard OT problem. For evaluation of how the constraint relaxation affects the algorithm behavior and solution, it is vitally necessary to present the theoretical convergence analysis in terms not only of the functional value gap, but also of the marginal constraint gap as well as the OT distance gap. However, no existing work has addressed all analyses simultaneously. To this end, this paper presents a comprehensive convergence analysis for SR-Sinkhorn. After presenting the $\epsilon$-approximation of the functional value gap based on a new proof strategy and exploiting this proof strategy, we give the upper bound of the marginal constraint gap. We also provide its convergence to the $\epsilon$-approximation when two distributions are in the probability simplex. Furthermore, the convergence analysis of the OT distance gap to the $\epsilon$-approximation is given as assisted by the obtained marginal constraint gap. The latter two theoretical results are the first results presented in the literature related to the SROT problem.


title: Textural-Perceptual Joint Learning for No-Reference Super-Resolution Image Quality Assessment

abstract: Image super-resolution (SR) has been widely investigated in recent years. However, it is challenging to fairly estimate the performance of various SR methods, as the lack of reliable and accurate criteria for the perceptual quality. Existing metrics concentrate on the specific kind of degradation without distinguishing the visual sensitive areas, which have no ability to describe the diverse SR degeneration situations in both low-level textural and high-level perceptual information. In this paper, we focus on the textural and perceptual degradation of SR images, and design a dual stream network to jointly explore the textural and perceptual information for quality assessment, dubbed TPNet. By mimicking the human vision system (HVS) that pays more attention to the significant image areas, we develop the spatial attention to make the visual sensitive information more distinguishable and utilize feature normalization (F-Norm) to boost the network representation. Experimental results show the TPNet predicts the visual quality score more accurate than other methods and demonstrates better consistency with the human's perspective. The source code will be available at \url{http://github.com/yuqing-liu-dut/NRIQA_SR}


title: Fundamental physics with ESPRESSO: Constraints on Bekenstein and dark energy models from astrophysical and local probes

abstract: Dynamical scalar fields in an effective four-dimensional field theory are naturally expected to couple to the rest of the theory's degrees of freedom, unless some new symmetry is postulated to suppress these couplings. In particular, a coupling to the electromagnetic sector will lead to spacetime variations of the fine-structure constant, $\alpha$. Astrophysical tests of the space-time stability of $\alpha$ are therefore a powerful probe of new physics. Here we use ESPRESSO and other contemporary measurements of $\alpha$, together with background cosmology data, local laboratory atomic clock and Weak Equivalence Principle measurements, to place stringent constraints on the simplest examples of the two broad classes of varying $\alpha$ models: Bekenstein models and quintessence-type dark energy models, both of which are parametric extensions of the canonical $\Lambda$CDM model. In both cases, previously reported constraints are improved by more than a factor of ten. This improvement is largely due to the very strong local constraints, but astrophysical measurements can help to break degeneracies between cosmology and fundamental physics parameters.


title: Simulation and background characterisation of the SABRE South experiment

abstract: SABRE (Sodium iodide with Active Background REjection) is a direct detection dark matter experiment based on arrays of radio-pure NaI(Tl) crystals. The experiment aims at achieving an ultra-low background rate and its primary goal is to confirm or refute the results from the DAMA/LIBRA experiment. The SABRE Proof-of-Principle phase was carried out in 2020-2021 at the Gran Sasso National Laboratory (LNGS), in Italy. The next phase consists of two full-scale experiments: SABRE South at the Stawell Underground Physics Laboratory, in Australia, and SABRE North at LNGS. This paper focuses on SABRE South and presents a detailed simulation of the detector, which is used to characterise the background for dark matter searches including DAMA/LIBRA-like modulation. We estimate an overall background of 0.72 cpd/kg/keV$_{ee}$ in the energy range 1$-$6 keV$_{ee}$ primarily due to radioactive contamination in the crystals. Given this level of background and considering that the SABRE South has a target mass of 50 kg, we expect to exclude (confirm) DAMA/LIBRA modulation at $4~(5)\sigma$ within 2.5 years of data taking.


title: Narrow bandwidth, low-emittance positron beams from a laser-wakefield accelerator

abstract: The rapid progress that plasma wakefield accelerators are experiencing is now posing the question as to whether they could be included in the design of the next generation of high-energy electron-positron colliders. However, the typical structure of the accelerating wakefields presents challenging complications for positron acceleration. Research in plasma-based acceleration of positrons has thus far experienced limited experimental progress due to the lack of positron beams suitable to seed a plasma accelerator. Here, we report on the first experimental demonstration of a laser-driven source of ultra-relativistic positrons with sufficient spectral and spatial quality to be injected in a plasma accelerator. Our results indicate, in agreement with numerical simulations, selection and transport of positron beamlets containing $N_{e+}\geq10^5$ positrons in a 5\% bandwidth around 600 MeV, with femtosecond-scale duration and micron-scale normalised emittance. Particle-in-cell simulations show that positron beams of this kind can be efficiently guided and accelerated in a laser-driven plasma accelerator, with favourable scalings to further increase overall charge and energy using PW-scale lasers. The results presented here demonstrate the possibility of performing experimental studies of positron acceleration in a plasma wakefield.


title: Speaker-conditioning Single-channel Target Speaker Extraction using Conformer-based Architectures

abstract: Target speaker extraction aims at extracting the target speaker from a mixture of multiple speakers exploiting auxiliary information about the target speaker. In this paper, we consider a complete time-domain target speaker extraction system consisting of a speaker embedder network and a speaker separator network which are jointly trained in an end-to-end learning process. We propose two different architectures for the speaker separator network which are based on the convolutional augmented transformer (conformer). The first architecture uses stacks of conformer and external feed-forward blocks (Conformer-FFN), while the second architecture uses stacks of temporal convolutional network (TCN) and conformer blocks (TCN-Conformer). Experimental results for 2-speaker mixtures, 3-speaker mixtures, and noisy mixtures of 2-speakers show that among the proposed separator networks, the TCN-Conformer significantly improves the target speaker extraction performance compared to the Conformer-FFN and a TCN-based baseline system.


title: A typical workflow to simulate cytoskeletal systems with Cytosim

abstract: Many cytoskeletal systems are now sufficiently well known to permit their precise quantitative modelling. Microtubule and actin filaments are well characterized, and the associated proteins are often known, as well as their abundance and the interactions between these elements. Thus, computer simulations can be used to investigate the collective behavior of the system precisely, in a way that is complementary to experiments. Cytosim is an Open Source cytoskeleton simulation suite designed to handle large systems of flexible filaments with associated proteins such as molecular motors. It also offers the possibility to simulate passive crosslinkers, diffusible crosslinkers, nucleators, cutters and discrete versions of the motors that only step on unoccupied lattice sites on a filament. Other objects complement the filaments by offering spherical or more complicated geometry that can be used to represent chromosomes, nucleus or vesicles in the cell. Cytosim offers simple command-line tools for running a simulation and displaying its results, that are versatile and do not require programming skills. In this workflow, step-by-step instructions are given to: i) install the necessary environment on a new computer, ii) configure Cytosim to simulate the contraction of a 2D actomyosin network, iii) produce a visual representation of the system. Next, the system is probed by systematically varying a key parameter: the number of crosslinkers. Finally, the visual representation of the system is complemented by a numerical quantification of contractility to view, in a graph, how contractility depends on the composition of the system. Overall, these different steps constitute a typical workflow that can be applied with few modifications, to tackle many other problems in the cytoskeletal field.


title: Subradiant edge states in an atom chain with waveguide-mediated hopping

abstract: We analyze the topological and dynamical properties of a system formed by two chains of identical emitters coupled to a waveguide, whose guided modes induce all-to-all excitation hopping. We find that, in the single excitation limit, the bulk topological properties of the Hamiltonian that describes the coherent dynamics of the system are identical to the ones of a one-dimensional Su-Schrieffer-Heeger (SSH) model. However, due to the long-range character of the exchange interactions, we find weakening of the bulk-boundary correspondence. This is illustrated by the variation of the localization length and mass gap of the edge states encountered as we vary the lattice constant and offset between the chains. Most interestingly, we analytically identify parameter regimes where edge states arise which are fully localized to the boundaries of the chain, independently of the system size. These edge states are shown to be not only robust against positional disorder of the atoms in the chain, but also subradiant, i.e., dynamically stable even in the presence of inevitable dissipation processes, establishing the capacity of waveguide QED systems for the realization of symmetry protected topological phases.


title: The characterizations on a class of weakly weighted Einstein-Finsler metrics

abstract: In this paper, we study the weakly weighted Einstein-Finsler metrics. First, we show that weakly weighted Einstein-Kropina metrics must be of isotropic S-curvature with respect to the Busemann-Hausdorff volume form under a certain condition about the weight constants. Then we characterize weakly weighted Einstein-Kropina metrics completely via their navigation expressions or via $\alpha$ and $\beta$ respectively.


title: The Effect of Age on the Grouping of Open Clusters: II. Are there old binary clusters?

abstract: In the present study, we continue testing the Primordial Group hypothesis (Casado 2022), which postulates that only sufficiently young open clusters can be binary or multiple, and old clusters are essentially single. To this end, we revisit all the remaining binary cluster candidates in the Galaxy having at least one cluster older than 100 Myr through Gaia data and careful revision of the literature. We have found no convincing case for an old binary system among the 120 pairs/groups revised. Most of the pairs are optical pairs or flyby encounters. However, we have found three dubious pairs that could falsify the title hypothesis upon further research. We also have found two possible primordial pairs older than expected. Our results confirm that the vast majority of binary/multiple OCs in the Galaxy, if not all, are of primordial origin and are not stable for a long time. This finding is in line with similar studies of the Magellanic Clouds and theoretical N-body simulations in the Galaxy. The pairs of OCs in these groups are generally not binary systems since they are not gravitationally bound. We also point out some inconsistencies in previous works and databases, such as false open clusters and duplicities.


title: Finding Patterns in Visualized Data by Adding Redundant Visual Information

abstract: We present "PATRED", a technique that uses the addition of redundant information to facilitate the detection of specific, generally described patterns in line-charts during the visual exploration of the charts. We compared different versions of this technique, that differed in the way redundancy was added, using nine distance metrics (such as Euclidean, Pearson, Mutual Information and Jaccard) with judgments from data scientists which served as the "ground truth". Results were analyzed with correlations (R2), F1 scores and Mutual Information with the average ranking by the data scientists. Some distance metrics consistently benefit from the addition of redundant information, while others are only enhanced for specific types of data perturbations. The results demonstrate the value of adding redundancy to improve the identification of patterns in time-series data during visual exploration.


title: TrackNet: A Triplet metric-based method for Multi-Target Multi-Camera Vehicle Tracking

abstract: We present TrackNet, a method for Multi-Target Multi-Camera (MTMC) vehicle tracking from traffic video sequences. Cross-camera vehicle tracking has proved to be a challenging task due to perspective, scale and speed variance, as well occlusions and noise conditions. Our method is based on a modular approach that first detects vehicles frame-by-frame using Faster R-CNN, then tracks detections through single camera using Kalman filter, and finally matches tracks by a triplet metric learning strategy. We conduct experiments on TrackNet within the AI City Challenge framework, and present competitive IDF1 results of 0.4733.


title: Semeval-2022 Task 1: CODWOE -- Comparing Dictionaries and Word Embeddings

abstract: Word embeddings have advanced the state of the art in NLP across numerous tasks. Understanding the contents of dense neural representations is of utmost interest to the computational semantics community. We propose to focus on relating these opaque word vectors with human-readable definitions, as found in dictionaries. This problem naturally divides into two subtasks: converting definitions into embeddings, and converting embeddings into definitions. This task was conducted in a multilingual setting, using comparable sets of embeddings trained homogeneously.


title: Harmonic Bergman projectors on homogeneous trees

abstract: In this paper we investigate some properties of the harmonic Bergman spaces $\mathcal A^p(\sigma)$ on a $q$-homogeneous tree, where $q\geq 2$, $1\leq p<\infty$, and $\sigma$ is a finite measure on the tree with radial decreasing density, hence nondoubling. These spaces were introduced by J.~Cohen, F.~Colonna, M.~Picardello and D.~Singman. When $p=2$ they are reproducing kernel Hilbert spaces and we compute explicitely their reproducing kernel. We then study the boundedness properties of the Bergman projector on $L^p(\sigma)$ for $1<p<\infty$ and their weak type (1,1) boundedness for radially exponentially decreasing measures on the tree. The weak type (1,1) boundedness is a consequence of the fact that the Bergman kernel satisfies an appropriate integral H\"ormander's condition.


title: Light sterile neutrino and leptogenesis

abstract: We studied models of leptogenesis where three right-handed Majorana neutrinos are involved and the minimal-extended seesaw mechanism including an additional singlet field produces four light neutrinos. This study shows that the type of mass ordering and heavy Majorana scales can be determined by inputting the simplest orthogonal matrix into the Casas-Ibarra(CI) representation of seesaw. The CP asymmetry produced from the decays of heavy neutrinos and the dilution mass are predicted in terms of the mass and mixing elements of the fourth neutrino. Upon the choice of CI matrix, the existence of a light sterile neutrino is required to explain the high-energy lepton asymmetry in light of phenomenological measurements. Although there are several free parameters attributable to an additional neutrino, the model can be in part constrained by low-energy experiments such as sterile neutrino searches and neutrinoless double-beta decays, as well as the observed baryon asymmetry in the universe.


title: Photochemical Hydrogen Storage with Hexaazatrinaphthylene (HATN

abstract: When irradiated with violet light, hexaazatrinaphthylene (HATN) extracts a hydrogen atom from an alcohol forming a long-living hydrogenated species. The apparent kinetic isotope effect for fluorescence decay time in deuterated methanol (1.56) indicates that the lowest singlet excited state of the molecule is a precursor for intermolecular hydrogen transfer. The photochemical hydrogenation occurs in several alcohols (methanol, ethanol, isopropanol) but not in water. Hydrogenated HATN can be detected optically by an absorption band at 1.78 eV as well as with EPR and NMR techniques. Mass spectroscopy of photoproducts reveal di-hydrogenated HATN structures along with methoxylated and methylated HATN molecules which are generated through the reaction with methoxy radicals (remnants from alcohol splitting). Experimental findings are consistent with the theoretical results which predicted that for the excited state of the HATN-solvent molecular complex, there exists a barrierless hydrogen transfer from methanol but a small barrier for the similar oxidation of water.


title: Gravitational radiation in higher order non-local gravity

abstract: In this paper we examine gravitational radiation in higher order non-local gravity described by the non-local gravitational Lagrangian density $\mathcal{L}_{g}=R+\sum_{h=1}^{n}a_{h}R\Box^{-h}R$. This non-local theory of gravitation always exhibits the tensor transverse gravitational radiation for $k_{1}^{2}=0$, corresponding to the angular frequency $\omega_{1}$, composed of two standard $(+)$ and $(\times)$ polarization modes, massless and of helicity 2. Furthermore, it shows, under suitable constraint and $n\geq 2$, an additional massive transverse scalar gravitational radiation with helicity 0. It is composed of $n-1$ modes associated to $n-1$ angular frequencies $\omega_{2},\ldots,\omega_{n}$, each of which of breathing polarization $(b)$ to lowest order in $\gamma$, a parameter that takes into account the difference in speed between the slightly massive wave and the massless one. Thanks to NP formalism, we find that the $E(2)$ class of non-local gravitational waves is $N_{3}$, according Petrov classification, where the presence or absence of all modes are observer independent. Also, the scalar radiation is forbidden for $n=1$ and $n=2$ cases, when some conditions are satisfied. Finally, in $\Box^{-1}$ gravity where $n=1$, a possible degenerate case with a continuous infinity of transverse massive scalar breathing modes appears under a particular constraint, which reproduces in two-dimensional spacetime the Polyakov effective action.


title: Why Robust Generalization in Deep Learning is Difficult: Perspective of Expressive Power

abstract: It is well-known that modern neural networks are vulnerable to adversarial examples. To mitigate this problem, a series of robust learning algorithms have been proposed. However, although the robust training error can be near zero via some methods, all existing algorithms lead to a high robust generalization error. In this paper, we provide a theoretical understanding of this puzzling phenomenon from the perspective of expressive power for deep neural networks. Specifically, for binary classification problems with well-separated data, we show that, for ReLU networks, while mild over-parameterization is sufficient for high robust training accuracy, there exists a constant robust generalization gap unless the size of the neural network is exponential in the data dimension $d$. This result holds even if the data is linear separable (which means achieving standard generalization is easy), and more generally for any parameterized function classes as long as their VC dimension is at most polynomial in the number of parameters. Moreover, we establish an improved upper bound of $\exp({\mathcal{O}}(k))$ for the network size to achieve low robust generalization error when the data lies on a manifold with intrinsic dimension $k$ ($k \ll d$). Nonetheless, we also have a lower bound that grows exponentially with respect to $k$ -- the curse of dimensionality is inevitable. By demonstrating an exponential separation between the network size for achieving low robust training and generalization error, our results reveal that the hardness of robust generalization may stem from the expressive power of practical models.


title: Tunable biaxial strain device for low dimensional materials

abstract: Strain is attracting much interest as a mean to tune the properties of thin exfoliated two-dimensional materials and their heterostructures. Numerous devices to apply tunable uniaxial strain are proposed in the literature, but only few for biaxial strain where there is often a trade-off between maximum strain and uniformity, reversibility and device size. We present a compact device that allows the controlled application of uniform in-plane biaxial strain, with maximum deformation and uniformity comparable to those found in much larger devices. Its performance and strain uniformity over the sample area are modeled using finite element analysis and demonstrated by measuring the response of exfoliated 2H-MoS$_2$ to strain by Raman spectroscopy.


title: Defining a critical temperature of a crossover from BEC to the normal phase in anisotropic quantum magnets

abstract: We address the problem of identifying the critical temperature in a crossover from the Bose-Einstein condensed (BEC) phase to the normal phase. For this purpose we study the temperature dependence of magnetization of spin-gapped quantum magnets described by BEC of triplons. We have calculated the heat capacity $C_H$ at constant field and fluctuations in magnetization in a spin-gapped quantum magnet using the Hartree-Fock-Bogouliubov approximation and found optimized parameters of the Hamiltonian of triplon gas. In the region of phase transition, the heat capacity $C_H$ is smeared out due to the Dzyaloshinsky-Moriya (DM) interaction. The sharp maximum of the fluctuations in the magnetization is identified as the critical temperature of the crossover.


title: Task Offloading with Multi-Tier Computing Resources in Next Generation Wireless Networks

abstract: With the development of next-generation wireless networks, the Internet of Things (IoT) is evolving towards the intelligent IoT (iIoT), where intelligent applications usually have stringent delay and jitter requirements. In order to provide low-latency services to heterogeneous users in the emerging iIoT, multi-tier computing was proposed by effectively combining edge computing and fog computing. More specifically, multi-tier computing systems compensate for cloud computing through task offloading and dispersing computing tasks to multi-tier nodes along the continuum from the cloud to things. In this paper, we investigate key techniques and directions for wireless communications and resource allocation approaches to enable task offloading in multi-tier computing systems. A multi-tier computing model, with its main functionality and optimization methods, is presented in details. We hope that this paper will serve as a valuable reference and guide to the theoretical, algorithmic, and systematic opportunities of multi-tier computing towards next-generation wireless networks.


title: Energy-efficient transmission policies for the linear quadratic control of scalar systems

abstract: This paper considers controlled scalar systems relying on a lossy wireless feedback channel. In contrast with the existing literature, the focus is not on the system controller but on the wireless transmit power controller that is implemented at the system side for reporting the state to the controller. Such a problem may be of interest, \emph{e.g.}, for the remote control of drones, where communication costs may have to be considered. Determining the power control policy that minimizes the combination of the dynamical system cost and the wireless transmission energy is shown to be a non-trivial optimization problem. It turns out that the recursive structure of the problem can be exploited to determine the optimal power control policy. As illustrated in the numerical performance analysis, in the scenario of a dynamics without perturbations, the optimal power control policy consists in decreasing the transmit power at the right pace. This allows a significant performance gain compared to conventional policies such as the full transmit power policy or the open-loop policy.


title: Core-collapse supernovae and neutrino properties

abstract: We highlight developments in the domain of supernova neutrinos. We discuss the importance of the future observation, by running and upcoming experiments, of the neutrino signals from the next supernova as well as of the diffuse supernova neutrino background.


title: MissDAG: Causal Discovery in the Presence of Missing Data with Continuous Additive Noise Models

abstract: State-of-the-art causal discovery methods usually assume that the observational data is complete. However, the missing data problem is pervasive in many practical scenarios such as clinical trials, economics, and biology. One straightforward way to address the missing data problem is first to impute the data using off-the-shelf imputation methods and then apply existing causal discovery methods. However, such a two-step method may suffer from suboptimality, as the imputation algorithm may introduce bias for modeling the underlying data distribution. In this paper, we develop a general method, which we call MissDAG, to perform causal discovery from data with incomplete observations. Focusing mainly on the assumptions of ignorable missingness and the identifiable additive noise models (ANMs), MissDAG maximizes the expected likelihood of the visible part of observations under the expectation-maximization (EM) framework. In the E-step, in cases where computing the posterior distributions of parameters in closed-form is not feasible, Monte Carlo EM is leveraged to approximate the likelihood. In the M-step, MissDAG leverages the density transformation to model the noise distributions with simpler and specific formulations by virtue of the ANMs and uses a likelihood-based causal discovery algorithm with directed acyclic graph constraint. We demonstrate the flexibility of MissDAG for incorporating various causal discovery algorithms and its efficacy through extensive simulations and real data experiments.


title: Move and Time Optimal Arbitrary Pattern Formation by Asynchronous Robots on Infinite Grid

abstract: The \textsc{Arbitrary Pattern Formation} (\textsc{Apf}) is a widely studied in distributed computing for swarm robots. This problem asks to design a distributed algorithm that allows a team of identical, autonomous mobile robots to form any arbitrary pattern given as input. This paper considers that the robots are operating on a two-dimensional infinite grid. Robots are initially positioned on distinct grid points forming an asymmetric configuration (no two robots have the same snapshot). They operate under a fully asynchronous scheduler and do not have any access to a global coordinate system, but they will align the axes of their local coordinate systems along the grid lines. The previous work dealing with \textsc{Apf} problem solved it in $O(\mathcal{D}^2k)$ robot movements under similar conditions, where $\mathcal{D}$ is the side of the smallest square that can contain both initial and target configuration and, $k$ is the number of robots. Let $\mathcal{D}'=\max\{\mathcal{D},k\}$. This paper presents two algorithms of \textsc{Apf} on an infinite grid. The first algorithm solves the \textsc{Apf} problem using $O(\mathcal{D}')$ asymptotically move optimal. The second algorithm solves the \textsc{Apf} problem in $O(\mathcal{D}')$ epochs, which we show is asymptotically optimal.


title: Probabilistic Systems with Hidden State and Unobservable Transitions

abstract: We consider probabilistic systems with hidden state and unobservable transitions, an extension of Hidden Markov Models (HMMs) that in particular admits unobservable {\epsilon}-transitions (also called null transitions), allowing state changes of which the observer is unaware. Due to the presence of {\epsilon}-loops this additional feature complicates the theory and requires to carefully set up the corresponding probability space and random variables. In particular we present an algorithm for determining the most probable explanation given an observation (a generalization of the Viterbi algorithm for HMMs) and a method for parameter learning that adapts the probabilities of a given model based on an observation (a generalization of the Baum-Welch algorithm). The latter algorithm guarantees that the given observation has a higher (or equal) probability after adjustment of the parameters and its correctness can be derived directly from the so-called EM algorithm.


title: Self-Admitted Technical Debt in the Embedded Systems Industry: An Exploratory Case Study

abstract: Technical debt denotes shortcuts taken during software development, mostly for the sake of expedience. When such shortcuts are admitted explicitly by developers (e.g., writing a TODO/Fixme comment), they are termed as Self-Admitted Technical Debt or SATD. There has been a fair amount of work studying SATD management in Open Source projects, but SATD in industry is relatively unexplored. At the same time, there is no work focusing on developers' perspectives towards SATD and its management. To address this, we conducted an exploratory case study in cooperation with an industrial partner to study how they think of SATD and how they manage it. Specifically, we collected data by identifying and characterizing SATD in different sources (issues, source code comments, and commits) and carried out a series of interviews with 12 software practitioners. The results show: 1) the core characteristics of SATD in industrial projects; 2) developers' attitudes towards identified SATD and statistics; 3) triggers for practitioners to introduce and repay SATD; 4) relations between SATD in different sources; 5) practices used to manage SATD; 6) challenges and tooling ideas for SATD management.


title: Scattering amplitude and its soft decomposition

abstract: In the pure scattering theory, the universality of the soft limit has been studied for a long time. In this talk we review the property of soft limit to relate an $n$-point amplitude to an $(n-1)$-point amplitude. We show how this property can be used to decompose amplitudes into different complementary soft channel. The existence of such decomposition provides a new way to understand how to construct amplitude solely from them soft limit.


title: Comparison of Deep Learning Segmentation and Multigrader-annotated Mandibular Canals of Multicenter CBCT scans

abstract: Deep learning approach has been demonstrated to automatically segment the bilateral mandibular canals from CBCT scans, yet systematic studies of its clinical and technical validation are scarce. To validate the mandibular canal localization accuracy of a deep learning system (DLS) we trained it with 982 CBCT scans and evaluated using 150 scans of five scanners from clinical workflow patients of European and Southeast Asian Institutes, annotated by four radiologists. The interobserver variability was compared to the variability between the DLS and the radiologists. In addition, the generalization of DLS to CBCT scans from scanners not used in the training data was examined to evaluate the out-of-distribution generalization capability. The DLS had lower variability to the radiologists than the interobserver variability between them and it was able to generalize to three new devices. For the radiologists' consensus segmentation, used as gold standard, the DLS had a symmetric mean curve distance of 0.39 mm compared to those of the individual radiologists with 0.62 mm, 0.55 mm, 0.47 mm, and 0.42 mm. The DLS showed comparable or slightly better performance in the segmentation of the mandibular canal with the radiologists and generalization capability to new scanners.


title: Ancestral reproductive bias in branching processes

abstract: Consider a branching process with a homogeneous reproduction law. Sampling a single cell uniformly from the population at a time $T > 0$ and looking along the sampled cell's ancestral lineage, we find that the reproduction law is heterogeneous - the expected reproductive output of ancestral cells on the lineage from time $0$ to time $T$ continuously increases. This `inspection paradox' is due to sampling bias, that cells with a larger number of offspring are more likely to have one of their descendants sampled by virtue of their prolificity, and the bias's strength grows with the random population size and/or the sampling time $T$. Our main result explicitly characterises the evolution of reproduction rates and sizes along the sampled ancestral lineage as a mixture of Poisson processes, which simplifies in special cases. The ancestral bias helps to explain recently observed variation in mutation rates along lineages of the developing human embryo.


title: Performance of the SABRE detector module in a purely passive shielding

abstract: We present here a characterization of the low background NaI(Tl) crystal NaI-33 based on a period of almost one year of data taking (891 kgxdays exposure) in a detector configuration with no use of organic scintillator veto. This remarkably radio-pure crystal already showed a low background in the SABRE Proof-of-Principle (PoP) detector, in the low energy region of interest (1-6 keV) for the search of dark matter interaction via the annual modulation signature. As the vetoable background components, such as $^{40}$K, are here sub-dominant, we reassembled the PoP setup with a fully passive shielding. We upgraded the selection of events based on a Boosted Decision Tree algorithm that rejects most of the PMT-induced noise while retaining scintillation signals with > 90% efficiency in 1-6 keV. We find an average background of 1.39 $\pm$ 0.02 counts/day/kg/keV in the region of interest and a spectrum consistent with data previously acquired in the PoP setup, where the external veto background suppression was in place. Our background model indicates that the dominant background component is due to decays of $^{210}$Pb, only partly residing in the crystal itself. The other location of $^{210}$Pb is the reflector foil that wraps the crystal. We now proceed to design the experimental setup for the physics phase of the SABRE North detector, based on an array of similar crystals, using a low radioactivity PTFE reflector and further improving the passive shielding strategy, in compliance with the new safety and environmental requirements of Laboratori Nazionali del Gran Sasso.


title: Rotational level spacings in HD from vibrational saturation spectroscopy

abstract: The R(1), R(3) and P(3) ro-vibrational transitions in the (2-0) overtone band of the HD molecule are measured in Doppler-free saturation using the technique of NICE-OHMS spectroscopy. For the P(3) line, hitherto not observed in saturation, we report a frequency of $203\,821\,936\,805\,(60)$ kHz. The dispersive line shapes observed in the three spectra show strong correlations, allowing for extraction of accurate information on rotational level spacings. This leads to level spacings of $\Delta_{(J=3)-(J=1)}= 13\,283\,245\,098\,(30)$ kHz in the $v=0$ ground state, and $\Delta_{(J=4)-(J=2)}= 16\,882\,368\,179\,(20)$ kHz in the $v=2$ excited vibration in HD. These results show that experimental values for the rotational spacings are consistently larger than those obtained with advanced ab initio theoretical calculations at 1.5$\sigma$, where the uncertainty is determined by theory. The same holds for the vibrational transitions where systematic deviations of 1.7-1.9$\sigma$ are consistently found for the five lines accurately measured in the (2-0) band.


title: On local uniqueness of normalized Nash equilibria

abstract: For generalized Nash equilibrium problems (GNEP) with shared constraints we focus on the notion of normalized Nash equilibrium in the nonconvex setting. The property of nondegeneracy for normalized Nash equilibria is introduced. Nondegeneracy refers to GNEP-tailored versions of linear independence constraint qualification, strict complementarity and second-order regularity. Surprisingly enough, nondegeneracy of normalized Nash equilibrium does not prevent from degeneracies at the individual players' level. We show that generically all normalized Nash equilibria are nondegenerate. Moreover, nondegeneracy turns out to be a sufficient condition for the local uniqueness of normalized Nash equilibria. We emphasize that even in the convex setting the proposed notion of nondegeneracy differs from the sufficient condition for (global) uniqueness of normalized Nash equilibria, which is known from the literature.


title: MIMII DG: Sound Dataset for Malfunctioning Industrial Machine Investigation and Inspection for Domain Generalization Task

abstract: We present a machine sound dataset to benchmark domain generalization techniques for anomalous sound detection (ASD). Domain shifts are differences in data distributions that can degrade the detection performance, and handling them is a major issue for the application of ASD systems. While currently available datasets for ASD tasks assume that occurrences of domain shifts are known, in practice, they can be difficult to detect. To handle such domain shifts, domain generalization techniques that perform well regardless of the domains should be investigated. In this paper, we present the first ASD dataset for the domain generalization techniques, called MIMII DG. The dataset consists of five machine types and three domain shift scenarios for each machine type. The dataset is dedicated to the domain generalization task with features such as multiple different values for parameters that cause domain shifts and introduction of domain shifts that can be difficult to detect, such as shifts in the background noise. Experimental results using two baseline systems indicate that the dataset reproduces domain shift scenarios and is useful for benchmarking domain generalization techniques.


title: TraClets: Harnessing the power of computer vision for trajectory classification

abstract: Due to the advent of new mobile devices and tracking sensors in recent years, huge amounts of data are being produced every day. Therefore, novel methodologies need to emerge that dive through this vast sea of information and generate insights and meaningful information. To this end, researchers have developed several trajectory classification algorithms over the years that are able to annotate tracking data. Similarly, in this research, a novel methodology is presented that exploits image representations of trajectories, called TraClets, in order to classify trajectories in an intuitive humans way, through computer vision techniques. Several real-world datasets are used to evaluate the proposed approach and compare its classification performance to other state-of-the-art trajectory classification algorithms. Experimental results demonstrate that TraClets achieves a classification performance that is comparable to, or in most cases, better than the state-of-the-art, acting as a universal, high-accuracy approach for trajectory classification.


title: Automated Dynamic Algorithm Configuration

abstract: The performance of an algorithm often critically depends on its parameter configuration. While a variety of automated algorithm configuration methods have been proposed to relieve users from the tedious and error-prone task of manually tuning parameters, there is still a lot of untapped potential as the learned configuration is static, i.e., parameter settings remain fixed throughout the run. However, it has been shown that some algorithm parameters are best adjusted dynamically during execution, e.g., to adapt to the current part of the optimization landscape. Thus far, this is most commonly achieved through hand-crafted heuristics. A promising recent alternative is to automatically learn such dynamic parameter adaptation policies from data. In this article, we give the first comprehensive account of this new field of automated dynamic algorithm configuration (DAC), present a series of recent advances, and provide a solid foundation for future research in this field. Specifically, we (i) situate DAC in the broader historical context of AI research; (ii) formalize DAC as a computational problem; (iii) identify the methods used in prior-art to tackle this problem; (iv) conduct empirical case studies for using DAC in evolutionary optimization, AI planning, and machine learning.


title: How to Peel a Million: Validating and Expanding Bitcoin Clusters

abstract: One of the defining features of Bitcoin and the thousands of cryptocurrencies that have been derived from it is a globally visible transaction ledger. While Bitcoin uses pseudonyms as a way to hide the identity of its participants, a long line of research has demonstrated that Bitcoin is not anonymous. This has been perhaps best exemplified by the development of clustering heuristics, which have in turn given rise to the ability to track the flow of bitcoins as they are sent from one entity to another. In this paper, we design a new heuristic that is designed to track a certain type of flow, called a peel chain, that represents many transactions performed by the same entity; in doing this, we implicitly cluster these transactions and their associated pseudonyms together. We then use this heuristic to both validate and expand the results of existing clustering heuristics. We also develop a machine learning-based validation method and, using a ground-truth dataset, evaluate all our approaches and compare them with the state of the art. Ultimately, our goal is to not only enable more powerful tracking techniques but also call attention to the limits of anonymity in these systems.


title: Efficient Semantic Summary Graphs for Querying Large Knowledge Graphs

abstract: Knowledge Graphs (KGs) integrate heterogeneous data, but one challenge is the development of efficient tools for allowing end users to extract useful insights from these sources of knowledge. In such a context, reducing the size of a Resource Description Framework (RDF) graph while preserving all information can speed up query engines by limiting data shuffle, especially in a distributed setting. This paper presents two algorithms for RDF graph summarization: Grouping Based Summarization (GBS) and Query Based Summarization (QBS). The latter is an optimized and lossless approach for the former method. We empirically study the effectiveness of the proposed lossless RDF graph summarization to retrieve complete data, by rewriting an RDF Query Language called SPARQL query with fewer triple patterns using a semantic similarity. We conduct our experimental study in instances of four datasets with different sizes. Compared with the state-of-the-art query engine Sparklify executed over the original RDF graphs as a baseline, QBS query execution time is reduced by up to 80% and the summarized RDF graph is decreased by up to 99%.


title: Learning to Automate Follow-up Question Generation using Process Knowledge for Depression Triage on Reddit Posts

abstract: Conversational Agents (CAs) powered with deep language models (DLMs) have shown tremendous promise in the domain of mental health. Prominently, the CAs have been used to provide informational or therapeutic services to patients. However, the utility of CAs to assist in mental health triaging has not been explored in the existing work as it requires a controlled generation of follow-up questions (FQs), which are often initiated and guided by the mental health professionals (MHPs) in clinical settings. In the context of depression, our experiments show that DLMs coupled with process knowledge in a mental health questionnaire generate 12.54% and 9.37% better FQs based on similarity and longest common subsequence matches to questions in the PHQ-9 dataset respectively, when compared with DLMs without process knowledge support. Despite coupling with process knowledge, we find that DLMs are still prone to hallucination, i.e., generating redundant, irrelevant, and unsafe FQs. We demonstrate the challenge of using existing datasets to train a DLM for generating FQs that adhere to clinical process knowledge. To address this limitation, we prepared an extended PHQ-9 based dataset, PRIMATE, in collaboration with MHPs. PRIMATE contains annotations regarding whether a particular question in the PHQ-9 dataset has already been answered in the user's initial description of the mental health condition. We used PRIMATE to train a DLM in a supervised setting to identify which of the PHQ-9 questions can be answered directly from the user's post and which ones would require more information from the user. Using performance analysis based on MCC scores, we show that PRIMATE is appropriate for identifying questions in PHQ-9 that could guide generative DLMs towards controlled FQ generation suitable for aiding triaging. Dataset created as a part of this research: https://github.com/primate-mh/Primate2022


title: YouTubers Not madeForKids: Detecting Channels Sharing Inappropriate Videos Targeting Children

abstract: In the last years, hundreds of new Youtube channels have been creating and sharing videos targeting children, with themes related to animation, superhero movies, comics, etc. Unfortunately, many of these videos are inappropriate for consumption by their target audience, due to disturbing, violent, or sexual scenes. In this paper, we study YouTube channels found to post suitable or disturbing videos targeting kids in the past. We identify a clear discrepancy between what YouTube assumes and flags as inappropriate content and channel, vs. what is found to be disturbing content and still available on the platform, targeting kids. In particular, we find that almost 60\% of videos that were manually annotated and classified as disturbing by an older study in 2019 (a collection bootstrapped with Elsa and other keywords related to children videos), are still available on YouTube in mid 2021. In the meantime, 44% of channels that uploaded such disturbing videos, have yet to be suspended and their videos to be removed. For the first time in literature, we also study the "madeForKids" flag, a new feature that YouTube introduced in the end of 2019, and compare its application to the channels that shared disturbing videos, as flagged from the previous study. Apparently, these channels are less likely to be set as "madeForKids" than those sharing suitable content. In addition, channels posting disturbing videos utilize their channel features such as keywords, description, topics, posts, etc., to appeal to kids (e.g., using game-related keywords). Finally, we use a collection of such channel and content features to train ML classifiers able to detect, at channel creation time, when a channel will be related to disturbing content uploads. These classifiers can help YouTube moderators reduce such incidences, pointing to potentially suspicious accounts without analyzing actual videos.


title: Diffusion Monte Carlo calculations of fully-heavy compact hexaquarks

abstract: We used a diffusion Monte Carlo technique to describe the properties of fully-heavy compact arrangements (no dibaryon molecules) including six quarks and no antiquarks within the framewok of a constituent quark model. Only arrangements whose wavefunctions were eigenvectors of $L^2$ with eigenvalue $\ell$ = 0 were taken into account, what means that we only considered the subset of all the possible color-spin combinations that make the total wavefunctions antisymmetric with respect to the interchange of any two quarks of the same type. This means arrangements with spin $S=0$ for $cccccc$, $bbbbbb$, $cccccb$, $bbbbbc$ and $cccbbb$ and spin $S=0,1,2$ for the $ccccbb$ and $bbbbcc$ hexaquarks. In all cases, the masses of the six-quark arrangements are larger that the ones corresponding to the sum of any of the two baryons we can split them into, but smaller that the ones for a set of six isolated quarks, i.e., all them are bound systems. The analysis of their structure indicates that all the hexaquarks considered in this work are compact objects, except the $cccbbb$, that appears to be a loose association of two baryons.


title: Algebraic conditions and general solution to a system of quaternion tensor equations with applications

abstract: This paper investigates the necessary and sufficient algebraic conditions to a constrained system of Sylvester-type quaternion tensor equations. An explicit formula of the general solution regarding the Moore-Penrose inverses of some block given tensors is obtained. As an application of a particular case, we establish the solvability conditions and the general solution to a system of Sylvester-type quaternion tensor equations involving $\eta$-Hermitian unknowns. An algorithm with a numerical example is proposed to compute the general solution of the main system.


title: Task-load-Aware Game-Theoretic Framework for Wireless Federated Learning

abstract: Federated learning (FL) has been proposed as a popular learning framework to protect the users' data privacy but it has difficulties in motivating the users to participate in task training. This paper proposes a Bertrand-game-based framework for FL in wireless networks, where the model server as a resource buyer can issue an FL task, whereas the employed user equipment (UEs) as the resource sellers can help train the model by using their local data. Specially, the influence of time-varying \textit{task load} and \textit{channel quality} on UE's motivation to participate in FL is considered. Firstly, we adopt the finite-state discrete-time Markov chain (FSDT-MC) method to predict the \textit{existing task load} and \textit{channel gain} of a UE during a FL task. Depending on the performance metrics set by the model server and the estimated overall energy cost for engaging in the FL task, each UE seeks the best price to maximize its own profit in the game. To this end, the Nash equilibrium (NE) of the game is obtained in closed form, and a distributed iterative algorithm is also developed to find the NE. Simulation result verifies the effectiveness of the proposed approach.


title: Non-exponential decay in classical stochastic processes with memory

abstract: The initial time-dependence of a state in circumstances where it makes transitions to, or decay to, a second state has been investigated. In classical stochastic processes, the observed time dependence of transition or decay proportional to $t^2$ is attributed to the noise with memory. In contrast to quantum mechanics, the quadratic form of initial decay is unable to decelerate the evolution of the system.


title: On exceptional sets of radial projections

abstract: We prove two new exceptional set estimates for radial projections in the plane. If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K > 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} \pi_{x}(K) \leq \sigma\} \leq \max\{1 + \sigma - \dim_{\mathrm{H}} K,0\}, \qquad \sigma \in [0,1).$$ If $K \subset \mathbb{R}^{2}$ is a Borel set with $\dim_{\mathrm{H}} K \leq 1$, then $$\dim_{\mathrm{H}} \{x \in \mathbb{R}^{2} \, \setminus \, K : \dim_{\mathrm{H}} \pi_{x}(K) < \dim_{\mathrm{H}} K\} \leq 1.$$ The finite field counterparts of both results above were recently proven by Lund, Thang, and Huong Thu. Our results resolve the planar cases of conjectures of Lund-Thang-Huong Thu, and Liu.


title: Transformers from an Optimization Perspective

abstract: Deep learning models such as the Transformer are often constructed by heuristics and experience. To provide a complementary foundation, in this work we study the following problem: Is it possible to find an energy function underlying the Transformer model, such that descent steps along this energy correspond with the Transformer forward pass? By finding such a function, we can view Transformers as the unfolding of an interpretable optimization process across iterations. This unfolding perspective has been frequently adopted in the past to elucidate more straightforward deep models such as MLPs and CNNs; however, it has thus far remained elusive obtaining a similar equivalence for more complex models with self-attention mechanisms like the Transformer. To this end, we first outline several major obstacles before providing companion techniques to at least partially address them, demonstrating for the first time a close association between energy function minimization and deep layers with self-attention. This interpretation contributes to our intuition and understanding of Transformers, while potentially laying the ground-work for new model designs.


title: EvenNet: Ignoring Odd-Hop Neighbors Improves Robustness of Graph Neural Networks

abstract: Graph Neural Networks (GNNs) have received extensive research attention for their promising performance in graph machine learning. Despite their extraordinary predictive accuracy, existing approaches, such as GCN and GPRGNN, are not robust in the face of homophily changes on test graphs, rendering these models vulnerable to graph structural attacks and with limited capacity in generalizing to graphs of varied homophily levels. Although many methods have been proposed to improve the robustness of GNN models, most of these techniques are restricted to the spatial domain and employ complicated defense mechanisms, such as learning new graph structures or calculating edge attentions. In this paper, we study the problem of designing simple and robust GNN models in the spectral domain. We propose EvenNet, a spectral GNN corresponding to an even-polynomial graph filter. Based on our theoretical analysis in both spatial and spectral domains, we demonstrate that EvenNet outperforms full-order models in generalizing across homophilic and heterophilic graphs, implying that ignoring odd-hop neighbors improves the robustness of GNNs. We conduct experiments on both synthetic and real-world datasets to demonstrate the effectiveness of EvenNet. Notably, EvenNet outperforms existing defense models against structural attacks without introducing additional computational costs and maintains competitiveness in traditional node classification tasks on homophilic and heterophilic graphs.


title: Anisotropic Hardy-Sobolev inequality in mixed Lorentz spaces with applications to the axisymmetric Navier-Stokes equations

abstract: In this paper, we establish several new anisotropic Hardy-Sobolev inequalities in mixed Lebesgue spaces and mixed Lorentz spaces, which covers many known corresponding results. As an application, this type of inequalities allows us to generalize some regularity criteria of the 3D axisymmetric Navier-Stokes equations.


title: Convex invertible cones and Nevanlinna-Pick interpolation: The suboptimal case

abstract: Nevanlinna-Pick interpolation developed from a topic in classical complex analysis to a useful tool for solving various problems in control theory and electrical engineering. Over the years many extensions of the original problem were considered, including extensions to different function spaces, nonstationary problems, several variable settings and interpolation with matrix and operator points. Here we discuss a variation on Nevanlinna-Pick interpolation for positive real odd functions evaluated in real matrix points. This problem was studied by Cohen and Lewkowicz using convex invertible cones and the Lyapunov order, but was never fully resolved. In this paper we present a solution to this problem in a special case that we refer to as `suboptimal' based on connections with the classical case. The solution requires a representation of linear matrix maps going back to R.D. Hill and an analysis of when positive linear matrix maps are completely positive, on which we reported in earlier work and which we will briefly review here.


title: Quantum design in study of pycnonuclear reactions in compact stars and new quasibound states

abstract: Pycnonuclear reactions in the compact stars at zero temperatures are studied on quantum mechanical basis in the paper. Formalism of multiple internal reflections is generalized for analysis, that was developed for nuclear decays and captures by nuclei with high precision and tests. For the chosen reaction $^{12}$C + $^{12}$C = $^{24}$Mg, we find the following. A quantum study of the pycnonuclear reaction requires a complete analysis of quantum fluxes in the internal nuclear region. This reduces rate and number of pycnonuclear reactions by 1.8 times. This leads to the appearance of new states (called as quasibound states) where the compound nuclear system is formed with maximal probability. As shown, minimal energy of such a state is a little higher than energy of zero-point vibrations in lattice sites in pycnonuclear reaction, however probability of formation of compound system at the quasibound state is essentially larger than the corresponding probability at state of zero-point vibrations. Hence, there is a sense to tell about reaction rates in such quasibound states as more probable, rather than states of zero-point vibrations. This can lead to the essential changes in estimation of the rates of nuclear reactions in stars.


title: Correlation sum and recurrence determinism for interval maps

abstract: Recurrence quantification analysis is a method for measuring the complexity of dynamical systems. Recurrence determinism is a fundamental characteristic of it, closely related to correlation sum. In this paper, we study asymptotic behavior of these quantities for interval maps. We show for which cases the asymptotic correlation sum exists. An example of an interval map with zero entropy and a point with the finite $\omega$-limit set for which the asymptotic correlation sum does not exist is given. Moreover, we present formulas for computation of the asymptotic correlation sum with respect to the cardinality of the $\omega$-limit set or to the configuration of the intervals forming it, respectively. We also show that for a not Li-Yorke chaotic (and hence zero entropy) interval map, the limit of recurrence determinism as distance threshold converges to zero can be strictly smaller than one.


title: Temperature induced band convergence, intervalley scattering and thermoelectric transport in p-type PbTe

abstract: Achieving high valley degeneracy (i.e. "band convergence") in a material usually results in considerably enhanced thermoelectric properties. However, it is still unclear why this strategy of designing efficient thermoelectric materials is so successful, since the benefit of increased density of states may be severely degraded by intervalley scattering. Using first-principles calculations, we investigate these effects in $p$-type PbTe, where temperature induces alignment of the $L$ and $\Sigma$ valleys at $\sim$~620~K. We explicitly show that the thermoelectric power factor and figure of merit peak near the band convergence temperature. The figure of merit maximum is larger than those of the individual $L$ and $\Sigma$ valleys. Surprisingly, intervalley scattering does not considerably affect the figure of merit near the band convergence temperature and optimal doping conditions, although it reduces the power factor by almost a factor of 2. Our results suggest that band convergence will significantly increase the figure of merit if intervalley scattering is roughly proportional to the density of states and the lattice thermal conductivity is considerably lower than the electronic thermal conductivity, even if intervalley scattering is strong.


title: Conditional particle filters with bridge backward sampling

abstract: Conditional particle filters (CPFs) with backward/ancestor sampling are powerful methods for sampling from the posterior distribution of the latent states of a dynamic model such as a hidden Markov model. However, the performance of these methods deteriorates with models involving weakly informative observations and/or slowly mixing dynamics. Both of these complications arise when sampling finely time-discretised continuous-time path integral models, but can occur with hidden Markov models too. Multinomial resampling, which is commonly employed with CPFs, resamples excessively for weakly informative observations and thereby introduces extra variance. Furthermore, slowly mixing dynamics render the backward/ancestor sampling steps ineffective, leading to degeneracy issues. We detail two conditional resampling strategies suitable for the weakly informative regime: the so-called `killing' resampling and the systematic resampling with mean partial order. To avoid the degeneracy issues, we introduce a generalisation of the CPF with backward sampling that involves auxiliary `bridging' CPF steps that are parameterised by a blocking sequence. We present practical tuning strategies for choosing an appropriate blocking. Our experiments demonstrate that the CPF with a suitable resampling and the developed `bridge backward sampling' can lead to substantial efficiency gains in the weakly informative and slow mixing regime.


title: Precise, super-resolving intensity measurement by quantum jump spectroscopy of a single neutral atom

abstract: We employ a single trapped $^{87}$Rb atom as a sub-wavelength optical intensity sensor, by spectroscopic measurement of the ac Stark shifts on the $F=1 \rightarrow F'=2$ hyperfine transition of the D$_{2}$ line. This transition experiences very small tensor light shifts, allowing a precise measurement of the scalar shift caused by a linearly-polarized field. A "quantum jump" technique, in which a single photon absorbed on the transition of interest induces the scattering of hundreds of photons on a bright, closed transition, is used to boost signal level and avoid systematic effects such as probe-induced optical pumping. The resulting line shape is used to extract the intensity at trap focus and the atom temperature. The analogous probing method on the $F=1 \rightarrow F'=1$ transition, in contrast, experiences strong tensor light shifts, and may be useful in Zeeman-state-resolving detection.


title: How Tempering Fixes Data Augmentation in Bayesian Neural Networks

abstract: While Bayesian neural networks (BNNs) provide a sound and principled alternative to standard neural networks, an artificial sharpening of the posterior usually needs to be applied to reach comparable performance. This is in stark contrast to theory, dictating that given an adequate prior and a well-specified model, the untempered Bayesian posterior should achieve optimal performance. Despite the community's extensive efforts, the observed gains in performance still remain disputed with several plausible causes pointing at its origin. While data augmentation has been empirically recognized as one of the main drivers of this effect, a theoretical account of its role, on the other hand, is largely missing. In this work we identify two interlaced factors concurrently influencing the strength of the cold posterior effect, namely the correlated nature of augmentations and the degree of invariance of the employed model to such transformations. By theoretically analyzing simplified settings, we prove that tempering implicitly reduces the misspecification arising from modeling augmentations as i.i.d. data. The temperature mimics the role of the effective sample size, reflecting the gain in information provided by the augmentations. We corroborate our theoretical findings with extensive empirical evaluations, scaling to realistic BNNs. By relying on the framework of group convolutions, we experiment with models of varying inherent degree of invariance, confirming its hypothesized relationship with the optimal temperature.


title: Bias Reduction via Cooperative Bargaining in Synthetic Graph Dataset Generation

abstract: In general, to draw robust conclusions from a dataset, all the analyzed population must be represented on said dataset. Having a dataset that does not fulfill this condition normally leads to selection bias. Additionally, graphs have been used to model a wide variety of problems. Although synthetic graphs can be used to augment available real graph datasets to overcome selection bias, the generation of unbiased synthetic datasets is complex with current tools. In this work, we propose a method to find a synthetic graph dataset that has an even representation of graphs with different metrics. The resulting dataset can then be used, among others, for benchmarking graph processing techniques as the accuracy of different Graph Neural Network (GNN) models or the speedups obtained by different graph processing acceleration frameworks.


title: Sample-Efficient Optimisation with Probabilistic Transformer Surrogates

abstract: Faced with problems of increasing complexity, recent research in Bayesian Optimisation (BO) has focused on adapting deep probabilistic models as flexible alternatives to Gaussian Processes (GPs). In a similar vein, this paper investigates the feasibility of employing state-of-the-art probabilistic transformers in BO. Upon further investigation, we observe two drawbacks stemming from their training procedure and loss definition, hindering their direct deployment as proxies in black-box optimisation. First, we notice that these models are trained on uniformly distributed inputs, which impairs predictive accuracy on non-uniform data - a setting arising from any typical BO loop due to exploration-exploitation trade-offs. Second, we realise that training losses (e.g., cross-entropy) only asymptotically guarantee accurate posterior approximations, i.e., after arriving at the global optimum, which generally cannot be ensured. At the stationary points of the loss function, however, we observe a degradation in predictive performance especially in exploratory regions of the input space. To tackle these shortcomings we introduce two components: 1) a BO-tailored training prior supporting non-uniformly distributed points, and 2) a novel approximate posterior regulariser trading-off accuracy and input sensitivity to filter favourable stationary points for improved predictive performance. In a large panel of experiments, we demonstrate, for the first time, that one transformer pre-trained on data sampled from random GP priors produces competitive results on 16 benchmark black-boxes compared to GP-based BO. Since our model is only pre-trained once and used in all tasks without any retraining and/or fine-tuning, we report an order of magnitude time-reduction, while matching and sometimes outperforming GPs.


title: Subordination Algebras as Semantic Environment of Input/Output Logic

abstract: We establish a novel connection between two research areas in non-classical logics which have been developed independently of each other so far: on the one hand, input/output logic, introduced within a research program developing logical formalizations of normative reasoning in philosophical logic and AI; on the other hand, subordination algebras, investigated in the context of a research program integrating topological, algebraic, and duality-theoretic techniques in the study of the semantics of modal logic. Specifically, we propose that the basic framework of input/output logic, as well as its extensions, can be given formal semantics on (slight generalizations of) subordination algebras. The existence of this interpretation brings benefits to both research areas: on the one hand, this connection allows for a novel conceptual understanding of subordination algebras as mathematical models of the properties and behaviour of norms; on the other hand, thanks to the well developed connection between subordination algebras and modal logic, the output operators in input/output logic can be given a new formal representation as modal operators, whose properties can be explicitly axiomatised in a suitable language, and be systematically studied by means of mathematically established and powerful tools.


title: Secrecy Capacity Maximization for a Hybrid Relay-RIS Scheme in mmWave MIMO Networks

abstract: The hybrid relay-reflecting intelligent surface (HR-RIS) has been recently introduced as an efficient solution to overcome the double path loss and limited beamforming diversity of the conventional fully passive reflecting surface. This motivates us to investigate the application of the HR-RIS in improving the secrecy capacity of millimeter wave multiple-input-multiple-output (MIMO) systems with the presence of multi-antenna eavesdropper. The joint optimization of the transmit beamformer and the relay-reflecting coefficients at RIS is tackled via alternating optimization. In the proposed solution, a closed-form expression for the optimal transmit beamformer at the transmitter is derived, and a metaheuristic solution based on particle swarm optimization is proposed to optimize the active and passive elements at the HR-RIS. The simulation results verify that under various scenarios, the HR-RIS provides significant improvement in the secrecy capacity with respect to the conventional passive reflecting surface.


title: Tur\'{a}n numbers $T(n,5,3)$ and graphs without induced $5$-cycles

abstract: Tur\'{a}n number $T(n,5,3)$ is the minimum size of a system of triples out of a base set $X$ of $n$ elements such that every quintuple in $X$ contains a triple from the system. The exact values of $T(n,5,3)$ are known for $n \leq 17$. Tur\'{a}n conjectured that $T(2m,5,3) = 2\binom{m}{3}$, and no counterexamples have been found so far. If this conjecture is true, then $T(2m+1,5,3) \geq \lceil m(m-2)(2m+1)/6\rceil$. We prove the matching upper bound for all $n = 2m+1 > 17$ except $n=27$.


title: A degree bound for rings of arithmetic invariants

abstract: Consider a Noetherian domain $R$ and a finite group $G \subseteq Gl_n(R)$. We prove that if the ring of invariants $R[x_1, \ldots, x_n]^G$ is a Cohen-Macaulay ring, then it is generated as an $R$-algebra by elements of degree at most $\max(|G|,n(|G|-1))$. As an intermediate result we also show that if $R$ is a Noetherian local ring with infinite residue field then such a ring of invariants of a finite group $G$ over $R$ contains a homogeneous system of parameters consisting of elements of degree at most $|G|$.


title: Quantum Error Mitigation via Quantum-Noise-Effect Circuit Groups

abstract: Near-term quantum computers have been built as intermediate-scale quantum devices and are fragile against quantum noise effects, namely, NISQ devices. Traditional quantum-error-correcting codes are not implemented on such devices and to perform quantum computation in good accuracy with these machines we need to develop alternative approaches for mitigating quantum computational errors. In this work, we propose quantum error mitigation (QEM) scheme for quantum computational errors which occur due to couplings with environments during gate operations, i.e., decoherence. To establish our QEM scheme, first we estimate the quantum noise effects on single-qubit states and represent them as groups of quantum circuits, namely, quantum-noise-effect circuit groups. Then our QEM scheme is conducted by subtracting expectation values generated by the quantum-noise-effect circuit groups from that obtained by the quantum circuits for the quantum algorithms under consideration. As a result, the quantum noise effects are reduced, and we obtain approximately the ideal expectation values via the quantum-noise-effect circuit groups and the numbers of elementary quantum circuits composing them scale polynomial with respect to the products of the depths of quantum algorithms and the numbers of register bits. To numerically demonstrate the validity of our QEM scheme, we run noisy quantum simulations of qubits under amplitude damping effects for four types of quantum algorithms. Furthermore, we implement our QEM scheme on IBM Q Experience processors and examine its efficacy. Consequently, the validity of our scheme is verified via both the quantum simulations and the quantum computations on the real quantum devices.


title: EmoInHindi: A Multi-label Emotion and Intensity Annotated Dataset in Hindi for Emotion Recognition in Dialogues

abstract: The long-standing goal of Artificial Intelligence (AI) has been to create human-like conversational systems. Such systems should have the ability to develop an emotional connection with the users, hence emotion recognition in dialogues is an important task. Emotion detection in dialogues is a challenging task because humans usually convey multiple emotions with varying degrees of intensities in a single utterance. Moreover, emotion in an utterance of a dialogue may be dependent on previous utterances making the task more complex. Emotion recognition has always been in great demand. However, most of the existing datasets for multi-label emotion and intensity detection in conversations are in English. To this end, we create a large conversational dataset in Hindi named EmoInHindi for multi-label emotion and intensity recognition in conversations containing 1,814 dialogues with a total of 44,247 utterances. We prepare our dataset in a Wizard-of-Oz manner for mental health and legal counselling of crime victims. Each utterance of the dialogue is annotated with one or more emotion categories from the 16 emotion classes including neutral, and their corresponding intensity values. We further propose strong contextual baselines that can detect emotion(s) and the corresponding intensity of an utterance given the conversational context.


title: (De-)Randomized Smoothing for Decision Stump Ensembles

abstract: Tree-based models are used in many high-stakes application domains such as finance and medicine, where robustness and interpretability are of utmost importance. Yet, methods for improving and certifying their robustness are severely under-explored, in contrast to those focusing on neural networks. Targeting this important challenge, we propose deterministic smoothing for decision stump ensembles. Whereas most prior work on randomized smoothing focuses on evaluating arbitrary base models approximately under input randomization, the key insight of our work is that decision stump ensembles enable exact yet efficient evaluation via dynamic programming. Importantly, we obtain deterministic robustness certificates, even jointly over numerical and categorical features, a setting ubiquitous in the real world. Further, we derive an MLE-optimal training method for smoothed decision stumps under randomization and propose two boosting approaches to improve their provable robustness. An extensive experimental evaluation on computer vision and tabular data tasks shows that our approach yields significantly higher certified accuracies than the state-of-the-art for tree-based models. We release all code and trained models at https://github.com/eth-sri/drs.


title: A gradient estimator via L1-randomization for online zero-order optimization with two point feedback

abstract: This work studies online zero-order optimization of convex and Lipschitz functions. We present a novel gradient estimator based on two function evaluations and randomization on the $\ell_1$-sphere. Considering different geometries of feasible sets and Lipschitz assumptions we analyse online dual averaging algorithm with our estimator in place of the usual gradient. We consider two types of assumptions on the noise of the zero-order oracle: canceling noise and adversarial noise. We provide an anytime and completely data-driven algorithm, which is adaptive to all parameters of the problem. In the case of canceling noise that was previously studied in the literature, our guarantees are either comparable or better than state-of-the-art bounds obtained by Duchi et al. (2015) and Shamir (2017) for non-adaptive algorithms. Our analysis is based on deriving a new weighted Poincar\'e type inequality for the uniform measure on the $\ell_1$-sphere with explicit constants, which may be of independent interest.


title: Pseudo-Mallows for Efficient Probabilistic Preference Learning

abstract: We propose the Pseudo-Mallows distribution over the set of all permutations of $n$ items, to approximate the posterior distribution with a Mallows likelihood. The Mallows model has been proven to be useful for recommender systems where it can be used to learn personal preferences from highly incomplete data provided by the users. Inference based on MCMC is however slow, preventing its use in real time applications. The Pseudo-Mallows distribution is a product of univariate discrete Mallows-like distributions, constrained to remain in the space of permutations. The quality of the approximation depends on the order of the $n$ items used to determine the factorization sequence. In a variational setting, we optimise the variational order parameter by minimising a marginalized KL-divergence. We propose an approximate algorithm for this discrete optimization, and conjecture a certain form of the optimal variational order that depends on the data. Empirical evidence and some theory support our conjecture. Sampling from the Pseudo-Mallows distribution allows fast preference learning, compared to alternative MCMC based options, when the data exists in form of partial rankings of the items or of clicking on some items. Through simulations and a real life data case study, we demonstrate that the Pseudo-Mallows model learns personal preferences very well and makes recommendations much more efficiently, while maintaining similar accuracy compared to the exact Bayesian Mallows model.


title: Co-Axial Metrics on the Sphere and Algebraic Numbers

abstract: In this paper, we consider the following curvature equation $$\Delta u+{\rm e}^u=4\pi\biggl((\theta_0-1)\delta_0+(\theta_1-1)\delta_1 +\sum_{j=1}^{n+m}\bigl(\theta_j'-1\bigr)\delta_{t_j}\biggr)\qquad \text{in}\ \mathbb R^2,$$ $$u(x)=-2(1+\theta_\infty)\ln|x|+O(1)\qquad \text{as} \ |x|\to\infty,$$ where $\theta_0$, $\theta_1$, $\theta_\infty$, and $\theta_{j}'$ are positive non-integers for $1\le j\le n$, while $\theta_{j}'\in\mathbb{N}_{\geq 2}$ are integers for $n+1\le j\le n+m$. Geometrically, a solution $u$ gives rise to a conical metric ${\rm d}s^2=\frac12 {\rm e}^u|{\rm d}x|^2$ of curvature $1$ on the sphere, with conical singularities at $0$, $1$, $\infty$, and $t_j$, $1\le j\le n+m$, with angles $2\pi\theta_0$, $2\pi\theta_1$, $2\pi\theta_\infty$, and $2\pi\theta_{j}'$ at $0$, $1$, $\infty$, and $t_j$, respectively. The metric ${\rm d}s^2$ or the solution $u$ is called co-axial, which was introduced by Mondello and Panov, if there is a developing map $h(x)$ of $u$ such that the projective monodromy group is contained in the unit circle. The sufficient and necessary conditions in terms of angles for the existence of such metrics were obtained by Mondello-Panov (2016) and Eremenko (2020). In this paper, we fix the angles and study the locations of the singularities $t_1,\dots,t_{n+m}$. Let $A\subset\mathbb{C}^{n+m}$ be the set of those $(t_1,\dots,t_{n+m})$'s such that a co-axial metric exists, among other things we prove that (i) If $m=1$, i.e., there is only one integer $\theta_{n+1}'$ among $\theta_j'$, then $A$ is a finite set. Moreover, for the case $n=0$, we obtain a sharp bound of the cardinality of the set $A$. We apply a result due to Eremenko, Gabrielov, and Tarasov (2016) and the monodromy of hypergeometric equations to obtain such a bound. (ii) If $m\ge 2$, then $A$ is an algebraic set of dimension $\leq m-1$.


title: Dynamic Domain Generalization

abstract: Domain generalization (DG) is a fundamental yet very challenging research topic in machine learning. The existing arts mainly focus on learning domain-invariant features with limited source domains in a static model. Unfortunately, there is a lack of training-free mechanism to adjust the model when generalized to the agnostic target domains. To tackle this problem, we develop a brand-new DG variant, namely Dynamic Domain Generalization (DDG), in which the model learns to twist the network parameters to adapt the data from different domains. Specifically, we leverage a meta-adjuster to twist the network parameters based on the static model with respect to different data from different domains. In this way, the static model is optimized to learn domain-shared features, while the meta-adjuster is designed to learn domain-specific features. To enable this process, DomainMix is exploited to simulate data from diverse domains during teaching the meta-adjuster to adapt to the upcoming agnostic target domains. This learning mechanism urges the model to generalize to different agnostic target domains via adjusting the model without training. Extensive experiments demonstrate the effectiveness of our proposed method. Code is available at: https://github.com/MetaVisionLab/DDG


title: 3DILG: Irregular Latent Grids for 3D Generative Modeling

abstract: We propose a new representation for encoding 3D shapes as neural fields. The representation is designed to be compatible with the transformer architecture and to benefit both shape reconstruction and shape generation. Existing works on neural fields are grid-based representations with latents defined on a regular grid. In contrast, we define latents on irregular grids, enabling our representation to be sparse and adaptive. In the context of shape reconstruction from point clouds, our shape representation built on irregular grids improves upon grid-based methods in terms of reconstruction accuracy. For shape generation, our representation promotes high-quality shape generation using auto-regressive probabilistic models. We show different applications that improve over the current state of the art. First, we show results for probabilistic shape reconstruction from a single higher resolution image. Second, we train a probabilistic model conditioned on very low resolution images. Third, we apply our model to category-conditioned generation. All probabilistic experiments confirm that we are able to generate detailed and high quality shapes to yield the new state of the art in generative 3D shape modeling.