title: The GIGANTES dataset: precision cosmology from voids in the machine learning era

abstract: We present GIGANTES, the most extensive and realistic void catalog suite ever released -- containing over 1 billion cosmic voids covering a volume larger than the observable Universe, more than 20 TB of data, and created by running the void finder VIDE on QUIJOTE's halo simulations. The expansive and detailed GIGANTES suite, spanning thousands of cosmological models, opens up the study of voids, answering compelling questions: Do voids carry unique cosmological information? How is this information correlated with galaxy information? Leveraging the large number of voids in the GIGANTES suite, our Fisher constraints demonstrate voids contain additional information, critically tightening constraints on cosmological parameters. We use traditional void summary statistics (void size function, void density profile) and the void auto-correlation function, which independently yields an error of $0.13\,\mathrm{eV}$ on $\sum\,m_{\nu}$ for a 1 $h^{-3}\mathrm{Gpc}^3$ simulation, without CMB priors. Combining halos and voids we forecast an error of $0.09\,\mathrm{eV}$ from the same volume. Extrapolating to next generation multi-Gpc$^3$ surveys such as DESI, Euclid, SPHEREx, and the Roman Space Telescope, we expect voids should yield an independent determination of neutrino mass. Crucially, GIGANTES is the first void catalog suite expressly built for intensive machine learning exploration. We illustrate this by training a neural network to perform likelihood-free inference on the void size function. Cosmology problems provide an impetus to develop novel deep learning techniques, leveraging the symmetries embedded throughout the universe from physical laws, interpreting models, and accurately predicting errors. With GIGANTES, machine learning gains an impressive dataset, offering unique problems that will stimulate new techniques.


title: Equivariant Chow-Witt groups and moduli stacks of elliptic curves

abstract: We introduce equivariant Chow-Witt groups in order to define Chow-Witt groups of quotient stacks. We compute the Chow-Witt ring of the moduli stack of stable (resp. smooth) elliptic curves, providing a geometric interpretation of the new generators. Along the way, we also determine the Chow-Witt ring of the classifying stack of $\mu_{2n}$.


title: Connectivity Matters: Neural Network Pruning Through the Lens of Effective Sparsity

abstract: Neural network pruning is a fruitful area of research with surging interest in high sparsity regimes. Benchmarking in this domain heavily relies on faithful representation of the sparsity of subnetworks, which has been traditionally computed as the fraction of removed connections (direct sparsity). This definition, however, fails to recognize unpruned parameters that detached from input or output layers of underlying subnetworks, potentially underestimating actual effective sparsity: the fraction of inactivated connections. While this effect might be negligible for moderately pruned networks (up to 10-100 compression rates), we find that it plays an increasing role for thinner subnetworks, greatly distorting comparison between different pruning algorithms. For example, we show that effective compression of a randomly pruned LeNet-300-100 can be orders of magnitude larger than its direct counterpart, while no discrepancy is ever observed when using SynFlow for pruning [Tanaka et al., 2020]. In this work, we adopt the lens of effective sparsity to reevaluate several recent pruning algorithms on common benchmark architectures (e.g., LeNet-300-100, VGG-19, ResNet-18) and discover that their absolute and relative performance changes dramatically in this new and more appropriate framework. To aim for effective, rather than direct, sparsity, we develop a low-cost extension to most pruning algorithms. Further, equipped with effective sparsity as a reference frame, we partially reconfirm that random pruning with appropriate sparsity allocation across layers performs as well or better than more sophisticated algorithms for pruning at initialization [Su et al., 2020]. In response to this observation, using a simple analogy of pressure distribution in coupled cylinders from physics, we design novel layerwise sparsity quotas that outperform all existing baselines in the context of random pruning.


title: Large Anomalous Hall Effect in Topological Insulators Proximitized by Collinear Antiferromagnets

abstract: CrSb is an attractive material for room-temperature antiferromagnetic spintronic applications because of its high N\'{e}el temperature $\sim$700 K and semi-metallic character. We study the magnetic properties of CrSb bilayers on few-layer topological insulator thin films using \emph{ab initio} density functional theory. We find that the intrinsic parts of the total anomalous Hall conductivities of the thin films are non-zero, and approximately quantized. The N\'{e}el temperature of CrSb bilayers on few-layer topological insulator thin films is found to be approximately two times larger than that of an isolated CrSb thin film. Due to the low Fermi level density of states of CrSb, Hall quantization might be achievable by introducing disorder. CrSb bilayers on topological insulator surfaces are therefore attractive candidates for high-temperature quantum anomalous Hall effects.


title: A visual introduction to Gaussian Belief Propagation

abstract: In this article, we present a visual introduction to Gaussian Belief Propagation (GBP), an approximate probabilistic inference algorithm that operates by passing messages between the nodes of arbitrarily structured factor graphs. A special case of loopy belief propagation, GBP updates rely only on local information and will converge independently of the message schedule. Our key argument is that, given recent trends in computing hardware, GBP has the right computational properties to act as a scalable distributed probabilistic inference framework for future machine learning systems.


title: Linear connections and shape maps for second order ODEs with and without constraints

abstract: We deal with the construction of linear connections associated with second order ordinary differential equations with and without first order constraints. We use a novel method allowing glueing of submodule covariant derivatives to produce new, closed form expressions for the Massa-Pagani connection and our extension of it to the constrained case.


title: Moduli spaces of nonnegatively curved metrics on exotic spheres

abstract: We show that the moduli space of nonnegatively curved metrics on each member of a large class of 2-connected 7-manifolds, including each smooth manifold homeomorphic to $S^7$, has infinitely many connected components. The components are distinguished using the Kreck-Stolz $s$-invariant computed for metrics constructed by Goette, Kerin and Shankar. The invariant is computed by extending each metric to the total space of an orbifold disc bundle and applying generalizations of the Atiyah-Patodi-Singer index theorem for orbifolds with boundary. We develop methods for computing characteristic classes and integrals of characteristic forms appearing in index theorems for orbifolds, in particular orbifolds constructed using Lie group actions of cohomogeneity one.


title: Design of pulsed waveforms for space debris detection with ATLAS

abstract: ATLAS is the first Portuguese radar system that aims to detect space debris. The article introduces the system and provides a brief description of its capabilities. The system is capable of synthesizing arbitrary amplitude modulated pulse shapes with a resolution of 10 ns. Given that degree of freedom we decided to test an amplitude modulated chirp signal developed by us and a nested barker code. These waveforms are explained as well as their advantages and drawbacks for space debris detection. An experimental setup was developed to test the system receiver and waveforms are processed by digital matched filtering. The experiments test the system using different waveform shapes and noise levels. Experimental results are in agreement with simulation and show that the chirp signal is more resilient to Doppler shifts, has higher range resolution and lower peak-to-sidelobe ratio in comparison with the nested barker code. Future work in order to increase detection capabilities is discussed at the end.


title: Thermodynamic uncertainty relation in a tilted periodic potential under coarse graining

abstract: Recently, some general relations have been studied in nonequilibrium mesoscopic systems. In particular, the thermodynamic uncertainty relation (TUR) provides a universal internal relation among the cumulants of currents and the entropy production. In this paper, we give a simple derivation of TUR for thermally fluctuating particle current in a tilted periodic potential from a coarse grained point of view with the use of the transition probabilities. Also, we explore the condition for the bound of TUR to monotonically increase with the affinity.


title: Analytic weakly mixing diffeomorphisms on odd dimensional spheres

abstract: We present an approximation by conjugation scheme to obtain real-analytic diffeomorphisms of odd dimensional spheres that are weakly mixing with respect to the volume.


title: The RSNA-ASNR-MICCAI BraTS 2021 Benchmark on Brain Tumor Segmentation and Radiogenomic Classification

abstract: The BraTS 2021 challenge celebrates its 10th anniversary and is jointly organized by the Radiological Society of North America (RSNA), the American Society of Neuroradiology (ASNR), and the Medical Image Computing and Computer Assisted Interventions (MICCAI) society. Since its inception, BraTS has been focusing on being a common benchmarking venue for brain glioma segmentation algorithms, with well-curated multi-institutional multi-parametric magnetic resonance imaging (mpMRI) data. Gliomas are the most common primary malignancies of the central nervous system, with varying degrees of aggressiveness and prognosis. The RSNA-ASNR-MICCAI BraTS 2021 challenge targets the evaluation of computational algorithms assessing the same tumor compartmentalization, as well as the underlying tumor's molecular characterization, in pre-operative baseline mpMRI data from 2,040 patients. Specifically, the two tasks that BraTS 2021 focuses on are: a) the segmentation of the histologically distinct brain tumor sub-regions, and b) the classification of the tumor's O[6]-methylguanine-DNA methyltransferase (MGMT) promoter methylation status. The performance evaluation of all participating algorithms in BraTS 2021 will be conducted through the Sage Bionetworks Synapse platform (Task 1) and Kaggle (Task 2), concluding in distributing to the top ranked participants monetary awards of $60,000 collectively.


title: New SST Optical Sensor of Pampilhosa da Serra: studies on image processing algorithms and multi-filter characterization of Space Debris

abstract: As part of the Portuguese Space Surveillance and Tracking (SST) System, two new Wide Field of View (2.3deg x 2.3deg) small aperture (30cm) telescopes will be deployed in 2021, at the Pampilhosa da Serra Space Observatory (PASO), located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky area. These optical systems will provide added value capabilities to the Portuguese SST network, complementing the optical telescopes currently in commissioning in Madeira and Azores. These telescopes are optimized for GEO and MEO survey operations and besides the required SST operational capability, they will also provide an important development component to the Portuguese SST network. The telescopes will be equipped with filter wheels, being able to perform observations in several optical bands including white light, BVRI bands and narrow band filters such as H(alpha) and O[III] to study potential different objects' albedos. This configuration enables us to conduct a study on space debris classification$/$characterization using combinations of different colors aiming the production of improved color index schemes to be incorporated in the automatic pipelines for classification of space debris. This optical sensor will also be used to conduct studies on image processing algorithms, including source extraction and classification solutions through the application of machine learning techniques. Since SST dedicated telescopes produce a large quantity of data per observation night, fast, efficient and automatic image processing techniques are mandatory. A platform like this one, dedicated to the development of Space Surveillance studies, will add a critical capability to keep the Portuguese SST network updated, and as a consequence it may provide useful developments to the European SST network as well.


title: Smooth Fields of Operators and Some Examples Coming from Canonical Quantization

abstract: We introduce a notion of smooth fields of operators following the notion of smooth fields of Hilbert spaces recently defined by L. Lempert and R. Sz\H{o}oke arXiv:1004.4863(2) . Formally, if $\nabla$ is the connection of a smooth field of Hilbert spaces we show that $\hat\nabla=[\nabla,\cdot]$ defines a connection on a suitable space of fields of operators. In order to provide examples we prove that, if $u$ is a suitable constant of motion of $h(q,p)=\|q\|^2$ (i.e.\ $\{u,h\}=0$), then $\mathfrak{Op}(u)$ is a smooth field of operators over the open interval $(0,\infty)$, where $\mathfrak{Op}$ denotes the canonical quantization (Weyl calculus). Moreover, in such case we show that we can compute derivatives using the formula $\hat\nabla_{X_0}(\mathfrak{Op}(u))=\mathfrak{Op}(\tilde\nabla_{X_0}(u))$, where $\tilde\nabla$ is a Poisson connection on the Poisson algebra of constants of motion and $X_0=2\lambda\frac{\partial}{\partial \lambda}$. We also introduce a notion of smooth field of $C^*$-algebras and we give an example using Hilbert modules theory.


title: Robotic Endoscope Control via Autonomous Instrument Tracking

abstract: Many keyhole interventions rely on bi-manual handling of surgical instruments, forcing the main surgeon to rely on a second surgeon to act as a camera assistant. In addition to the burden of excessively involving surgical staff, this may lead to reduced image stability, increased task completion time and sometimes errors due to the monotony of the task. Robotic endoscope holders, controlled by a set of basic instructions, have been proposed as an alternative, but their unnatural handling may increase the cognitive load of the (solo) surgeon, which hinders their clinical acceptance. More seamless integration in the surgical workflow would be achieved if robotic endoscope holders collaborated with the operating surgeon via semantically rich instructions that closely resemble instructions that would otherwise be issued to a human camera assistant, such as "focus on my right-hand instrument". As a proof of concept, this paper presents a novel system that paves the way towards a synergistic interaction between surgeons and robotic endoscope holders. The proposed platform allows the surgeon to perform a bimanual coordination and navigation task, while a robotic arm autonomously performs the endoscope positioning tasks. Within our system, we propose a novel tooltip localization method based on surgical tool segmentation and a novel visual servoing approach that ensures smooth and appropriate motion of the endoscope camera. We validate our vision pipeline and run a user study of this system. The clinical relevance of the study is ensured through the use of a laparoscopic exercise validated by the European Academy of Gynaecological Surgery which involves bi-manual coordination and navigation. Successful application of our proposed system provides a promising starting point towards broader clinical adoption of robotic endoscope holders.


title: Incremental Edge Orientation in Forests

abstract: For any forest $G = (V, E)$ it is possible to orient the edges $E$ so that no vertex in $V$ has out-degree greater than $1$. This paper considers the incremental edge-orientation problem, in which the edges $E$ arrive over time and the algorithm must maintain a low-out-degree edge orientation at all times. We give an algorithm that maintains a maximum out-degree of $3$ while flipping at most $O(\log \log n)$ edge orientations per edge insertion, with high probability in $n$. The algorithm requires worst-case time $O(\log n \log \log n)$ per insertion, and takes amortized time $O(1)$. The previous state of the art required up to $O(\log n / \log \log n)$ edge flips per insertion. We then apply our edge-orientation results to the problem of dynamic Cuckoo hashing. The problem of designing simple families $\mathcal{H}$ of hash functions that are compatible with Cuckoo hashing has received extensive attention. These families $\mathcal{H}$ are known to satisfy \emph{static guarantees}, but do not come typically with \emph{dynamic guarantees} for the running time of inserts and deletes. We show how to transform static guarantees (for $1$-associativity) into near-state-of-the-art dynamic guarantees (for $O(1)$-associativity) in a black-box fashion. Rather than relying on the family $\mathcal{H}$ to supply randomness, as in past work, we instead rely on randomness within our table-maintenance algorithm.


title: Exploring Deep Learning Methods for Real-Time Surgical Instrument Segmentation in Laparoscopy

abstract: Minimally invasive surgery is a surgical intervention used to examine the organs inside the abdomen and has been widely used due to its effectiveness over open surgery. Due to the hardware improvements such as high definition cameras, this procedure has significantly improved and new software methods have demonstrated potential for computer-assisted procedures. However, there exists challenges and requirements to improve detection and tracking of the position of the instruments during these surgical procedures. To this end, we evaluate and compare some popular deep learning methods that can be explored for the automated segmentation of surgical instruments in laparoscopy, an important step towards tool tracking. Our experimental results exhibit that the Dual decoder attention network (DDANet) produces a superior result compared to other recent deep learning methods. DDANet yields a Dice coefficient of 0.8739 and mean intersection-over-union of 0.8183 for the Robust Medical Instrument Segmentation (ROBUST-MIS) Challenge 2019 dataset, at a real-time speed of 101.36 frames-per-second that is critical for such procedures.


title: Memory-Sample Lower Bounds for Learning Parity with Noise

abstract: In this work, we show, for the well-studied problem of learning parity under noise, where a learner tries to learn $x=(x_1,\ldots,x_n) \in \{0,1\}^n$ from a stream of random linear equations over $\mathrm{F}_2$ that are correct with probability $\frac{1}{2}+\varepsilon$ and flipped with probability $\frac{1}{2}-\varepsilon$, that any learning algorithm requires either a memory of size $\Omega(n^2/\varepsilon)$ or an exponential number of samples. In fact, we study memory-sample lower bounds for a large class of learning problems, as characterized by [GRT'18], when the samples are noisy. A matrix $M: A \times X \rightarrow \{-1,1\}$ corresponds to the following learning problem with error parameter $\varepsilon$: an unknown element $x \in X$ is chosen uniformly at random. A learner tries to learn $x$ from a stream of samples, $(a_1, b_1), (a_2, b_2) \ldots$, where for every $i$, $a_i \in A$ is chosen uniformly at random and $b_i = M(a_i,x)$ with probability $1/2+\varepsilon$ and $b_i = -M(a_i,x)$ with probability $1/2-\varepsilon$ ($0<\varepsilon< \frac{1}{2}$). Assume that $k,\ell, r$ are such that any submatrix of $M$ of at least $2^{-k} \cdot |A|$ rows and at least $2^{-\ell} \cdot |X|$ columns, has a bias of at most $2^{-r}$. We show that any learning algorithm for the learning problem corresponding to $M$, with error, requires either a memory of size at least $\Omega\left(\frac{k \cdot \ell}{\varepsilon} \right)$, or at least $2^{\Omega(r)}$ samples. In particular, this shows that for a large class of learning problems, same as those in [GRT'18], any learning algorithm requires either a memory of size at least $\Omega\left(\frac{(\log |X|) \cdot (\log |A|)}{\varepsilon}\right)$ or an exponential number of noisy samples. Our proof is based on adapting the arguments in [Raz'17,GRT'18] to the noisy case.


title: Universal behavior of the scattering matrix near thresholds in photonics

abstract: Scattering thresholds and their associated spectral square root branch points are ubiquitous in photonics. In this Letter, we show that the scattering matrix has a simple universal behavior near scattering thresholds. We use unitarity, reciprocity, and time-reversal symmetry to construct a two-parameter model for a two-port scattering matrix near a threshold. We demonstrate this universal behavior in three different optical systems, namely a photonic crystal slab, a planar dielectric interface, and a junction between metallic waveguides of different widths.


title: Fractals on a benchtop: Observing fractal dimension in a resistor network

abstract: Our first experience of dimension typically comes in the intuitive Euclidean sense: a line is one dimensional, a plane is two-dimensional, and a volume is three-dimensional. However, following the work of Mandelbrot \cite{mandelbrot}, systems with a fractional dimension, ``fractals'', now play an important role in science. The novelty of encountering fractional dimension, and the intrinsic beauty of many fractals, have a strong appeal to students and provide a powerful teaching tool. I describe here a low-cost and convenient experimental method for observing fractal dimension, by measuring the power-law scaling of the resistance of a fractal network of resistors. The experiments are quick to perform, and the students enjoy both the construction of the network and the collaboration required to create the largest networks. Learning outcomes include analysis of resistor networks beyond the elementary series and parallel combinations, scaling laws, and an introduction to fractional dimension.


title: On the non-blow up of energy critical nonlinear massless scalar fields in `3+1' dimensional globally hyperbolic spacetimes: Light cone estimates

abstract: Here we prove a global existence theorem for the solutions of the semi-linear wave equation with critical non-linearity admitting a positive definite Hamiltonian. Formulating a parametrix for the wave equation in a globally hyperbolic curved spacetime, we derive an apriori pointwise bound for the solution of the nonlinear wave equation in terms of the initial energy, from which the global existence follows in a straightforward way. This is accomplished in two steps. First, based on Moncrief's light cone formulation we derive an expression for the scalar field in terms of integrals over the past light cone from an arbitrary spacetime point to an `initial', Cauchy hypersurface and additional integrals over the intersection of this cone with the initial hypersurface. Secondly, we obtain apriori estimates for the energy associated with three quasi-local approximate time-like conformal Killing and one approximate Killing vector fields. Utilizing these naturally defined energies associated with the physical stress-energy tensor together with the integral equation, we show that the spacetime $L^{\infty}$ norm of the scalar field remains bounded in terms of the initial data and continues to be so as long as the spacetime remains singularity/Cauchy-horizon free.


title: Hierarchical clustered multiclass discriminant analysis via cross-validation

abstract: Linear discriminant analysis (LDA) is a well-known method for multiclass classification and dimensionality reduction. However, in general, ordinary LDA does not achieve high prediction accuracy when observations in some classes are difficult to be classified. This study proposes a novel cluster-based LDA method that significantly improves the prediction accuracy. We adopt hierarchical clustering, and the dissimilarity measure of two clusters is defined by the cross-validation (CV) value. Therefore, clusters are constructed such that the misclassification error rate is minimized. Our approach involves a heavy computational load because the CV value must be computed at each step of the hierarchical clustering algorithm. To address this issue, we develop a regression formulation for LDA and construct an efficient algorithm that computes an approximate value of the CV. The performance of the proposed method is investigated by applying it to both artificial and real datasets. Our proposed method provides high prediction accuracy with fast computation from both numerical and theoretical viewpoints.


title: Completely Reducible Ternary Cubic Forms

abstract: We discuss various necessary and sufficient conditions for the complete reducibility of a ternary cubic form. In doing so, we prove the claim made in the 19th century that such a form is completely reducible if and only if its Hessian is a multiple of itself.


title: Pedestrian Emergence Estimation and Occlusion-Aware Risk Assessment for Urban Autonomous Driving

abstract: Avoiding unseen or partially occluded vulnerable road users (VRUs) is a major challenge for fully autonomous driving in urban scenes. However, occlusion-aware risk assessment systems have not been widely studied. Here, we propose a pedestrian emergence estimation and occlusion-aware risk assessment system for urban autonomous driving. First, the proposed system utilizes available contextual information, such as visible cars and pedestrians, to estimate pedestrian emergence probabilities in occluded regions. These probabilities are then used in a risk assessment framework, and incorporated into a longitudinal motion controller. The proposed controller is tested against several baseline controllers that recapitulate some commonly observed driving styles. The simulated test scenarios include randomly placed parked cars and pedestrians, most of whom are occluded from the ego vehicle's view and emerges randomly. The proposed controller outperformed the baselines in terms of safety and comfort measures.


title: Connecting Spatially Coupled LDPC Code Chains for Bit-Interleaved Coded Modulation

abstract: This paper investigates the design of spatially coupled low-density parity-check (SC-LDPC) codes constructed from connected-chain ensembles for bit-interleaved coded modulation (BICM) schemes. For short coupling lengths, connecting multiple SC-LDPC chains can improve decoding performance over single-chains and impose structured unequal error protection (UEP). A joint design of connected-chain ensembles and bit mapping to further exploit the UEP from codes and high-order modulations is proposed. Numerical results demonstrate the superiority of the proposed design over existing connected-chain ensembles and over single-chain ensembles with existing bit mapping design.


title: Polarized skylight orientation determination artificial neural network

abstract: This paper proposes an artificial neural network to determine orientation using polarized skylight. This neural network has specific dilated convolution, which can extract light intensity information of different polarization directions. Then, the degree of polarization (DOP) and angle of polarization (AOP) are directly extracted in the network. In addition, the exponential function encoding of orientation is designed as the network output, which can better reflect the insect's encoding of polarization information, and improve the accuracy of orientation determination. Finally, training and testing were conducted on a public polarized skylight navigation dataset, and the experimental results proved the stability and effectiveness of the network.


title: A Lagrangian relaxation towards equilibrium wall model for large eddy simulation

abstract: A large eddy simulation wall model is developed based on a formal interpretation of quasi-equilibrium that governs the momentum balance integrated in the wall-normal direction. The model substitutes the law-of-the-wall velocity profile for a smooth surface into the wall-normal integrated momentum balance, leading to a Lagrangian relaxation towards equilibrium (LaRTE) transport equation for the friction velocity vector $\mathbf{u}_\tau(x,z,t)$. This partial differential equation includes a relaxation timescale governing the rate at which the wall stress can respond to imposed fluctuations due to the inertia of the fluid layer from the wall to the wall-model height. A-priori tests based on channel flow direct numerical simulation (DNS) data show that the identified relaxation timescale ensures self-consistency with assumed quasi-equilibrium conditions. The new approach enables us to formally distinguish quasi-equilibrium from additional, non-equilibrium contributions to the wall stress. A particular model for non-equilibrium contributions is derived, motivated by laminar Stokes layer dynamics in the viscous sublayer when applying fast varying pressure gradients. The new wall modeling approach is first tested in standard equilibrium channel flow in order to document various properties of the approach. The model is then applied in LES of channel flow with a suddenly applied spanwise pressure gradient (SSPG). The resulting mean wall stress evolution is compared to DNS with good agreement. At the onset of the SSPG, the laminar Stokes layer develops rapidly while the LaRTE portion of the stress has a delayed response due to its inherent relaxation dynamics. Results also highlight open challenges such as modeling the response of near-wall turbulence occurring above the viscous sublayer and at timescales faster than quasi-equilibrium conditions.


title: Measurement of emission spectrum for gaseous argon electroluminescence in visible light region from 300 to 600 nm

abstract: A double-phase Ar detector can efficiently identify particles and reconstruct their positions. However, the properties of electroluminescence (EL) for secondary light emission in the gas phase are not fully understood. Earlier studies have explained the EL process using an ordinary EL mechanism because of an Ar excimer; however, this mechanism does not predict the emission of visible light (VL). Recent measurements have demonstrated VL components in Ar gas EL, to explain which a new mechanism called neutral bremsstrahlung (NBrS) was proposed. In this study, we investigated gaseous Ar EL in the VL region from 300 to 600 nm at room temperature and normal pressure using a gaseous time projection chamber (TPC). The secondary emission light from the TPC luminescence region was dispersed using a spectrometer. The observed spectrum was interpreted using the ordinary EL and NBrS models, and the effect of nitrogen impurities is discussed herein.


title: Mind Your Outliers! Investigating the Negative Impact of Outliers on Active Learning for Visual Question Answering

abstract: Active learning promises to alleviate the massive data needs of supervised machine learning: it has successfully improved sample efficiency by an order of magnitude on traditional tasks like topic classification and object recognition. However, we uncover a striking contrast to this promise: across 5 models and 4 datasets on the task of visual question answering, a wide variety of active learning approaches fail to outperform random selection. To understand this discrepancy, we profile 8 active learning methods on a per-example basis, and identify the problem as collective outliers -- groups of examples that active learning methods prefer to acquire but models fail to learn (e.g., questions that ask about text in images or require external knowledge). Through systematic ablation experiments and qualitative visualizations, we verify that collective outliers are a general phenomenon responsible for degrading pool-based active learning. Notably, we show that active learning sample efficiency increases significantly as the number of collective outliers in the active learning pool decreases. We conclude with a discussion and prescriptive recommendations for mitigating the effects of these outliers in future work.


title: Properties of Skyrme force as a residual interaction in beyond mean-field theories

abstract: In an effort to find an effective interaction which can consistently be used for both the mean-field part and the residual part in beyond mean-field theories, properties of the Skyrme interactions as a residual interaction are investigated. The time-dependent density-matrix theory (TDDM) is used as a beyond mean-field theory and the ground states of $^{16}$O and $^{40}$Ca are calculated using the five standard parametrizations of the Skyrme interaction which differs in density and momentum dependence. It is found that the Skyrme interaction which has strong density dependence and weak momentum dependence induces substantial ground-state correlations comparable to the results of other theoretical calculations.


title: Symbol Elimination for Parametric Second-Order Entailment Problems (with Applications to Problems in Wireless Network Theory)

abstract: We analyze possibilities of second-order quantifier elimination for formulae containing parameters -- constants or functions. For this, we use a constraint resolution calculus obtained from specializing the hierarchical superposition calculus. If saturation terminates, we analyze possibilities of obtaining weakest constraints on parameters which guarantee satisfiability. If the saturation does not terminate, we identify situations in which finite representations of infinite saturated sets exist. We identify situations in which entailment between formulae expressed using second-order quantification can be effectively checked. We illustrate the ideas on a series of examples from wireless network research.


title: Effect of uncertainty visualizations on myopic loss aversion and equity premium puzzle in retirement investment decisions

abstract: For many households, investing for retirement is one of the most significant decisions and is fraught with uncertainty. In a classic study in behavioral economics, Benartzi and Thaler (1999) found evidence using bar charts that investors exhibit myopic loss aversion in retirement decisions: Investors overly focus on the potential for short-term losses, leading them to invest less in riskier assets and miss out on higher long-term returns. Recently, advances in uncertainty visualizations have shown improvements in decision-making under uncertainty in a variety of tasks. In this paper, we conduct a controlled and incentivized crowdsourced experiment replicating Benartzi and Thaler (1999) and extending it to measure the effect of different uncertainty representations on myopic loss aversion. Consistent with the original study, we find evidence of myopic loss aversion with bar charts and find that participants make better investment decisions with longer evaluation periods. We also find that common uncertainty representations such as interval plots and bar charts achieve the highest mean expected returns while other uncertainty visualizations lead to poorer long-term performance and strong effects on the equity premium. Qualitative feedback further suggests that different uncertainty representations lead to visual reasoning heuristics that can either mitigate or encourage a focus on potential short-term losses. We discuss implications of our results on using uncertainty visualizations for retirement decisions in practice and possible extensions for future work.


title: The Stellar Initial Mass Function and Population Properties of M89 from Optical and NIR Spectroscopy: Addressing Biases in Spectral Index Analysis

abstract: The complexity of constraining the stellar initial mass function (IMF) in early-type galaxies cannot be overstated, given the necessity of both very high signal-to-noise (S/N) data and the difficulty of breaking the strong degeneracies that occur among several stellar population parameters including age, metallicity and elemental abundances. With this paper, the second in a series, we present a detailed analysis of the biases that can occur when retrieving the IMF shape by exploiting both optical and NIR IMF sensitive spectral indices. As a test case, here we analyze data for the nearby galaxy M89, for which we have high S/N spectroscopic data that cover the 3500-9000{\AA} spectral region and allow us to study the radial variation of the stellar population properties out to 1 R_e. Carrying out parallel simulations that mimic the retrieval of all the explored stellar parameters from a known input model, we quantify the amount of bias at each step of our analysis. From more general simulations we conclude that to accurately retrieve the IMF, it is necessary not only to retrieve accurate estimates of the age and metallicity, but also of all the elemental abundances that the spectral index fits are sensitive to. With our analysis technique applied to M89, we find consistency with a bottom-heavy IMF with a negative gradient from the center to half R_e when using the Conroy et al. 2018 as well as Vazdekis et al. 2016 EMILES stellar population models. We find agreement both with a parallel full spectral fitting of the same data and with literature results.


title: Integrated Satellite-HAP-Terrestrial Networks for Dual-Band Connectivity

abstract: The recent development of high-altitude platforms (HAPs) has attracted increasing attention since they can serve as a promising communication method to assist satellite-terrestrial networks. In this paper, we consider an integrated three-layer satellite-HAP-terrestrial network where the HAP support dual-band connectivity. Specifically, the HAP can not only communicate with terrestrial users over C-band directly, but also provide backhaul services to terrestrial user terminals over Ka-band. We formulate a sum-rate maximization problem and then propose a fractional programming based algorithm to solve the problem by optimizing the bandwidth and power allocation iteratively. The closed-form optimal solutions for bandwidth allocation and power allocation in each iteration are also derived. Simulation results show the capacity enhancement brought by the dual-band connectivity of the HAP. The influence of the power of the HAP and the power of the satellite is also discussed.


title: Study on Outliers in the Big Stellar Spectral Dataset of the Fifth Data Release (DR5) of the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST)

abstract: To study the quality of stellar spectra of the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) and the correctness of the corresponding stellar parameters derived by the LASP (LAMOST Stellar Parameter Pipeline), the outlier analysis method is applied to the archived AFGK stars in the fifth data release (DR5) of LAMOST. The outlier factor is defined in order to sort more than 3 million stellar spectra selected from the DR5 Stellar Parameter catalog. We propose an improved Local Outlier Factor (LOF) method based on Principal Component Analysis and Monte Carlo to enable the computation of the LOF rankings for randomly picked sub-samples that are computed in parallel by multiple computers, and finally to obtain the outlier ranking of each spectrum in the entire dataset. Totally 3,627 most outlier ranked spectra, around one-thousandth of all spectra, are selected and clustered into 10 groups, and the parameter density distribution of them conforms to the parameter distribution of LAMOST DR5, which suggests that in the whole parameter space the probability of bad spectra is uniformly distributed. By cross-matching the 3,627 spectra with APOGEE, we obtain 122 common ones. The published parameters calculated from LASP agree with APOGEE for the 122 spectra although there are bad pixels or bad flux calibrations in them. On the other hand, some outlier spectra show strong nebular contamination warning the corresponding parameters should be carefully used. A catalog and a spectral atlas of all the 3,627 outliers can be found at the link http://paperdata.china-vo.org/LY_paper/dr5Outlier/dr5Outlier_resource.zip.


title: Impact of deep learning-based image super-resolution on binary signal detection

abstract: Deep learning-based image super-resolution (DL-SR) has shown great promise in medical imaging applications. To date, most of the proposed methods for DL-SR have only been assessed by use of traditional measures of image quality (IQ) that are commonly employed in the field of computer vision. However, the impact of these methods on objective measures of image quality that are relevant to medical imaging tasks remains largely unexplored. In this study, we investigate the impact of DL-SR methods on binary signal detection performance. Two popular DL-SR methods, the super-resolution convolutional neural network (SRCNN) and the super-resolution generative adversarial network (SRGAN), were trained by use of simulated medical image data. Binary signal-known-exactly with background-known-statistically (SKE/BKS) and signal-known-statistically with background-known-statistically (SKS/BKS) detection tasks were formulated. Numerical observers, which included a neural network-approximated ideal observer and common linear numerical observers, were employed to assess the impact of DL-SR on task performance. The impact of the complexity of the DL-SR network architectures on task-performance was quantified. In addition, the utility of DL-SR for improving the task-performance of sub-optimal observers was investigated. Our numerical experiments confirmed that, as expected, DL-SR could improve traditional measures of IQ. However, for many of the study designs considered, the DL-SR methods provided little or no improvement in task performance and could even degrade it. It was observed that DL-SR could improve the task-performance of sub-optimal observers under certain conditions. The presented study highlights the urgent need for the objective assessment of DL-SR methods and suggests avenues for improving their efficacy in medical imaging applications.


title: Multi-Modal Mutual Information (MuMMI) Training for Robust Self-Supervised Deep Reinforcement Learning

abstract: This work focuses on learning useful and robust deep world models using multiple, possibly unreliable, sensors. We find that current methods do not sufficiently encourage a shared representation between modalities; this can cause poor performance on downstream tasks and over-reliance on specific sensors. As a solution, we contribute a new multi-modal deep latent state-space model, trained using a mutual information lower-bound. The key innovation is a specially-designed density ratio estimator that encourages consistency between the latent codes of each modality. We tasked our method to learn policies (in a self-supervised manner) on multi-modal Natural MuJoCo benchmarks and a challenging Table Wiping task. Experiments show our method significantly outperforms state-of-the-art deep reinforcement learning methods, particularly in the presence of missing observations.


title: Theory of vibrators with variable-order fractional forces

abstract: In this paper, we present a theory of six classes of vibrators with variable-order fractional forces of inertia, damping, and restoration. The novelty and contributions of the present theory are reflected in six aspects. 1) Equivalent motion equations of those variable-order fractional vibrators are proposed. 2) The analytical expressions of the effective mass, damping, and stiffness of those variable-order fractional vibrators are presented. 3) The asymptotic properties of the effective mass, damping, and stiffness of a class of variable-order fractional vibrators are given. 4) The restricted effective parameters (damping ratio, damping free natural frequency, damped natural frequency, frequency ratio) of the variable-order fractional vibrators are put forward. 5) We bring forward the analytical representations of the free responses, the impulse responses, and the frequency transfer functions of those variable-order fractional vibrators. 6) We propose a solution to an open problem of how to mathematically explain the Rayleigh damping assumption based on the present theory of variable-order fractional vibrations.


title: Feature Fusion Vision Transformer for Fine-Grained Visual Categorization

abstract: The core for tackling the fine-grained visual categorization (FGVC) is to learn subtle yet discriminative features. Most previous works achieve this by explicitly selecting the discriminative parts or integrating the attention mechanism via CNN-based approaches.However, these methods enhance the computational complexity and make the modeldominated by the regions containing the most of the objects. Recently, vision trans-former (ViT) has achieved SOTA performance on general image recognition tasks. Theself-attention mechanism aggregates and weights the information from all patches to the classification token, making it perfectly suitable for FGVC. Nonetheless, the classifi-cation token in the deep layer pays more attention to the global information, lacking the local and low-level features that are essential for FGVC. In this work, we proposea novel pure transformer-based framework Feature Fusion Vision Transformer (FFVT)where we aggregate the important tokens from each transformer layer to compensate thelocal, low-level and middle-level information. We design a novel token selection mod-ule called mutual attention weight selection (MAWS) to guide the network effectively and efficiently towards selecting discriminative tokens without introducing extra param-eters. We verify the effectiveness of FFVT on three benchmarks where FFVT achieves the state-of-the-art performance.


title: Energy and Thermal-aware Resource Management of Cloud Data Centres: A Taxonomy and Future Directions

abstract: This paper investigates the existing resource management approaches in Cloud Data Centres for energy and thermal efficiency. It identifies the need for integrated computing and cooling systems management and learning-based solutions in resource management systems. A taxonomy on energy and thermal efficient resource management in data centres is proposed based on an in-depth analysis of the literature. Furthermore, a detailed survey on existing approaches is conducted according to the taxonomy and recent advancements including machine learning-based resource management approaches and cooling management technologies are discussed.


title: Accurate methods for the analysis of strong-drive effects in parametric gates

abstract: The ability to perform fast, high-fidelity entangling gates is an important requirement for a viable quantum processor. In practice, achieving fast gates often comes with the penalty of strong-drive effects that are not captured by the rotating-wave approximation. These effects can be analyzed in simulations of the gate protocol, but those are computationally costly and often hide the physics at play. Here, we show how to efficiently extract gate parameters by directly solving a Floquet eigenproblem using exact numerics and a perturbative analytical approach. As an example application of this toolkit, we study the space of parametric gates generated between two fixed-frequency transmon qubits connected by a parametrically driven coupler. Our analytical treatment, based on time-dependent Schrieffer-Wolff perturbation theory, yields closed-form expressions for gate frequencies and spurious interactions, and is valid for strong drives. From these calculations, we identify optimal regimes of operation for different types of gates including $i$SWAP, controlled-Z, and CNOT. These analytical results are supplemented by numerical Floquet computations from which we directly extract drive-dependent gate parameters. This approach has a considerable computational advantage over full simulations of time evolutions. More generally, our combined analytical and numerical strategy allows us to characterize two-qubit gates involving parametrically driven interactions, and can be applied to gate optimization and cross-talk mitigation such as the cancellation of unwanted ZZ interactions in multi-qubit architectures.


title: The MAVERIC Survey: Simultaneous Chandra and VLA observations of the transitional millisecond pulsar candidate NGC 6652B

abstract: Transitional millisecond pulsars are millisecond pulsars that switch between a rotation-powered millisecond pulsar state and an accretion-powered X-ray binary state, and are thought to be an evolutionary stage between neutron star low-mass X-ray binaries and millisecond pulsars. So far, only three confirmed systems have been identified in addition to a handful of candidates. We present the results of a multi-wavelength study of the low-mass X-ray binary NGC 6652B in the globular cluster NGC 6652, including simultaneous radio and X-ray observations taken by the Karl G. Jansky Very Large Array and the Chandra X-ray Observatory, and optical spectroscopy and photometry. This source is the second brightest X-ray source in NGC 6652 ($L_{\textrm{X}}\sim1.8\times10^{34}$ erg s$^{-1}$) and is known to be variable. We observe several X-ray flares over the duration of our X-ray observations, in addition to persistent radio emission and occasional radio flares. Simultaneous radio and X-ray data show no clear evidence of anti-correlated variability. Optical spectra of NGC 6652B indicate variable, broad H $\alpha$ emission which transitions from double-peaked emission to absorption over a time-scale of hours. We consider a variety of possible explanations for the source behaviour, and conclude that based on the radio and X-ray luminosities, short time-scale variability and X-ray flaring, and optical spectra, NGC 6652B is best explained as a transitional millisecond pulsar candidate that displays prolonged X-ray flaring behaviour. However, this could only be confirmed with observations of a change to the rotation-powered millisecond pulsar state.


title: Domain Adaptation via CycleGAN for Retina Segmentation in Optical Coherence Tomography

abstract: With the FDA approval of Artificial Intelligence (AI) for point-of-care clinical diagnoses, model generalizability is of the utmost importance as clinical decision-making must be domain-agnostic. A method of tackling the problem is to increase the dataset to include images from a multitude of domains; while this technique is ideal, the security requirements of medical data is a major limitation. Additionally, researchers with developed tools benefit from the addition of open-sourced data, but are limited by the difference in domains. Herewith, we investigated the implementation of a Cycle-Consistent Generative Adversarial Networks (CycleGAN) for the domain adaptation of Optical Coherence Tomography (OCT) volumes. This study was done in collaboration with the Biomedical Optics Research Group and Functional & Anatomical Imaging & Shape Analysis Lab at Simon Fraser University. In this study, we investigated a learning-based approach of adapting the domain of a publicly available dataset, UK Biobank dataset (UKB). To evaluate the performance of domain adaptation, we utilized pre-existing retinal layer segmentation tools developed on a different set of RETOUCH OCT data. This study provides insight on state-of-the-art tools for domain adaptation compared to traditional processing techniques as well as a pipeline for adapting publicly available retinal data to the domains previously used by our collaborators.


title: Thread-modular Analysis of Release-Acquire Concurrency

abstract: We present a thread-modular abstract interpretation(TMAI) technique to verify programs under the release-acquire (RA) memory model for safety property violations. The main contributions of our work are: we capture the execution order of program statements as an abstract domain, and propose a sound upper approximation over this domain to efficiently reason over RA concurrency. The proposed domain is general in its application and captures the ordering relations as a first-class feature in the abstract interpretation theory. In particular, the domain represents a set of sequences of modifications of a global variable in concurrent programs as a partially ordered set. Under this approximation, older sequenced-before stores of a global variable are forgotten and only the latest stores per variable are preserved. We establish the soundness of our proposed abstractions and implement them in a prototype abstract interpreter called PRIORI. The evaluations of PRIORI on existing and challenging RA benchmarks demonstrate that the proposed technique is not only competitive in refutation, but also in verification. PRIORI shows significantly fast analysis runtimes with higher precision compared to recent state-of-the-art tools for RA concurrency.


title: An Ensemble Noise-Robust K-fold Cross-Validation Selection Method for Noisy Labels

abstract: We consider the problem of training robust and accurate deep neural networks (DNNs) when subject to various proportions of noisy labels. Large-scale datasets tend to contain mislabeled samples that can be memorized by DNNs, impeding the performance. With appropriate handling, this degradation can be alleviated. There are two problems to consider: how to distinguish clean samples and how to deal with noisy samples. In this paper, we present Ensemble Noise-robust K-fold Cross-Validation Selection (E-NKCVS) to effectively select clean samples from noisy data, solving the first problem. For the second problem, we create a new pseudo label for any sample determined to have an uncertain or likely corrupt label. E-NKCVS obtains multiple predicted labels for each sample and the entropy of these labels is used to tune the weight given to the pseudo label and the given label. Theoretical analysis and extensive verification of the algorithms in the noisy label setting are provided. We evaluate our approach on various image and text classification tasks where the labels have been manually corrupted with different noise ratios. Additionally, two large real-world noisy datasets are also used, Clothing-1M and WebVision. E-NKCVS is empirically shown to be highly tolerant to considerable proportions of label noise and has a consistent improvement over state-of-the-art methods. Especially on more difficult datasets with higher noise ratios, we can achieve a significant improvement over the second-best model. Moreover, our proposed approach can easily be integrated into existing DNN methods to improve their robustness against label noise.


title: Serrin-type regularity criteria for the 3D MHD equations via one velocity component and one magnetic component

abstract: In this paper, we consider the Cauchy problem to the 3D MHD equations. We show that the Serrin--type conditions imposed on one component of the velocity $u_{3}$ and one component of magnetic fields $b_{3}$ with $$ u_{3} \in L^{p_{0},1}(-1,0;L^{q_{0}}(B(2))),\ b_{3} \in L^{p_{1},1}(-1,0;L^{q_{1}}(B(2))), $$ $\frac{2}{p_{0}}+\frac{3}{q_{0}}=\frac{2}{p_{1}}+\frac{3}{q_{1}}=1$ and $3<q_{0},q_{1}<+\infty$ imply that the suitable weak solution is regular at $(0,0)$. The proof is based on the new local energy estimates introduced by Chae-Wolf (Arch. Ration. Mech. Anal. 2021) and Wang-Wu-Zhang (arXiv:2005.11906).


title: Physical Interaction as Communication: Learning Robot Objectives Online from Human Corrections

abstract: When a robot performs a task next to a human, physical interaction is inevitable: the human might push, pull, twist, or guide the robot. The state-of-the-art treats these interactions as disturbances that the robot should reject or avoid. At best, these robots respond safely while the human interacts; but after the human lets go, these robots simply return to their original behavior. We recognize that physical human-robot interaction (pHRI) is often intentional -- the human intervenes on purpose because the robot is not doing the task correctly. In this paper, we argue that when pHRI is intentional it is also informative: the robot can leverage interactions to learn how it should complete the rest of its current task even after the person lets go. We formalize pHRI as a dynamical system, where the human has in mind an objective function they want the robot to optimize, but the robot does not get direct access to the parameters of this objective -- they are internal to the human. Within our proposed framework human interactions become observations about the true objective. We introduce approximations to learn from and respond to pHRI in real-time. We recognize that not all human corrections are perfect: often users interact with the robot noisily, and so we improve the efficiency of robot learning from pHRI by reducing unintended learning. Finally, we conduct simulations and user studies on a robotic manipulator to compare our proposed approach to the state-of-the-art. Our results indicate that learning from pHRI leads to better task performance and improved human satisfaction.


title: A New Catalog of Asymptotic Giant Branch Stars in Our Galaxy

abstract: We present a new catalog of 11,209 O-rich AGB stars and 7172 C-rich AGB stars in our Galaxy identifying more AGB stars in the bulge component and considering more visual carbon stars. For each object, we cross-identify the IRAS, AKARI, MSX, WISE, 2MASS, and AAVSO counterparts. We present the new catalog in two parts: one is based on the IRAS PSC for brighter or more isolated objects; the other one is based on the ALLWISE source catalog for less bright objects or objects in crowded regions. We present various infrared two-color diagrams (2CDs) for the sample stars. We find that the theoretical dust shell models can roughly explain the observations of AGB stars on the various IR 2CDs. We investigate IR properties of SiO and OH maser emission sources in the catalog. For Mira variables in the sample stars, we find that the IR colors get redder for longer pulsation periods. We also study infrared variability of the sample stars using the WISE photometric data in the last 12 yr: the ALLWISE multiepoch data and the Near-Earth Object WISE Reactivation (NEOWISE-R) 2021 data release. We generate light curves using the WISE data at W1 and W2 bands and compute the Lomb-Scargle periodograms for all of the sample stars. From the WISE light curves, we have found useful variation parameters for 3710 objects in the catalog, for which periods were either known or unknown in previous works.


title: Proof Generation in CDSAT

abstract: The main ideas in the CDSAT (Conflict-Driven Satisfiability) framework for SMT are summarized, leading to approaches to proof generation in CDSAT.


title: A Framework for Proof-carrying Logical Transformations

abstract: In various provers and deductive verification tools, logical transformations are used extensively in order to reduce a proof task into a number of simpler tasks. Logical transformations are often part of the trusted base of such tools. In this paper, we develop a framework to improve confidence in their results. We follow a modular and skeptical approach: transformations are instrumented independently of each other and produce certificates that are checked by a third-party tool. Logical transformations are considered in a higher-order logic, with type polymorphism and built-in theories such as equality and integer arithmetic. We develop a language of proof certificates for them and use it to implement the full chain of certificate generation and certificate verification.


title: General Automation in Coq through Modular Transformations

abstract: Whereas proof assistants based on Higher-Order Logic benefit from external solvers' automation, those based on Type Theory resist automation and thus require more expertise. Indeed, the latter use a more expressive logic which is further away from first-order logic, the logic of most automatic theorem provers. In this article, we develop a methodology to transform a subset of Coq goals into first-order statements that can be automatically discharged by automatic provers. The general idea is to write modular, pairwise independent transformations and combine them. Each of these eliminates a specific aspect of Coq logic towards first-order logic. As a proof of concept, we apply this methodology to a set of simple but crucial transformations which extend the local context with proven first-order assertions that make Coq definitions and algebraic types explicit. They allow users of Coq to solve non-trivial goals automatically. This methodology paves the way towards the definition and combination of more complex transformations, making Coq more accessible.


title: Alethe: Towards a Generic SMT Proof Format (extended abstract)

abstract: The first iteration of the proof format used by the SMT solver veriT was presented ten years ago at the first PxTP workshop. Since then the format has matured. veriT proofs are used within multiple applications, and other solvers generate proofs in the same format. We would now like to gather feedback from the community to guide future developments. Towards this, we review the history of the format, present our pragmatic approach to develop the format, and also discuss problems that might arise when other solvers use the format.


title: Total Nitrogen Estimation in Agricultural Soils via Aerial Multispectral Imaging and LIBS

abstract: Measuring soil health indicators is an important and challenging task that affects farmers' decisions on timing, placement, and quantity of fertilizers applied in the farms. Most existing methods to measure soil health indicators (SHIs) are in-lab wet chemistry or spectroscopy-based methods, which require significant human input and effort, time-consuming, costly, and are low-throughput in nature. To address this challenge, we develop an artificial intelligence (AI)-driven near real-time unmanned aerial vehicle (UAV)-based multispectral sensing (UMS) solution to estimate total nitrogen (TN) of the soil, an important macro-nutrient or SHI that directly affects the crop health. Accurate prediction of soil TN can significantly increase crop yield through informed decision making on the timing of seed planting, and fertilizer quantity and timing. We train two machine learning models including multi-layer perceptron and support vector machine to predict the soil nitrogen using a suite of data classes including multispectral characteristics of the soil and crops in red, near-infrared, and green spectral bands, computed vegetation indices, and environmental variables including air temperature and relative humidity. To generate the ground-truth data or the training data for the machine learning models, we measure the total nitrogen of the soil samples (collected from a farm) using laser-induced breakdown spectroscopy (LIBS).


title: Nielsen-Borsuk-Ulam number for maps between tori

abstract: We compute the Nielsen-Borsuk-Ulam number for any selfmap of $n-$torus, $\mathbb{T}^n$, as well as any free involution $\tau$ in $\mathbb{T}^n$, with $n \leqslant 3$. Finally, we conclude that the tori, $\mathbb{T}^1$, $\mathbb{T}^2$ and $\mathbb{T}^3$, are Wecken spaces in Nielsen-Borsuk-Ulam theory. Such a number is a lower bound for the minimal number of pair of points such that $f(x)=f(\tau(x))$ in a given homotopy class of maps.


title: Separation Guided Speaker Diarization in Realistic Mismatched Conditions

abstract: We propose a separation guided speaker diarization (SGSD) approach by fully utilizing a complementarity of speech separation and speaker clustering. Since the conventional clustering-based speaker diarization (CSD) approach cannot well handle overlapping speech segments, we investigate, in this study, separation-based speaker diarization (SSD) which inherently has the potential to handle the speaker overlap regions. Our preliminary analysis shows that the state-of-the-art Conv-TasNet based speech separation, which works quite well on the simulation data, is unstable in realistic conversational speech due to the high mismatch speaking styles in simulated training speech and read speech. In doing so, separation-based processing can assist CSD in handling the overlapping speech segments under the realistic mismatched conditions. Specifically, several strategies are designed to select between the results of SSD and CSD systems based on an analysis of the instability of the SSD system performances. Experiments on the conversational telephone speech (CTS) data from DIHARD-III Challenge show that the proposed SGSD system can significantly improve the performance of state-of-the-art CSD systems, yielding relative diarization error rate reductions of 20.2% and 20.8% on the development set and evaluation set, respectively.


title: Impact of On-Chip Interconnect on In-Memory Acceleration of Deep Neural Networks

abstract: With the widespread use of Deep Neural Networks (DNNs), machine learning algorithms have evolved in two diverse directions -- one with ever-increasing connection density for better accuracy and the other with more compact sizing for energy efficiency. The increase in connection density increases on-chip data movement, which makes efficient on-chip communication a critical function of the DNN accelerator. The contribution of this work is threefold. First, we illustrate that the point-to-point (P2P)-based interconnect is incapable of handling a high volume of on-chip data movement for DNNs. Second, we evaluate P2P and network-on-chip (NoC) interconnect (with a regular topology such as a mesh) for SRAM- and ReRAM-based in-memory computing (IMC) architectures for a range of DNNs. This analysis shows the necessity for the optimal interconnect choice for an IMC DNN accelerator. Finally, we perform an experimental evaluation for different DNNs to empirically obtain the performance of the IMC architecture with both NoC-tree and NoC-mesh. We conclude that, at the tile level, NoC-tree is appropriate for compact DNNs employed at the edge, and NoC-mesh is necessary to accelerate DNNs with high connection density. Furthermore, we propose a technique to determine the optimal choice of interconnect for any given DNN. In this technique, we use analytical models of NoC to evaluate end-to-end communication latency of any given DNN. We demonstrate that the interconnect optimization in the IMC architecture results in up to 6$\times$ improvement in energy-delay-area product for VGG-19 inference compared to the state-of-the-art ReRAM-based IMC architectures.


title: Leveraging Clinical Context for User-Centered Explainability: A Diabetes Use Case

abstract: Academic advances of AI models in high-precision domains, like healthcare, need to be made explainable in order to enhance real-world adoption. Our past studies and ongoing interactions indicate that medical experts can use AI systems with greater trust if there are ways to connect the model inferences about patients to explanations that are tied back to the context of use. Specifically, risk prediction is a complex problem of diagnostic and interventional importance to clinicians wherein they consult different sources to make decisions. To enable the adoption of the ever improving AI risk prediction models in practice, we have begun to explore techniques to contextualize such models along three dimensions of interest: the patients' clinical state, AI predictions about their risk of complications, and algorithmic explanations supporting the predictions. We validate the importance of these dimensions by implementing a proof-of-concept (POC) in type-2 diabetes (T2DM) use case where we assess the risk of chronic kidney disease (CKD) - a common T2DM comorbidity. Within the POC, we include risk prediction models for CKD, post-hoc explainers of the predictions, and other natural-language modules which operationalize domain knowledge and CPGs to provide context. With primary care physicians (PCP) as our end-users, we present our initial results and clinician feedback in this paper. Our POC approach covers multiple knowledge sources and clinical scenarios, blends knowledge to explain data and predictions to PCPs, and received an enthusiastic response from our medical expert.


title: Orthogonal Root Numbers of Tempered Parameters

abstract: We show that an orthogonal root number of a tempered L-parameter decomposes as the product of two other numbers: the orthogonal root number of the principal parameter and the value on a certain involution of Langlands's central character for the parameter. The formula resolves a conjecture of Gross and Reeder and computes root numbers of Weil-Deligne representations arising in the work of Hiraga, Ichino, and Ikeda on the Plancherel measure.


title: Effects of Smart Traffic Signal Control on Air Quality

abstract: Adaptive traffic signal control (ATSC) in urban traffic networks poses a challenging task due to the complicated dynamics arising in traffic systems. In recent years, several approaches based on multi-agent deep reinforcement learning (MARL) have been studied experimentally. These approaches propose distributed techniques in which each signalized intersection is seen as an agent in a stochastic game whose purpose is to optimize the flow of vehicles in its vicinity. In this setting, the systems evolves towards an equilibrium among the agents that shows beneficial for the whole traffic network. A recently developed multi-agent variant of the well-established advantage actor-critic (A2C) algorithm, called MA2C (multi-agent A2C) exploits the promising idea of some communication among the agents. In this view,the agents share their strategies with other neighbor agents, thereby stabilizing the learning process even when the agents grow in number and variety. We experimented MA2C in two traffic networks located in Bologna (Italy) and found that its action translates into a significant decrease of the amount of pollutants released into the environment.


title: A Low-Cost Machine Learning Based Network Intrusion Detection System with Data Privacy Preservation

abstract: Network intrusion is a well-studied area of cyber security. Current machine learning-based network intrusion detection systems (NIDSs) monitor network data and the patterns within those data but at the cost of presenting significant issues in terms of privacy violations which may threaten end-user privacy. Therefore, to mitigate risk and preserve a balance between security and privacy, it is imperative to protect user privacy with respect to intrusion data. Moreover, cost is a driver of a machine learning-based NIDS because such systems are increasingly being deployed on resource-limited edge devices. To solve these issues, in this paper we propose a NIDS called PCC-LSM-NIDS that is composed of a Pearson Correlation Coefficient (PCC) based feature selection algorithm and a Least Square Method (LSM) based privacy-preserving algorithm to achieve low-cost intrusion detection while providing privacy preservation for sensitive data. The proposed PCC-LSM-NIDS is tested on the benchmark intrusion database UNSW-NB15, using five popular classifiers. The experimental results show that the proposed PCC-LSM-NIDS offers advantages in terms of less computational time, while offering an appropriate degree of privacy protection.


title: Asymptotics of Network Embeddings Learned via Subsampling

abstract: Network data are ubiquitous in modern machine learning, with tasks of interest including node classification, node clustering and link prediction. A frequent approach begins by learning an Euclidean embedding of the network, to which algorithms developed for vector-valued data are applied. For large networks, embeddings are learned using stochastic gradient methods where the sub-sampling scheme can be freely chosen. Despite the strong empirical performance of such methods, they are not well understood theoretically. Our work encapsulates representation methods using a subsampling approach, such as node2vec, into a single unifying framework. We prove, under the assumption that the graph is exchangeable, that the distribution of the learned embedding vectors asymptotically decouples. Moreover, we characterize the asymptotic distribution and provided rates of convergence, in terms of the latent parameters, which includes the choice of loss function and the embedding dimension. This provides a theoretical foundation to understand what the embedding vectors represent and how well these methods perform on downstream tasks. Notably, we observe that typically used loss functions may lead to shortcomings, such as a lack of Fisher consistency.


title: OwlEyes-Online: A Fully Automated Platform for Detecting and Localizing UI Display Issues

abstract: Graphical User Interface (GUI) provides visual bridges between software apps and end users. However, due to the compatibility of software or hardware, UI display issues such as text overlap, blurred screen, image missing always occur during GUI rendering on different devices. Because these UI display issues can be found directly by human eyes, in this paper, we implement an online UI display issue detection tool OwlEyes-Online, which provides a simple and easy-to-use platform for users to realize the automatic detection and localization of UI display issues. The OwlEyes-Online can automatically run the app and get its screenshots and XML files, and then detect the existence of issues by analyzing the screenshots. In addition, OwlEyes-Online can also find the detailed area of the issue in the given screenshots to further remind developers. Finally, OwlEyes-Online will automatically generate test reports with UI display issues detected in app screenshots and send them to users. The OwlEyes-Online was evaluated and proved to be able to accurately detect UI display issues. Tool Link: http://www.owleyes.online:7476 Github Link: https://github.com/franklinbill/owleyes Demo Video Link: https://youtu.be/002nHZBxtCY


title: Efficient Experimental Verification of Quantum Gates with Local Operations

abstract: Verifying the correct functioning of quantum gates is a crucial step towards reliable quantum information processing, but it becomes an overwhelming challenge as the system size grows due to the dimensionality curse. Recent theoretical breakthroughs show that it is possible to verify various important quantum gates with the optimal sample complexity of $O(1/\epsilon)$ using local operations only, where $\epsilon$ is the estimation precision. In this work, we propose a variant of quantum gate verification (QGV) which is robust to practical gate imperfections, and experimentally realize efficient QGV on a two-qubit controlled-not gate and a three-qubit Toffoli gate using only local state preparations and measurements. The experimental results show that, by using only 1600 and 2600 measurements on average, we can verify with 95% confidence level that the implemented controlled-not gate and Toffoli gate have fidelities at least 99% and 97%, respectively. Demonstrating the superior low sample complexity and experimental feasibility of QGV, our work promises a solution to the dimensionality curse in verifying large quantum devices in the quantum era.


title: Real-Time Motion Planning of a Hydraulic Excavator using Trajectory Optimization and Model Predictive Control

abstract: Automation of excavation tasks requires real-time trajectory planning satisfying various constraints. To guarantee both constraint feasibility and real-time trajectory re-plannability, we present an integrated framework for real-time optimization-based trajectory planning of a hydraulic excavator. The proposed framework is composed of two main modules: a global planner and a real-time local planner. The global planner computes the entire global trajectory considering excavation volume and energy minimization while the local counterpart tracks the global trajectory in a receding horizon manner, satisfying dynamic feasibility, physical constraints, and disturbance-awareness. We validate the proposed planning algorithm in a simulation environment where two types of operations are conducted in the presence of emulated disturbance from hydraulic friction and soil-bucket interaction: shallow and deep excavation. The optimized global trajectories are obtained in an order of a second, which is tracked by the local planner at faster than 30 Hz. To the best of our knowledge, this work presents the first real-time motion planning framework that satisfies constraints of a hydraulic excavator, such as force/torque, power, cylinder displacement, and flow rate limits.


title: Discrete-Valued Neural Communication

abstract: Deep learning has advanced from fully connected architectures to structured models organized into components, e.g., the transformer composed of positional elements, modular architectures divided into slots, and graph neural nets made up of nodes. In structured models, an interesting question is how to conduct dynamic and possibly sparse communication among the separate components. Here, we explore the hypothesis that restricting the transmitted information among components to discrete representations is a beneficial bottleneck. The motivating intuition is human language in which communication occurs through discrete symbols. Even though individuals have different understandings of what a "cat" is based on their specific experiences, the shared discrete token makes it possible for communication among individuals to be unimpeded by individual differences in internal representation. To discretize the values of concepts dynamically communicated among specialist components, we extend the quantization mechanism from the Vector-Quantized Variational Autoencoder to multi-headed discretization with shared codebooks and use it for discrete-valued neural communication (DVNC). Our experiments show that DVNC substantially improves systematic generalization in a variety of architectures -- transformers, modular architectures, and graph neural networks. We also show that the DVNC is robust to the choice of hyperparameters, making the method very useful in practice. Moreover, we establish a theoretical justification of our discretization process, proving that it has the ability to increase noise robustness and reduce the underlying dimensionality of the model.


title: UACANet: Uncertainty Augmented Context Attention for Polyp Segmentation

abstract: We propose Uncertainty Augmented Context Attention network (UACANet) for polyp segmentation which consider a uncertain area of the saliency map. We construct a modified version of U-Net shape network with additional encoder and decoder and compute a saliency map in each bottom-up stream prediction module and propagate to the next prediction module. In each prediction module, previously predicted saliency map is utilized to compute foreground, background and uncertain area map and we aggregate the feature map with three area maps for each representation. Then we compute the relation between each representation and each pixel in the feature map. We conduct experiments on five popular polyp segmentation benchmarks, Kvasir, CVC-ClinicDB, ETIS, CVC-ColonDB and CVC-300, and achieve state-of-the-art performance. Especially, we achieve 76.6% mean Dice on ETIS dataset which is 13.8% improvement compared to the previous state-of-the-art method. Source code is publicly available at https://github.com/plemeri/UACANet


title: Medipix3 for dosimetry and real-time beam monitoring: first tests at a 60 MeV proton therapy facility

abstract: Charged particle therapy (CPT) is an advanced modality of radiation therapy which has grown rapidly worldwide, driven by recent developments in technology and methods of delivery. To ensure safe and high quality treatments, various instruments are used for a range of different measurements such as for quality assurance, monitoring and dosimetry purposes. With the emergence of new and enhanced delivery techniques, systems with improved capabilities are needed to exceed existing performance limitations of conventional tools. The Medipix3 is a hybrid pixel detector able to count individual protons with millisecond time resolution at clinical flux with near instant readout and count rate linearity. The system has previously demonstrated use in medical and other applications, showing wide versatility and potential for particle therapy. In this work we present measurements of the Medipix3 detector in the 60 MeV ocular proton therapy beamline at the Clatterbridge Cancer Centre, UK. The beam current and lateral beam profiles were evaluated at multiple positions in the treatment line and compared with EBT3 Gafchromic film. The recorded count rate linearity and temporal analysis of the beam structure was measured with Medipix3 across the full range of available beam intensities, up to $3.12 \times 10^{10}$ protons/s. We explore the capacity of Medipix3 to provide non-reference measurements and its applicability as a tool for dosimetry and beam monitoring for CPT. This is the first known time the performance of the Medipix3 detector technology has been tested within a clinical, high proton flux environment.


title: Complete subgraphs in a multipartite graph

abstract: In 1975 Bollob\'as, Erd\H os, and Szemer\'edi asked the following question: given positive integers $n, t, r$ with $2\le t\le r-1$, what is the largest minimum degree $\delta(G)$ among all $r$-partite graphs $G$ with parts of size $n$ and which do not contain a copy of $K_{t+1}$? The $r=t+1$ case has attracted a lot of attention and was fully resolved by Haxell and Szab\'{o}, and Szab\'{o} and Tardos in 2006. In this paper we investigate the $r>t+1$ case of the problem, which has remained dormant for over forty years. We resolve the problem exactly in the case when $r \equiv -1 \pmod{t}$, and up to an additive constant for many other cases, including when $r \geq (3t-1)(t-1)$. Our approach utilizes a connection to the related problem of determining the maximum of the minimum degrees among the family of balanced $r$-partite $rn$-vertex graphs of chromatic number at most $t$.


title: Weighted Gaussian Process Bandits for Non-stationary Environments

abstract: In this paper, we consider the Gaussian process (GP) bandit optimization problem in a non-stationary environment. To capture external changes, the black-box function is allowed to be time-varying within a reproducing kernel Hilbert space (RKHS). To this end, we develop WGP-UCB, a novel UCB-type algorithm based on weighted Gaussian process regression. A key challenge is how to cope with infinite-dimensional feature maps. To that end, we leverage kernel approximation techniques to prove a sublinear regret bound, which is the first (frequentist) sublinear regret guarantee on weighted time-varying bandits with general nonlinear rewards. This result generalizes both non-stationary linear bandits and standard GP-UCB algorithms. Further, a novel concentration inequality is achieved for weighted Gaussian process regression with general weights. We also provide universal upper bounds and weight-dependent upper bounds for weighted maximum information gains. These results are of independent interest for applications such as news ranking and adaptive pricing, where weights can be adopted to capture the importance or quality of data. Finally, we conduct experiments to highlight the favorable gains of the proposed algorithm in many cases when compared to existing methods.


title: On Frobenius exact symmetric tensor categories

abstract: A fundamental theorem of P. Deligne (2002) states that a pre-Tannakian category over an algebraically closed field of characteristic zero admits a fiber functor to the category of supervector spaces (i.e., is the representation category of an affine proalgebraic supergroup) if and only if it has moderate growth (i.e., the lengths of tensor powers of an object grow at most exponentially). In this paper we prove a characteristic p version of this theorem. Namely we show that a pre-Tannakian category over an algebraically closed field of characteristic p>0 admits a fiber functor into the Verlinde category Ver_p (i.e., is the representation category of an affine group scheme in Ver_p) if and only if it has moderate growth and is Frobenius exact. This implies that Frobenius exact pre-Tannakian categories of moderate growth admit a well-behaved notion of Frobenius-Perron dimension. It follows that any semisimple pre-Tannakian category of moderate growth has a fiber functor to Ver_p (so in particular Deligne's theorem holds on the nose for semisimple pre-Tannakian categories in characteristics 2,3). This settles a conjecture of the third author from 2015. In particular, this result applies to semisimplifications of categories of modular representations of finite groups (or, more generally, affine group schemes), which gives new applications to classical modular representation theory. For example, it allows us to characterize, for a modular representation V, the possible growth rates of the number of indecomposable summands in V^{\otimes n} of dimension prime to p.


title: Measurement of the branching fraction for $B^{0} \rightarrow \pi^{0} \pi^{0}$ decays reconstructed in 2019-2020 Belle II data

abstract: We report the first reconstruction of the $B^{0} \to \pi^{0} \pi^{0}$ decay mode at Belle II using samples of 2019 and 2020 data that correspond to 62.8 fb$^{-1}$ of integrated luminosity. We find $14.0^{+6.8}_{-5.6}$ signal decays, corresponding to a significance of 3.4 standard deviations and determine a branching ratio of $\mathcal{B}(B^{0} \rightarrow \pi^{0} \pi^{0}) = [0.98^{+0.48}_{-0.39} \pm 0.27] \times 10^{-6}$. The results agree with previous determinations and contribute important information to an early assessment of detector performance and Belle II's potential for future determinations of $\alpha/\phi_2$ using $B \rightarrow \pi \pi$ modes.


title: Homological kernels of monoidal functors

abstract: We show that each rigid monoidal category A over a field defines a family of universal tensor categories, which together classify all faithful monoidal functors from A to tensor categories. Each of the universal tensor categories classifies monoidal functors of a given 'homological kernel' and can be realised as a sheaf category, not necessarily on A. This yields a theory of 'local abelian envelope' which completes the notion of monoidal abelian envelopes.


title: SplitAVG: A heterogeneity-aware federated deep learning method for medical imaging

abstract: Federated learning is an emerging research paradigm for enabling collaboratively training deep learning models without sharing patient data. However, the data from different institutions are usually heterogeneous across institutions, which may reduce the performance of models trained using federated learning. In this study, we propose a novel heterogeneity-aware federated learning method, SplitAVG, to overcome the performance drops from data heterogeneity in federated learning. Unlike previous federated methods that require complex heuristic training or hyper parameter tuning, our SplitAVG leverages the simple network split and feature map concatenation strategies to encourage the federated model training an unbiased estimator of the target data distribution. We compare SplitAVG with seven state-of-the-art federated learning methods, using centrally hosted training data as the baseline on a suite of both synthetic and real-world federated datasets. We find that the performance of models trained using all the comparison federated learning methods degraded significantly with the increasing degrees of data heterogeneity. In contrast, SplitAVG method achieves comparable results to the baseline method under all heterogeneous settings, that it achieves 96.2% of the accuracy and 110.4% of the mean absolute error obtained by the baseline in a diabetic retinopathy binary classification dataset and a bone age prediction dataset, respectively, on highly heterogeneous data partitions. We conclude that SplitAVG method can effectively overcome the performance drops from variability in data distributions across institutions. Experimental results also show that SplitAVG can be adapted to different base networks and generalized to various types of medical imaging tasks.


title: Coherent ground-state transport of neutral atoms

abstract: Quantum state transport is an important way to study the energy or information flow. By combining the unconventional Rydberg pumping mechanism and the diagonal form of van der Waals interactions, we construct a theoretical model via second-order perturbation theory to realize a long-range coherent transport inside the ground-state manifold of neutral atoms system. With the adjustment of the Rabi frequencies and the interatomic distance, this model can be used to simulate various single-body physics phenomena such as Heisenberg $XX$ spin chain restricted in the single-excitation manifold, coherently perfect quantum state transfer, parameter adjustable Su-Schrieffer-Heeger model, and chiral motion of atomic excitation in the triangle by varying the geometrical arrangement of the three atoms, which effectively avoid the influence of atomic spontaneous emission at the same time. Moreover, the influence of atomic position fluctuation on the fidelity of quantum state transmission is discussed in detail, and the corresponding numerical results show that our work provides a robust and easy-implemented scheme for quantum state transport with neutral atoms.


title: A Short Note on the Relationship of Information Gain and Eluder Dimension

abstract: Eluder dimension and information gain are two widely used methods of complexity measures in bandit and reinforcement learning. Eluder dimension was originally proposed as a general complexity measure of function classes, but the common examples of where it is known to be small are function spaces (vector spaces). In these cases, the primary tool to upper bound the eluder dimension is the elliptic potential lemma. Interestingly, the elliptic potential lemma also features prominently in the analysis of linear bandits/reinforcement learning and their nonparametric generalization, the information gain. We show that this is not a coincidence -- eluder dimension and information gain are equivalent in a precise sense for reproducing kernel Hilbert spaces.


title: Learning an Explicit Hyperparameter Prediction Function Conditioned on Tasks

abstract: Meta learning has attracted much attention recently in machine learning community. Contrary to conventional machine learning aiming to learn inherent prediction rules to predict labels for new query data, meta learning aims to learn the learning methodology for machine learning from observed tasks, so as to generalize to new query tasks by leveraging the meta-learned learning methodology. In this study, we interpret such learning methodology as learning an explicit hyper-parameter prediction function shared by all training tasks. Specifically, this function is represented as a parameterized function called meta-learner, mapping from a training/test task to its suitable hyper-parameter setting, extracted from a pre-specified function set called meta learning machine. Such setting guarantees that the meta-learned learning methodology is able to flexibly fit diverse query tasks, instead of only obtaining fixed hyper-parameters by many current meta learning methods, with less adaptability to query task's variations. Such understanding of meta learning also makes it easily succeed from traditional learning theory for analyzing its generalization bounds with general losses/tasks/models. The theory naturally leads to some feasible controlling strategies for ameliorating the quality of the extracted meta-learner, verified to be able to finely ameliorate its generalization capability in some typical meta learning applications, including few-shot regression, few-shot classification and domain generalization.


title: Chordal and factor-width decompositions for scalable semidefinite and polynomial optimization

abstract: Chordal and factor-width decomposition methods for semidefinite programming and polynomial optimization have recently enabled the analysis and control of large-scale linear systems and medium-scale nonlinear systems. Chordal decomposition exploits the sparsity of semidefinite matrices in a semidefinite program (SDP), in order to formulate an equivalent SDP with smaller semidefinite constraints that can be solved more efficiently. Factor-width decompositions, instead, relax or strengthen SDPs with dense semidefinite matrices into more tractable problems, trading feasibility or optimality for lower computational complexity. This article reviews recent advances in large-scale semidefinite and polynomial optimization enabled by these two types of decomposition, highlighting connections and differences between them. We also demonstrate that chordal and factor-width decompositions allow for significant computational savings on a range of classical problems from control theory, and on more recent problems from machine learning. Finally, we outline possible directions for future research that have the potential to facilitate the efficient optimization-based study of increasingly complex large-scale dynamical systems.


title: Learning Disentangled Representation Implicitly via Transformer for Occluded Person Re-Identification

abstract: Person re-identification (re-ID) under various occlusions has been a long-standing challenge as person images with different types of occlusions often suffer from misalignment in image matching and ranking. Most existing methods tackle this challenge by aligning spatial features of body parts according to external semantic cues or feature similarities but this alignment approach is complicated and sensitive to noises. We design DRL-Net, a disentangled representation learning network that handles occluded re-ID without requiring strict person image alignment or any additional supervision. Leveraging transformer architectures, DRL-Net achieves alignment-free re-ID via global reasoning of local features of occluded person images. It measures image similarity by automatically disentangling the representation of undefined semantic components, e.g., human body parts or obstacles, under the guidance of semantic preference object queries in the transformer. In addition, we design a decorrelation constraint in the transformer decoder and impose it over object queries for better focus on different semantic components. To better eliminate interference from occlusions, we design a contrast feature learning technique (CFL) for better separation of occlusion features and discriminative ID features. Extensive experiments over occluded and holistic re-ID benchmarks (Occluded-DukeMTMC, Market1501 and DukeMTMC) show that the DRL-Net achieves superior re-ID performance consistently and outperforms the state-of-the-art by large margins for Occluded-DukeMTMC.


title: An Inverse QSAR Method Based on Linear Regression and Integer Programming

abstract: Recently a novel framework has been proposed for designing the molecular structure of chemical compounds using both artificial neural networks (ANNs) and mixed integer linear programming (MILP). In the framework, we first define a feature vector $f(C)$ of a chemical graph $C$ and construct an ANN that maps $x=f(C)$ to a predicted value $\eta(x)$ of a chemical property $\pi$ to $C$. After this, we formulate an MILP that simulates the computation process of $f(C)$ from $C$ and that of $\eta(x)$ from $x$. Given a target value $y^*$ of the chemical property $\pi$, we infer a chemical graph $C^\dagger$ such that $\eta(f(C^\dagger))=y^*$ by solving the MILP. In this paper, we use linear regression to construct a prediction function $\eta$ instead of ANNs. For this, we derive an MILP formulation that simulates the computation process of a prediction function by linear regression. The results of computational experiments suggest our method can infer chemical graphs with around up to 50 non-hydrogen atoms.


title: The collision frequency of electron-neutral-particle in the weakly ionized plasmas with Non-Maxwellian velocity distributions

abstract: The collision frequencies of electron-neutral-particle in the weakly ionized complex plasmas with the non-Maxwellian velocity distributions are studied. The average collision frequencies of electron-neutral-particle in the plasmas are derived accurately. We find that these collision frequencies are significantly dependent on the power-law spectral indices of non-Maxwellian distribution functions and so they are generally different from the collision frequencies in the plasmas with a Maxwellian velocity distribution, which will affect the transport properties of the charged particles in the plasmas. Numerically analyses are made to show the roles of the spectral indices in the average collision frequencies respectively.


title: Influence of coin symmetry on infinite hitting times in quantum walks

abstract: Classical random walks on finite graphs have an underrated property: a walk from any vertex can reach every other vertex in finite time, provided they are connected. Discrete-time quantum walks on finite connected graphs however, can have infinite hitting times. This phenomenon is related to graph symmetry, as previously characterized by the group of direction-preserving graph automorphisms that trivially affect the coin Hilbert space. If a graph is symmetric enough (in a particular sense) then the associated quantum walk unitary will contain eigenvectors that do not overlap a set of target vertices, for any coin flip operator. These eigenvectors span the Infinite Hitting Time (IHT) subspace. Quantum states in the IHT subspace never reach the target vertices, leading to infinite hitting times. However, this is not the whole story: the graph of the 3D cube does not satisfy this symmetry constraint, yet quantum walks on this graph with certain symmetric coins can exhibit infinite hitting times. We study the effect of coin symmetry by analyzing the group of coin-permutation symmetries (CPS): graph automorphisms that act nontrivially on the coin Hilbert space but leave the coin operator invariant. Unitaries using highly symmetric coins with large CPS groups, such as the permutation-invariant Grover coin, are associated with higher probabilities of never arriving, as a result of their larger IHT subspaces.