title: Graph Balancing with Orientation Costs

abstract: Motivated by the classic Generalized Assignment Problem, we consider the Graph Balancing problem in the presence of orientation costs: given an undirected multi-graph G = (V,E) equipped with edge weights and orientation costs on the edges, the goal is to find an orientation of the edges that minimizes both the maximum weight of edges oriented toward any vertex (makespan) and total orientation cost. We present a general framework for minimizing makespan in the presence of costs that allows us to: (1) achieve bicriteria approximations for the Graph Balancing problem that capture known previous results (Shmoys-Tardos [Math. Progrm. 93], Ebenlendr-Krc\'al- Sgall [Algorithmica 14], and Wang-Sitters [Inf. Process. Lett. 16]); and (2) achieve bicriteria approximations for extensions of the Graph Balancing problem that admit hyperedges and unrelated weights. Our framework is based on a remarkably simple rounding of a strengthened linear relaxation. We complement the above by presenting bicriteria lower bounds with respect to the linear programming relaxations we use that show that a loss in the total orientation cost is required if one aims for an approximation better than 2 in the makespan.


title: Two-component nonlinear wave of the Born-Infeld equation

abstract: The generalized perturbative reduction method is used to find the two-component vector breather solution of the Born-Infeld equation $ U_{tt} -C U_{zz} = - A U_{t}^{2} U_{zz} - \sigma U_{z}^{ 2} U_{tt} + B U_{z} U_{t} U_{zt} $. It is shown that the solution of the two-component nonlinear wave oscillates with the sum and difference of frequencies and wave numbers.


title: Relativistic Aberration: The Transformation of a Propagating Field

abstract: The fields used to describe the influence of masses and electric charges are generally accepted to propagate at the speed of light from their sources. To obtain these fields for a moving charge which are consistent with special relativity, transformations should be applied to the propagating field in the charge's rest frame to acquire the propagating field in the charge's primed inertial frame. These transformations are of its coordinates, and also the velocity vectors of the field's propagation, which consequently lead to a change in the field's direction and as a result its strength. Yet, the electric field propagation velocities are neglected and not currently transformed. This omission has consequences when it comes to transforming the field from the source's rest frame to the source's primed frame, as this primed frame's field would then be inconsistent with the calculated retarded field's directions and consequently its strengths in this primed frame. Here the retarded field of a moving point charge will be derived and from this the requirement of the velocity transforms and the aberrational effects will be shown. Hence, the full consistent inertial frame transform will be given. This work shows the general theoretical basis and legitimacy of the aberrational effects and acts as an argument for their implementation on all propagating fields.


title: Toward a quantum concept of absolute simultaneity: Observation of single-electron spatial dynamics with a macroscopic discontinuity

abstract: We provide strong evidence for single-electron spatial dynamics with a macroscopic discontinuity. The dynamics is observed in an electron quantum phase consisted of macroscopic quantum orbits similar to those responsible for the integer quantum Hall effect. The dynamics is consistent with the standard QM that predicts a "cloud-like" behavior of electron in quantum orbits regardless of their lengthscale. Sinse the dynamics is beyond the relativistic paradigm of movement, it may well be nonlocal. It thereby can be the basis for a quantum concept of absolute simultaneity, which now rests not on the meaningless notion of infinite speed but on empirically-tested quantum effect. This concept revives the Bell-Popper idea to replace the current "kinematic" version of relativity by the "dynamic" version by Lorentz and Poincare with a revival of the classical view of space and time where the problem of preferred reference frame now can be solved without to involve the vague notion "aether". We argue that the concept of quantum absolute simultaneity opens the door to a realistic interpretation of standard QM through a deeper insight of what is called "reality" and ultimately to a harmony between quantum and relativity theories.


title: An analytical model for the Maxwell radiation field in an axially symmetric galaxy

abstract: The Maxwell radiation field is an essential physical characteristic of a galaxy. Here, an analytical model is built to simulate that field in an axisymmetric galaxy. This analytical model is based on an explicit representation for axisymmetric source-free Maxwell fields. In a previous work, the general applicability of this representation has been proved. The model is adjusted by fitting to it the sum of spherical radiations emitted by the composing "stars". The huge ratio distance/wavelength needs to implement a numerical precision better than the quadruple precision. The model passes a validation test based on a spherically symmetric solution. The results for a set of "stars" representative of a disk galaxy indicate that the field is highest near to the disk axis, and there the axial component of ${\bf E}$ dominates over the radial one. This work will allow us in the future to check if the interaction energy predicted by an alternative theory of gravitation might be a component of dark matter. {\bf Keywords:} Disk galaxy; Maxwell equations; axial symmetry; exact solutions; numerical model; dark matter.


title: An Optimal Algorithm for Strict Circular Seriation

abstract: We study the problem of circular seriation, where we are given a matrix of pairwise dissimilarities between $n$ objects, and the goal is to find a {\em circular order} of the objects in a manner that is consistent with their dissimilarity. This problem is a generalization of the classical {\em linear seriation} problem where the goal is to find a {\em linear order}, and for which optimal ${\cal O}(n^2)$ algorithms are known. Our contributions can be summarized as follows. First, we introduce {\em circular Robinson matrices} as the natural class of dissimilarity matrices for the circular seriation problem. Second, for the case of {\em strict circular Robinson dissimilarity matrices} we provide an optimal ${\cal O}(n^2)$ algorithm for the circular seriation problem. Finally, we propose a statistical model to analyze the well-posedness of the circular seriation problem for large $n$. In particular, we establish ${\cal O}(\log(n)/n)$ rates on the distance between any circular ordering found by solving the circular seriation problem to the underlying order of the model, in the Kendall-tau metric.


title: Does Knowledge Distillation Really Work?

abstract: Knowledge distillation is a popular technique for training a small student network to emulate a larger teacher model, such as an ensemble of networks. We show that while knowledge distillation can improve student generalization, it does not typically work as it is commonly understood: there often remains a surprisingly large discrepancy between the predictive distributions of the teacher and the student, even in cases when the student has the capacity to perfectly match the teacher. We identify difficulties in optimization as a key reason for why the student is unable to match the teacher. We also show how the details of the dataset used for distillation play a role in how closely the student matches the teacher -- and that more closely matching the teacher paradoxically does not always lead to better student generalization.


title: Curiously Effective Features for Image Quality Prediction

abstract: The performance of visual quality prediction models is commonly assumed to be closely tied to their ability to capture perceptually relevant image aspects. Models are thus either based on sophisticated feature extractors carefully designed from extensive domain knowledge or optimized through feature learning. In contrast to this, we find feature extractors constructed from random noise to be sufficient to learn a linear regression model whose quality predictions reach high correlations with human visual quality ratings, on par with a model with learned features. We analyze this curious result and show that besides the quality of feature extractors also their quantity plays a crucial role - with top performances only being achieved in highly overparameterized models.


title: Integer programs with bounded subdeterminants and two nonzeros per row

abstract: We give a strongly polynomial-time algorithm for integer linear programs defined by integer coefficient matrices whose subdeterminants are bounded by a constant and that contain at most two nonzero entries in each row. The core of our approach is the first polynomial-time algorithm for the weighted stable set problem on graphs that do not contain more than $k$ vertex-disjoint odd cycles, where $k$ is any constant. Previously, polynomial-time algorithms were only known for $k=0$ (bipartite graphs) and for $k=1$. We observe that integer linear programs defined by coefficient matrices with bounded subdeterminants and two nonzeros per column can be also solved in strongly polynomial-time, using a reduction to $b$-matching.


title: Solving combinatorial problems by two D_Wave hybrid solvers: a case study of traveling salesman problems in the TSP Library

abstract: The D_Wave quantum computer is an analog device that approximates optimal solutions to optimization problems. The traveling salesman problems in the TSP Library are too large to process on the D_Wave quantum computer DW_2000Q_6. We report favorable approximations for solving the smallest, symmetric traveling salesman problems in the TSP Library by two D_Wave hybrid solvers, Kerberos and LeapHybridSampler. This is useful work about results from new quantum tools on problems that have been studied. It is expected to show a quantum way forward with larger problems when the hardware is upgraded. Also this work demonstrates that the TSP Library is a source of benchmarks for quantum processing of combinatorial problems. The hybrid solvers combine quantum and classical methods in a manner that is D_Wave proprietary information. The results from Kerberos were closer to optimal than the results from LeapHybridSampler. We show that the error percent from optimal increases as the problem size increases, which is consistent with results on D-Wave_s quantum computer for other optimization problems. An appendix contains outcomes from the two hybrid solvers for two asymmetric traveling salesman problems that are in the TSP Library. Again, the Kerberos results were closer to optimal than those from LeapHybridSampler, which indicates that Kerberos is superior to LeapHybridSampler on traveling salesman problems.


title: The lattice of arithmetic progressions

abstract: This paper concerns the lattice $L_n$ of subsets of $\{1,\ldots,n\}$ that are arithmetic progressions, under the inclusion order. For $n\geq 4$, this poset is not graded and thus not semimodular. We give three independent proofs of the fact that for $n\geq 2$, $\mu_n(L_n) = \mu(n-1)$, where $\mu_n$ is the M\"obius function of $L_n$ and $\mu$ is the classical (number-theoretic) M\"obius function. We also show that $L_n$ is comodernistic, which implies that $L_n$ is EL-labelable. Comodernism is then used to prove that the order complex $\Delta_n$ of the lattice is either contractible or homotopy equivalent to a sphere.


title: Equilibrium Energy and Entropy of Vortex Filaments on a Cubic Lattice: A Localized Transformations Algorithm

abstract: In this work we propose a new algorithm for the computation of statistical equilibrium quantities on a cubic lattice when both an energy and a statistical temperature are involved. We demonstrate that the pivot algorithm used in situations such as protein folding works well for a small range of temperatures near the polymeric case, but it fails in other situations. The new algorithm, using localized transformations, seems to perform well for all possible temperature values. Having reliably approximated the values of equilibrium energy, we also propose an efficient way to compute equilibrium entropy for all temperature values. We apply the algorithms in the context of suction or supercritical vortices in a tornadic flow, which are approximated by vortex filaments on a cubic lattice. We confirm that supercritical (smooth, "straight") vortices have the highest energy and correspond to negative temperatures in this model. The lowest-energy configurations are folded up and "balled up" to a great extent. The results support A. Chorin's findings that, in the context of supercritical vortices in a tornadic flow, when such high-energy vortices stretch, they need to fold.


title: Support Recovery of Sparse Signals from a Mixture of Linear Measurements

abstract: Recovery of support of a sparse vector from simple measurements is a widely-studied problem, considered under the frameworks of compressed sensing, 1-bit compressed sensing, and more general single index models. We consider generalizations of this problem: mixtures of linear regressions, and mixtures of linear classifiers, where the goal is to recover supports of multiple sparse vectors using only a small number of possibly noisy linear, and 1-bit measurements respectively. The key challenge is that the measurements from different vectors are randomly mixed. Both of these problems have also received attention recently. In mixtures of linear classifiers, the observations correspond to the side of queried hyperplane a random unknown vector lies in, whereas in mixtures of linear regressions we observe the projection of a random unknown vector on the queried hyperplane. The primary step in recovering the unknown vectors from the mixture is to first identify the support of all the individual component vectors. In this work, we study the number of measurements sufficient for recovering the supports of all the component vectors in a mixture in both these models. We provide algorithms that use a number of measurements polynomial in $k, \log n$ and quasi-polynomial in $\ell$, to recover the support of all the $\ell$ unknown vectors in the mixture with high probability when each individual component is a $k$-sparse $n$-dimensional vector.


title: Conserved charges for rational electromagnetic knots

abstract: We revisit a newfound construction of rational electromagnetic knots based on the conformal correspondence between Minkowski space and a finite $S^3$-cylinder. We present here a more direct approach for this conformal correspondence based on Carter-Penrose transformation that avoids a detour to de Sitter space. The Maxwell equations can be analytically solved on the cylinder in terms of $S^3$ harmonics $Y_{j;m,n}$, which can then be transformed into Minkowski coordinates using the conformal map. The resultant "knot basis" electromagnetic field configurations have non-trivial topology in that their field lines form closed knots. We consider finite, complex linear combinations of these knot-basis solutions for a fixed spin $j$ and compute all the $15$ conserved Noether charges associated with the conformal group. We find that the scalar charges either vanish or are proportional to the energy. For the non-vanishing vector charges, we find a nice geometric structure that facilitates computation of their spherical components as well. We present analytic results for all charges for up to $j{=}1$. We demonstrate possible applications of our findings through some known previous results.


title: PeCLR: Self-Supervised 3D Hand Pose Estimation from monocular RGB via Equivariant Contrastive Learning

abstract: Encouraged by the success of contrastive learning on image classification tasks, we propose a new self-supervised method for the structured regression task of 3D hand pose estimation. Contrastive learning makes use of unlabeled data for the purpose of representation learning via a loss formulation that encourages the learned feature representations to be invariant under any image transformation. For 3D hand pose estimation, it too is desirable to have invariance to appearance transformation such as color jitter. However, the task requires equivariance under affine transformations, such as rotation and translation. To address this issue, we propose an equivariant contrastive objective and demonstrate its effectiveness in the context of 3D hand pose estimation. We experimentally investigate the impact of invariant and equivariant contrastive objectives and show that learning equivariant features leads to better representations for the task of 3D hand pose estimation. Furthermore, we show that standard ResNets with sufficient depth, trained on additional unlabeled data, attain improvements of up to 14.5% in PA-EPE on FreiHAND and thus achieves state-of-the-art performance without any task specific, specialized architectures. Code and models are available at https://ait.ethz.ch/projects/2021/PeCLR/


title: Adversarial Motion Modelling helps Semi-supervised Hand Pose Estimation

abstract: Hand pose estimation is difficult due to different environmental conditions, object- and self-occlusion as well as diversity in hand shape and appearance. Exhaustively covering this wide range of factors in fully annotated datasets has remained impractical, posing significant challenges for generalization of supervised methods. Embracing this challenge, we propose to combine ideas from adversarial training and motion modelling to tap into unlabeled videos. To this end we propose what to the best of our knowledge is the first motion model for hands and show that an adversarial formulation leads to better generalization properties of the hand pose estimator via semi-supervised training on unlabeled video sequences. In this setting, the pose predictor must produce a valid sequence of hand poses, as determined by a discriminative adversary. This adversary reasons both on the structural as well as temporal domain, effectively exploiting the spatio-temporal structure in the task. The main advantage of our approach is that we can make use of unpaired videos and joint sequence data both of which are much easier to attain than paired training data. We perform extensive evaluation, investigating essential components needed for the proposed framework and empirically demonstrate in two challenging settings that the proposed approach leads to significant improvements in pose estimation accuracy. In the lowest label setting, we attain an improvement of $40\%$ in absolute mean joint error.


title: Bayesian inference of a non-local proliferation model

abstract: From a systems biology perspective the majority of cancer models, although interesting and providing a qualitative explanation of some problems, have a major disadvantage in that they usually miss a genuine connection with experimental data. Having this in mind, in this paper, we aim at contributing to the improvement of many cancer models which contain a proliferation term. To this end, we propose a new non-local model of cell proliferation. We select data which are suitable to perform a Bayesian inference for unknown parameters and we provide a discussion on the range of applicability of the model. Furthermore, we provide proof of the stability of a posteriori distributions in total variation norm which exploits the theory of spaces of measures equipped with the weighted flat norm. In a companion paper, we provide a detailed proof of the well-posedness of the problem and we investigate the convergence of the EBT algorithm applied to solve the equation.


title: Beyond BatchNorm: Towards a Unified Understanding of Normalization in Deep Learning

abstract: Inspired by BatchNorm, there has been an explosion of normalization layers in deep learning. Recent works have identified a multitude of beneficial properties in BatchNorm to explain its success. However, given the pursuit of alternative normalization layers, these properties need to be generalized so that any given layer's success/failure can be accurately predicted. In this work, we take a first step towards this goal by extending known properties of BatchNorm in randomly initialized deep neural networks (DNNs) to several recently proposed normalization layers. Our primary findings follow: (i) similar to BatchNorm, activations-based normalization layers can prevent exponential growth of activations in ResNets, but parametric techniques require explicit remedies; (ii) use of GroupNorm can ensure an informative forward propagation, with different samples being assigned dissimilar activations, but increasing group size results in increasingly indistinguishable activations for different samples, explaining slow convergence speed in models with LayerNorm; and (iii) small group sizes result in large gradient norm in earlier layers, hence explaining training instability issues in Instance Normalization and illustrating a speed-stability tradeoff in GroupNorm. Overall, our analysis reveals a unified set of mechanisms that underpin the success of normalization methods in deep learning, providing us with a compass to systematically explore the vast design space of DNN normalization layers.


title: Subjective Causality in Choice

abstract: When making a decision based on observational data, a person's choice depends on her beliefs about which correlations reflect causality and which do not. We model an agent who predicts the outcome of each available action from observational data using a subjective causal model represented by a directed acyclic graph (DAG). An analyst can identify the agent's DAG from her random choice rule. Her choices reveal the chains of causal reasoning that she undertakes and the confounding variables she adjusts for, and these objects pin down her model. When her choices determine the data available, her behavior affects her inferences, which in turn affect her choices. We provide necessary and sufficient conditions for testing whether such an agent's behavior is compatible with the model.


title: Near-Optimal High Probability Complexity Bounds for Non-Smooth Stochastic Optimization with Heavy-Tailed Noise

abstract: Stochastic first-order methods are standard for training large-scale machine learning models. Random behavior may cause a particular run of an algorithm to result in a highly suboptimal objective value, whereas theoretical guarantees are usually proved for the expectation of the objective value. Thus, it is essential to theoretically guarantee that algorithms provide small objective residual with high probability. Existing methods for non-smooth stochastic convex optimization have complexity bounds with the dependence on the confidence level that is either negative-power or logarithmic but under an additional assumption of sub-Gaussian (light-tailed) noise distribution that may not hold in practice. In our paper, we resolve this issue and derive the first high-probability convergence results with logarithmic dependence on the confidence level for non-smooth convex stochastic optimization problems with non-sub-Gaussian (heavy-tailed) noise. To derive our results, we propose novel stepsize rules for two stochastic methods with gradient clipping. Moreover, our analysis works for generalized smooth objectives with H\"older-continuous gradients, and for both methods, we provide an extension for strongly convex problems. Finally, our results imply that the first (accelerated) method we consider also has optimal iteration and oracle complexity in all the regimes, and the second one is optimal in the non-smooth setting.


title: Seebeck coefficient in a cuprate superconductor: particle-hole asymmetry in the strange metal phase and Fermi surface transformation in the pseudogap phase

abstract: We report measurements of the Seebeck effect in both the $ab$ plane ($S_{\rm a}$) and along the $c$ axis ($S_{\rm c}$) of the cuprate superconductor La$_{1.6-x}$Nd$_{0.4}$Sr$_{x}$CuO$_4$ (Nd-LSCO), performed in magnetic fields large enough to suppress superconductivity down to low temperature. We use the Seebeck coefficient as a probe of the particle-hole asymmetry of the electronic structure across the pseudogap critical doping $p^{\star} = 0.23$. Outside the pseudogap phase, at $p = 0.24 > p^{\star}$, we observe a positive and essentially isotropic Seebeck coefficient as $T \rightarrow 0$. That $S > 0$ at $p = 0.24$ is at odds with expectations given the electronic band structure of Nd-LSCO above $p^{\star}$ and its known electron-like Fermi surface. We can reconcile this observation by invoking an energy-dependent scattering rate with a particle-hole asymmetry, possibly rooted in the non-Fermi liquid nature of cuprates just above $p^{\star}$. Inside the pseudogap phase, for $ p < p^{\star}$, $S_{\rm a}$ is seen to rise at low temperature as previously reported, consistent with the drop in carrier density $n$ from $n \simeq 1 + p$ to $n \simeq p$ across $p^{\star}$ as inferred from other transport properties. In stark contrast, $S_{\rm c}$ at low temperature becomes negative below $p^{\star}$, a novel signature of the pseudogap phase. The sudden drop in $S_{\rm c}$ reveals a change in the electronic structure of Nd-LSCO upon crossing $p^{\star}$. We can exclude a profound change of the scattering across $p^{\star}$ and conclude that the change in the out-of-plane Seebeck coefficient originates from a transformation of the Fermi surface.


title: Compositional Modeling of Nonlinear Dynamical Systems with ODE-based Random Features

abstract: Effectively modeling phenomena present in highly nonlinear dynamical systems whilst also accurately quantifying uncertainty is a challenging task, which often requires problem-specific techniques. We present a novel, domain-agnostic approach to tackling this problem, using compositions of physics-informed random features, derived from ordinary differential equations. The architecture of our model leverages recent advances in approximate inference for deep Gaussian processes, such as layer-wise weight-space approximations which allow us to incorporate random Fourier features, and stochastic variational inference for approximate Bayesian inference. We provide evidence that our model is capable of capturing highly nonlinear behaviour in real-world multivariate time series data. In addition, we find that our approach achieves comparable performance to a number of other probabilistic models on benchmark regression tasks.


title: What Does Rotation Prediction Tell Us about Classifier Accuracy under Varying Testing Environments?

abstract: Understanding classifier decision under novel environments is central to the community, and a common practice is evaluating it on labeled test sets. However, in real-world testing, image annotations are difficult and expensive to obtain, especially when the test environment is changing. A natural question then arises: given a trained classifier, can we evaluate its accuracy on varying unlabeled test sets? In this work, we train semantic classification and rotation prediction in a multi-task way. On a series of datasets, we report an interesting finding, i.e., the semantic classification accuracy exhibits a strong linear relationship with the accuracy of the rotation prediction task (Pearson's Correlation r > 0.88). This finding allows us to utilize linear regression to estimate classifier performance from the accuracy of rotation prediction which can be obtained on the test set through the freely generated rotation labels.


title: Semiclassical states for a magnetic nonlinear Schr\"{o}dinger equation with exponential critical growth in $\mathbb{R}^{2}$

abstract: This paper is devoted to the magnetic nonlinear Schr\"{o}dinger equation \[ \Big(\frac{\varepsilon}{i}\nabla-A(x)\Big)^{2}u+V(x)u=f(| u|^{2})u \text{ in } \mathbb{R}^{2}, \] where $\varepsilon>0$ is a parameter, $V:\mathbb{R}^{2}\rightarrow \mathbb{R}$ and $A: \mathbb{R}^{2}\rightarrow \mathbb{R}^{2}$ are continuous functions and $f:\mathbb{R}\rightarrow \mathbb{R}$ is a $C^{1}$ function having exponential critical growth. Under a global assumption on the potential $V$, we use variational methods and Ljusternick-Schnirelmann theory to prove existence, multiplicity, concentration, and decay of nontrivial solutions for $\varepsilon>0$ small.


title: Learning to See by Looking at Noise

abstract: Current vision systems are trained on huge datasets, and these datasets come with costs: curation is expensive, they inherit human biases, and there are concerns over privacy and usage rights. To counter these costs, interest has surged in learning from cheaper data sources, such as unlabeled images. In this paper we go a step further and ask if we can do away with real image datasets entirely, instead learning from noise processes. We investigate a suite of image generation models that produce images from simple random processes. These are then used as training data for a visual representation learner with a contrastive loss. We study two types of noise processes, statistical image models and deep generative models under different random initializations. Our findings show that it is important for the noise to capture certain structural properties of real data but that good performance can be achieved even with processes that are far from realistic. We also find that diversity is a key property to learn good representations. Datasets, models, and code are available at https://mbaradad.github.io/learning_with_noise.


title: Fair Classification with Adversarial Perturbations

abstract: We study fair classification in the presence of an omniscient adversary that, given an $\eta$, is allowed to choose an arbitrary $\eta$-fraction of the training samples and arbitrarily perturb their protected attributes. The motivation comes from settings in which protected attributes can be incorrect due to strategic misreporting, malicious actors, or errors in imputation; and prior approaches that make stochastic or independence assumptions on errors may not satisfy their guarantees in this adversarial setting. Our main contribution is an optimization framework to learn fair classifiers in this adversarial setting that comes with provable guarantees on accuracy and fairness. Our framework works with multiple and non-binary protected attributes, is designed for the large class of linear-fractional fairness metrics, and can also handle perturbations besides protected attributes. We prove near-tightness of our framework's guarantees for natural hypothesis classes: no algorithm can have significantly better accuracy and any algorithm with better fairness must have lower accuracy. Empirically, we evaluate the classifiers produced by our framework for statistical rate on real-world and synthetic datasets for a family of adversaries.


title: Implicit-PDF: Non-Parametric Representation of Probability Distributions on the Rotation Manifold

abstract: Single image pose estimation is a fundamental problem in many vision and robotics tasks, and existing deep learning approaches suffer by not completely modeling and handling: i) uncertainty about the predictions, and ii) symmetric objects with multiple (sometimes infinite) correct poses. To this end, we introduce a method to estimate arbitrary, non-parametric distributions on SO(3). Our key idea is to represent the distributions implicitly, with a neural network that estimates the probability given the input image and a candidate pose. Grid sampling or gradient ascent can be used to find the most likely pose, but it is also possible to evaluate the probability at any pose, enabling reasoning about symmetries and uncertainty. This is the most general way of representing distributions on manifolds, and to showcase the rich expressive power, we introduce a dataset of challenging symmetric and nearly-symmetric objects. We require no supervision on pose uncertainty -- the model trains only with a single pose per example. Nonetheless, our implicit model is highly expressive to handle complex distributions over 3D poses, while still obtaining accurate pose estimation on standard non-ambiguous environments, achieving state-of-the-art performance on Pascal3D+ and ModelNet10-SO(3) benchmarks.


title: Learning by Watching

abstract: When in a new situation or geographical location, human drivers have an extraordinary ability to watch others and learn maneuvers that they themselves may have never performed. In contrast, existing techniques for learning to drive preclude such a possibility as they assume direct access to an instrumented ego-vehicle with fully known observations and expert driver actions. However, such measurements cannot be directly accessed for the non-ego vehicles when learning by watching others. Therefore, in an application where data is regarded as a highly valuable asset, current approaches completely discard the vast portion of the training data that can be potentially obtained through indirect observation of surrounding vehicles. Motivated by this key insight, we propose the Learning by Watching (LbW) framework which enables learning a driving policy without requiring full knowledge of neither the state nor expert actions. To increase its data, i.e., with new perspectives and maneuvers, LbW makes use of the demonstrations of other vehicles in a given scene by (1) transforming the ego-vehicle's observations to their points of view, and (2) inferring their expert actions. Our LbW agent learns more robust driving policies while enabling data-efficient learning, including quick adaptation of the policy to rare and novel scenarios. In particular, LbW drives robustly even with a fraction of available driving data required by existing methods, achieving an average success rate of 92% on the original CARLA benchmark with only 30 minutes of total driving data and 82% with only 10 minutes.


title: Revisiting Contrastive Methods for Unsupervised Learning of Visual Representations

abstract: Contrastive self-supervised learning has outperformed supervised pretraining on many downstream tasks like segmentation and object detection. However, current methods are still primarily applied to curated datasets like ImageNet. In this paper, we first study how biases in the dataset affect existing methods. Our results show that current contrastive approaches work surprisingly well across: (i) object- versus scene-centric, (ii) uniform versus long-tailed and (iii) general versus domain-specific datasets. Second, given the generality of the approach, we try to realize further gains with minor modifications. We show that learning additional invariances -- through the use of multi-scale cropping, stronger augmentations and nearest neighbors -- improves the representations. Finally, we observe that MoCo learns spatially structured representations when trained with a multi-crop strategy. The representations can be used for semantic segment retrieval and video instance segmentation without finetuning. Moreover, the results are on par with specialized models. We hope this work will serve as a useful study for other researchers. The code and models are available at https://github.com/wvangansbeke/Revisiting-Contrastive-SSL.


title: Space-time Mixing Attention for Video Transformer

abstract: This paper is on video recognition using Transformers. Very recent attempts in this area have demonstrated promising results in terms of recognition accuracy, yet they have been also shown to induce, in many cases, significant computational overheads due to the additional modelling of the temporal information. In this work, we propose a Video Transformer model the complexity of which scales linearly with the number of frames in the video sequence and hence induces no overhead compared to an image-based Transformer model. To achieve this, our model makes two approximations to the full space-time attention used in Video Transformers: (a) It restricts time attention to a local temporal window and capitalizes on the Transformer's depth to obtain full temporal coverage of the video sequence. (b) It uses efficient space-time mixing to attend jointly spatial and temporal locations without inducing any additional cost on top of a spatial-only attention model. We also show how to integrate 2 very lightweight mechanisms for global temporal-only attention which provide additional accuracy improvements at minimal computational cost. We demonstrate that our model produces very high recognition accuracy on the most popular video recognition datasets while at the same time being significantly more efficient than other Video Transformer models. Code will be made available.


title: Dynamics-Regulated Kinematic Policy for Egocentric Pose Estimation

abstract: We propose a method for object-aware 3D egocentric pose estimation that tightly integrates kinematics modeling, dynamics modeling, and scene object information. Unlike prior kinematics or dynamics-based approaches where the two components are used disjointly, we synergize the two approaches via dynamics-regulated training. At each timestep, a kinematic model is used to provide a target pose using video evidence and simulation state. Then, a prelearned dynamics model attempts to mimic the kinematic pose in a physics simulator. By comparing the pose instructed by the kinematic model against the pose generated by the dynamics model, we can use their misalignment to further improve the kinematic model. By factoring in the 6DoF pose of objects (e.g., chairs, boxes) in the scene, we demonstrate for the first time, the ability to estimate physically-plausible 3D human-object interactions using a single wearable camera. We evaluate our egocentric pose estimation method in both controlled laboratory settings and real-world scenarios.


title: ImaginE: An Imagination-Based Automatic Evaluation Metric for Natural Language Generation

abstract: Automatic evaluations for natural language generation (NLG) conventionally rely on token-level or embedding-level comparisons with text references. This differs from human language processing, for which visual imagination often improves comprehension. In this work, we propose ImaginE, an imagination-based automatic evaluation metric for natural language generation. With the help of StableDiffusion, a state-of-the-art text-to-image generator, we automatically generate an image as the embodied imagination for the text snippet and compute the imagination similarity using contextual embeddings. Experiments spanning several text generation tasks demonstrate that adding machine-generated images with our ImaginE displays great potential in introducing multi-modal information into NLG evaluation, and improves existing automatic metrics' correlations with human similarity judgments in both reference-based and reference-free evaluation scenarios.


title: Probing extreme environments with the Cherenkov Telescope Array

abstract: The physics of the non-thermal Universe provides information on the acceleration mechanisms in extreme environments, such as black holes and relativistic jets, neutron stars, supernovae or clusters of galaxies. In the presence of magnetic fields, particles can be accelerated towards relativistic energies. As a consequence, radiation along the entire electromagnetic spectrum can be observed, and extreme environments are also the most likely sources of multi-messenger emission. The most energetic part of the electromagnetic spectrum corresponds to the very-high-energy (VHE, E>100 GeV) gamma-ray regime, which can be extensively studied with ground based Imaging Atmospheric Cherenkov Telescopes (IACTs). The results obtained by the current generation of IACTs, such as H.E.S.S., MAGIC, and VERITAS, demonstrate the crucial importance of the VHE band in understanding the non-thermal emission of extreme environments in our Universe. In some objects, the energy output in gamma rays can even outshine the rest of the broadband spectrum. The Cherenkov Telescope Array (CTA) is the next generation of IACTs, which, with cutting edge technology and a strategic configuration of ~100 telescopes distributed in two observing sites, in the northern and southern hemispheres, will reach better sensitivity, angular and energy resolution, and broader energy coverage than currently operational IACTs. With CTA we can probe the most extreme environments and considerably boost our knowledge of the non-thermal Universe.


title: The separation of market and price in some free competitions and its related solution to the over-application problem in the job market

abstract: According to common understanding, in free completion of a private product, market and price, the two main factors in the competition that leads to economic efficiency, always exist together. This paper, however, points out the phenomenon that in some free competitions the two factors are separated hence causing inefficiency. For one type, the market exists whereas the price is absent, i.e. free, for a product. An example of this type is the job application market where the problem of over-application commonly exists, costing recruiters much time in finding desired candidates from massive applicants, resulting in inefficiency. To solve the problem, this paper proposes a solution that the recruiters charge submission fees to the applications to make the competition complete with both factors, hence enhancing the efficiency. For the other type, the price exists whereas the market is absent for a product. An example of this type is the real estate agent market, where the price of the agents exists but the market, i.e. the facility allowing the sellers' information to be efficiently discovered, is largely absent, also causing inefficiency. In summary, the contribution of this paper consists of two aspects: one is the discovery of the possible separation of the two factors in free competitions; the other is, thanks to the discovery, a solution to the over-application problem in the job market.


title: An anisotropic inverse mean curvature flow for spacelike graphic hypersurfaces with boundary in Lorentz-Minkowski space $\mathbb{R}^{n+1}_{1}$

abstract: In this paper, we consider the evolution of spacelike graphic hypersurfaces defined over a convex piece of hyperbolic plane $\mathscr{H}^{n}(1)$, of center at origin and radius $1$, in the $(n+1)$-dimensional Lorentz-Minkowski space $\mathbb{R}^{n+1}_{1}$ along an anisotropic inverse mean curvature flow with the vanishing Neumann boundary condition, and prove that this flow exists for all the time. Moreover, we can show that, after suitable rescaling, the evolving spacelike graphic hypersurfaces converge smoothly to a piece of hyperbolic plane of center at origin and prescribed radius, which actually corresponds to a constant function defined over the piece of $\mathscr{H}^{n} (1)$, as time tends to infinity. Clearly, this conclusion is an extension of our previous work [2].


title: Scaling Vision with Sparse Mixture of Experts

abstract: Sparsely-gated Mixture of Experts networks (MoEs) have demonstrated excellent scalability in Natural Language Processing. In Computer Vision, however, almost all performant networks are "dense", that is, every input is processed by every parameter. We present a Vision MoE (V-MoE), a sparse version of the Vision Transformer, that is scalable and competitive with the largest dense networks. When applied to image recognition, V-MoE matches the performance of state-of-the-art networks, while requiring as little as half of the compute at inference time. Further, we propose an extension to the routing algorithm that can prioritize subsets of each input across the entire batch, leading to adaptive per-image compute. This allows V-MoE to trade-off performance and compute smoothly at test-time. Finally, we demonstrate the potential of V-MoE to scale vision models, and train a 15B parameter model that attains 90.35% on ImageNet.


title: High resolution ALMA and HST images of q$^1$ Eri: an asymmetric debris disc with an eccentric Jupiter

abstract: We present \textit{ALMA} 1.3 mm and 0.86 mm observations of the nearby (17.34 pc) F9V star q1 Eri (HD 10647, HR 506). This system, with age ${\sim}1.4$ Gyr, hosts a ${\sim}2$ au radial velocity planet and a debris disc with the highest fractional luminosity of the closest 300 FGK type stars. The \textit{ALMA} images, with resolution ${\sim}0.5''$, reveal a broad (34{-}134 au) belt of millimeter emission inclined by $76.7{\pm}1.0$ degrees with maximum brightness at $81.6{\pm}0.5$ au. The images reveal an asymmetry, with higher flux near the southwest ansa, which is also closer to the star. Scattered light observed with the Hubble Space Telescope is also asymmetric, being more radially extended to the northeast. We fit the millimeter emission with parametric models and place constraints on the disc morphology, radius, width, dust mass, and scale height. We find the southwest ansa asymmetry is best fitted by an extended clump on the inner edge of the disc, consistent with perturbations from a planet with mass $8 M_{\oplus} {-} 11 M_{\rm Jup}$ at ${\sim}60$ au that may have migrated outwards, similar to Neptune in our Solar System. If the measured vertical aspect ratio of $h{=}0.04{\pm}0.01$ is due to dynamical interactions in the disc, then this requires perturbers with sizes ${>}1200$ km. We find tentative evidence for an 0.86 mm excess within 10 au, $70{\pm}22\, \mu$Jy, that may be due to an inner planetesimal belt. We find no evidence for CO gas, but set an upper bound on the CO gas mass of $4{\times}10^{-6}$ M$_{\oplus}$ ($3\,\sigma$), consistent with cometary abundances in the Solar System.


title: lenstronomy II: A gravitational lensing software ecosystem

abstract: lenstronomy is an Astropy-affiliated Python package for gravitational lensing simulations and analyses. lenstronomy was introduced by Birrer and Amara (2018) and is based on the linear basis set approach by Birrer et a. (2015). The user and developer base of lenstronomy has substantially grown since then, and the software has become an integral part of a wide range of recent analyses, such as measuring the Hubble constant with time-delay strong lensing or constraining the nature of dark matter from resolved and unresolved small scale lensing distortion statistics. The modular design has allowed the community to incorporate innovative new methods, as well as to develop enhanced software and wrappers with more specific aims on top of the lenstronomy API. Through community engagement and involvement, lenstronomy has become a foundation of an ecosystem of affiliated packages extending the original scope of the software and proving its robustness and applicability at the forefront of the strong gravitational lensing community in an open source and reproducible manner.


title: Unitarity constraints on ALP interactions

abstract: We derive partial-wave unitarity constraints on gauge-invariant interactions of an Axion-Like Particle (ALP) up to dimension-6 from all allowed $2\to2$ scattering processes in the limit of large center-of-mass energy. We find that the strongest bounds stem from scattering amplitudes with one external ALP and only apply to the coupling to a pair of $SU(2)_L$ gauge bosons. Couplings to $U(1)_Y$ and $SU(3)_C$ gauge bosons and to fermions are more loosely constrained.


title: Comparing Compact Object Distributions from Mass- and Presupernova Core Structure-based Prescriptions

abstract: Binary population synthesis (BPS) employs prescriptions to predict final fates, explosion or implosion, and remnant masses based on one or two stellar parameters at the evolutionary cutoff imposed by the code, usually at or near central carbon ignition. In doing this, BPS disregards the integral role late-stage evolution plays in determining the final fate, remnant type, and remnant mass within the neutrino-driven explosion paradigm. To highlight differences between a popular prescription which relies only on the core and final stellar mass and emerging methods which rely on a star's presupernova core structure, we generate a series of compact object distributions using three different methods for a sample population of single and binary stars computed in BPASS. The first method estimates remnant mass based on a star's carbon-oxygen (CO) core mass and final total mass. The second method uses the presupernova core structure based on the bare CO-core models of \citet{Pat20} combined with a parameterized explosion criterion to first determine final fate and remnant type, then remnant mass. The third method associates presupernova helium-core masses with remnant masses determined from public explosion models which rely implicitly on core structure. We find that the core-/final mass-based prescription favors lower mass remnants, including a large population of mass gap black holes, and predicts neutron star masses which span a wide range, whereas the structure-based prescriptions favor slightly higher mass remnants, mass gap black holes only as low as 3.5 \Msun, and predict neutron star mass distributions which cluster in a narrow range.


title: Two-loop QCD penguin contribution to the width difference in $B_s-\bar{B}_s$ mixing

abstract: We consider two-loop QCD corrections to the element $\Gamma_{12}^q$ of the decay matrix in $B_q-\bar{B}_q$ mixing, $q=d,s$, in the leading power of the Heavy Quark Expansion. The calculated contributions involve one current-current and one penguin operator and constitute the next step towards a theory prediction for the width difference $\Delta\Gamma_s$ matching the precise experimental data. We present compact analytic results for all matching coefficients in an expansion in $m_c/m_b$ up to second order. Our new corrections are comparable in size to the current experimental error and slightly increase $\Delta\Gamma_s$.


title: Resistance of 2D superconducting films

abstract: We consider the problem of finite resistance $R$ in superconducting films with geometry of a strip of width $W$ near zero temperature. The resistance is generated by vortex configurations of the phase field. In the first type of process, quantum phase slip, the vortex worldline in 2+1 dimensional space-time is space-like (i.e., the superconducting phase winds in time and space). In the second type, vortex tunneling, the worldline is time-like (i.e., the phase winds in the two spatial directions) and connects opposite edges of the film. For moderately disordered samples, processes of second type favor a train of vortices, each of which tunnels only across a fraction of the sample. Optimization with respect to the number of vortices yields a tunneling distance of the order of the coherence length $\xi$, and the train of vortices becomes equivalent to a quantum phase slip. Based on this theory, we find the resistance $\ln R \sim -g W/\xi$, where $g$ is the dimensionless normal-state conductance. Incorporation of quantum fluctuations indicates a quantum phase transition to an insulating state for $g \lesssim 1$.


title: Charting Galactic Accelerations: When and How to Extract a Unique Potential from the Distribution Function

abstract: The advent of datasets of stars in the Milky Way with six-dimensional phase-space information makes it possible to construct empirically the distribution function (DF). Here, we show that the accelerations can be uniquely determined from the DF using the collisionless Boltzmann equation, providing the Hessian determinant of the DF with respect to the velocities is non-vanishing. We illustrate this procedure and requirement with some analytic examples. Methods to extract the potential from datasets of discrete positions and velocities of stars are then discussed. Following Green & Ting (arXiv:2011.04673), we advocate the use of normalizing flows on a sample of observed phase-space positions to obtain a differentiable approximation of the DF. To then derive gravitational accelerations, we outline a semi-analytic method involving direct solutions of the over-constrained linear equations provided by the collisionless Boltzmann equation. Testing our algorithm on mock datasets derived from isotropic and anisotropic Hernquist models, we obtain excellent accuracies even with added noise. Our method represents a new, flexible and robust means of extracting the underlying gravitational accelerations from snapshots of six-dimensional stellar kinematics of an equilibrium system.


title: Evolution Through the Post-Starburst Phase: Using Post-Starburst Galaxies as Laboratories for Understanding the Processes that Drive Galaxy Evolution

abstract: Post-starburst (or "E+A") galaxies trace the fastest and most dramatic processes in galaxy evolution. Recent work studying the evolution of galaxies through this phase have revealed insights on how galaxies undergo structural and stellar population changes as well as the role of various feedback mechanisms. In this review, I summarize recent work on identifying post-starburst galaxies; tracing the role of this phase through cosmic time; measuring stellar populations, on-going star formation, morphologies, kinematics, interstellar medium properties, and AGN activity; mechanisms to cause the recent starburst and its end; and the future evolution to quiescence (or not). The review concludes with a list of open questions and exciting possibilities for future facilities.


title: Degenerations of k-positive surface group representations

abstract: We introduce \emph{k-positive representations}, a large class of $\{1,\ldots,k\}$--Anosov surface group representations into PGL(E) that share many features with Hitchin representations, and we study their degenerations: unless they are Hitchin, they can be deformed to non-discrete representations, but any limit is at least (k-3)-positive and irreducible limits are (k-1)-positive. A major ingredient, of independent interest, is a general limit theorem for positively ratioed representations.


title: Observational prospects for phase transitions at LISA: Fisher matrix analysis

abstract: A first order phase transition at the electroweak scale would lead to the production of gravitational waves that may be observable at upcoming space-based gravitational wave (GW) detectors such as LISA (Laser Interferometer Space Antenna). As the Standard Model has no phase transition, LISA can be used to search for new physics by searching for a stochastic gravitational wave background. In this work we investigate LISA's sensitivity to the thermodynamic parameters encoded in the stochastic background produced by a phase transition, using the sound shell model to characterise the gravitational wave power spectrum, and the Fisher matrix to estimate uncertainties. We explore a parameter space with transition strengths $\alpha < 0.5$ and phase boundary speeds $0.4 < v_\text{w} < 0.9$, for transitions nucleating at $T_{\text{N}} = 100$ GeV, with mean bubble spacings $0.1$ and $0.01$ of the Hubble length, and sound speed $c/\sqrt{3}$. We show that the power spectrum in the sound shell model can be well approximated by a four-parameter double broken power law, and find that the peak power and frequency can be measured to approximately 10% accuracy for signal-to-noise ratios (SNRs) above 20. Determinations of the underlying thermodynamic parameters are complicated by degeneracies, but in all cases the phase boundary speed will be the best constrained parameter. Turning to the principal components of the Fisher matrix, a signal-to-noise ratio above 20 produces a relative uncertainty less than 3% in the two highest-order principal components, indicating good prospects for combinations of parameters. The highest-order principal component is dominated by the wall speed. These estimates of parameter sensitivity provide a preliminary accuracy target for theoretical calculations of thermodynamic parameters.


title: Quantum-embedding description of the Anderson lattice model with the ghost Gutzwiller Approximation

abstract: We present benchmark calculations of the Anderson lattice model based on the recently-developed "ghost Gutzwiller approximation". Our analysis shows that, in some parameters regimes, the predictions of the standard Gutzwiller approximation can be incorrect by orders of magnitude for this model. We show that this is caused by the inability of this method to describe simultaneously the Mott physics and the hybridization between correlated and itinerant degrees of freedom (whose interplay often governs the metal-insulator transition in real materials). Finally, we show that the ghost Gutzwiller approximation solves this problem, providing us with results in remarkable agreement with dynamical mean field theory throughout the entire phase diagram, while being much less computationally demanding. We provide an analytical explanation of these findings and discuss their implications within the context of ab-initio computation of strongly-correlated matter.


title: Flowing from intersection product to cup product

abstract: We use a vector field flow defined through a cubulation of a closed manifold to reconcile the partially defined commutative product on geometric cochains with the standard cup product on cubical cochains, which is fully defined and commutative only up to coherent homotopies. The interplay between intersection and cup product dates back to the beginnings of homology theory, but, to our knowledge, this result is the first to give an explicit cochain level comparison between these approaches.


title: Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

abstract: We extend a semantic verification framework for hybrid systems with the Isabelle/HOL proof assistant by an algebraic model for hybrid program stores, a shallow expression model for hybrid programs and their correctness specifications, and domain-specific deductive and calculational support. The new store model yields clean separations and dynamic local views of variables, e.g. discrete/continuous, mutable/immutable, program/logical, and enhanced ways of manipulating them using combinators, projections and framing. This leads to more local inference rules, procedures and tactics for reasoning with invariant sets, certifying solutions of hybrid specifications or calculating derivatives with increased proof automation and scalability. The new expression model provides more user-friendly syntax, better control of name spaces and interfaces connecting the framework with real-world modelling languages.


title: Robust nonequilibrium edge currents with and without band topology

abstract: We study two-dimensional bosonic and fermionic lattice systems under nonequilibrium conditions corresponding to a sharp gradient of temperature imposed by two thermal baths. In particular, we consider a lattice model with broken time-reversal symmetry that exhibits both topologically trivial and nontrivial phases. Using a nonperturbative Green function approach, we characterize the nonequilibrium current distribution in different parameter regimes. For both bosonic and fermionic systems, we find chiral edge currents that are robust against coupling to reservoirs and to the presence of defects on the boundary or in the bulk. This robustness not only originates from topological effects at zero temperature but, remarkably, also persists as a result of dissipative symmetries in regimes where band topology plays no role. Chirality of the edge currents implies that energy locally flows against the temperature gradient without any external work input. In the fermionic case, there is also a regime with topologically protected boundary currents, which nonetheless do not circulate around all system edges.


title: Possible observational evidence that cosmic filaments spin

abstract: Most cosmological structures in the universe spin. Although structures in the universe form on a wide variety of scales from small dwarf galaxies to large super clusters, the generation of angular momentum across these scales is poorly understood. We have investigated the possibility that filaments of galaxies - cylindrical tendrils of matter hundreds of millions of light-years across, are themselves spinning. By stacking thousands of filaments together and examining the velocity of galaxies perpendicular to the filament's axis (via their red and blue shift), we have found that these objects too display motion consistent with rotation making them the largest objects known to have angular momentum. The strength of the rotation signal is directly dependent on the viewing angle and the dynamical state of the filament. Just as it is easiest to measure rotation in a spinning disk galaxy viewed edge on, so too is filament rotation clearly detected under similar geometric alignment. Furthermore, the mass of the haloes that sit at either end of the filaments also increases the spin speed. The more massive the haloes, the more rotation is detected. These results signify that angular momentum can be generated on unprecedented scales.


title: Energetic advantages of non-adiabatic drives combined with non-thermal quantum states

abstract: Unitary drivings of quantum systems are ubiquitous in experiments and applications of quantum mechanics and the underlying energetic aspects, particularly relevant in quantum thermodynamics, are receiving growing attention. We investigate energetic advantages in unitary driving obtained from initial non-thermal states. We introduce the non-cyclic ergotropy to quantify the energetic gains, from which coherent (coherence-based) and incoherent (population-based) contributions are identified. In particular, initial quantum coherences appear to be always beneficial whereas non-passive population distributions not systematically. Additionally, these energetic gains are accessible only through non-adiabatic dynamics, contrasting with the usual optimality of adiabatic dynamics for initial thermal states. Finally, following frameworks established in the context of shortcut-to-adiabaticity, the energetic cost related to the implementation of the optimal drives are analysed and, in most situations, are found to be smaller than the energetic cost associated with shortcut-to-adiabaticity. We treat explicitly the example of a two-level system and show that energetic advantages increase with larger initial coherences, illustrating the interplay between initial coherences and the ability of the dynamics to consume and use coherences.


title: Local and Approximate classification of spacetimes in the transverse frames

abstract: We revisit the definition of transverse frames and tetrad choices with regards to its application to numerically generated spacetimes, in particular those from the merger of binary black holes. We introduce the concept of local and approximate algebraic Petrov types in the strong field regime. We define an index $\mathcal{D}=\sqrt{12/I}\left(\Psi_2 - \Psi_3^2/\Psi_4\right)$ able to discriminate between Petrov types II and D and define regions of spacetime of those approximate types when used in conjunction with the speciality invariant $S=27J^2/I^3$. We provide an explicit example applying this method to Brill-Lindquist initial data corresponding to two nonspinning black holes from rest at a given initial separation. We find a doughnut-like region that is approximately of Petrov type II surrounded by an approximately Petrov type D region. We complete the study by proposing a totally symmetric tetrad fixing of the transverse frame that can be simply implemented in numerically generated spacetimes through the computation of spin coefficients ratios. We provide an application by explicitly deriving the Kerr-perturbative equations in this tetrad.


title: Scalable Variational Gaussian Processes via Harmonic Kernel Decomposition

abstract: We introduce a new scalable variational Gaussian process approximation which provides a high fidelity approximation while retaining general applicability. We propose the harmonic kernel decomposition (HKD), which uses Fourier series to decompose a kernel as a sum of orthogonal kernels. Our variational approximation exploits this orthogonality to enable a large number of inducing points at a low computational cost. We demonstrate that, on a range of regression and classification problems, our approach can exploit input space symmetries such as translations and reflections, and it significantly outperforms standard variational methods in scalability and accuracy. Notably, our approach achieves state-of-the-art results on CIFAR-10 among pure GP models.


title: Four-point correlation modular bootstrap for OPE densities

abstract: In this work we apply the lightcone bootstrap to a four-point function of scalars in two-dimensional conformal field theory. We include the entire Virasoro symmetry and consider non-rational theories with a gap in the spectrum from the vacuum and no conserved currents. For those theories, we compute the large dimension limit (h/c>>1) of the OPE spectral decomposition of the Virasoro vacuum. We then propose a kernel ansatz that generalizes the spectral decomposition beyond h/c>>1. Finally, we estimate the corrections to the OPE spectral densities from the inclusion of the lightest operator in the spectrum.


title: Cerebral Aneurysm Flow Diverter Modeled as a Thin Inhomogeneous Porous Medium in Hemodynamic Simulations

abstract: Rapid and accurate simulation of cerebral aneurysm flow modifications by flow diverters (FDs) can help improving patient-specific intervention and predicting treatment outcome. However, with explicit FD devices being placed in patient-specific aneurysm model, the computational domain must be resolved around the thin stent wires, leading to high computational cost in computational fluid dynamics (CFD). Classic homogeneous porous medium (PM) methods cannot accurately predict the post-stenting aneurysmal flow field due to the inhomogeneous FD wire distributions on anatomic arteries. We propose a novel approach that models the FD flow modification as a thin inhomogeneous porous medium (iPM). It improves over classic PM approaches in that, first, FD is treated as a screen, which is more accurate than the classic Darcy-Forchheimer relation based on 3D PM. second, the pressure drop is calculated using local FD geometric parameters across an inhomogeneous PM, which is more realistic. To test its accuracy and speed, we applied the iPM technique to simulate the post stenting flow field in three patient-specific aneurysms and compared the results against CFD simulations with explicit FD devices. The iPM CFD ran 500% faster than the explicit CFD while achieving 94%-99% accuracy. Thus iPM is a promising clinical bedside modeling tool to assist endovascular interventions with FD and stents.


title: Predicting drag on rough surfaces by transfer learning of empirical correlations

abstract: Recent developments in neural networks have shown the potential of estimating drag on irregular rough surfaces. Nevertheless, the difficulty of obtaining a large high-fidelity dataset to train neural networks is deterring their use in practical applications. In this study, we propose a transfer learning framework to model the drag on irregular rough surfaces even with a limited amount of direct numerical simulations. We show that transfer learning of empirical correlations, reported in the literature, can significantly improve the performance of neural networks for drag prediction. This is because empirical correlations include `approximate knowledge' of the drag dependency in high-fidelity physics. The `approximate knowledge' allows neural networks to learn the surface statistics known to affect drag more efficiently. The developed framework can be applied to applications where acquiring a large dataset is difficult, but empirical correlations have been reported.


title: An Ensemble Approach Towards Adversarial Robustness

abstract: It is a known phenomenon that adversarial robustness comes at a cost to natural accuracy. To improve this trade-off, this paper proposes an ensemble approach that divides a complex robust-classification task into simpler subtasks. Specifically, fractal divide derives multiple training sets from the training data, and fractal aggregation combines inference outputs from multiple classifiers that are trained on those sets. The resulting ensemble classifiers have a unique property that ensures robustness for an input if certain don't-care conditions are met. The new techniques are evaluated on MNIST and Fashion-MNIST, with no adversarial training. The MNIST classifier has 99% natural accuracy, 70% measured robustness and 36.9% provable robustness, within L2 distance of 2. The Fashion-MNIST classifier has 90% natural accuracy, 54.5% measured robustness and 28.2% provable robustness, within L2 distance of 1.5. Both results are new state of the art, and we also present new state-of-the-art binary results on challenging label-pairs.


title: Verifying Quantized Neural Networks using SMT-Based Model Checking

abstract: Artificial Neural Networks (ANNs) are being deployed for an increasing number of safety-critical applications, including autonomous cars and medical diagnosis. However, concerns about their reliability have been raised due to their black-box nature and apparent fragility to adversarial attacks. These concerns are amplified when ANNs are deployed on restricted system, which limit the precision of mathematical operations and thus introduce additional quantization errors. Here, we develop and evaluate a novel symbolic verification framework using software model checking (SMC) and satisfiability modulo theories (SMT) to check for vulnerabilities in ANNs. More specifically, we propose several ANN-related optimizations for SMC, including invariant inference via interval analysis, slicing, expression simplifications, and discretization of non-linear activation functions. With this verification framework, we can provide formal guarantees on the safe behavior of ANNs implemented both in floating- and fixed-point arithmetic. In this regard, our verification approach was able to verify and produce adversarial examples for $52$ test cases spanning image classification and general machine learning applications. Furthermore, for small- to medium-sized ANN, our approach completes most of its verification runs in minutes. Moreover, in contrast to most state-of-the-art methods, our approach is not restricted to specific choices regarding activation functions and non-quantized representations. Our experiments show that our approach can analyze larger ANN implementations and substantially reduce the verification time compared to state-of-the-art techniques that use SMT solving.


title: Lipschitz regularity for solutions of the parabolic $p$-Laplacian in the Heisenberg group

abstract: We prove local Lipschitz regularity for weak solutions to a class of degenerate parabolic PDEs modeled on the parabolic $p$-Laplacian $$\p_t u= \sum_{i=1}^{2n} X_i (|\nabla_0 u|^{p-2} X_i u),$$ in a cylinder $\Omega\times \R^+$, where $\Omega$ is domain in the Heisenberg group $\Hn$, and $2\le p \le 4$. The result continues to hold in the more general setting of contact sub-Riemannian manifolds.


title: Electricity and Reserve Pricing in Chance-Constrained Electricity Markets with Asymmetric Balancing Reserve Policies

abstract: Recently, chance-constrained stochastic electricity market designs have been proposed to address the shortcomings of scenario-based stochastic market designs. In particular, the use of chance-constrained market-clearing avoids trading off in-expectation and per-scenario characteristics and yields unique energy and reserves prices. However, current formulations rely on symmetric control policies based on the aggregated system imbalance, which restricts balancing reserve providers in their energy and reserve commitments. This paper extends existing chance-constrained market-clearing formulations by leveraging node-to-node and asymmetric balancing reserve policies and deriving the resulting energy and reserve prices. The proposed node-to-node policy allows for relating the remuneration of balancing reserve providers and payment of uncertain resources using a marginal cost-based approach. Further, we introduce asymmetric balancing reserve policies into the chance-constrained electricity market design and show how this additional degree of freedom affects market outcomes.


title: Use of a non-peer reviewed sources in cyber-security scientific research

abstract: Most publicly available data on cyber incidents comes from private companies and non-academic sources. Common sources of information include various security bulletins, white papers, reports, court cases, and blog posts describing specific events, often from a single point of view, followed by occasional academic sources, usually conference proceedings. The main characteristics of the available data sources are: lack of peer review and unavailability of confidential data. In this paper, we use an indirect approach to identify trusted sources used in scientific work. We analyze how top-rated peer reviewed literature relies on the use of non-peer reviewed sources on cybersecurity incidents. To identify current non-peer reviewed sources on cybersecurity we analyze references in top rated peer reviewed computer security conferences. We also analyze how non-peer reviewed sources are used, to motivate or support research. We examined 808 articles from top conferences in field of computer security. The result of this work are list of the most commonly used non-peer reviewed data sources and information about the context in which this data is used. Since these sources are accepted in top conferences, other researchers can consider them in their future research. To the best of our knowledge, analysis on how non-peer reviewed sources are used in cyber-security scientific research has not been done before.


title: TIRA: An OpenAPI Extension and Toolbox for GDPR Transparency in RESTful Architectures

abstract: Transparency - the provision of information about what personal data is collected for which purposes, how long it is stored, or to which parties it is transferred - is one of the core privacy principles underlying regulations such as the GDPR. Technical approaches for implementing transparency in practice are, however, only rarely considered. In this paper, we present a novel approach for doing so in current, RESTful application architectures and in line with prevailing agile and DevOps-driven practices. For this purpose, we introduce 1) a transparency-focused extension of OpenAPI specifications that allows individual service descriptions to be enriched with transparency-related annotations in a bottom-up fashion and 2) a set of higher-order tools for aggregating respective information across multiple, interdependent services and for coherently integrating our approach into automated CI/CD-pipelines. Together, these building blocks pave the way for providing transparency information that is more specific and at the same time better reflects the actual implementation givens within complex service architectures than current, overly broad privacy statements.


title: Probabilistic, Structure-Aware Algorithms for Improved Variety, Accuracy, and Coverage of AMR Alignments

abstract: We present algorithms for aligning components of Abstract Meaning Representation (AMR) graphs to spans in English sentences. We leverage unsupervised learning in combination with heuristics, taking the best of both worlds from previous AMR aligners. Our unsupervised models, however, are more sensitive to graph substructures, without requiring a separate syntactic parse. Our approach covers a wider variety of AMR substructures than previously considered, achieves higher coverage of nodes and edges, and does so with higher accuracy. We will release our LEAMR datasets and aligner for use in research on AMR parsing, generation, and evaluation.


title: Characterization of codimension one foliations on complex curves by connections

abstract: A way to characterize the space of leaves of a foliation in terms of connections is proposed. A particular example of vertex algebra cohomology of codimension one foliations on complex curves is considered.


title: CodemixedNLP: An Extensible and Open NLP Toolkit for Code-Mixing

abstract: The NLP community has witnessed steep progress in a variety of tasks across the realms of monolingual and multilingual language processing recently. These successes, in conjunction with the proliferating mixed language interactions on social media have boosted interest in modeling code-mixed texts. In this work, we present CodemixedNLP, an open-source library with the goals of bringing together the advances in code-mixed NLP and opening it up to a wider machine learning community. The library consists of tools to develop and benchmark versatile model architectures that are tailored for mixed texts, methods to expand training sets, techniques to quantify mixing styles, and fine-tuned state-of-the-art models for 7 tasks in Hinglish. We believe this work has a potential to foster a distributed yet collaborative and sustainable ecosystem in an otherwise dispersed space of code-mixing research. The toolkit is designed to be simple, easily extensible, and resourceful to both researchers as well as practitioners.


title: Simulating Calibration and Beam Systematics for a Future CMB Space Mission with the TOAST Package

abstract: We address in this work the instrumental systematic errors that can potentially affect the forthcoming and future Cosmic Microwave Background experiments aimed at observing its polarized emission. In particular, we focus on the systematics induced by the beam and calibration, which are considered the major sources of leakage from total intensity measurements to polarization. We simulated synthetic data sets with Time-Ordered Astrophysics Scalable Tools, a publicly available simulation and data analysis package. We also propose a mitigation technique aiming at reducing the leakage by means of a template fitting approach. This technique has shown promising results reducing the leakage by 2 orders of magnitude at the power spectrum level when applied to a realistic simulated data set of the LiteBIRD satellite mission.


title: On the homeomorphism problem for 4-manifolds

abstract: We show that there is no algorithm to decide whether or not a given 4-manifold is homeomorphic to the connected sum of 12 copies of S^2 \times S^2.


title: Overcoming Difficulty in Obtaining Dark-skinned Subjects for Remote-PPG by Synthetic Augmentation

abstract: Camera-based remote photoplethysmography (rPPG) provides a non-contact way to measure physiological signals (e.g., heart rate) using facial videos. Recent deep learning architectures have improved the accuracy of such physiological measurement significantly, yet they are restricted by the diversity of the annotated videos. The existing datasets MMSE-HR, AFRL, and UBFC-RPPG contain roughly 10%, 0%, and 5% of dark-skinned subjects respectively. The unbalanced training sets result in a poor generalization capability to unseen subjects and lead to unwanted bias toward different demographic groups. In Western academia, it is regrettably difficult in a university setting to collect data on these dark-skinned subjects. Here we show a first attempt to overcome the lack of dark-skinned subjects by synthetic augmentation. A joint optimization framework is utilized to translate real videos from light-skinned subjects to dark skin tones while retaining their pulsatile signals. In the experiment, our method exhibits around 31% reduction in mean absolute error for the dark-skinned group and 46% improvement on bias mitigation for all the groups, as compared with the previous work trained with just real samples.


title: On the Bound of Energy Consumption in Cellular IoT Networks

abstract: Billions of sensors are expected to be connected to the Internet through the emerging Internet of Things (IoT) technologies. Many of these sensors will primarily be connected using wireless technologies powered using batteries as their sole energy source which makes it paramount to optimize their energy consumption. In this paper, we provide an analytic framework of the energy-consumption profile and its lower bound for an IoT end device formulated based on Shannon capacity. We extend the study to model the average energy-consumption performance based on the random geometric distribution of IoT gateways by utilizing tools from stochastic geometry and real measurements of interference in the ISM-band. Experimental data, interference measurements and Monte-Carlo simulations are presented to validate the plausibility of the proposed analytic framework, where results demonstrate that the current network infrastructures performance is bounded between two extreme geometric models. This study considers interference seen by a gateway regardless of its source.


title: Synthesising Reinforcement Learning Policies through Set-Valued Inductive Rule Learning

abstract: Today's advanced Reinforcement Learning algorithms produce black-box policies, that are often difficult to interpret and trust for a person. We introduce a policy distilling algorithm, building on the CN2 rule mining algorithm, that distills the policy into a rule-based decision system. At the core of our approach is the fact that an RL process does not just learn a policy, a mapping from states to actions, but also produces extra meta-information, such as action values indicating the quality of alternative actions. This meta-information can indicate whether more than one action is near-optimal for a certain state. We extend CN2 to make it able to leverage knowledge about equally-good actions to distill the policy into fewer rules, increasing its interpretability by a person. Then, to ensure that the rules explain a valid, non-degenerate policy, we introduce a refinement algorithm that fine-tunes the rules to obtain good performance when executed in the environment. We demonstrate the applicability of our algorithm on the Mario AI benchmark, a complex task that requires modern reinforcement learning algorithms including neural networks. The explanations we produce capture the learned policy in only a few rules, that allow a person to understand what the black-box agent learned. Source code: https://gitlab.ai.vub.ac.be/yocoppen/svcn2


title: Machine Learning Framework for Sensing and Modeling Interference in IoT Frequency Bands

abstract: Spectrum scarcity has surfaced as a prominent concern in wireless radio communications with the emergence of new technologies over the past few years. As a result, there is growing need for better understanding of the spectrum occupancy with newly emerging access technologies supporting the Internet of Things. In this paper, we present a framework to capture and model the traffic behavior of short-time spectrum occupancy for IoT applications in the shared bands to determine the existing interference. The proposed capturing method utilizes a software defined radio to monitor the short bursts of IoT transmissions by capturing the time series data which is converted to power spectral density to extract the observed occupancy. Furthermore, we propose the use of an unsupervised machine learning technique to enhance conventionally implemented energy detection methods. Our experimental results show that the temporal and frequency behavior of the spectrum can be well-captured using the combination of two models, namely, semi-Markov chains and a Poisson-distribution arrival rate. We conduct an extensive measurement campaign in different urban environments and incorporate the spatial effect on the IoT shared spectrum.


title: A self-adapting super-resolution structures framework for automatic design of GAN

abstract: With the development of deep learning, the single super-resolution image reconstruction network models are becoming more and more complex. Small changes in hyperparameters of the models have a greater impact on model performance. In the existing works, experts have gradually explored a set of optimal model parameters based on empirical values or performing brute-force search. In this paper, we introduce a new super-resolution image reconstruction generative adversarial network framework, and a Bayesian optimization method used to optimizing the hyperparameters of the generator and discriminator. The generator is made by self-calibrated convolution, and discriminator is made by convolution lays. We have defined the hyperparameters such as the number of network layers and the number of neurons. Our method adopts Bayesian optimization as a optimization policy of GAN in our model. Not only can find the optimal hyperparameter solution automatically, but also can construct a super-resolution image reconstruction network, reducing the manual workload. Experiments show that Bayesian optimization can search the optimal solution earlier than the other two optimization algorithms.


title: Learning distinct features helps, provably

abstract: We study the diversity of the features learned by a two-layer neural network trained with the least squares loss. We measure the diversity by the average $L_2$-distance between the hidden-layer features and theoretically investigate how learning non-redundant distinct features affects the performance of the network. To do so, we derive novel generalization bounds depending on feature diversity based on Rademacher complexity for such networks. Our analysis proves that more distinct features at the network's units within the hidden layer lead to better generalization. We also show how to extend our results to deeper networks and different losses.


title: A von Neumann type inequality for an annulus

abstract: Let $A_r=\{r<|z|<1\}$ be an annulus. We consider the class of operators $\mathcal{F}_r:=\{T\in\mathcal{B}(H): r^2T^{-1}(T^{-1})^*+TT^*\le r^2+1,\hspace{0.08 cm}\sigma(T)\subset A_r\}$ and show that for every bounded holomorphic function $\phi$ on $A_r:$ $$\sup_{T\in\mathcal{F}_r}||\phi(T)||\le\sqrt{2}||\phi||_{\infty},$$ where the constant $\sqrt{2}$ is the best possible. We do this by characterizing the calcular norm induced on $H^{\infty}(A_r)$ by $\mathcal{F}_r$ as the multiplier norm of a suitable holomorphic function space on $A_r$.


title: Bigraded differential algebra for vertex algebra complexes

abstract: For an infinite chain bicomplex we show that the orthogonality and grading conditions provide it with the structure of a bigraded differential algebra with respect to a natural multiplication of several elements bicomplex spaces. Corresponding bigraded algebra commutation relations generate a sequence of non-vanishing cohomology invariants associated to vertex algebras. In particular, we apply this result to the bicomplex of grading-restricted vertex algebra cohomology endowed with a multiplication we introduce. We provide examples associated to various choices of vertex algebra bicomplex subspaces. The generators and commutation relations of the bigraded differential algebra form a continual Lie algebra with the root space provided by a grading-restricted vertex algebra.


title: Simplifying Continuous-Time Quantum Walks on Dynamic Graphs

abstract: A continuous-time quantum walk on a dynamic graph evolves by Schr\"odinger's equation with a sequence of Hamiltonians encoding the edges of the graph. This process is universal for quantum computing, but in general, the dynamic graph that implements a quantum circuit can be quite complicated. In this paper, we give six scenarios under which a dynamic graph can be simplified, and they exploit commuting graphs, identical graphs, perfect state transfer, complementary graphs, isolated vertices, and uniform mixing on the hypercube. As examples, we simplify dynamic graphs, in some instances allowing single-qubit gates to be implemented in parallel.


title: Ensemble inversion for brain tumor growth models with mass effect

abstract: We propose a method for extracting physics-based biomarkers from a single multiparametric Magnetic Resonance Imaging (mpMRI) scan bearing a glioma tumor. We account for mass effect, the deformation of brain parenchyma due to the growing tumor, which on its own is an important radiographic feature but its automatic quantification remains an open problem. In particular, we calibrate a partial differential equation (PDE) tumor growth model that captures mass effect, parameterized by a single scalar parameter, tumor proliferation, migration, while localizing the tumor initiation site. The single-scan calibration problem is severely ill-posed because the precancerous, healthy, brain anatomy is unknown. To address the ill-posedness, we introduce an ensemble inversion scheme that uses a number of normal subject brain templates as proxies for the healthy precancer subject anatomy. We verify our solver on a synthetic dataset and perform a retrospective analysis on a clinical dataset of 216 glioblastoma (GBM) patients. We analyze the reconstructions using our calibrated biophysical model and demonstrate that our solver provides both global and local quantitative measures of tumor biophysics and mass effect. We further highlight the improved performance in model calibration through the inclusion of mass effect in tumor growth models -- including mass effect in the model leads to 10% increase in average dice coefficients for patients with significant mass effect. We further evaluate our model by introducing novel biophysics-based features and using them for survival analysis. Our preliminary analysis suggests that including such features can improve patient stratification and survival prediction.


title: Cross-lingual Emotion Detection

abstract: Emotion detection can provide us with a window into understanding human behavior. Due to the complex dynamics of human emotions, however, constructing annotated datasets to train automated models can be expensive. Thus, we explore the efficacy of cross-lingual approaches that would use data from a source language to build models for emotion detection in a target language. We compare three approaches, namely: i) using inherently multilingual models; ii) translating training data into the target language; and iii) using an automatically tagged parallel corpus. In our study, we consider English as the source language with Arabic and Spanish as target languages. We study the effectiveness of different classification models such as BERT and SVMs trained with different features. Our BERT-based monolingual models that are trained on target language data surpass state-of-the-art (SOTA) by 4% and 5% absolute Jaccard score for Arabic and Spanish respectively. Next, we show that using cross-lingual approaches with English data alone, we can achieve more than 90% and 80% relative effectiveness of the Arabic and Spanish BERT models respectively. Lastly, we use LIME to analyze the challenges of training cross-lingual models for different language pairs


title: Cold and Freezing Sets in the Digital Plane

abstract: Cold sets and freezing sets belong to the theory of (approximate) fixed points for continuous self-maps on digital images. We study some properties of cold sets for digital images in the digital plane, and we examine some relationships between cold sets and freezing sets.


title: Analysis of Evolved Response Thresholds for Decentralized Dynamic Task Allocation

abstract: We investigate the application of a multi-objective genetic algorithm to the problem of task allocation in a self-organizing, decentralized, threshold-based swarm. Each agent in our system is capable of performing four tasks with a response threshold for each, and we seek to assign response threshold values to all of the agents a swarm such that the collective behavior of the swarm is optimized. Random assignment of threshold values according to a uniform distribution is known to be effective; however, this method does not consider features of particular problem instances. Dynamic response thresholds have some flexibility to address problem specific features through real-time adaptivity, often improving swarm performance. In this work, we use a multi-objective genetic algorithm to evolve response thresholds for a simulated swarm engaged in a dynamic task allocation problem: two-dimensional collective tracking. We show that evolved thresholds not only outperform uniformly distributed thresholds and dynamic thresholds but achieve nearly optimal performance on a variety of tracking problem instances (target paths). More importantly, we demonstrate that thresholds evolved for one of several problem instances generalize to all other problem instances eliminating the need to evolve new thresholds for each problem to be solved. We analyze the properties that allow these paths to serve as universal training instances and show that they are quite natural.


title: Coordinate Independent Convolutional Networks -- Isometry and Gauge Equivariant Convolutions on Riemannian Manifolds

abstract: Motivated by the vast success of deep convolutional networks, there is a great interest in generalizing convolutions to non-Euclidean manifolds. A major complication in comparison to flat spaces is that it is unclear in which alignment a convolution kernel should be applied on a manifold. The underlying reason for this ambiguity is that general manifolds do not come with a canonical choice of reference frames (gauge). Kernels and features therefore have to be expressed relative to arbitrary coordinates. We argue that the particular choice of coordinatization should not affect a network's inference -- it should be coordinate independent. A simultaneous demand for coordinate independence and weight sharing is shown to result in a requirement on the network to be equivariant under local gauge transformations (changes of local reference frames). The ambiguity of reference frames depends thereby on the G-structure of the manifold, such that the necessary level of gauge equivariance is prescribed by the corresponding structure group G. Coordinate independent convolutions are proven to be equivariant w.r.t. those isometries that are symmetries of the G-structure. The resulting theory is formulated in a coordinate free fashion in terms of fiber bundles. To exemplify the design of coordinate independent convolutions, we implement a convolutional network on the M\"obius strip. The generality of our differential geometric formulation of convolutional networks is demonstrated by an extensive literature review which explains a large number of Euclidean CNNs, spherical CNNs and CNNs on general surfaces as specific instances of coordinate independent convolutions.


title: Involutions under Bruhat order and labeled Motzkin Paths

abstract: In this note, we introduce a statistic on Motzkin paths that describes the rank generating function of Bruhat order for involutions. Our proof relies on a bijection introduced by Philippe Biane from permutations to certain labeled Motzkin paths and a recently introduced interpretation of this rank generating function in terms of visible inversions. By restricting our identity to fixed-point-free (FPF) involutions, we recover an identity due to Louis Billera, Lionel Levine and Karola M\'esz\'aros with a previous bijective proof by Matthew Watson. Our work sheds new light on the Ethiopian dinner game.


title: IoT Virtualization with ML-based Information Extraction

abstract: For IoT to reach its full potential, the sharing and reuse of information in different applications and across verticals is of paramount importance. However, there are a plethora of IoT platforms using different representations, protocols and interaction patterns. To address this issue, the Fed4IoT project has developed an IoT virtualization platform that, on the one hand, integrates information from many different source platforms and, on the other hand, makes the information required by the respective users available in the target platform of choice. To enable this, information is translated into a common, neutral exchange format. The format of choice is NGSI-LD, which is being standardized by the ETSI Industry Specification Group on Context Information Management (ETSI ISG CIM). Thing Visors are the components that translate the source information to NGSI-LD, which is then delivered to the target platform and translated into the target format. ThingVisors can be implemented by hand, but this requires significant human effort, especially considering the heterogeneity of low level information produced by a multitude of sensors. Thus, supporting the human developer and, ideally, fully automating the process of extracting and enriching data and translating it to NGSI-LD is a crucial step. Machine learning is a promising approach for this, but it typically requires large amounts of hand-labelled data for training, an effort that makes it unrealistic in many IoT scenarios. A programmatic labelling approach called knowledge infusion that encodes expert knowledge is used for matching a schema or ontology extracted from the data with a target schema or ontology, providing the basis for annotating the data and facilitating the translation to NGSI-LD.


title: Using atomic clocks to detect local dark matter halos

abstract: It is possible that bosonic dark matter forms halos around the Sun or the Earth. We discuss the possibility of probing such halos with atomic clocks. Focusing on either a Higgs portal or photon portal interaction between the dark matter and the Standard Model, we search the possible parameter space for which a clock on Earth and a clock in space would have a discernible frequency difference. Bosonic dark matter halos surrounding the Earth can potentially be probed with current optical atomic clocks.