title: Two-Loop QCD Helicity Amplitudes for Higgs Production Associated with a Vector Boson through Bottom Quark Annihilation

abstract: We present the two-loop QCD corrections to the amplitude of the Higgs production associated with a $Z$ boson via the bottom quark-antiquark annihilation channel with a non-vanishing bottom-quark Yukawa coupling. The computation is performed by projecting the D-dimensional scattering amplitude directly onto a set of Lorentz structures related to the linear polarisation states of the $Z$ boson. We cross-check the finite remainders through a computation based on conventional form factor decomposition. We show that for physical observables, an ultimate D-dimensional form factor decomposition of amplitudes is not necessary which has a huge potential to simplify a multiloop computation. We compute numerically the resulting cross sections under the soft-virtual approximation to NNLO and find it three orders of magnitude smaller than that of the s-channel.


title: Dynamical structure factor of a fermionic supersolid on an optical lattice

abstract: Interfacing unbiased quantum Monte Carlo simulations with state-of-art analytic continuation techniques, we obtain exact numerical results for dynamical density and spin correlations in the attractive Hubbard model, describing a spin-balanced two-dimensional cold Fermi gas on an optical lattice. We focus on half-filling, where on average one fermion occupies each lattice site, and the system displays an intriguing supersolid phase: a superfluid with a checkerboard density modulation. The coexistence of $U(1)$ broken symmetry and the density modulations makes this regime very challenging and interesting for the calculation of dynamical properties. We compare our unbiased results with state-of-the-art Generalized Random Phase Approximation calculations: both approaches agree on a well-defined low-energy Nambu-Goldstone collective mode in the density correlations, while the higher energy structures appear to differ significantly. We also observe an interesting high-energy spin mode. We argue that our results provide a robust benchmark for Generalized Random Phase Approximation techniques, which are widely considered to be the method of choice for dynamical correlations in Fermi gases. Also, our calculations yield new physical insight in the high-energy behavior of the dynamical structure factor of the attractive Hubbard model, which is a well known prototype lattice model for superconductors and is a fertile field to target the observation of collective modes in strongly correlated systems.


title: Federated learning with multichannel ALOHA

abstract: In this paper, we study federated learning in a cellular system with a base station (BS) and a large number of users with local data sets. We show that multichannel random access can provide a better performance than sequential polling when some users are unable to compute local updates (due to other tasks) or in dormant state. In addition, for better aggregation in federated learning, the access probabilities of users can be optimized for given local updates. To this end, we formulate an optimization problem and show that a distributed approach can be used within federated learning to adaptively decide the access probabilities.


title: Joint Viewpoint and Keypoint Estimation with Real and Synthetic Data

abstract: The estimation of viewpoints and keypoints effectively enhance object detection methods by extracting valuable traits of the object instances. While the output of both processes differ, i.e., angles vs. list of characteristic points, they indeed share the same focus on how the object is placed in the scene, inducing that there is a certain level of correlation between them. Therefore, we propose a convolutional neural network that jointly computes the viewpoint and keypoints for different object categories. By training both tasks together, each task improves the accuracy of the other. Since the labelling of object keypoints is very time consuming for human annotators, we also introduce a new synthetic dataset with automatically generated viewpoint and keypoints annotations. Our proposed network can also be trained on datasets that contain viewpoint and keypoints annotations or only one of them. The experiments show that the proposed approach successfully exploits this implicit correlation between the tasks and outperforms previous techniques that are trained independently.


title: General Principles of Secondary Active Transporter Function

abstract: Transport of ions and small molecules across the cell membrane against electrochemical gradients is catalyzed by integral membrane proteins that use a source of free energy to drive the energetically uphill flux of the transported substrate. Secondary active transporters couple the spontaneous influx of a "driving" ion such as Na$^+$ or H$^+$ to the flux of the substrate. The thermodynamics of such cyclical non-equilibrium systems are well understood and recent work has focused on the molecular mechanism of secondary active transport. The fact that these transporters change their conformation between an inward-facing and outward-facing conformation in a cyclical fashion, called the alternating access model, is broadly recognized as the molecular framework in which to describe transporter function. High resolution structures and detailed computer simulations lead to the recognition of common molecular-level principles between disparate transporter families. Inverted repeat symmetry in secondary active transporters has shed light on how protein structures can encode a bi-stable two-state system. Three broad classes of alternating access transitions have been described as rocker-switch, rocking-bundle, and elevator mechanisms. Transporters can be understood as gated pores with at least two coupled gates that map to distinct parts of the transporter protein. Enumerating all distinct gate states naturally includes occluded states in the alternating access picture and suggests observable protein conformations. By connecting the possible conformational states and ion/substrate bound states in a kinetic model, a unified picture emerges in which symporter, antiporter, and uniporter function are extremes in a continuum of functionality. We briefly discuss how biological complexity may be integrated in quantitative kinetic models to provide a bridge from structure to function.


title: Gravitational cubic-in-spin interaction at the next-to-leading post-Newtonian order

abstract: In this work we derive for the first time the complete gravitational cubic-in-spin effective action at the next-to-leading order in the post-Newtonian (PN) expansion for the interaction of generic compact binaries via the effective field theory for gravitating spinning objects, which we extend in this work. This sector, which enters at the fourth and a half PN (4.5PN) order for rapidly-rotating compact objects, completes finite-size effects up to this PN order, and is the first sector completed beyond the current state of the art for generic compact binary dynamics at the 4PN order. At this order in spins with gravitational nonlinearities we have to take into account additional terms, which arise from a new type of worldline couplings, due to the fact that at this order the Tulczyjew gauge for the rotational degrees of freedom, which involves the linear momentum, can no longer be approximated only in terms of the four-velocity. One of the main motivations for us to tackle this sector is also to see what happens when we go to a sector, which corresponds to the gravitational Compton scattering with quantum spins larger than one, and maybe possibly also get an insight on the inability to uniquely fix its amplitude from factorization when spins larger than two are involved. A general observation that we can clearly make already is that even-parity sectors in the order of the spin are easier to handle than odd ones. In the quantum context this corresponds to the greater ease of dealing with bosons compared to fermions.


title: Decomposition Rules for Quantum R\'enyi Mutual Information with an Application to Information Exclusion Relations

abstract: We prove decomposition rules for quantum R\'enyi mutual information, generalising the relation $I(A:B) = H(A) - H(A|B)$ to inequalities between R\'enyi mutual information and R\'enyi entropy of different orders. The proof uses Beigi's generalisation of Reisz-Thorin interpolation to operator norms, and a variation of the argument employed by Dupuis which was used to show chain rules for conditional R\'enyi entropies. The resulting decomposition rule is then applied to establish an information exclusion relation for R\'enyi mutual information, generalising the original relation by Hall.


title: On Low-complexity Lattice Reduction Algorithms for Large-scale MIMO Detection: the Blessing of Sequential Reduction

abstract: Lattice reduction is a popular preprocessing strategy in multiple-input multiple-output (MIMO) detection. In a quest for developing a low-complexity reduction algorithm for large-scale problems, this paper investigates a new framework called sequential reduction (SR), which aims to reduce the lengths of all basis vectors. The performance upper bounds of the strongest reduction in SR are given when the lattice dimension is no larger than 4. The proposed new framework enables the implementation of a hash-based low-complexity lattice reduction algorithm, which becomes especially tempting when applied to large-scale MIMO detection. Simulation results show that, compared to other reduction algorithms, the hash-based SR algorithm exhibits the lowest complexity while maintaining comparable error performance.


title: Matrix range characterizations of operator system properties

abstract: For finite-dimensional operator systems $\mathcal{S}_{\mathsf T}$, ${\mathsf T} \in B({\mathcal H})^d$, we show that the local lifting property and $1$-exactness of $\mathcal{S}_{\mathsf T}$ may be characterized by measurements of the disparity between the matrix range $\mathcal{W}({\mathsf T})$ and the minimal/maximal matrix convex sets over its individual levels. We then examine these concepts from the point of view of free spectrahedra, direct sums of operator systems, and products of matrix convex sets.


title: Observation of Dynamic Stark Resonances in Strong-Field Excitation

abstract: We investigate AC Stark-shifted resonances in argon with ultrashort near-infrared pulses. Using 30 fs pulses we observe periodic enhancements of the excitation yield in the intensity regions corresponding to the absorption of 13 and 14 photons. By reducing the pulse duration to 6 fs with only a few optical cycles, we also demonstrate that the enhancements are significantly reduced beyond what is measurable in the experiment. Comparing these to numerical predictions, which are in quantitative agreement with experimental results, we find that even though the quantum-state distribution can be broad, the enhancements are largely due to efficient population of a select few AC Stark-shifted resonant states rather than the closing of an ionization channel. Because these resonances are dependent on the frequency and intensity of the laser field, the broad bandwidth of the 6 fs pulses means that the resonance condition is fulfilled across a large range of intensities. This is further exaggerated by volume-averaging effects, resulting in excitation of the $5g$ state at almost all intensities and reducing the apparent magnitude of the enhancements. For 30 fs pulses, volume averaging also broadens the quantum state distribution but the enhancements are still large enough to survive. In this case, selectivity of excitation to a single state is reduced below 25% of the relative population. However, an analysis of TDSE simulations indicates that excitation of up to 60% into a single state is possible if volume averaging can be eliminated and the intensity can be precisely controlled.


title: Feasibility study of a coherent feedback squeezer

abstract: We investigate a coherent feedback squeezer that uses quantum coherent feedback (measurement-free) control. Our squeezer is simple, easy to implement, robust to the gain fluctuation, and broadband compared to the existing squeezers because of the negative coherent feedback configuration. We conduct a feasibility study that looks at the stability conditions for a feedback system to optimize the designs of real optical devices. The feasibility study gives fabrication tolerance necessary for designing and realizing the actual device. Our formalism for the stability analysis is not limited to optical systems but can be applied to the other bosonic systems.


title: Joint AGC and Receiver Design for Large-Scale MU-MIMO Systems with Coarsely Quantized Signals and C-RANs

abstract: In this work, we propose the joint optimization of the automatic gain control (AGC), which works in the remote radio heads (RHHs), and a low-resolution aware (LRA) linear receive filter based on the minimum mean square error (MMSE), which works on the baseband unit (BBU) pool, for large-scale multi-user multiple-input multiple-output (MU-MIMO) systems with coarsely quantized signals in cloud radio access networks. We develop successive interference cancellation receivers based on the proposed joint AGC and LRA-MMSE (AGC-LRA-MMSE) approach. An analysis of the achievable sum rates is also carried out. Simulations show that the proposed design has better error rates and higher achievable rates than existing techniques.


title: Interior and boundary $W^{1,q}$-estimates for quasi-linear elliptic equations of Schr\"odinger type

abstract: We consider nonlinear elliptic equations that are naturally obtained from the elliptic Schr\"odinger equation $-\Delta u +Vu=0$ in the setting of the calculus of variations, and obtain $L^q$-estimates for the gradient of weak solutions. In particular, we generalize a result of Shen in [Ann. Inst. Fourier 45 (1995), no. 2, 513--546] in the nonlinear setting by using a different approach. This allows us to consider discontinuous coefficients with a small BMO semi-norm and non-smooth boundaries which might not be Lipschitz continuous.


title: Pulse-width-induced polarization enhancement of optically-pumped N-V electron spin in diamond

abstract: The nitrogen-vacancy (N-V) center in diamond is a widely-used platform for quantum information processing and metrology. The electron-spin state of N-V center could be initialized and readout optically, and manipulated by resonate microwave fields. In this work, we analyze the dependence of electron-spin initialization on widths of laser pulses. We build a numerical model to simulate this process and verify the simulation results in experiment. Both simulations and experiments reveal a fact that shorter laser pulses are helpful to the electron-spin polarization. We therefore propose to use extremely-short laser pulses for electron-spin initialization. In this new scheme, the spin-state contrast could be improved about 10% in experiment by using laser pulses as short as 4 ns in width. Furthermore, we provide a mechanism to explain this effect which is due to the occupation time in the meta-stable spin-singlet states of N-V center. Our new scheme is applicable in a broad range of NV-based applications in the future.


title: Mission Oriented Miniature Fixed-wing UAV Swarms: A Multi-layered and Distributed Architecture

abstract: UAV swarms have triggered wide concern due to their potential application values in recent years. While there are studies proposed in terms of the architecture design for UAV swarms, two main challenges still exist: (1) Scalability, supporting a large scale of vehicles; (2) Versatility, integrating diversified missions. To this end, a multi-layered and distributed architecture for mission oriented miniature fixed-wing UAV swarms is presented in this paper. The proposed architecture is built on the concept of modularity. It divides the overall system to five layers: low-level control, high-level control, coordination, communication and human interaction layers, and many modules that can be viewed as black boxes with interfaces of inputs and outputs. In this way, not only the complexity of developing a large system can be reduced, but also the versatility of supporting diversified missions can be ensured. Furthermore, the proposed architecture is fully distributed that each UAV performs the decision-making procedure autonomously so as to achieve better scalability. Moreover, different kinds of aerial platforms can be feasibly extended by using the control allocation matrices and the integrated hardware box. A prototype swarm system based on the proposed architecture is built and the proposed architecture is evaluated through field experiments with a scale of 21 fixed-wing UAVs. Particularly, to the best of our knowledge, this paper is the first work which successfully demonstrates formation flight, target recognition and tracking missions within an integrated architecture for fixed-wing UAV swarms through field experiments.


title: Combinatorial Random Knots

abstract: We explore free knot diagrams, which are projections of knots into the plane which don't record over/under data at crossings. We consider the combinatorial question of which free knot diagrams give which knots and with what probability. Every free knot diagram is proven to produce trefoil knots, and certain simple families of free knots are completely worked out. We make some conjectures (supported by computer-generated data) about bounds on the probability of a knot arising from a fixed free diagram being the unknot, or being the trefoil.


title: Effective viscosities in a hydrodynamically expanding boost-invariant QCD plasma

abstract: Background: The near-equilibrium properties of a QCD plasma can be encoded into transport coefficients such as bulk and shear viscosity. In QCD, the ratio of these transport coefficients to entropy density, $\zeta/s$ and $\eta/s$, depends non-trivially on the plasma's temperature. Purpose: We show that in a 0+1D boost-invariant fluid, a temperature-dependent $\zeta/s(T)$ or $\eta/s(T)$ can be described by an equivalent effective viscosity $\left\langle \zeta/s \right\rangle_{\textrm{eff}}$ or $\left\langle \eta/s \right\rangle_{\textrm{eff}}$. We extend the concept of effective viscosity in systems with transverse expansion, and discuss how effective viscosities can be used to identify families of $\zeta/s(T)$ and $\eta/s(T)$ that lead to similar hydrodynamic evolution. Results: In 0+1D, the effective viscosity is expressed as a simple integral of $\zeta/s(T)$ or $\eta/s(T)$ over temperature, with a weight determined by the speed of sound of the fluid. The result is general for any equation of state with a moderate temperature dependence of the speed of sound, including the QCD equation of state. In 1+1D, a similar definition of effective viscosity is obtained in terms of characteristic trajectories in time and transverse direction. This leads to an infinite number of constraints on an infinite functional space for $\zeta/s(T)$ and $\eta/s(T)$. Conclusions: The definition of effective viscosity in a 0+1D system clarifies how infinite families of $\zeta/s(T)$ and $\eta/s(T)$ can result in nearly identical hydrodynamic temperature profiles. By extending the study to a boost-invariant cylindrical (1+1D) fluid, we identify an approximate but more general definition of effective viscosity that highlight the potential and limits of the concept of effective viscosity in fluids with limited symmetries.


title: Supernovae and photon frequency shift induced by the Standard-Model Extension

abstract: We revisit for 714 SNeIa the discrepancy between the red-shift associated to the distance modulus $\mu$ and the spectroscopic red-shift. Previous work has shown that the total red-shift $z$ might be a combination of the expansion red-shift $z_{\rm C}$ and of a static, blue or red shift $z_{\rm LSV}(r)$, $r$ being the comoving distance. The latter is due to the energy non-conservation of the photon propagating through Electro-Magnetic (EM) background fields (host galaxy, intergalactic and Milky Way), under Lorentz(-Poincar\'e) Symmetry Violation (LSV), associated to the Standard-Model Extension (SME). The non-conservation stems from the vacuum expectation value of the vector and tensor LSV fields. For zero radiation $\Omega_{\rm rad}$ and curvature $\Omega_{\rm k}$ densities, and matter density $\Omega_m = 0.28$, the SN1a positions in the ($\mu$, z) plan are recovered according to the different strengths, orientations, alignments and space-time dependencies of the EM fields and LSV components. The LSV vacuum energy may be thus tantamount to $\Omega_\Lambda \simeq 0.7$, but unrelated to an accelerated expansion. We present models with red or blue-shifts $z_{\rm LSV}$, below $10\%$ of $z$. The $\nu$ frequency variation is below $10^{-19} \Delta \nu/\nu$ per m.


title: Why carbon dioxide makes stellarators so important

abstract: The increasing level of atmospheric carbon dioxide has driven public discourse throughout the world. An immediate implementation of carbon-free energy sources is demanded with little discussion of costs, technical constraints on the sources, or implications of high residual levels of carbon dioxide. Residual carbon-dioxide can be removed from the air, but the cost to remove the carbon-dioxide produced by human activity during a year is thought to be trillions of dollars---otherwise it remains in the atmosphere for centuries. Economic considerations may limit wind and solar sources to less than 40\% of the electricity production. Fission or fusion may be the only choice for most of the rest. Development costs are orders of magnitude smaller than implementation costs, which are tens of trillions of dollars for fission. A needless delay in the development of fusion has enormous financial implications. As will be shown stellarators are better positioned than any other concept for a fast path to fusion. A computationally derived conceptual design for a stellarator reactor may allow final design and construction to be initiated without the delay of intermediate generations of experiments. The most urgent issue is the development of conceptual designs.


title: Meta-Learning Initializations for Image Segmentation

abstract: We extend first-order model agnostic meta-learning algorithms (including FOMAML and Reptile) to image segmentation, present a novel neural network architecture built for fast learning which we call EfficientLab, and leverage a formal definition of the test error of meta-learning algorithms to decrease error on out of distribution tasks. We show state of the art results on the FSS-1000 dataset by meta-training EfficientLab with FOMAML and using Bayesian optimization to infer the optimal test-time adaptation routine hyperparameters. We also construct a small benchmark dataset, FP-k, for the empirical study of how meta-learning systems perform in both few- and many-shot settings. On the FP-k dataset, we show that meta-learned initializations provide value for canonical few-shot image segmentation but their performance is quickly matched by conventional transfer learning with performance being equal beyond 10 labeled examples. Our code, meta-learned model, and the FP-k dataset are available at https://github.com/ml4ai/mliis .


title: Line Formation of Raman-Scattered He II $\lambda$ 4851 in an Expanding Spherical H I Shell in Young Planetary Nebulae

abstract: We investigate line formation of Raman-scattered He II at 4851 in an expanding neutral spherical shell that surrounds a point-like He II source located at the center. A new grid-based Monte Carlo code is used to take into consideration the H I density variation along each photon path. In the case of a monochromatic He II emission source, the resultant line profiles are characterized by an asymmetric double peak structure with a tertiary peak and a significant red tail that may extend to line centers of He II$\lambda$4859 and H$\beta$. The peak separation corresponds to the expansion velocity, which we consider is in the range $20-40{\rm\ km\ s^{-1}}$ in this work. Tertiary red peaks are formed as a result of multiple Rayleigh reflections at the inner surface of a hollow spherical shell of \ion{H}{1}. Due to a sharp increase of scattering cross section near resonance, the overall Raman conversion efficiency is significantly enhanced as the expansion speed increases. In the case of a He II line source with a Gaussian line profile with a full width at half maximum of $30 - 70{\rm\ km\ s^{-1}}$, we obtain distorted redward profiles due to increasing redward cross section of H I. A simple application to the young planetary nebula IC 5117 is consistent with a neutral shell expanding with a speed $\sim 30{\rm\ km\ s^{-1}}$.


title: More Efficient Off-Policy Evaluation through Regularized Targeted Learning

abstract: We study the problem of off-policy evaluation (OPE) in Reinforcement Learning (RL), where the aim is to estimate the performance of a new policy given historical data that may have been generated by a different policy, or policies. In particular, we introduce a novel doubly-robust estimator for the OPE problem in RL, based on the Targeted Maximum Likelihood Estimation principle from the statistical causal inference literature. We also introduce several variance reduction techniques that lead to impressive performance gains in off-policy evaluation. We show empirically that our estimator uniformly wins over existing off-policy evaluation methods across multiple RL environments and various levels of model misspecification. Finally, we further the existing theoretical analysis of estimators for the RL off-policy estimation problem by showing their $O_P(1/\sqrt{n})$ rate of convergence and characterizing their asymptotic distribution.


title: Recoding the Classic H\'enon-Devaney Map

abstract: In this work we are going to consider the classical H\'enon-Devaney map given by \begin{eqnarray*} f: \mathbb{R}^2\setminus \{y=0\} &\rightarrow& \mathbb{R}^2 \\ (x,y) &\mapsto& \left(x+\dfrac{1}{y}, y-\dfrac{1}{y}-x\right) \end{eqnarray*} We are going to construct conjugacy to a subshift of finite type, providing a global understanding of the map's behavior.We extend the coding to a more general class of maps that can be seen as a map in a square with a fixed discontinuity.


title: The Checkered Smocked Space and its Tangent Cone

abstract: Smocked metric spaces were first defined in arXiv:1906.03403 and it was proved that if a norm on the Euclidean space uniformly estimates the pseudometric of a smocked metric space, then the tangent cone at infinity is unique and is a norm vector space with that estimating norm. In this paper, we explicitly calculate the norm approximating the pseudometric of the checkered smocked space and find the tangent cone at infinity.


title: A Practical Solution for SAR Despeckling With Adversarial Learning Generated Speckled-to-Speckled Images

abstract: In this letter, we aim to address a synthetic aperture radar (SAR) despeckling problem with the necessity of neither clean (speckle-free) SAR images nor independent speckled image pairs from the same scene, and a practical solution for SAR despeckling (PSD) is proposed. First, an adversarial learning framework is designed to generate speckled-to-speckled (S2S) image pairs from the same scene in the situation where only single speckled SAR images are available. Then, the S2S SAR image pairs are employed to train a modified despeckling Nested-UNet model using the Noise2Noise (N2N) strategy. Moreover, an iterative version of the PSD method (PSDi) is also presented. Experiments are conducted on both synthetic speckled and real SAR data to demonstrate the superiority of the proposed methods compared with several state-of-the-art methods. The results show that our methods can reach a good tradeoff between feature preservation and speckle suppression.


title: On Privatizing Equilibrium Computation in Aggregate Games over Networks

abstract: We propose a distributed algorithm to compute an equilibrium in aggregate games where players communicate over a fixed undirected network. Our algorithm exploits correlated perturbation to obfuscate information shared over the network. We prove that our algorithm does not reveal private information of players to an honest-but-curious adversary who monitors several nodes in the network. In contrast with differential privacy based algorithms, our method does not sacrifice accuracy of equilibrium computation to provide privacy guarantees.


title: The physics of helical electron beam in a uniform magnetic field as a testing ground of gauge principle

abstract: According to Bliokh et al., allowing free propagation along the direction of a uniform magnetic field, the familiar Landau electron state can be regarded as a non-diffracting version of the helical electron beam propagating along the magnetic field. Based on this observation, they argued that, while propagating along the magnetic field, the Landau electrons receive characteristic rotation with three different angular velocities, depending on the eigen-value $m$ of the canonical OAM operator, which is generally gauge-variant, and this splitting was in fact experimentally confirmed. Through complete analyses of highly mysterious $m$-dependent rotational dynamics of the quantum Landau states, we try to make clear how and why their observation does not contradict the widely-believed gauge principle.


title: Differential tomography of micromechanical evolution in elastic materials of unknown micro/macrostructure

abstract: Differential evolution indicators are introduced for 3D spatiotemporal imaging of micromechanical processes in complex materials where progressive variations due to manufacturing and/or aging are housed in a highly scattering background of a-priori unknown or uncertain structure. In this vein, a three-tier imaging platform is established where: (1) the domain is periodically (or continuously) subject to illumination and sensing in an arbitrary configuration; (2) sequential sets of measured data are deployed to distill segment-wise scattering signatures of the domain's internal structure through carefully constructed, non-iterative solutions to the scattering equation; and (3) the resulting solution sequence is then used to rigorously construct an imaging functional carrying appropriate invariance with respect to the unknown stationary components of the background e.g., pre-existing interstitial boundaries and bubbles. This gives birth to differential indicators that specifically recover the 3D support of micromechanical evolution within a network of unknown scatterers. The direct scattering problem is formulated in the frequency domain where the background is comprised of a random distribution of monolithic fragments. The constituents are connected via highly heterogeneous interfaces of unknown elasticity and dissipation which are subject to spatiotemporal evolution. The support of internal boundaries are sequentially illuminated by a set of incident waves and thus-induced scattered fields are captured over a generic observation surface. The performance of the proposed imaging indicator is illustrated through a set of numerical experiments for spatiotemporal reconstruction of progressive damage zones featuring randomly distributed cracks and bubbles.


title: Functional equations and martingales

abstract: We consider functional equations (Cauchy's, Abel's and some other functional equations) and show that to find general solution of these equations is equivalent to establish that a space-transformation of a Brownian Motion by suitable function (or functions) is a martingale.


title: The SBP Algorithm for Maximizing Revenue in Online Dial-a-Ride

abstract: In the Online-Dial-a-Ride Problem (OLDARP) a server travels through a metric space to serve requests for rides. We consider a variant where each request specifies a source, destination, release time, and revenue that is earned for serving the request. The goal is to maximize the total revenue earned within a given time limit. We prove that no non-preemptive deterministic online algorithm for OLDARP can be guaranteed to earn more than twice the revenue earned by an optimal offline solution. We then investigate the \textsc{segmented best path} ($SBP$) algorithm of~\cite{atmos17} for the general case of weighted graphs. The previously-established lower and upper bounds for the competitive ratio of $SBP$ are 4 and 6, respectively, under reasonable assumptions about the input instance. We eliminate the gap by proving that the competitive ratio is 5 (under the same reasonable assumptions). We also prove that when revenues are uniform, $SBP$ has competitive ratio 4. Finally, we provide a competitive analysis of $SBP$ on complete bipartite graphs.


title: Capelli operators for spherical superharmonics and the Dougall-Ramanujan identity

abstract: Let $(V,\omega)$ be an orthosympectic $\mathbb Z_2$-graded vector space and let $\mathfrak g:=\mathfrak{gosp}(V,\omega)$ denote the Lie superalgebra of similitudes of $(V,\omega)$. When the space $\mathscr P(V)$ of superpolynomials on $V$ is \emph{not} a completely reducible $\mathfrak g$-module, we construct a natural basis $D_\lambda$ of Capelli operators for the algebra of $\mathfrak g$-invariant superpolynomial superdifferential operators on $V$, where the index set $\mathcal P$ is the set of integer partitions of length at most two. We compute the action of the operators $D_\lambda$ on maximal indecomposable components of $\mathscr P(V)$ explicitly, in terms of Knop-Sahi interpolation polynomials. Our results show that, unlike the cases where $\mathscr P(V)$ is completely reducible, the eigenvalues of a subfamily of the $D_\lambda$ are \emph{not} given by specializing the Knop-Sahi polynomials. Rather, the formulas for these eigenvalues involve suitably regularized forms of these polynomials. In addition, we demonstrate a close relationship between our eigenvalue formulas for this subfamily of Capelli operators and the Dougall-Ramanujan hypergeometric identity. We also transcend our results on the eigenvalues of Capelli operators to the Deligne category $\mathsf{Rep}(O_t)$. More precisely, we define categorical Capelli operators $\{\mathbf D_{t,\lambda}\}_{\lambda\in\mathcal P}^{}$ that induce morphisms of indecomposable components of symmetric powers of $\mathsf V_t$, where $\mathsf V_t$ is the generating object of $\mathsf{Rep}(O_t)$. We obtain formulas for the eigenvalue polynomials associated to the $\left\{\mathbf D_{t,\lambda}\right\}_{\lambda\in\mathcal P}$ that are analogous to our results for the operators $\{D_\lambda\}_{\lambda\in\mathcal P}^{}$.


title: Colored unavoidable patterns and balanceable graphs

abstract: We study a Tur\'an-type problem on edge-colored complete graphs. We show that for any $r$ and $t$, any sufficiently large $r$-edge-colored complete graph on $n$ vertices with $\Omega(n^{2-1/tr^r})$ edges in each color contains a member from certain finite family $\mathcal{F}_t^r$ of $r$-edge-colored complete graphs. We conjecture that $\Omega(n^{2-1/t})$ edges in each color are sufficient to find a member from ${\mathcal{F}}_t^r$. A result of Gir\~ao and Narayanan confirms this conjecture when $r=2$. Next, we study a related problem where the corresponding Tur\'an threshold is linear. We call an edge-coloring of a path $P_{rk}$ balanced if each color appears $k$ times in the coloring. We show that any $3$-edge-coloring of a large complete graph with $kn+o(n)$ edges in each color contains a balanced $P_{3k}$. This is tight up to a constant factor of $2$. For more colors, the problem becomes surprisingly more delicate. Already for $r=7$, we show that even $n^{2-o(1)}$ edges from each color does not guarantee existence of a balanced $P_{7k}$.


title: A Lower Dimensional Linear Equation Approach to The M-Tensor Complementarity Problem

abstract: We are interested in finding a solution to the tensor complementarity problem with a strong M-tensor, which we call the M-tensor complementarity problem. We propose a lower dimensional linear equation approach to solve that problem. At each iteration, only a lower dimensional system of linear equation needs to be solved. The coefficient matrices of the lower dimensional linear systems are independent of the iteration after finitely many iterations. We show that starting from zero or some nonnegative point, the method generates a sequence of iterates that converges to a solution of the problem monotonically. We then make an improvement to the method and establish its monotone convergence. At last, we do numerical experiments to test the proposed methods. The results positively support the proposed methods.


title: On the dynamics characterization of complex projective spaces

abstract: We show that a closed weakly-monotone symplectic manifold of dimension $2n$ which has minimal Chern number greater than or equal to $n+1$ and admits a Hamiltonian toric pseudo-rotation is necessarily monotone and its quantum homology is isomorphic to that of the complex projective space. As a consequence when $n=2$, the manifold is symplectomorphic to $\mathbb{C}P^2$.


title: Ground-Based Gravitational-Wave Astronomy in Australia: 2019 White Paper

abstract: The past four years have seen a scientific revolution through the birth of a new field: gravitational-wave astronomy. The first detection of gravitational waves---recognised by the 2017 Nobel Prize in Physics---provided unprecedented tests of general relativity while unveiling a previously unknown class of massive black holes, thirty times more massive than the Sun. The subsequent detection of gravitational waves from a merging binary neutron star confirmed the hypothesised connection between binary neutron stars and short gamma-ray bursts while providing an independent measurement of the expansion of the Universe. The discovery enabled precision measurement of the speed of gravity while shedding light on the origin of heavy elements. At the time of writing, the Laser Interferometer Gravitational-wave Observatory (LIGO) and its European partner, Virgo, have published the detection of eleven gravitational-wave events. New, not-yet-published detections are announced on a nearly weekly basis. This fast-growing catalogue of gravitational-wave transients is expected to yield insights into a number of topics, from the equation of state of matter at supra-nuclear densities to the fate of massive stars. The science potential of 3G observatories is enormous, enabling measurements of gravitational waves from the edge of the Universe and precise determination of the neutron star equation of state. Australia is well-positioned to help develop the required technology. The Mid-term Review for the Decadal plan for Australian astronomy 2016-2025 should consider investment in a scoping study for an Australian Gravitational-Wave Pathfinder that develops and validates core technologies required for the global 3G detector network.


title: Predicting the real-valued distances between residue pairs for proteins

abstract: Predicting protein structure from the amino acid sequence has been a challenge with theoretical and practical significance in biophysics. Despite the recent progresses elicited by improved residue-residue contact prediction, contact-based structure prediction has gradually reached the performance ceiling. New methods have been proposed to predict the residue-residue distance, but unanimously by simplifying the real-valued distance prediction into a multiclass classification problem. Here we show a regression-based distance prediction method, which adopts the generative adversarial network to capture the delicate geometric relationship between residue pairs and thus could predict the continuous, real-valued residue-residue distance satisfactorily. The predicted residue distance map allows rapid structure modeling by the CNS suite, and the constructed models approach at least the same level of quality as the other state-of-the-art protein structure prediction methods when tested on available CASP13 targets. Moreover, this method can be used directly for the structure prediction of membrane proteins without transfer learning.


title: High-Dimensional Granger Causality Tests with an Application to VIX and News

abstract: We study Granger causality testing for high-dimensional time series using regularized regressions. To perform proper inference, we rely on heteroskedasticity and autocorrelation consistent (HAC) estimation of the asymptotic variance and develop the inferential theory in the high-dimensional setting. To recognize the time series data structures we focus on the sparse-group LASSO estimator, which includes the LASSO and the group LASSO as special cases. We establish the debiased central limit theorem for low dimensional groups of regression coefficients and study the HAC estimator of the long-run variance based on the sparse-group LASSO residuals. This leads to valid time series inference for individual regression coefficients as well as groups, including Granger causality tests. The treatment relies on a new Fuk-Nagaev inequality for a class of $\tau$-mixing processes with heavier than Gaussian tails, which is of independent interest. In an empirical application, we study the Granger causal relationship between the VIX and financial news.


title: Varieties in Cages: a Little Zoo of Algebraic Geometry

abstract: A $d^{\{n\}}$-cage $\mathsf K$ is the union of $n$ groups of hyperplanes in $\Bbb P^n$, each group containing $d$ members. The hyperplanes from the distinct groups are in general position, thus producing $d^n$ points, where hyperplanes from all groups intersect. These points are called the nodes of $\mathsf K$. We study the combinatorics of nodes that impose independent conditions on the varieties $X \subset \Bbb P^n$ containing them. We prove that if $X$, given by homogeneous polynomials of degrees $\leq d$, contains the points from such a special set $\mathsf A$ of nodes, then it contains all the nodes of $\mathsf K$. Such a variety $X$ is very special: in particular, $X$ is a complete intersection.


title: Direct observation of cycloidal spin modulation and field-induced transition in N\'eel-type skyrmion-hosting VOSe$_2$O$_5$

abstract: We investigate the spin rotational structure of magnetic skyrmions in a tetragonal polar magnet VOSe2O5 via polarized small-angle neutron scattering (SANS). Spin polarization analysis of the scattered neutrons provides consistent evidence for the cycloidal spin modulation in all the incommensurate phases at zero and non-zero magnetic field along the c axis, including the triangular skyrmion-lattice phase. In the vicinity of the skyrmion phase, we performed extensive SANS measurements to unravel a field-induced incommensurate phase (IC-2 state). We discuss the possibility of anisotropic double-q state as an alternative spin structure to provisional square skyrmion-lattice state.


title: Recruitment-imitation Mechanism for Evolutionary Reinforcement Learning

abstract: Reinforcement learning, evolutionary algorithms and imitation learning are three principal methods to deal with continuous control tasks. Reinforcement learning is sample efficient, yet sensitive to hyper-parameters setting and needs efficient exploration; Evolutionary algorithms are stable, but with low sample efficiency; Imitation learning is both sample efficient and stable, however it requires the guidance of expert data. In this paper, we propose Recruitment-imitation Mechanism (RIM) for evolutionary reinforcement learning, a scalable framework that combines advantages of the three methods mentioned above. The core of this framework is a dual-actors and single critic reinforcement learning agent. This agent can recruit high-fitness actors from the population of evolutionary algorithms, which instructs itself to learn from experience replay buffer. At the same time, low-fitness actors in the evolutionary population can imitate behavior patterns of the reinforcement learning agent and improve their adaptability. Reinforcement and imitation learners in this framework can be replaced with any off-policy actor-critic reinforcement learner or data-driven imitation learner. We evaluate RIM on a series of benchmarks for continuous control tasks in Mujoco. The experimental results show that RIM outperforms prior evolutionary or reinforcement learning methods. The performance of RIM's components is significantly better than components of previous evolutionary reinforcement learning algorithm, and the recruitment using soft update enables reinforcement learning agent to learn faster than that using hard update.


title: Short-duration Speaker Verification (SdSV) Challenge 2021: the Challenge Evaluation Plan

abstract: This document describes the Short-duration Speaker Verification (SdSV) Challenge 2021. The main goal of the challenge is to evaluate new technologies for text-dependent (TD) and text-independent (TI) speaker verification (SV) in a short duration scenario. The proposed challenge evaluates SdSV with varying degree of phonetic overlap between the enrollment and test utterances (cross-lingual). It is the first challenge with a broad focus on systematic benchmark and analysis on varying degrees of phonetic variability on short-duration speaker recognition. We expect that modern methods (deep neural networks in particular) will play a key role.


title: Sigmoidal Inflation

abstract: In this paper we present a new cosmological inflationary model which is constructed using the Ivanov-Salopek-Bond method with a logistic generating function. We derive the inflationary observables as well as the duration and temperature of the subsequent reheating epoch of our model exactly, with no need to recur to the slow roll approximation. The obtained scalar spectral index and tensor-to-scalar ratio of perturbations fall comfortably within the range of the measurements presented by the Planck collaboration. On the other hand, for the reheating era, our model predicts a relatively small number of e-folds and thus high temperatures, still within range of Planck's bounds.


title: Assessing effect heterogeneity of a randomized treatment using conditional inference trees

abstract: Treatment effect heterogeneity occurs when individual characteristics influence the effect of a treatment. We propose a novel approach that combines prognostic score matching and conditional inference trees to characterize effect heterogeneity of a randomized binary treatment. One key feature that distinguishes our method from alternative approaches is that it controls the Type I error rate, i.e., the probability of identifying effect heterogeneity if none exists and retains the underlying subgroups. This feature makes our technique particularly appealing in the context of clinical trials, where there may be significant costs associated with erroneously declaring that effects differ across population subgroups. TEHTrees are able to identify heterogeneous subgroups, characterize the relevant subgroups and estimate the associated treatment effects. We demonstrate the efficacy of the proposed method using a comprehensive simulation study and illustrate our method using a nutrition trial dataset to evaluate effect heterogeneity within a patient population.


title: Identity Preserve Transform: Understand What Activity Classification Models Have Learnt

abstract: Activity classification has observed great success recently. The performance on small dataset is almost saturated and people are moving towards larger datasets. What leads to the performance gain on the model and what the model has learnt? In this paper we propose identity preserve transform (IPT) to study this problem. IPT manipulates the nuisance factors (background, viewpoint, etc.) of the data while keeping those factors related to the task (human motion) unchanged. To our surprise, we found popular models are using highly correlated information (background, object) to achieve high classification accuracy, rather than using the essential information (human motion). This can explain why an activity classification model usually fails to generalize to datasets it is not trained on. We implement IPT in two forms, i.e. image-space transform and 3D transform, using synthetic images. The tool will be made open-source to help study model and dataset design.


title: On subshifts with slow forbidden word growth

abstract: In this work, we treat subshifts, defined in terms of an alphabet $A$ and (usually infinite) forbidden list $F$, where the number of $n$-letter words in $F$ has "slow growth rate" in $n$. We show that such subshifts are well-behaved in several ways; for instance, they are boundedly supermultiplicative as defined by Baker and Ghenciu and they have unique measures of maximal entropy with the K-property and which satisfy Gibbs bounds on large (measure-theoretically) sets. The main tool in our proofs is a more general result which states that bounded supermultiplicativity and a sort of measure-theoretic specification property together imply uniqueness of MME and our Gibbs bounds. We also show that some well-known classes of subshifts can be treated by our results, including the symbolic codings of f(x) = $\alpha + \beta x$ (the so-called $\alpha$-$\beta$ shifts) and the bounded density subshifts of Stanley.


title: Grounding-Tracking-Integration

abstract: In this paper, we study Tracking by Language that localizes the target box sequence in a video based on a language query. We propose a framework called GTI that decomposes the problem into three sub-tasks: Grounding, Tracking, and Integration. The three sub-task modules operate simultaneously and predict the box sequence frame-by-frame. "Grounding" predicts the referred region directly from the language query. "Tracking" localizes the target based on the history of the grounded regions in previous frames. "Integration" generates final predictions by synergistically combining grounding and tracking. With the "integration" task as the key, we explore how to indicate the quality of the grounded regions in each frame and achieve the desired mutually beneficial combination. To this end, we propose an "RT-integration" method that defines and predicts two scores to guide the integration: 1) R-score represents the Region correctness whether the grounding prediction accurately covers the target, and 2) T-score represents the Template quality whether the region provides informative visual cues to improve tracking in future frames. We present our real-time GTI implementation with the proposed RT-integration, and benchmark the framework on LaSOT and Lingual OTB99 with highly promising results. Moreover, we produce a disambiguated version of LaSOT queries to facilitate future tracking by language studies.


title: Point-ahead demonstration of a transmitting antenna for satellite quantum communication

abstract: A low-divergence beam is an essential prerequisite for a high-efficiency longdistance optical link, particularly for satellite-based quantum communication. A point-ahead angle, caused by satellite motion, is always several times larger than the divergence angle of the signal beam. We design a novel transmitting antenna with a point-ahead function, and provide an easy-to-perform calibration method with an accuracy better than 0.2 urad. Subsequently, our antenna establishes an uplink to the quantum satellite, Micius, with a link loss of 41-52 dB over a distance of 500-1,400 km. The results clearly confirm the validity of our model, and provide the ability to conduct quantum communications. Our approach can be adopted in various free space optical communication systems between moving platforms.


title: Polarization design for ground-to-satellite quantum entanglement distribution

abstract: Polarization maintenance is a key technology for free-space quantum communication. In this paper, we describe a polarization maintenance design of a transmitting antenna with an average polarization extinction ratio of 887 : 1 by a local test. We implemented a feasible polarization-compensation scheme for satellite motions that has a polarization fidelity more than 0.995. Finally, we distribute entanglement to a satellite from ground for the first time with a violation of Bell inequality by 2.312+-0.096.


title: Small Object Detection using Context and Attention

abstract: There are many limitations applying object detection algorithm on various environments. Especially detecting small objects is still challenging because they have low resolution and limited information. We propose an object detection method using context for improving accuracy of detecting small objects. The proposed method uses additional features from different layers as context by concatenating multi-scale features. We also propose object detection with attention mechanism which can focus on the object in image, and it can include contextual information from target layer. Experimental results shows that proposed method also has higher accuracy than conventional SSD on detecting small objects. Also, for 300$\times$300 input, we achieved 78.1% Mean Average Precision (mAP) on the PASCAL VOC2007 test set.


title: Synthetic Control Inference for Staggered Adoption: Estimating the Dynamic Effects of Board Gender Diversity Policies

abstract: We introduce a synthetic control methodology to study policies with staggered adoption. Many policies, such as the board gender quota, are replicated by other policy setters at different time frames. Our method estimates the dynamic average treatment effects on the treated using variation introduced by the staggered adoption of policies. Our method gives asymptotically unbiased estimators of many interesting quantities and delivers asymptotically valid inference. By using the proposed method and national labor data in Europe, we find evidence that quota regulation on board diversity leads to a decrease in part-time employment, and an increase in full-time employment for female professionals.


title: Sim2Real Predictivity: Does Evaluation in Simulation Predict Real-World Performance?

abstract: Does progress in simulation translate to progress on robots? If one method outperforms another in simulation, how likely is that trend to hold in reality on a robot? We examine this question for embodied PointGoal navigation, developing engineering tools and a research paradigm for evaluating a simulator by its sim2real predictivity. First, we develop Habitat-PyRobot Bridge (HaPy), a library for seamless execution of identical code on simulated agents and robots, transferring simulation-trained agents to a LoCoBot platform with a one-line code change. Second, we investigate the sim2real predictivity of Habitat-Sim for PointGoal navigation. We 3D-scan a physical lab space to create a virtualized replica, and run parallel tests of 9 different models in reality and simulation. We present a new metric called Sim-vs-Real Correlation Coefficient (SRCC) to quantify predictivity. We find that SRCC for Habitat as used for the CVPR19 challenge is low (0.18 for the success metric), suggesting that performance differences in this simulator-based challenge do not persist after physical deployment. This gap is largely due to AI agents learning to exploit simulator imperfections, abusing collision dynamics to 'slide' along walls, leading to shortcuts through otherwise non-navigable space. Naturally, such exploits do not work in the real world. Our experiments show that it is possible to tune simulation parameters to improve sim2real predictivity (e.g. improving $SRCC_{Succ}$ from 0.18 to 0.844), increasing confidence that in-simulation comparisons will translate to deployed systems in reality.


title: Queueing Analysis of GPU-Based Inference Servers with Dynamic Batching: A Closed-Form Characterization

abstract: GPU-accelerated computing is a key technology to realize high-speed inference servers using deep neural networks (DNNs). An important characteristic of GPU-based inference is that the computational efficiency, in terms of the processing speed and energy consumption, drastically increases by processing multiple jobs together in a batch. In this paper, we formulate GPU-based inference servers as a batch service queueing model with batch-size dependent processing times. We first show that the energy efficiency of the server monotonically increases with the arrival rate of inference jobs, which suggests that it is energy-efficient to operate the inference server under a utilization level as high as possible within a latency requirement of inference jobs. We then derive a closed-form upper bound for the mean latency, which provides a simple characterization of the latency performance. Through simulation and numerical experiments, we show that the exact value of the mean latency is well approximated by this upper bound. We further compare this upper bound with the latency curve measured in real implementation of GPU-based inference servers and we show that the real performance curve is well explained by the derived simple formula.


title: Symmetry-Protected Topological Phase for Spin-Tensor-Momentum-Coupled Ultracold Atoms

abstract: We propose a realizable experiment scheme to construct a one-dimensional synthetic magnetic flux lattice with spin-tensor-momentum coupled spin-1 atoms and explore its exotic topological states. Different from the Altland-Zirnbauer classification, we show that our system hosts a symmetryprotected phase protected by a magnetic group symmetry (M) and characterized by a Z2 topological invariant. In single-particle spectra, we show that the topological nontrivial phase supports two kinds of edge states, which include two (four) zero-energy edge modes in the absence (presence) of two-photon detuning. We further study the bulk-edge correspondence in a non-Hermitian model by taking into account the particle dissipation. It is shown that the non-Hermitian system preserves the bulk-edge correspondence under the M symmetry but exhibits the non-Hermitian skin effect with breaking the M symmetry at nonzero magnetic flux. This work provides insights in understanding the exotic topological quantum states of high-spin systems and facilitating their experimental explorations.


title: Down to the Last Detail: Virtual Try-on with Detail Carving

abstract: Virtual try-on under arbitrary poses has attracted lots of research attention due to its huge potential applications. However, existing methods can hardly preserve the details in clothing texture and facial identity (face, hair) while fitting novel clothes and poses onto a person. In this paper, we propose a novel multi-stage framework to synthesize person images, where rich details in salient regions can be well preserved. Specifically, a multi-stage framework is proposed to decompose the generation into spatial alignment followed by a coarse-to-fine generation. To better preserve the details in salient areas such as clothing and facial areas, we propose a Tree-Block (tree dilated fusion block) to harness multi-scale features in the generator networks. With end-to-end training of multiple stages, the whole framework can be jointly optimized for results with significantly better visual fidelity and richer details. Extensive experiments on standard datasets demonstrate that our proposed framework achieves the state-of-the-art performance, especially in preserving the visual details in clothing texture and facial identity. Our implementation will be publicly available soon.


title: Thermonuclear Reaction Rate of $^{30}$Si(p,$\gamma$)$^{31}$P

abstract: Silicon synthesis in high-temperature hydrogen burning environments presents one possible avenue for the study of abundance anomalies in globular clusters. This was suggested in a previous study, which found that the large uncertainties associated with the $^{30}$Si(p,$\gamma$)$^{31}$P reaction rate preclude a firm understanding of the stellar conditions that give rise to the Mg-K anti-correlation observed in the globular cluster NGC 2419. In an effort to improve the reaction rate, we present new strength measurements of the $E_r^{lab} = 435$ keV and $E_r^{lab} = 501$ keV resonances in $^{30}$Si(p,$\gamma$)$^{31}$P. For the former, which was previously unobserved, we obtain a resonance strength of $\omega\gamma = (1.28 \pm 0.25$) $\times 10^{-4}$ eV. For the latter, we obtain a value of $\omega\gamma = (1.88 \pm 0.14)$ $\times 10^{-1}$ eV, which has a smaller uncertainty compared to previously measured strengths. Based on these results, the thermonuclear reaction rate has been re-evaluated. The impact of the new measurements is to lower the reaction rate by a factor of $\approx$10 at temperatures important to the study of NGC 2419. The rate uncertainty at these temperatures has also been reduced significantly.


title: Differential Subordinations for Starlike Functions Associated With A Nephroid Domain

abstract: Let $\mathcal{A}$ be the set of all analytic functions $f$ defined in the open unit disk $\mathbb{D}$ and satisfying $f(0)=f'(0)-1=0$. In this paper, we consider the function $\varphi_{\scriptscriptstyle {Ne}}(z):=1+z-z^3/3$, which maps the unit circle $\{z:|z|=1\}$ onto a $2$-cusped curve called nephroid given by $\left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0$, and the function class $\mathcal{S}^*_{Ne}$ defined as \begin{align*} \mathcal{S}^*_{Ne}:=\left\{f\in\mathcal{A}:\frac{zf'(z)}{f(z)}\prec\varphi_{\scriptscriptstyle {Ne}}(z)\right\}, \end{align*} where $\prec$ denotes subordination. We obtain sharp estimates on $\beta\in\mathbb{R}$ so that the first-order differential subordination \begin{align*} 1+\beta\frac{zp'(z)}{p^j(z)}\prec\mathcal{P}(z), \quad j=0,1,2 \end{align*} implies $p\prec\varphi_{\scriptscriptstyle{Ne}}$, where $\mathcal{P}(z)$ is certain Carath\'{e}odory function with nice geometrical properties and $p(z)$ is analytic satisfying $p(0)=1$. Moreover, we use properties of Gaussian hypergeometric function in order to get the subordination $p\prec\varphi_{\scriptscriptstyle{Ne}}$ whenever $p(z)+\beta zp'(z)\prec\sqrt{1+z}$ or $1+z$. As applications, we establish sufficient conditions for $f\in\mathcal{A}$ to be in the class $\mathcal{S}^*_{Ne}$.


title: Nonnegative Whitney Extension Problem for $C^1(\mathbb{R}^n)$

abstract: Let $ f $ be a real-valued function on a compact subset in $ \mathbb{R}^n $. We show how to decide if $ f $ extends to a nonnegative and $ C^1 $ function on $ \mathbb{R}^n $. There has been no known result for nonnegative $ C^m $ extension from a general compact set $ E $ when $ m > 0 $. The nonnegative extension problem for $ m \geq 2 $ remains open.


title: Radius Problems For Functions Associated with a Nephroid Domai

abstract: Let $\mathcal{S}^*_{Ne}$ be the collection of all analytic functions $f(z)$ defined on the open unit disk $\mathbb{D}$ and satisfying the normalizations $f(0)=f'(0)-1=0$ such that the quantity $zf'(z)/f(z)$ assumes values from the range of the function $\varphi_{\scriptscriptstyle{Ne}}(z):=1+z-z^3/3\,,z\in\mathbb{D}$, which is the interior of the nephroid given by \begin{align*} \left((u-1)^2+v^2-\frac{4}{9}\right)^3-\frac{4 v^2}{3}=0. \end{align*} In this work, we find sharp $\mathcal{S}^*_{Ne}$-radii for several geometrically defined function classes introduced in the recent past. In particular, $\mathcal{S}^*_{Ne}$-radius for the starlike class $\mathcal{S}^*$ is found to be $1/4$. Moreover, radii problems related to the families defined in terms of ratio of functions are also discussed. Sharpness of certain radii estimates are illustrated graphically.


title: Toward Automatic Threat Recognition for Airport X-ray Baggage Screening with Deep Convolutional Object Detection

abstract: For the safety of the traveling public, the Transportation Security Administration (TSA) operates security checkpoints at airports in the United States, seeking to keep dangerous items off airplanes. At these checkpoints, the TSA employs a fleet of X-ray scanners, such as the Rapiscan 620DV, so Transportation Security Officers (TSOs) can inspect the contents of carry-on possessions. However, identifying and locating all potential threats can be a challenging task. As a result, the TSA has taken a recent interest in deep learning-based automated detection algorithms that can assist TSOs. In a collaboration funded by the TSA, we collected a sizable new dataset of X-ray scans with a diverse set of threats in a wide array of contexts, trained several deep convolutional object detection models, and integrated such models into the Rapiscan 620DV, resulting in functional prototypes capable of operating in real time. We show performance of our models on held-out evaluation sets, analyze several design parameters, and demonstrate the potential of such systems for automated detection of threats that can be found in airports.


title: Size Effect in Electron Paramagnetic Resonance Spectra of Impurity Centers in Diamond Nanoparticles

abstract: The evolution of the polycrystalline pattern of electron paramagnetic resonance (EPR) spectra of intrinsic and induced paramagnetic centers in an ensemble of submicrometer diamond particles on diminishing average particle size is considered. Recent experimental data unambiguously demonstrate consistent reduction and then zeroing of typical hyperfine pattern from P1 centers on approaching a certain particle size and below it. These changes are accompanied by appearance and strengthening of new structureless signals. In small particles the electron wave function of a surface paramagnetic center is delocalized over the whole nanoparticle. In result the electron spin "experiences" the average field of all surrounding nuclei, which is zero. At the same time, the paramagnetic centers localized in the bulk of a nanoparticle are also cut off the hyperfine interaction due to the electron spin diffusion. Thus, upon the nanodiamond particle size decreases the hyperfine related features of the polycrystalline EPR spectrum become weaker and the spectrum appear to be structureless.


title: A Guide to Design Disturbance Observer

abstract: The goal of this paper is to clarify the robustness and performance constraints in the design of control systems based on disturbance observer (DOB). Although the bandwidth constraints of a DOB have long been very well-known by experiences and observations, they have not been formulated and clearly reported yet. In this regard, the Bode and Poisson integral formulas are utilized in the robustness analysis so that the bandwidth constraints of a DOB are derived analytically. In this paper, it is shown that the bandwidth of a DOB has upper and lower bounds to obtain good robustness if the plant has non-minimum phase zero(s) and pole(s), respectively. Besides that the performance of a system can be improved by using a higher-order disturbance observer (HODOB); however, the robustness may deteriorate, and the bandwidth constraints become more severe. New analysis and design methods, which provide good robustness and predefined performance criteria, are proposed for the DOB based robust control systems. The validity of the proposals are verified by simulation results.


title: TopoAct: Visually Exploring the Shape of Activations in Deep Learning

abstract: Deep neural networks such as GoogLeNet, ResNet, and BERT have achieved impressive performance in tasks such as image and text classification. To understand how such performance is achieved, we probe a trained deep neural network by studying neuron activations, i.e., combinations of neuron firings, at various layers of the network in response to a particular input. With a large number of inputs, we aim to obtain a global view of what neurons detect by studying their activations. In particular, we develop visualizations that show the shape of the activation space, the organizational principle behind neuron activations, and the relationships of these activations within a layer. Applying tools from topological data analysis, we present TopoAct, a visual exploration system to study topological summaries of activation vectors. We present exploration scenarios using TopoAct that provide valuable insights into learned representations of neural networks. We expect TopoAct to give a topological perspective that enriches the current toolbox of neural network analysis, and to provide a basis for network architecture diagnosis and data anomaly detection.


title: An Adaptive Reaction Force Observer Design

abstract: In this paper, a new adaptive design method is proposed for reaction force observer (RFOB) based robust force control systems. It is a well-known fact that an RFOB has several superiorities over a force sensor such as higher force control bandwidth, stability improvement, force-sensorless force control, and so on. However, there are insufficient analysis and design methods for an RFOB based robust force control system; therefore, its stability and performance highly depend on designers own experiences. To overcome this issue, new stability analysis and novel adaptive design methods are proposed for RFOB based robust force control systems. In the proposed adaptive design method, the design parameters of the robust force control system, i.e., the bandwidths of a disturbance observer (DOB) and an RFOB, the nominal and identified inertias in the design of a DOB and an RFOB, respectively, and the force control gain, are adjusted automatically by using an adaptive control algorithm which is derived by estimating the plant parameters and environmental impedance. The proposed adaptive design method provides good stability and performance by considering the design constraints of a DOB. The validity of the proposals is verified by simulation and experimental results.


title: Progress toward optimizing energy and arrival-time resolution with a transition-edge sensor from simulations of X-ray-photon events

abstract: Superconducting transition-edge sensors (TESs) carried by X-ray telescopes are powerful tools for the study of neutron stars and black holes. Several methods, such as optimal filtering or principal component analysis, have already been developed to analyse X-ray data from these sensors. However, these techniques may be hard to implement in space. Our goal is to develop a lower-computational-cost technique that optimizes energy and time resolution when X-ray photons are detected by a TES. TESs exhibit a non-linear response with photon energy. Therefore, at low energies we focus on the current-pulse height whereas at high energies we consider the current-pulse width, to retrieve energy and arrival time of X-ray photons. For energies between 0.1 keV and 30 keV and with a sampling rate of 195 kHz, we obtain an energy resolution (full width at half the maximum) between 1.32 eV and 2.98 eV. We also get an arrival-time resolution (full duration at half the maximum) between 163 ns and 3.85 ns. To improve the accuracy of these results it will be essential to get a thorough description of non-stationary noise in a TES, and to develop a robust on-board identification method of pile-up events.


title: Comparison of Wiener index and Zagreb eccentricity indices

abstract: The first and the second Zagreb eccentricity index of a graph $G$ are defined as $E_1(G)=\sum_{v\in V(G)}\varepsilon_{G}(v)^{2}$ and $E_2(G)=\sum_{uv\in E(G)}\varepsilon_{G}(u)\varepsilon_{G}(v)$, respectively, where $\varepsilon_G(v)$ is the eccentricity of a vertex $v$. In this paper the invariants $E_1$, $E_2$, and the Wiener index are compared on graphs with diameter $2$, on trees, on a newly introduced class of universally diametrical graphs, and on Cartesian product graphs. In particular, if the diameter of a tree $T$ is not too big, then $W(T) \ge E_2(T)$ holds, and if the diameter of $T$ is large, then $W(T) < E_1(T)$ holds.


title: Additive-error fine-grained quantum supremacy

abstract: It is known that several sub-universal quantum computing models, such as the IQP model, the Boson sampling model, the one-clean qubit model, and the random circuit model, cannot be classically simulated in polynomial time under certain conjectures in classical complexity theory. Recently, these results have been improved to "fine-grained" versions where even exponential-time classical simulations are excluded assuming certain classical fine-grained complexity conjectures. All these fine-grained results are, however, about the hardness of strong simulations or multiplicative-error sampling. It was open whether any fine-grained quantum supremacy result can be shown for additive-error sampling. In this paper, we show the additive-error fine-grained quantum supremacy. As examples, we consider the IQP model, a mixture of the IQP model and log-depth Boolean circuits, and Clifford+$T$ circuits. Similar results should hold for other sub-universal models.


title: Eliminating Tame Ramification: generalizations of Abhyankar's Lemma

abstract: A basic version of Abhyankar's Lemma states that for two finite extensions $L$ and $F$ of a local field $K$, if $L|K$ is tamely ramified and if the ramification index of $L|K$ divides the ramification index of $F|K$, then the compositum $L.F$ is an unramified extension of $F$. In this paper, we generalize the result to valued fields with value groups of rational rank 1, and show that the latter condition is necessary. Replacing the condition on the ramification indices by the condition that the value group of $L$ be contained in that of $F$, we generalize the result further in order to give a necessary and sufficient condition for the elimination of tame ramification of an arbitrary extension $F|K$ by a suitable algebraic extension of the base field $K$. In addition, we derive more precise ramification theoretical statements and give several examples.


title: Geodesic rays and exponents in ergodic planar first passage percolation

abstract: We study first passage percolation on the plane for a family of invariant, ergodic measures on $\mathbb{Z}^2$. We prove that for all of these models the asymptotic shape is the $\ell$-$1$ ball and that there are exactly four infinite geodesics starting at the origin a.s. In addition we determine the exponents for the variance and wandering of finite geodesics. We show that the variance and wandering exponents do not satisfy the relationship of $\chi=2\xi-1$ which is expected for independent first passage percolation.


title: Fourth-Order Topological Insulator via Dimensional Reduction

abstract: The properties of topological systems are inherently tied to their dimensionality. Higher-dimensional physical systems exhibit topological properties not shared by their lower dimensional counterparts and, in general, offer richer physics. One example is a d-dimensional quantized multipole topological insulator, which supports multipoles of order up to 2^d and a hierarchy of gapped boundary modes with topological 0-D corner modes at the top. While multipole topological insulators have been successfully realized in electromagnetic and mechanical 2D systems with quadrupole polarization, and a 3D octupole topological insulator was recently demonstrated in acoustics, going beyond the three physical dimensions of space is an intriguing and challenging task. In this work, we apply dimensional reduction to map a 4D higher-order topological insulator (HOTI) onto an equivalent aperiodic 1D array sharing the same spectrum, and emulate in this system the properties of a hexadecapole topological insulator. We observe the 1D counterpart of zero-energy states localized at 4D HOTI corners - the hallmark of multipole topological phase. Interestingly, the dimensional reduction guarantees that one of the 4D corner states remains localized to the edge of the 1D array, while all other localize in the bulk and retain their zero-energy eigenvalues. This discovery opens new directions in multi-dimensional topological physics arising in lower-dimensional aperiodic systems, and it unveils highly unusual resonances protected by topological properties inherited from higher dimensions.


title: Condition for directly testing scalar modes of gravitational waves by four detectors

abstract: General metric theories in a four-dimensional spacetime allow at most six polarization states (two spin-0, two spin-1 and two spin-2) of gravitational waves (GWs). If a sky location of a GW source with the electromagnetic counterpart satisfies a single equation that we propose in this paper, both the spin-1 modes and spin-2 ones can be eliminated from a certain combination of strain outputs at four ground-based GW interferometers (e.g. a network of aLIGO-Hanford, aLIGO-Livingston, Virgo and KAGRA), where this equation describes curves on the celestial sphere. This means that, if a GW source is found in the curve (or its neighborhood practically), a direct test of scalar (spin-0) modes separately from the other (vector and tensor) modes become possible in principle. The possibility of such a direct test is thus higher than an earlier expectation (Hagihara et al. PRD, 100, 064010, 2019), in which they argued that the vector modes could not be completely eliminated. We discuss also that adding the planned LIGO-India detector as a fifth detector will increase the feasibility of scalar polarization tests.


title: Uncertainty Visualization of 2D Morse Complex Ensembles Using Statistical Summary Maps

abstract: Morse complexes are gradient-based topological descriptors with close connections to Morse theory. They are widely applicable in scientific visualization as they serve as important abstractions for gaining insights into the topology of scalar fields. Noise inherent to scalar field data due to acquisitions and processing, however, limits our understanding of the Morse complexes as structural abstractions. We, therefore, explore uncertainty visualization of an ensemble of 2D Morse complexes that arise from scalar fields coupled with data uncertainty. We propose statistical summary maps as new entities for capturing structural variations and visualizing positional uncertainties of Morse complexes in ensembles. Specifically, we introduce two types of statistical summary maps -- the Probabilistic Map and the Survival Map -- to characterize the uncertain behaviors of local extrema and local gradient flows, respectively. We demonstrate the utility of our proposed approach using synthetic and real-world datasets.


title: MM Algorithms for Distance Covariance based Sufficient Dimension Reduction and Sufficient Variable Selection

abstract: Sufficient dimension reduction (SDR) using distance covariance (DCOV) was recently proposed as an approach to dimension-reduction problems. Compared with other SDR methods, it is model-free without estimating link function and does not require any particular distributions on predictors (see Sheng and Yin, 2013, 2016). However, the DCOV-based SDR method involves optimizing a nonsmooth and nonconvex objective function over the Stiefel manifold. To tackle the numerical challenge, we novelly formulate the original objective function equivalently into a DC (Difference of Convex functions) program and construct an iterative algorithm based on the majorization-minimization (MM) principle. At each step of the MM algorithm, we inexactly solve the quadratic subproblem on the Stiefel manifold by taking one iteration of Riemannian Newton's method. The algorithm can also be readily extended to sufficient variable selection (SVS) using distance covariance. We establish the convergence property of the proposed algorithm under some regularity conditions. Simulation studies show our algorithm drastically improves the computation efficiency and is robust across various settings compared with the existing method. Supplemental materials for this article are available.


title: Maintaining Ferment: On Opinion Control Over Social Networks

abstract: We consider the design of external inputs to achieve a control objective on the opinions, represented by scalars, in a social network. The opinion dynamics follow a variant of the discrete-time Friedkin-Johnsen model. We first consider two minimum cost optimal control problems over a finite interval $(T_0,T),$ $T_0 >0$ -- (1) TF where opinions at all nodes should exceed a given $\tau,$ and (2) GF where a scalar function of the opinion vector should exceed a given $\tau.$ For both problems we first provide a Pontryagin maximum principle (PMP) based control function when the controllable nodes are specified. We then show that both these problems exhibit the turnpike property where both the control function and the state vectors stay near their equilibrium for a large fraction of the time. This property is then used to choose the optimum set of controllable nodes. We then consider a third system, MF, which is a cost-constrained optimal control problem where we maximize the minimum value of a scalar function of the opinion vector over $(T_0,T).$ We provide a numerical algorithm to derive the control function for this problem using non-smooth PMP based techniques. Extensive numerical studies illustrate the three models, control techniques and corresponding outcomes.


title: LHC constraints on $W^\prime,~Z^\prime$ that couple mainly to third generation fermions

abstract: We use the results of CMS and ATLAS searches for resonances that decay to $\tau\nu$ or $tb$ and $\tau^+\tau^-$ or $t\bar t$ final states to constrain the parameters of non-universal $W^\prime$ and $Z^\prime$ gauge bosons that couple preferentially to the third generation. For the former we consider production from $c\bar{b}$ annihilation and find very weak constraints on the strength of the interaction and only for the mass range between 800 and 1100 GeV from the $pp \to \tau_h p_T^{\rm miss}$ channel. The constraints on the latter are much stronger and arise from both $t\bar t$ and $\tau^+\tau^-$ production. Treated separately, we find that the weak constraints on the $W^\prime$ still permit an explanation of the $R(D^{(\star)})$ anomalies with a light sterile neutrino whereas the stronger constraints on the $Z^\prime$ exclude significant light sterile neutrino contributions to the $K \to \pi \nu \bar\nu$ rates. Within specific models the masses of $W^\prime$ and $Z^\prime$ are of course related and we briefly discuss the consequences.


title: The Irrationality Measure of Pi is at most 7.103205334137...

abstract: We use a variant of Salikhov's ingenious proof that the irrationality measure of $\pi$ is at most $7.606308\dots$ to prove that, in fact, it is at most $7.103205334137\dots$. Accompanying Maple package: While this article has a fully rigorous human-made and human-readable proof of the claim in the title, it was discovered thanks to the Maple package available from http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pimeas.html


title: Network Data

abstract: Many economic activities are embedded in networks: sets of agents and the (often) rivalrous relationships connecting them to one another. Input sourcing by firms, interbank lending, scientific research, and job search are four examples, among many, of networked economic activities. Motivated by the premise that networks' structures are consequential, this chapter describes econometric methods for analyzing them. I emphasize (i) dyadic regression analysis incorporating unobserved agent-specific heterogeneity and supporting causal inference, (ii) techniques for estimating, and conducting inference on, summary network parameters (e.g., the degree distribution or transitivity index); and (iii) empirical models of strategic network formation admitting interdependencies in preferences. Current research challenges and open questions are also discussed.


title: A Method for Arbitrary Instance Style Transfer

abstract: The ability to synthesize style and content of different images to form a visually coherent image holds great promise in various applications such as stylistic painting, design prototyping, image editing, and augmented reality. However, the majority of works in image style transfer have focused on transferring the style of an image to the entirety of another image, and only a very small number of works have experimented on methods to transfer style to an instance of another image. Researchers have proposed methods to circumvent the difficulty of transferring style to an instance in an arbitrary shape. In this paper, we propose a topologically inspired algorithm called Forward Stretching to tackle this problem by transforming an instance into a tensor representation, which allows us to transfer style to this instance itself directly. Forward Stretching maps pixels to specific positions and interpolate values between pixels to transform an instance to a tensor. This algorithm allows us to introduce a method to transfer arbitrary style to an instance in an arbitrary shape. We showcase the results of our method in this paper.


title: Learned Video Compression via Joint Spatial-Temporal Correlation Exploration

abstract: Traditional video compression technologies have been developed over decades in pursuit of higher coding efficiency. Efficient temporal information representation plays a key role in video coding. Thus, in this paper, we propose to exploit the temporal correlation using both first-order optical flow and second-order flow prediction. We suggest an one-stage learning approach to encapsulate flow as quantized features from consecutive frames which is then entropy coded with adaptive contexts conditioned on joint spatial-temporal priors to exploit second-order correlations. Joint priors are embedded in autoregressive spatial neighbors, co-located hyper elements and temporal neighbors using ConvLSTM recurrently. We evaluate our approach for the low-delay scenario with High-Efficiency Video Coding (H.265/HEVC), H.264/AVC and another learned video compression method, following the common test settings. Our work offers the state-of-the-art performance, with consistent gains across all popular test sequences.


title: The Bell theorem revisited: geometric phases in gauge theories

abstract: The Bell theorem stands as an insuperable roadblock in the path to a very desired intuitive solution of the EPR paradox and, hence, it lies at the core of the current lack of a clear interpretation of the quantum formalism. The theorem states through an experimentally testable inequality that the predictions of quantum mechanics for the Bell polarization states of two entangled particles cannot be reproduced by any statistical model of hidden variables that shares certain intuitive features. In this paper, we show, however, that the proof of the Bell theorem involves a subtle, though crucial, assumption that is not required by fundamental physical principles and, hence, it is not necessarily fulfilled in the experimental setup that tests the inequality. Indeed, this assumption can neither be properly implemented within the standard framework of quantum mechanics. Namely, the proof of the theorem assumes that there exists a preferred absolute frame of reference, supposedly provided by the lab, which enables to compare the orientation of the polarization measurement devices for successive realizations of the experiment and, hence, to define jointly their response functions over the space of hypothetical hidden configurations for all their possible alternative settings. We notice, however, that only the relative orientation between the two measurement devices in every single realization of the experiment is a properly defined physical degree of freedom, while their global rigid orientation is a spurious gauge degree of freedom. Hence, the preferred frame of reference required by the proof of the Bell theorem does not necessarily exist. Following this observation, we build an explicitly local model of hidden variables that reproduces the predictions of quantum mechanics for the Bell states.


title: Speckle correlation as a monitor of X-ray free electron laser induced crystal lattice deformation

abstract: X-ray free electron lasers (X-FELs) present new opportunities to study ultrafast lattice dynamics in complex materials. While the unprecedented source brilliance enables high fidelity measurement of structural dynamics, it also raises experimental challenges related to the understanding and control of beam-induced irreversible structural changes in samples that can ultimately impact the interpretation of experimental results. This is also important for designing reliable high performance X-ray optical components. In this work, we investigate X-FEL beam-induced lattice alterations by measuring the shot-to-shot evolution of near-Bragg coherent scattering from a single crystalline germanium sample. We show that X-ray photon correlation analysis of sequential speckle patterns measurements can be used to monitor the nature and extent of lattice rearrangements. Abrupt, irreversible changes are observed following intermittent high-fluence monochromatic X-ray pulses, thus revealing the existence of a threshold response to X-FEL pulse intensity.


title: Ergodicity Conditions For Controlled Stochastic Non-Linear Systems Under Information Constraints

abstract: Consider a stochastic nonlinear system controlled over a possibly noisy communication channel. An important problem is to characterize the largest class of channels for which there exist coding and control policies so that the closed-loop system is stochastically stable. In this paper, we consider the stability notion of (asymptotic) ergodicity. We prove lower bounds on the channel capacity necessary to achieve the stability criterion. Under mild technical assumptions, we obtain that the necessary channel capacity is lower bounded by the log-determinant of the linearization, double-averaged over the state and noise space. We prove this bound by introducing a modified version of invariance entropy and utilizing the almost sure convergence of sample paths guaranteed by the pointwise ergodic theorem. The fundamental bounds obtained generalize well-known formulas for linear systems, and are in some cases more refined than those obtained for nonlinear systems via information-theoretic methods.


title: Random Access with Opportunity Detection in Wireless Networks

abstract: This letter proposes a novel random medium access control (MAC) based on a transmission opportunity prediction, which can be measured in a form of a conditional success probability given transmitter-side interference. A transmission probability depends on the opportunity prediction, preventing indiscriminate transmissions and reducing excessive interference causing collisions. Using stochastic geometry, we derive a fixed-point equation to provide the optimal transmission probability maximizing a proportionally fair throughput. Its approximated solution is given in closed form. The proposed MAC is applicable to full-duplex networks, leading to significant throughput improvement by allowing more nodes to transmit.


title: Elastic registration based on compliance analysis and biomechanical graph matching

abstract: An automatic elastic registration method suited for vascularized organs is proposed. The vasculature in both the preoperative and intra-operative images is represented as a graph. A typical application of this method is the fusion of pre-operative information onto the organ during surgery, to compensate for the limited details provided by the intra-operative imaging modality (e.g. CBCT) and to cope with changes in the shape of the organ. Due to image modalities differences and organ deformation, each graph has a different topology and shape. The Adaptive Compliance Graph Matching (ACGM) method presented does not require any manual initialization, handles intra-operative nonrigid deformations of up to 65 mm and computes a complete displacement field over the organ from only the matched vasculature. ACGM is better than the previous Biomechanical Graph Matching method 3 (BGM) because it uses an efficient biomechanical vascularized liver model to compute the organ's transformation and the vessels bifurcations compliance. This allows to efficiently find the best graph matches with a novel compliance-based adaptive search. These contributions are evaluated on ten realistic synthetic and two real porcine automatically segmented datasets. ACGM obtains better target registration error (TRE) than BGM, with an average TRE in the real datasets of 4.2 mm compared to 6.5 mm, respectively. It also is up to one order of magnitude faster, less dependent on the parameters used and more robust to noise.


title: Bonn Activity Maps: Dataset Description

abstract: The key prerequisite for accessing the huge potential of current machine learning techniques is the availability of large databases that capture the complex relations of interest. Previous datasets are focused on either 3D scene representations with semantic information, tracking of multiple persons and recognition of their actions, or activity recognition of a single person in captured 3D environments. We present Bonn Activity Maps, a large-scale dataset for human tracking, activity recognition and anticipation of multiple persons. Our dataset comprises four different scenes that have been recorded by time-synchronized cameras each only capturing the scene partially, the reconstructed 3D models with semantic annotations, motion trajectories for individual people including 3D human poses as well as human activity annotations. We utilize the annotations to generate activity likelihoods on the 3D models called activity maps.


title: Electrically charged Andreev modes in two-dimensional tilted Dirac cone systems

abstract: In a graphene-based Josephson junction, the Andreev reflection can become specular which gives rise to propagating Andreev modes. These propagating Andreev modes are essentially charge neutral and therefore they transfer energy but not electric charge. One main result of this work is that when the Dirac theory of graphene is deformed into a tilted Dirac cone, the breaking of charge conjugation symmetry of the Dirac equation renders the resulting Andreev modes electrically charged. We calculate an otherwise zero charge conductance arising solely from the tilt parameters $\vec\zeta=(\zeta_x,\zeta_y)$. The distinguishing feature of such a form of charge transport from the charge transport caused by normal electrons is their dependence on the phase difference $\phi$ of the two superconductors which can be experimentally extracted by employing a flux bias. Another result concerns the enhancement of Josephson current in a regime where instead of propagating Andreev modes, localized Andreev levels are formed. In this regime, we find enhancement by orders of magnitude of the Josephson current when the tilt parameter is brought closer and closer to $\zeta=1$ limit. We elucidate that, the enhancement is due to a combination of two effects: (i) enhancement of number of transmission channels by flattening of the band upon tilting to $\zeta\approx 1$, and (ii) a non-trivial dependence on the angle $\theta$ of the the tilt vector $\vec\zeta$.


title: SPS Beam Dump Facility -- Comprehensive Design Study

abstract: The proposed Beam Dump Facility (BDF) is foreseen to be located at the North Area of the SPS. It is designed to be able to serve both beam dump like and fixed target experiments. The SPS and the new facility would offer unique possibilities to enter a new era of exploration at the intensity frontier. Possible options include searches for very weakly interacting particles predicted by Hidden Sector models, and flavour physics measurements. In the first instance, exploitation of the facility, in beam dump mode, is envisaged to be for the Search for Hidden Particle (SHiP) experiment. Following the first evaluation of the BDF in 2014-2016, CERN management launched a Comprehensive Design Study over three years for the facility. The BDF study team has since executed an in-depth feasibility study of proton delivery to target, the target complex, and the underground experimental area, including prototyping of key sub-systems and evaluations of the radiological aspects and safety. A first iteration of detailed integration and civil engineering studies have been performed in order to produce a realistic schedule and cost. This document gives a detailed overview of the proposed facility together with the results of the studies, and draws up a possible road map for a three-year Technical Design Report phase, followed by a 5 to 6 year construction phase.


title: Central Limit Theorem for Linear Spectral Statistics of Large Dimensional Kendall's Rank Correlation Matrices and its Applications

abstract: This paper is concerned with the limiting spectral behaviors of large dimensional Kendall's rank correlation matrices generated by samples with independent and continuous components. We do not require the components to be identically distributed, and do not need any moment conditions, which is very different from the assumptions imposed in the literature of random matrix theory. The statistical setting in this paper covers a wide range of highly skewed and heavy-tailed distributions. We establish the central limit theorem (CLT) for the linear spectral statistics of the Kendall's rank correlation matrices under the Marchenko-Pastur asymptotic regime, in which the dimension diverges to infinity proportionally with the sample size. We further propose three nonparametric procedures for high dimensional independent test and their limiting null distributions are derived by implementing this CLT. Our numerical comparisons demonstrate the robustness and superiority of our proposed test statistics under various mixed and heavy-tailed cases.