title: Matched sample selection with GANs for mitigating attribute confounding

abstract: Measuring biases of vision systems with respect to protected attributes like gender and age is critical as these systems gain widespread use in society. However, significant correlations between attributes in benchmark datasets make it difficult to separate algorithmic bias from dataset bias. To mitigate such attribute confounding during bias analysis, we propose a matching approach that selects a subset of images from the full dataset with balanced attribute distributions across protected attributes. Our matching approach first projects real images onto a generative adversarial network (GAN)'s latent space in a manner that preserves semantic attributes. It then finds image matches in this latent space across a chosen protected attribute, yielding a dataset where semantic and perceptual attributes are balanced across the protected attribute. We validate projection and matching strategies with qualitative, quantitative, and human annotation experiments. We demonstrate our work in the context of gender bias in multiple open-source facial-recognition classifiers and find that bias persists after removing key confounders via matching. Code and documentation to reproduce the results here and apply the methods to new data is available at https://github.com/csinva/matching-with-gans .


title: Sequential $n$-connectedness and infinite factorization in higher homotopy groups

abstract: A space $X$ is "sequentially $n$-connected" at $x\in X$ if for every $0\leq k\leq n$ and sequence of maps $f_1,f_2,f_3,\dots:S^k\to X$ that converges toward a point $x\in X$, the maps $f_m$ contract by a sequence of null-homotopies that converge toward $x$. We use this property, in conjunction with the Whitney Covering Lemma, as a foundation for developing new methods for characterizing higher homotopy groups of finite dimensional Peano continua. Among many new computations, a culminating result of this paper is: if $Y$ is a space obtained by attaching an infinite shrinking sequence $A_1,A_2,A_3,\dots$ of $(n-1)$-connected CW-complexes to a one-dimensional Peano continuum $X$ along a sequence of points in $X$, then there is an injection $\Phi:\pi_n(Y)\to \prod_{j=1}^{\infty}\bigoplus_{\pi_1(X)}\pi_n(A_j)$ that is canonical after a certain choice of paths in $X$ is made. Moreover, we characterize the image of $\Phi$ using generalized covering space theory. As a case of particular interest, this provides a characterization of $\pi_n(\mathbb{H}_1\vee \mathbb{H}_n)$ where $\mathbb{H}_n$ denotes the $n$-dimensional Hawaiian earring.


title: Stochastic-field approach to the quench dynamics of the one-dimensional Bose polaron

abstract: We consider the dynamics of a quantum impurity after a sudden interaction quench into a one-dimensional degenerate Bose gas. We use the Keldysh path integral formalism to derive a truncated Wigner like approach that takes the back action of the impurity onto the condensate into account already on the mean-field level and further incorporates thermal and quantum effects up to one-loop accuracy. This framework enables us not only to calculate the real space trajectory of the impurity but also the absorption spectrum. We find that quantum corrections and thermal effects play a crucial role for the impurity momentum at weak to intermediate impurity-bath couplings.Furthermore, we see the broadening of the absorption spectrum with increasing temperature.


title: Exotic diboson $Z'$ decays in the U$\mu\nu$SSM

abstract: Searches for new leptophobic resonances at high energy colliders usually target their decay modes into pairs of light quarks, top quarks, or standard model bosons. Additional decay modes may also be present, producing signatures to which current searches are not sensitive. We investigate the performance of generic searches that look for resonances decaying into two large-radius jets. As benchmark for our analysis we use a supersymmetric $\text{U}(1)'$ extension of the Standard Model, the so-called U$\mu\nu$SSM, where all the SM decay modes of the $Z'$ boson take place, plus additional (cascade) decays into new scalars. The generic searches use a generic multi-pronged jet tagger and take advantage of the presence of $b$ quarks in the large-radius jets, and are sensitive to all these $Z'$ decay modes (except into light quarks) at once. For couplings that are well below current experimental constraints, these generic searches are sensitive at the $3\sigma-4\sigma$ level with Run 2 LHC data.


title: Moir\'e lattice effects on the orbital magnetic response of twisted bilayer graphene and Condon instability

abstract: We analyze the orbital magnetic susceptibility from the band structure of twisted bilayer graphene. Close to charge neutrality, the out-of-plane susceptibility inherits the strong diamagnetic response from graphene. Increasing the doping, a crossover from diamagnetism to paramagnetism is obtained and a logarithmic divergence develops at the van Hove singularity of the Moir\'e lattice in the first band. The enhanced paramagnetism at the van Hove singularity is stronger for relatively large angle but gets suppressed by the flat spectrum towards the vicinity of the first magic angle. A diverging paramagnetic susceptibility indicates an instability towards orbital ferromagnetism with an orbital out-of-plane magnetization and a Landau level structure. The region of instability is however found to be practically very small, parametrically suppressed by the ratio of the electron velocity to the speed of light. We also discuss the in-plane orbital susceptibility at charge neutrality where we find a paramagnetic response and a logarithmic divergence at the magic angle. The paramagnetic response is associated with negative counterflow current in the two layers and does not admit a semiclassical description.


title: Under Pressure: Learning to Detect Slip with Barometric Tactile Sensors

abstract: Despite the utility of tactile information, tactile sensors have yet to be widely deployed in industrial robotics settings. Part of the challenge lies in identifying slip and other key events from the tactile data stream. In this paper, we present a learning-based method to detect slip using barometric tactile sensors. Although these sensors have a low resolution, they have many other desirable properties including high reliability and durability, a very slim profile, and a low cost. We are able to achieve slip detection accuracies of greater than 91% while being robust to the speed and direction of the slip motion. Further, we test our detector on two robot manipulation tasks involving common household objects and demonstrate successful generalization to real-world scenarios not seen during training. We show that barometric tactile sensing technology, combined with data-driven learning, is potentially suitable for complex manipulation tasks such as slip compensation.


title: A Matrix Finsler's Lemma with Applications to Data-Driven Control

abstract: In a recent paper it was shown how a matrix S-lemma can be applied to construct controllers from noisy data. The current paper complements these results by proving a matrix version of the classical Finsler's lemma. This matrix Finsler's lemma provides a tractable condition under which all matrix solutions to a quadratic equality also satisfy a quadratic inequality. We will apply this result to bridge known data-driven control design techniques for both exact and noisy data, thereby revealing a more general theory. The result is also applied to data-driven control of Lur'e systems.


title: Why Do Local Methods Solve Nonconvex Problems?

abstract: Non-convex optimization is ubiquitous in modern machine learning. Researchers devise non-convex objective functions and optimize them using off-the-shelf optimizers such as stochastic gradient descent and its variants, which leverage the local geometry and update iteratively. Even though solving non-convex functions is NP-hard in the worst case, the optimization quality in practice is often not an issue -- optimizers are largely believed to find approximate global minima. Researchers hypothesize a unified explanation for this intriguing phenomenon: most of the local minima of the practically-used objectives are approximately global minima. We rigorously formalize it for concrete instances of machine learning problems.


title: High-Frequency Electromagnetic Waves on Unshielded Twisted Pairs: Upper Bound on Carrier Frequency

abstract: This paper explores the behaviour of the ubiquitous twisted pairs at high frequencies and wideband excitation of twisted pairs up to 12GHz. Although there is a large quantity of papers on twisted pairs, the papers in the literature mostly focus on the sub-1GHz spectrum, where the current digital subscriber line technologies operate. Higher carrier frequencies on twisted pairs can enable the data rates required by the future communication networks; hence, the existing copper infrastructure can be utilised on the last mile complementing the fibre networks. Towards this objective, we derive analytical expression for the electromagnetic fields and characteristic equation of twisted pairs. With these derivations we show a fundamental limit on the operating frequency of twisted pairs beyond which twisted pairs start to radiate and behave like an antenna. To validate our theory through measurements, we designed a microstrip balun in order to excite the differential mode on the twisted pairs. Unlike off-the-shelf devices, this balun has a nearly linear transmission curve across 1-12GHz. This linearity allows us to detect the radiation which would not have been possible with an off-the-shelf device. At the end, we demonstrate that the standard twisted pairs used in the UK can be used up to 5GHz carrier frequency without any radiation effect and this upper-bound can be moved to higher frequencies by decreasing the twist lengths.


title: Enumeration of coalescent histories for caterpillar species trees and $p$-pseudocaterpillar gene trees

abstract: For a fixed set $X$ containing $n$ taxon labels, an ordered pair consisting of a gene tree topology $G$ and a species tree $S$ bijectively labeled with the labels of $X$ possesses a set of coalescent histories -- mappings from the set of internal nodes of $G$ to the set of edges of $S$ describing possible lists of edges in $S$ on which the coalescences in $G$ take place. Enumerations of coalescent histories for gene trees and species trees have produced suggestive results regarding the pairs $(G,S)$ that, for a fixed $n$, have the largest number of coalescent histories. We define a class of 2-cherry binary tree topologies that we term $p$-pseudocaterpillars, examining coalescent histories for non-matching pairs $(G,S)$, in the case in which $S$ has a caterpillar shape and $G$ has a $p$-pseudocaterpillar shape. Using a construction that associates coalescent histories for $(G,S)$ with a class of "roadblocked" monotonic paths, we identify the $p$-pseudocaterpillar labeled gene tree topology that, for a fixed caterpillar labeled species tree topology, gives rise to the largest number of coalescent histories. The shape that maximizes the number of coalescent histories places the "second" cherry of the $p$-pseudocaterpillar equidistantly from the root of the "first" cherry and from the tree root. A symmetry in the numbers of coalescent histories for $p$-pseudocaterpillar gene trees and caterpillar species trees is seen to exist around the maximizing value of the parameter $p$. The results provide insight into the factors that influence the number of coalescent histories possible for a given gene tree and species tree.


title: The effects of surface fossil magnetic fields on massive star evolution: III. The case of $\tau$ Sco

abstract: $\tau$ Sco, a well-studied magnetic B-type star in the Upper Sco association, has a number of surprising characteristics. It rotates very slowly and shows nitrogen excess. Its surface magnetic field is much more complex than a purely dipolar configuration which is unusual for a magnetic massive star. We employ the CMFGEN radiative transfer code to determine the fundamental parameters and surface CNO and helium abundances. Then, we employ MESA and GENEC stellar evolution models accounting for the effects of surface magnetic fields. To reconcile $\tau$ Sco's properties with single-star models, an increase is necessary in the efficiency of rotational mixing by a factor of 3 to 10 and in the efficiency of magnetic braking by a factor of 10. The spin down could be explained by assuming a magnetic field decay scenario. However, the simultaneous chemical enrichment challenges the single-star scenario. Previous works indeed suggested a stellar merger origin for $\tau$ Sco. However, the merger scenario also faces similar challenges as our magnetic single-star models to explain $\tau$ Sco's simultaneous slow rotation and nitrogen excess. In conclusion, the single-star channel seems less likely and versatile to explain these discrepancies, while the merger scenario and other potential binary-evolution channels still require further assessment as to whether they may self-consistently explain the observables of $\tau$ Sco.


title: Asymptotic Freeness of Layerwise Jacobians Caused by Invariance of Multilayer Perceptron: The Haar Orthogonal Case

abstract: Free Probability Theory (FPT) provides rich knowledge for handling mathematical difficulties caused by random matrices that appear in research related to deep neural networks (DNNs), such as the dynamical isometry, Fisher information matrix, and training dynamics. FPT suits these researches because the DNN's parameter-Jacobian and input-Jacobian are polynomials of layerwise Jacobians. However, the critical assumption of asymptotic freenss of the layerwise Jacobian has not been proven completely so far. The asymptotic freeness assumption plays a fundamental role when propagating spectral distributions through the layers. Haar distributed orthogonal matrices are essential for achieving dynamical isometry. In this work, we prove asymptotic freeness of layerwise Jacobians of multilayer perceptron (MLP) in this case. A key of the proof is an invariance of the MLP. Considering the orthogonal matrices that fix the hidden units in each layer, we replace each layer's parameter matrix with itself multiplied by the orthogonal matrix, and then the MLP does not change. Furthermore, if the original weights are Haar orthogonal, the Jacobian is also unchanged by this replacement. Lastly, we can replace each weight with a Haar orthogonal random matrix independent of the Jacobian of the activation function using this key fact.


title: A compendium of covariances and correlation coefficients of coalescent tree properties

abstract: Gene genealogies are frequently studied by measuring properties such as their height ($H$), length ($L$), sum of external branches ($E$), sum of internal branches ($I$), and mean of their two basal branches ($B$), and the coalescence times that contribute to the other genealogical features ($T$). These tree properties and their relationships can provide insight into the effects of population-genetic processes on genealogies and genetic sequences. Here, under the coalescent model, we study the 15 correlations among pairs of features of genealogical trees: $H_n$, $L_n$, $E_n$, $I_n$, $B_n$, and $T_k$ for a sample of size $n$, with $2 \leq k \leq n$. We report high correlations among $H_n$, $L_n$, $I_n,$ and $B_n$, with all pairwise correlations of these quantities having values greater than or equal to $\sqrt{6} [6 \zeta(3) + 6 - \pi^2] / ( \pi \sqrt{18 + 9\pi^2 - \pi^4}) \approx 0.84930$ in the limit as $n \rightarrow \infty$. Although $E_n$ has an expectation of 2 for all $n$ and $H_n$ has expectation 2 in the limit as $n \rightarrow \infty$, their limiting correlation is 0. The results contribute toward understanding features of the shapes of coalescent trees.


title: Finiteness properties of automorphism spaces of manifolds with finite fundamental group

abstract: Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups in every degree. We also prove a variant of this result for manifolds with boundary and deduce that the space of smooth embeddings of a compact submanifold $N\subset M$ of arbitrary codimension into $M$ has finitely generated higher homotopy groups based at the inclusion, provided the fundamental group of the complement is finite. As an intermediate result, we show that the group of homotopy classes of simple homotopy self-equivalences of a finite CW complex with finite fundamental group is up to finite kernel commensurable to an arithmetic group.


title: The Relative Diffusivities of Bound and Unbound Protein Can Control Chemotactic Directionality

abstract: Enzyme-based systems have been shown to undergo directional motion in response to their substrate gradient. Here, we formulate a kinetic model to analyze the directional movement of an ensemble of protein molecules in response to a gradient of the ligand. A similar analysis has been performed to probe the motion of enzyme molecules in response to a gradient of the substrate under catalytic conditions. In both cases, a net movement up the ligand/substrate gradient is predicted when the diffusivity of the ligand/substrate-bound protein is lower than that of the unbound protein (positive chemotaxis). Conversely, movement down the ligand/substrate gradient is expected when the diffusivity of the ligand/substrate-bound protein is higher than that of the unbound protein (negative chemotaxis). The work underscores the critical importance of measuring the diffusivity of the bound protein and compare it with that of the free protein.


title: Time-Varying Optimization of Networked Systems with Human Preferences

abstract: This paper considers a time-varying optimization problem associated with a network of systems, with each of the systems shared by (and affecting) a number of individuals. The objective is to minimize cost functions associated with the individuals' preferences, which are unknown, subject to time-varying constraints that capture physical or operational limits of the network. To this end, the paper develops a distributed online optimization algorithm with concurrent learning of the cost functions. The cost functions are learned on-the-fly based on the users' feedback (provided at irregular intervals) by leveraging tools from shape-constrained Gaussian Process. The online algorithm is based on a primal-dual method, and acts effectively in a closed-loop fashion where: i) users' feedback is utilized to estimate the cost, and ii) measurements from the network are utilized in the algorithmic steps to bypass the need for sensing of (unknown) exogenous inputs of the network. The performance of the algorithm is analyzed in terms of dynamic network regret and constraint violation. Numerical examples are presented in the context of real-time optimization of distributed energy resources.


title: Nucleon matrix element of Weinberg's CP-odd gluon operator from the instanton vacuum

abstract: We calculate the nucleon matrix element of Weinberg's dimension-6 CP-odd gluon operator $f^{abc} (\tilde F_{\mu\nu})^a (F^{\mu\rho})^b (F^{\nu}_{\;\;\rho})^c$ in the instanton vacuum. In leading order of the instanton packing fraction, the dimension-6 operator is effectively proportional to the topological charge density $(\tilde F_{\mu\nu})^a (F^{\mu\nu})^a$, whose nucleon matrix element is given by the flavor-singlet axial charge and constrained by the $U(1)_A$ anomaly. The nucleon matrix element of the dimension-6 operator is obtained substantially larger than in other estimates, because of the strong localization of the nonperturbative gluon fields in the instanton vacuum. We argue that the neutron electric dipole moment induced by the dimension-6 operator is nevertheless of conventional size.


title: Scattering for quadratic-type Schr\"{o}dinger systems in dimension five without mass-resonance

abstract: In this paper we study the scattering of non-radial solutions in the energy space to coupled system of nonlinear Schr\"{o}dinger equations with quadratic-type growth interactions in dimension five without the mass-resonance condition. Our approach is based on the recent technique introduced by Dodson and Murphy, which relies on an interaction Morawetz estimate. It is proved that any solution below the ground states scatters in time.


title: Nonreciprocal guided waves in presence of swift electron beams

abstract: Breaking the reciprocity of electromagnetic interactions is of paramount importance in photonic and microwave technologies, as it enables unidirectional power flows and other unique electromagnetic phenomena. Here we explore a method to break the reciprocity of electromagnetic guided waves utilizing an electron beam with a constant velocity. By introducing an effective dynamic conductivity for the beam, we theoretically demonstrate how nonreciprocal guided waves and a one-way propagating regime can be achieved through the interaction of swift electrons with electromagnetic waves in two-dimensional (2D) parallel-plate and three-dimensional (3D) circular-cylindrical waveguides. Unlike the conventional electron beam structures such as traveling wave tubes and electron accelerators, here the goal is neither to generate and/or amplify the wave nor to accelerate electrons. Instead, we study the salient features of nonreciprocity and unidirectionality of guided waves in such structures. The relevant electromagnetic properties such as the modal dispersion, the field distributions, the operating frequency range, and the nonreciprocity strength and its dependence on the electron velocity and number density are presented and discussed. Moreover, we compare the dispersion characteristics of waves in such structures with some electric-current-based scenarios in materials reported earlier. This broadband tunable magnet-free method offers a unique opportunity to have a switchable strong nonreciprocal response in optoelectronics, nanophotonics, and THz systems.


title: Vortex-like kinematic signal, spirals, and beam smearing effect in the HD 142527 disk

abstract: Vortices are one of the most promising mechanisms to locally concentrate millimeter dust grains and allow the formation of planetesimals through gravitational collapse. The outer disk around the binary system HD 142527 is known for its large horseshoe structure with azimuthal contrasts of 3-5 in the gas surface density and of about 50 in the dust. Using 13CO and C18O J = 3-2 transition lines, we detect kinematic deviations to the Keplerian rotation, which are consistent with the presence of a large vortex around the dust crescent, as well as a few spirals in the outer regions of the disk. Comparisons with a vortex model suggest velocity deviations up to 350 m/s after deprojection compared to the background Keplerian rotation, as well as an extension of about 40 au radially on both sides of the vortex and 200 degrees azimuthally, yielding an azimuthal-to-radial aspect ratio of 5. Another alternative for explaining the vortex-like signal implies artificial velocity deviations generated by beam smearing in association with variations of the gas velocity due to gas pressure gradients at the inner and outer edges of the circumbinary disk. The two scenarios are currently difficult to differentiate and, for this purpose, would probably require the use of multiple lines at a higher spatial resolution. The beam smearing effect, due to the finite spatial resolution of the observations and gradients in the line emission, should be common in observations of protoplanetary disks and may lead to misinterpretations of the gas velocity, in particular around ring-like structures.


title: Robust Stochastic Stability in Dynamic and Reactive Environments

abstract: The theory of learning in games has extensively studied situations where agents respond dynamically to each other by optimizing a fixed utility function. However, in many settings of interest, agent utility functions themselves vary as a result of past agent choices. The ongoing COVID-19 pandemic provides an example: a highly prevalent virus may incentivize individuals to wear masks, but extensive adoption of mask-wearing reduces virus prevalence which in turn reduces individual incentives for mask-wearing. This paper develops a general framework using probabilistic coupling methods that can be used to derive the stochastically stable states of log-linear learning in certain games which feature such game-environment feedback. As a case study, we apply this framework to a simple dynamic game-theoretic model of social precautions in an epidemic and give conditions under which maximally cautious social behavior in this model is stochastically stable.


title: Stability for evolution equations with variable growth

abstract: We study the character of dependence on the data and the nonlinear structure of the equation for the solutions of the homogeneous Dirichlet problem for the evolution $p(x,t)$-Laplacian with the nonlinear source \[ u_t-\Delta_{p(x,t)}u=f(x,t,u),\quad (x,t)\in Q=\Omega\times (0,T), \] where $\Omega$ is a bounded domain in $\mathbb{R}^n$, $n\geq 2$, and $p(x,t)$ is a given function $p(\cdot):Q\mapsto (\frac{2n}{n+2},p^+]$, $p^+<\infty$. It is shown that the solution is stable with respect to perturbations of the variable exponent $p(x,t)$, the nonlinear source term $f(x,t,u)$, and the initial data. We obtain quantitative estimates on the norm of the difference between two solutions in a variable Sobolev space through the norms of perturbations of the nonlinearity exponent and the data $u(x,0)$, $f$. Estimates on the rate of convergence of a sequence of solutions to the solution of the limit problem are derived.


title: A Survey of Multimedia Technologies and Robust Algorithms

abstract: Multimedia technologies are now more practical and deployable in real life, and the algorithms are widely used in various researching areas such as deep learning, signal processing, haptics, computer vision, robotics, and medical multimedia processing. This survey provides an overview of multimedia technologies and robust algorithms in multimedia data processing, medical multimedia processing, human facial expression tracking and pose recognition, and multimedia in education and training. This survey will also analyze and propose a future research direction based on the overview of current robust algorithms and multimedia technologies. We want to thank the research and previous work done by the Multimedia Research Centre (MRC), the University of Alberta, which is the inspiration and starting point for future research.


title: Solution of the Differential Equation $y^{(k)}=e^{ay}$, Special Values of Bell Polynomials and $(k,a)$-Autonomous Coefficients

abstract: In this paper special values of Bell polynomials are given by using the power series solution of the equation $y^{(k)}=e^{ay}$. In addition, complete and partial exponential autonomous functions, exponential autonomous polynomials, autonomous polynomials and $(k,a)$-autonomous coefficients are defined. Finally, we show the relationship between various numbers counting combinatorial objects and binomial coefficients, Stirling numbers of the second kind and autonomous coefficients.


title: A scaling limit of the parabolic Anderson model with exclusion interaction

abstract: We consider the (discrete) parabolic Anderson model $\partial u(t,x)/\partial t=\Delta u(t,x) +\xi_t(x) u(t,x)$, $t\geq 0$, $x\in \mathbb{Z}^d$, where the $\xi$-field is $\mathbb{R}$-valued and plays the role of a dynamic random environment, and $\Delta$ is the discrete Laplacian. We focus on the case in which $\xi$ is given by a properly rescaled symmetric simple exclusion process under which it converges to an Ornstein--Uhlenbeck process. Scaling the Laplacian diffusively and restricting ourselves to a torus, we show that in dimension $d=3$ upon considering a suitably renormalised version of the above equation, the sequence of solutions converges in law. As a by-product of our main result we obtain precise asymptotics for the survival probability of a simple random walk that is killed at a scale dependent rate when meeting an exclusion particle. Our proof relies on the discrete theory of regularity structures of \cite{ErhardHairerRegularity} and on novel sharp estimates of joint cumulants of arbitrary large order for the exclusion process. We think that the latter is of independent interest and may find applications elsewhere.


title: Enlighting the transverse structure of the proton via double parton scattering in photon-induced interactions

abstract: In the present paper we address double parton scattering (DPS) in quasi-real photon-proton interactions. By using electromagnetic and hadronic models of the photon light cone wave functions, we compute the so-called effective cross-section, $\sigma_{eff}^{\gamma p}$ which allows us to calculate the DPS contribution to these processes under dedicated assumptions. In particular, for the four-jet photoproduction in HERA kinematics we found a sizeable DPS contribution. We show that if the photon virtuality $Q^2$ could be measured and thus the dependence of $\sigma_{eff}^{\gamma p}$ on such a parameter exposed, information on the transverse distance between partons active in proton could be extracted. To this aim, we set lower limits on the integrated luminosity needed to observe such an effect which would allow the extraction of novel information on the proton structure.


title: Hall Effects on Casson Fluid Flow along a Vertical Plate

abstract: The Hall effects on Casson fluid flow along a vertical plate has been investigated numerically. The governing equations have been derived from Navier-Stokes' equation and boundary layer approximation has been employed. By using usual transformations, the obtained non-linear coupled partial differential equations have been transformed into dimensionless governing equations. These equations have been solved by applying the explicit finite difference method. The MATLAB R2015a tool has been used for numerical simulation. The stability and convergence criteria have been analyzed. The effect of some important parameters on the primary velocity, secondary velocity, temperature and concentration distributions as well as local shear stress, Nusselt number and Sherwood number have been shown graphically.


title: Semi-Supervised Learning for Bone Mineral Density Estimation in Hip X-ray Images

abstract: Bone mineral density (BMD) is a clinically critical indicator of osteoporosis, usually measured by dual-energy X-ray absorptiometry (DEXA). Due to the limited accessibility of DEXA machines and examinations, osteoporosis is often under-diagnosed and under-treated, leading to increased fragility fracture risks. Thus it is highly desirable to obtain BMDs with alternative cost-effective and more accessible medical imaging examinations such as X-ray plain films. In this work, we formulate the BMD estimation from plain hip X-ray images as a regression problem. Specifically, we propose a new semi-supervised self-training algorithm to train the BMD regression model using images coupled with DEXA measured BMDs and unlabeled images with pseudo BMDs. Pseudo BMDs are generated and refined iteratively for unlabeled images during self-training. We also present a novel adaptive triplet loss to improve the model's regression accuracy. On an in-house dataset of 1,090 images (819 unique patients), our BMD estimation method achieves a high Pearson correlation coefficient of 0.8805 to ground-truth BMDs. It offers good feasibility to use the more accessible and cheaper X-ray imaging for opportunistic osteoporosis screening.


title: Meta-ViterbiNet: Online Meta-Learned Viterbi Equalization for Non-Stationary Channels

abstract: Deep neural networks (DNNs) based digital receivers can potentially operate in complex environments. However, the dynamic nature of communication channels implies that in some scenarios, DNN-based receivers should be periodically retrained in order to track temporal variations in the channel conditions. To this aim, frequent transmissions of lengthy pilot sequences are generally required, at the cost of substantial overhead. In this work we propose a DNN-aided symbol detector, Meta-ViterbiNet, that tracks channel variations with reduced overhead by integrating three complementary techniques: 1) We leverage domain knowledge to implement a model-based/data-driven equalizer, ViterbiNet, that operates with a relatively small number of trainable parameters; 2) We tailor a meta-learning procedure to the symbol detection problem, optimizing the hyperparameters of the learning algorithm to facilitate rapid online adaptation; and 3) We adopt a decision-directed approach based on coded communications to enable online training with short-length pilot blocks. Numerical results demonstrate that Meta-ViterbiNet operates accurately in rapidly-varying channels, outperforming the previous best approach, based on ViterbiNet or conventional recurrent neural networks without meta-learning, by a margin of up to 0.6dB in bit error rate in various challenging scenarios.


title: Continuous monitoring of plant sub-cellular structural changes for plant and crop diseases detection by use of Intelligent Laser Speckle Classification (AI) technique

abstract: The continuous online monitoring of early signs of plant and crop diseases, at their early stages before a potential spread, is of high importance and necessitates multi-disciplinary techniques. Within this study a proposed technique achieves this goal by exploiting laser physics, textural image analysis, and AI for Shot hole disease. In this technique, specific laser light with a wavelength shorter than a sub-cellular component of an inspected plant, produces an interaction within the sub-cellular components and generates laser speckle patterns which can characterize those specific plant cells' features. The generated laser speckle image data then be quantized by texture analysis and classified by Bayesian networks. Such comparative methods manage to detect the differences at sub-cellular scales, such as nuclei modification, cellular shape, or size deformation, etc. for Shot hole disease with high classification accuracy between the healthy and diseased plants. The technique is capable of continuous online observation and monitoring of the plant or crop diseases via a wireless network at low instrumental cost and may replace the costly ground-truth field works


title: Simulation of wake bimodality behind squareback bluff-bodies using LES

abstract: A large eddy simulation (LES) study of the flow around a 1/4 scale squareback Ahmed body at $Re_H=33,333$ is presented. The study consists of both wall-resolved (WRLES) and wall-modelled (WMLES) simulations, and investigates the bimodal switching of the wake between different horizontal positions. Within a non-dimensional time-window of 1050 convective flow units, both WRLES and WMLES simulations, for which only the near-wall region of the turbulent boundary layer is treated in a Reynolds-averaged sense, are able to capture horizontal (spanwise) shifts in the wake's cross-stream orientation. Equilibrium wall-models in the form of Spalding's law and the log-law of the wall are successfully used. Once these wall-models are, however, applied to a very coarse near-wall WMLES mesh, in which a portion of the turbulent boundary layer's outer region dynamics is treated in a Reynolds-averaged manner as well, large-scale horizontal shifts in the wake's orientation are no longer detected. This suggests larger-scale flow structures found within the turbulent boundary layer's outer domain are responsible for generating the critical amount of flow intermittency needed to trigger a bimodal switching event. By looking at mean flow structures, instantaneous flow features and their associated turbulent kinetic energy (TKE) production, it becomes clear that the front separation bubbles just aft of the Ahmed body nose generate high levels of TKE through the shedding of large hairpin vortices. Only in the reference WRLES and (relatively) fine near-wall mesh WMLES simulations are these features present, exemplifying their importance in triggering a bimodal event. This motivates studies on the suppression of wake bimodality by acting upon the front separation bubbles.


title: Narrowband Observations of Comet 46P/Wirtanen During its Exceptional Apparition of 2018/19 II: Photometry, Jet Morphology, and Modeling Results

abstract: We report on our extensive photometry and imaging of Comet 46P/Wirtanen during its 2018/19 apparition and use these data to constrain modeling of Wirtanen's activity. Narrowband photometry was obtained on nine epochs from 2018 October through 2019 March as well as 10 epochs during the 1991, 1997, and 2008 apparitions. The ensemble photometry reveals a typical composition and a secular decrease in activity since 1991. Production rates were roughly symmetric around perihelion for the carbon-bearing species (CN, C$_3$, and C$_2$), but steeper for OH and NH outbound. Our imaging program emphasized CN, whose coma morphology and lightcurve yielded rotation periods reported in a companion paper (Farnham et al., PSJ, 2, 7). Here, we compare the gas and dust morphology on the 18 nights for which observations of additional species were obtained. The carbon-bearing species exhibited similar morphology that varied with rotation. OH and NH had broad, hemispheric brightness enhancements in the tailward direction that did not change significantly with rotation, which we attribute to their originating from a substantial icy grain component. We constructed a Monte Carlo model that replicates the shape, motion, and brightness distribution of the CN coma throughout the apparition with a single, self-consistent solution in principal axis rotation. Our model yields a pole having (R.A., Decl.) = 319$^\circ$, $-$5$^\circ$ (pole obliquity of 70$^\circ$) and two large sources (radii of 50$^\circ$ and 40$^\circ$) centered at near-equatorial latitudes and separated in longitude by $\sim$160$^\circ$. Applications of the model to explain observed behaviors are discussed.


title: Entropy Minimizing Matrix Factorization

abstract: Nonnegative Matrix Factorization (NMF) is a widely-used data analysis technique, and has yielded impressive results in many real-world tasks. Generally, existing NMF methods represent each sample with several centroids, and find the optimal centroids by minimizing the sum of the approximation errors. However, the outliers deviating from the normal data distribution may have large residues, and then dominate the objective value seriously. In this study, an Entropy Minimizing Matrix Factorization framework (EMMF) is developed to tackle the above problem. Considering that the outliers are usually much less than the normal samples, a new entropy loss function is established for matrix factorization, which minimizes the entropy of the residue distribution and allows a few samples to have large approximation errors. In this way, the outliers do not affect the approximation of the normal samples. The multiplicative updating rules for EMMF are also designed, and the convergence is proved both theoretically and experimentally. In addition, a Graph regularized version of EMMF (G-EMMF) is also presented to deal with the complex data structure. Clustering results on various synthetic and real-world datasets demonstrate the reasonableness of the proposed models, and the effectiveness is also verified through the comparison with the state-of-the-arts.


title: Applications of UWB Networks and Positioning to Autonomous Robots and Industrial Systems

abstract: Ultra-wideband (UWB) technology is a mature technology that contested other wireless technologies in the advent of the IoT but did not achieve the same levels of widespread adoption. In recent years, however, with its potential as a wireless ranging and localization solution, it has regained momentum. Within the robotics field, UWB positioning systems are being increasingly adopted for localizing autonomous ground or aerial robots. In the Industrial IoT (IIoT) domain, its potential for ad-hoc networking and simultaneous positioning is also being explored. This survey overviews the state-of-the-art in UWB networking and localization for robotic and autonomous systems. We also cover novel techniques focusing on more scalable systems, collaborative approaches to localization, ad-hoc networking, and solutions involving machine learning to improve accuracy. This is, to the best of our knowledge, the first survey to put together the robotics and IIoT perspectives and to emphasize novel ranging and positioning modalities. We complete the survey with a discussion on current trends and open research problems.


title: A Discrete Variation of Littlewood--Offord Problem

abstract: Littlewood--Offord Problem concerns the number of subsums of a set of vectors that fall in a given convex set. We present a discrete variation of this problem where we estimate the number of subsums that are $(0,1)$-vectors. We then utilize this to find the maximum order of graphs with given rank or corank. The rank of a graph $G$ is the rank of its adjacency matrix $A(G)$ and the corank of $G$ is the rank of $A(G)+I$.


title: Statistical Integration of Heterogeneous Data with PO2PLS

abstract: The availability of multi-omics data has revolutionized the life sciences by creating avenues for integrated system-level approaches. Data integration links the information across datasets to better understand the underlying biological processes. However, high-dimensionality, correlations and heterogeneity pose statistical and computational challenges. We propose a general framework, probabilistic two-way partial least squares (PO2PLS), which addresses these challenges. PO2PLS models the relationship between two datasets using joint and data-specific latent variables. For maximum likelihood estimation of the parameters, we implement a fast EM algorithm and show that the estimator is asymptotically normally distributed. A global test for testing the relationship between two datasets is proposed, and its asymptotic distribution is derived. Notably, several existing omics integration methods are special cases of PO2PLS. Via extensive simulations, we show that PO2PLS performs better than alternatives in feature selection and prediction performance. In addition, the asymptotic distribution appears to hold when the sample size is sufficiently large. We illustrate PO2PLS with two examples from commonly used study designs: a large population cohort and a small case-control study. Besides recovering known relationships, PO2PLS also identified novel findings. The methods are implemented in our R-package PO2PLS. Supplementary materials for this article are available online.


title: Feature Weighted Non-negative Matrix Factorization

abstract: Non-negative Matrix Factorization (NMF) is one of the most popular techniques for data representation and clustering, and has been widely used in machine learning and data analysis. NMF concentrates the features of each sample into a vector, and approximates it by the linear combination of basis vectors, such that the low-dimensional representations are achieved. However, in real-world applications, the features are usually with different importances. To exploit the discriminative features, some methods project the samples into the subspace with a transformation matrix, which disturbs the original feature attributes and neglects the diversity of samples. To alleviate the above problems, we propose the Feature weighted Non-negative Matrix Factorization (FNMF) in this paper. The salient properties of FNMF can be summarized as threefold: 1) it learns the weights of features adaptively according to their importances; 2) it utilizes multiple feature weighting components to preserve the diversity; 3) it can be solved efficiently with the suggested optimization algorithm. Performance on synthetic and real-world datasets demonstrate that the proposed method obtains the state-of-the-art performance.


title: Analysis of an exactly mass conserving space-time hybridized discontinuous Galerkin method for the time-dependent Navier--Stokes equations

abstract: We introduce and analyze a space-time hybridized discontinuous Galerkin method for the evolutionary Navier--Stokes equations. Key features of the numerical scheme include point-wise mass conservation, energy stability, and pressure robustness. We prove that there exists a solution to the resulting nonlinear algebraic system in two and three spatial dimensions, and that this solution is unique in two spatial dimensions under a small data assumption. A priori error estimates are derived for the velocity in a mesh-dependent energy norm.


title: Distributed Newton-like Algorithms and Learning for Optimized Power Dispatch

abstract: This thesis explores a particular class of distributed optimization methods for various separable resource allocation problems, which are of high interest in a wide array of multi-agent settings. A distinctly motivating application for this thesis is real-time power dispatch of distributed energy resources for providing frequency control in a distribution grid or microgrid with high renewable energy penetration. In this application, it is paramount that agent data be shared as sparsely as possible in the interest of conserving user privacy, and it is required that algorithms scale gracefully as the network size increases to the order of thousands or millions of resources and devices. Distributed algorithms are naturally well-poised to address these challenges, in contrast to more traditional centralized algorithms which scale poorly and require global access to information. The class of distributed optimization methods explored here can be broadly described as Newton-like or second-order, implying utilization of second-derivative information of the cost functions, in contrast to well-studied gradient-based or first-order methods. We consider three formulations of separable resource-allocation problems and develop a Newton-like algorithm for each. The analysis and simulation studies in the subsequent chapters demonstrate the advantages of our approaches over existing methods; most commonly, we note that convergence rates are substantially improved. We supplement our algorithm development for these three problem formulations with a network design technique, in which we can construct a maximally-connected network by adding some edges to the underlying communication graph, and a real demonstration of distributed algorithms on a large set of heterogeneous devices on the UC San Diego microgrid.


title: Investigating the Relationship Between Air Quality and COVID-19 Transmission

abstract: It is hypothesized that short-term exposure to air pollution may influence the transmission of aerosolized pathogens such as COVID-19. We used data from 23 provinces in Italy to build a generalized additive model to investigate the association between the effective reproductive number of the disease and air quality while controlling for ambient environmental variables and changes in human mobility. The model finds that there is a positive, nonlinear relationship between the density of particulate matter in the air and COVID-19 transmission, which is in alignment with similar studies on other respiratory illnesses.


title: Machine Learning-based Automatic Graphene Detection with Color Correction for Optical Microscope Images

abstract: Graphene serves critical application and research purposes in various fields. However, fabricating high-quality and large quantities of graphene is time-consuming and it requires heavy human resource labor costs. In this paper, we propose a Machine Learning-based Automatic Graphene Detection Method with Color Correction (MLA-GDCC), a reliable and autonomous graphene detection from microscopic images. The MLA-GDCC includes a white balance (WB) to correct the color imbalance on the images, a modified U-Net and a support vector machine (SVM) to segment the graphene flakes. Considering the color shifts of the images caused by different cameras, we apply WB correction to correct the imbalance of the color pixels. A modified U-Net model, a convolutional neural network (CNN) architecture for fast and precise image segmentation, is introduced to segment the graphene flakes from the background. In order to improve the pixel-level accuracy, we implement a SVM after the modified U-Net model to separate the monolayer and bilayer graphene flakes. The MLA-GDCC achieves flake-level detection rates of 87.09% for monolayer and 90.41% for bilayer graphene, and the pixel-level accuracy of 99.27% for monolayer and 98.92% for bilayer graphene. MLA-GDCC not only achieves high detection rates of the graphene flakes but also speeds up the latency for the graphene detection process from hours to seconds.

categories: physics.app-ph cond-mat.mes-hall cs.LG eess.IV physics.data-an


title: Similarity-Based Equational Inference in Physics

abstract: Automating the derivation of published results is a challenge, in part due to the informal use of mathematics by physicists, compared to that of mathematicians. Following demand, we describe a method for converting informal hand-written derivations into datasets, and present an example dataset crafted from a contemporary result in condensed matter. We define an equation reconstruction task completed by rederiving an unknown intermediate equation posed as a state, taken from three consecutive equational states within a derivation. Derivation automation is achieved by applying string-based CAS-reliant actions to states, which mimic mathematical operations and induce state transitions. We implement a symbolic similarity-based heuristic search to solve the equation reconstruction task as an early step towards multi-hop equational inference in physics.


title: 3D Reasoning for Unsupervised Anomaly Detection in Pediatric WbMRI

abstract: Modern deep unsupervised learning methods have shown great promise for detecting diseases across a variety of medical imaging modalities. While previous generative modeling approaches successfully perform anomaly detection by learning the distribution of healthy 2D image slices, they process such slices independently and ignore the fact that they are correlated, all being sampled from a 3D volume. We show that incorporating the 3D context and processing whole-body MRI volumes is beneficial to distinguishing anomalies from their benign counterparts. In our work, we introduce a multi-channel sliding window generative model to perform lesion detection in whole-body MRI (wbMRI). Our experiments demonstrate that our proposed method significantly outperforms processing individual images in isolation and our ablations clearly show the importance of 3D reasoning. Moreover, our work also shows that it is beneficial to include additional patient-specific features to further improve anomaly detection in pediatric scans.


title: The Ly$\alpha$ forest flux correlation function: a perturbation theory perspective

abstract: The Ly$\alpha$ forest provides one of the best means of mapping large-scale structure at high redshift, including our tightest constraint on the distance-redshift relation before cosmic noon. We describe how the large-scale correlations in the Ly$\alpha$ forest can be understood as an expansion in cumulants of the optical depth field, which itself can be related to the density field by a bias expansion. This provides a direct connection between the observable and the statistics of the matter fluctuations which can be computed in a systematic manner. We discuss the way in which complex, small-scale physics enters the predictions, the origin of the much-discussed velocity bias and the `renormalization' of the large-scale bias coefficients. Our calculations are within the context of perturbation theory, but we also make contact with earlier work using the peak-background split. Using the structure of the equations of motion we demonstrate, to all orders in perturbation theory, that the large-scale flux power spectrum becomes the linear spectrum times the square of a quadratic in the cosine of the angle to the line of sight. Unlike the case of galaxies, both the isotropic and anisotropic pieces receive contributions from small-scale physics.


title: Energetics and 3-D Structure of Elementary Events in Solar Coronal Heating

abstract: Parker (1972) first proposed that coronal heating was the necessary outcome of an energy flux caused by the tangling of coronal magnetic field lines by photospheric flows. In this paper we discuss how this model has been modified by subsequent numerical simulations outlining in particular the substantial differences between the "nanoflares" introduced by Parker and "elementary events", defined here as small-scale spatially and temporally isolated heating events resulting from the continuous formation and dissipation of field-aligned current sheets within a coronal loop. We present numerical simulations of the compressible 3-D MHD equations using the HYPERION code. We use two clustering algorithms to investigate the properties of the simulated elementary events: an IDL implementation of a Density-Based Spatial Clustering of Applications with Noise (DBSCAN) technique; and our own Physical Distance Clustering (PDC) algorithm. We identify and track elementary heating events in time, both in temperature and in Joule heating space. For every event we characterize properties such as: density, temperature, volume, aspect ratio, length, thickness, duration and energy. The energies of the events are in the range $10^{18}-10^{21}$ ergs, with durations shorter than 100 seconds. A few events last up to 200 seconds and release energies up to $10^{23}$ ergs. While high temperature are typically located at the flux tube apex, the currents extend all the way to the footpoints. Hence a single elementary event cannot at present be detected. The observed emission is due to the superposition of many elementary events distributed randomly in space and time within the loop.


title: Deep learning estimation of complex reverberant wave fields by a programmable metasurface

abstract: Electromagnetic environments are becoming increasingly complex and congested, creating a growing challenge for systems that rely on electromagnetic waves for communication, sensing, or imaging, particularly in reverberating environments. The use of programmable metasurfaces provides a potential means of directing waves to optimize wireless channels on-demand, ensuring reliable operation and protecting sensitive electronic components. Here we introduce a technique that combines a deep learning network with a binary programmable metasurface to shape waves in complex reverberant electromagnetic environments, in particular ones where there is no direct line of sight. We applied this technique for wavefront reconstruction and control, and accurately determined metasurface configurations based on measured system scattering responses in a chaotic microwave cavity. The state of the metasurface that realizes desired electromagnetic wave field distribution properties was successfully determined even in cases previously unseen by the deep learning algorithm. Our technique is enabled by the reverberant nature of the cavity, and is effective with a metasurface that covers only $\sim$1.5\% of the total cavity surface area.


title: The combinatorial game nofil played on Steiner Triple Systems

abstract: We introduce an impartial combinatorial game on Steiner triple systems called Nofil. Players move alternately, choosing points of the triple system. If a player is forced to fill a block on their turn, they lose. We explore the play of Nofil on all Steiner triple systems up to order 15 and a sampling for orders 19, 21, and 25. We determine the optimal strategies by computing the nim-values for each game and its subgames. The game Nofil can be thought of in terms of play on a corresponding hypergraph. As game play progresses, the hypergraph shrinks and will eventually be equivalent to playing the game Node Kayles on an isomorphic graph. Node Kayles is well studied and understood. Motivated by this, we study which Node Kayles positions can be reached, i.e. embedded into a Steiner triple system. We prove necessary conditions and sufficient conditions for the existence of such graph embeddings and conclude that the complexity of determining the outcome of the game Nofil on Steiner triple systems is PSPACE-complete.


title: Casimir forces for the ideal Bose gas in anisotropic optical lattices: the effect of alternating sign upon varying dimensionality

abstract: We analyze the thermodynamic Casimir effect occurring in a gas of non-interacting bosons confined by two parallel walls with a strongly anisotropic dispersion inherited from an underlying lattice. In the direction perpendicular to the confining walls the standard quadratic dispersion is replaced by the term $|{\bf p}|^{\alpha}$ with $\alpha \geq 2$ treated as a parameter. We derive a closed, analytical expression for the Casimir force depending on the dimensionality $d$ and the exponent $\alpha$, and analyze it for thermodynamic states in which the Bose-Einstein condensate is present. For $\alpha\in\{4,6,8,\dots\}$ the exponent governing the decay of the Casimir force with increasing distance between the walls becomes modified and the Casimir amplitude $\Delta_{\alpha}(d)$ exhibits oscillations of sign as a function of $d$. Otherwise we find that $\Delta_{\alpha}(d)$ features singularities when viewed as a function of $d$ and $\alpha$. Recovering the known previous results for the isotropic limit $\alpha=2$ turns out to occur via a cancellation of singular terms.


title: The effect of finite-temperature and anharmonic lattice dynamics on the thermal conductivity of ZrS2 monolayer: self-consistent phonon calculations

abstract: Two-dimensional (2D) ZrS2 monolayer (ML) has emerged as a promising candidate for thermoelectric (TE) device applications due to its high TE figure of merit, which is mainly contributed by its inherently low lattice thermal conductivity. This work investigates the effect of the lattice anharmonicity driven by temperature-dependent phonon dispersions on thermal transport of ZrS2 ML. The calculations are based on the self-consistent phonon (SCP) theory to calculate the thermodynamic parameters along with the lattice thermal conductivity. The higher- order (quartic) force constants were extracted by using an efficient compressive sensing lattice dynamics technique, which estimates the necessary data based on the emerging machine learning program as an alternative of computationally expensive density functional theory calculations. Resolve of the degeneracy and hardening of the vibrational frequencies of low-energy optical modes were predicted upon including the quartic anharmonicity. As compared to the conventional Boltzmann transport equation (BTE) approach, the lattice thermal conductivity of the optimized ZrS2 ML unit cell within SCP + BTE approach is found to be significantly enhanced (e.g., by 21% at 300 K). This enhancement is due to the relatively lower value of phonon linewidth contributed by the anharmonic frequency renormalization included in the SCP theory. Mainly, the conventional BTE approach neglects the temperature dependence of the phonon frequencies due to the consideration of harmonic lattice dynamics and treats the normal process of three-phonon scattering incorrectly due to the use of quasi-particle lifetimes. These limitations are addressed in this work within the SCP + BTE approach, which signifies the validity and accuracy of this approach.


title: Quasi-periodic oscillations from the accretion disk around rotating traversable wormholes

abstract: We study the quasi-periodic oscillations from the accretion disk around rotating traversable wormholes by means of the resonance models. We investigate the linear stability of the circular geodesic orbits in the equatorial plane for a general class of wormhole geometries deriving analytical expressions for the epicyclic frequencies. Since wormholes can often mimic black holes in the astrophysical observations, we analyze the properties of the quasi-circular oscillatory motion in comparison with the Kerr black hole. We demonstrate that wormholes possess distinctive features, which can be observationally significant. It is characteristic for the Kerr black hole that the orbital and the epicyclic frequencies obey a constant ordering in the whole range of the spin parameter. In contrast, for wormhole spacetimes we can have various types of orderings between the frequencies in the different regions of the parametric space. This enables the excitation of much more diverse types of resonances including parametric and forced resonances of lower order, which could lead to stronger observable signals. In addition, for co-rotating orbits the resonances can be excited in a very close neighbourhood of the wormhole throat for a wide range of values of the angular momentum, making wormholes a valuable laboratory for testing strong gravity.


title: Ripple-Type Control for Enhancing Resilience of Networked Physical Systems

abstract: Distributed control agents have been advocated as an effective means for improving the resiliency of our physical infrastructures under unexpected events. Purely local control has been shown to be insufficient, centralized optimal resource allocation approaches can be slow. In this context, we put forth a hybrid low-communication saturation-driven protocol for the coordination of control agents that are distributed over a physical system and are allowed to communicate with peers over a "hotline" communication network. According to this protocol, agents act on local readings unless their control resources have been depleted, in which case they send a beacon for assistance to peer agents. Our ripple-type scheme triggers communication locally only for the agents with saturated resources and it is proved to converge. Moreover, under a monotonicity assumption on the underlying physical law coupling control outputs to inputs, the devised control is proved to converge to a configuration satisfying safe operational constraints. The assumption is shown to hold for voltage control in electric power systems and pressure control in water distribution networks. Numerical tests corroborate the efficacy of the novel scheme.


title: Hierarchical Hyperedge Embedding-based Representation Learning for Group Recommendation

abstract: In this work, we study group recommendation in a particular scenario, namely Occasional Group Recommendation (OGR). Most existing works have addressed OGR by aggregating group members' personal preferences to learn the group representation. However, the representation learning for a group is most complex beyond the fusion of group member representation, as the personal preferences and group preferences may be in different spaces. In addition, the learned user representation is not accurate due to the sparsity of users' interaction data. Moreover, the group similarity in terms of common group members has been overlooked, which however has the great potential to improve the group representation learning. In this work, we focus on addressing the above challenges in group representation learning task, and devise a hierarchical hyperedge embedding-based group recommender, namely HyperGroup. Specifically, we propose to leverage the user-user interactions to alleviate the sparsity issue of user-item interactions, and design a GNN-based representation learning network to enhance the learning of individuals' preferences from their friends' preferences, which provides a solid foundation for learning groups' preferences. To exploit the group similarity to learn a more accurate group representation from highly limited group-item interactions, we connect all groups as a network of overlapping sets, and treat the task of group preference learning as embedding hyperedges in a hypergraph, where an inductive hyperedge embedding method is proposed. To further enhance the group-level preference modeling, we develop a joint training strategy to learn both user-item and group-item interactions in the same process. We conduct extensive experiments on two real-world datasets and the experimental results demonstrate the superiority of our proposed HyperGroup in comparison to the state-of-the-art baselines.


title: Intraday trading strategy based on time series and machine learning for Chinese stock market

abstract: This article comes up with an intraday trading strategy under T+1 using Markowitz optimization and Multilayer Perceptron (MLP) with published stock data obtained from the Shenzhen Stock Exchange and Shanghai Stock Exchange. The empirical results reveal the profitability of Markowitz portfolio optimization and validate the intraday stock price prediction using MLP. The findings further combine the Markowitz optimization, an MLP with the trading strategy, to clarify this strategy's feasibility.


title: Translated Logarithmic Lambert Function and its Applications to Three-Parameter Entropy

abstract: The translated logarithmic Lambert function is defined and basic analytic properties of the function are obtained including the derivative, integral, Taylor series expansion, real branches and asymptotic approximation of the function. Moreover, the probability distribution of the three-parameter entropy is derived which is expressed in terms of the translated logarithmic Lambert function.


title: A Variational Inequality Approach to Bayesian Regression Games

abstract: Bayesian regression games are a special class of two-player general-sum Bayesian games in which the learner is partially informed about the adversary's objective through a Bayesian prior. This formulation captures the uncertainty in regard to the adversary, and is useful in problems where the learner and adversary may have conflicting, but not necessarily perfectly antagonistic objectives. Although the Bayesian approach is a more general alternative to the standard minimax formulation, the applications of Bayesian regression games have been limited due to computational difficulties, and the existence and uniqueness of a Bayesian equilibrium are only known for quadratic cost functions. First, we prove the existence and uniqueness of a Bayesian equilibrium for a class of convex and smooth Bayesian games by regarding it as a solution of an infinite-dimensional variational inequality (VI) in Hilbert space. We consider two special cases in which the infinite-dimensional VI reduces to a high-dimensional VI or a nonconvex stochastic optimization, and provide two simple algorithms of solving them with strong convergence guarantees. Numerical results on real datasets demonstrate the promise of this approach.


title: A scalable hierarchical lasso for gene-environment interactions

abstract: We describe a regularized regression model for the selection of gene-environment (GxE) interactions. The model focuses on a single environmental exposure and induces a main-effect-before-interaction hierarchical structure. We propose an efficient fitting algorithm and screening rules that can discard large numbers of irrelevant predictors with high accuracy. We present simulation results showing that the model outperforms existing joint selection methods for (GxE) interactions in terms of selection performance, scalability and speed, and provide a real data application. Our implementation is available in the gesso R package.


title: Addressing catastrophic forgetting for medical domain expansion

abstract: Model brittleness is a key concern when deploying deep learning models in real-world medical settings. A model that has high performance at one institution may suffer a significant decline in performance when tested at other institutions. While pooling datasets from multiple institutions and retraining may provide a straightforward solution, it is often infeasible and may compromise patient privacy. An alternative approach is to fine-tune the model on subsequent institutions after training on the original institution. Notably, this approach degrades model performance at the original institution, a phenomenon known as catastrophic forgetting. In this paper, we develop an approach to address catastrophic forget-ting based on elastic weight consolidation combined with modulation of batch normalization statistics under two scenarios: first, for expanding the domain from one imaging system's data to another imaging system's, and second, for expanding the domain from a large multi-institutional dataset to another single institution dataset. We show that our approach outperforms several other state-of-the-art approaches and provide theoretical justification for the efficacy of batch normalization modulation. The results of this study are generally applicable to the deployment of any clinical deep learning model which requires domain expansion.


title: Projection: A Mechanism for Human-like Reasoning in Artificial Intelligence

abstract: Artificial Intelligence systems cannot yet match human abilities to apply knowledge to situations that vary from what they have been programmed for, or trained for. In visual object recognition methods of inference exploiting top-down information (from a model) have been shown to be effective for recognising entities in difficult conditions. Here this type of inference, called `projection', is shown to be a key mechanism to solve the problem of applying knowledge to varied or challenging situations, across a range of AI domains, such as vision, robotics, or language. Finally the relevance of projection to tackling the commonsense knowledge problem is discussed.


title: Universal Bounds on Fluctuations in Continuous Thermal Machines

abstract: We study bounds on ratios of fluctuations in steady-state time-reversal heat engines controlled by multi affinities. In the linear response regime, we prove that the relative fluctuations (precision) of the output current (power) is always lower-bounded by the relative fluctuations of the input current (heat current absorbed from the hot bath). As a consequence, the ratio between the fluctuations of the output and input currents are bounded both from above and below, where the lower (upper) bound is determined by the square of the averaged efficiency (square of the Carnot efficiency) of the engine. The saturation of the lower bound is achieved in the tight-coupling limit when the determinant of the Onsager response matrix vanishes. Our analysis can be applied to different operational regimes, including engines, refrigerators, and heat pumps. We illustrate our findings in two types of continuous engines: two-terminal coherent thermoelectric junctions and three-terminal quantum absorption refrigerators. Numerical simulations in the far-from-equilibrium regime suggest that these bounds apply more broadly, beyond linear response.


title: Constrained Deep Learning Based Nonlinear Model Predictive Control

abstract: Learning-based model predictive control (MPC) is an approach designed to reduce the computational cost of MPC. In this paper, a constrained deep neural network (DNN) design is proposed to learn MPC policy for nonlinear systems. Using constrained training of neural networks, MPC constraints are enforced effectively. Furthermore, recursive feasibility and robust stability conditions are derived for the learning-based MPC approach. Additionally, probabilistic feasibility and optimality empirical guarantees are provided for the learned control policy. The proposed algorithm is implemented on the Furuta pendulum and control performance is demonstrated and compared with the exact MPC and the normally trained learning-based MPC. The results show superior control performance and constraint satisfaction of the proposed approach.


title: Extremely large magnetoresistance from electron-hole compensation in the nodal loop semimetal ZrP$_2$

abstract: Several early transition metal dipnictides have been found to host topological semimetal states and exhibit large magnetoresistance. In this study, we use angle-resolved photoemission spectroscopy (ARPES) and magneto-transport to study the electronic properties of a new transition metal dipnictide ZrP$_2$. We find that ZrP$_2$ exhibits an extremely large and unsaturated magnetoresistance of up to 40,000 % at 2 K, which originates from an almost perfect electron-hole compensation. Our band structure calculations further show that ZrP$_2$ hosts a topological nodal loop in proximity to the Fermi level. Based on the ARPES measurements, we confirm the results of our calculations and determine the surface band structure. Our study establishes ZrP$_2$ as a new platform to investigate near-perfect electron-hole compensation and its interplay with topological band structures.


title: Tracking Pedestrian Heads in Dense Crowd

abstract: Tracking humans in crowded video sequences is an important constituent of visual scene understanding. Increasing crowd density challenges visibility of humans, limiting the scalability of existing pedestrian trackers to higher crowd densities. For that reason, we propose to revitalize head tracking with Crowd of Heads Dataset (CroHD), consisting of 9 sequences of 11,463 frames with over 2,276,838 heads and 5,230 tracks annotated in diverse scenes. For evaluation, we proposed a new metric, IDEucl, to measure an algorithm's efficacy in preserving a unique identity for the longest stretch in image coordinate space, thus building a correspondence between pedestrian crowd motion and the performance of a tracking algorithm. Moreover, we also propose a new head detector, HeadHunter, which is designed for small head detection in crowded scenes. We extend HeadHunter with a Particle Filter and a color histogram based re-identification module for head tracking. To establish this as a strong baseline, we compare our tracker with existing state-of-the-art pedestrian trackers on CroHD and demonstrate superiority, especially in identity preserving tracking metrics. With a light-weight head detector and a tracker which is efficient at identity preservation, we believe our contributions will serve useful in advancement of pedestrian tracking in dense crowds.


title: A Broad Study on the Transferability of Visual Representations with Contrastive Learning

abstract: Tremendous progress has been made in visual representation learning, notably with the recent success of self-supervised contrastive learning methods. Supervised contrastive learning has also been shown to outperform its cross-entropy counterparts by leveraging labels for choosing where to contrast. However, there has been little work to explore the transfer capability of contrastive learning to a different domain. In this paper, we conduct a comprehensive study on the transferability of learned representations of different contrastive approaches for linear evaluation, full-network transfer, and few-shot recognition on 12 downstream datasets from different domains, and object detection tasks on MSCOCO and VOC0712. The results show that the contrastive approaches learn representations that are easily transferable to a different downstream task. We further observe that the joint objective of self-supervised contrastive loss with cross-entropy/supervised-contrastive loss leads to better transferability of these models over their supervised counterparts. Our analysis reveals that the representations learned from the contrastive approaches contain more low/mid-level semantics than cross-entropy models, which enables them to quickly adapt to a new task. Our codes and models will be publicly available to facilitate future research on transferability of visual representations.


title: Apparatus Design for Measuring of the Strain Dependence of the Seebeck Coefficient of Single Crystals

abstract: We present the design and construction of an apparatus that measures the Seebeck coefficient of single crystals under in-situ tunable strain at cryogenic temperatures. A home-built three piezostack apparatus applies uni-axial stress to a single crystalline sample and modulates anisotropic strain up to 0.7%. An alternating heater system and cernox sensor thermometry measures the Seebeck coefficient along the uniaxial stress direction. To demonstrate the efficacy of this apparatus, we applied uniaxial stress to detwin single crystals of BaFe2As2 in the orthorhombic phase. The obtained Seebeck coefficient anisotropy is in good agreement with previous measurements using a mechanical clamp.


title: Non-Hermitian gauge field theories and BPS limits

abstract: We present an overview of some key results obtained in a recent series devoted to non-Hermitian quantum field theories for which we systematically modify the underlying symmetries. Particular attention is placed on the interplay between the continuous symmetry group that we alter from global to local, from Abelian to non-Abelian, from rank one to generic rank N, and the discrete anti-linear modified CPT-symmetries. The presence of the latter guarantees the reality of the mass spectrum in a certain parameter regime. We investigate the extension of Goldstone's theorem and the Higgs mechanism, which we demonstrate to work in the conventional fashion in the CPT symmetric regime, but which needs to be modified technically at the standard exceptional points of the mass spectrum and entirely fails at what we refer to as zero exceptional points as well as in the broken CPT-symmetric regime. In the full non-Hermitian non-Abelian gauge theory we identify the t'Hooft-Polyakov monopoles by means of a fourfold Bogomol'nyi-Prasad-Sommerfield (BPS) limit. We investigate this limit further for other types of non-Hermitian field theories in 1+1 dimensions that possess complex super-exponential and inverse hyperbolic kink/anti-kink solutions and for 3+1 dimensional Skyrme models for which we find new types of complex solutions, that all have real energies due to the presence of different types of CPT-symmetries.


title: The Duality of Data and Knowledge Across the Three Waves of AI

abstract: We discuss how over the last 30 to 50 years, Artificial Intelligence (AI) systems that focused only on data have been handicapped, and how knowledge has been critical in developing smarter, intelligent, and more effective systems. In fact, the vast progress in AI can be viewed in terms of the three waves of AI as identified by DARPA. During the first wave, handcrafted knowledge has been at the center-piece, while during the second wave, the data-driven approaches supplanted knowledge. Now we see a strong role and resurgence of knowledge fueling major breakthroughs in the third wave of AI underpinning future intelligent systems as they attempt human-like decision making, and seek to become trusted assistants and companions for humans. We find a wider availability of knowledge created from diverse sources, using manual to automated means both by repurposing as well as by extraction. Using knowledge with statistical learning is becoming increasingly indispensable to help make AI systems more transparent and auditable. We will draw a parallel with the role of knowledge and experience in human intelligence based on cognitive science, and discuss emerging neuro-symbolic or hybrid AI systems in which knowledge is the critical enabler for combining capabilities of the data-intensive statistical AI systems with those of symbolic AI systems, resulting in more capable AI systems that support more human-like intelligence.


title: Conditions and Assumptions for Constraint-based Causal Structure Learning

abstract: We formalize constraint-based structure learning of the "true" causal graph from observed data when unobserved variables are also existent. We provide conditions for a "natural" family of constraint-based structure-learning algorithms that output graphs that are Markov equivalent to the causal graph. Under the faithfulness assumption, this natural family contains all exact structure-learning algorithms. We also provide a set of assumptions, under which any natural structure-learning algorithm outputs Markov equivalent graphs to the causal graph. These assumptions can be thought of as a relaxation of faithfulness, and most of them can be directly tested from (the underlying distribution) of the data, particularly when one focuses on structural causal models. We specialize the definitions and results for structural causal models.


title: Tangent bundle of a manifold of K$3^{[2]}$-type is rigid

abstract: We prove that the tangent bundle of a manifold of K$3^{[2]}$-type is rigid.


title: Analysis of Truncated Orthogonal Iteration for Sparse Eigenvector Problems

abstract: A wide range of problems in computational science and engineering require estimation of sparse eigenvectors for high dimensional systems. Here, we propose two variants of the Truncated Orthogonal Iteration to compute multiple leading eigenvectors with sparsity constraints simultaneously. We establish numerical convergence results for the proposed algorithms using a perturbation framework, and extend our analysis to other existing alternatives for sparse eigenvector estimation. We then apply our algorithms to solve the sparse principle component analysis problem for a wide range of test datasets, from simple simulations to real-world datasets including MNIST, sea surface temperature and 20 newsgroups. In all these cases, we show that the new methods get state of the art results quickly and with minimal parameter tuning.


title: Iteration of Cox rings of klt singularities

abstract: Given a klt singularity $(X,\Delta;x)$, we define the iteration of Cox rings of $(X,\Delta;x)$. The first result of this article is that the iteration of Cox rings ${\rm Cox}^{(k)}(X,\Delta;x)$ of a klt singularity stabilizes for $k$ large enough. The second result is a boundedness one, we prove that for a $n$-dimensional klt singularity $(X,\Delta;x)$ the iteration of Cox rings stabilizes for $k\geq c(n)$, where $c(n)$ only depends on $n$. Then, we use Cox rings to establish the existence of a simply connected factorial canonical cover (or scfc cover) of a klt singularity. We prove that the scfc cover dominates any sequence of quasi-\'etale finite covers and reductive abelian quasi-torsors of the singularity. We characterize when the iteration of Cox rings is smooth and when the scfc cover is smooth. We also characterize when the spectrum of the iteration coincides with the scfc cover. Finally, we give a complete description of the regional fundamental group, the iteration of Cox rings, and the scfc cover of klt singularities of complexity one. Analogous versions of all our theorems are also proved for Fano type morphisms. To extend the results to this setting, we show that the Jordan property holds for the regional fundamental group of Fano type morphisms.


title: Expectation-Maximization Learning for Wireless Channel Modeling of Reconfigurable Intelligent Surfaces

abstract: Channel modeling is a critical issue when designing or evaluating the performance of reconfigurable intelligent surface (RIS)-assisted communications. Inspired by the promising potential of learning-based methods for characterizing the radio environment, we present a general approach to model the RIS end-to-end equivalent channel using the unsupervised expectation-maximization (EM) learning algorithm. We show that an EM-based approximation through a simple mixture of two Nakagami-$m$ distributions suffices to accurately approximating the equivalent channel, while allowing for the incorporation of crucial aspects into RIS's channel modeling as spatial channel correlation, phase-shift errors, arbitrary fading conditions, and coexistence of direct and RIS channels. Based on the proposed analytical framework, we evaluate the outage probability under different settings of RIS's channel features and confirm the superiority of this approach compared to recent results in the literature.


title: Ontology-Based Recommendation of Editorial Products

abstract: Major academic publishers need to be able to analyse their vast catalogue of products and select the best items to be marketed in scientific venues. This is a complex exercise that requires characterising with a high precision the topics of thousands of books and matching them with the interests of the relevant communities. In Springer Nature, this task has been traditionally handled manually by publishing editors. However, the rapid growth in the number of scientific publications and the dynamic nature of the Computer Science landscape has made this solution increasingly inefficient. We have addressed this issue by creating Smart Book Recommender (SBR), an ontology-based recommender system developed by The Open University (OU) in collaboration with Springer Nature, which supports their Computer Science editorial team in selecting the products to market at specific venues. SBR recommends books, journals, and conference proceedings relevant to a conference by taking advantage of a semantically enhanced representation of about 27K editorial products. This is based on the Computer Science Ontology, a very large-scale, automatically generated taxonomy of research areas. SBR also allows users to investigate why a certain publication was suggested by the system. It does so by means of an interactive graph view that displays the topic taxonomy of the recommended editorial product and compares it with the topic-centric characterization of the input conference. An evaluation carried out with seven Springer Nature editors and seven OU researchers has confirmed the effectiveness of the solution.


title: Improving Editorial Workflow and Metadata Quality at Springer Nature

abstract: Identifying the research topics that best describe the scope of a scientific publication is a crucial task for editors, in particular because the quality of these annotations determine how effectively users are able to discover the right content in online libraries. For this reason, Springer Nature, the world's largest academic book publisher, has traditionally entrusted this task to their most expert editors. These editors manually analyse all new books, possibly including hundreds of chapters, and produce a list of the most relevant topics. Hence, this process has traditionally been very expensive, time-consuming, and confined to a few senior editors. For these reasons, back in 2016 we developed Smart Topic Miner (STM), an ontology-driven application that assists the Springer Nature editorial team in annotating the volumes of all books covering conference proceedings in Computer Science. Since then STM has been regularly used by editors in Germany, China, Brazil, India, and Japan, for a total of about 800 volumes per year. Over the past three years the initial prototype has iteratively evolved in response to feedback from the users and evolving requirements. In this paper we present the most recent version of the tool and describe the evolution of the system over the years, the key lessons learnt, and the impact on the Springer Nature workflow. In particular, our solution has drastically reduced the time needed to annotate proceedings and significantly improved their discoverability, resulting in 9.3 million additional downloads. We also present a user study involving 9 editors, which yielded excellent results in term of usability, and report an evaluation of the new topic classifier used by STM, which outperforms previous versions in recall and F-measure.


title: The Fermi GBM Gamma-Ray Burst Spectral Catalog: 10 Years of Data

abstract: We present the systematic spectral analyses of gamma-ray bursts (GRBs) detected by the Fermi Gamma-Ray Burst Monitor (GBM) during its first ten years of operation. This catalog contains two types of spectra; time-integrated spectral fits and spectral fits at the brightest time bin, from 2297 GRBs, resulting in a compendium of over 18000 spectra. The four different spectral models used for fitting the spectra were selected based on their empirical importance to the shape of many GRBs. We describe in detail our procedure and criteria for the analyses, and present the bulk results in the form of parameter distributions both in the observer frame and in the GRB rest frame. 941 GRBs from the first four years have been re-fitted using the same methodology as that of the 1356 GRBs in years five through ten. The data files containing the complete results are available from the High-Energy Astrophysics Science Archive Research Center (HEASARC).


title: Computing the one-parameter Nielsen number for homotopies on the n-torus

abstract: Let $F: T^{n} \times I \to T^{n}$ be a homotopy on a n-dimensional torus. The main purpose of this paper is to present a formula for the one-parameter Nielsen number $N(F)$ of $F$ in terms of its induced homomorphism. If $L(F)$ is the one-parameter Lefschetz class of $F$ then $L(F)$ is given by $L(F) = \ N(F)\alpha,$ for some $\alpha \in H_{1}(\pi_{1}(T^{n}),\mathbb{Z}).$


title: Pricing and Energy Trading in Peer-to-peer Zero Marginal-cost Microgrids

abstract: Efforts to utilize 100% renewable energy in community microgrids require new approaches to energy markets and transactions to efficiently address periods of scarce energy supply. In this paper we contribute to the promising approach of peer-to-peer (P2P) energy trading in two main ways: analysis of a centralized, welfare-maximizing economic dispatch that characterizes optimal price and allocations, and a novel P2P system for negotiating energy trades that yields physically feasible and at least weakly Pareto-optimal outcomes. Our main results are 1) that optimal pricing is insufficient to induce agents with batteries to take optimal actions, 2) a novel P2P algorithm to address this while keeping private information, 3) a formal proof that this algorithm converges to the centralized solution in the case of two agents negotiating for a single period, and 4)numerical simulations of the P2P algorithm performance with up to 10 agents and 24 periods that show it converges on average to total welfare within 0.1% of the social optimum in on the order of 10s to 100s of iterations, increasing with the number of agents, time periods, and total storage capacity.


title: Classification of geodesics on a cone in space

abstract: This article presents a new way to classify geodesics on a cone in the Euclidean 3-space. This proof is obtained considering our main result, which establishes the necessary and sufficient conditions that a curve in space must satisfy: to be rectifying curve or that its trace is contained in the sphere centered at the origin.


title: Error Identification and Recovery in Robotic Snap Assembly

abstract: Existing methods for predicting robotic snap joint assembly cannot predict failures before their occurrence. To address this limitation, this paper proposes a method for predicting error states before the occurence of error, thereby enabling timely recovery. Robotic snap joint assembly requires precise positioning; therefore, even a slight offset between parts can lead to assembly failure. To correctly predict error states, we apply functional principal component analysis (fPCA) to 6D force/torque profiles that are terminated before the occurence of an error. The error state is identified by applying a feature vector to a decision tree, wherein the support vector machine (SVM) is employed at each node. If the estimation accuracy is low, we perform additional probing to more correctly identify the error state. Finally, after identifying the error state, a robot performs the error recovery motion based on the identified error state. Through the experimental results of assembling plastic parts with four snap joints, we show that the error states can be correctly estimated and a robot can recover from the identified error state.


title: Symmetry-Preserving Paths in Integrated Gradients

abstract: We provide rigorous proofs that the Integrated Gradients (IG) attribution method for deep networks satisfies completeness and symmetry-preserving properties. We also study the uniqueness of IG as a path method preserving symmetry.


title: A formal proof of the Lax equivalence theorem for finite difference schemes

abstract: The behavior of physical systems is typically modeled using differential equations which are too complex to solve analytically. In practical problems, these equations are discretized on a computational domain, and numerical solutions are computed. A numerical scheme is called convergent, if in the limit of infinitesimal discretization, the bounds on the discretization error is also infinitesimally small. The approximate solution converges to the "true solution" in this limit. The Lax equivalence theorem enables a proof of convergence given consistency and stability of the method. In this work, we formally prove the Lax equivalence theorem using the Coq Proof Assistant. We assume a continuous linear differential operator between complete normed spaces, and define an equivalent mapping in the discretized space. Given that the numerical method is consistent (i.e., the discretization error tends to zero as the discretization step tends to zero), and the method is stable (i.e., the error is uniformly bounded), we formally prove that the approximate solution converges to the true solution. We then demonstrate convergence of the difference scheme on an example problem by proving both its consistency and stability, and then applying the Lax equivalence theorem. In order to prove consistency, we use the Taylor-Lagrange theorem by formally showing that the discretization error is bounded above by the nth power of the discretization step, where n is the order of the truncated Taylor polynomial.


title: Convergence of the Birkhoff normal form sometimes implies convergence of a normalizing transformation

abstract: Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an analytic function of its non-degenerate quadratic part. We prove that in this case there is an analytic canonical transformation -- not just a formal power series -- bringing the Hamiltonian into its Birkhoff normal form.


title: Probable observation of the nuclear Cooper pair mean square radius in superfluid nuclei

abstract: The phenomenon of low-temperature superconductivity is intimately associated with the condensation of weakly bound, very extended, strongly overlapping Cooper pairs, and systematic experimental studies of the associated mean square radius (coherence length) have been made. While the extension of BCS theory to the atomic nucleus has been successful beyond expectation, to our knowledge, no measurement of the nuclear coherence length (expected to be much larger than nuclear dimensions) has been reported in the literature. Recent studies of Cooper pair transfer across a Josephson-like junction, transiently established in a heavy ion collision between superfluid nuclei, have likely changed the situation, providing the experimental input for a quantitative estimate of the nuclear coherence length, as well as the basis for a nuclear analogue of the (ac) Josephson effect.


title: Twist engineering of the two-dimensional magnetism in double bilayer chromium triiodide homostructures

abstract: Twist engineering, or the alignment of two-dimensional (2D) crystalline layers with desired orientations, has led to tremendous success in modulating the charge degree of freedom in hetero- and homo-structures, in particular, in achieving novel correlated and topological electronic phases in moir\'e electronic crystals. However, although pioneering theoretical efforts have predicted nontrivial magnetism and magnons out of twisting 2D magnets, experimental realization of twist engineering spin degree of freedom remains elusive. Here, we leverage the archetypal 2D Ising magnet chromium triiodide (CrI3) to fabricate twisted double bilayer homostructures with tunable twist angles and demonstrate the successful twist engineering of 2D magnetism in them. Using linear and circular polarization-resolved Raman spectroscopy, we identify magneto-Raman signatures of a new magnetic ground state that is sharply distinct from those in natural bilayer (2L) and four-layer (4L) CrI3. With careful magnetic field and twist angle dependence, we reveal that, for a very small twist angle (~ 0.5 degree), this emergent magnetism can be well-approximated by a weighted linear superposition of those of 2L and 4L CI3 whereas, for a relatively large twist angle (~ 5 degree), it mostly resembles that of isolated 2L CrI3. Remarkably, at an intermediate twist angle (~ 1.1 degree), its magnetism cannot be simply inferred from the 2L and 4L cases, because it lacks sharp spin-flip transitions that are present in 2L and 4L CrI3 and features a dramatic Raman circular dichroism that is absent in natural 2L and 4L ones. Our results demonstrate the possibility of designing and controlling the spin degree of freedom in 2D magnets using twist engineering.


title: Hierarchical Proxy-based Loss for Deep Metric Learning

abstract: Proxy-based metric learning losses are superior to pair-based losses due to their fast convergence and low training complexity. However, existing proxy-based losses focus on learning class-discriminative features while overlooking the commonalities shared across classes which are potentially useful in describing and matching samples. Moreover, they ignore the implicit hierarchy of categories in real-world datasets, where similar subordinate classes can be grouped together. In this paper, we present a framework that leverages this implicit hierarchy by imposing a hierarchical structure on the proxies and can be used with any existing proxy-based loss. This allows our model to capture both class-discriminative features and class-shared characteristics without breaking the implicit data hierarchy. We evaluate our method on five established image retrieval datasets such as In-Shop and SOP. Results demonstrate that our hierarchical proxy-based loss framework improves the performance of existing proxy-based losses, especially on large datasets which exhibit strong hierarchical structure.