title: Chattering analysis of Lipschitz continuous sliding-mode controllers

abstract: Lipschitz continuous sliding-mode controllers (LCSMC) are developed as the integral of discontinuous SMC, producing control signals of finite slope. Nevertheless, LCSMC still generate chattering in the presence of fast parasitic dynamics. In this paper, an analysis of chattering in systems driven by LCSMC is performed using the Harmonic Balance (HB) approach. Two kinds of LCSMC are considered: the first one is based on a linear sliding variable (LSV) and the second one on a terminal switching variable (TSV). Predictions of the amplitude and frequency of self-excited oscillations allowed to compute the average power consumed by the controller, in order to maintain the trajectories into the real sliding mode. A comparison of LCSMC with the Super-Twisting controller (STC), which produce a continuous control signal with infinite slope, is performed. Theoretical predictions and simulation results confirm that LCSMC may induce fast-oscillations (chattering) of smaller amplitude and average power than those ones caused by the STC. But, surprisingly, the chattering generated by LSV-LCSMC could be smaller than that one caused by TSV-LCSMC, when the actuators are fast enough. On the other hand, it tuns that if the sliding dynamics of the LSV-LCSMC closed-loop is of similar speed as the actuators dynamics, the system can loose even practical stability.


title: K3 mirror symmetry, Legendre family and Deligne's conjecture for Fermat quartic

abstract: In this paper, we will study the connections between the mirror symmetry of K3 surfaces and the geometry of the Legendre family of elliptic curves. We will prove that the mirror map of the Dwork family is equal to the period map of the Legendre family. This result provides an interesting explanation to the modularities of counting functions for K3 surfaces from the mirror symmetry point of view. We will also discuss the relations between the arithmetic geometry of smooth fibers of the Fermat pencil (Dwork family) and that of the smooth fibers of the Legendre family, e.g. Shioda-Inose structures, zeta functions, etc. In particular, we will study the relations between the Fermat quartic, which is modular with a weight-3 modular form $\eta(4z)^6$, and the elliptic curve over $\lambda=2$ of the Legendre family, whose weight-2 newform is labeled as \textbf{32.2.a.a} in LMFDB. We will also compute the Deligne's periods of the Fermat quartic, which are given by special values of the theta function $\theta_3$. Then we will numerically verify that they satisfy the predictions of Deligne's conjecture on the special values of $L$-functions of critical motives.


title: Gopala-Hemachandra codes revisited

abstract: Gopala-Hemachandra codes are a variation of the Fibonacci universal code and have applications in cryptography and data compression. We show that $GH_{a}(n)$ codes always exist for $a=-2,-3$ and $-4$ for any integer $n \geq 1$ and hence are universal codes. We develop two new algorithms to determine whether a GH code exists for a given set of parameters $a$ and $n$. In 2010, Basu and Prasad showed experimentally that in the range $1 \leq n \leq 100$ and $1 \leq k \leq 16$, there are at most $k$ consecutive integers for which $GH_{-(4+k)}(n)$ does not exist. We turn their numerical result into a mathematical theorem and show that it is valid well beyond the limited range considered by them.


title: Nonlogarithmic divergence of a deflection angle by a marginally unstable photon sphere of the Damour-Solodukhin wormhole in a strong deflection limit

abstract: Static, spherically symmetric black holes and compact objects without an event horizon have unstable (stable) circular orbits of a light called photon (antiphoton) sphere. A Damour-Solodukhin wormhole has been suggested as a simple black hole mimicker and the difference of its metric tensors from a black hole is described by a dimensionless parameter $\lambda$. The wormhole with two flat regions has two photon spheres and an antiphoton sphere for $\lambda<\sqrt{2}/2$ and a photon sphere for $\lambda \geq \sqrt{2}/2$. When the parameter $\lambda$ is $\sqrt{2}/2$, the photon sphere is marginally unstable because of degeneration of the photon spheres and antiphoton sphere. We investigate gravitational lensing by the wormhole in weak and strong gravitational fields. We find that the deflection angle of a light ray reflected by the marginally unstable photon sphere diverges nonlogarithmically in a strong deflection limit for $\lambda=\sqrt{2}/2$, while the deflection angle reflected by the photon sphere diverges logarithmically for $\lambda \neq \sqrt{2}/2$. We extend a strong deflection limit analysis for the nonlogarithmic divergence case. We expect that our method can be applied for gravitational lenses by marginally unstable photon spheres of various compact objects.


title: On the value-distribution of iterated integrals of the logarithm of the Riemann zeta-function I: denseness

abstract: We consider iterated integrals of $\log\zeta(s)$ on certain vertical and horizontal lines. Here, the function $\zeta(s)$ is the Riemann zeta-function. It is a well known open problem whether or not the values of the Riemann zeta-function on the critical line are dense in the complex plane. In this paper, we give a result for the denseness of the values of the iterated integrals on the horizontal lines. By using this result, we obtain the denseness of the values of $\int_{0}^{t} \log \zeta(1/2 + it')dt'$ under the Riemann Hypothesis. Moreover, we show that, for any $m\geq 2$, the denseness of the values of an $m$-times iterated integral on the critical line is equivalent to the Riemann Hypothesis.


title: Frequency stabilization and tuning of breathing soliton in SiN microresonators

abstract: Dissipative Kerr soliton offers broadband coherent and low-noise frequency comb and stable temporal pulse train, having shown great potential applications in spectroscopy, communications, and metrology. Breathing soliton is a particular dissipative Kerr soliton that the pulse duration and peak intensity show periodic oscillation. However, the noise and stability of the breathing soliton is still remaining unexplored, which would be the main obstacle for future applications. Here, we have investigated the breathing dissipative Kerr solitons in the silicon nitride (SiN) microrings, while the breather period shows uncertainties around MHz in both simulation and experiments. By applying a modulated pump, the breathing frequency can be injectively locked to the modulation and tuned over tens of MHz with frequency noise significantly suppressed. Our demonstration offers an alternative knob for the controlling of soliton dynamics in microresonator and paves a new avenue towards practical applications of breathing soliton.


title: Efficient network immunization under limited knowledge

abstract: Targeted immunization or attacks of large-scale networks has attracted significant attention by the scientific community. However, in real-world scenarios, knowledge and observations of the network may be limited thereby precluding a full assessment of the optimal nodes to immunize (or remove) in order to avoid epidemic spreading such as that of current COVID-19 epidemic. Here, we study a novel immunization strategy where only $n$ nodes are observed at a time and the most central between these $n$ nodes is immunized (or attacked). This process is continued repeatedly until $1-p$ fraction of nodes are immunized (or attacked). We develop an analytical framework for this approach and determine the critical percolation threshold $p_c$ and the size of the giant component $P_{\infty}$ for networks with arbitrary degree distributions $P(k)$. In the limit of $n\to\infty$ we recover prior work on targeted attack, whereas for $n=1$ we recover the known case of random failure. Between these two extremes, we observe that as $n$ increases, $p_c$ increases quickly towards its optimal value under targeted immunization (attack) with complete information. In particular, we find a new scaling relationship between $|p_c(\infty)-p_c(n)|$ and $n$ as $|p_c(\infty)-p_c(n)|\sim n^{-1}\exp(-\alpha n)$. For Scale-free (SF) networks, where $P(k)\sim k^{-\gamma}, 2<\gamma<3$, we find that $p_c$ has a transition from zero to non-zero when $n$ increases from $n=1$ to order of $\log N$ ($N$ is the size of network). Thus, for SF networks, knowledge of order of $\log N$ nodes and immunizing them can reduce dramatically an epidemics.


title: Non-minimal Coupling from Consistency Requirements for a Localization Operator

abstract: Requiring both that a proposed localization-density operator be linear in quantum theory and that its expectation value be covariant leads to addition of terms in the Hamiltonian, coupling a scalar field to a connection on the vector-density bundle. This would appear to implicate spacetime geometry in the scalar's dynamics to a greater degree than what is prescribed by minimal coupling.


title: Approximate Selection with Guarantees using Proxies

abstract: Due to the falling costs of data acquisition and storage, researchers and industry analysts often want to find all instances of rare events in large datasets. For instance, scientists can cheaply capture thousands of hours of video, but are limited by the need to manually inspect long videos to identify relevant objects and events. To reduce this cost, recent work proposes to use cheap proxy models, such as image classifiers, to identify an approximate set of data points satisfying a data selection filter. Unfortunately, this recent work does not provide the statistical accuracy guarantees necessary in scientific and production settings. In this work, we introduce novel algorithms for approximate selection queries with statistical accuracy guarantees. Namely, given a limited number of exact identifications from an oracle, often a human or an expensive machine learning model, our algorithms meet a minimum precision or recall target with high probability. In contrast, existing approaches can catastrophically fail in satisfying these recall and precision targets. We show that our algorithms can improve query result quality by up to 30x for both the precision and recall targets in both real and synthetic datasets.


title: Equivariant Filter Design for Kinematic Systems on Lie Groups

abstract: It is known that invariance and equivariance properties for systems on Lie groups can be exploited in the design of high performance and robust observers and filters for real-world robotic systems. This paper proposes an analysis framework that allows any kinematic system on a Lie group to be embedded in a natural manner into an equivariant kinematic system. This framework allows us to characterise the properties of, and relationships between, invariant systems, group affine systems, and equivariant systems. We propose a new filter design, the Equivariant Filter (EqF), that exploits the equivariance properties of the system embedding and can be applied to any kinematic system on a Lie group.


title: A uniqueness result for a simple superlinear eigenvalue problem

abstract: We study the eigenvalue problem for a superlinear convolution operator in the special case of bilinear constitutive laws and establish the existence and uniqueness of a one-parameter family of nonlinear eigenfunctions under a topological shape constraint. Our proof uses a nonlinear change of scalar parameters and applies Krein-Rutmann arguments to a linear substitute problem. We also present numerical simulations and discuss the asymptotics of two limiting cases.


title: Tracking by Instance Detection: A Meta-Learning Approach

abstract: We consider the tracking problem as a special type of object detection problem, which we call instance detection. With proper initialization, a detector can be quickly converted into a tracker by learning the new instance from a single image. We find that model-agnostic meta-learning (MAML) offers a strategy to initialize the detector that satisfies our needs. We propose a principled three-step approach to build a high-performance tracker. First, pick any modern object detector trained with gradient descent. Second, conduct offline training (or initialization) with MAML. Third, perform domain adaptation using the initial frame. We follow this procedure to build two trackers, named Retina-MAML and FCOS-MAML, based on two modern detectors RetinaNet and FCOS. Evaluations on four benchmarks show that both trackers are competitive against state-of-the-art trackers. On OTB-100, Retina-MAML achieves the highest ever AUC of 0.712. On TrackingNet, FCOS-MAML ranks the first on the leader board with an AUC of 0.757 and the normalized precision of 0.822. Both trackers run in real-time at 40 FPS.


title: Improving 3D Object Detection through Progressive Population Based Augmentation

abstract: Data augmentation has been widely adopted for object detection in 3D point clouds. However, all previous related efforts have focused on manually designing specific data augmentation methods for individual architectures. In this work, we present the first attempt to automate the design of data augmentation policies for 3D object detection. We introduce the Progressive Population Based Augmentation (PPBA) algorithm, which learns to optimize augmentation strategies by narrowing down the search space and adopting the best parameters discovered in previous iterations. On the KITTI 3D detection test set, PPBA improves the StarNet detector by substantial margins on the moderate difficulty category of cars, pedestrians, and cyclists, outperforming all current state-of-the-art single-stage detection models. Additional experiments on the Waymo Open Dataset indicate that PPBA continues to effectively improve the StarNet and PointPillars detectors on a 20x larger dataset compared to KITTI. The magnitude of the improvements may be comparable to advances in 3D perception architectures and the gains come without an incurred cost at inference time. In subsequent experiments, we find that PPBA may be up to 10x more data efficient than baseline 3D detection models without augmentation, highlighting that 3D detection models may achieve competitive accuracy with far fewer labeled examples.


title: Shock Waves in a Superfluid with Higher-Order Dispersion

abstract: Higher-order dispersion can lead to intriguing dynamics that are becoming a focus of modern hydrodynamics research. Such systems occur naturally, for example in shallow water waves and nonlinear optics, for which several types of novel dispersive shocks structures have been identified. Here we introduce ultracold atoms as a tunable quantum simulations platform for higher-order systems. Degenerate quantum gases are well controlled model systems for the experimental study of dispersive hydrodynamics in superfluids and have been used to investigate phenomena such as vortices, solitons, dispersive shock waves and quantum turbulence. With the advent of Raman-induced spin-orbit coupling, the dispersion of a dilute gas Bose-Einstein condensate can be modified in a flexible way, allowing for detailed investigations of higher-order dispersion dynamics. Here we present a combined experimental and theoretical study of shock structures generated in such a system. The breaking of Galilean invariance by the spin-orbit coupling allows two different types of shock structures to emerge simultaneously in a single system. Numerical simulations suggest that the behavior of these shock structures is affected by interactions with vortices in a manner reminiscent of emerging viscous hydrodynamics due to an underlying quantum turbulence in the system. This result suggests that spin-orbit coupling can be used as a powerful means to tun the effective viscosity in cold-atom experiments serving as quantum simulators of turbulent hydrodynamics, with applications from condensed matter and optics to quantum simulations of neutron stars.


title: Efficient Online Classification and Tracking on Resource-constrained IoT Devices

abstract: Timely processing has been increasingly required on smart IoT devices, which leads to directly implementing information processing tasks on an IoT device for bandwidth savings and privacy assurance. Particularly, monitoring and tracking the observed signals in continuous form are common tasks for a variety of near real-time processing IoT devices, such as in smart homes, body-area and environmental sensing applications. However, these systems are likely low-cost resource-constrained embedded systems, equipped with compact memory space, whereby the ability to store the full information state of continuous signals is limited. Hence, in this paper, we develop solutions of efficient timely processing embedded systems for online classification and tracking of continuous signals with compact memory space. Particularly, we focus on the application of smart plugs that are capable of timely classification of appliance types and tracking of appliance behavior in a standalone manner. We implemented a smart plug prototype using low-cost Arduino platform with small amount of memory space to demonstrate the following timely processing operations: (1) learning and classifying the patterns associated with the continuous power consumption signals, and (2) tracking the occurrences of signal patterns using small local memory space. Furthermore, our system designs are also sufficiently generic for timely monitoring and tracking applications in other resource-constrained IoT devices.


title: Inference of population genetic parameters with a biallelic mutation drift model using the coalescent, diffusion with orthogonal polynomials, and the Moran model

abstract: In population genetics, extant samples are usually used for inference of past population genetic forces. With the Kingman coalescent and the backward diffusion equation, inference of the marginal likelihood proceeds from an extant sample backward in time. Conditional on an extant sample, the Moran model can also be used backward in time with identical results, up to a scaling of time. In particular, all three approaches -- the coalescent, the backward diffusion, and the Moran model -- lead to the identical marginal likelihood of the sample. If probabilities of ancestral states are also inferred, either of discrete ancestral allele particle configurations, as in the coalescent, or of ancestral population allele proportions, as in the backward diffusion, the backward algorithm needs to be combined with the corresponding forward algorithm to the forward-backward algorithm. Generally orthogonal polynomials, solving the diffusion equation, are numerically simpler than the other approaches: they implicitly sum over many intermediate ancestral particle configurations; furthermore, while the Moran model requires iterative matrix multiplication with a transition matrix of a dimension of the population size squared, expansion of the polynomials is only necessary up to the sample size. For discrete samples, forward-in-time moving pure birth processes similar to the Polya- or Hoppe-urn models complement the backward-looking coalescent. Because, the sample size is a random variable forward in time, pure-birth processes are unsuited to model population demography given extant samples. With orthogonal polynomials, however, not only ancestral allele proportions but also probabilities of ancestral particle configurations can be calculated easily. Assuming only mutation and drift, the use of orthogonal polynomials is numerically advantageous over alternative strategies.


title: Adversarial Reinforcement Learning-based Robust Access Point Coordination Against Uncoordinated Interference

abstract: This paper proposes a robust adversarial reinforcement learning (RARL)-based multi-access point (AP) coordination method that is robust even against unexpected decentralized operations of uncoordinated APs. Multi-AP coordination is a promising technique towards IEEE 802.11be, and there are studies that use RL for multi-AP coordination. Indeed, a simple RL-based multi-AP coordination method diminishes the collision probability among the APs; therefore, the method is a promising approach to improve time-resource efficiency. However, this method is vulnerable to frame transmissions of uncoordinated APs that are less aware of frame transmissions of other coordinated APs. To help the central agent experience even such unexpected frame transmissions, in addition to the central agent, the proposed method also competitively trains an adversarial AP that disturbs coordinated APs by causing frame collisions intensively. Besides, we propose to exploit a history of frame losses of a coordinated AP to promote reasonable competition between the central agent and adversarial AP. The simulation results indicate that the proposed method can avoid uncoordinated interference and thereby improve the minimum sum of the throughputs in the system compared to not considering the uncoordinated AP.


title: The effect of hydrodynamics alone on the subhalo population in a $\Lambda$CDM rich cluster sized dark matter halo

abstract: We perform a set of non-radiative hydro-dynamical (NHD) simulations of a rich cluster sized dark matter halo from the Phoenix project with 3 different numerical resolutions, to investigate the effect of hydrodynamics alone on the subhalo population in the halo. Compared to dark matter only (DMO) simulations of the same halo, subhaloes are less abundant for relatively massive subhaloes ($M_{sub} > 2.5 \times 10^9h^{-1}M_{\odot}$, or $V_{max} > 70 kms^{-1}$) but more abundant for less massive subhaloes in the NHD simulations. This results in different shapes in the subhalo mass/$V_{max}$ function in two different sets of simulations. At given subhalo mass, the subhaloes less massive than $10^{10} h^{-1}M_{\odot}$ have larger $V_{max}$ in the NHD than DMO simulations, while $V_{max}$ is similar for the subhaloes more massive than the mass value. This is mainly because the progenitors of present day low mass subhaloes have larger concentration parameters in the NHD than DMO simulations. The survival number fraction of the accreted low mass progenitors of the main halo at redshift 2 is about 50 percent higher in the NHD than DMO simulations.


title: Distributed Mirror Descent for Online Composite Optimization

abstract: In this paper, we consider an online distributed composite optimization problem over a time-varying multi-agent network that consists of multiple interacting nodes, where the objective function of each node consists of two parts: a loss function that changes over time and a regularization function. This problem naturally arises in many real-world applications ranging from wireless sensor networks to signal processing. We propose a class of online distributed optimization algorithms that are based on approximate mirror descent, which utilize the Bregman divergence as distance-measuring function that includes the Euclidean distances as a special case. We consider two standard information feedback models when designing the algorithms, that is, full-information feedback and bandit feedback. For the full-information feedback model, the first algorithm attains an average regularized regret of order $\mathcal{O}(1/\sqrt{T})$ with the total number of rounds $T$. The second algorithm, which only requires the information of the values of the loss function at two predicted points instead of the gradient information, achieves the same average regularized regret as that of the first algorithm. Simulation results of a distributed online regularized linear regression problem are provided to illustrate the performance of the proposed algorithms.


title: Boolean polynomial expression of the discrete average on the space of rhythms

abstract: An infinite family of Boolean polynomials which correspond to the discrete average maps, defined in [2], is constructed and their algebraic and combinatorial properties are investigated. They turn out to be balanced, and some recurrence formulas among them are derived.


title: The Optimal and the Greedy: Drone Association and Positioning Schemes for Internet of UAVs

abstract: This work considers the deployment of unmanned aerial vehicles (UAVs) over a predefined area to serve a number of ground users. Due to the heterogeneous nature of the network,the UAVs may cause severe interference to the transmissions of each other. Hence, a judicious design of the user-UAV association and UAV locations is desired. A potential game is defined where the players are the UAVs. The potential function is the total sum-rate of the users. The agents utility in the potential games is their marginal contribution to the global welfare or their so-called wonderful life utility. A game-theoretic learning algorithm, binary log-linear learning (BLLL), is then applied to the problem. Given the potential game structure, a consequence of our utility design, the stochastically stable states using BLLL are guaranteed to be the potential maximizers. Hence, we optimally solve the user-UAV association and 3D-location problem. Next, we exploit the sub-modular features of the sum rate function for a given configuration of UAVs to design an efficient greedy algorithm. Despite the simplicity of the greedy algorithm, it comes with a guaranteed performance of $1-1/e$ of the optimal solution. To further reduce the number of iterations, we propose another heuristic greedy algorithm that provides very good results. Our simulations show that, in practice, the proposed greedy approaches achieve significant performance in a few number of iterations.


title: On a generalization of the cyclic sum formula for finite multiple zeta and zeta-star values

abstract: The cyclic sum formulas for multiple zeta and zeta-star values were respectively proved by Hoffman and Ohno, and Ohno and Wakabayashi. Kawasaki and Oyama obtained an analogous formulas for finite multiple zeta and zeta-star values. In this paper, we give a generalization of Kawasaki and Oyama's results.


title: Exact Results in AdS4/CFT3

abstract: I review recent results concerning the construction of generalised "latitude" Wilson loops in ABJM theory. In particular, the parametric Matrix Model determining these operators exactly is presented, as well as the exact prescription for computing different types of Bremsstrahlung functions from circular Wilson loops. In this context the physical meaning of framing in non-topological three-dimensional theories is clarified.


title: Second-Order Perturbation in Adaptive Perturbation Method

abstract: The perturbation method is an approximation scheme with a solvable leading order. The standard way is to choose a non-interacting sector for the leading order. The adaptive perturbation method improves the solvable part by using all diagonal elements for a Fock state. We consider the harmonic oscillator with the interacting term, $\lambda_1x^4/6+\lambda_2x^6/120$, where $\lambda_1$ and $\lambda_2$ are coupling constants, and $x$ is the position operator. The spectrum shows a quantitative result from the second-order, less than 1 percent error, compared to a numerical solution when turning off the $\lambda_2$. When we turn on the $\lambda_2$, more deviation occurs, but the error is still less than 2 percent. We show a quantitative result beyond a weak-coupling region. Our study should provide interest in the holographic principle and strongly coupled boundary theory.


title: Robust Single-Image Super-Resolution via CNNs and TV-TV Minimization

abstract: Single-image super-resolution is the process of increasing the resolution of an image, obtaining a high-resolution (HR) image from a low-resolution (LR) one. By leveraging large training datasets, convolutional neural networks (CNNs) currently achieve the state-of-the-art performance in this task. Yet, during testing/deployment, they fail to enforce consistency between the HR and LR images: if we downsample the output HR image, it never matches its LR input. Based on this observation, we propose to post-process the CNN outputs with an optimization problem that we call TV-TV minimization, which enforces consistency. As our extensive experiments show, such post-processing not only improves the quality of the images, in terms of PSNR and SSIM, but also makes the super-resolution task robust to operator mismatch, i.e., when the true downsampling operator is different from the one used to create the training dataset.


title: IoT-Flock: An Open-source Framework for IoT Traffic Generation

abstract: Network traffic generation is one of the primary techniques that is used to design and analyze the performance of network security systems. However, due to the diversity of IoT networks in terms of devices, applications and protocols, the traditional network traffic generator tools are unable to generate the IoT specific protocols traffic. Hence, the traditional traffic generator tools cannot be used for designing and testing the performance of IoT-specific security solutions. In order to design an IoT-based traffic generation framework, two main challenges include IoT device modelling and generating the IoT normal and attack traffic simultaneously. Therefore, in this work, we propose an open-source framework for IoT traffic generation which supports the two widely used IoT application layer protocols, i.e., MQTT and CoAP. The proposed framework allows a user to create an IoT use case, add customized IoT devices into it and generate normal and malicious IoT traffic over a real-time network. Furthermore, we set up a real-time IoT smart home use case to manifest the applicability of the proposed framework for developing the security solutions for IoT smart home by emulating the real world IoT devices. The experimental results demonstrate that the proposed framework can be effectively used to develop better security solutions for IoT networks without physically deploying the real-time use case.


title: Occlusion-Aware Depth Estimation with Adaptive Normal Constraints

abstract: We present a new learning-based method for multi-frame depth estimation from a color video, which is a fundamental problem in scene understanding, robot navigation or handheld 3D reconstruction. While recent learning-based methods estimate depth at high accuracy, 3D point clouds exported from their depth maps often fail to preserve important geometric feature (e.g., corners, edges, planes) of man-made scenes. Widely-used pixel-wise depth errors do not specifically penalize inconsistency on these features. These inaccuracies are particularly severe when subsequent depth reconstructions are accumulated in an attempt to scan a full environment with man-made objects with this kind of features. Our depth estimation algorithm therefore introduces a Combined Normal Map (CNM) constraint, which is designed to better preserve high-curvature features and global planar regions. In order to further improve the depth estimation accuracy, we introduce a new occlusion-aware strategy that aggregates initial depth predictions from multiple adjacent views into one final depth map and one occlusion probability map for the current reference view. Our method outperforms the state-of-the-art in terms of depth estimation accuracy, and preserves essential geometric features of man-made indoor scenes much better than other algorithms.


title: Equation of state constraints from the threshold binary mass for prompt collapse of neutron star mergers

abstract: Using hydrodynamical simulations for a large set of high-density matter equations of state (EoSs) we systematically determine the threshold mass M_thres for prompt black-hole formation in equal-mass and asymmetric neutron star (NS) mergers. We devise the so far most direct, general and accurate method to determine the unknown maximum mass of nonrotating NSs from merger observations revealing M_thres. Considering hybrid EoSs with hadron-quark phase transition, we identify a new, observable signature of quark matter in NS mergers. Furthermore, our findings have direct applications in gravitational wave searches, kilonova interpretations and multi-messenger constraints on NS properties.


title: FLASH Early Science -- Discovery of an intervening HI 21-cm absorber from an ASKAP survey of the GAMA 23 field

abstract: We present early science results from the First Large Absorption Survey in HI (FLASH), a spectroscopically blind survey for 21-cm absorption lines in cold hydrogen HI gas at cosmological distances using the Australian Square Kilometre Array Pathfinder (ASKAP). We have searched for HI absorption towards 1253 radio sources in the GAMA 23 field, covering redshifts between $z = 0.34$ and $0.79$ over a sky area of approximately 50 deg$^{2}$. In a purely blind search we did not obtain any detections of 21-cm absorbers above our reliability threshold. Assuming a fiducial value for the HI spin temperature of $T_{\rm spin}$ = 100 K and source covering fraction $c_{\rm f} = 1$, the total comoving absorption path length sensitive to all Damped Lyman $\alpha$ Absorbers (DLAs; $N_{\rm HI} \geq 2 \times 10^{20}$ cm$^{-2}$) is $\Delta{X} = 6.6 \pm 0.3$ ($\Delta{z} = 3.7 \pm 0.2$) and super-DLAs ($N_{\rm HI} \geq 2 \times 10^{21}$ cm$^{-2}$) is $\Delta{X} = 111 \pm 6$ ($\Delta{z} = 63 \pm 3$). We estimate upper limits on the HI column density frequency distribution function that are consistent with measurements from prior surveys for redshifted optical DLAs, and nearby 21-cm emission and absorption. By cross matching our sample of radio sources with optical spectroscopic identifications of galaxies in the GAMA 23 field, we were able to detect 21-cm absorption at $z = 0.3562$ towards NVSS J224500$-$343030, with a column density of $N_{\rm HI} = (1.2 \pm 0.1) \times 10^{20} (T_{\rm spin}/100~\mathrm{K})$ cm$^{-2}$. The absorber is associated with GAMA J22450.05$-$343031.7, a massive early-type galaxy at an impact parameter of 17 kpc with respect to the radio source and which may contain a massive ($M_{\rm HI} \gtrsim 3 \times 10^{9}$ M$_{\odot}$) gas disc. Such gas-rich early types are rare, but have been detected in the nearby Universe.


title: Probing the magnetospheric accretion region of the young pre-transitional disk system DoAr 44 using VLTI/GRAVITY

abstract: Young stellar objects are thought to accrete material from their circumstellar disks through their strong stellar magnetospheres. We aim to directly probe the magnetospheric accretion region on a scale of a few 0.01 au in a young stellar system using long-baseline optical interferometry. We observed the pre-transitional disk system DoAr 44 with VLTI/GRAVITY on two consecutive nights in the K-band. We computed interferometric visibilities and phases in the continuum and in the BrG line in order to constrain the extent and geometry of the emitting regions. We resolve the continuum emission of the inner dusty disk and measure a half-flux radius of 0.14 au. We derive the inclination and position angle of the inner disk, which provides direct evidence that the inner and outer disks are misaligned in this pre-transitional system. This may account for the shadows previously detected in the outer disk. We show that BrG emission arises from an even more compact region than the inner disk, with an upper limit of 0.047 au (5 Rstar). Differential phase measurements between the BrG line and the continuum allow us to measure the astrometric displacement of the BrG line-emitting region relative to the continuum on a scale of a few tens of microarcsec, corresponding to a fraction of the stellar radius. Our results can be accounted for by a simple geometric model where the BrG line emission arises from a compact region interior to the inner disk edge, on a scale of a few stellar radii, fully consistent with the concept of magnetospheric accretion process in low-mass young stellar systems.


title: Pixel-BERT: Aligning Image Pixels with Text by Deep Multi-Modal Transformers

abstract: We propose Pixel-BERT to align image pixels with text by deep multi-modal transformers that jointly learn visual and language embedding in a unified end-to-end framework. We aim to build a more accurate and thorough connection between image pixels and language semantics directly from image and sentence pairs instead of using region-based image features as the most recent vision and language tasks. Our Pixel-BERT which aligns semantic connection in pixel and text level solves the limitation of task-specific visual representation for vision and language tasks. It also relieves the cost of bounding box annotations and overcomes the unbalance between semantic labels in visual task and language semantic. To provide a better representation for down-stream tasks, we pre-train a universal end-to-end model with image and sentence pairs from Visual Genome dataset and MS-COCO dataset. We propose to use a random pixel sampling mechanism to enhance the robustness of visual representation and to apply the Masked Language Model and Image-Text Matching as pre-training tasks. Extensive experiments on downstream tasks with our pre-trained model show that our approach makes the most state-of-the-arts in downstream tasks, including Visual Question Answering (VQA), image-text retrieval, Natural Language for Visual Reasoning for Real (NLVR). Particularly, we boost the performance of a single model in VQA task by 2.17 points compared with SOTA under fair comparison.


title: Learning control for polynomial systems using sum of squares relaxations

abstract: This paper considers the problem of learning control laws for nonlinear polynomial systems directly from the data, which are input-output measurements collected in an experiment over a finite time period. Without explicitly identifying the system dynamics, stabilizing laws are directly designed for nonlinear polynomial systems using experimental data alone. By using data-based sum of square programming, the stabilizing state-dependent control gains can be constructed.


title: Versatile systems for characterization of large-area silicon pad sensors for highly-granular calorimetry

abstract: High-granularity calorimeters utilizing silicon pad sensors as main active material are being designed for the CMS endcap calorimeter upgrade and have been proposed for the electromagnetic calorimeters at CLIC, ILC and FCC-ee. The silicon sensors in such experiments are foreseen to cover a very large area of O(1000 $\mathrm{m^2}$). They are typically produced from 6- or 8-inch wafers and consist of a few hundred smaller cells, each with an area of O(0.1 to 1.1 $\mathrm{cm^2}$). Currently the CMS endcap calorimeter upgrade is in a prototyping phase with the aim of choosing the final sensor design. Flexible systems are needed for quick sensor characterization as close as possible to operating conditions, for testing different prototypes and for quality control during mass production. The ARRAY system consists of an active switching matrix PCB with 512 input channels and a passive probe card specific for each sensor layout prototype. The probe card makes contact with each individual pad through spring-loaded pins. ARRAY is designed to measure the leakage current and capacitance per-cell for different bias voltages, keeping the entire sensor area under bias. The Hexaboard probe card follows a similar principle: readout electronics foreseen to be used in the final CMS detector are mounted on a PCB that makes contact with the sensor through spring-loaded pins. It is used to perform noise and charge collection efficiency measurements with irradiated sensors without the need for module assembly. We present the design of the ARRAY and Hexaboard systems as well as measurements performed on different CMS prototype silicon sensors. We also compare the results with alternative multi-needle setups.


title: Spatiotemporal analysis of urban heatwaves using Tukey g-and-h random field models

abstract: The statistical quantification of temperature processes for the analysis of urban heat island (UHI) effects and local heat-waves is an increasingly important application domain in smart city dynamic modelling. This leads to the increased importance of real-time heatwave risk management on a fine-grained spatial resolution. This study attempts to analyze and develop new methods for modelling the spatio-temporal behavior of ground temperatures. The developed models consider higher-order stochastic spatial properties such as skewness and kurtosis, which are key components for understanding and describing local temperature fluctuations and UHI's. The developed models are applied to the greater Tokyo metropolitan area for a detailed real-world data case study. The analysis also demonstrates how to statistically incorporate a variety of real data sets. This includes remotely sensed imagery and a variety of ground-based monitoring site data to build models linking city and urban covariates to air temperature. The air temperature models are then used to capture high-resolution spatial emulator outputs for ground surface temperature modelling. The main class of processes studied includes the Tukey g-and-h processes for capturing spatial and temporal aspects of heat processes in urban environments.


title: 6G: Connecting Everything by 1000 Times Price Reduction

abstract: The commercial deployment of 5G communication networks makes the industry and academia to seriously consider the possible solutions for the next generation. Although the conventional approach indicates that 6G vision and requirements can be figured out by simply multiplying a certain amount of magnitude on top of the previous generations, we argue in this article that 1000 times price reduction from the customer's view point is the key to success. Guided by this vision, we categorize the current candidate technologies in a well organized manner and select AI-assisted intelligent communications as an example to elaborate the drive-force behind. Although it is impossible to identify every detail of 6G during the current time frame, we believe this article will help to eliminate the technical uncertainties and aggregate the efforts towards key breakthrough innovations for 6G.


title: Multiplication operator on the Bergman space by a proper holomorphic map

abstract: Suppose that $f := (f_1,\ldots,f_d):\Omega_1\to\Omega_2$ is a proper holomorphic map between two bounded domains in $\mathbb C^d.$ In this paper, we find a non-trivial minimal joint reducing subspace for the multiplication operator (tuple) $M_f=(M_{f_1},\ldots, M_{f_d})$ on the Bergman space $\mathbb A^2(\Omega_1)$, say $\mathcal M.$ We further show that the restriction of $(M_{f_1},\ldots,M_{f_d})$ to $\mathcal M$ is unitarily equivalent to Bergman operator on $\mathbb A^2(\Omega_2).$


title: Variation Pattern Classification of Functional Data

abstract: A new classification method for functional data is proposed in this paper. This work is motivated by the need to identify features that discriminate between neurological conditions on which local field potentials (LFPs) were recorded. Regardless of the condition, these local field potentials have zero mean and thus the first moments of these random processes do not have discriminating power. We propose the variation pattern classification (VPC) method {which employs the (auto-)covariance operators as the discriminating features} and uses the Hilbert-Schmidt norm to measure the discrepancy between the (auto-)covariance operators of different groups. The proposed VPC method is demonstrated to be sensitive to the discrepancy, {potentially leading to a higher rate of classification}. One important innovation lies in the dimension reduction where the VPC method data-adaptively determines the basis functions (discriminative feature functions) that account for the major discrepancy. In addition, the selected discriminative feature functions provide insights on the discrepancy between different groups because they reveal the features of variation pattern that differentiate groups. Consistency properties are established and, furthermore, simulation studies and the analysis of rat brain LFP trajectories empirically demonstrate the advantages and effectiveness of the proposed method.


title: Correlation between Fermi surface reconstruction and superconductivity in pressurized FeTe0.55Se0.45

abstract: Here we report the first results of the high-pressure Hall coefficient (RH) measurements, combined with the high-pressure resistance measurements, at different temperatures on the putative topological superconductor FeTe0.55Se0.45. We find the intimate correlation of sign change of RH, a fingerprint to manifest the reconstruction of Fermi surface, with structural phase transition and superconductivity. Below the critical pressure (PC) of 2.7 GPa, our data reveal that the hole - electron carriers are thermally balanced (RH=0) at a critical temperature (T*), where RH changes its sign from positive to negative, and concurrently a tetragonal-orthorhombic phase transition takes place. Within the pressure range from 1bar to PC, T* is continuously suppressed by pressure, while TC increases monotonically. At about PC, T* is indistinguishable and TC reaches a maximum value. Moreover, a pressure-induced sign change of RH is found at ~PC where the orthorhombic-monoclinic phase transition occurs. With further compression, TC decreases and disappears at ~ 12 GPa. The correlation among the electron-hole balance, crystal structure and superconductivity found in the pressurized FeTe0.55Se0.45 implies that its nontrivial superconductivity is closely associated with its exotic normal state resulted from the interplay between the reconstruction of the Fermi surface and the change of the structural lattice.


title: Average Reward Adjusted Discounted Reinforcement Learning: Near-Blackwell-Optimal Policies for Real-World Applications

abstract: Although in recent years reinforcement learning has become very popular the number of successful applications to different kinds of operations research problems is rather scarce. Reinforcement learning is based on the well-studied dynamic programming technique and thus also aims at finding the best stationary policy for a given Markov Decision Process, but in contrast does not require any model knowledge. The policy is assessed solely on consecutive states (or state-action pairs), which are observed while an agent explores the solution space. The contributions of this paper are manifold. First we provide deep theoretical insights to the widely applied standard discounted reinforcement learning framework, which give rise to the understanding of why these algorithms are inappropriate when permanently provided with non-zero rewards, such as costs or profit. Second, we establish a novel near-Blackwell-optimal reinforcement learning algorithm. In contrary to former method it assesses the average reward per step separately and thus prevents the incautious combination of different types of state values. Thereby, the Laurent Series expansion of the discounted state values forms the foundation for this development and also provides the connection between the two approaches. Finally, we prove the viability of our algorithm on a challenging problem set, which includes a well-studied M/M/1 admission control queuing system. In contrast to standard discounted reinforcement learning our algorithm infers the optimal policy on all tested problems. The insights are that in the operations research domain machine learning techniques have to be adapted and advanced to successfully apply these methods in our settings.


title: Projection Neural Network for a Class of Sparse Regression Problems with Cardinality Penalty

abstract: In this paper, we consider a class of sparse regression problems, whose objective function is the summation of a convex loss function and a cardinality penalty. By constructing a smoothing function for the cardinality function, we propose a projected neural network and design a correction method for solving this problem. The solution of the proposed neural network is unique, global existent, bounded and globally Lipschitz continuous. Besides, we prove that all accumulation points of the proposed neural network have a common support set and a unified lower bound for the nonzero entries. Combining the proposed neural network with the correction method, any corrected accumulation point is a local minimizer of the considered sparse regression problem. Moreover, we analyze the equivalent relationship on the local minimizers between the considered sparse regression problem and another regression sparse problem. Finally, some numerical experiments are provided to show the efficiency of the proposed neural networks in solving some sparse regression problems in practice.


title: Adiabatic Heuristic Principle on a Torus and Generalized Streda Formula

abstract: Although the adiabatic heuristic argument of the fractional quantum Hall states has been successful, continuous modification of the flux/statistics of anyons is strictly prohibited due to algebraic constrains of the braid group on a torus. We have numerically shown that the adiabatic heuristic principle for anyons is still valid even though the Hamiltonians cannot be modified continuously. The Chern number of the ground state multiplet is the adiabatic invariant, while the number of the topological degeneracy behaves wildly. A generalized Streda formula is proposed that explains the degeneracy pattern. Nambu-Goldston modes associated with the anyon superconductivity are also suggested numerically.


title: Sampled-Data Control Based Consensus of Fractional-Order Multi-Agent Systems

abstract: In this paper, we investigate consensus control of fractional-order multi-agent systems with order in (0,1) via sampled-data control. A new scheme to design distributed controllers with rigorous analysis is presented by utilizing the unique properties of fractional-order calculus, namely hereditary and infinite memory. It is established that global boundedness of all closed-loop signals is ensured and asymptotic consensus is realized. Simulation studies are conducted to illustrate the effectiveness of the proposed control method and verify the obtained results.


title: Effects of massive gravity on $p$-wave holographic superconductor

abstract: In this paper, we have analytically investigated $p$-wave holographic superconductor in the framework of massive gravity in the probe limit. We obtained the analytical expressions for the critical temperature, the value of the condensate operator, and the difference of the free energy between the superconductor and normal phases. We studied the behavior of these quantities in the presence of the mass of graviton, which is found to be dependent almost on the sign of the massive gravity couplings. The critical temperature becomes (lower)higher and the condensate value gets (larger)smaller with (decreasing)increasing the massive gravity couplings or increasing the mass of graviton with the sufficiently (negative)positive massive gravity couplings. This fact corresponds to that the superconductor phase is (more)less thermodynamically favored.


title: Enabling End-Users to Deploy Flexible Human-Robot Teams to Factories of the Future

abstract: Human-Robot Teams offer the flexibility needed for partial automation in small and medium-sized enterprises (SMEs). They will thus be an integral part of Factories of the Future. Our research targets a particularly flexible teaming mode, where agents share tasks dynamically. Such approaches require cognitive robots with reasoning and sensing capabilities. This results in hardware maintenance demands in terms of sensor calibration. In contrast to intuitive end-user programming, system setup and maintenance are rarely addressed in literature on robot application in SMEs. In this paper, we describe a prototype software toolchain that covers the initial setup, task modelling, and online operation of human-robot teams. We further show, that end-users can setup the system quickly and operate the whole toolchain effortlessly. All in all, this work aims to reduce the concern, that deploying human-robot teams comes with high costs for external expertise.


title: First Structure Formation under the Influence of Gas-Dark Matter Streaming Velocity and Density: Impact of the Baryons-trace-dark matter Approximation

abstract: The impact of the streaming between baryons and dark matter on the first structures has been actively explored by recent studies. We investigate how the key results are affected by two popular approximations. One is to implement the streaming by accounting for only the relative motion while assuming ``baryons trace dark matter" spatially at the initialization of simulation. This neglects the smoothing on the gas density taking place before the initialization. In our simulation initialized at $z_i=200$, it overestimates the gas density power spectrum by up to 40\% at $k\approx10^2~h~\mbox{Mpc}^{-1}$ at $z=20$. Halo mass ($M_h$) and baryonic fraction in halos ($f_{b,h}$) are also overestimated, but the relation between the two remains unchanged. The other approximation tested is to artificially amplify the density/velocity fluctuations in the cosmic mean density to simulate the first minihalos that form in overdense regions. This gives a head start to the halo growth while the subsequent growth is similar to that in the mean density. The growth in a true overdense region, on the other hand, is accelerated gradually in time. For example, raising $\sigma_8$ by 50\% effectively transforms $z\rightarrow\sqrt{1.5}z$ in the halo mass growth history while in 2-$\sigma$ overdensity, the growth is accelerated by a constant in redshift: $z\rightarrow{z+4.8}$. As a result, halos have grown more in the former than in the latter before $z\approx27$ and vice versa after. The $f_{b,h}$-$M_h$ relation is unchanged in those cases as well, suggesting that the Pop III formation rate for a given $M_h$ is insensitive to the tested approximations.


title: Local gravity test of unified models of inflation and dark energy in $f(R)$ gravity

abstract: We consider $f(R)$ gravity theories which unify $R^n$ inflation and dark energy models. First, from the final Planck data of the cosmic microwave background, we obtain a condition, $1.977 < n < 2.003$. Next, under this constraint, we investigate local-gravity tests for three models. We find that the $R^n$ term can dominate over the dark energy term even at the Earth's curvature scale, contrary to intuition; however, the $R^n$ term does not relax or tighten the constraints on the three models.


title: A reconfigurable robot workcell for quick set-up of assembly processes

abstract: High volume production has been a prerequisite in order to invest into automation of the manufacturing process for decades. The high cost of setup and the inflexibility of classical automation meant that low batch productions, often present in Small and Medium-sized Enterprises (SMEs), were dismissed as potential end user of automation technologies. In this extended abstract we present the results of the ReconCell project whose objective was to develop a new type of highly reconfigurable robot workcell for fast set-up of automated assembly processes in SMEs. The high degree of reconfigurability was achieved by the developed reconfigurable hardware and the complementary reconfigurable software, while fast set-up was achieved with technologies for fast robot programming.


title: Central charges from Thermodynamics method in 3D gravity

abstract: In the context of guage/gravity duality, we investigate the central charges of a number of 2-dimensional conformal field theories (CFTs) that might live on the boundary of some 3-dimensional (3D) toy models of gravity, from the thermodynamics aspect of the black holes. For many black hole solutions, the entropy product of the inner Cauchy and outer event horizons is universal (mass independent). It is proposed that for these solutions, the central charges of the left- and right-moving sectors of the dual CFTs should be the same and one may read the central charges from the universal entropy product. This provides strong motivations for investigating this prescription for BTZ and Warped AdS$_{3}$ black holes in a number of 3D gravity theories and we will show that the proposal works truly. One striking result of our analysis is that if the entropy product is not universal in any theory of 3D gravity, then the left and right central charges are not equal.


title: Generalized entanglement temperature and entanglement Smarr relation

abstract: We observe that in presence of excitation, a thermodynamic Smarr like relation corresponding to a generalized entanglement temperature ($T_g$) can be holographically obtained for the entanglement entropy of a subsystem. Such a relation emerges naturally by demanding that the generalized entanglement temperature produces the exact Hawking temperature as the leading term in the IR limit ($l\rightarrow \infty$). Remarkably, this relation has the same form as the Smarr relation in black hole thermodynamics. We demonstrate this for three spacetime geometries, namely, a background with a nonconformal factor, a hyperscaling violating geometry background, and a charged black hole background which corresponds to a field theory with a finite chemical potential.


title: Mechanical orientation of fine magnetic particles in powders by an external magnetic field: simulation-based optimization

abstract: We present a numerical algorithm for predicting the optimal conditions for the effective alignment of magnetic particles in dense powders during the compactization process using an externally applied field. This task is especially important for the permanent magnets development due to the fact that alignment of anisotropy axes of nanocomposite grains increases both remanence and coercivity of magnetic materials. In contrast to previously known methods where magnetic moment of each particle was assumed to be 'fixed' with respect to the particle itself, our approach takes into account the (field-dependent) deviation of this moment from the particle anisotropy axis that occurs even for magnetically 'hard' particles possessing a strong mechanical contact. We show, that this deviation leads to the existence of the optimal value of the applied field for which the particle orientation (or alignment) time is minimal. The influence of the external pressure and internal mechanical friction on the details of the compactization/orientation process is also studied.


title: An Upgrading Algorithm with Optimal Power Law

abstract: Consider a channel $W$ along with a given input distribution $P_X$. In certain settings, such as in the construction of polar codes, the output alphabet of $W$ is `too large', and hence we replace $W$ by a channel $Q$ having a smaller output alphabet. We say that $Q$ is upgraded with respect to $W$ if $W$ is obtained from $Q$ by processing its output. In this case, the mutual information $I(P_X,W)$ between the input and output of $W$ is upper-bounded by the mutual information $I(P_X,Q)$ between the input and output of $Q$. In this paper, we present an algorithm that produces an upgraded channel $Q$ from $W$, as a function of $P_X$ and the required output alphabet size of $Q$, denoted $L$. We show that the difference in mutual informations is `small'. Namely, it is $O(L^{-2/(|\mathcal{X}|-1)})$, where $|\mathcal{X}|$ is the size of the input alphabet. This power law of $L$ is optimal. We complement our analysis with numerical experiments which show that the developed algorithm improves upon the existing state-of-the-art algorithms also in non-asymptotic setups.


title: GRMHD large eddy simulations with gradient subgrid-scale model

abstract: The detection of binary neutron star mergers represents one of the most important astrophysical discoveries of the recent years. Due to the extreme matter and gravity conditions and the rich dynamics developed, it becomes a tremendous challenge to accurately simulate numerically all the scales present during the collision. Here we present how to study such systems by using large eddy simulations with a self-consistent subgrid-scale gradient model, that we generalized to the special relativistic case in a previous work and now extend to the general relativistic case. Adapted from nonrelativistic scenarios, the so-called gradient model allows to capture part of the effects of the hidden dynamics on the resolved scales, by means of a physically-agnostic, mathematically-based Taylor expansion of the nonlinear terms in the conservative evolution equations' fluxes. We assess the validity of this approach in bounding-box simulations of the magnetic Kelvin-Helmholtz instability. Several resolutions and a broad range of scenarios are considered in order to carefully test the performance of the model under three crucial aspects: (i) highly curved backgrounds, (ii) jumps on the fluid density profiles and (iii) strong shocks. The results suggest our extension of the gradient subgrid-scale model to general relativistic magnetohydrodynamics is a promising approach for studying binary neutron stars mergers, and potentially to other relevant astrophysical scenarios.


title: End-To-End Convolutional Neural Network for 3D Reconstruction of Knee Bones From Bi-Planar X-Ray Images

abstract: We present an end-to-end Convolutional Neural Network (CNN) approach for 3D reconstruction of knee bones directly from two bi-planar X-ray images. Clinically, capturing the 3D models of the bones is crucial for surgical planning, implant fitting, and postoperative evaluation. X-ray imaging significantly reduces the exposure of patients to ionizing radiation compared to Computer Tomography (CT) imaging, and is much more common and inexpensive compared to Magnetic Resonance Imaging (MRI) scanners. However, retrieving 3D models from such 2D scans is extremely challenging. In contrast to the common approach of statistically modeling the shape of each bone, our deep network learns the distribution of the bones' shapes directly from the training images. We train our model with both supervised and unsupervised losses using Digitally Reconstructed Radiograph (DRR) images generated from CT scans. To apply our model to X-Ray data, we use style transfer to transform between X-Ray and DRR modalities. As a result, at test time, without further optimization, our solution directly outputs a 3D reconstruction from a pair of bi-planar X-ray images, while preserving geometric constraints. Our results indicate that our deep learning model is very efficient, generalizes well and produces high quality reconstructions.


title: Prevalence of $\rho$-irregularity and related properties

abstract: We show that generic H\"older continuous functions are $\rho$-irregular. The property of $\rho$-irregularity has been first introduced by Catellier and Gubinelli (Stoc. Proc. Appl. 126, 2016) and plays a key role in the study of well-posedness for some classes of perturbed ODEs and PDEs. Genericity here is understood in the sense of prevalence. As a consequence we obtain several results on regularisation by noise "without probability", i.e. without committing to specific assumptions on the statistical properties of the perturbations. We also establish useful criteria for stochastic processes to be $\rho$-irregular and study in detail the geometric and analytic properties of $\rho$-irregular functions.


title: On the volume of hyperplane sections of a d-cube

abstract: We obtain an optimal upper bound for the normalised volume of a hyperplane section of an origin-symmetric d-dimensional cube. This confirms a conjecture posed by Imre Barany and Peter Frankl.


title: Influence of migration models and thermal torque on planetary growth in the pebble accretion scenario

abstract: Low-mass planets that are in the process of growing larger within protoplanetary disks exchange torques with the disk and change their semi-major axis accordingly. This process is called type I migration and is strongly dependent on the underlying disk structure. As a result, there are many uncertainties about planetary migration in general. In a number of simulations, the current type I migration rates lead to planets reaching the inner edge of the disk within the disk lifetime. A new kind of torque exchange between planet and disk, the thermal torque, aims to slow down inward migration via the heating torque. The heating torque may even cause planets to migrate outwards, if the planetary luminosity is large enough. Here, we study the influence on planetary migration of the thermal torque on top of previous type I models. We find that the formula of Paardekooper et al. (2011) allows for more outward migration than that of Jim\'enez & Masset (2017) in most configurations, but we also find that planets evolve to very similar mass and final orbital radius using both formulae in a single planet-formation scenario, including pebble and gas accretion. Adding the thermal torque can introduce new, but small, regions of outwards migration if the accretion rates onto the planet correspond to typical solid accretion rates following the pebble accretion scenario. If the accretion rates onto the planets become very large, as could be the case in environments with large pebble fluxes (e.g., high-metallicity environments), the thermal torque can allow more efficient outward migration. However, even then, the changes for the final mass and orbital positions in our planet formation scenario are quite small. This implies that for single planet evolution scenarios, the influence of the heating torque is probably negligible.


title: Multibeam Optimization for Joint Communication and Radio Sensing Using Analog Antenna Arrays

abstract: Multibeam technology enables the use of two or more subbeams for joint communication and radio sensing, to meet different requirements of beamwidth and pointing directions. Generating and optimizing multibeam subject to the requirements is critical and challenging, particularly for systems using analog arrays. This paper develops optimal solutions to a range of multibeam design problems, where both communication and sensing are considered. We first study the optimal combination of two pre-generated subbeams, and their beamforming vectors, using a combining phase coefficient. Closed-form optimal solutions are derived to the constrained optimization problems, where the received signal powers for communication and the beamforming waveforms are alternatively used as the objective and constraint functions. We also develop global optimization methods which directly find optimal solutions for a single beamforming vector. By converting the original intractable complex NP-hard global optimization problems to real quadratically constrained quadratic programs, near-optimal solutions are obtained using semidefinite relaxation techniques. Extensive simulations validate the effectiveness of the proposed constrained multibeam generation and optimization methods.


title: Mean Waiting Time in Large-Scale and Critically Loaded Power of d Load Balancing Systems

abstract: Mean field models are a popular tool used to analyse load balancing policies. In some cases the waiting time distribution of the mean field limit has an explicit form. In other cases it can be computed as the solution of a set of differential equations. Here we study the limit of the mean waiting time $E[W_\lambda]$ as the arrival rate $\lambda$ approaches $1$ for a number of load balancing policies when job sizes are exponential with mean $1$ (i.e. the system gets close to instability). As $E[W_\lambda]$ diverges to infinity, we scale with $-\log(1-\lambda)$ and present a method to compute the limit $\lim_{\lambda\rightarrow 1^-}-E[W_\lambda]/\log(1-\lambda)$. This limit has a surprisingly simple form for the load balancing algorithms considered. We present a general result that holds for any policy for which the associated differential equation satisfies a list of assumptions. For the LL(d) policy which assigns an incoming job to a server with the least work left among d randomly selected servers these assumptions are trivially verified. For this policy we prove the limit is given by $\frac{1}{d-1}$. We further show that the LL(d,K) policy, which assigns batches of $K$ jobs to the $K$ least loaded servers among d randomly selected servers, satisfies the assumptions and the limit is equal to $\frac{K}{d-K}$. For a policy which applies LL($d_i$) with probability $p_i$, we show that the limit is given by $\frac{1}{\sum_ip_id_i-1}$. We further indicate that our main result can also be used for load balancers with redundancy or memory. In addition, we propose an alternate scaling $-\log(p_\lambda)$ instead of $-\log(1-\lambda)$, for which the limit $\lim_{\lambda\rightarrow 0^+}-E[W_\lambda]/\log(p_\lambda)$ is well defined and non-zero (contrary to $\lim_{\lambda\rightarrow 0^+}-E[W_\lambda]/\log(1-\lambda)$), while $\lim_{\lambda\rightarrow 1^-}\log(1-\lambda) / \log(p_\lambda)=1$.


title: Integrating reliability and resilience to support microgrid design

abstract: Quantifying the potential benefits of microgrids in the design phase can support the transition of passive distribution networks into microgrids. At current, reliability and resilience are the main drivers for this transition. Therefore, this paper presents a mathematical optimization model to support the retrofitting of distribution networks into microgrids integrating techno-economic, resilience and reliability objectives. Storage and distributed generation are optionally installed to complement renewable generation, enabling the microgrid to supply priority demands during stochastic islanding events with uncertain duration. For a comprehensive quantification and optimization of microgrid resilience and reliability, islanding due to external events is combined with a detailed model of internal faults. Minimizing the interruption costs yields optimal capacities and placements of distributed energy resources and new lines for reconfiguration. The proposed method produces microgrid designs with up to 95% reliability and resilience gain and moderate cost increase in two benchmark distribution networks using data from the US Department of Energy. The developed methodology is scalable to large networks owing to the tailored Column-and-Constraint-Generation approach.


title: Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems

abstract: We consider the problem of automatically establishing that a given syntax-guided-synthesis (SyGuS) problem is unrealizable (i.e., has no solution). We formulate the problem of proving that a SyGuS problem is unrealizable over a finite set of examples as one of solving a set of equations: the solution yields an overapproximation of the set of possible outputs that any term in the search space can produce on the given examples. If none of the possible outputs agrees with all of the examples, our technique has proven that the given SyGuS problem is unrealizable. We then present an algorithm for exactly solving the set of equations that result from SyGuS problems over linear integer arithmetic (LIA) and LIA with conditionals (CLIA), thereby showing that LIA and CLIA SyGuS problems over finitely many examples are decidable. We implement the proposed technique and algorithms in a tool called Nay. Nay can prove unrealizability for 70/132 existing SyGuS benchmarks, with running times comparable to those of the state-of-the-art tool Nope. Moreover, Nay can solve 11 benchmarks that Nope cannot solve.


title: Enhance the performance of navigation: A two-stage machine learning approach

abstract: Real time traffic navigation is an important capability in smart transportation technologies, which has been extensively studied these years. Due to the vast development of edge devices, collecting real time traffic data is no longer a problem. However, real traffic navigation is still considered to be a particularly challenging problem because of the time-varying patterns of the traffic flow and unpredictable accidents/congestion. To give accurate and reliable navigation results, predicting the future traffic flow(speed,congestion,volume,etc) in a fast and accurate way is of great importance. In this paper, we adopt the ideas of ensemble learning and develop a two-stage machine learning model to give accurate navigation results. We model the traffic flow as a time series and apply XGBoost algorithm to get accurate predictions on future traffic conditions(1st stage). We then apply the Top K Dijkstra algorithm to find a set of shortest paths from the give start point to the destination as the candidates of the output optimal path. With the prediction results in the 1st stage, we find one optimal path from the candidates as the output of the navigation algorithm. We show that our navigation algorithm can be greatly improved via EOPF(Enhanced Optimal Path Finding), which is based on neural network(2nd stage). We show that our method can be over 7% better than the method without EOPF in many situations, which indicates the effectiveness of our model.


title: CLASH WRIST -- A hardware to increase the capability of CLASH fruit gripper to use environment constraints exploration

abstract: Humans use environmental constraints (EC) in manipulation to compensate for uncertainties in their world model. The same principle was recently applied to robotics, so that soft underactuated hands improve their grasping capability by using environmental constraints exploitation (ECE) [1]. Due to orientation of the robotic hand for example in the EC wall grasp, the length of the robot wrist plus the hand length gets quite important, if objects are grasp out of a box [2] . Most of the modern cobots have quite long wrist, so we have constructed a two degree of freedom wrist for the CLASH [3], to solve this problem (Fig. 1).


title: How Furiously Can Colourless Green Ideas Sleep? Sentence Acceptability in Context

abstract: We study the influence of context on sentence acceptability. First we compare the acceptability ratings of sentences judged in isolation, with a relevant context, and with an irrelevant context. Our results show that context induces a cognitive load for humans, which compresses the distribution of ratings. Moreover, in relevant contexts we observe a discourse coherence effect which uniformly raises acceptability. Next, we test unidirectional and bidirectional language models in their ability to predict acceptability ratings. The bidirectional models show very promising results, with the best model achieving a new state-of-the-art for unsupervised acceptability prediction. The two sets of experiments provide insights into the cognitive aspects of sentence processing and central issues in the computational modelling of text and discourse.


title: Imaging through Fano-resonant dielectric metasurface governed by quasi-BIC

abstract: Fano resonance has raised great attention in nanophotonics attributing to its unique properties.In this work, we study the imaging function of Fano-resonant silicon metasurfece governed by quasi-bound states in the continuum (BICs). First, by breaking the in-plane symmetry of nanodisks, a symmetry-protected quasi-BIC is excited with the emergence of a sharp Fano resonance. The near field distributions, multipole contributions and radiation patterns of the metasurface are performed to uncover the mechanism and characteristics of this resonance. In addition, we investigate the imaging function of this Fano-resonant metasurface assisted by phase-change material Ge_2Sb_2Te_5(GST). Through selective modification of different units from a-GST to c-GST, the produced transmitted image well reconstructs the target letter. Our finding may provide a route to achieve efficient metasurface-based imaging and fast spatial modulations.


title: Cauchy theory for general Vicsek models in collective dynamics and mean-field limit approximations

abstract: In this paper we provide a local Cauchy theory both on the torus and in the whole space for general Vicsek dynamics at the kinetic level. We consider rather general interaction kernels, nonlinear viscosity and nonlinear friction. Particularly, we include normalised kernels which display a singularity when the flux of particles vanishes. Thus, in terms of the Cauchy theory for the kinetic equation, we extend to more general interactions and complete the program initiated in Gamba et. al. (2016) (where the authors assume that the singularity does not take place) and in Figalli et. al. (2017) (where the authors prove that the singularity does not happen in the space homogeneous case). Moreover, we derive an explicit lower time of existence as well as a global existence criterion that is applicable, among other cases, to obtain a long time theory for non-renormalised kernels and for the original Vicsek problem without any a priori assumptions. On the second part of the paper, we also establish the mean-field limit in the large particle limit for an approximated (regularized) system that coincides with the original one whenever the flux does not vanish. Based on the results proved for the limit kinetic equation, we prove that for short times, the probability that the dynamics of this approximated particle system coincides with the original singular dynamics tends to one in the many particle limit.


title: A model of electroweakly interacting non-abelian vector dark matter

abstract: We propose an electroweakly interacting spin-1 dark matter (DM) model. The electroweak gauge symmetry, SU(2)$_L\times$U(1)$_Y$, is extended into SU(2)$_0\times$SU(2)$_1 \times $SU(2)$_2 \times$U(1)$_Y$. A discrete symmetry exchanging SU(2)$_0$ and SU(2)$_2$ is imposed. This discrete symmetry stabilizes the DM candidate. The spin-1 DM particle ($V^0)$ and its SU(2)$_L$ partners ($V^\pm$) interact with the Standard Model (SM) electroweak gauge bosons without any suppression factors. Consequently, pairs of DM particles efficiently annihilate into the SM particles in the early universe, and the measured value of the DM energy density is easily realized by the thermal freeze-out mechanism. The model also predicts a heavy vector triplet ($W'^\pm$ and $Z'$) in the visible sector. They contribute to the DM annihilation processes. The mass ratio of $Z'$ and $V^0$ determines values of various couplings, and constraints on $W'$ and $Z'$ restrict regions of the parameter space that are viable for DM physics. We investigate the constraints from perturbative unitarity of scalar and gauge couplings, the Higgs signal strength, $W'$ search at the LHC, and DM direct detection experiments. It is found that the relic abundance of $V^0$ explains the right amount of the DM energy density for 3 TeV $\lesssim m_{V^0} \lesssim$ 19 TeV.


title: Electronic Conduction in Disordered Materials: Wave-like or Particle-like?

abstract: When materials are in the diffusive regime, i.e. when the scattering length is less than the sample size, charge transport is mediated by diffusons and cooperons. We argue that these charge carriers are not always spread out throughout the sample, like waves. When the scattering length is smaller than the sample size, diffusons and cooperons follow trajectories inside the sample which have an effective width determined by the scattering length. The net effect is particle-like motion. We discuss three experiments whose results confirm the existence of cooperons following particle-like trajectories. One experiment, with magnetic field perpendicular to a topological insulator surface, resolved and measured the areas of Cooperon loops. The other two experiments, with magnetic field parallel to wires where conduction occurred on the wire surface, measured the number of times that a Cooperon trajectory wound around the wire.


title: Germ\'an Ancochea's work on projectivities, harmonicity preservers and semi-homomorphisms

abstract: Our main aim is to analyse three articles of Germ\'an Ancochea (published 1941, 1942 and 1947) and to describe their impact in algebra and geometry.


title: The edge as a Lagrangian Coherent Structure in a high-dimensional state space

abstract: Dissipative dynamical systems characterised by two basins of attraction are found in many physical systems, notably in hydrodynamics where laminar and turbulent regimes can coexist. The state space of such systems is structured around a dividing manifold called the edge, which separates trajectories attracted by the laminar state from those reaching the turbulent state. We apply here concepts and tools from Lagrangian data analysis to investigate this edge manifold. This approach is carried out in the state space of automous arbitrarily high-dimensional dissipative systems, in which the edge manifold is re-interpreted as a Lagrangian Coherent Structure (LCS). Two different diagnostics, finite-time Lyapunov exponents and Lagrangian Descriptors, are used and compared with respect to their ability to identify the edge and to their scalability. Their properties are illustrated on several low-order models of subcritical transition of increasing dimension and complexity, as well on well-resolved simulations of the Navier-Stokes equations in the case of plane Couette flow. They allow for a mapping of the global structure of both the state space and the edge manifold based on quantitative information. Both diagnostics can also be used to generate efficient bisection algorithms to approach asymptotic edge states, which outperform classical edge tracking.


title: Non-linear extension of non-metricity scalar for MOND

abstract: General Relativity enjoys the freedom of different geometrical interpretations in terms of curvature, torsion or non-metricity. Within this geometrical trinity, a simpler geometrical formulation of General Relativity manifests itself in the latter, where gravity is entirely attributed to non-metricity. In this Letter, we consider non-linear extensions of Coincident General Relativity $f(\mathring{\mathbb{Q}})$ for phenomenological applications on both cosmological as well as galactic scales. The theory not only delivers dark energy on large scales but also recovers MOND on galactic scales, together with implications for the early universe cosmology. To the best of our knowledge, this represents the first relativistic, covariant, and ghost-free hybrid-formulation of MOND which recovers both, General Relativity and MOND in the appropriate limits and reconciles expected cosmological behavior. We further illustrate that previous bimetric formulations of MOND generically suffer from ghost instabilities and $f(\mathring{\mathbb{Q}})$ crystalizes as a unique ghost-free theory.


title: On Steinberg algebras of Hausdorff ample groupoids over commutative semirings

abstract: We investigate the algebra of a Hausdorff ample groupoid, introduced by Steinberg, over a commutative semiring S. In particular, we obtain a complete characterization of congruence-simpleness for such Steinberg algebras, extending the well-known characterizations when S is a field or a commutative ring. We also provide a criterion for the Steinberg algebra of the graph groupoid associated to an arbitrary graph to be congruence-simple. Motivated by a result of Clark and Sims, we show that, over the Boolean semifield, the natural homomorphism from the Leavitt path algebra to the Steinberg algebra is an isomorphism if and only if the associated graph is row-finite. Moreover, we establish the Reduction Theorem and Uniqueness Theorems for Leavitt path algebras of row-finite graphs over the Boolean semifield.


title: S-stars motion around relativistic compact object Sgr A*

abstract: A review of modern VLTI observations of the orbital motion of closest stars to the relativistic compact object Sgr A* and its ability to test gravitation theories in the conditions of Post-Newtonian approximation. The observed orbital parameters, second order Doppler effect and gravitational redshift, measured for several S-stars, are compared with theoretical PN predictions.


title: Kernel Autocovariance Operators of Stationary Processes: Estimation and Convergence

abstract: We consider autocovariance operators of a stationary stochastic process on a Polish space that is embedded into a reproducing kernel Hilbert space. We investigate how empirical estimates of these operators converge along realizations of the process under various conditions. In particular, we examine ergodic and strongly mixing processes and obtain several asymptotic results as well as finite sample error bounds. We provide applications of our theory in terms of consistency results for kernel PCA with dependent data and the conditional mean embedding of transition probabilities. Finally, we use our approach to examine the nonparametric estimation of Markov transition operators and highlight how our theory can give a consistency analysis for a large family of spectral analysis methods including kernel-based dynamic mode decomposition.


title: Contrast-to-noise ratio analysis of microscopic diffusion anisotropy indices in q-space trajectory imaging

abstract: Diffusion anisotropy in diffusion tensor imaging (DTI) is commonly quantified with normalized diffusion anisotropy indices (DAIs). Most often, the fractional anisotropy (FA) is used, but several alternative DAIs have been introduced in attempts to maximize the contrast-to-noise ratio (CNR) in diffusion anisotropy maps. Examples include the scaled relative anisotropy (sRA), the gamma variate anisotropy index (GV), the surface anisotropy (UAsurf), and the lattice index (LI). With the advent of multidimensional diffusion encoding it became possible to determine the presence of microscopic diffusion anisotropy in a voxel, which is theoretically independent of orientation coherence. In accordance with DTI, the microscopic anisotropy is typically quantified by the microscopic fractional anisotropy (uFA). In this work, in addition to the uFA, the four microscopic diffusion anisotropy indices (uDAIs) usRA, uGV, uUAsurf, and uLI are defined in analogy to the respective DAIs by means of the average diffusion tensor and the covariance tensor. Simulations with three representative distributions of microscopic diffusion tensors revealed distinct CNR differences when differentiating between isotropic and microscopically anisotropic diffusion. q-Space trajectory imaging (QTI) was employed to acquire brain in-vivo maps of all indices. For this purpose, a 15 min protocol featuring linear, planar, and spherical tensor encoding was used. The resulting maps were of good quality and exhibited different contrasts, e.g. between gray and white matter. This indicates that it may be beneficial to use more than one uDAI in future investigational studies.


title: A k-hop Collaborate Game Model: Extended to Community Budgets and Adaptive Non-Submodularity

abstract: Revenue maximization (RM) is one of the most important problems on online social networks (OSNs), which attempts to find a small subset of users in OSNs that makes the expected revenue maximized. It has been researched intensively before. However, most of exsiting literatures were based on non-adaptive seeding strategy and on simple information diffusion model, such as IC/LT-model. It considered the single influenced user as a measurement unit to quantify the revenue. Until Collaborate Game model appeared, it considered activity as a basic object to compute the revenue. An activity initiated by a user can only influence those users whose distance are within k-hop from the initiator. Based on that, we adopt adaptive seed strategy and formulate the Revenue Maximization under the Size Budget (RMSB) problem. If taking into account the product's promotion, we extend RMSB to the Revenue Maximization under the Community Budget (RMCB) problem, where the influence can be distributed over the whole network. The objective function of RMSB and RMCB is adatpive monotone and not adaptive submodular, but in some special cases, it is adaptive submodular. We study the RMSB and RMCB problem under both the speical submodular cases and general non-submodular cases, and propose RMSBSolver and RMCBSolver to solve them with strong theoretical guarantees, respectively. Especially, we give a data-dependent approximation ratio for RMSB problem under the general non-submodular cases. Finally, we evaluate our proposed algorithms by conducting experiments on real datasets, and show the effectiveness and accuracy of our solutions.


title: Single-electron control in a foundry-fabricated two-dimensional qubit array

abstract: Silicon spin qubits have achieved high-fidelity one- and two-qubit gates, above error correction thresholds, promising an industrial route to fault-tolerant quantum computation. A significant next step for the development of scalable multi-qubit processors is the operation of foundry-fabricated, extendable two-dimensional (2D) arrays. In gallium arsenide, 2D quantum-dot arrays recently allowed coherent spin operations and quantum simulations. In silicon, 2D arrays have been limited to transport measurements in the many-electron regime. Here, we operate a foundry-fabricated silicon 2x2 array in the few-electron regime, achieving single-electron occupation in each of the four gate-defined quantum dots, as well as reconfigurable single, double, and triple dots with tunable tunnel couplings. Pulsed-gate and gate-reflectometry techniques permit single-electron manipulation and single-shot charge readout, while the two-dimensionality allows the spatial exchange of electron pairs. The compact form factor of such arrays, whose foundry fabrication can be extended to larger 2xN arrays, along with the recent demonstration of coherent spin control and readout, paves the way for dense qubit arrays for quantum computation and simulation.


title: Effect of Non-Heisenberg Magnetic Interactions on Defects in Ferromagnetic Iron

abstract: Fundamental flaws in the Heisenberg Hamiltonian are highlighted in the context of its application to BCC Fe, including the particular issues arising when modelling lattice defects. Exchange integrals are evaluated using the magnetic force theorem. The bilinear exchange coupling constants are calculated for all the interacting pairs of atomic magnetic moments in large simulation cells containing defects, enabling a direct mapping of the magnetic energy onto the Heisenberg Hamiltonian and revealing its limitations. We provide a simple procedure for extracting the Landau parameters from DFT calculations, to construct a Heisenberg-Landau Hamiltonian. We quantitatively show how the Landau terms correct the exchange-energy hypersurface, which is essential for the accurate evaluation of energies and migration barriers of defects.


title: 3D Marchenko applications: implementation and examples

abstract: We implement the 3D Marchenko equations to retrieve responses to virtual sources inside the subsurface. For this, we require reflection data at the surface of the Earth that contain no free-surface multiples and are densely sampled in space. The required 3D reflection data volume is very large and solving the Marchenko equations requires a significant amount of computational cost. To limit the cost, we apply floating point compression to the reflection data to reduce their volume and the loading time from disk. We apply the Marchenko implementation to numerical reflection data to retrieve accurate Green's functions inside the medium and use these reflection data to apply imaging. This requires the simulation of many virtual source points, which we circumvent by using virtual plane-wave sources instead of virtual point sources. Through this method, we retrieve the angle-dependent response of a source from a depth level rather than of a point. We use these responses to obtain angle-dependent structural images of the subsurface, free of contamination from wrongly imaged internal multiples. These images have less lateral resolution than those obtained using virtual point sources, but are more efficiently retrieved.


title: Riemannian Adaptive Optimization Algorithm and Its Application to Natural Language Processing

abstract: This paper proposes a Riemannian adaptive optimization algorithm to optimize the parameters of deep neural networks. The algorithm is an extension of both AMSGrad in Euclidean space and RAMSGrad on a Riemannian manifold. The algorithm helps to resolve two issues affecting RAMSGrad. The first is that it can solve the Riemannian stochastic optimization problem directly, in contrast to RAMSGrad which only achieves a low regret. The other is that it can use constant learning rates, which makes it implementable in practice. Additionally, we apply the proposed algorithm to Poincar{\'e} embeddings, which embed the transitive closure of the WordNet nouns into the Poincar{\'e} ball model of hyperbolic space. Numerical experiments show that regardless of the initial value of the learning rate, our algorithm stably converges to the optimal solution and converges faster than RSGD, the most basic Riemannian stochastic optimization algorithm.


title: Motzkin path decompositions of functionals in noncommutative probability

abstract: We study the decomposition of free random variables in terms of their orthogonal replicas from a new perspective. First, we show that the mixed moments of orthogonal replicas with respect to the normalized linear functional $\Phi$ are naturally described in terms of Motzkin paths identified with reduced Motzkin words. Using this fact, we demonstrate that the mixed moments of free random variables with respect to the free product of normalized linear functionals are sums of the mixed moments of order $n$ of the orthogonal replicas of these variables with respect to $\Phi$ with summation extending over the set of reduced Motzkin words of lenght $n$. One of the applications of this formula is a decomposition formula for mixed moments of free random variables in terms of their boolean cumulants which corresponds to the decomposition of the lattice ${\rm NC}(n)$ into sublattices $\mathcal{M}(w)$ of partitions which are monotonically adapted to colors in the word $w$. The linear functionals defined by the mixed moments of orthogonal replicas and indexed by reduced Motzkin words play the role of a generating set of the space of product functionals in which the boolean product corresponds to constant Motzkin paths and the free product corresponds to all Motzkin paths.


title: Go Fetch: Mobile Manipulation in Unstructured Environments

abstract: With humankind facing new and increasingly large-scale challenges in the medical and domestic spheres, automation of the service sector carries a tremendous potential for improved efficiency, quality, and safety of operations. Mobile robotics can offer solutions with a high degree of mobility and dexterity, however these complex systems require a multitude of heterogeneous components to be carefully integrated into one consistent framework. This work presents a mobile manipulation system that combines perception, localization, navigation, motion planning and grasping skills into one common workflow for fetch and carry applications in unstructured indoor environments. The tight integration across the various modules is experimentally demonstrated on the task of finding a commonly available object in an office environment, grasping it, and delivering it to a desired drop-off location. The accompanying video is available at https://youtu.be/e89_Xg1sLnY.


title: Learning to Segment the Tail

abstract: Real-world visual recognition requires handling the extreme sample imbalance in large-scale long-tailed data. We propose a "divide&conquer" strategy for the challenging LVIS task: divide the whole data into balanced parts and then apply incremental learning to conquer each one. This derives a novel learning paradigm: class-incremental few-shot learning, which is especially effective for the challenge evolving over time: 1) the class imbalance among the old-class knowledge review and 2) the few-shot data in new-class learning. We call our approach Learning to Segment the Tail (LST). In particular, we design an instance-level balanced replay scheme, which is a memory-efficient approximation to balance the instance-level samples from the old-class images. We also propose to use a meta-module for new-class learning, where the module parameters are shared across incremental phases, gaining the learning-to-learn knowledge incrementally, from the data-rich head to the data-poor tail. We empirically show that: at the expense of a little sacrifice of head-class forgetting, we can gain a significant 8.3% AP improvement for the tail classes with less than 10 instances, achieving an overall 2.0% AP boost for the whole 1,230 classes.


title: Opinion Dynamics with Multi-Body Interactions

abstract: We introduce and analyse a three-body consensus model (3CM) for non-linear consensus dynamics on hypergraphs. Our model incorporates reinforcing group effects, which can cause shifts in the average state of the system even in if the underlying graph is complete (corresponding to a mean-field interaction), a phenomena that may be interpreted as a type of peer pressure. We further demonstrate that for systems with two clustered groups, already a small asymmetry in our dynamics can lead to the opinion of one group becoming clearly dominant. We show that the nonlinearity in the model is the essential ingredient to make such group dynamics appear, and demonstrate how our system can otherwise be written as a linear, pairwise interaction system on a rescaled network.


title: The Gravitational Wave Emission of Double White Dwarf Coalescences

abstract: Type Ia Supernovae (SNe Ia) are widely used as standard candles to probe the Universe. However, how these fierce explosions are produced itself is still a highly debated issue. There are mainly two popular models for SNe Ia, i.e. the double-degenerate scenario and the single-degenerate scenario. The double-degenerate scenario suggests that SNe Ia are produced by the coalescence of two degenerate white dwarfs, while the single-degenerate scenario suggests that the continuous accretion of a single degenerate white dwarf from its normal stellar companion will finally lead to a disastrous explosion when it is over-massive, resulting in an SN Ia. The rapid development of the gravitational wave astronomy sheds new light on the nature of SNe Ia. In this study, we calculate the gravitational wave emissions of double white dwarf coalescences and compare them with the sensitivities of several upcoming detectors. It is found that the gravitational wave emissions from double white dwarf mergers in the locale universe are strong enough to be detected by LISA. We argue that LISA-like gravitational wave detectors sensitive in the frequency range of 0.01 - 0.1 Hz will be a powerful tool to test the double-degenerate model of SNe Ia, and also to probe the Universe.