title: Adversarial Optimal Transport Through The Convolution Of Kernels With Evolving Measures

abstract: A novel algorithm is proposed to solve the sample-based optimal transport problem. An adversarial formulation of the push-forward condition uses a test function built as a convolution between an adaptive kernel and an evolving probability distribution $\nu$ over a latent variable $b$. Approximating this convolution by its simulation over evolving samples $b^i(t)$ of $\nu$, the parameterization of the test function reduces to determining the flow of these samples. This flow, discretized over discrete time steps $t_n$, is built from the composition of elementary maps. The optimal transport also follows a flow that, by duality, must follow the gradient of the test function. The representation of the test function as the Monte Carlo simulation of a distribution makes the algorithm robust to dimensionality, and its evolution under a memory-less flow produces rich, complex maps from simple parametric transformations. The algorithm is illustrated with numerical examples.


title: Self-Representation Based Unsupervised Exemplar Selection in a Union of Subspaces

abstract: Finding a small set of representatives from an unlabeled dataset is a core problem in a broad range of applications such as dataset summarization and information extraction. Classical exemplar selection methods such as $k$-medoids work under the assumption that the data points are close to a few cluster centroids, and cannot handle the case where data lie close to a union of subspaces. This paper proposes a new exemplar selection model that searches for a subset that best reconstructs all data points as measured by the $\ell_1$ norm of the representation coefficients. Geometrically, this subset best covers all the data points as measured by the Minkowski functional of the subset. To solve our model efficiently, we introduce a farthest first search algorithm that iteratively selects the worst represented point as an exemplar. When the dataset is drawn from a union of independent subspaces, our method is able to select sufficiently many representatives from each subspace. We further develop an exemplar based subspace clustering method that is robust to imbalanced data and efficient for large scale data. Moreover, we show that a classifier trained on the selected exemplars (when they are labeled) can correctly classify the rest of the data points.


title: Vasconcelos' conjecture on the conormal module

abstract: For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$. When $R$ is a localisation of a polynomial ring over a field $K$ of characteristic zero, Vasconcelos conjectured that $R/I$ is a reduced complete intersection if the module $\Omega_{(R/I)/K}$ of differentials has finite projective dimension; we prove this contingent on the Eisenbud-Mazur conjecture. The arguments exploit the structure of the homotopy Lie algebra associated to $I$ in an essential way. By work of Avramov and Halperin, if every degree $2$ element of the homotopy Lie algebra is radical, then $I$ is generated by a regular sequence. Iyengar has shown that free summands of $I/I^2$ give rise to central elements of the homotopy Lie algebra, and we establish an analogous criterion for constructing radical elements, from which we deduce our main result.


title: Learning Convex Optimization Models

abstract: A convex optimization model predicts an output from an input by solving a convex optimization problem. The class of convex optimization models is large, and includes as special cases many well-known models like linear and logistic regression. We propose a heuristic for learning the parameters in a convex optimization model given a dataset of input-output pairs, using recently developed methods for differentiating the solution of a convex optimization problem with respect to its parameters. We describe three general classes of convex optimization models, maximum a posteriori (MAP) models, utility maximization models, and agent models, and present a numerical experiment for each.


title: Network Jets as the Driver of Counter-Streaming Flows in a Solar Filament/Filament Channel

abstract: Counter-streaming flows in a small (100" -long) solar filament/filament channel are directly observed in high-resolution SDO/AIA EUV images of a region of enhanced magnetic network. We combine images from SDO/AIA, SDO/HMI and IRIS to investigate the driving mechanism of these flows. We find that: (i) counter-streaming flows are present along adjacent filament/filament channel threads for about 2 hours, (ii) both ends of the filament/filament channel are rooted at the edges of magnetic network flux lanes along which there are impinging fine-scale opposite-polarity flux patches, (iii) recurrent small-scale jets (known as network jets) occur at the edges of the magnetic network flux lanes at the ends of the filament/filament channel, (iv) the recurrent network jet eruptions clearly drive the counter-streaming flows along threads of the filament/filament channel, (v) some of the network jets appear to stem from sites of flux cancelation, between network flux and merging opposite-polarity flux, and (vi) some show brightening at their bases, analogous to the base brightening in coronal jets. The average speed of the counter-streaming flows along the filament/filament channel threads is 70 km/s. The average widths of the AIA filament/filament channel and the Halpha filament are 4" and 2.5", respectively, consistent with the earlier findings that filaments in EUV images are wider than in Halpha images. Thus, our observations show that the continually repeated counter-streaming flows come from network jets, and these driving network-jet eruptions are possibly prepared and triggered by magnetic flux cancelation.


title: AdaLAM: Revisiting Handcrafted Outlier Detection

abstract: Local feature matching is a critical component of many computer vision pipelines, including among others Structure-from-Motion, SLAM, and Visual Localization. However, due to limitations in the descriptors, raw matches are often contaminated by a majority of outliers. As a result, outlier detection is a fundamental problem in computer vision, and a wide range of approaches have been proposed over the last decades. In this paper we revisit handcrafted approaches to outlier filtering. Based on best practices, we propose a hierarchical pipeline for effective outlier detection as well as integrate novel ideas which in sum lead to AdaLAM, an efficient and competitive approach to outlier rejection. AdaLAM is designed to effectively exploit modern parallel hardware, resulting in a very fast, yet very accurate, outlier filter. We validate AdaLAM on multiple large and diverse datasets, and we submit to the Image Matching Challenge (CVPR2020), obtaining competitive results with simple baseline descriptors. We show that AdaLAM is more than competitive to current state of the art, both in terms of efficiency and effectiveness.


title: Charge separation measurements in $p$($d$)+Au and Au+Au collisions; implications for the chiral magnetic effect

abstract: Charge separation ($\Delta S$) measurements, obtained relative to the $2^{\rm{nd}}$-order ($\Psi_2$) and $3^{\rm{rd}}$-order ($\Psi_3$) event planes with a new charge-sensitive correlator ${R_{\Psi_m}(\Delta S)}$, are presented for $p$($d$)+Au and Au+Au collisions at $\sqrt{s_{NN}}=200$~GeV. The correlator, which is sensitive to the hypothesized Chiral Magnetic Effect (CME), show the expected patterns of background-driven charge separation for the measurements relative to $\Psi_3$ and those relative to $\Psi_2$ for the $p$($d$)+Au systems. By contrast, the Au+Au measurements relative to $\Psi_2$, show event-shape-independent ${R_{\Psi_2}(\Delta S)}$ distributions consistent with a CME-driven charge separation, quantified by widths having an inverse relationship to the Fourier dipole coefficient $\tilde{a}_1$, which evaluates the CME. The extracted values of these widths and their dependencies on centrality and event-shape give new constraints for possible CME-driven charge separation in relativistic heavy-ion collisions.


title: Homological stability for Iwahori-Hecke algebras

abstract: We show that the Iwahori-Hecke algebras H_n of type A_{n-1} satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric groups in the case that the defining parameter is equal to 1. We believe that this paper, and our joint work with Boyd on Temperley-Lieb algebras, are the first time that the techniques of homological stability have been applied to algebras that are not group algebras.


title: Onset of Magnetic Explosion in Solar Coronal Jets in Quiet Regions on the Central Disk

abstract: We examine the initiation of 10 coronal jet eruptions in quiet regions on the central disk, thereby avoiding near-limb spicule-forest obscuration of the slow-rise onset of the minifilament eruption. From the SDO/AIA 171A 12-second-cadence movie of each eruption, we (1) find and compare the start times of the minifilament's slow rise, the jet-base bright point, the jet-base interior brightening, and the jet spire, and (2) measure the minifilament's speed at the start and end of its slow rise. From (a) these data, (b) prior observations showing that each eruption was triggered by magnetic flux cancelation under the minifilament, and (c) the breakout-reconnection current sheet observed in one eruption, we confirm that quiet-region jet-making minifilament eruptions are miniature versions of CME-making filament eruptions, and surmise that in most quiet region jets: (1) the eruption starts before runaway reconnection starts, (2) runaway reconnection does not start until the slow-rise speed is at least about 1 km/s, and (3) at and before eruption onset there is no current sheet of appreciable extent. We therefore expect: (i) many CME-making filament eruptions are triggered by flux cancelation under the filament, (ii) emerging bipoles seldom, if ever, directly drive jet production because the emergence is seldom, if ever, fast enough, and (iii) at a separatrix or quasi-separatrix in any astrophysical setting of magnetic field in low-beta plasma, a current sheet of appreciable extent can be built only dynamically by a magnetohydrodynamic convulsion of the field, not by quasi-static gradual converging of the field.


title: Holographic Dissipative Properties of Non-relativistic Black Branes with Hyperscaling Violation

abstract: In this work, we consider a class of hyperscaling violating Lifshitz-like black branes with metric scaling components $z=2$ and $\theta=-1$ whose corresponding holographic model can be treated as a non-relativistic fluid exhibiting Lifshitz-type symmetry. Having performed analytical calculations via the Klein-Gordon equation and the linear response theory, the experimental realizations of the concerned model, namely the transport coefficients, are found to behave as $\eta \propto T^{3/2}$, $\sigma_{DC} \propto T^{3/2}$, and $\rho_{DC} \propto T^{-3/2}$. The associated metric scaling exponents from the bulk theory are encrypted in the transport coefficients obtained for the holographic dual model. We believe that our analytical results can contribute to the endeavours in accomplishing a full understanding on the strongly coupled phenomena occurring in systems such as high temperature superconductors, the hypothetical magnetic monopoles, and liquid crystals.


title: How useful is Active Learning for Image-based Plant Phenotyping?

abstract: Deep learning models have been successfully deployed for a diverse array of image-based plant phenotyping applications including disease detection and classification. However, successful deployment of supervised deep learning models requires large amount of labeled data, which is a significant challenge in plant science (and most biological) domains due to the inherent complexity. Specifically, data annotation is costly, laborious, time consuming and needs domain expertise for phenotyping tasks, especially for diseases. To overcome this challenge, active learning algorithms have been proposed that reduce the amount of labeling needed by deep learning models to achieve good predictive performance. Active learning methods adaptively select samples to annotate using an acquisition function to achieve maximum (classification) performance under a fixed labeling budget. We report the performance of four different active learning methods, (1) Deep Bayesian Active Learning (DBAL), (2) Entropy, (3) Least Confidence, and (4) Coreset, with conventional random sampling-based annotation for two different image-based classification datasets. The first image dataset consists of soybean [Glycine max L. (Merr.)] leaves belonging to eight different soybean stresses and a healthy class, and the second consists of nine different weed species from the field. For a fixed labeling budget, we observed that the classification performance of deep learning models with active learning-based acquisition strategies is better than random sampling-based acquisition for both datasets. The integration of active learning strategies for data annotation can help mitigate labelling challenges in the plant sciences applications particularly where deep domain knowledge is required.


title: The homology of the Temperley-Lieb algebras

abstract: This paper studies the homology and cohomology of the Temperley-Lieb algebra TL_n(a), interpreted as appropriate Tor and Ext groups. Our main result applies under the common assumption that a=v+v^{-1} for some unit v in the ground ring, and states that the homology and cohomology vanish up to and including degree (n-2). To achieve this we simultaneously prove homological stability and compute the stable homology. We show that our vanishing range is sharp when n is even. Our methods are inspired by the tools and techniques of homological stability for families of groups. We construct and exploit a chain complex of 'planar injective words' that is analogous to the complex of injective words used to prove stability for the symmetric groups. However, in this algebraic setting we encounter a novel difficulty: TL_n(a) is not flat over TL_m(a) for m<n, so that Shapiro's lemma is unavailable. We resolve this difficulty by constructing what we call 'inductive resolutions' of the relevant modules. Vanishing results for the homology and cohomology of Temperley-Lieb algebras can also be obtained from the existence of the Jones-Wenzl projector. Our own vanishing results are in general far stronger than these, but in a restricted case we are able to obtain additional vanishing results via existence of the Jones-Wenzl projector. We believe that these results, together with the second author's work on Iwahori-Hecke algebras, are the first time the techniques of homological stability have been applied to algebras that are not group algebras.


title: The remnant of GW170817: a trapped neutron star with a hypermassive incompressible superfluid core

abstract: Our bimetric spacetime model of glitching pulsars is applied to the remnant of GW170817. Accordingly, pulsars are born with embryonic incompressible superconducting gluon-quark superfluid cores (SuSu-matter) that are embedded in Minkowski spacetime, whereas the ambient compressible and dissipative media (CDM) are imbedded in curved spacetime. As pulsars cool down, the equilibrium between both spacetime is altered, thereby triggering the well-observed glitch phenomena. Based thereon and assuming all neutron stars (NSs) to be born with the same initial mass of $M_{NS}(t=0) \approx 1.25\,\mathcal{M}_{\odot},$ we argue that the remnant of GW170817 should be a relatively faint NS with a hypermassive central core made of SuSu-matter. The effective mass and radius of the remnant are predicted to be $[2.8 \mathcal{M}_{\odot} < \mathcal{M}_{rem} \le 3.351 \mathcal{M}_{\odot}]$ and $R_{rem}=10.764$ km, whereas the mass of the enclosed SuSu-core is $\mathcal{M}_{core}=1.7 \mathcal{M}_{\odot}.$ Here, about $1/2~ \mathcal{M}_{core}$ is an energy enhancement triggered by the phase transition of the gluon-quark-plasma from the microscopic into macroscopic scale. The current compactness of the remnant is $\alpha_c = 0.918,$ but predicted to increase as the CDM and cools down, rendering the remnant an invisible dark energy object, and therefore to an excellent black hole candidate.


title: Investigating Estimated Kolmogorov Complexity as a Means of Regularization for Link Prediction

abstract: Link prediction in graphs is an important task in the fields of network science and machine learning. We investigate a flexible means of regularization for link prediction based on an approximation of the Kolmogorov complexity of graphs that is differentiable and compatible with recent advances in link prediction algorithms. Informally, the Kolmogorov complexity of an object is the length of the shortest computer program that produces the object. Complex networks are often generated, in part, by simple mechanisms; for example, many citation networks and social networks are approximately scale-free and can be explained by preferential attachment. A preference for predicting graphs with simpler generating mechanisms motivates our choice of Kolmogorov complexity as a regularization term. In our experiments the regularization method shows good performance on many diverse real-world networks, however we determine that this is likely due to an aggregation method rather than any actual estimation of Kolmogorov complexity.


title: Deep Goal-Oriented Clustering

abstract: Clustering and prediction are two primary tasks in the fields of unsupervised and supervised learning, respectively. Although much of the recent advances in machine learning have been centered around those two tasks, the interdependent, mutually beneficial relationship between them is rarely explored. One could reasonably expect appropriately clustering the data would aid the downstream prediction task and, conversely, a better prediction performance for the downstream task could potentially inform a more appropriate clustering strategy. In this work, we focus on the latter part of this mutually beneficial relationship. To this end, we introduce Deep Goal-Oriented Clustering (DGC), a probabilistic framework that clusters the data by jointly using supervision via side-information and unsupervised modeling of the inherent data structure in an end-to-end fashion. We show the effectiveness of our model on a range of datasets by achieving prediction accuracies comparable to the state-of-the-art, while, more importantly in our setting, simultaneously learning congruent clustering strategies.


title: Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications

abstract: We propose a counterexample-guided inductive synthesis framework for the formal synthesis of closed-form sampled-data controllers for nonlinear systems to meet STL specifications over finite-time trajectories. Rather than stating the STL specification for a single initial condition, we consider an (infinite and bounded) set of initial conditions. Candidate solutions are proposed using genetic programming, which evolves controllers based on a finite number of simulations. Subsequently, the best candidate is verified using reachability analysis; if the candidate solution does not satisfy the specification, an initial condition violating the specification is extracted as a counterexample. Based on this counterexample, candidate solutions are refined until eventually a solution is found (or a user-specified number of iterations is met). The resulting sampled-data controller is expressed as a closed-form expression, enabling both interpretability and the implementation in embedded hardware with limited memory and computation power. The effectiveness of our approach is demonstrated for multiple systems.


title: Combinatorics of injective words for Temperley-Lieb algebras

abstract: This paper studies combinatorial properties of the 'complex of planar injective words', a chain complex of modules over the Temperley-Lieb algebra that arose in our work on homological stability. Despite being a linear rather than a discrete object, our chain complex nevertheless exhibits interesting combinatorial properties. We show that the Euler characteristic of this complex is the n-th Fine number. We obtain an alternating sum formula for the representation given by its top-dimensional homology module and, under further restrictions on the ground ring, we decompose this module in terms of certain standard Young tableaux. This trio of results - inspired by results of Reiner and Webb for the complex of injective words - can be viewed as an interpretation of the n-th Fine number as the 'planar' or 'Dyck path' analogue of the number of derangements of n letters. This interpretation has precursors in the literature, but here emerges naturally from considerations in homological stability. Our final result shows a surprising connection between the boundary maps of our complex and the Jacobsthal numbers.


title: Singular Soliton Molecules of the Nonlinear Schrodinger Equation

abstract: We derive an exact solution to the local nonlinear Schr\"odinger equation (NLSE) using the Darboux transformation method. The new solution describes the profile and dynamics of a two-soliton molecule. Using an algebraically-decaying seed solution, we obtain a two-soliton solution with diverging peaks, which we denote as singular soliton molecule. We find that the new solution has a finite binding energy. We calculate the force and potential of interaction between the two solitons, which turn out to be of molecular-type. The robustness of the bond between the two solitons is also verified. Furthermore, we obtain a new solution to the nonlocal NLSE using the same method and seed solution. The new solution in this case corresponds to an elastic collision of a soliton, a breather soliton on flat background, and a breather soliton on a background with linear ramp. Finally, we consider an NLSE which is nonlocal in time rather than space. Although we did not find a Lax pair to this equation, we derive three exact solutions.


title: Alternative high plasma beta regimes of electron heat-flux instabilities in the solar wind

abstract: The heat transport in the solar wind is dominated by the suprathermal electron populations, i.e., a tenuous halo and a field-aligned beam/strahl, with high energies and antisunward drifts along the magnetic field. Their evolution may offer plausible explanations for the rapid decrease of the heat flux with the solar wind expansion, typically invoked being the self-generated instabilities, or the so-called heat flux instabilities (HFIs). The present paper provides a unified description of the full spectrum of HFIs, as prescribed by the linear kinetic theory for high beta conditions ($\beta_e \gg 0.1$) and different relative drifts ($U$) of the suprathermals. HFIs of different nature are distinguished, i.e., electromagnetic, electrostatic or hybrid, propagating parallel or obliquely to the magnetic field, etc., as well as their regimes of interplay (co-existence) or dominance. These alternative regimes of HFIs complement each other and may be characteristic to different relative drifts of suprathermal electrons and various conditions in the solar wind, e.g., in the slow or fast winds, streaming interaction regions and interplanetary shocks. Moreover, these results strongly suggest that heat flux regulation may not involve only one but several HFIs, concomitantly or successively in time. Conditions for a single, well defined instability with major effects on the suprathermal electrons and, implicitly, the heat flux, seem to be very limited. Whistler HFIs are more likely to occur but only for minor drifts (as also reported by recent observations), which may explain a modest implication in their regulation, shown already in quasilinear studies and numerical simulations.


title: Robust localized zero-energy modes from locally embedded PT-symmetric defects

abstract: We demonstrate the creation of robust localized zero-energy states that are induced into topologically trivial systems by insertion of a PT-symmetric defect with local gain and loss. A pair of robust localized states induced by the defect turns into zero-energy modes when the gain-loss contrast exceeds a threshold, at which the defect states encounter an exceptional point. Our approach can be used to obtain robust lasing or perfectly absorbing modes in any part of the system.


title: Gravitational waves of a first-order QCD phase transition at finite coupling from holography

abstract: We consider a holographic study of coupling dependent gravitational waves produced by the cosmic first order QCD phase transition at finite baryochemical potential. In the dual description, the first-order QCD phase transition corresponds to the first-order Hawking-Page phase transition in Gauss-Bonnet gravity. At intermediate coupling, we obtain key quantities characterizing the gravitational wave energy density spectrum. We then find that the gravitational waves might be detected for sufficiently large Gauss-Bonnet coupling, while sound waves play an important role in the spectrum. We also consider a supercooling scenario during the QCD phase transition and show that the gravitational waves generated during this period can be detected by pulsar timing array experiments.


title: Sparse learning with CART

abstract: Decision trees with binary splits are popularly constructed using Classification and Regression Trees (CART) methodology. For regression models, this approach recursively divides the data into two near-homogenous daughter nodes according to a split point that maximizes the reduction in sum of squares error (the impurity) along a particular variable. This paper aims to study the statistical properties of regression trees constructed with CART methodology. In doing so, we find that the training error is governed by the Pearson correlation between the optimal decision stump and response data in each node, which we bound by constructing a prior distribution on the split points and solving a nonlinear optimization problem. We leverage this connection between the training error and Pearson correlation to show that CART with cost-complexity pruning achieves an optimal complexity/goodness-of-fit tradeoff when the depth scales with the logarithm of the sample size. Data dependent quantities, which adapt to the dimensionality and latent structure of the regression model, are seen to govern the rates of convergence of the prediction error.


title: Improved Recursive Computation of Clebsch-Gordan Coefficients

abstract: Fast, accurate, and stable computation of the Clebsch-Gordan (C-G) coefficients is always desirable, for example, in light scattering simulations, the translation of the multipole fields, quantum physics and chemistry. Current recursive methods for computing the C-G coefficients are often unstable for large quantum numbers due to numerical overflow or underflow. In this paper, we present an improved method, the so-called sign-exponent recurrence, for the recursive computation of C-G coefficients. The result shows that the proposed method can significantly improve the stability of the computation without losing its efficiency, producing accurate values for the C-G coefficients even with very large quantum numbers.


title: The poset of king permutations on a cylinder

abstract: A permutation $\sigma=[\sigma_1,\dots,\sigma_n] \in S_n$ is called a {\em cylindrical king permutation} if $ |\sigma_{i+1}-\sigma_{i}|>1$ for each $1\leq i \leq n-1$ and $|\sigma_1-\sigma_n|>1$. The name comes from the the way one can see these permutations as describing locations of $n$ kings on a chessboard of order $n\times n$ in such a way that (each row and each column contains exactly one king and) no two kings are attacking each other, with the additional condition that a king can move off a certain row and reappear at the beginning of that row. In a recent paper, we dealt with the more general set of 'king permutations' i.e. the ones which satisfy only the first of the two conditions above. This set constitutes a poest under the well known containment relation on permutations. In this article we investigate the sub-poset of the cylindrical king permutations and its structure. We examine those cylindrical king permutations whose downset is as large as possible in the upper ranks. We use a modification of Manhattan distance of the plot of a permutation and some of its applications to the cylindrical context to find a criterion for such a permutation to be $k-$ prolific. One of our main results is that the maximal gap between two permutations in the poset of cylindrical permutations is $4$.


title: False (and Missed) Discoveries in Financial Economics

abstract: Multiple testing plagues many important questions in finance such as fund and factor selection. We propose a new way to calibrate both Type I and Type II errors. Next, using a double-bootstrap method, we establish a t-statistic hurdle that is associated with a specific false discovery rate (e.g., 5%). We also establish a hurdle that is associated with a certain acceptable ratio of misses to false discoveries (Type II error scaled by Type I error), which effectively allows for differential costs of the two types of mistakes. Evaluating current methods, we find that they lack power to detect outperforming managers.


title: EDropout: Energy-Based Dropout and Pruning of Deep Neural Networks

abstract: Dropout is a well-known regularization method by sampling a sub-network from a larger deep neural network and training different sub-networks on different subsets of the data. Inspired by the dropout concept, we propose EDropout as an energy-based framework for pruning neural networks in classification tasks. In this approach, a set of binary pruning state vectors (population) represents a set of corresponding sub-networks from an arbitrary provided original neural network. An energy loss function assigns a scalar energy loss value to each pruning state. The energy-based model stochastically evolves the population to find states with lower energy loss. The best pruning state is then selected and applied to the original network. Similar to dropout, the kept weights are updated using backpropagation in a probabilistic model. The energy-based model again searches for better pruning states and the cycle continuous. Indeed, this procedure is in fact switching between the energy model, which manages the pruning states, and the probabilistic model, which updates the temporarily unpruned weights, in each iteration. The population can dynamically converge to a pruning state. This can be interpreted as dropout leading to pruning the network. From an implementation perspective, EDropout can prune typical neural networks without modification of the network architecture. We evaluated the proposed method on different flavours of ResNets, AlexNet, and SqueezeNet on the Kuzushiji, Fashion, CIFAR-10, CIFAR-100, and Flowers datasets, and compared the pruning rate and classification performance of the models. On average the networks trained with EDropout achieved a pruning rate of more than $50\%$ of the trainable parameters with approximately $<5\%$ and $<1\%$ drop of Top-1 and Top-5 classification accuracy, respectively.


title: Multi-Task Reinforcement Learning based Mobile Manipulation Control for Dynamic Object Tracking and Grasping

abstract: Agile control of mobile manipulator is challenging because of the high complexity coupled by the robotic system and the unstructured working environment. Tracking and grasping a dynamic object with a random trajectory is even harder. In this paper, a multi-task reinforcement learning-based mobile manipulation control framework is proposed to achieve general dynamic object tracking and grasping. Several basic types of dynamic trajectories are chosen as the task training set. To improve the policy generalization in practice, random noise and dynamics randomization are introduced during the training process. Extensive experiments show that our policy trained can adapt to unseen random dynamic trajectories with about 0.1m tracking error and 75\% grasping success rate of dynamic objects. The trained policy can also be successfully deployed on a real mobile manipulator.


title: Assessing the Readiness of Numerical Relativity for LISA and 3G Detectors

abstract: Future detectors such as LISA promise signal-to-noise ratios potentially in the thousands and data containing simultaneous signals. Accurate numerical relativity waveforms will be essential to maximize the science return. A question of interest to the broad gravitational wave community is: Are the numerical relativity codes ready to face this challenge? Towards answering this question, we provide a new criteria to identify the minimum resolution a simulation must have as a function of signal-to-noise ratio in order for the numerical relativity waveform to be indistinguishable from a true signal. This criteria can be applied to any finite-differencing numerical relativity code with multiple simulations of differing resolutions for the desired binary parameters and waveform length. We apply this criteria to binary systems of interest with the fourth-order MAYA code to obtain the first estimate of the minimum resolution a simulation must have to be prepared for next generation detectors.


title: Brans-Dicke cosmology with a $\Lambda$- term: a possible solution to $\Lambda$CDM tensions

abstract: We present a full-fledged analysis of Brans-Dicke cosmology with a cosmological constant and cold dark matter (BD-$\Lambda$CDM for short). We extend the scenarios where the current cosmological value of the BD-field is restricted by the local astrophysical domain to scenarios where that value is fixed only by the cosmological observations, which should be more natural in view of the possible existence of local screening mechanims. Our analysis includes both the background and perturbations equations in different gauges. We find that the BD-$\Lambda$CDM is favored by the overall cosmological data as compared to the concordance GR-$\Lambda$CDM model, namely data on distant supernovae, cosmic chronometers, local measurements of the Hubble parameter, baryonic acoustic oscillations, Large-Scale Structure formation and the cosmic microwave background under full Planck 2018 CMB likelihood. We also test the impact of Strong and Weak-Lensing data on our results, which can be significant. We find that the BD-$\Lambda$CDM can mimic effective quintessence with a significance of about $3-3.5\sigma$ c.l. (depending on the lensing datasets). The fact that the BD-$\Lambda$CDM behaves effectively as a Running Vacuum Model (RVM) when viewed from the GR perspective helps to alleviate some of the existing tensions with the data, such as the $\sigma_8$ excess predicted by GR-$\Lambda$CDM. On the other hand, the BD-$\Lambda$CDM model has a crucial bearing on the acute $H_0$-tension with the local measurements, which is rendered virtually harmless owing to the small increase of the effective value of the gravitational constant with the expansion. The simultaneous alleviation of the two tensions is a most remarkable feature of BD-gravity with a cosmological constant in the light of the current observations, and hence goes in support of BD-$\Lambda$CDM against GR-$\Lambda$CDM


title: Universal threshold and Arnold tongues in Kerr ring microresonators

abstract: We report that an instability boundary of a single-mode state in Kerr ring microresonators with ultrahigh quality factors breaks the parameter space span by the pump laser power and frequency into a sequence of narrow in frequency and broad in power resonance domains - Arnold tongues. Arnold resonances are located between the Lugiato-Lefever (lower) and universal (higher) thresholds. Pump power estimates corresponding to the universal threshold are elaborated in details. RF-spectra generated within the tongues reveal a transition between the repetition-rate locked and unlocked regimes of the side-band generation.


title: Connecting User and Item Perspectives in Popularity Debiasing for Collaborative Recommendation

abstract: Recommender systems learn from historical users' feedback that is often non-uniformly distributed across items. As a consequence, these systems may end up suggesting popular items more than niche items progressively, even when the latter would be of interest for users. This can hamper several core qualities of the recommended lists (e.g., novelty, coverage, diversity), impacting on the future success of the underlying platform itself. In this paper, we formalize two novel metrics that quantify how much a recommender system equally treats items along the popularity tail. The first one encourages equal probability of being recommended across items, while the second one encourages true positive rates for items to be equal. We characterize the recommendations of representative algorithms by means of the proposed metrics, and we show that the item probability of being recommended and the item true positive rate are biased against the item popularity. To promote a more equal treatment of items along the popularity tail, we propose an in-processing approach aimed at minimizing the biased correlation between user-item relevance and item popularity. Extensive experiments show that, with small losses in accuracy, our popularity-mitigation approach leads to important gains in beyond-accuracy recommendation quality.


title: Boundary-layer effects on electromagnetic and acoustic extraordinary transmission through narrow slits

abstract: We study the problem of resonant extraordinary transmission of electromagnetic and acoustic waves through subwavelength slits in an infinite plate, whose thickness is close to a half-multiple of the wavelength. We build on the matched-asymptotics analysis of Holley & Schnitzer (Wave Motion, 91 102381, 2019), who considered a single-slit configuration assuming an idealised formulation where dissipation is neglected and the electromagnetic and acoustic problems are analogous. We here extend that theory to include thin dissipative boundary layers associated with finite conductivity of the plate in the electromagnetic problem and viscous and thermal effects in the acoustic problem, considering both single-slit and slit-array configurations. By considering a distinguished boundary-layer scaling where dissipative and diffractive effects are comparable, we develop accurate analytical approximations that are generally valid near resonance; the electromagnetic-acoustic analogy is preserved up to a single physics-dependent parameter that is provided explicitly for both scenarios. The theory is shown to be in excellent agreement with GHz-microwave and kHz-acoustic experiments in the literature.


title: J-Logic: a Logic for Querying JSON

abstract: We propose a logical framework, based on Datalog, to study the foundations of querying JSON data. The main feature of our approach, which we call J-Logic, is the emphasis on paths. Paths are sequences of keys and are used to access the tree structure of nested JSON objects. J-Logic also features ``packing'' as a means to generate a new key from a path or subpath. J-Logic with recursion is computationally complete, but many queries can be expressed without recursion, such as deep equality. We give a necessary condition for queries to be expressible without recursion. Most of our results focus on the deterministic nature of JSON objects as partial functions from keys to values. Predicates defined by J-Logic programs may not properly describe objects, however. Nevertheless we show that every object-to-object transformation in J-Logic can be defined using only objects in intermediate results. Moreover we show that it is decidable whether a positive, nonrecursive J-Logic program always returns an object when given objects as inputs. Regarding packing, we show that packing is unnecessary if the output does not require new keys. Finally, we show the decidability of query containment for positive, nonrecursive J-Logic programs.


title: Disinformation and Misinformation on Twitter during the Novel Coronavirus Outbreak

abstract: As the novel coronavirus spread globally, a growing public panic was expressed over the internet. We examine the public discussion concerning COVID-19 on Twitter. We use a dataset of 67 million tweets from 12 million users collected between January 29, 2020 and March 4, 2020. We categorize users based on their home countries, social identities, and political orientation. We find that news media, government officials, and individual news reporters posted a majority of influential tweets, while the most influential ones are still written by regular users. Tweets mentioning "fake news" URLs and disinformation story-lines are also more likely to be spread by regular users. Unlike real news and normal tweets, tweets containing URLs pointing to "fake news" sites are most likely to be retweeted within the source country and so are less likely to spread internationally.


title: Interplay between Upsampling and Regularization for Provider Fairness in Recommender Systems

abstract: Considering the impact of recommendations on item providers is one of the duties of multi-sided recommender systems. Item providers are key stakeholders in online platforms, and their earnings and plans are influenced by the exposure their items receive in recommended lists. Prior work showed that certain minority groups of providers, characterized by a common sensitive attribute (e.g., gender or race), are being disproportionately affected by indirect and unintentional discrimination. Our study in this paper handles a situation where ($i$) the same provider is associated with multiple items of a list suggested to a user, ($ii$) an item is created by more than one provider jointly, and ($iii$) predicted user-item relevance scores are biasedly estimated for items of provider groups. Under this scenario, we assess disparities in relevance, visibility, and exposure, by simulating diverse representations of the minority group in the catalog and the interactions. Based on emerged unfair outcomes, we devise a treatment that combines observation upsampling and loss regularization, while learning user-item relevance scores. Experiments on real-world data demonstrate that our treatment leads to lower disparate relevance. The resulting recommended lists show fairer visibility and exposure, higher minority item coverage, and negligible loss in recommendation utility.


title: On forward invariance in Lyapunov stability theorem for local stability

abstract: Forward invariance of a basin of attraction is often overlooked when using a Lyapunov stability theorem to prove local stability; even if the Lyapunov function decreases monotonically in a neighborhood of an equilibrium, the dynamic may escape from this neighborhood. In this note, we fix this gap by finding a smaller neighborhood that is forward invariant. This helps us to prove local stability more naturally without tracking each solution path. Similarly, we prove a transitivity theorem about basins of attractions without requiring forward invariance. Keywords: Lyapunov function, local stability, forward invariance, evolutionary dynamics.

categories: math.OC cs.GT cs.SY econ.TH eess.SY math.DS


title: Commitment Schemes and Diophantine Equations

abstract: Motivated by questions in cryptography, we look for diophantine equations that are hard to solve but for which determining the number of solutions is easy.


title: Equality of Learning Opportunity via Individual Fairness in Personalized Recommendations

abstract: Online educational platforms are playing a primary role in mediating the success of individuals' careers. Therefore, while building overlying content recommendation services, it becomes essential to guarantee that learners are provided with equal recommended learning opportunities, according to the platform values, context, and pedagogy. Though the importance of ensuring equality of learning opportunities has been well investigated in traditional institutions, how this equality can be operationalized in online learning ecosystems through recommender systems is still under-explored. In this paper, we formalize educational principles that model recommendations' learning properties, and a novel fairness metric that combines them in order to monitor the equality of recommended learning opportunities among learners. Then, we envision a scenario wherein an educational platform should be arranged in such a way that the generated recommendations meet each principle to a certain degree for all learners, constrained to their individual preferences. Under this view, we explore the learning opportunities provided by recommender systems in a large-scale course platform, uncovering systematic inequalities. To reduce this effect, we propose a novel post-processing approach that balances personalization and equality of recommended opportunities. Experiments show that our approach leads to higher equality, with a negligible loss in personalization. Our study moves a step forward in operationalizing the ethics of human learning in recommendations, a core unit of intelligent educational systems.


title: Probing Electrified Liquid-Solid Interfaces with Scanning Electron Microscopy

abstract: Electrical double layers play a key role in a variety of electrochemical systems. The mean free path of secondary electrons in aqueous solutions is on the order of a nanometer, making them suitable for probing of ultrathin electrical double layers at solid-liquid electrolyte interfaces. Employing graphene as an electron-transparent electrode in a two-electrode electrochemical system, we show that the secondary electron yield of the graphene-liquid interface depends on the ionic strength and concentration of electrolyte and applied bias at the remote counter electrode. These observations have been related to polarization-induced changes in the potential distribution within the electrical double layer and demonstrate the feasibility of using scanning electron microscopy to examine and map electrified liquid-solid interfaces


title: The ALMA Spectroscopic Survey in the Hubble Ultra Deep Field: The nature of the faintest dusty star-forming galaxies

abstract: We present a characterization of the physical properties of a sample of 35 securely-detected, dusty galaxies in the deep ALMA 1.2-mm image obtained as part of the ALMA Spectroscopic Survey in the {\it Hubble} Ultra Deep Field (ASPECS) Large Program. This sample is complemented by 26 additional sources identified via an optical/infrared source positional prior. Using their well-characterized spectral energy distributions, we derive median stellar masses and star formation rates (SFR) of $4.8\times10^{10}~M_\odot$ and 30 $M_\odot$ yr$^{-1}$, and interquartile ranges of $(2.4-11.7)\times10^{10}~M_\odot$ and $20-50~M_\odot$ yr$^{-1}$, respectively. We derive a median spectroscopic redshift of 1.8 with an interquartile range $1.1-2.6$, significantly lower than submillimeter galaxies detected in shallower, wide-field surveys. We find that 59\%$\pm$13\%, 6\%$\pm$4\%, and 34\%$\pm$9\% of our sources are within, above and below $\pm0.4$ dex from the SFR-stellar mass relation or main-sequence (MS), respectively. The ASPECS galaxies closely follow the SFR-molecular gas mass relation and other previously established scaling relations, confirming a factor of five increase of the gas-to-stellar mass ratio from $z=0.5$ to $z=2.5$ and a mild evolution of the gas depletion timescales with a typical value of 0.7 Gyr at $z=1-3$. ASPECS galaxies located significantly below the MS, a poorly exploited parameter space, have low gas-to-stellar-mass ratios of $\sim0.1-0.2$ and long depletion timescales $>1$ Gyr. Galaxies along the MS dominate the cosmic density of molecular gas at all redshifts. Systems above the main sequence have an increasing contribution to the total gas reservoirs from $z<1$ to $z=2.5$, while the opposite is found for galaxies below the MS.


title: Parabolic induction and perverse sheaves on h/W

abstract: For a complex reductive Lie group G with Lie algebra g, Cartan subalgebra h and Weyl group W, we describe the category of perverse sheaves on h/W smooth w.r.t the natural stratification. The answer is given in terms of mixed Bruhat sheaves, which are certain mixed sheaf-cosheaf data on cells of a natural cell decomposition of h/W. Using the parabolic Bruhat decomposition, we relate mixed Bruhat sheaves with the properties of various procedures of parabolic induction and restriction that connect different Levi subgroups in G.


title: Generalized Dissections and Monsky's Theorem

abstract: Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different polynomial $p$, also a relation among the areas of the triangles in such a dissection, that is invariant under certain deformations of the dissection. In this paper we study the relationship between these two polynomials. We first generalize the notion of dissection, allowing triangles whose orientation differs from that of the plane. We define a deformation space of these generalized dissections and we show that this space is an irreducible algebraic variety. We then extend the theorem of Monsky to the context of generalized dissections, showing that Monsky's polynomial $f$ can be chosen to be invariant under deformation. Although $f$ is not uniquely defined, the interplay between $p$ and $f$ then allows us to identify a canonical pair of choices for the polynomial $f$. In many cases, all of the coefficients of the canonical $f$ polynomials are positive. We also use the deformation-invariance of $f$ to prove that the polynomial $p$ is congruent modulo 2 to a power of the sum of its variables.


title: Self adaptive inertial extragradient algorithms for solving variational inequality problems

abstract: In this paper, we study the strong convergence of two Mann-type inertial extragradient algorithms, which are devised with a new step size, for solving a variational inequality problem with a monotone and Lipschitz continuous operator in real Hilbert spaces. Strong convergence theorems for our algorithms are proved without the prior knowledge of the Lipschitz constant of the operator. Finally, we provide some numerical experiments to illustrate the performances of the proposed algorithms and provide a comparison with related ones.


title: Large values of the argument of the Riemann zeta-function and its iterates

abstract: Let $S(\sigma,t)=\frac{1}{\pi}\arg\zeta(\sigma+it)$ be the argument of the Riemann zeta-function at the point $\sigma+it$ in the critical strip. For $n\geq 1$ and $t>0$, we define \begin{equation*} S_{n}(\sigma,t) = \int_0^t S_{n-1}(\sigma,\tau) \,d\tau + \delta_{n,\sigma\,}, \end{equation*} where $\delta_{n,\sigma}$ is a specific constant depending on $\sigma$ and $n$. Let $0\leq \beta<1$ be a fixed real number. Assuming the Riemann hypothesis, we establish lower bounds for the maximum of $S_n(\sigma,t+h)-S_n(\sigma,t)$ near the critical line, on the interval $T^\beta\leq t \leq T$ and in a small range of $h$. This improves some results of the first author and generalizes a result of the authors on $S(t)$. We also give new omega results for $S_n(t)$, improving a result by Selberg.


title: Plasma sheet thinning due to loss of near-Earth magnetotail plasma

abstract: A one-dimensional model for thinning of the Earth's plasma sheet [J. K. Chao et al., Planet. Space Sci. 25, 703 (1977)] according to the Current Disruption (CD) model of auroral breakup is extended to two dimensions. A rarefaction wave, which is a signature component of the CD model, is generated with an initial disturbance. In the 1D gas model, the rarefaction wave propagates tailward at sound velocity and is assumed to cause thinning. Extending to a 2D gas model of a simplified plasma sheet configuration, the rarefaction wave is weakened, and the thinning ceases to propagate. Extending further to a 2D plasma model by adding magnetic field into the lobes, the rarefaction wave is quickly lost in the plasma sheet recompression, but the plasma sheet thinning is still present and propagates independently at a slower velocity than a 1D model suggests. This shows that the dynamics of plasma sheet thinning may be dominated by sheet-lobe interactions that are absent from the 1D model and may not support the behaviour assumed by the CD model.


Wide spectrum denoising (WSD) for superresolution microscopy imaging using compressed sensing and a high-resolution camera


title: L1 scheme for solving an inverse problem subject to a fractional diffusion equation

abstract: This paper considers the temporal discretization of an inverse problem subject to a time fractional diffusion equation. Firstly, the convergence of the L1 scheme is established with an arbitrary sectorial operator of spectral angle $< \pi/2 $, that is the resolvent set of this operator contains $ \{z\in\mathbb C\setminus\{0\}:\ |\operatorname{Arg} z|< \theta\}$ for some $ \pi/2 < \theta < \pi $. The relationship between the time fractional order $\alpha \in (0, 1)$ and the constants in the error estimates is precisely characterized, revealing that the L1 scheme is robust as $ \alpha $ approaches $ 1 $. Then an inverse problem of a fractional diffusion equation is analyzed, and the convergence analysis of a temporal discretization of this inverse problem is given. Finally, numerical results are provided to confirm the theoretical results.


title: Achieving Equalized Odds by Resampling Sensitive Attributes

abstract: We present a flexible framework for learning predictive models that approximately satisfy the equalized odds notion of fairness. This is achieved by introducing a general discrepancy functional that rigorously quantifies violations of this criterion. This differentiable functional is used as a penalty driving the model parameters towards equalized odds. To rigorously evaluate fitted models, we develop a formal hypothesis test to detect whether a prediction rule violates this property, the first such test in the literature. Both the model fitting and hypothesis testing leverage a resampled version of the sensitive attribute obeying equalized odds, by construction. We demonstrate the applicability and validity of the proposed framework both in regression and multi-class classification problems, reporting improved performance over state-of-the-art methods. Lastly, we show how to incorporate techniques for equitable uncertainty quantification---unbiased for each group under study---to communicate the results of the data analysis in exact terms.


title: Smooth mixing Anosov flows in dimension three are exponential mixing

abstract: We show that a topologically mixing $C^\infty$ Anosov flow on a 3 dimensional compact manifold is exponential mixing with respect to any equilibrium measure with Holder potential.


title: Shadows in the Dark: Low-Surface-Brightness Galaxies Discovered in the Dark Energy Survey

abstract: We present a catalog of 23,790 extended low-surface-brightness galaxies (LSBGs) identified in $\sim 5000 \deg^2$ from the first three years of imaging data from the Dark Energy Survey (DES). Based on a single-component S\'ersic model fit, we define extended LSBGs as galaxies with $g$-band effective radii $R_{eff}(g) > 2.5''$ and mean surface brightness $\bar{\mu}_{eff}(g) > 24.2 \,mag \.arcsec^{-2}$. We find that the distribution of LSBGs is strongly bimodal in $(g-r)$ vs.\ $(g-i$) color space. We divide our sample into red ($g-i \geq 0.60$) and blue ($g-i<0.60$) galaxies and study the properties of the two populations. Redder LSBGs are more clustered than their blue counterparts and are correlated with the distribution of nearby ($z < 0.10$) bright galaxies. Red LSBGs constitute $\sim 33\%$ of our LSBG sample, and $\sim 30\%$ of these are located within 1 deg of low-redshift galaxy groups and clusters (compared to $\sim 8\%$ of the blue LSBGs). For nine of the most prominent galaxy groups and clusters, we calculate the physical properties of associated LSBGs assuming a redshift derived from the host system. In these systems, we identify 41 objects that can be classified as ultra-diffuse galaxies, defined as LSBGs with projected physical effective radii $R_{eff} > 1.5 \,kpc$ and central surface brighthness $\mu_0(g) > 24.0\, mag \,arcsec^{-2}$. The wide-area sample of LSBGs in DES can be used to test the role of environment on models of LSBG formation and evolution.


title: Efficient MCMC Sampling for Bayesian Matrix Factorization by Breaking Posterior Symmetries

abstract: Bayesian low-rank matrix factorization techniques have become an essential tool for relational data analysis and matrix completion. A standard approach is to assign zero-mean Gaussian priors on the columns or rows of factor matrices to create a conjugate system. This choice of prior leads to simple implementations; however it also causes symmetries in the posterior distribution that can severely reduce the efficiency of Markov-chain Monte-Carlo (MCMC) sampling approaches. In this paper, we propose a simple modification to the prior choice that provably breaks these symmetries and maintains/improves accuracy. Specifically, we provide conditions that the Gaussian prior mean and covariance must satisfy so the posterior does not exhibit invariances that yield sampling difficulties. For example, we show that using non-zero linearly independent prior means significantly lowers the autocorrelation of MCMC samples, and can also lead to lower reconstruction errors.


title: Randomised Gaussian Process Upper Confidence Bound for Bayesian Optimisation

abstract: In order to improve the performance of Bayesian optimisation, we develop a modified Gaussian process upper confidence bound (GP-UCB) acquisition function. This is done by sampling the exploration-exploitation trade-off parameter from a distribution. We prove that this allows the expected trade-off parameter to be altered to better suit the problem without compromising a bound on the function's Bayesian regret. We also provide results showing that our method achieves better performance than GP-UCB in a range of real-world and synthetic problems.


title: Floquet engineering of twisted double bilayer graphene

abstract: Motivated by the recent experimental realization of twisted double bilayer graphene (TDBG) samples we study, both analytically and numerically, the effects of circularly polarized light propagating in free space and confined into a waveguide on the band structure and topological properties of these systems. These two complementary Floquet protocols allow us to selectively tune different parameters of the system by varying the intensity and the frequency of the light. For the drive protocol in free space, in the high-frequency regime, we find that in TDBG with AB/BA stacking, we can selectively close the zone-center quasienergy gaps around one valley while increasing the gaps near the opposite valley by tuning the parameters of the drive. In TDBG with AB/AB stacking, a similar effect can be obtained upon the application of a perpendicular static electric field. Furthermore, we study the topological properties of the driven system in different settings, provide accurate effective Floquet Hamiltonians, and show that relatively strong drives can generate flat bands. On the other hand, longitudinal light confined into a waveguide couples to the components of the interlayer hopping that are perpendicular to the TDBG sheet, allowing for selective engineering of the bandwidth of Floquet zone center quasienergy bands without breaking the symmetries of the static system.


title: Multi-step Estimation for Gradient-based Meta-learning

abstract: Gradient-based meta-learning approaches have been successful in few-shot learning, transfer learning, and a wide range of other domains. Despite its efficacy and simplicity, the burden of calculating the Hessian matrix with large memory footprints is the critical challenge in large-scale applications. To tackle this issue, we propose a simple yet straightforward method to reduce the cost by reusing the same gradient in a window of inner steps. We describe the dynamics of the multi-step estimation in the Lagrangian formalism and discuss how to reduce evaluating second-order derivatives estimating the dynamics. To validate our method, we experiment on meta-transfer learning and few-shot learning tasks for multiple settings. The experiment on meta-transfer emphasizes the applicability of training meta-networks, where other approximations are limited. For few-shot learning, we evaluate time and memory complexities compared with popular baselines. We show that our method significantly reduces training time and memory usage, maintaining competitive accuracies, or even outperforming in some cases.


title: Halting Time is Predictable for Large Models: A Universality Property and Average-case Analysis

abstract: Average-case analysis computes the complexity of an algorithm averaged over all possible inputs. Compared to worst-case analysis, it is more representative of the typical behavior of an algorithm, but remains largely unexplored in optimization. One difficulty is that the analysis can depend on the probability distribution of the inputs to the model. However, we show that this is not the case for a class of large-scale problems trained with first-order methods including random least squares and one-hidden layer neural networks with random weights. In fact, the halting time exhibits a universality property: it is independent of the probability distribution. With this barrier for average-case analysis removed, we provide the first explicit average-case convergence rates showing a tighter complexity not captured by traditional worst-case analysis. Finally, numerical simulations suggest this universality property holds for a more general class of algorithms and problems.


title: Machine Learning Interpretability and Its Impact on Smart Campus Projects

abstract: Machine learning (ML) has shown increasing abilities for predictive analytics over the last decades. It is becoming ubiquitous in different fields, such as healthcare, criminal justice, finance and smart city. For instance, the University of Northampton is building a smart system with multiple layers of IoT and software-defined networks (SDN) on its new Waterside Campus. The system can be used to optimize smart buildings energy efficiency, improve the health and safety of its tenants and visitors, assist crowd management and way-finding, and improve the Internet connectivity.


title: Scale interactions and anisotropy in Rayleigh-Taylor turbulence

abstract: We study energy scale-transfer in Rayleigh-Taylor (RT) flows by coarse-graining in physical space without Fourier transforms, allowing scale analysis along vertical direction. Two processes are responsible for kinetic energy flux across scales: baropycnal work $\Lambda$, due to large-scale pressure gradients acting on small-scales of density and velocity, and deformation work $\Pi$, due to multi-scale velocity. Our coarse-graining analysis shows how these fluxes exhibit self-similar evolution that is quadratic-in-time, similar to RT mixing layer. We find that $\Lambda$ is a conduit for potential energy, transferring energy non-locally from the largest scales to smaller scales in the inertial range where $\Pi$ takes over. In 3D, $\Pi$ continues a persistent cascade to smaller scales, whereas in 2D $\Pi$ re-channels the energy back to larger scales despite the lack of vorticity conservation in 2D variable density flows. This gives rise to a positive feedback loop in 2D-RT (absent in 3D) in which mixing layer growth and the associated potential energy release are enhanced relative to 3D, explaining the oft-observed larger $\alpha$ values in 2D simulations. Despite higher bulk kinetic energy levels in 2D, small inertial scales are weaker than in 3D. Moreover, the net upscale cascade in 2D tends to isotropize the large-scale flow, in stark contrast to 3D. Our findings indicate the absence of net upscale energy transfer in 3D-RT as is often claimed; growth of large-scale bubbles and spikes is not due to "mergers" but solely due to baropycnal work $\Lambda$.


title: Archimedean Zeta Integrals for Unitary Groups

abstract: We derive precise formulas for the archimedean Euler factors occurring in certain standard Langlands $L$-functions for unitary groups. In the 1980s, Paul Garrett, as well as Ilya Piatetski-Shapiro and Stephen Rallis (independently of Garrett), discovered integral representations of automorphic $L$-functions that are Eulerian but, in contrast to the Rankin--Selberg and Langlands--Shahidi methods, do not require that the automorphic representations to which the $L$-functions are associated are globally generic. Their approach, the doubling method, opened the door to a variety of applications that could not be handled by prior methods. For over three decades, though, the integrals occurring in the Euler factors at archimedean places for unitary groups eluded precise computation, except under particular simplifications (such as requiring certain representations to be one-dimensional, as Garrett did in the first major progress on this computation and only prior progress for general signatures). We compute these integrals for holomorphic discrete series of general vector weights for unitary groups of any signature. This has consequences not only for special values of $L$-functions in the archimedean setting, but also for $p$-adic $L$-functions, where the corresponding term had remained open.


title: A characterization of sets in $\mathbb{R}^2$ with DC distance function

abstract: We give a complete characterization of closed sets $F \subset \mathbb{R}^2$ whose distance function $d_F:= \mathrm{dist}(\cdot,F)$ is DC (i.e., is the difference of two convex functions on $\mathbb{R}^2$). Using this characterization, a number of properties of such sets is proved.


title: On the Complex Asymptotics of the HCIZ and BGW Integrals

abstract: In this paper, we prove a longstanding conjecture on the asymptotic behavior of a pair of oscillatory matrix integrals: the Harish-Chandra/Itzykson-Zuber (HCIZ) integral, and the Brezin-Gross-Witten (BGW) integral. The main result gives a complete asymptotic expansion of these integrals for small complex parameters. The coefficients of these asymptotic expansions are generating functions for monotone Hurwitz numbers sorted by genus.


title: Text Detection and Recognition in the Wild: A Review

abstract: Detection and recognition of text in natural images are two main problems in the field of computer vision that have a wide variety of applications in analysis of sports videos, autonomous driving, industrial automation, to name a few. They face common challenging problems that are factors in how text is represented and affected by several environmental conditions. The current state-of-the-art scene text detection and/or recognition methods have exploited the witnessed advancement in deep learning architectures and reported a superior accuracy on benchmark datasets when tackling multi-resolution and multi-oriented text. However, there are still several remaining challenges affecting text in the wild images that cause existing methods to underperform due to there models are not able to generalize to unseen data and the insufficient labeled data. Thus, unlike previous surveys in this field, the objectives of this survey are as follows: first, offering the reader not only a review on the recent advancement in scene text detection and recognition, but also presenting the results of conducting extensive experiments using a unified evaluation framework that assesses pre-trained models of the selected methods on challenging cases, and applies the same evaluation criteria on these techniques. Second, identifying several existing challenges for detecting or recognizing text in the wild images, namely, in-plane-rotation, multi-oriented and multi-resolution text, perspective distortion, illumination reflection, partial occlusion, complex fonts, and special characters. Finally, the paper also presents insight into the potential research directions in this field to address some of the mentioned challenges that are still encountering scene text detection and recognition techniques.


title: On smooth or 0/1 designs of the fixed-mesh element-based topology optimization

abstract: The traditional element-based topology optimization based on material penalization typically aims at a 0/1 design. Our numerical experiments reveal that the compliance of a smooth design is overestimated when material properties of boundary intermediate elements under the fixed-mesh finite element analysis are interpolated with a material penalization model. This paper proposes a floating projection topology optimization (FPTO) method for seeking a smooth design using the ersatz material model or a 0/1 design using a material penalization model. The proposed floating projection constraint combining with the upper and lower bounds heuristically simulates 0/1 constraints of design variables in the original discrete optimization problem. Numerical examples demonstrate the capability of the proposed element-based topology optimization approach in obtaining 0/1 or smooth designs for 2D and 3D compliance minimization problems. The proposed topology optimization approach can be easily implemented under the framework of the fixed-mesh finite element analysis and provides an alternative way to form explicit topologies of structures, especially when the ersatz material model is adopted.


title: Are We Hungry for 3D LiDAR Data for Semantic Segmentation? A Survey and Experimental Study

abstract: 3D semantic segmentation is a fundamental task for robotic and autonomous driving applications. Recent works have been focused on using deep learning techniques, whereas developing fine-annotated 3D LiDAR datasets is extremely labor intensive and requires professional skills. The performance limitation caused by insufficient datasets is called data hunger problem. This research provides a comprehensive survey and experimental study on the question: are we hungry for 3D LiDAR data for semantic segmentation? The studies are conducted at three levels. First, a broad review to the main 3D LiDAR datasets is conducted, followed by a statistical analysis on three representative datasets to gain an in-depth view on the datasets' size and diversity, which are the critical factors in learning deep models. Second, a systematic review to the state-of-the-art 3D semantic segmentation is conducted, followed by experiments and cross examinations of three representative deep learning methods to find out how the size and diversity of the datasets affect deep models' performance. Finally, a systematic survey to the existing efforts to solve the data hunger problem is conducted on both methodological and dataset's viewpoints, followed by an insightful discussion of remaining problems and open questions To the best of our knowledge, this is the first work to analyze the data hunger problem for 3D semantic segmentation using deep learning techniques that are addressed in the literature review, statistical analysis, and cross-dataset and cross-algorithm experiments. We share findings and discussions, which may lead to potential topics in future works.


title: Steklov eigenvalues for the Lam\'e operator in linear elasticity

abstract: In this paper we study Steklov eigenvalues for the Lam\'e operator which arise in the theory of linear elasticity. In this eigenproblem the spectral parameter appears in a Robin boundary condition, linking the traction and the displacement. To establish the existence of a countable spectrum for this problem, we present an extension of Korn's inequality. We also show that a proposed conforming Galerkin scheme provides convergent approximations to the true eigenvalues. A standard finite element method is used to conduct numerical experiments on 2D and 3D domains to support our theoretical findings.


title: Rotation of Two Micron All Sky Survey Clumps in Molecular Clouds

abstract: We have analyzed the rotational properties of 12 clumps using $^{13}$CO (1--0) and C$^{18}$O (1--0) maps of the Five College Radio Astronomy Observatory 13.7 m radio telescope. The clumps, located within molecular clouds, have radii ($R$) in the range of 0.06 -- 0.27\,pc. The direction of clump elongation is not correlated with the direction of the velocity gradient. We measured the specific angular momentum (J/M) to be between 0.0022 and 0.025 pc\,km\,s$^{-1}$ based on $^{13}$CO images, and between 0.0025 and 0.021 pc\,km\,s$^{-1}$ based on C$^{18}$O images. The consistency of $J/M$ based on different tracers indicates the $^{13}$CO and C$^{18}$O in dense clumps trace essentially the same material despite significantly different opacities. We also found that $J/M$ increases monotonically as a function of $R$ in power--law form, $J/M~\propto~R^{1.58~\pm~0.11}$. The ratio between rotation energy and gravitational energy, $\beta$, ranges from 0.0012 to 0.018. The small values of $\beta$ imply that rotation alone is not sufficient to support the clump against gravitational collapse.


title: Determining the viscosity from the boundary information for incompressible fluid

abstract: For the Stokes equations in a compact connected Riemannian $n$-manifold $(\Omega,g)$ with smooth boundary $\partial \Omega$, we give an equivalent new system of elliptic equations with $(n+1)$ independent unknown functions on $\Omega$. We show that the Dirichlet-to-Neumann map ${\tilde{\Lambda}}_{\tilde{\epsilon}, \mu,g}$ associated with this new system is also equivalent to the original Dirichlet-to-Neumann map $\Lambda_{\mu,g}$ associated with the Stokes equations. We explicitly give the full symbol expression for the ${\tilde{\Lambda}}_{\tilde{\epsilon},\mu,g}$ by a method of factorization, and prove that Dirichlet-to-Neumann map ${\tilde{\Lambda}}_{\tilde{\epsilon},\mu,g}$ (or equivalently, $\Lambda_{\mu, g}$) uniquely determines viscosity $\mu$ and all tangential and normal derivatives of $\mu$ on $\partial \Omega$. In particular, combining this result, Lai-Uhlmann-Wang's theorem and Heck-Li-Wang's theorem, we completely solve a long-standing open problem that asks whether one can determine the viscosity for the Stokes equations and for the Navier-Stokes equations by boundary measurements on an arbitrary bounded domain in ${\mathbb{R}}^n$, ($n=2,3$).


title: Little Ball of Fur: A Python Library for Graph Sampling

abstract: Sampling graphs is an important task in data mining. In this paper, we describe Little Ball of Fur a Python library that includes more than twenty graph sampling algorithms. Our goal is to make node, edge, and exploration-based network sampling techniques accessible to a large number of professionals, researchers, and students in a single streamlined framework. We created this framework with a focus on a coherent application public interface which has a convenient design, generic input data requirements, and reasonable baseline settings of algorithms. Here we overview these design foundations of the framework in detail with illustrative code snippets. We show the practical usability of the library by estimating various global statistics of social networks and web graphs. Experiments demonstrate that Little Ball of Fur can speed up node and whole graph embedding techniques considerably with mildly deteriorating the predictive value of distilled features.


title: Rogue wave, interaction solutions to the KMM system

abstract: In this paper, the consistent tanh expansion (CTE) method and the truncated Painlev$\acute{\rm e}$ analysis are applied to the Kraenkel-Manna-Merle (KMM) system, which describes propagation of short wave in ferromagnets. Two series of analytic solutions of the original KMM system (free of damping effect) are obtained via the CTE method. The interaction solutions contain an arbitrary function, which provides a wide variety of choices to acquire new propagation structures. Particularly, the breather soliton, periodic oscillation soliton and multipole instanton are obtained. Furthermore, we obtain some exact solutions of the damped-KMM equation at the first time. On the other hand, a coupled equation containing quadri-linear form and tri-linear form for the original KMM system is obtained by the truncated Painlev$\acute{\rm e}$ analysis, and the rogue wave solution and interaction solutions between rogue wave and multi-soliton for the KMM system are discussed.


title: Multi-agent Assortment Optimization in Sequential Matching Markets

abstract: In this work, we study the multi-agent assortment optimization problem in the two-sided sequential matching model introduced by Ashlagi et al. (2022). The setting is the following: we (the platform) offer a menu of suppliers to each customer. Then, every customer selects, simultaneously and independently, to match with a supplier or to remain unmatched. Each supplier observes the subset of customers that selected them, and choose either to match a customer or to leave the system. Therefore, a match takes place if both a customer and a supplier sequentially select each other. Each agent's behavior is probabilistic and determined by a discrete choice model. Our goal is to choose an assortment family that maximizes the expected revenue of the matching. Given the hardness of the problem, we show a $1-1/e$-approximation factor for the heterogeneous setting where customers follow general choice models and suppliers follow a general choice model whose demand function is monotone and submodular. Our approach is flexible enough to allow for different assortment constraints and for a revenue objective function. Furthermore, we design an algorithm that beats the $1-1/e$ barrier and, in fact, is asymptotically optimal when suppliers follow the classic multinomial-logit choice model and are sufficiently selective. We finally provide other results and further insights. Notably, in the unconstrained setting where customers and suppliers follow multinomial-logit models, we design a simple and efficient approximation algorithm that appropriately randomizes over a family of nested-assortments. Also, we analyze various aspects of the matching market model that lead to several operational insights, such as the fact that matching platforms can benefit from allowing the more selective agents to initiate the matchmaking process.


title: Machine Learning Enabled Preamble Collision Resolution in Distributed Massive MIMO

abstract: Preamble collision is a bottleneck that impairs the performance of random access (RA) user equipment (UE) in grant-free RA (GFRA). In this paper, by leveraging distributed massive multiple input multiple output (mMIMO) together with machine learning, a novel machine learning based framework solution is proposed to address the preamble collision problem in GFRA. The key idea is to identify and employ the neighboring access points (APs) of a collided RA UE for its data decoding rather than all the APs, so that the mutual interference among collided RA UEs can be effectively mitigated. To this end, we first design a tailored deep neural network (DNN) to enable the preamble multiplicity estimation in GFRA, where an energy detection (ED) method is also proposed for performance comparison. With the estimated preamble multiplicity, we then propose a K-means AP clustering algorithm to cluster the neighboring APs of collided RA UEs and organize each AP cluster to decode the received data individually. Simulation results show that a decent performance of preamble multiplicity estimation in terms of accuracy and reliability can be achieved by the proposed DNN, and confirm that the proposed schemes are effective in preamble collision resolution in GFRA, which are able to achieve a near-optimal performance in terms of uplink achievable rate per collided RA UE, and offer significant performance improvement over traditional schemes.


title: Counterfactual VQA: A Cause-Effect Look at Language Bias

abstract: VQA models may tend to rely on language bias as a shortcut and thus fail to sufficiently learn the multi-modal knowledge from both vision and language. Recent debiasing methods proposed to exclude the language prior during inference. However, they fail to disentangle the "good" language context and "bad" language bias from the whole. In this paper, we investigate how to mitigate language bias in VQA. Motivated by causal effects, we proposed a novel counterfactual inference framework, which enables us to capture the language bias as the direct causal effect of questions on answers and reduce the language bias by subtracting the direct language effect from the total causal effect. Experiments demonstrate that our proposed counterfactual inference framework 1) is general to various VQA backbones and fusion strategies, 2) achieves competitive performance on the language-bias sensitive VQA-CP dataset while performs robustly on the balanced VQA v2 dataset without any augmented data. The code is available at https://github.com/yuleiniu/cfvqa.


title: Multi-scale classification for electro-sensing

abstract: This paper introduces premier and innovative (real-time) multi-scale method for target classification in electro-sensing. The intent is that of mimicking the behavior of the weakly electric fish, which is able to retrieve much more information about the target by approaching it. The method is based on a family of transform-invariant shape descriptors computed from generalized polarization tensors (GPTs) reconstructed at multiple scales. The evidence provided by the different descriptors at each scale is fused using Dempster-Shafer Theory. Numerical simulations show that the recognition algorithm we proposed performs undoubtedly well and yields a robust classification.


title: On Feynman's handwritten notes on electromagnetism and the idea of introducing potentials before fields

abstract: In his recently discovered handwritten notes on "An alternate way to handle electrodynamics" dated on 1963, Richard P. Feynman speculated with the idea of getting the inhomogeneous Maxwell's equations for the electric and magnetic fields from the wave equation for the vector potential. With the aim of implementing this pedagogically interesting idea, we develop in this paper the approach of introducing the scalar and vector potentials before the electric and magnetic fields. We consider the charge conservation expressed through the continuity equation as a basic axiom and make a heuristic handle of this equation to obtain the retarded scalar and vector potentials, whose wave equations yield the homogeneous and inhomogeneous Maxwell's equations. We also show how this axiomatic-heuristic procedure to obtain Maxwell's equations can be formulated covariantly in the Minkowski spacetime.


title: On 0012-avoiding inversion sequences and a Conjecture of Lin and Ma

abstract: The study of pattern avoidance in inversion sequences recently attracts extensive research interests. In particular, Zhicong Lin and Jun Ma conjectured a formula that counts the number of inversion sequences avoiding the pattern $0012$. We will not only confirm this conjecture but also give a formula that enumerates the number of $0012$-avoiding inversion sequences in which the last entry equals $n-1$.


title: Comparison Theorems of Phylogenetic Spaces and the Moduli Spaces of Curves

abstract: Rapid developments in genetics and biology have led to phylogenetic methods becoming an important direction in the study of cancer and viral evolution. Although our understanding of gene biology and biochemistry has increased and is increasing at a remarkable rate, the theoretical models of genetic evolution still use the phylogenetic tree model that was introduced by Darwin in 1859 and the generalization to phylogenetic networks introduced by Grant in 1971. Darwin's model uses phylogenetic trees to capture the evolutionary relationships of reproducing individuals [6]; Grant's generalization to phylogenetic networks is meant to account for the phenomena of horizontal gene transfer [14]. Therefore, it is important to provide an accurate mathematical description of these models and to understand their connection with other fields of mathematics. In this article, we focus on the graph theoretical aspects of phylogenetic trees and networks and their connection to stable curves. We introduce the building blocks of evolutionary moduli spaces, the dual intersection complex of the moduli spaces of stable curves, and the categorical relationship between the phylogenetic spaces and stable curves in $\overline{\mathfrak{M}}_{0,n}(\mathbb{C})$ and $\overline{\mathfrak{M}}_{0,n}(\mathbb{R})$. We also show that the space of network topologies maps injectively into the boundary of $\overline{\mathfrak{M}}_{g,n}(\mathbb{C})$.


title: Helmholtz's theorem for two retarded fields and its application to Maxwell's equations

abstract: An extension of the Helmholtz theorem is proved, which states that two retarded vector fields ${\bf F}_1$ and ${\bf F}_2$ satisfying appropriate initial and boundary conditions are uniquely determined by specifying their divergences $\nabla\cdot{\bf F}_{1}$ and $\nabla\cdot{\bf F}_{2}$ and their coupled curls $-\nabla\times{\bf F}_{1}-\partial {\bf F}_{2}/\partial t$ and $\nabla\times{\bf F}_{2}-(1/c^2)\partial {\bf F}_{1}/\partial t$, where $c$ is the propagation speed of the fields. When a corollary of this theorem is applied to Maxwell's equations, the retarded electric and magnetic fields are directly obtained. The proof of the theorem relies on a novel demonstration of the uniqueness of the solutions of the vector wave equation.


title: Dynamics of threshold solutions for energy critical NLS with inverse square potential

abstract: We consider the focusing energy critical NLS with inverse square potential in dimension $d= 3, 4, 5$ with the details given in $d=3$ and remarks on results in other dimensions. Solutions on the energy surface of the ground state are characterized. We prove that solutions with kinetic energy less than that of the ground state must scatter to zero or belong to the stable/unstable manifolds of the ground state. In the latter case they converge to the ground state exponentially in the energy space as $t\to \infty$ or $t\to -\infty$. (In 3-dim without radial assumption, this holds under the compactness assumption of non-scattering solutions on the energy surface.) When the kinetic energy is greater than that of the ground state, we show that all radial $H^1$ solutions blow up in finite time, with the only two exceptions in the case of 5-dim which belong to the stable/unstable manifold of the ground state. The proof relies on the detailed spectral analysis, local invariant manifold theory, and a global Virial analysis.


title: Markov Chain Monte Carlo Predictions of Neutron-rich Lanthanide Properties as a Probe of $r$-process Dynamics

abstract: Lanthanide element signatures are key to understanding many astrophysical observables, from merger kilonova light curves to stellar and solar abundances. To learn about the lanthanide element synthesis that enriched our solar system, we apply the statistical method of Markov Chain Monte Carlo to examine the nuclear masses capable of forming the $r$-process rare-earth abundance peak. We describe the physical constraints we implement with this statistical approach and demonstrate the use of the parallel chains method to explore the multidimensional parameter space. We apply our procedure to three moderately neutron-rich astrophysical outflows with distinct types of $r$-process dynamics. We show that the mass solutions found are dependent on outflow conditions and are related to the $r$-process path. We describe in detail the mechanism behind peak formation in each case. We then compare our mass predictions for neutron-rich neodymium and samarium isotopes to the latest experimental data from the CPT at CARIBU. We find our mass predictions given outflows that undergo an extended (n,$\gamma$)$\rightleftarrows$($\gamma$,n) equilibrium to be those most compatible with both observational solar abundances and neutron-rich mass measurements.


title: Ensemble Model with Batch Spectral Regularization and Data Blending for Cross-Domain Few-Shot Learning with Unlabeled Data

abstract: In this paper, we present our proposed ensemble model with batch spectral regularization and data blending mechanisms for the Track 2 problem of the cross-domain few-shot learning (CD-FSL) challenge. We build a multi-branch ensemble framework by using diverse feature transformation matrices, while deploying batch spectral feature regularization on each branch to improve the model's transferability. Moreover, we propose a data blending method to exploit the unlabeled data and augment the sparse support set in the target domain. Our proposed model demonstrates effective performance on the CD-FSL benchmark tasks.


title: Toward Scalable Algorithms for the Unsplittable Shortest Path Routing Problem

abstract: In this paper, we consider the Delay Constrained Unsplittable Shortest Path Routing problem which arises in the field of traffic engineering for IP networks. This problem consists, given a directed graph and a set of commodities, to compute a set of routing paths and the associated administrative weights such that each commodity is routed along the unique shortest path between its origin and its destination, according to these weights. We present a compact MILP formulation for the problem, extending the work in (A. Bley, 2010) along with some valid inequalities to strengthen its linear relaxation. This formulation is used as the bulding block of an iterative approach that we develop to tackle large scale instances. We further propose a dynamic programming algorithm based on a tree decomposition of the graph. To the best of our knowledge, this is the first exact combinatorial algorithm for the problem. Finally, we assess the efficiency of our approaches through a set of experiments on state-of-the-art instances.


title: Fully Convolutional Mesh Autoencoder using Efficient Spatially Varying Kernels

abstract: Learning latent representations of registered meshes is useful for many 3D tasks. Techniques have recently shifted to neural mesh autoencoders. Although they demonstrate higher precision than traditional methods, they remain unable to capture fine-grained deformations. Furthermore, these methods can only be applied to a template-specific surface mesh, and is not applicable to more general meshes, like tetrahedrons and non-manifold meshes. While more general graph convolution methods can be employed, they lack performance in reconstruction precision and require higher memory usage. In this paper, we propose a non-template-specific fully convolutional mesh autoencoder for arbitrary registered mesh data. It is enabled by our novel convolution and (un)pooling operators learned with globally shared weights and locally varying coefficients which can efficiently capture the spatially varying contents presented by irregular mesh connections. Our model outperforms state-of-the-art methods on reconstruction accuracy. In addition, the latent codes of our network are fully localized thanks to the fully convolutional structure, and thus have much higher interpolation capability than many traditional 3D mesh generation models.


title: Semi-Supervised Contrastive Learning with Generalized Contrastive Loss and Its Application to Speaker Recognition

abstract: This paper introduces a semi-supervised contrastive learning framework and its application to text-independent speaker verification. The proposed framework employs generalized contrastive loss (GCL). GCL unifies losses from two different learning frameworks, supervised metric learning and unsupervised contrastive learning, and thus it naturally determines the loss for semi-supervised learning. In experiments, we applied the proposed framework to text-independent speaker verification on the VoxCeleb dataset. We demonstrate that GCL enables the learning of speaker embeddings in three manners, supervised learning, semi-supervised learning, and unsupervised learning, without any changes in the definition of the loss function.


title: A Low Frequency Blind Survey of the Low Earth Orbit Environment using Non-Coherent Passive Radar with the Murchison Widefield Array

abstract: We have extended our previous work to use the Murchison Widefield Array (MWA) as a non-coherent passive radar system in the FM frequency band, using terrestrial FM transmitters to illuminate objects in Low Earth Orbit LEO) and the MWA as the sensitive receiving element for the radar return. We have implemented a blind detection algorithm that searches for these reflected signals in difference images constructed using standard interferometric imaging techniques. From 20 hours of archived MWA observations, we conduct a survey of LEO, detecting 74 unique objects over multiple passes and demonstrating the MWA to be a valuable addition to the global Space Domain Awareness network. We detected objects with ranges up to 977 km and as small as 0.03 m^2 radar cross section. We found that 30 objects were either non-operational satellites or upper-stage rocket body debris. Additionally, we also detected FM reflections from Geminid meteors and aircraft flying over the MWA. Most of the detections of objects in LEO were found to lie within the parameter space predicted by previous feasibility studies, verifying the performance of the MWA for this application.


title: The representation theory of Brauer categories I: triangular categories

abstract: This is the first in a series of papers in which we study representations of the Brauer category and its allies. We define a general notion of triangular category that abstracts key properties of the triangular decomposition of a semisimple complex Lie algebra, and develop a highest weight theory for them. We show that the Brauer category, the partition category, and a number of related diagram categories admit this structure.


title: Dilogarithm identities after Bridgeman

abstract: Following Bridgeman, we demonstrate several families of infinite dilogarithm identities associated with Fibonacci numbers, Lucas numbers, convergents of continued fractions of even periods, and terms arising from various recurrence relations.


title: Eigen-GNN: A Graph Structure Preserving Plug-in for GNNs

abstract: Graph Neural Networks (GNNs) are emerging machine learning models on graphs. Although sufficiently deep GNNs are shown theoretically capable of fully preserving graph structures, most existing GNN models in practice are shallow and essentially feature-centric. We show empirically and analytically that the existing shallow GNNs cannot preserve graph structures well. To overcome this fundamental challenge, we propose Eigen-GNN, a simple yet effective and general plug-in module to boost GNNs ability in preserving graph structures. Specifically, we integrate the eigenspace of graph structures with GNNs by treating GNNs as a type of dimensionality reduction and expanding the initial dimensionality reduction bases. Without needing to increase depths, Eigen-GNN possesses more flexibilities in handling both feature-driven and structure-driven tasks since the initial bases contain both node features and graph structures. We present extensive experimental results to demonstrate the effectiveness of Eigen-GNN for tasks including node classification, link prediction, and graph isomorphism tests.


title: Randomized Policy Learning for Continuous State and Action MDPs

abstract: Deep reinforcement learning methods have achieved state-of-the-art results in a variety of challenging, high-dimensional domains ranging from video games to locomotion. The key to success has been the use of deep neural networks used to approximate the policy and value function. Yet, substantial tuning of weights is required for good results. We instead use randomized function approximation. Such networks are not only cheaper than training fully connected networks but also improve the numerical performance. We present \texttt{RANDPOL}, a generalized policy iteration algorithm for MDPs with continuous state and action spaces. Both the policy and value functions are represented with randomized networks. We also give finite time guarantees on the performance of the algorithm. Then we show the numerical performance on challenging environments and compare them with deep neural network based algorithms.


title: Long-time Anderson Localization for the Nonlinear Schrodinger Equation Revisited

abstract: In this paper, we confirm the conjecture of Wang and Zhang (J. Stat. Phys. 134 (5-6): 953--968, 2009) in a long time scale, i.e., the displacement of the wavefront for $1D$ nonlinear random Schroedinger equation is of logarithmic order in time $|t|$.