title: Contention-based Grant-free Transmission with Extremely Sparse Orthogonal Pilot Scheme

abstract: Due to the limited number of traditional orthogonal pilots, pilot collision will severely degrade the performance of contention-based grant-free transmission. To alleviate the pilot collision and exploit the spatial degree of freedom as much as possible, an extremely sparse orthogonal pilot scheme is proposed for uplink grant-free transmission. The proposed sparse pilot is used to perform active user detection and estimate the spatial channel. Then, inter-user interference suppression is performed by spatially combining the received data symbols using the estimated spatial channel. After that, the estimation and compensation of wireless channel and time/frequency offset are performed utilizing the geometric characteristics of combined data symbols. The task of pilot is much lightened, so that the extremely sparse orthogonal pilot can occupy minimized resources, and the number of orthogonal pilots can be increased significantly, which greatly reduces the probability of pilot collision. The numerical results show that the proposed extremely sparse orthogonal pilot scheme significantly improves the performance in high-overloading grant-free scenario.


title: On the stability of shear flows of Prandtl type for the steady Navier-Stokes equations

abstract: In this paper, we prove the stability of shear flows of Prandtl type as $ \big(U(y/\sqrt{\nu}),0\big)$ for the steady Navier-Stokes equations under a natural spectral assumption on the linearized NS operator. We develop a direct energy method combined with compact method to solve the Orr-Sommerfeld equation.


title: Interpretable and Low-Resource Entity Matching via Decoupling Feature Learning from Decision Making

abstract: Entity Matching (EM) aims at recognizing entity records that denote the same real-world object. Neural EM models learn vector representation of entity descriptions and match entities end-to-end. Though robust, these methods require many resources for training, and lack of interpretability. In this paper, we propose a novel EM framework that consists of Heterogeneous Information Fusion (HIF) and Key Attribute Tree (KAT) Induction to decouple feature representation from matching decision. Using self-supervised learning and mask mechanism in pre-trained language modeling, HIF learns the embeddings of noisy attribute values by inter-attribute attention with unlabeled data. Using a set of comparison features and a limited amount of annotated data, KAT Induction learns an efficient decision tree that can be interpreted by generating entity matching rules whose structure is advocated by domain experts. Experiments on 6 public datasets and 3 industrial datasets show that our method is highly efficient and outperforms SOTA EM models in most cases. Our codes and datasets can be obtained from https://github.com/THU-KEG/HIF-KAT.


title: Highly accurate digital traffic recording as a basis for future mobility research: Methods and concepts of the research project HDV-Mess

abstract: The research project HDV-Mess aims at a currently missing, but very crucial component for addressing important challenges in the field of connected and automated driving on public roads. The goal is to record traffic events at various relevant locations with high accuracy and to collect real traffic data as a basis for the development and validation of current and future sensor technologies as well as automated driving functions. For this purpose, it is necessary to develop a concept for a mobile modular system of measuring stations for highly accurate traffic data acquisition, which enables a temporary installation of a sensor and communication infrastructure at different locations. Within this paper, we first discuss the project goals before we present our traffic detection concept using mobile modular intelligent transport systems stations (ITS-Ss). We then explain the approaches for data processing of sensor raw data to refined trajectories, data communication, and data validation.


title: Efficient solution method based on inverse dynamics for optimal control problems of rigid body systems

abstract: We propose an efficient way of solving optimal control problems for rigid-body systems on the basis of inverse dynamics and the multiple-shooting method. We treat all variables, including the state, acceleration, and control input torques, as optimization variables and treat the inverse dynamics as an equality constraint. We eliminate the update of the control input torques from the linear equation of Newton's method by applying condensing for inverse dynamics. The size of the resultant linear equation is the same as that of the multiple-shooting method based on forward dynamics except for the variables related to the passive joints and contacts. Compared with the conventional methods based on forward dynamics, the proposed method reduces the computational cost of the dynamics and their sensitivities by utilizing the recursive Newton-Euler algorithm (RNEA) and its partial derivatives. In addition, it increases the sparsity of the Hessian of the Karush-Kuhn-Tucker conditions, which reduces the computational cost, e.g., of Riccati recursion. Numerical experiments show that the proposed method outperforms state-of-the-art implementations of differential dynamic programming based on forward dynamics in terms of computational time and numerical robustness.


title: Energy Compression and Stabilization of Laser-Plasma Accelerators

abstract: Laser-plasma accelerators outperform current radiofrequency technology in acceleration strength by orders of magnitude. Yet, enabling them to deliver competitive beam quality for demanding applications, particularly in terms of energy spread and stability, remains a major challenge. In this Letter, we propose to combine bunch decompression and active plasma dechirping for drastically improving the energy profile and stability of beams from laser-plasma accelerators. Realistic start-to-end simulations demonstrate the potential of these post-acceleration phase-space manipulations for simultaneously reducing an initial energy spread and energy jitter of $\sim1$-$2\%$ to ${\lesssim} 0.1 \%$, closing the beam-quality gap to conventional acceleration schemes.


title: White Paper Assistance: A Step Forward Beyond the Shortcut Learning

abstract: The promising performances of CNNs often overshadow the need to examine whether they are doing in the way we are actually interested. We show through experiments that even over-parameterized models would still solve a dataset by recklessly leveraging spurious correlations, or so-called 'shortcuts'. To combat with this unintended propensity, we borrow the idea of printer test page and propose a novel approach called White Paper Assistance. Our proposed method involves the white paper to detect the extent to which the model has preference for certain characterized patterns and alleviates it by forcing the model to make a random guess on the white paper. We show the consistent accuracy improvements that are manifest in various architectures, datasets and combinations with other techniques. Experiments have also demonstrated the versatility of our approach on fine-grained recognition, imbalanced classification and robustness to corruptions.


title: Deterministic $(1+\varepsilon)$-Approximate Maximum Matching with $\mathsf{poly}(1/\varepsilon)$ Passes in the Semi-Streaming Model and Beyond

abstract: We present a deterministic $(1+\varepsilon)$-approximate maximum matching algorithm in $\mathsf{poly} 1/\varepsilon$ passes in the semi-streaming model, solving the long-standing open problem of breaking the exponential barrier in the dependence on $1/\varepsilon$. Our algorithm exponentially improves on the well-known randomized $(1/\varepsilon)^{O(1/\varepsilon)}$-pass algorithm from the seminal work by McGregor~[APPROX05], the recent deterministic algorithm by Tirodkar with the same pass complexity~[FSTTCS18]. Up to polynomial factors in $1/\varepsilon$, our work matches the state-of-the-art deterministic $(\log n / \log \log n) \cdot (1/\varepsilon)$-pass algorithm by Ahn and Guha~[TOPC18], that is allowed a dependence on the number of nodes $n$. Our result also makes progress on the Open Problem 60 at sublinear.info. Moreover, we design a general framework that simulates our approach for the streaming setting in other models of computation. This framework requires access to an algorithm computing an $O(1)$-approximate maximum matching and an algorithm for processing disjoint $(\mathsf{poly} 1 / \varepsilon)$-size connected components. Instantiating our framework in $\mathsf{CONGEST}$ yields a $\mathsf{poly}(\log{n}, 1/\varepsilon)$ round algorithm for computing $(1+\varepsilon$)-approximate maximum matching. In terms of the dependence on $1/\varepsilon$, this result improves exponentially state-of-the-art result by Lotker, Patt-Shamir, and Pettie~[LPSP15]. Our framework leads to the same quality of improvement in the context of the Massively Parallel Computation model as well.


title: Image2Point: 3D Point-Cloud Understanding with 2D Image Pretrained Models

abstract: 3D point-clouds and 2D images are different visual representations of the physical world. While human vision can understand both representations, computer vision models designed for 2D image and 3D point-cloud understanding are quite different. Our paper explores the potential of transferring 2D model architectures and weights to understand 3D point-clouds, by empirically investigating the feasibility of the transfer, the benefits of the transfer, and shedding light on why the transfer works. We discover that we can indeed use the same architecture and pretrained weights of a neural net model to understand both images and point-clouds. Specifically, we transfer the image-pretrained model to a point-cloud model by copying or inflating the weights. We find that finetuning the transformed image-pretrained models (FIP) with minimal efforts -- only on input, output, and normalization layers -- can achieve competitive performance on 3D point-cloud classification, beating a wide range of point-cloud models that adopt task-specific architectures and use a variety of tricks. When finetuning the whole model, the performance improves even further. Meanwhile, FIP improves data efficiency, reaching up to 10.0 top-1 accuracy percent on few-shot classification. It also speeds up the training of point-cloud models by up to 11.1x for a target accuracy (e.g., 90 % accuracy). Lastly, we provide an explanation of the image to point-cloud transfer from the aspect of neural collapse. The code is available at: \url{https://github.com/chenfengxu714/image2point}.


title: The Randomness of Input Data Spaces is an A Priori Predictor for Generalization

abstract: Over-parameterized models can perfectly learn various types of data distributions, however, generalization error is usually lower for real data in comparison to artificial data. This suggests that the properties of data distributions have an impact on generalization capability. This work focuses on the search space defined by the input data and assumes that the correlation between labels of neighboring input values influences generalization. If correlation is low, the randomness of the input data space is high leading to high generalization error. We suggest to measure the randomness of an input data space using Maurer's universal. Results for synthetic classification tasks and common image classification benchmarks (MNIST, CIFAR10, and Microsoft's cats vs. dogs data set) find a high correlation between the randomness of input data spaces and the generalization error of deep neural networks for binary classification problems.


title: Fast voltage boosters to improve transient stability of power systems with 100% of grid-forming VSC-based generation

abstract: Grid-forming voltage source converter (GF-VSC) has been identified as the key technology for the operation of future converter-dominated power systems. Among many other issues, transient stability of this type of power systems remains an open topic of research because it is still a key limiting factor for stressed power systems. Previous studies have proposed control strategies for GF-VSC to improve transient stability of this type of systems by suitable current-limitation algorithms and/or control of active-power injections. As an alternative, this paper proposes two fast voltage boosters to improve transient stability of power systems with 100% of GF-VSC-based generation with virtual synchronous machine (VSM). One control strategy uses local measurements, whereas the other one uses global measurements of the frequency of the centre of inertia (COI). Both strategies improve transient stability of this type of systems significantly. The advantage of using fast voltage boosters for this purpose is that the set points linked to frequency/active-power injection (i.e set points linked to the primary energy source of the VSCs) will not be modified. Furthermore, strategies such as current-limitation, active-power control and fast voltage controllers for transient stability improvement are compatible and complementary.


title: Closed-form H-infinity Optimal Control for a Class of Infinite-Dimensional Systems

abstract: H-infinity optimal control and estimation are addressed for a class of systems governed by partial differential equations with bounded input and output operators. Diffusion equations are an important example in this class. Explicit formulas for the optimal state feedback controller as well as the optimal state estimator are given. Unlike traditional methods for H-infinity synthesis, no iteration is needed to obtain the optimal solution. Moreover, the optimal performance for both the state feedback and state estimation problems are explicitly calculated. This is shown to be useful for problems of H-infinity optimal actuator and sensor location. Furthermore, the results can be used in testing and bench-marking of general purpose algorithms for H-infinity synthesis. The results also apply to finite-dimensional systems.


title: Instantaneous equilibrium Transport for Brownian systems under time-dependent temperature and potential variations: Reversibility, Heat and work relations, and Fast Isentropic process

abstract: The theory of constructing instantaneous equilibrium (ieq) transition under arbitrary time-dependent temperature and potential variation for a Brownian particle is developed. It is shown that it is essential to consider the underdamped dynamics for temperature-changing transitions. The ieq is maintained by a time-dependent auxiliary position and momentum potential, which can be calculated for given time-dependent transition protocols. Explicit analytic results are derived for the work and heat statistics, energy, and entropy changes for harmonic and non-harmonic trapping potential with arbitrary time-dependent potential parameters and temperature protocols. Numerical solutions of the corresponding Langevin dynamics are computed to confirm the theoretical results. Although ieq transition of the reverse process is not the time-reversal of the ieq transition of the forward process due to the odd-parity of controlling parameters, their phase-space distribution functions restore the time-reversal symmetry, and hence the energy and entropy changes of the ieq of the reverse process are simply the negative of that of the forward process. Furthermore, it is shown that it is possible to construct an ieq transition that has zero entropy production at a finite transition rate, i.e., a fast ieq isentropic process, and is further demonstrated by explicit Langevin dynamics simulations. Our theory provides fundamental building blocks for designing controlled microscopic heat engine cycles. Implications for constructing an efficient Brownian heat engine are also discussed.


title: LipSync3D: Data-Efficient Learning of Personalized 3D Talking Faces from Video using Pose and Lighting Normalization

abstract: In this paper, we present a video-based learning framework for animating personalized 3D talking faces from audio. We introduce two training-time data normalizations that significantly improve data sample efficiency. First, we isolate and represent faces in a normalized space that decouples 3D geometry, head pose, and texture. This decomposes the prediction problem into regressions over the 3D face shape and the corresponding 2D texture atlas. Second, we leverage facial symmetry and approximate albedo constancy of skin to isolate and remove spatio-temporal lighting variations. Together, these normalizations allow simple networks to generate high fidelity lip-sync videos under novel ambient illumination while training with just a single speaker-specific video. Further, to stabilize temporal dynamics, we introduce an auto-regressive approach that conditions the model on its previous visual state. Human ratings and objective metrics demonstrate that our method outperforms contemporary state-of-the-art audio-driven video reenactment benchmarks in terms of realism, lip-sync and visual quality scores. We illustrate several applications enabled by our framework.


title: What training reveals about neural network complexity

abstract: This work explores the Benevolent Training Hypothesis (BTH) which argues that the complexity of the function a deep neural network (NN) is learning can be deduced by its training dynamics. Our analysis provides evidence for BTH by relating the NN's Lipschitz constant at different regions of the input space with the behavior of the stochastic training procedure. We first observe that the Lipschitz constant close to the training data affects various aspects of the parameter trajectory, with more complex networks having a longer trajectory, bigger variance, and often veering further from their initialization. We then show that NNs whose 1st layer bias is trained more steadily (i.e., slowly and with little variation) have bounded complexity even in regions of the input space that are far from any training point. Finally, we find that steady training with Dropout implies a training- and data-dependent generalization bound that grows poly-logarithmically with the number of parameters. Overall, our results support the intuition that good training behavior can be a useful bias towards good generalization.


title: Local variations of the Stellar Velocity Ellipsoid-I: the disc of galaxies in the Auriga simulations

abstract: The connection between the Stellar Velocity Ellipsoid (SVE) and the dynamical evolution of galaxies has been a matter of debate in the last years and there is no clear consensus whether different heating agents (e.g. spiral arms, giant molecular clouds, bars and mergers) leave clear detectable signatures in the present day kinematics. Most of these results are based on a single and global SVE and have not taken into account that these agents do not necessarily equally affect all regions of the stellar disc.We study the 2D spatial distribution of the SVE across the stellar discs of Auriga galaxies, a set of high resolution magneto-hydrodynamical cosmological zoom-in simulations, to unveil the connection between local and global kinematic properties in the disc region. We find very similar, global, $\sigma_{z}/\sigma_{r}$= 0.80$\pm$ 0.08 values for galaxies of different Hubble types. This shows that the global properties of the SVE at z=0 are not a good indicator of the heating and cooling events experienced by galaxies. We also find that similar $\sigma_{z}/\sigma_{r}$radial profiles are obtained through different combinations of $\sigma_{z}$ and $\sigma_{r}$ trends: at a local level, the vertical and radial components can evolve differently, leading to similar $\sigma_{z}/\sigma_{r}$ profiles at z=0. By contrast, the 2D spatial distribution of the SVE varies a lot more from galaxy to galaxy. Present day features in the SVE spatial distribution may be associated with specific interactions such as fly-by encounters or the accretion of low mass satellites even in the cases when the global SVE is not affected. The stellar populations decomposition reveals that young stellar populations present colder and less isotropic SVEs and more complex 2D distributions than their older and hotter counterparts.


title: Stability and Generalization of Bilevel Programming in Hyperparameter Optimization

abstract: The (gradient-based) bilevel programming framework is widely used in hyperparameter optimization and has achieved excellent performance empirically. Previous theoretical work mainly focuses on its optimization properties, while leaving the analysis on generalization largely open. This paper attempts to address the issue by presenting an expectation bound w.r.t. the validation set based on uniform stability. Our results can explain some mysterious behaviours of the bilevel programming in practice, for instance, overfitting to the validation set. We also present an expectation bound for the classical cross-validation algorithm. Our results suggest that gradient-based algorithms can be better than cross-validation under certain conditions in a theoretical perspective. Furthermore, we prove that regularization terms in both the outer and inner levels can relieve the overfitting problem in gradient-based algorithms. In experiments on feature learning and data reweighting for noisy labels, we corroborate our theoretical findings.


title: Polarized phonons carry the missing angular momentum in femtosecond demagnetization

abstract: Magnetic phenomena are ubiquitous in our surroundings and indispensable for modern science and technology, but it is notoriously difficult to change the magnetic order of a material in a rapid way. However, if a thin nickel film is subjected to ultrashort laser pulses, it can lose its magnetic order almost completely within merely femtosecond times. This phenomenon, in the meantime also observed in many other materials, has connected magnetism with femtosecond optics in an efficient, ultrafast and complex way, offering opportunities for rapid information processing or ultrafast spintronics at frequencies approaching those of light. Consequently, the physics of ultrafast demagnetization is central to modern material research, but a crucial question has remained elusive: If a material loses its magnetization within only femtoseconds, where is the missing angular momentum in such short time? Here we use ultrafast electron diffraction to reveal in nickel an almost instantaneous, long-lasting, non-equilibrium population of anisotropic high-frequency phonons that appear as quickly as the magnetic order is lost. The anisotropy plane is perpendicular to the direction of the initial magnetization and the atomic oscillation amplitude is 2 pm. We explain these observations by means of circularly polarized phonons that quickly absorb the missing angular momentum of the spin system before the slower onset of a macroscopic sample rotation. The time that is needed for demagnetization is related to the time it takes to accelerate the atoms. These results provide an atomistic picture of ultrafast demagnetization under adherence to all conservation laws but also demonstrate the general importance of polarized phonons for non-equilibrium dynamics and provide innovative ways for controlling materials on atomic dimensions.


title: Glauber gluons in annihilation amplitudes for heavy meson decays

abstract: We investigate the Glauber divergences in nonfactorizable annihilation amplitudes for two-body hadronic heavy meson decays in the $k_T$ factorization theorem at one-loop level. These divergences can be absorbed into the Glauber factors in the dominant kinematic regions of small parton momenta, which modify the interference between a nonfactorizable annihilation amplitude and other amplitudes by rotating it with a phase. We postulate that only the Glauber effect associated with a pion is significant, due to its special role as a $q\bar q$ bound state and as a pseudo Nambu-Goldstone boson simultaneously. It is elaborated that the data of the $D\to\pi\pi$ and $\pi K$ branching ratios have revealed prominent Glauber effects. This work provides a solid theoretical ground for the factorization-assisted topological-amplitude parametrization of two-body hadronic $D$ meson decays.


title: FPT Algorithms to Compute the Elimination Distance to Bipartite Graphs and More

abstract: For a hereditary graph class $\mathcal{H}$, the $\mathcal{H}$-elimination distance of a graph $G$ is the minimum number of rounds needed to reduce $G$ to a member of $\mathcal{H}$ by removing one vertex from each connected component in each round. The $\mathcal{H}$-treewidth of a graph $G$ is the minimum, taken over all vertex sets $X$ for which each connected component of $G - X$ belongs to $\mathcal{H}$, of the treewidth of the graph obtained from $G$ by replacing the neighborhood of each component of $G-X$ by a clique and then removing $V(G) \setminus X$. These parameterizations recently attracted interest because they are simultaneously smaller than the graph-complexity measures treedepth and treewidth, respectively, and the vertex-deletion distance to $\mathcal{H}$. For the class $\mathcal{H}$ of bipartite graphs, we present non-uniform fixed-parameter tractable algorithms for testing whether the $\mathcal{H}$-elimination distance or $\mathcal{H}$-treewidth of a graph is at most $k$. Along the way, we also provide such algorithms for all graph classes $\mathcal{H}$ defined by a finite set of forbidden induced subgraphs.


title: Realistic Evaluation Principles for Cross-document Coreference Resolution

abstract: We point out that common evaluation practices for cross-document coreference resolution have been unrealistically permissive in their assumed settings, yielding inflated results. We propose addressing this issue via two evaluation methodology principles. First, as in other tasks, models should be evaluated on predicted mentions rather than on gold mentions. Doing this raises a subtle issue regarding singleton coreference clusters, which we address by decoupling the evaluation of mention detection from that of coreference linking. Second, we argue that models should not exploit the synthetic topic structure of the standard ECB+ dataset, forcing models to confront the lexical ambiguity challenge, as intended by the dataset creators. We demonstrate empirically the drastic impact of our more realistic evaluation principles on a competitive model, yielding a score which is 33 F1 lower compared to evaluating by prior lenient practices.


title: Targeted Active Learning for Bayesian Decision-Making

abstract: Active learning is usually applied to acquire labels of informative data points in supervised learning, to maximize accuracy in a sample-efficient way. However, maximizing the accuracy is not the end goal when the results are used for decision-making, for example in personalized medicine or economics. We argue that when acquiring samples sequentially, separating learning and decision-making is sub-optimal, and we introduce an active learning strategy which takes the down-the-line decision problem into account. Specifically, we introduce a novel active learning criterion which maximizes the expected information gain on the posterior distribution of the optimal decision. We compare our targeted active learning strategy to existing alternatives on both simulated and real data, and show improved performance in decision-making accuracy.


title: Planar hydraulic jumps in thin films: a regular solution against experiments

abstract: The formation of a planar hydraulic jump has been analysed in the framework of a full depth-averaged thin film model (DAM) with surface tension effects included. We have demonstrated regular weak solutions of the full DAM and analysed surface tension effects. It has been shown that surface tension effects within the parameter range relevant to the recent experiments are expected to be very weak and practically negligible. The developed methodology can be used in the analysis of laminar flow regimes and as a benchmark in developing full scale hydrodynamic models.


title: Learning by Distillation: A Self-Supervised Learning Framework for Optical Flow Estimation

abstract: We present DistillFlow, a knowledge distillation approach to learning optical flow. DistillFlow trains multiple teacher models and a student model, where challenging transformations are applied to the input of the student model to generate hallucinated occlusions as well as less confident predictions. Then, a self-supervised learning framework is constructed: confident predictions from teacher models are served as annotations to guide the student model to learn optical flow for those less confident predictions. The self-supervised learning framework enables us to effectively learn optical flow from unlabeled data, not only for non-occluded pixels, but also for occluded pixels. DistillFlow achieves state-of-the-art unsupervised learning performance on both KITTI and Sintel datasets. Our self-supervised pre-trained model also provides an excellent initialization for supervised fine-tuning, suggesting an alternate training paradigm in contrast to current supervised learning methods that highly rely on pre-training on synthetic data. At the time of writing, our fine-tuned models ranked 1st among all monocular methods on the KITTI 2015 benchmark, and outperform all published methods on the Sintel Final benchmark. More importantly, we demonstrate the generalization capability of DistillFlow in three aspects: framework generalization, correspondence generalization and cross-dataset generalization.


title: Semiclassical analysis in the limit circle case

abstract: We consider second order differential equations with real coefficients that are in the limit circle case at infinity. Using the semiclassical Ansatz, we construct solutions (the Jost solutions) of such equations with a prescribed asymptotic behavior for $x\to\infty$. It turns out that in the limit circle case, this Ansatz can be chosen common for all values of the spectral parameter $z$. This leads to asymptotic formulas for all solutions of considered differential equations, both homogeneous and non-homogeneous. We also efficiently describe all self-adjoint realizations of the corresponding differential operators in terms of boundary conditions at infinity and find a representation for their resolvents.


title: Seismic Inverse Modeling Method based on Generative Adversarial Network

abstract: Seismic inverse modeling is a common method in reservoir prediction and it plays a vital role in the exploration and development of oil and gas. Conventional seismic inversion method is difficult to combine with complicated and abstract knowledge on geological mode and its uncertainty is difficult to be assessed. The paper proposes an inversion modeling method based on GAN consistent with geology, well logs, seismic data. GAN is a the most promising generation model algorithm that extracts spatial structure and abstract features of training images. The trained GAN can reproduce the models with specific mode. In our test, 1000 models were generated in 1 second. Based on the trained GAN after assessment, the optimal result of models can be calculated through Bayesian inversion frame. Results show that inversion models conform to observation data and have a low uncertainty under the premise of fast generation. This seismic inverse modeling method increases the efficiency and quality of inversion iteration. It is worthy of studying and applying in fusion of seismic data and geological knowledge.


title: From quarks and gluons to color superconductivity at supranuclear densities

abstract: We study the emergence of color superconductivity in the theory of the strong interaction at supranuclear densities. To this end, we follow the renormalization group (RG) flow of dense strong-interaction matter with two massless quark flavors from the fundamental quark and gluon degrees of freedom at high energies down to the non-perturbative low-energy regime which is found to be governed by the dynamical formation of diquark states. With the strong coupling at the initial RG scale as the only input parameter, we compute the (chirally symmetric) scalar diquark condensate and analyze its scaling behavior over a wide range of the quark chemical potential. Approximations entering our computations are critically assessed. Since our approach naturally allows us to study the scale dependence of couplings, we also monitor the strength of couplings appearing in low-energy models of dense strong-interaction matter. The observed dependence of these couplings on the quark chemical potential may help to amend model studies in the future. Finally, we estimate the speed of sound of dense QCD matter. Our results indicate that the speed of sound exceeds the value of the noninteracting quark gas at high densities and even increases as the density is decreased, across a wide range, suggesting the existence of a maximum at supranuclear densities.


title: Stability of two-fluid partially-ionised slow-mode shock fronts

abstract: A magnetohydrodynamic (MHD) shock front can be unstable to the corrugation instability, which causes a perturbed shock front to become increasingly corrugated with time. An ideal MHD parallel shock (where the velocity and magnetic fields are aligned) is unconditionally unstable to the corrugation instability, whereas the ideal hydrodynamic (HD) counterpart is unconditionally stable. For a partially ionised medium (for example the solar chromosphere), both hydrodynamic and magnetohydrodynamic species coexist and the stability of the system has not been studied. In this paper, we perform numerical simulations of the corrugation instability in two-fluid partially-ionised shock fronts to investigate the stability conditions, and compare the results to HD and MHD simulations. Our simulations consist of an initially steady 2D parallel shock encountering a localised upstream density perturbation. In MHD, this perturbation results in an unstable shock front and the corrugation grows with time. We find that for the two-fluid simulation, the neutral species can act to stabilise the shock front. A parameter study is performed to analyse the conditions under which the shock front is stable and unstable. We find that for very weakly coupled or very strongly coupled partially-ionised system the shock front is unstable, as the system tends towards MHD. However, for a finite coupling, we find that the neutrals can stabilise the shock front, and produce new features including shock channels in the neutral species. We derive an equation that relates the stable wavelength range to the ion-neutral and neutral-ion coupling frequencies and the Mach number. Applying this relation to umbral flashes give an estimated range of stable wavelengths between 0.6 and 56 km.


title: Topological Superconductivity in an s-wave Superconductor and Its Implication to Iron-based Superconductors

abstract: In the presence of both space and time reversal symmetries, an s-wave A1g superconducting state is usually topologically trivial. Here we demonstrate that an exception can take place in a type of nonsymmorphic lattice structures. We specify the demonstration in a system with a centrosymmetric space group P4/nmm, the symmetry group that governs iron-based superconductors, by showing the existence of a second-order topological state protected by a mirror symmetry. The topological superconductivity is featured by 2Z degenerate Dirac cones on the (1,0) edge, and Z pairs of Majorana modes at the intersection between the (1,1) and (1,-1) edges. The topological invariance and Fermi surface criterion for the topological state are provided. Moreover, we point out that the previously proposed s-wave state in iron-based superconductors, which features a sign-changed superconducting order parameter between two electron pockets, is such a topological state. Thus, these results not only open a new route to pursue topological superconductivity, but also establish a measurable quantity to settle one long-lasting debate on the pairing nature of iron-based superconductors.


title: On the nonexistence of FO-continuous path and tree-decompositions

abstract: Bojanczyk and Pilipczuk showed in their celebrated article "Definability equals recognizability for graphs of bounded treewidth" (LICS 2016) that monadic second-order logic can define tree-decompositions in graphs of bounded treewidth. This raises the question whether such decompositions can already be defined in first-order logic (FO). We start by introducing the notion of tree-decompositions of bounded span, which restricts the diameter of the subtree consisting of the bags containing a same node of the structure. Having a bounded span is a natural property of tree-decompositions when dealing with FO, since equality of nodes cannot in general be recovered in FO when it doesn't hold. In particular, it encompasses the notion of domino tree-decompositions. We show that path-decompositions of bounded span are not FO-continuous, in the sense that there exist arbitrarily FO-similar graphs of bounded pathwidth which do not possess FO-similar path-decompositions of bounded span. Then, we show that tree-decompositions of bounded span are not FO-continuous either.


title: Model Predictive Robot-Environment Interaction Control for Mobile Manipulation Tasks

abstract: Modern, torque-controlled service robots can regulate contact forces when interacting with their environment. Model Predictive Control (MPC) is a powerful method to solve the underlying control problem, allowing to plan for whole-body motions while including different constraints imposed by the robot dynamics or its environment. However, an accurate model of the robot-environment is needed to achieve a satisfying closed-loop performance. Currently, this necessity undermines the performance and generality of MPC in manipulation tasks. In this work, we combine an MPC-based whole-body controller with two adaptive schemes, derived from online system identification and adaptive control. As a result, we enable a general mobile manipulator to interact with unknown environments, without any need for re-tuning parameters or pre-modeling the interacting objects. In combination with the MPC controller, the two adaptive approaches are validated and benchmarked with a ball-balancing manipulator in door opening and object lifting tasks.


title: On the Outage Capacity of the Massive MIMO Diversity Channel

abstract: We consider the massive Multiple Input Multiple Output (MIMO) diversity channel affected by independent and identically distributed Rayleigh fading, with linear processing at both transmitter and receiver sides, and analyze the outage capacity for large number of antennas. We first discuss the classical Single Input Multiple Output (SIMO) diversity channel that uses Maximal Ratio Combining (MRC) or Selection Combining (SC). For MRC, a numerical computation and a Gaussian Approximation (GA) are considered, whereas for SC an exact evaluation is possible. The analysis is then straightforwardly extended to the Multiple Input Single Output (MISO) system that uses Maximal Ratio Transmission (MRT) or transmit antenna selection. The general Multiple Input Multiple Output (MIMO) system that pursues full diversity is finally considered, with both optimal linear processing and simple antenna selection at both transmitter and receiver. If the number of antennas is sufficiently large on at least one side, the outage capacity of each considered diversity channel approaches that of a suitable reference Additive White Gaussian Noise (AWGN) channel with properly defined Signal-to-Noise Ratio (SNR), which provides a performance benchmark. This conclusion is valid for large but realistic number of antennas compatible with the assumption of independent fading.


title: Constraints on the phase transition and nuclear symmetry parameters from PSR $\mathrm{J}0740+6620$ and multimessenger data of other neutron stars

abstract: Recently, the radius of neutron star (NS) PSR J0740+6620 was measured by Neutron Star Interior Composition Explorer (NICER) and an updated measurement of neutron skin thickness of ${}^{208}$Pb ($R_{\rm skin}^{208}$) was reported by the PREX-II experiment. These new measurements can help us better understand the unknown equation of state (EOS) of dense matter. In this work, we adopt a hybrid parameterization method, which incorporates the nuclear empirical parameterization and some widely used phenomenological parameterizations, to analyze the results of nuclear experiments and astrophysical observations. With the joint Bayesian analysis of GW170817, PSR J0030+0451, and PSR J0740+6620, the parameters that characterize the ultradense matter EOS are constrained. We find that the slope parameter $L$ is approximately constrained to $70_{-18}^{+21}$ MeV, which predicts $R_{\rm skin}^{208}=0.204^{+0.030}_{-0.026}\,{\rm fm}$ by using the universal relation between $R_{\rm skin}^{208}$ and $L$. The bulk properties of canonical $1.4\,M_\odot$ NS (e.g., $R_{1.4}$ and $\Lambda_{1.4}$) as well as the pressure ($P_{2\rho_{\rm sat}}$) at two times the nuclear saturation density are well constrained by the data; i.e., $R_{1.4}$, $\Lambda_{1.4}$, and $P_{2\rho_{\rm sat}}$ are approximately constrained to $12.3\pm0.7$ km, $330_{-100}^{+140}$, and $4.1_{-1.2}^{+1.5}\times10^{34}\,{\rm dyn\,cm^{-2}}$, respectively. Besides, we find that the Bayes evidences of the hybrid star and normal NS assumptions are comparable, which indicates that current observation data are compatible with quarkyonic matter existing in the core of massive star. Finally, in the case of normal NS assumption, we obtain a constraint for the maximum mass of nonrotating NS $M_{\rm TOV}=2.30^{+0.30}_{-0.18}$ $M_\odot$. All of the uncertainties reported above are for 68.3% credible levels.


title: Micro BTB: A High Performance and Lightweight Last-Level Branch Target Buffer for Servers

abstract: High-performance branch target buffers (BTBs) and the L1I cache are key to high-performance front-end. Modern branch predictors are highly accurate, but with an increase in code footprint in modern-day server workloads, BTB and L1I misses are still frequent. Recent industry trend shows usage of large BTBs (100s of KB per core) that provide performance closer to the ideal BTB along with a decoupled front-end that provides efficient fetch-directed L1I instruction prefetching. On the other hand, techniques proposed by academia, like BTB prefetching and using retire order stream for learning, fail to provide significant performance with modern-day processor cores that are deeper and wider. We solve the problem fundamentally by increasing the storage density of the last-level BTB. We observe that not all branch instructions require a full branch target address. Instead, we can store the branch target as a branch offset, relative to the branch instruction. Using branch offset enables the BTB to store multiple branches per entry. We reduce the BTB storage in half, but we observe that it increases skewness in the BTB. We propose a skewed indexed and compressed last-level BTB design called MicroBTB (MBTB) that stores multiple branches per BTB entry. We evaluate MBTB on 100 industry-provided server workloads. A 4K-entry MBTB provides 17.61% performance improvement compared to an 8K-entry baseline BTB design with a storage savings of 47.5KB per core.


title: Efficient Sampling in POMDPs with Lipschitz Bandits for Motion Planning in Continuous Spaces

abstract: Decision making under uncertainty can be framed as a partially observable Markov decision process (POMDP). Finding exact solutions of POMDPs is generally computationally intractable, but the solution can be approximated by sampling-based approaches. These sampling-based POMDP solvers rely on multi-armed bandit (MAB) heuristics, which assume the outcomes of different actions to be uncorrelated. In some applications, like motion planning in continuous spaces, similar actions yield similar outcomes. In this paper, we utilize variants of MAB heuristics that make Lipschitz continuity assumptions on the outcomes of actions to improve the efficiency of sampling-based planning approaches. We demonstrate the effectiveness of this approach in the context of motion planning for automated driving.


title: Cooperative Stochastic Multi-agent Multi-armed Bandits Robust to Adversarial Corruptions

abstract: We study the problem of stochastic bandits with adversarial corruptions in the cooperative multi-agent setting, where $V$ agents interact with a common $K$-armed bandit problem, and each pair of agents can communicate with each other to expedite the learning process. In the problem, the rewards are independently sampled from distributions across all agents and rounds, but they may be corrupted by an adversary. Our goal is to minimize both the overall regret and communication cost across all agents. We first show that an additive term of corruption is unavoidable for any algorithm in this problem. Then, we propose a new algorithm that is agnostic to the level of corruption. Our algorithm not only achieves near-optimal regret in the stochastic setting, but also obtains a regret with an additive term of corruption in the corrupted setting, while maintaining efficient communication. The algorithm is also applicable for the single-agent corruption problem, and achieves a high probability regret that removes the multiplicative dependence of $K$ on corruption level. Our result of the single-agent case resolves an open question from Gupta et al. [2019].


title: Grapevine Winter Pruning Automation: On Potential Pruning Points Detection through 2D Plant Modeling using Grapevine Segmentation

abstract: Grapevine winter pruning is a complex task, that requires skilled workers to execute it correctly. The complexity of this task is also the reason why it is time consuming. Considering that this operation takes about 80-120 hours/ha to be completed, and therefore is even more crucial in large-size vineyards, an automated system can help to speed up the process. To this end, this paper presents a novel multidisciplinary approach that tackles this challenging task by performing object segmentation on grapevine images, used to create a representative model of the grapevine plants. Second, a set of potential pruning points is generated from this plant representation. We will describe (a) a methodology for data acquisition and annotation, (b) a neural network fine-tuning for grapevine segmentation, (c) an image processing based method for creating the representative model of grapevines, starting from the inferred segmentation and (d) potential pruning points detection and localization, based on the plant model which is a simplification of the grapevine structure. With this approach, we are able to identify a significant set of potential pruning points on the canes, that can be used, with further selection, to derive the final set of the real pruning points.


title: MindReader: Recommendation over Knowledge Graph Entities with Explicit User Ratings

abstract: Knowledge Graphs (KGs) have been integrated in several models of recommendation to augment the informational value of an item by means of its related entities in the graph. Yet, existing datasets only provide explicit ratings on items and no information is provided about user opinions of other (non-recommendable) entities. To overcome this limitation, we introduce a new dataset, called the MindReader, providing explicit user ratings both for items and for KG entities. In this first version, the MindReader dataset provides more than 102 thousands explicit ratings collected from 1,174 real users on both items and entities from a KG in the movie domain. This dataset has been collected through an online interview application that we also release open source. As a demonstration of the importance of this new dataset, we present a comparative study of the effect of the inclusion of ratings on non-item KG entities in a variety of state-of-the-art recommendation models. In particular, we show that most models, whether designed specifically for graph data or not, see improvements in recommendation quality when trained on explicit non-item ratings. Moreover, for some models, we show that non-item ratings can effectively replace item ratings without loss of recommendation quality. This finding, thanks also to an observed greater familiarity of users towards common KG entities than towards long-tail items, motivates the use of KG entities for both warm and cold-start recommendations.


title: Defining definition: a Text mining Approach to Define Innovative Technological Fields

abstract: One of the first task of an innovative project is delineating the scope of the project itself or of the product/service to be developed. A wrong scope definition can determine (in the worst case) project failure. A good scope definition become even more relevant in technological intensive innovation projects, nowadays characterized by a highly dynamic multidisciplinary, turbulent and uncertain environment. In these cases, the boundaries of the project are not easily detectable and it is difficult to decide what it is in-scope and out-of-scope. The present work proposes a tool for the scope delineation process, that automatically define an innovative technological field or a new technology. The tool is based on Text Mining algorithm that exploits Elsevier's Scopus abstracts in order to the extract relevant data to define a technological scope. The automatic definition tool is then applied on four case studies: Artificial Intelligence and Data Science. The results show how the tool can provide many crucial information in the definition process of a technological field. In particular for the target technological field (or technology), it provides the definition and other elements related to the target.


title: The hot dust in the heart of NGC 1068's torus: A 3D radiative model constrained with GRAVITY/VLTi

abstract: The central region of NGC 1068 is one of the closest and most studied Active Galactic Nucleus. It is known to be of type 2, meaning that its accretion disk is obscured by a large amount of dust and gas. The main properties of the obscuring structure are still to be determined. We model the inner edge of this structure, where the hot dust responsible for the near-infrared emission reaches its sublimation temperature. At first, we use simple geometrical models in image reconstructions to determine the main 2D geometrical properties of the source. In a second step, we try to reproduce the observables with K-band images produced by 3D radiative transfer simulations of a heated dusty disk. We explore various parameters to find an optimal solution and a model consistent with all the observables. The three methods indicate an elongated structure with 4 x 6 mas dimensions and its major axis along the NW/SE direction. All three of them suggest that the object looks like an elongated ring rather than an elongated thin disk, with its northeast edge less luminous than the South-West one. The best 3D model is a thick disk with an inner radius r=0.21 +/- 0.03 pc and a half-opening angle $\alpha_{1/2}=21\pm8\degree$ observed with an inclination $i=44_{-6}^{10}$\,$\degree$ and $PA=150_{-13}^{8}$\,$\degree$. A high density of dust $n=5_{-2.5}^{+5}\ M_{\odot}.pc^{-3}$ is required to explain the contrast between the two edges by self-absorption from the closer one. The overall structure is obscured by a large foreground obscuration $A_V \sim 75$. The hot dust is not responsible for the obscuration of the central engine. The geometry and the orientation of the structure are different from those of the previously observed maser and molecular disks. A single disk is unable to account for these differences, and we favor a description of the source where multiple rings are entangled around the central mass.


title: Using the Environment to Understand non-Markovian Open Quantum Systems

abstract: Tracing out the environmental degrees of freedom is a necessary procedure when simulating open quantum systems. While being an essential step in deriving a tractable master equation it represents a loss of information. In situations where there is strong interplay between the system and environmental degrees of freedom this loss makes understanding the dynamics challenging. These dynamics, when viewed in isolation, have no time-local description: they are non-Markovian and memory effects induce complex features that are difficult to interpret. To address this problem, we here show how to use system correlations, calculated by any method, to infer any correlation function of a Gaussian environment, so long as the coupling between system and environment is linear. This not only allows reconstruction of the full dynamics of both system and environment, but also opens avenues into studying the effect of a system on its environment. In order to obtain accurate bath dynamics, we exploit a numerically exact approach to simulating the system dynamics, which is based on the construction and contraction of a tensor network that represents the process tensor of this open quantum system. Using this we are able to find any system correlation function exactly. To demonstrate the applicability of our method we show how heat moves between different modes of a bosonic bath when coupled to a two-level system that is subject to an off-resonant drive.


title: On a nonlinear model in domains with cavities arising from cardiac electrophysiology

abstract: In this paper we deal with the problem of determining perfectly insulating regions (cavities) from boundary measurements in a nonlinear elliptic equation arising from cardiac electrophysiology. With minimal regularity assumptions on the cavities, we first show well-posedness of the direct problem and then prove uniqueness for the inverse problem.


title: Resonant excitation of twisted spin waves in magnetic vortices using rotating magnetic fields

abstract: Twisted spin waves attracted research attentions lately and the orbital angular momentum they carry may be utilized in communication and computing technologies. In this work, we manifest by micromagnetic simulations that twisted spin wave modes naturally exist in thick ferromagnetic disks. The twisted spin waves can be readily stimulated using rotating magnetic field when it is tuned to the eigenfrequency of corresponding modes. We analytically derive dispersion relation of the twisted spin waves and the results agree well with the numerical studies. Lastly, we demonstrate that the topological charge of twisted spin waves can be controlled by the exciting field.


title: On the use of automatically generated synthetic image datasets for benchmarking face recognition

abstract: The availability of large-scale face datasets has been key in the progress of face recognition. However, due to licensing issues or copyright infringement, some datasets are not available anymore (e.g. MS-Celeb-1M). Recent advances in Generative Adversarial Networks (GANs), to synthesize realistic face images, provide a pathway to replace real datasets by synthetic datasets, both to train and benchmark face recognition (FR) systems. The work presented in this paper provides a study on benchmarking FR systems using a synthetic dataset. First, we introduce the proposed methodology to generate a synthetic dataset, without the need for human intervention, by exploiting the latent structure of a StyleGAN2 model with multiple controlled factors of variation. Then, we confirm that (i) the generated synthetic identities are not data subjects from the GAN's training dataset, which is verified on a synthetic dataset with 10K+ identities; (ii) benchmarking results on the synthetic dataset are a good substitution, often providing error rates and system ranking similar to the benchmarking on the real dataset.


title: A Modest Pareto Optimisation Analysis of Dependency Parsers in 2021

abstract: We evaluate three leading dependency parser systems from different paradigms on a small yet diverse subset of languages in terms of their accuracy-efficiency Pareto front. As we are interested in efficiency, we evaluate core parsers without pretrained language models (as these are typically huge networks and would constitute most of the compute time) or other augmentations that can be transversally applied to any of them. Biaffine parsing emerges as a well-balanced default choice, with sequence-labelling parsing being preferable if inference speed (but not training energy cost) is the priority.


title: Dynamic Sparse Training for Deep Reinforcement Learning

abstract: Deep reinforcement learning (DRL) agents are trained through trial-and-error interactions with the environment. This leads to a long training time for dense neural networks to achieve good performance. Hence, prohibitive computation and memory resources are consumed. Recently, learning efficient DRL agents has received increasing attention. Yet, current methods focus on accelerating inference time. In this paper, we introduce for the first time a dynamic sparse training approach for deep reinforcement learning to accelerate the training process. The proposed approach trains a sparse neural network from scratch and dynamically adapts its topology to the changing data distribution during training. Experiments on continuous control tasks show that our dynamic sparse agents achieve higher performance than the equivalent dense methods, reduce the parameter count and floating-point operations (FLOPs) by 50%, and have a faster learning speed that enables reaching the performance of dense agents with 40-50% reduction in the training steps.


title: Modeling Portfolios with Leptokurtic and Dependent Risk Factors

abstract: Recently, an approach to modeling portfolio distribution with risk factors distributed as Gram-Charlier (GC) expansions of the Gaussian law, has been conceived. GC expansions prove effective when dealing with moderately leptokurtic data. In order to cover the case of possibly severe leptokurtosis, the so-called GC-like expansions have been devised by reshaping parent leptokurtic distributions by means of orthogonal polynomials specific to them. In this paper, we focus on the hyperbolic-secant (HS) law as parent distribution whose GC-like expansions fit with kurtosis levels up to 19.4. A portfolio distribution has been obtained with risk factors modeled as GClike expansions of the HS law which duly account for excess kurtosis. Empirical evidence of the workings of the approach dealt with in the paper is included.


title: Time-series Imputation of Temporally-occluded Multiagent Trajectories

abstract: In multiagent environments, several decision-making individuals interact while adhering to the dynamics constraints imposed by the environment. These interactions, combined with the potential stochasticity of the agents' decision-making processes, make such systems complex and interesting to study from a dynamical perspective. Significant research has been conducted on learning models for forward-direction estimation of agent behaviors, for example, pedestrian predictions used for collision-avoidance in self-driving cars. However, in many settings, only sporadic observations of agents may be available in a given trajectory sequence. For instance, in football, subsets of players may come in and out of view of broadcast video footage, while unobserved players continue to interact off-screen. In this paper, we study the problem of multiagent time-series imputation, where available past and future observations of subsets of agents are used to estimate missing observations for other agents. Our approach, called the Graph Imputer, uses forward- and backward-information in combination with graph networks and variational autoencoders to enable learning of a distribution of imputed trajectories. We evaluate our approach on a dataset of football matches, using a projective camera module to train and evaluate our model for the off-screen player state estimation setting. We illustrate that our method outperforms several state-of-the-art approaches, including those hand-crafted for football.


title: ALMA observations of the variability of the quiet Sun at millimeter wavelengths

abstract: Using Atacama Large Millimeter/submillimeter Array (ALMA) observations of the quiet Sun at 1.26 and 3 mm, we study spatially resolved oscillations and transient brightenings, i.e. small, weak events of energy release. Both phenomena may have a bearing on the heating of the chromosphere. At 1.26 mm, in addition to power spectra of the original data, we degraded the images to the spatial resolution of the 3 mm images and used fields of view of equal area for both data sets. The detection of transient brightenings was made after the oscillations were removed. At both frequencies we detected p-mode oscillations in the range 3.6-4.4 mHz. In the corrected data sets, the oscillations at 1.26 and 3 mm showed brightness temperature fluctuations of ~1.7-1.8% with respect to the average quiet Sun, corresponding to 137 and 107 K, respectively. They represented a fraction of 0.55-0.68 of the full power spectrum and their energy density at 1.26 mm was 0.03 erg cm$^{-3}$. We detected 77 transient brightenings at 1.26 mm and 115 at 3 mm. Although the majority of the 1.26 mm events occurred in cell interior, their occurrence rate per unit area was higher than that of the 3 mm events. The computed low-end energy of the 1.26 mm transient brightenings ($1.8 \times 10^{23}$ erg) is among the smallest ever reported, irrespective of the wavelength of observation. However, their power per unit area is smaller than that of the 3 mm events, probably due to the detection of many weak 1.26 mm events. We also found that ALMA bright network structures corresponded to dark mottles/spicules seen in broadband H$\alpha$ images from the GONG network.


title: Multi-output Gaussian Processes for Uncertainty-aware Recommender Systems

abstract: Recommender systems are often designed based on a collaborative filtering approach, where user preferences are predicted by modelling interactions between users and items. Many common approaches to solve the collaborative filtering task are based on learning representations of users and items, including simple matrix factorization, Gaussian process latent variable models, and neural-network based embeddings. While matrix factorization approaches fail to model nonlinear relations, neural networks can potentially capture such complex relations with unprecedented predictive power and are highly scalable. However, neither of them is able to model predictive uncertainties. In contrast, Gaussian Process based models can generate a predictive distribution, but cannot scale to large amounts of data. In this manuscript, we propose a novel approach combining the representation learning paradigm of collaborative filtering with multi-output Gaussian processes in a joint framework to generate uncertainty-aware recommendations. We introduce an efficient strategy for model training and inference, resulting in a model that scales to very large and sparse datasets and achieves competitive performance in terms of classical metrics quantifying the reconstruction error. In addition to accurately predicting user preferences, our model also provides meaningful uncertainty estimates about that prediction.


title: A Falta de Pan, Buenas Son Tortas: The Efficacy of Predicted UPOS Tags for Low Resource UD Parsing

abstract: We evaluate the efficacy of predicted UPOS tags as input features for dependency parsers in lower resource settings to evaluate how treebank size affects the impact tagging accuracy has on parsing performance. We do this for real low resource universal dependency treebanks, artificially low resource data with varying treebank sizes, and for very small treebanks with varying amounts of augmented data. We find that predicted UPOS tags are somewhat helpful for low resource treebanks, especially when fewer fully-annotated trees are available. We also find that this positive impact diminishes as the amount of data increases.


title: Outage Performance of Multi-UAV Relaying-based Imperfect Hardware Hybrid Satellite-Terrestrial Networks

abstract: In this paper, we consider an imperfect hardware hybrid satellite-terrestrial network (HSTN) where the satellite communication with a ground user equipment (UE) is aided by the multiple amplify-and-forward (AF) three-dimensional ($3$D) mobile unmanned aerial vehicle (UAV) relays. Herein, we consider that all transceiver nodes are corrupted by the radio frequency hardware impairments (RFHI). Further, a stochastic mixed mobility (MM) model is employed to characterize the instantaneous location of $3$D mobile UAV relays in a cylindrical cell with UE lying at its center on ground plane. Taking into account the aggregate RFHI model for satellite and UAV relay transceivers and the random $3$D distances-based path loss for UAV relay-UE links, we investigate the outage probability (OP) and corresponding asymptotic outage behaviour of the system under an opportunistic relay selection scheme in a unified form for shadowed-Rician satellite links' channels and Nakagami-\emph{m} as well as Rician terrestrial links' channels. We corroborate theoretical analysis by simulations.


title: Improved Online Correlated Selection

abstract: This paper studies the online correlated selection (OCS) problem. It was introduced by Fahrbach, Huang, Tao, and Zadimoghaddam (2020) to obtain the first edge-weighted online bipartite matching algorithm that breaks the $0.5$ barrier. Suppose that we receive a pair of elements in each round and immediately select one of them. Can we select with negative correlation to be more effective than independent random selections? Our contributions are threefold. For semi-OCS, which considers the probability that an element remains unselected after appearing in $k$ rounds, we give an optimal algorithm that minimizes this probability for all $k$. It leads to $0.536$-competitive unweighted and vertex-weighted online bipartite matching algorithms that randomize over only two options in each round, improving the $0.508$-competitive ratio by Fahrbach et al. (2020). Further, we develop the first multi-way semi-OCS that allows an arbitrary number of elements with arbitrary masses in each round. As an application, it rounds the Balance algorithm in unweighted and vertex-weighted online bipartite matching and is $0.593$-competitive. Finally, we study OCS, which further considers the probability that an element is unselected in an arbitrary subset of rounds. We prove that the optimal "level of negative correlation" is between $0.167$ and $0.25$, improving the previous bounds of $0.109$ and $1$ by Fahrbach et al. (2020). Our OCS gives a $0.519$-competitive edge-weighted online bipartite matching algorithm, improving the previous $0.508$-competitive ratio by Fahrbach et al. (2020).


title: On the role of feedback in visual processing: a predictive coding perspective

abstract: Brain-inspired machine learning is gaining increasing consideration, particularly in computer vision. Several studies investigated the inclusion of top-down feedback connections in convolutional networks; however, it remains unclear how and when these connections are functionally helpful. Here we address this question in the context of object recognition under noisy conditions. We consider deep convolutional networks (CNNs) as models of feed-forward visual processing and implement Predictive Coding (PC) dynamics through feedback connections (predictive feedback) trained for reconstruction or classification of clean images. To directly assess the computational role of predictive feedback in various experimental situations, we optimize and interpret the hyper-parameters controlling the network's recurrent dynamics. That is, we let the optimization process determine whether top-down connections and predictive coding dynamics are functionally beneficial. Across different model depths and architectures (3-layer CNN, ResNet18, and EfficientNetB0) and against various types of noise (CIFAR100-C), we find that the network increasingly relies on top-down predictions as the noise level increases; in deeper networks, this effect is most prominent at lower layers. In addition, the accuracy of the network implementing PC dynamics significantly increases over time-steps, compared to its equivalent forward network. All in all, our results provide novel insights relevant to Neuroscience by confirming the computational role of feedback connections in sensory systems, and to Machine Learning by revealing how these can improve the robustness of current vision models.


title: Constraints on Global Symmetry Breaking in Quantum Gravity from Cosmic Birefringence Measurements

abstract: All global symmetries are expected to be explicitly broken by quantum gravitational effects, and yet may play an important role in Particle Physics and Cosmology. As such, any evidence for a well-preserved global symmetry would give insight into an important feature of gravity. We argue that a recently reported $2.4\sigma$ detection of cosmic birefringence in the Cosmic Microwave Background could be the first observational indication of a well-preserved (although spontaneously broken) global symmetry in nature. A compelling solution to explain this measurement is a very light pseudoscalar field that interacts with electromagnetism. In order for gravitational effects not to lead to large corrections to the mass of this scalar field, we show that the breaking of global symmetries by gravity should be bounded above. Finally, we highlight that any bound of this type would have clear implications for the construction of theories of quantum gravity, as well as for many particle physics scenarios.


title: $*$-Logarithm for Slice Regular Functions

abstract: In this paper, we study the (possible) solutions of the equation $\exp_{*}(f)=g$, where $g$ is a slice regular never vanishing function on a circular domain of the quaternions $\mathbb{H}$ and $\exp_{*}$ is the natural generalization of the usual exponential to the algebra of slice regular functions. Any function $f$ which satisfies $\exp_{*}(f)=g$ is called a $*$-logarithm of $g$. We provide necessary and sufficient conditions, expressed in terms of the zero set of the ``vector'' part $g_{v}$ of $g$, for the existence of a $*$-logarithm of $g$, under a natural topological condition on the domain $\Omega$. By the way, we prove an existence result if $g_{v}$ has no non-real isolated zeroes; we are also able to give a comprehensive approach to deal with more general cases. We are thus able to obtain an existence result when the non-real isolated zeroes of $g_{v}$ are finite, the domain is either the unit ball, or $\mathbb{H}$, or $\mathbb{D}$ and a further condition on the ``real part'' $g_{0}$ of $g$ is satisfied (see Theorem 6.19 for a precise statement). We also find some unexpected uniqueness results, again related to the zero set of $g_{v}$, in sharp contrast with the complex case. A number of examples are given throughout the paper in order to show the sharpness of the required conditions.


title: Decentralized Learning in Online Queuing Systems

abstract: Motivated by packet routing in computer networks, online queuing systems are composed of queues receiving packets at different rates. Repeatedly, they send packets to servers, each of them treating only at most one packet at a time. In the centralized case, the number of accumulated packets remains bounded (i.e., the system is \textit{stable}) as long as the ratio between service rates and arrival rates is larger than $1$. In the decentralized case, individual no-regret strategies ensures stability when this ratio is larger than $2$. Yet, myopically minimizing regret disregards the long term effects due to the carryover of packets to further rounds. On the other hand, minimizing long term costs leads to stable Nash equilibria as soon as the ratio exceeds $\frac{e}{e-1}$. Stability with decentralized learning strategies with a ratio below $2$ was a major remaining question. We first argue that for ratios up to $2$, cooperation is required for stability of learning strategies, as selfish minimization of policy regret, a \textit{patient} notion of regret, might indeed still be unstable in this case. We therefore consider cooperative queues and propose the first learning decentralized algorithm guaranteeing stability of the system as long as the ratio of rates is larger than $1$, thus reaching performances comparable to centralized strategies.


title: BIGDML: Towards Exact Machine Learning Force Fields for Materials

abstract: Machine-learning force fields (MLFF) should be accurate, computationally and data efficient, and applicable to molecules, materials, and interfaces thereof. Currently, MLFFs often introduce tradeoffs that restrict their practical applicability to small subsets of chemical space or require exhaustive datasets for training. Here, we introduce the Bravais-Inspired Gradient-Domain Machine Learning (BIGDML) approach and demonstrate its ability to construct reliable force fields using a training set with just 10-200 geometries for materials including pristine and defect-containing 2D and 3D semiconductors and metals, as well as chemisorbed and physisorbed atomic and molecular adsorbates on surfaces. The BIGDML model employs the full relevant symmetry group for a given material, does not assume artificial atom types or localization of atomic interactions and exhibits high data efficiency and state-of-the-art energy accuracies (errors substantially below 1 meV per atom) for an extended set of materials. Extensive path-integral molecular dynamics carried out with BIGDML models demonstrate the counterintuitive localization of benzene--graphene dynamics induced by nuclear quantum effects and allow to rationalize the Arrhenius behavior of hydrogen diffusion coefficient in a Pd crystal for a wide range of temperatures.

categories: cond-mat.mtrl-sci cs.LG physics.chem-ph physics.comp-ph quant-ph


title: Demystifying the Performance of Bluetooth Mesh: Experimental Evaluation and Optimization

abstract: Mesh connectivity is attractive for Internet-of- Things (IoT) applications from various perspectives. The recent Bluetooth mesh specification provides a full-stack mesh networking solution, potentially for thousands of nodes. Although Bluetooth mesh has been adopted for various IoT applications, its performance aspects are not extensively investigated in literature. This paper provides an experimental evaluation of Bluetooth mesh (using Nordic nRF52840 devices) with an emphasis on those aspects which are not well-investigated in literature. Such aspects include evaluation of unicast and group modes, performance under different traffic patterns, impact of message segmentation, and most importantly, latency performance for perfect reliability. The paper also investigates performance enhancement of Bluetooth mesh based on different techniques including parametric adjustments, extended advertisements (introduced in Bluetooth 5.0), power control, and customized relaying. Results provide insights into system-level performance of Bluetooth mesh while clarifying various important issues identified in recent studies.


title: Magnetoconvection in a horizontal duct flow at very high Hartmann and Grashof numbers

abstract: Direct numerical simulations and linear stability analysis are carried out to study mixed convection in a horizontal duct with constant-rate heating applied at the bottom and imposed transverse horizontal magnetic field. A two-dimensional approximation corresponding to the asymptotic limit of very strong magnetic field effect is validated and applied, together with full three-dimensional analysis, to investigate the flow's behaviour in the previously unexplored range of control parameters corresponding to typical conditions of a liquid metal blanket of a nuclear fusion reactor (Hartmann numbers up to $10^4$ and Grashof numbers up to $10^{10}$). It is found that the instability to quasi-two-dimensional rolls parallel to the magnetic field discovered at smaller Hartmann and Grashof numbers in earlier studies also occurs in this parameter range. Transport of the rolls by the mean flow leads to magnetoconvective temperature fluctuations of exceptionally high amplitudes. It is also demonstrated that quasi-two-dimensional structure of flows at very high Hartmann numbers does not guarantee accuracy of the classical two-dimensional approximation. The accuracy deteriorates at the highest Grashof numbers considered in the study.


title: Giving Commands to a Self-Driving Car: How to Deal with Uncertain Situations?

abstract: Current technology for autonomous cars primarily focuses on getting the passenger from point A to B. Nevertheless, it has been shown that passengers are afraid of taking a ride in self-driving cars. One way to alleviate this problem is by allowing the passenger to give natural language commands to the car. However, the car can misunderstand the issued command or the visual surroundings which could lead to uncertain situations. It is desirable that the self-driving car detects these situations and interacts with the passenger to solve them. This paper proposes a model that detects uncertain situations when a command is given and finds the visual objects causing it. Optionally, a question generated by the system describing the uncertain objects is included. We argue that if the car could explain the objects in a human-like way, passengers could gain more confidence in the car's abilities. Thus, we investigate how to (1) detect uncertain situations and their underlying causes, and (2) how to generate clarifying questions for the passenger. When evaluating on the Talk2Car dataset, we show that the proposed model, \acrfull{pipeline}, improves \gls{m:ambiguous-absolute-increase} in terms of $IoU_{.5}$ compared to not using \gls{pipeline}. Furthermore, we designed a referring expression generator (REG) \acrfull{reg_model} tailored to a self-driving car setting which yields a relative improvement of \gls{m:meteor-relative} METEOR and \gls{m:rouge-relative} ROUGE-l compared with state-of-the-art REG models, and is three times faster.


title: Towards interval uncertainty propagation control in bivariate aggregation processes and the introduction of width-limited interval-valued overlap functions

abstract: Overlap functions are a class of aggregation functions that measure the overlapping degree between two values. Interval-valued overlap functions were defined as an extension to express the overlapping of interval-valued data, and they have been usually applied when there is uncertainty regarding the assignment of membership degrees. The choice of a total order for intervals can be significant, which motivated the recent developments on interval-valued aggregation functions and interval-valued overlap functions that are increasing to a given admissible order, that is, a total order that refines the usual partial order for intervals. Also, width preservation has been considered on these recent works, in an intent to avoid the uncertainty increase and guarantee the information quality, but no deeper study was made regarding the relation between the widths of the input intervals and the output interval, when applying interval-valued functions, or how one can control such uncertainty propagation based on this relation. Thus, in this paper we: (i) introduce and develop the concepts of width-limited interval-valued functions and width limiting functions, presenting a theoretical approach to analyze the relation between the widths of the input and output intervals of bivariate interval-valued functions, with special attention to interval-valued aggregation functions; (ii) introduce the concept of $(a,b)$-ultramodular aggregation functions, a less restrictive extension of one-dimension convexity for bivariate aggregation functions, which have an important predictable behaviour with respect to the width when extended to the interval-valued context; (iii) define width-limited interval-valued overlap functions, taking into account a function that controls the width of the output interval; (iv) present and compare three construction methods for these width-limited interval-valued overlap functions.


title: Insights into the Coadsorption and Reactivity of O and CO on Ru(0001) and Their Coverage Dependence

abstract: Using density functional theory and an exchange-correlationfunctional that includes the van der Waals interaction, we study the coadsorption of CO on Ru(0001) saturated with 0.5 ML of oxygen. Different coexisting CO coverages are considered that are experimentally motivated, the room temperaturecoverage consisting of 0.5 ML-O + 0.25 ML-CO (low coverage), the saturation coverage achieved at low temperatures (0.5 ML-O + 0.375 ML-CO, intermediate coverage), and the equally mixed monolayer that is stable according to our calculations but not experimentally observed yet (0.5 ML-O + 0.5 ML-CO, high coverage). For each coverage, we study the competition between the desorption and oxidation of CO on the corresponding optimized structure by analyzing their reaction energies and minimum energy reaction paths. The desorption process is endothermic at all coverages, although the desorption energy decreases as the CO coverage increases. The process itself (and also the reverted adsorption) becomes more involved at the intermediate and high coverages because of the appearance of a physisorption well and concomitant energy barrier separating it from the chemisorbed state. Remarkably, the oxidation of CO, which is endothermic at low coverages, turns exothermic at the intermediate and high coverages. In all cases, the minimum reaction path for oxidation, which involves the chemisorbed and physisorbed CO2, is ruled by one of the large energy barriers that protect these molecular states. Altogether, the larger activation energies for oxidation as compared to those for desorption and the extreme complexity of the oxidation against the desorption paths explain that CO desorption dominates over the oxidation in experiments.


title: Definitions of intent suitable for algorithms

abstract: Intent modifies an actor's culpability of many types wrongdoing. Autonomous Algorithmic Agents have the capability of causing harm, and whilst their current lack of legal personhood precludes them from committing crimes, it is useful for a number of parties to understand under what type of intentional mode an algorithm might transgress. From the perspective of the creator or owner they would like ensure that their algorithms never intend to cause harm by doing things that would otherwise be labelled criminal if committed by a legal person. Prosecutors might have an interest in understanding whether the actions of an algorithm were internally intended according to a transparent definition of the concept. The presence or absence of intention in the algorithmic agent might inform the court as to the complicity of its owner. This article introduces definitions for direct, oblique (or indirect) and ulterior intent which can be used to test for intent in an algorithmic actor.


title: Study of pair production in inhomogeneous two-color electric fields using the computational quantum field theory

abstract: We first demonstrate theoretically that the computational quantum field theory is equivalent to the quantum kinetic theory for pair creation in a spatially homogeneous and time-dependent electric field, then verify numerically their equivalence for pair creation in one-dimensional time-dependent electric fields, and finally investigate detailedly the effects of the field frequency, spatial width, pulse duration, and relative phase on dynamically assisted Schwinger pair production in an inhomogeneous two-color electric field. It is found that the enhancement effect of pair creation is very sensitive to the field frequency and generally very obvious for a shorter field width, a longer pulse duration, and a relative phase of maximizing the field strength. These results can provide a significant reference for the optimal control theory of pair creation which aims to maximize the created pair yield within a given scope of field parameters.


title: Testing Monotonicity of Mean Potential Outcomes in a Continuous Treatment with High-Dimensional Data

abstract: While most treatment evaluations focus on binary interventions, a growing literature also considers continuously distributed treatments. We propose a Cram\'{e}r-von Mises-type test for testing whether the mean potential outcome given a specific treatment has a weakly monotonic relationship with the treatment dose under a weak unconfoundedness assumption. In a nonseparable structural model, applying our method amounts to testing monotonicity of the average structural function in the continuous treatment of interest. To flexibly control for a possibly high-dimensional set of covariates in our testing approach, we propose a double debiased machine learning estimator that accounts for covariates in a data-driven way. We show that the proposed test controls asymptotic size and is consistent against any fixed alternative. These theoretical findings are supported by the Monte-Carlo simulations. As an empirical illustration, we apply our test to the Job Corps study and reject a weakly negative relationship between the treatment (hours in academic and vocational training) and labor market performance among relatively low treatment values.


title: Mixed modulus and anomaly mediation in light of the muon $g-2$ anomaly

abstract: The new measurement of the anomalous magnetic moment of muon at the Fermilab Muon $g-2$ experiment has strengthened the significance of the discrepancy between the standard model prediction and the experimental observation from the BNL measurement. If new physics responsible for the muon $g-2$ anomaly is supersymmetric, one should consider how to obtain light electroweakinos and sleptons in a systematic way. The gauge coupling unification allows a robust prediction of the gaugino masses, indicating that the electroweakinos can be much lighter than the gluino if anomaly-mediated supersymmetry breaking is sizable. As naturally leading to mixed modulus-anomaly mediation, the KKLT scenario is of particular interest and is found capable of explaining the muon $g-2$ anomaly in the parameter region where the lightest ordinary supersymmetric particle is a bino-like neutralino or slepton.


title: The Russian practice of applying cluster approach in regional development

abstract: The article considers the practice of applying the cluster approach in Russia as a tool for overcoming economic inequality between Russian regions. The authors of the study analyze the legal framework of cluster policy in Russia, noting that its successful implementation requires a little more time than originally planned. Special attention is paid to the experience of benchmarking.


title: The Medkit-Learn(ing) Environment: Medical Decision Modelling through Simulation

abstract: Understanding decision-making in clinical environments is of paramount importance if we are to bring the strengths of machine learning to ultimately improve patient outcomes. Several factors including the availability of public data, the intrinsically offline nature of the problem, and the complexity of human decision making, has meant that the mainstream development of algorithms is often geared towards optimal performance in tasks that do not necessarily translate well into the medical regime; often overlooking more niche issues commonly associated with the area. We therefore present a new benchmarking suite designed specifically for medical sequential decision making: the Medkit-Learn(ing) Environment, a publicly available Python package providing simple and easy access to high-fidelity synthetic medical data. While providing a standardised way to compare algorithms in a realistic medical setting we employ a generating process that disentangles the policy and environment dynamics to allow for a range of customisations, thus enabling systematic evaluation of algorithms' robustness against specific challenges prevalent in healthcare.


title: Functional inequalities for some generalised Mehler semigroups

abstract: We consider generalised Mehler semigroups and, assuming the existence of an associated invariant measure $\sigma$, we prove functional integral inequalities with respect to $\sigma$, such as logarithmic Sobolev and Poincar\'{e} type. Consequently, some integrability properties of exponential functions with respect to $\sigma$ are deduced.


title: Twisted Conjugacy in Linear Algebraic Groups II

abstract: Let $G$ be a linear algebraic group over an algebraically closed field $k$ and $\mathrm{Aut}_{\mathrm{alg}}(G)$ the group of all algebraic group automorphisms of $G$. For every $\varphi\in \mathrm{Aut}_{\mathrm{alg}}(G)$ let $\mathcal{R}(\varphi)$ denote the set of all orbits of the $\varphi$-twisted conjugacy action of $G$ on itself (given by $(g,x)\mapsto gx\varphi(g^{-1})$, for all $g,x\in G$). We say that $G$ has the algebraic $R_\infty$-property if $\mathcal{R}(\varphi)$ is infinite for every $\varphi\in \mathrm{Aut}_{\mathrm{alg}}(G)$. In \citep{bb} we have shown that this property is satisfied by every connected non-solvable algebraic group. From a theorem due to Steinberg it follows that if a connected algebraic group $G$ has the algebraic $R_\infty$-property, then $G^\varphi$ (the fixed-point subgroup of $G$ under $\varphi$) is infinite for all $\varphi\in \mathrm{Aut}_{\mathrm{alg}}(G)$. In this article we show that the condition is also sufficient. We also show that a Borel subgroup of any semisimple algebraic group has the algebraic $R_\infty$-property and identify certain classes of solvable algebraic groups for which the property fails.


title: Parameter Inference with Bifurcation Diagrams

abstract: Estimation of parameters in differential equation models can be achieved by applying learning algorithms to quantitative time-series data. However, sometimes it is only possible to measure qualitative changes of a system in response to a controlled condition. In dynamical systems theory, such change points are known as bifurcations and lie on a function of the controlled condition called the bifurcation diagram. In this work, we propose a gradient-based approach for inferring the parameters of differential equations that produce a user-specified bifurcation diagram. The cost function contains an error term that is minimal when the model bifurcations match the specified targets and a bifurcation measure which has gradients that push optimisers towards bifurcating parameter regimes. The gradients can be computed without the need to differentiate through the operations of the solver that was used to compute the diagram. We demonstrate parameter inference with minimal models which explore the space of saddle-node and pitchfork diagrams and the genetic toggle switch from synthetic biology. Furthermore, the cost landscape allows us to organise models in terms of topological and geometric equivalence.


title: The consistency strength of determinacy when all sets are universally Baire

abstract: It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson used a generalization of Woodin's derived model construction to show that this conjectured result would be optimal. In this paper we introduce a new translation procedure for hybrid mice extending work of Steel, Zhu and Sargsyan and apply it to prove Sargsyan's conjecture.


title: Trace formulas for Schr\"odinger operators on periodic graphs

abstract: We consider Schr\"odinger operators with periodic potentials on periodic discrete graphs. Their spectrum consists of a finite number of bands. We determine trace formulas for the Schr\"odinger operators. The proof is based on the decomposition of the Schr\"odinger operators into a direct integral and a specific representation of fiber operators. The traces of the fiber operators are expressed as finite Fourier series of the quasimomentum. The coefficients of the Fourier series are given in terms of the potentials and cycles in the quotient graph from some specific cycle sets. We also present the trace formulas for the heat kernel and the resolvent of the Schr\"odinger operators and the determinant formulas.


title: A small-signal description of black phosphorus transistor technologies for high-frequency applications

abstract: This work presents a small-signal high-frequency (HF) equivalent circuit (EC) to model AC performances of black-phosphorous field-effect transistors (BPFETs). The proposed EC is able to describe correctly both the experimental HF intrinsic and extrinsic figures of merit, as well as S-parameters, from different BPFET technologies. Single- and double-stage radio frequency gain amplifiers, are designed at 2.4 GHz using the experimentally-calibrated small-signal BPFET EC. Results show high-gain high-selective BPFET-based amplifiers.


title: Private Counting from Anonymous Messages: Near-Optimal Accuracy with Vanishing Communication Overhead

abstract: Differential privacy (DP) is a formal notion for quantifying the privacy loss of algorithms. Algorithms in the central model of DP achieve high accuracy but make the strongest trust assumptions whereas those in the local DP model make the weakest trust assumptions but incur substantial accuracy loss. The shuffled DP model (Bittau et al., 2017; Erlingsson et al., 2019; Cheu et al., 2019) has recently emerged as a feasible middle ground between the central and local models, providing stronger trust assumptions than the former while promising higher accuracies than the latter. In this paper, we obtain practical communication-efficient algorithms in the shuffled DP model for two basic aggregation primitives used in machine learning: 1) binary summation, and 2) histograms over a moderate number of buckets. Our algorithms achieve accuracy that is arbitrarily close to that of central DP algorithms with an expected communication per user essentially matching what is needed without any privacy constraints! We demonstrate the practicality of our algorithms by experimentally comparing their performance to several widely-used protocols such as Randomized Response (Warner, 1965) and RAPPOR (Erlingsson et al., 2014).


title: Converged Reconfigurable Intelligent Surface and Mobile Edge Computing for Space Information Networks

abstract: Space information networks (SIN) are facing an ever-increasing thirst for high-speed and high-capacity seamless data transmission due to the integration of ground, air, and space communications. However, this imposes a new paradigm on the architecture design of the integrated SIN. Recently, reconfigurable intelligent surfaces (RISs) and mobile edge computing (MEC) are the most promising techniques, conceived to improve communication and computation capability by reconfiguring the wireless propagation environment and offloading. Hence, converging RISs and MEC in SIN is becoming an effort to reap the double benefits of computation and communication. In this article, we propose an RIS-assisted collaborative MEC architecture for SIN and discuss its implementation. Then we present its potential benefits, major challenges, and feasible applications. Subsequently, we study different cases to evaluate the system data rate and latency. Finally, we conclude with a list of open issues in this research area.


title: Expansion, long cycles, and complete minors in supercritical random subgraphs of the hypercube

abstract: Analogous to the case of the binomial random graph $G(d+1,p)$, it is known that the behaviour of a random subgraph of a $d$-dimensional hypercube, where we include each edge independently with probability $p$, which we denote by $Q^d_p$, undergoes a phase transition around the critical value of $p=\frac{1}{d}$. More precisely, standard arguments show that significantly below this value of $p$, with probability tending to one as $d \to \infty$ (whp for short) all components of this graph have order $O(d)$, whereas Ajtai, Koml\'{o}s and Szemer\'{e}di showed that significantly above this value, in the \emph{supercritical regime}, whp there is a unique `giant' component of order $\Theta\left(2^d\right)$. In $G(d+1,p)$ much more is known about the complex structure of the random graph which emerges in this supercritical regime. For example, it is known that in this regime whp $G(d+1,p)$ contains paths and cycles of length $\Omega(d)$, as well as complete minors of order $\Omega\left(\sqrt{d}\right)$. In this paper we obtain analogous results in $Q^d_p$. In particular, we show that for supercritical $p$, i.e., when $p=\frac{1+\epsilon}{d}$ for a positive constant $\epsilon$, whp $Q^d_p$ contains a cycle of length $\Omega\left(\frac{2^d}{d^3(\log d)^3} \right)$ and a complete minor of order $\Omega\left(\frac{2^{\frac{d}{2}}}{d^3(\log d)^3 }\right)$. In order to prove these results, we show that whp the largest component of $Q^d_p$ has good edge-expansion properties, a result of independent interest. We also consider the genus of $Q^d_p$ and show that, in this regime of $p$, whp the genus is $\Omega\left(2^d\right)$.


title: Non-Planck thermal emission from two-level media

abstract: Thermal emission is a universal phenomenon of stochastic electromagnetic emission from an object composed of arbitrary materials at elevated temperatures. A defining feature of this emission is the monotonic and rapid growth of its intensity with the object's temperature for most known materials. This growth originates from the Bose-Einstein statistics of the thermal photonic field. The fact that the material's ability to absorb and emit light may change with temperature, however, is often ignored. Here, we carry out a theoretical study of thermal emission from structures incorporating ensembles of two-level media. We investigate this effect in a range of geometries including thin films and compact nanoparticles, and establish the general dependencies in the evolution of thermal emission from systems including two-level media. Thermal emission from such structures is essentially Non-Planckian and exhibits a universal asymptotic behavior in the limit of high temperatures. These results might have important implications for the design of thermal energy harvesting and thermal vision systems.