title: Are You Smarter Than a Random Expert? The Robust Aggregation of Substitutable Signals

abstract: The problem of aggregating expert forecasts is ubiquitous in fields as wide-ranging as machine learning, economics, climate science, and national security. Despite this, our theoretical understanding of this question is fairly shallow. This paper initiates the study of forecast aggregation in a context where experts' knowledge is chosen adversarially from a broad class of information structures. While in full generality it is impossible to achieve a nontrivial performance guarantee, we show that doing so is possible under a condition on the experts' information structure that we call \emph{projective substitutes}. The projective substitutes condition is a notion of informational substitutes: that there are diminishing marginal returns to learning the experts' signals. We show that under the projective substitutes condition, taking the average of the experts' forecasts improves substantially upon the strategy of trusting a random expert. We then consider a more permissive setting, in which the aggregator has access to the prior. We show that by averaging the experts' forecasts and then \emph{extremizing} the average by moving it away from the prior by a constant factor, the aggregator's performance guarantee is substantially better than is possible without knowledge of the prior. Our results give a theoretical grounding to past empirical research on extremization and help give guidance on the appropriate amount to extremize.


title: Automatic Diversity in the Software Supply Chain

abstract: Despite its obvious benefits, the increased adoption of package managers to automate the reuse of libraries has opened the door to a new class of hazards: supply chain attacks. By injecting malicious code in one library, an attacker may compromise all instances of all applications that depend on the library. To mitigate the impact of supply chain attacks, we propose the concept of Library Substitution Framework. This novel concept leverages one key observation: when an application depends on a library, it is very likely that there exists other libraries that provide similar features. The key objective of Library Substitution Framework is to enable the developers of an application to harness this diversity of libraries in their supply chain. The framework lets them generate a population of application variants, each depending on a different alternative library that provides similar functionalities. To investigate the relevance of this concept, we develop ARGO, a proof-of-concept implementation of this framework that harnesses the diversity of JSON suppliers. We study the feasibility of library substitution and its impact on a set of 368 clients. Our empirical results show that for 195 of the 368 java applications tested, we can substitute the original JSON library used by the client by at least 15 other JSON libraries without modifying the client's code. These results show the capacity of a Library Substitution Framework to diversify the supply chain of the client applications of the libraries it targets.


title: Stochastic Logarithmic Lipschitz Constants: A Tool to Analyze Contractivity of Stochastic Differential Equations

abstract: We introduce the notion of stochastic logarithmic Lipschitz constants and use these constants to characterize stochastic contractivity of It\^o stochastic differential equations (SDEs) with multiplicative noise. We find an upper bound for stochastic logarithmic Lipschitz constants based on known logarithmic norms (matrix measures) of the Jacobian of the drift and diffusion terms of the SDEs. We discuss noise-induced contractivity in SDEs and common noise-induced synchronization in network of SDEs and illustrate the theoretical results on a noisy Van der Pol oscillator. We show that a deterministic Van der Pol oscillator is not contractive. But, adding a multiplicative noise makes the underlying SDE stochastically contractive.


title: Cosmological implications of the full shape of anisotropic clustering measurements in BOSS and eBOSS

abstract: We present the analysis of the full shape of anisotropic clustering measurement from the extended Baryon Oscillation Spectroscopic Survey (eBOSS) quasar sample together with the combined galaxy sample from the Baryon Oscillation Spectroscopic Survey (BOSS), re-analysed using an updated recipe for the non-linear matter power spectrum and the non-local bias parameters. We obtain constraints for flat $\Lambda$CDM cosmologies, focusing on the cosmological parameters that are independent of the Hubble parameter $h$. Our recovered value for the RMS linear perturbation theory variance as measured on the scale of $12\,{\rm Mpc}$ is $\sigma_{12}=0.805\pm 0.049$, while using the traditional reference scale of $8\,h^{-1}{\rm Mpc}$ gives $\sigma_{8}=0.815\pm 0.044$. We quantify the agreement between our measurements and the latest CMB data from Planck using the suspiciousness metric, and find them to be consistent within $0.64 \pm 0.03\sigma$. Combining our clustering constraints with the $3\times2$pt data sample from the Dark Energy Survey (DES) Year 1 release slightly degrades this agreement to the level of $1.54 \pm 0.08\sigma$, while still showing an overall consistency with Planck. We furthermore study the effect of imposing a Planck - like prior on the parameters that define the shape of the linear matter power spectrum, and find significantly tighter constraints on the parameters that control the evolution of density fluctuations. In particular, the combination of low-redshift data sets prefers a value of the physical dark energy density $\omega_{\rm DE}=0.335 \pm 0.011$, which is 1.7$\sigma$ higher than the one preferred by Planck.


title: A SEIR model with time-varying coefficients for analysing the SARS-CoV-2 epidemic

abstract: In this study, we propose a time-dependent Susceptible-Exposed-Infected-Recovered (SEIR) model for the analysis of the SARS-CoV-2 epidemic outbreak in three different countries, the United States of America, Italy and Iceland using public data inherent the numbers of the epidemic wave. Since several types and grades of actions were adopted by the governments, including travel restrictions, social distancing, or limitation of movement, we want to investigate how these measures can affect the epidemic curve of the infectious population. The parameters of interest for the SEIR model were estimated employing a composite likelihood approach. Moreover, standard errors have been corrected for temporal dependence. The adoption of restrictive measures results in flatten epidemic curves, and the future evolution indicated a decrease in the number of cases.


title: Pricing Query Complexity of Revenue Maximization

abstract: The common way to optimize auction and pricing systems is to set aside a small fraction of the traffic to run experiments. This leads to the question: how can we learn the most with the smallest amount of data? For truthful auctions, this is the \emph{sample complexity} problem. For posted price auctions, we no longer have access to samples. Instead, the algorithm is allowed to choose a price $p_t$; then for a fresh sample $v_t \sim \mathcal{D}$ we learn the sign $s_t = sign(p_t - v_t) \in \{-1,+1\}$. How many pricing queries are needed to estimate a given parameter of the underlying distribution? We give tight upper and lower bounds on the number of pricing queries required to find an approximately optimal reserve price for general, regular and MHR distributions. Interestingly, for regular distributions, the pricing query and sample complexities match. But for general and MHR distributions, we show a strict separation between them. All known results on sample complexity for revenue optimization follow from a variant of using the optimal reserve price of the empirical distribution. In the pricing query complexity setting, we show that learning the entire distribution within an error of $\epsilon$ in Levy distance requires strictly more pricing queries than to estimate the reserve. Instead, our algorithm uses a new property we identify called \emph{relative flatness} to quickly zoom into the right region of the distribution to get the optimal pricing query complexity.


title: Weak ascent sequences and related combinatorial structures

abstract: In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.


title: Predictive Machine Learning of Objective Boundaries for Solving COPs

abstract: Solving Constraint Optimization Problems (COPs) can be dramatically simplified by boundary estimation, that is, providing tight boundaries of cost functions. By feeding a supervised Machine Learning (ML) model with data composed of known boundaries and extracted features of COPs, it is possible to train the model to estimate boundaries of a new COP instance. In this paper, we first give an overview of the existing body of knowledge on ML for Constraint Programming (CP) which learns from problem instances. Second, we introduce a boundary estimation framework that is applied as a tool to support a CP solver. Within this framework, different ML models are discussed and evaluated regarding their suitability for boundary estimation, and countermeasures to avoid unfeasible estimations that avoid the solver to find an optimal solution are shown. Third, we present an experimental study with distinct CP solvers on seven COPs. Our results show that near-optimal boundaries can be learned for these COPs with only little overhead. These estimated boundaries reduce the objective domain size by 60-88% and can help the solver to find near-optimal solutions early during search.


title: Status of the DEAP-3600 experiment

abstract: DEAP-3600 is a single-phase liquid argon (LAr) dark matter detector, located 2 km underground at SNOLAB in Sudbury, Canada, which started taking data in 2016. The detector is sensitive to nuclear recoils induced by scattering of dark matter particles, which would cause emission of prompt scintillation light. DEAP-3600 demonstrated excellent performance, holds the leading WIMP exclusion among LAr detectors, and published several physics results. The WIMP sensitivity of the detector is currently limited by backgrounds induced by alpha activity at the LAr inlet, in a shadowed region of detector. The ongoing hardware upgrade aims at fixing that limitation and, in consequence, at reaching the full WIMP sensitivity. This paper summarizes the latest results from DEAP-3600 and details of the upgrade.


title: GraN-GAN: Piecewise Gradient Normalization for Generative Adversarial Networks

abstract: Modern generative adversarial networks (GANs) predominantly use piecewise linear activation functions in discriminators (or critics), including ReLU and LeakyReLU. Such models learn piecewise linear mappings, where each piece handles a subset of the input space, and the gradients per subset are piecewise constant. Under such a class of discriminator (or critic) functions, we present Gradient Normalization (GraN), a novel input-dependent normalization method, which guarantees a piecewise K-Lipschitz constraint in the input space. In contrast to spectral normalization, GraN does not constrain processing at the individual network layers, and, unlike gradient penalties, strictly enforces a piecewise Lipschitz constraint almost everywhere. Empirically, we demonstrate improved image generation performance across multiple datasets (incl. CIFAR-10/100, STL-10, LSUN bedrooms, and CelebA), GAN loss functions, and metrics. Further, we analyze altering the often untuned Lipschitz constant K in several standard GANs, not only attaining significant performance gains, but also finding connections between K and training dynamics, particularly in low-gradient loss plateaus, with the common Adam optimizer.


title: Continuous Encryption Functions for Security Over Networks

abstract: This paper presents a study of continuous encryption functions (CEFs) of secret feature vectors for security over networks such as physical layer encryption for wireless communications and biometric template security for online Internet applications. CEFs are defined to include all prior continuous "one-way" functions. It is shown that dynamic random projection and index-of-max (IoM) hashing algorithm 1 are not hard to attack, IoM algorithm 2 is not as hard to attack as it was thought to be, and higher-order polynomials are easy to attack via substitution. Also presented is a new family of CEFs based on selected components of singular value decomposition (SVD) of a randomly modulated matrix of feature vector. Detailed empirical evidence suggests that SVD-CEF is hard to attack. Statistical analysis of SVD-CEF reveals its useful properties including its sensitivity to noise. The bit-error-rate performance of a quantized SVD-CEF is shown to exceed that of IoM algorithm 2.


title: Notes on massless scalar field partition functions, modular invariance and Eisenstein series

abstract: The partition function of a massless scalar field on a Euclidean spacetime manifold $\mathbb{R}^{d-1}\times\mathbb{T}^2$ and with momentum operator in the compact spatial dimension coupled through a purely imaginary chemical potential is computed. It is modular covariant and admits a simple expression in terms of a real analytic SL$(2,\mathbb{Z})$ Eisenstein series with $s=(d+1)/2$. Different techniques for computing the partition function illustrate complementary aspects of the Eisenstein series: the functional approach gives its series representation, the operator approach yields its Fourier series, while the proper time/heat kernel/world-line approach shows that it is the Mellin transform of a Riemann theta function. High/low temperature duality is generalized to the case of a non-vanishing chemical potential. By clarifying the dependence of the partition function on the geometry of the torus, we discuss how modular covariance is a consequence of full SL$(2,\mathbb{Z})$ invariance. When the spacetime manifold is $\mathbb{R}^p\times\mathbb{T}^{q+1}$, the partition function is given in terms of a SL$(q+1,\mathbb{Z})$ Eisenstein series again with $s=(d+1)/2$. In this case, we obtain the high/low temperature duality through a suitably adapted dual parametrization of the lattice defining the torus. On $\mathbb{T}^{d+1}$, the computation is more subtle. An additional divergence leads to an harmonic anomaly.


title: Infinite Time Horizon Safety of Bayesian Neural Networks

abstract: Bayesian neural networks (BNNs) place distributions over the weights of a neural network to model uncertainty in the data and the network's prediction. We consider the problem of verifying safety when running a Bayesian neural network policy in a feedback loop with infinite time horizon systems. Compared to the existing sampling-based approaches, which are inapplicable to the infinite time horizon setting, we train a separate deterministic neural network that serves as an infinite time horizon safety certificate. In particular, we show that the certificate network guarantees the safety of the system over a subset of the BNN weight posterior's support. Our method first computes a safe weight set and then alters the BNN's weight posterior to reject samples outside this set. Moreover, we show how to extend our approach to a safe-exploration reinforcement learning setting, in order to avoid unsafe trajectories during the training of the policy. We evaluate our approach on a series of reinforcement learning benchmarks, including non-Lyapunovian safety specifications.


title: The accidental flatness constraint does not mean a wrong classical limit

abstract: We shed some light on the reason why the accidental flatness constraint appears in certain limits of the amplitudes of covariant loop quantum gravity. We show why this constraint is harmless, by displaying how analogous accidental constraints appear in transition amplitudes of simple systems, when certain limits are considered.


title: Approximate Solutions of Combinatorial Problems via Quantum Relaxations

abstract: Combinatorial problems are formulated to find optimal designs within a fixed set of constraints. They are commonly found across diverse engineering and scientific domains. Understanding how to best use quantum computers for combinatorial optimization is to date an open problem. Here we propose new methods for producing approximate solutions for the maximum cut problem and its weighted version, which are based on relaxations to local quantum Hamiltonians. These relaxations are defined through commutative maps, which in turn are constructed borrowing ideas from quantum random access codes. We establish relations between the spectra of the relaxed Hamiltonians and optimal cuts of the original problems, via two quantum rounding protocols. The first one is based on projections to random magic states. It produces average cuts that approximate the optimal one by a factor of least 0.555 or 0.625, depending on the relaxation chosen, if given access to a quantum state with energy between the optimal classical cut and the maximal relaxed energy. The second rounding protocol is deterministic and it is based on estimation of Pauli observables. The proposed quantum relaxations inherit memory compression from quantum random access codes, which allowed us to test the performances of the methods presented for 3-regular random graphs and a design problem motivated by industry for sizes up to 40 nodes, on superconducting quantum processors.


title: ExClus: Explainable Clustering on Low-dimensional Data Representations

abstract: Dimensionality reduction and clustering techniques are frequently used to analyze complex data sets, but their results are often not easy to interpret. We consider how to support users in interpreting apparent cluster structure on scatter plots where the axes are not directly interpretable, such as when the data is projected onto a two-dimensional space using a dimensionality-reduction method. Specifically, we propose a new method to compute an interpretable clustering automatically, where the explanation is in the original high-dimensional space and the clustering is coherent in the low-dimensional projection. It provides a tunable balance between the complexity and the amount of information provided, through the use of information theory. We study the computational complexity of this problem and introduce restrictions on the search space of solutions to arrive at an efficient, tunable, greedy optimization algorithm. This algorithm is furthermore implemented in an interactive tool called ExClus. Experiments on several data sets highlight that ExClus can provide informative and easy-to-understand patterns, and they expose where the algorithm is efficient and where there is room for improvement considering tunability and scalability.


title: Hard Negative Sampling via Regularized Optimal Transport for Contrastive Representation Learning

abstract: We study the problem of designing hard negative sampling distributions for unsupervised contrastive representation learning. We propose and analyze a novel min-max framework that seeks a representation which minimizes the maximum (worst-case) generalized contrastive learning loss over all couplings (joint distributions between positive and negative samples subject to marginal constraints) and prove that the resulting min-max optimum representation will be degenerate. This provides the first theoretical justification for incorporating additional regularization constraints on the couplings. We re-interpret the min-max problem through the lens of Optimal Transport (OT) theory and utilize regularized transport couplings to control the degree of hardness of negative examples. Through experiments we demonstrate that the negative samples generated from our designed negative distribution are more similar to the anchor than those generated from the baseline negative distribution. We also demonstrate that entropic regularization yields negative sampling distributions with parametric form similar to that in a recent state-of-the-art negative sampling design and has similar performance in multiple datasets. Utilizing the uncovered connection with OT, we propose a new ground cost for designing the negative distribution and show improved performance of the learned representation on downstream tasks compared to the representation learned when using squared Euclidean cost.


title: 3D Image Super-Resolution by fluorophore fluctuations and MA-TIRF Microscopy reconstruction (3D-COL0RME)

abstract: We propose a 3D super-resolution approach to improve both lateral and axial spatial resolution in Total Internal Reflectance Fluorescence (TIRF) imaging applications. Our approach, called 3D-COL0RME (3D - Covariance-based $\ell_0$ super-Resolution Microscopy with intensity Estimation) improves both lateral and axial resolution by combining sparsity-based modelling for precise molecule localisation and intensity estimation in the lateral plane with a 3D reconstruction procedure in the axial one using Multi-Angle TIRF (MA-TIRF). Differently from state-of-the-art approaches, 3D-COL0RME does not require the use of special equipment as it can be used with standard fluorophores. We validate 3D-COL0RME on simulated MA-TIRF blinking-type data and on challenging real MA-TIRF acquisitions, showing significant resolution improvements.


title: A New Framework for Matrix Discrepancy: Partial Coloring Bounds via Mirror Descent

abstract: Motivated by the Matrix Spencer conjecture, we study the problem of finding signed sums of matrices with a small matrix norm. A well-known strategy to obtain these signs is to prove, given matrices $A_1, \dots, A_n \in \mathbb{R}^{m \times m}$, a Gaussian measure lower bound of $2^{-O(n)}$ for a scaling of the discrepancy body $\{x \in \mathbb{R}^n: \| \sum_{i=1}^n x_i A_i\| \leq 1\}$. We show this is equivalent to covering its polar with $2^{O(n)}$ translates of the cube $\frac{1}{n} B^n_\infty$, and construct such a cover via mirror descent. As applications of our framework, we show: $\bullet$ Matrix Spencer for Low-Rank Matrices. If the matrices satisfy $\|A_i\|_{\mathrm{op}} \leq 1$ and $\mathrm{rank}(A_i) \leq r$, we can efficiently find a coloring $x \in \{\pm 1\}^n$ with discrepancy $\|\sum_{i=1}^n x_i A_i \|_{\mathrm{op}} \lesssim \sqrt{n \log (\min(rm/n, r))}$. This improves upon the naive $O(\sqrt{n \log r})$ bound for random coloring and proves the matrix Spencer conjecture when $r m \leq n$. $\bullet$ Matrix Spencer for Block Diagonal Matrices. For block diagonal matrices with $\|A_i\|_{\mathrm{op}} \leq 1$ and block size $h$, we can efficiently find a coloring $x \in \{\pm 1\}^n$ with $\|\sum_{i=1}^n x_i A_i \|_{\mathrm{op}} \lesssim \sqrt{n \log (hm/n)}$. Using our proof, we reduce the matrix Spencer conjecture to the existence of a $O(\log(m/n))$ quantum relative entropy net on the spectraplex. $\bullet$ Matrix Discrepancy for Schatten Norms. We generalize our discrepancy bound for matrix Spencer to Schatten norms $2 \le p \leq q$. Given $\|A_i\|_{S_p} \leq 1$ and $\mathrm{rank}(A_i) \leq r$, we can efficiently find a partial coloring $x \in [-1,1]^n$ with $|\{i : |x_i| = 1\}| \ge n/2$ and $\|\sum_{i=1}^n x_i A_i\|_{S_q} \lesssim \sqrt{n \min(p, \log(rk))} \cdot k^{1/p-1/q}$, where $k := \min(1,m/n)$.


title: Deformations of half-sided modular inclusions and non-local chiral field theories

abstract: We construct explicit examples of half-sided modular inclusions ${\mathcal N}\subset{\mathcal M}$ of von Neumann algebras with trivial relative commutants. After stating a general criterion for triviality of the relative commutant in terms of an algebra localized at infinity, we consider a second quantization inclusion ${\mathcal N}\subset{\mathcal M}$ with large relative commutant and construct a one-parameter family ${\mathcal N}_\kappa\subset{\mathcal M}_\kappa$, $\kappa\geq0$, of half-sided inclusions such that ${\mathcal N}_0={\mathcal N}$, ${\mathcal M}_0={\mathcal M}$ and ${\mathcal N}_\kappa'\cap{\mathcal M}_\kappa={\mathbb C}1$ for $\kappa>0$. The technique we use is an explicit deformation procedure (warped convolution), and we explain the relation of this result to the construction of chiral conformal quantum field theories on the real line and on the circle.


title: Optimal pooling and distributed inference for the tail index and extreme quantiles

abstract: This paper investigates pooling strategies for tail index and extreme quantile estimation from heavy-tailed data. To fully exploit the information contained in several samples, we present general weighted pooled Hill estimators of the tail index and weighted pooled Weissman estimators of extreme quantiles calculated through a nonstandard geometric averaging scheme. We develop their large-sample asymptotic theory across a fixed number of samples, covering the general framework of heterogeneous sample sizes with different and asymptotically dependent distributions. Our results include optimal choices of pooling weights based on asymptotic variance and MSE minimization. In the important application of distributed inference, we prove that the variance-optimal distributed estimators are asymptotically equivalent to the benchmark Hill and Weissman estimators based on the unfeasible combination of subsamples, while the AMSE-optimal distributed estimators enjoy a smaller AMSE than the benchmarks in the case of large bias. We consider additional scenarios where the number of subsamples grows with the total sample size and effective subsample sizes can be low. We extend our methodology to handle serial dependence and the presence of covariates. Simulations confirm that our pooled estimators perform virtually as well as the benchmark estimators. Two applications to real weather and insurance data are showcased.


title: Single-Sample Prophet Inequalities via Greedy-Ordered Selection

abstract: We study single-sample prophet inequalities (SSPIs), i.e., prophet inequalities where only a single sample from each prior distribution is available. Besides a direct, and optimal, SSPI for the basic single choice problem [Rubinstein et al., 2020], most existing SSPI results were obtained via an elegant, but inherently lossy, reduction to order-oblivious secretary (OOS) policies [Azar et al., 2014]. Motivated by this discrepancy, we develop an intuitive and versatile greedy-based technique that yields SSPIs directly rather than through the reduction to OOSs. Our results can be seen as generalizing and unifying a number of existing results in the area of prophet and secretary problems. Our algorithms significantly improve on the competitive guarantees for a number of interesting scenarios (including general matching with edge arrivals, bipartite matching with vertex arrivals, and certain matroids), and capture new settings (such as budget additive combinatorial auctions). Complementing our algorithmic results, we also consider mechanism design variants. Finally, we analyze the power and limitations of different SSPI approaches by providing a partial converse to the reduction from SSPI to OOS given by Azar et al.


title: Rate of Convergence of Polynomial Networks to Gaussian Processes

abstract: We examine one-hidden-layer neural networks with random weights. It is well-known that in the limit of infinitely many neurons they simplify to Gaussian processes. For networks with a polynomial activation, we demonstrate that the rate of this convergence in 2-Wasserstein metric is $O(n^{-\frac{1}{2}})$, where $n$ is the number of hidden neurons. We suspect this rate is asymptotically sharp. We improve the known convergence rate for other activations, to power-law in $n$ for ReLU and inverse-square-root up to logarithmic factors for erf. We explore the interplay between spherical harmonics, Stein kernels and optimal transport in the non-isotropic setting.


title: Kanzelh\"ohe Observatory: instruments, data processing and data products

abstract: Kanzelh\"ohe Observatory for Solar and Environmental Research (KSO) of the University of Graz (Austria) is in continuous operation since its foundation in 1943. Since the beginning its main task was the regular observation of the Sun in full disc. In this long time span covering almost seven solar cycles, a substantial amount of data was collected, which is made available online. In this paper we describe the separate processing steps from data acquisition to high level products for the different observing wavelengths. First of all we work out in detail the quality classification, which is important for further processing of the raw images. We show how we construct centre-to-limb variation (CLV) profiles and how we remove large scale intensity variations produced by the telescope optics in order to get images with uniform intensity and contrast. Another important point is an overview of the different data products from raw images to high contrast images with heliographic grids overlaid. As the data products are accessible via different sources we also present how to get information about the availability and how to obtain these data. Finally, in an appendix, we describe in detail the information in the FITS headers, the file naming and the data hierarchy.


title: Real-Time Detection of Drowsiness Among Vehicle Drivers: A Machine Learning Algorithm for Embedded Systems

abstract: Numerous studies have established the necessity for developing safety equipment to detect drowsiness among vehicle drivers. However, for reliable implementations, such systems must employ dependable sources of stimuli; through Electrooculography (EOG), the tendencies of drowsiness can be directly sensed by measuring blinks of prolonged durations. While conventional machine learning (ML) algorithms can be utilized for the detection and classification of these prolonged blinks (PB), executing them on microcontroller units (MCU) may prove to be a laborious task. Hence, by keeping resource constraints and practicality in mind, an ML algorithm is proposed in this study to identify PBs executed by an individual with desirable accuracy and precision while being efficient enough to be deployed on portable wearables using economic MCUs. Furthermore, the suggested algorithm is subjected to multiple rounds of testing in this study thereby, establishing its possibility as a feasible drowsiness detection measure for wearable systems.


title: Constraining the CME Core Heating and Energy Budget with SOHO/UVCS

abstract: We describe the energy budget of a coronal mass ejection (CME) observed on 1999 May 17 with the Ultraviolet Coronagraph Spectrometer (UVCS). We constrain the physical properties of the CME's core material as a function of height along the corona by using the spectra taken by the single-slit coronagraph spectrometer at heliocentric distances of 2.6 and 3.1 solar radii. We use plasma diagnostics from intensity ratios, such as the O VI doublet lines, to determine the velocity, density, temperature, and non-equilibrium ionization states. We find that the CME core's velocity is approximately 250 km/s, and its cumulative heating energy is comparable to its kinetic energy for all of the plasma heating parameterizations that we investigated. Therefore, the CME's unknown heating mechanisms have the energy to significantly affect the CME's eruption and evolution. To understand which parameters might influence the unknown heating mechanism, we constrain our model heating rates with the observed data and compare them to the rate of heating generated within a similar CME that was constructed by the MAS code's 3D MHD simulation. The rate of heating from the simulated CME agrees with our observationally constrained heating rates when we assume a quadratic power law to describe a self-similar CME expansion. Furthermore, the heating rates agree when we apply a heating parameterization that accounts for the CME flux rope's magnetic energy being converted directly into thermal energy. This UVCS analysis serves as a case study for the importance of multi-slit coronagraph spectrometers for CME studies.


title: Community detection in censored hypergraph

abstract: Community detection refers to the problem of clustering the nodes of a network (either graph or hypergrah) into groups. Various algorithms are available for community detection and all these methods apply to uncensored networks. In practice, a network may has censored (or missing) values and it is shown that censored values have non-negligible effect on the structural properties of a network. In this paper, we study community detection in censored $m$-uniform hypergraph from information-theoretic point of view. We derive the information-theoretic threshold for exact recovery of the community structure. Besides, we propose a polynomial-time algorithm to exactly recover the community structure up to the threshold. The proposed algorithm consists of a spectral algorithm plus a refinement step. It is also interesting to study whether a single spectral algorithm without refinement achieves the threshold. To this end, we also explore the semi-definite relaxation algorithm and analyze its performance.


title: Chromomagnetic dipole moment of the top quark in the Bestest Little Higgs model

abstract: We calculate the chromomagnetic dipole moment of the top quark, $\hat{\mu}_t$, in the context of the Bestest Little Higgs model. This extension of the Standard Model aims to solve the hierarchy problem without fine tuning, by introducing one-loop corrections to the Higgs boson mass through heavy top quark partners and heavy gauge bosons. We found that the largest resulting value for the chromomagnetic is $\hat{\mu}_t\sim 10^{-5}$ and the lowest is around $10^{-6}$, mainly due to the Higgs boson of the Standard Model, which couples to both the top quark of the Standard Model and its heavy partners. Also, we present a wide variety of new Feynman rules involved in our calculation.


title: Glass-like Electronics in Vanadium Dioxide

abstract: Functional materials can offer new paradigms for miniaturized and energy-efficient electronics, providing a complementary or even alternative platform to metal-oxide-semiconductors. Here we report on electronically accessible long-lived structural states in Vanadium Dioxide that can offer a scheme for data storage and processing. We show that such states can be electrically manipulated and tracked beyond 10,000 seconds after excitation, exhibiting similar features of glasses, which are beyond the classic metastability in Mott systems. Glass-like electronics can potentially overcome some of the fundamental limitations in conventional metal-oxide-semiconductor electronics, and open avenues for neuromorphic computation and multi-level memories.


title: Forward silicon vertex/tracking detector design and R$\&$D for the future Electron-Ion Collider

abstract: The proposed high-luminosity high-energy Electron-Ion Collider (EIC) will provide a clean environment to precisely study several fundamental questions in the fields of high-energy and nuclear physics . A low material budget and high granularity silicon vertex/tracking detector is critical to carry out a series of hadron and jet measurements at the future EIC especially for the heavy flavor product reconstruction or tagging. The conceptual design of a proposed forward silicon tracking detector with the pseudorapidity coverage from 1.2 to 3.5 has been developed in integration with different magnet options and the other EIC detector sub-systems. The tracking performance of this detector enables precise heavy flavor hadron and jet measurements in the hadron beam going direction. The detector R$\&$D for the proposed silicon technology candidates: Low Gain Avalanche Diode (LGAD) and radiation hard depleted Monolithic Active Pixel Sensor (MALTA), which can provide good spatial and timing resolutions, is underway. Bench test results of the LGAD and MALTA prototype sensors will be discussed.


title: Optical-pump terahertz-probe spectroscopy of the topological crystalline insulator Pb1-xSnxSe through the topological phase transition

abstract: Topological crystalline insulators -- topological insulators whose properties are guaranteed by crystalline symmetry -- can potentially provide a promising platform for terahertz optoelectronic devices, as their properties can be tuned on demand when layered in heterostructures. We perform the first optical-pump terahertz-probe spectroscopy of topological crystalline insulators, using them to study the dynamics of Pb1-xSnxSe as a function of temperature. At low temperatures, excitation of Dirac fermions leads to an increase in terahertz transmission; from this negative photoconductivity, the intrasubband relaxation rate of 6 ps is extracted. At high temperatures where only massive fermions exist, the free-carrier losses induced by the pump reduce the terahertz transmission for the duration of the 27 ps interband lifetime. Both effects are present at temperatures near the topological-to-trivial transition. Our experimental observations provide critical details for potential applications of Pb1-xSnxSe and provide a direct measurement of the topological character of Pb1-xSnxSe heterostructures.


title: LW-GCN: A Lightweight FPGA-based Graph Convolutional Network Accelerator

abstract: Graph convolutional networks (GCNs) have been introduced to effectively process non-euclidean graph data. However, GCNs incur large amounts of irregularity in computation and memory access, which prevents efficient use of traditional neural network accelerators. Moreover, existing dedicated GCN accelerators demand high memory volumes and are difficult to implement onto resource limited edge devices. In this work, we propose LW-GCN, a lightweight FPGA-based accelerator with a software-hardware co-designed process to tackle irregularity in computation and memory access in GCN inference. LW-GCN decomposes the main GCN operations into sparse-dense matrix multiplication (SDMM) and dense matrix multiplication (DMM). We propose a novel compression format to balance workload across PEs and prevent data hazards. Moreover, we apply data quantization and workload tiling, and map both SDMM and DMM of GCN inference onto a uniform architecture on resource limited hardware. Evaluation on GCN and GraphSAGE are performed on Xilinx Kintex-7 FPGA with three popular datasets. Compared to existing CPU, GPU, and state-of-the-art FPGA-based accelerator, LW-GCN reduces latency by up to 60x, 12x and 1.7x and increases power efficiency by up to 912x., 511x and 3.87x, respectively. Furthermore, compared with NVIDIA's latest edge GPU Jetson Xavier NX, LW-GCN achieves speedup and energy savings of 32x and 84x, respectively.


title: Radicalism: The asymmetric stance of Radicals versus Conventionals

abstract: We study the conditions of propagation of an initial emergent practice qualified as extremist within a population adept at a practice perceived as moderate, whether political, societal or religious. The extremist practice is carried by an initially ultra-minority of Radicals (R) dispersed among Conventionals (C) who are the overwhelming majority in the community. Both R and C are followers, that is, agents who, while having arguments to legitimize their current practice, are likely to switch to the other practice if given more arguments during a debate. The issue being controversial, most C tend to avoid social confrontation with R about it. They maintain a neutral indifference assuming it is none of their business. On the contrary, R aim to convince C through an expansion strategy to spread their practice as part of a collective agenda. However, aware of being followers, they implement an appropriate strategy to maximize their expansion and determine when to force a debate with C. The effect of this asymmetry between initiating or avoiding an update debate among followers is calculated using a weighted version of the Galam model of opinion dynamics. An underlying complex landscape is obtained as a function of the respective probabilities to engage in a local discussion by R and C. It discloses zones where R inexorably expand and zones where they get extinct. The results highlight the instrumental character of above asymmetry in providing a decisive advantage to R against C. It also points to a barrier in R initial support to reach the extension zone. In parallel, the landscape reveals a path for C to counter R expansion pushing them back into their extinction zone. It relies on the asymmetry of C being initially a large majority which puts the required involvement of C at a rather low level.


title: EditGAN: High-Precision Semantic Image Editing

abstract: Generative adversarial networks (GANs) have recently found applications in image editing. However, most GAN based image editing methods often require large scale datasets with semantic segmentation annotations for training, only provide high level control, or merely interpolate between different images. Here, we propose EditGAN, a novel method for high quality, high precision semantic image editing, allowing users to edit images by modifying their highly detailed part segmentation masks, e.g., drawing a new mask for the headlight of a car. EditGAN builds on a GAN framework that jointly models images and their semantic segmentations, requiring only a handful of labeled examples, making it a scalable tool for editing. Specifically, we embed an image into the GAN latent space and perform conditional latent code optimization according to the segmentation edit, which effectively also modifies the image. To amortize optimization, we find editing vectors in latent space that realize the edits. The framework allows us to learn an arbitrary number of editing vectors, which can then be directly applied on other images at interactive rates. We experimentally show that EditGAN can manipulate images with an unprecedented level of detail and freedom, while preserving full image quality.We can also easily combine multiple edits and perform plausible edits beyond EditGAN training data. We demonstrate EditGAN on a wide variety of image types and quantitatively outperform several previous editing methods on standard editing benchmark tasks.


title: MIRACLE: Causally-Aware Imputation via Learning Missing Data Mechanisms

abstract: Missing data is an important problem in machine learning practice. Starting from the premise that imputation methods should preserve the causal structure of the data, we develop a regularization scheme that encourages any baseline imputation method to be causally consistent with the underlying data generating mechanism. Our proposal is a causally-aware imputation algorithm (MIRACLE). MIRACLE iteratively refines the imputation of a baseline by simultaneously modeling the missingness generating mechanism, encouraging imputation to be consistent with the causal structure of the data. We conduct extensive experiments on synthetic and a variety of publicly available datasets to show that MIRACLE is able to consistently improve imputation over a variety of benchmark methods across all three missingness scenarios: at random, completely at random, and not at random.


title: Duality and vanishing theorems for topologically trivial families of smooth h-cobordisms

abstract: Using the work of Dwyer, Weiss, and Williams we associate an invariant to any topologically trivial family of smooth h-cobordisms. This invariant is called the smooth structure class, and is closely related to the higher Franz--Reidemeister torsion of Igusa and Klein. We compute the smooth structure class in terms of a fiberwise generalized Morse function using fiberwise Poincar\'e--Hopf theory. This computation gives rise to a duality theorem for the smooth structure class that generalizes Milnor's duality theorem for the Whitehead torsion. From this result we deduce a vanishing theorem that implies the Rigidity Conjecture of Goette and Igusa. This conjecture states that, after rationalizing, there are no stable exotic smoothings of manifold bundles with closed even dimensional fibers.


title: Value Function Spaces: Skill-Centric State Abstractions for Long-Horizon Reasoning

abstract: Reinforcement learning can train policies that effectively perform complex tasks. However for long-horizon tasks, the performance of these methods degrades with horizon, often necessitating reasoning over and chaining lower-level skills. Hierarchical reinforcement learning aims to enable this by providing a bank of low-level skills as action abstractions. Hierarchies can further improve on this by abstracting the space states as well. We posit that a suitable state abstraction should depend on the capabilities of the available lower-level policies. We propose Value Function Spaces: a simple approach that produces such a representation by using the value functions corresponding to each lower-level skill. These value functions capture the affordances of the scene, thus forming a representation that compactly abstracts task relevant information and robustly ignores distractors. Empirical evaluations for maze-solving and robotic manipulation tasks demonstrate that our approach improves long-horizon performance and enables better zero-shot generalization than alternative model-free and model-based methods.


title: A closed-form multigrid smoothing factor for an additive Vanka-type smoother applied to the Poisson equation

abstract: We consider an additive Vanka-type smoother for the Poisson equation discretized by the standard finite difference centered scheme. Using local Fourier analysis, we derive analytical formulas for the optimal smoothing factors for two types of smoothers, called vertex-wise and element-wise Vanka smoothers, and present the corresponding stencils. Interestingly, in one dimension the element-wise Vanka smoother is equivalent to the scaled mass operator obtained from the linear finite element method, and in two dimensions the element-wise Vanka smoother is equivalent to the scaled mass operator discretized by bilinear finite element method plus a scaled identity operator. Based on these discoveries, the mass matrix obtained from finite element method can be used as an approximation to the inverse of the Laplacian, and the resulting mass-based relaxation scheme features small smoothing factors in one, two, and three dimensions. Advantages of the mass operator are that the operator is sparse and well conditioned, and the computational cost of the relaxation scheme is only one matrix-vector product; there is no need to compute the inverse of a matrix. These findings may help better understand the efficiency of additive Vanka smoothers and develop fast solvers for numerical solutions of partial differential equations.


title: A note on using the mass matrix as a preconditioner for the Poisson equation

abstract: We show that the mass matrix derived from finite elements can be effectively used as a preconditioner for iteratively solving the linear system arising from finite-difference discretization of the Poisson equation, using the conjugate gradient method. We derive analytically the condition number of the preconditioned operator. Theoretical analysis shows that the ratio of the condition number of the Laplacian to the preconditioned operator is $8/3$ in one dimension, $9/2$ in two dimensions, and $2^9/3^4 \approx 6.3$ in three dimensions. From this it follows that the expected iteration count for achieving a fixed reduction of the norm of the residual is smaller than a half of the number of the iterations of unpreconditioned CG in 2D and 3D. The scheme is easy to implement, and numerical experiments show its efficiency.


title: Algebraic properties of Hermitian sums of squares, II

abstract: We study real bihomogeneous polynomials $r(z,\bar{z})$ in $n$ complex variables for which $r(z,\bar{z}) \|z\|^2$ is the squared norm of a holomorphic polynomial mapping. Such polynomials are the focus of the Sum of Squares Conjecture, which describes the possible ranks for the squared norm $r(z,\bar{z}) \|z\|^2$ and has important implications for the study of proper holomorphic mappings between balls in complex Euclidean spaces of different dimension. Questions about the possible signatures for $r(z,\bar{z})$ and the rank of $r(z,\bar{z}) \|z\|^2$ can be reformulated as questions about polynomial ideals. We take this approach and apply purely algebraic tools to obtain constraints on the signature of $r$.


title: Explainable k-means. Don't be greedy, plant bigger trees!

abstract: We provide a new bi-criteria $\tilde{O}(\log^2 k)$ competitive algorithm for explainable $k$-means clustering. Explainable $k$-means was recently introduced by Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020). It is described by an easy to interpret and understand (threshold) decision tree or diagram. The cost of the explainable $k$-means clustering equals to the sum of costs of its clusters; and the cost of each cluster equals the sum of squared distances from the points in the cluster to the center of that cluster. The best non bi-criteria algorithm for explainable clustering $\tilde{O}(k)$ competitive, and this bound is tight. Our randomized bi-criteria algorithm constructs a threshold decision tree that partitions the data set into $(1+\delta)k$ clusters (where $\delta\in (0,1)$ is a parameter of the algorithm). The cost of this clustering is at most $\tilde{O}(1/ \delta \cdot \log^2 k)$ times the cost of the optimal unconstrained $k$-means clustering. We show that this bound is almost optimal.


title: Confinement in Two-Dimensional QCD and the Infinitely Long Pion

abstract: Three current models of QCD in (1+1) dimensions are examined and extended in light-front coordinates. A pion of high momentum is found to have an infinite extent along its direction of motion.


title: Addressing Multiple Salient Object Detection via Dual-Space Long-Range Dependencies

abstract: Salient object detection plays an important role in many downstream tasks. However, complex real-world scenes with varying scales and numbers of salient objects still pose a challenge. In this paper, we directly address the problem of detecting multiple salient objects across complex scenes. We propose a network architecture incorporating non-local feature information in both the spatial and channel spaces, capturing the long-range dependencies between separate objects. Traditional bottom-up and non-local features are combined with edge features within a feature fusion gate that progressively refines the salient object prediction in the decoder. We show that our approach accurately locates multiple salient regions even in complex scenarios. To demonstrate the efficacy of our approach to the multiple salient objects problem, we curate a new dataset containing only multiple salient objects. Our experiments demonstrate the proposed method presents state-of-the-art results on five widely used datasets without any pre-processing and post-processing. We obtain a further performance improvement against competing techniques on our multi-objects dataset. The dataset and source code are avaliable at: https://github.com/EricDengbowen/DSLRDNet.


title: An Empirical Study of the Effectiveness of an Ensemble of Stand-alone Sentiment Detection Tools for Software Engineering Datasets

abstract: Sentiment analysis in software engineering (SE) has shown promise to analyze and support diverse development activities. We report the results of an empirical study that we conducted to determine the feasibility of developing an ensemble engine by combining the polarity labels of stand-alone SE-specific sentiment detectors. Our study has two phases. In the first phase, we pick five SE-specific sentiment detection tools from two recently published papers by Lin et al. [31, 32], who first reported negative results with standalone sentiment detectors and then proposed an improved SE-specific sentiment detector, POME [31]. We report the study results on 17,581 units (sentences/documents) coming from six currently available sentiment benchmarks for SE. We find that the existing tools can be complementary to each other in 85-95% of the cases, i.e., one is wrong, but another is right. However, a majority voting-based ensemble of those tools fails to improve the accuracy of sentiment detection. We develop Sentisead, a supervised tool by combining the polarity labels and bag of words as features. Sentisead improves the performance (F1-score) of the individual tools by 4% (over Senti4SD [5]) - 100% (over POME [31]). In a second phase, we compare and improve Sentisead infrastructure using Pre-trained Transformer Models (PTMs). We find that a Sentisead infrastructure with RoBERTa as the ensemble of the five stand-alone rule-based and shallow learning SE-specific tools from Lin et al. [31, 32] offers the best F1-score of 0.805 across the six datasets, while a stand-alone RoBERTa shows an F1-score of 0.801.


title: On the evolution of inhomogeneous perturbations in the $\Lambda$CDM model and $f(R)$ modified gravity theories

abstract: We focus on weak inhomogeneous models of the Universe at low redshifts, described by the Lema\^itre-Tolman-Bondi (LTB) metric. The principal aim of this work is to compare the evolution of inhomogeneous perturbations in the $\Lambda$CDM cosmological model and $f(R)$ modified gravity theories, considering a flat Friedmann-Lema\^itre-Robertson-Walker (FLRW) metric for the background. More specifically, we adopt the equivalent scalar-tensor formalism in the Jordan frame, in which the extra degree of freedom of the $f(R)$ function is converted into a non-minimally coupled scalar field. We investigate the evolution of local inhomogeneities in time and space separately, following a linear perturbation approach. Then, we obtain spherically symmetric solutions in both cosmological models. Our results allow us to distinguish between the presence of a cosmological constant and modified gravity scenarios, since a peculiar Yukawa-like solution for radial perturbations occurs in the Jordan frame. Furthermore, the radial profile of perturbations does not depend on a particular choice of the $f(R)$ function, hence our results are valid for any $f(R)$ model.


title: On the Complexity of Dynamic Submodular Maximization

abstract: We study dynamic algorithms for the problem of maximizing a monotone submodular function over a stream of $n$ insertions and deletions. We show that any algorithm that maintains a $(0.5+\epsilon)$-approximate solution under a cardinality constraint, for any constant $\epsilon>0$, must have an amortized query complexity that is $\mathit{polynomial}$ in $n$. Moreover, a linear amortized query complexity is needed in order to maintain a $0.584$-approximate solution. This is in sharp contrast with recent dynamic algorithms of [LMNF+20, Mon20] that achieve $(0.5-\epsilon)$-approximation with a $\mathsf{poly}\log(n)$ amortized query complexity. On the positive side, when the stream is insertion-only, we present efficient algorithms for the problem under a cardinality constraint and under a matroid constraint with approximation guarantee $1-1/e-\epsilon$ and amortized query complexities $\smash{O(\log (k/\epsilon)/\epsilon^2)}$ and $\smash{k^{\tilde{O}(1/\epsilon^2)}\log n}$, respectively, where $k$ denotes the cardinality parameter or the rank of the matroid.


title: Concurrent multiscale analysis without meshing: Microscale representation with CutFEM and micro/macro model blending

abstract: In this paper, we develop a novel unfitted multiscale framework that combines two separate scales represented by only one single computational mesh. Our framework relies on a mixed zooming technique where we zoom at regions of interest to capture microscale properties and then mix the micro and macroscale properties in a transition region. Furthermore, we use homogenization techniques to derive macro model material properties. The microscale features are discretized using CutFEM. The transition region between the micro and macroscale is represented by a smooth blending function. To address the issues with ill-conditioning of the multiscale system matrix due to the arbitrary intersections in cut elements and the transition region, we add stabilization terms acting on the jumps of the normal gradient (ghost-penalty stabilization). We show that our multiscale framework is stable and is capable to reproduce mechanical responses for heterogeneous structures in a mesh-independent manner. The efficiency of our methodology is exemplified by 2D and 3D numerical simulations of linear elasticity problems.


title: Coupling Quantum Antennas to Fibers and Waveguides

abstract: We present a brief overview of the transport of quantum light across a one-dimensional waveguide which is integrated with a periodic string of quantum-scale dipoles. We demonstrate a scheme to implement transparency by suitably tuning the atomic frequencies without applying a coupling field and bring out the pronounced non-reciprocity of this optical device. The fiber-mediated interaction between integrated dipoles allows one to achieve both dispersive and dissipative couplings, level repulsion and attraction, and enhanced sensing capabilities. All these ideas can be translated to a wide variety of experimental setups of topical interest such as resonators on a transmission line, cold atoms near a fiber and quantum dots coupled to plasmonic excitations in a nanowire or photonic crystal waveguides.


title: Compressing Sensor Data for Remote Assistance of Autonomous Vehicles using Deep Generative Models

abstract: In the foreseeable future, autonomous vehicles will require human assistance in situations they can not resolve on their own. In such scenarios, remote assistance from a human can provide the required input for the vehicle to continue its operation. Typical sensors used in autonomous vehicles include camera and lidar sensors. Due to the massive volume of sensor data that must be sent in real-time, highly efficient data compression is elementary to prevent an overload of network infrastructure. Sensor data compression using deep generative neural networks has been shown to outperform traditional compression approaches for both image and lidar data, regarding compression rate as well as reconstruction quality. However, there is a lack of research about the performance of generative-neural-network-based compression algorithms for remote assistance. In order to gain insights into the feasibility of deep generative models for usage in remote assistance, we evaluate state-of-the-art algorithms regarding their applicability and identify potential weaknesses. Further, we implement an online pipeline for processing sensor data and demonstrate its performance for remote assistance using the CARLA simulator.


title: Temperature-driven transition from skyrmion to bubble crystals in centrosymmetric itinerant magnets

abstract: Interplay between itinerant electrons and localized spins in itinerant magnets gives rise to a variety of noncoplanar multiple-$Q$ spin textures, such as the skyrmion, hedgehog, meron, and vortex. We elucidate that another type of multiple-$Q$ state consisting of collinear sinusoidal waves, a magnetic bubble crystal, appears at finite temperatures in a centrosymmetric itinerant electron system. The results are obtained for the classical Kondo lattice model with easy-axis single-ion anisotropy on a triangular lattice by a large-scale numerical simulation. We find that a finite-temperature topological phase transition between the skyrmion crystal and the bubble crystal occurs by changing the temperature. We obtain the minimal key ingredients for inducing the finite-temperature transition by analyzing an effective spin model where it is shown that the synergy between the multiple-spin interaction and magnetic anisotropy plays a significant role.


title: A possible solution to the which-way problem of quantum interference

abstract: It is commonly assumed that the observation of an interference pattern is incompatible with any information about the path taken by a quantum particle. Here we show that, contrary to this assumption, the experimentally observable effects of small polarization rotations applied in the slits of a double slit experiment indicate that individual particles passing the slits before their detection in the interference pattern are physically delocalized with regard to their interactions with the local polarization rotations. The rate at which the polarization is flipped to the orthogonal state is a direct measure of the fluctuations of the polarization rotation angles experienced by each particle. Particles detected in the interference maxima experience no fluctuations at all, indicating a presence of exactly one half of the particle in each slit, while particles detected close to the minima experience polarization rotations much larger than the local rotations, indicating a negative presence in one of the slits and a presence of more than one in the other.


title: Learning Model Predictive Controllers for Real-Time Ride-Hailing Vehicle Relocation and Pricing Decisions

abstract: Large-scale ride-hailing systems often combine real-time routing at the individual request level with a macroscopic Model Predictive Control (MPC) optimization for dynamic pricing and vehicle relocation. The MPC relies on a demand forecast and optimizes over a longer time horizon to compensate for the myopic nature of the routing optimization. However, the longer horizon increases computational complexity and forces the MPC to operate at coarser spatial-temporal granularity, degrading the quality of its decisions. This paper addresses these computational challenges by learning the MPC optimization. The resulting machine-learning model then serves as the optimization proxy and predicts its optimal solutions. This makes it possible to use the MPC at higher spatial-temporal fidelity, since the optimizations can be solved and learned offline. Experimental results show that the proposed approach improves quality of service on challenging instances from the New York City dataset.


title: LILA: Language-Informed Latent Actions

abstract: We introduce Language-Informed Latent Actions (LILA), a framework for learning natural language interfaces in the context of human-robot collaboration. LILA falls under the shared autonomy paradigm: in addition to providing discrete language inputs, humans are given a low-dimensional controller $-$ e.g., a 2 degree-of-freedom (DoF) joystick that can move left/right and up/down $-$ for operating the robot. LILA learns to use language to modulate this controller, providing users with a language-informed control space: given an instruction like "place the cereal bowl on the tray," LILA may learn a 2-DoF space where one dimension controls the distance from the robot's end-effector to the bowl, and the other dimension controls the robot's end-effector pose relative to the grasp point on the bowl. We evaluate LILA with real-world user studies, where users can provide a language instruction while operating a 7-DoF Franka Emika Panda Arm to complete a series of complex manipulation tasks. We show that LILA models are not only more sample efficient and performant than imitation learning and end-effector control baselines, but that they are also qualitatively preferred by users.


title: Disorder- and Topology-Enhanced Fully Spin-Polarized Currents in Nodal Chain Spin-Gapless Semimetals

abstract: Recently discovered high-quality nodal chain spin-gapless semimetals $M$F$_3$ ($M$ = Pd, Mn) feature an ultra-clean nodal chain in the spin up channel residing right at the Fermi level and displaying a large spin gap leading to a 100\% spin-polarization of transport properties. Here, we investigate both intrinsic and extrinsic contributions to anomalous and spin transport in this class of materials. The dominant intrinsic origin is found to originate entirely from the gapped nodal chains without the entanglement of any other trivial bands. The side-jump mechanism is predicted to be negligibly small, but intrinsic skew-scattering enhances the intrinsic Hall and Nernst signals significantly, leading to large values of respective conductivities. Our findings open a new material platform for exploring strong anomalous and spin transport properties in magnetic topological semimetals.


title: Artificial Neural Network-Based Voltage Control of DC/DC Converter for DC Microgrid Applications

abstract: The rapid growth of renewable energy technology enables the concept of microgrid (MG) to be widely accepted in the power systems. Due to the advantages of the DC distribution system such as easy integration of energy storage and less system loss, DC MG attracts significant attention nowadays. The linear controller such as PI or PID is matured and extensively used by the power electronics industry, but their performance is not optimal as system parameters are changed. In this study, an artificial neural network (ANN) based voltage control strategy is proposed for the DC-DC boost converter. In this paper, the model predictive control (MPC) is used as an expert, which provides the data to train the proposed ANN. As ANN is tuned finely, then it is utilized directly to control the step-up DC converter. The main advantage of the ANN is that the neural network system identification decreases the inaccuracy of the system model even with inaccurate parameters and has less computational burden compared to MPC due to its parallel structure. To validate the performance of the proposed ANN, extensive MATLAB/Simulink simulations are carried out. The simulation results show that the ANN-based control strategy has better performance under different loading conditions comparison to the PI controller. The accuracy of the trained ANN model is about 97%, which makes it suitable to be used for DC microgrid applications.


title: The solar internetwork. III. Unipolar versus bipolar flux appearance

abstract: Small-scale internetwork (IN) magnetic fields are considered to be the main building blocks of the quiet Sun magnetism. For this reason, it is crucial to understand how they appear on the solar surface. Here, we employ a high-resolution, high-sensitivity, long-duration Hinode/NFI magnetogram sequence to analyze the appearance modes and spatio-temporal evolution of individual IN magnetic elements inside a supergranular cell at the disk center. From identification of flux patches and magnetofrictional simulations, we show that there are two distinct populations of IN flux concentrations: unipolar and bipolar features. Bipolar features tend to be bigger and stronger than unipolar features. They also live longer and carry more flux per feature. Both types of flux concentrations appear uniformly over the solar surface. However, we argue that bipolar features truly represent the emergence of new flux on the solar surface, while unipolar features seem to be formed by coalescence of background flux. Magnetic bipoles appear at a faster rate than unipolar features (68 as opposed to 55 Mx cm$^{-2}$ day$^{-1}$), and provide about 70% of the total instantaneous IN flux detected in the interior of the supergranule.


title: Controller Reduction for Nonlinear Systems by Generalized Differential Balancing

abstract: In this paper, we aim at developing computationally tractable methods for nonlinear model/controller reduction. Recently, model reduction by generalized differential (GD) balancing has been proposed for nonlinear systems with constant input-vector fields and linear output functions. First, we study incremental properties in the GD balancing framework. Next, based on these analyses, we provide GD LQG balancing and GD $H_\infty$-balancing as controller reduction methods for nonlinear systems by focusing on linear feedback and observer gains. Especially for GD $H_\infty$-balancing, we clarify when the closed-loop system consisting of the full-order system and a reduced-order controller is exponentially stable. All provided methods for controller reduction can be relaxed to linear matrix inequalities.


title: Higher-Order MDS Codes

abstract: An improved Singleton-type upper bound is presented for the list decoding radius of linear codes, in terms of the code parameters [n,k,d] and the list size L. L-MDS codes are then defined as codes that attain this bound (under a slightly stronger notion of list decodability), with 1-MDS codes corresponding to ordinary linear MDS codes. Several properties of such codes are presented; in particular, it is shown that the 2-MDS property is preserved under duality. Finally, explicit constructions for 2-MDS codes are presented through generalized Reed-Solomon (GRS) codes.


title: Fully passive entanglement based quantum key distribution scheme

abstract: In general, generation of entangled photon pairs and also the random choice of measurement basis can be implemented with passive optical devices in entanglement based quantum key distribution (QKD) system. However, auxiliary random numbers are still mandatory for conducting the privacy amplification procedure. In this paper, we propose a fully passive entanglement based QKD scheme in which certified random bits for privacy amplification are extracted from detection events of measurement-basis-mismatched entangled photon pairs. The privacy of these random bits can be certified by estimating the phase error rate in the sifted key. The idea of extracting certified random numbers from measurement-basis-mismatched photons, can be extended to all practical QKD schemes.


title: An overview of event extraction and its applications

abstract: With the rapid development of information technology, online platforms have produced enormous text resources. As a particular form of Information Extraction (IE), Event Extraction (EE) has gained increasing popularity due to its ability to automatically extract events from human language. However, there are limited literature surveys on event extraction. Existing review works either spend much effort describing the details of various approaches or focus on a particular field. This study provides a comprehensive overview of the state-of-the-art event extraction methods and their applications from text, including closed-domain and open-domain event extraction. A trait of this survey is that it provides an overview in moderate complexity, avoiding involving too many details of particular approaches. This study focuses on discussing the common characters, application fields, advantages, and disadvantages of representative works, ignoring the specificities of individual approaches. Finally, we summarize the common issues, current solutions, and future research directions. We hope this work could help researchers and practitioners obtain a quick overview of recent event extraction.


title: The Fourier Transform of Restrictions of Functions on the Slice

abstract: This paper considers the Fourier transform over the slice of the Boolean hypercube. We prove a relationship between the Fourier coefficients of a function over the slice, and the Fourier coefficients of its restrictions. As an application, we prove a Goldreich-Levin theorem for functions on the slice based on the Kushilevitz-Mansour algorithm for the Boolean hypercube.


title: Tidal Love numbers of neutron stars in Rastall gravity

abstract: Gravitational-wave measurements of the tidal deformability of neutron stars could reveal important information regarding their internal structure, the equation of state of high-dense nuclear matter and gravity in strong field regime. In this work, we extend the relativistic theory of the tidal deformability of neutron stars to Rastall gravity. Both the electric-type and magnetic-type quadrupole tidal Love numbers are calculated for neutron stars in the polytrope model. It is found that neutron star's tidal Love numbers in Rastall gravity is significantly smaller than those in general relativity. Our results provide new evidence of the degeneracy between the modification of gravity and the equation of state of nuclear matter in neutron stars.


title: Coupled Cluster Downfolding Theory: towards efficient many-body algorithms for dimensionality reduction of composite quantum systems

abstract: The recently introduced coupled cluster (CC) downfolding techniques for reducing the dimensionality of quantum many-body problems recast the CC formalism in the form of the renormalization procedure allowing, for the construction of effective (or downfolded) Hamiltonians in small-dimensionality sub-space, usually identified with the so-called active space, of the entire Hilbert space. The resulting downfolded Hamiltonians integrate out the external (out-of-active-space) Fermionic degrees of freedom from the internal (in-the-active-space) parameters of the wave function, which can be determined as components of the eigenvectors of the downfolded Hamiltonians in the active space. This paper will discuss the extension of non-Hermitian (associated with standard CC formulations) and Hermitian (associated with the unitary CC approaches) downfolding formulations to composite quantum systems. The non-Hermitian formulation can provide a platform for developing local CC approaches, while the Hermitian one can serve as an ideal foundation for developing various quantum computing applications based on the limited quantum resources. We also discuss the algorithm for extracting the semi-analytical form of the inter-electron interactions in the active spaces.


title: Fast Camouflaged Object Detection via Edge-based Reversible Re-calibration Network

abstract: Camouflaged Object Detection (COD) aims to detect objects with similar patterns (e.g., texture, intensity, colour, etc) to their surroundings, and recently has attracted growing research interest. As camouflaged objects often present very ambiguous boundaries, how to determine object locations as well as their weak boundaries is challenging and also the key to this task. Inspired by the biological visual perception process when a human observer discovers camouflaged objects, this paper proposes a novel edge-based reversible re-calibration network called ERRNet. Our model is characterized by two innovative designs, namely Selective Edge Aggregation (SEA) and Reversible Re-calibration Unit (RRU), which aim to model the visual perception behaviour and achieve effective edge prior and cross-comparison between potential camouflaged regions and background. More importantly, RRU incorporates diverse priors with more comprehensive information comparing to existing COD models. Experimental results show that ERRNet outperforms existing cutting-edge baselines on three COD datasets and five medical image segmentation datasets. Especially, compared with the existing top-1 model SINet, ERRNet significantly improves the performance by $\sim$6% (mean E-measure) with notably high speed (79.3 FPS), showing that ERRNet could be a general and robust solution for the COD task.


title: Boundary Estimation from Point Clouds: Algorithms, Guarantees and Applications

abstract: We investigate identifying the boundary of a domain from sample points in the domain. We introduce new estimators for the normal vector to the boundary, distance of a point to the boundary, and a test for whether a point lies within a boundary strip. The estimators can be efficiently computed and are more accurate than the ones present in the literature. We provide rigorous error estimates for the estimators. Furthermore we use the detected boundary points to solve boundary-value problems for PDE on point clouds. We prove error estimates for the Laplace and eikonal equations on point clouds. Finally we provide a range of numerical experiments illustrating the performance of our boundary estimators, applications to PDE on point clouds, and tests on image data sets.


title: The solid-fluid transmission problem

abstract: We study microlocally the transmission problem at the interface between an isotropic linear elastic solid and a linear inviscid fluid. We set up a system of evolution equations describing the particle displacement and velocity in the solid, and pressure and velocity in the fluid, coupled by suitable transmission conditions at the interface. We show well posedness for the coupled system and study the problem microlocally, constructing a parametrix for it using geometric optics. This construction describes the reflected and transmitted waves, including mode converted ones, related to incoming waves from either side. We also study formation of surface Scholte waves. Finally, we prove that under suitable assumptions, we can recover the s- and the p-speeds, as well as the speed of the liquid, from boundary measurements.


title: The Boundary Yamabe Problem, I: Minimal Boundary Case

abstract: We apply iteration schemes and perturbation methods to provide a complete solution of the boundary Yamabe problem with minimal boundary scenario, or equivalently, the existence of a real, positive, smooth solution of $ -\frac{4(n -1)}{n - 2} \Delta_{g} u + S_{g} u = \lambda u^{\frac{n+2}{n - 2}} $ in $ M $, $ \frac{\partial u}{\partial \nu} + \frac{n-2}{2} h_{g} u = 0 $ on $ \partial M $. Thus $ g $ is conformal to to the metric $ \tilde{g} = u^{\frac{4}{n -2}} g $ of constant scalar curvature $ \lambda $ with minimal boundary. In contrast to the classical method of calculus of variations with assumptions on Weyl tensors and classification of types of points on $ \partial M $, the boundary Yamabe problem is fully solved here in three cases classified by the sign of the first eigenvalue $ \eta_{1} $ of the conformal Laplacian with Robin condition. When $ \eta_{1} < 0 $, a pair of global sub-solution and super-solution are constructed. When $ \eta_{1} > 0 $, a perturbed boundary Yamabe equation $ -\frac{4(n -1)}{n - 2} \Delta_{g} u_{\beta} + \left( S_{g} + \beta \right) u_{\beta} = \lambda_{\beta} u_{\beta}^{\frac{n+2}{n - 2}} $ in $ M $, $ \frac{\partial u_{\beta}}{\partial \nu} + \frac{n-2}{2} h_{g} u_{\beta} = 0 $ on $ \partial M $ is solved with $ \beta < 0 $. The boundary Yamabe equation is then solved by taking $ \beta \rightarrow 0^{-} $. The signs of scalar curvature $ S_{g} $ and mean curvature $ h_{g} $ play important roles in this existence result.


title: Augmentations in Graph Contrastive Learning: Current Methodological Flaws & Towards Better Practices

abstract: Unsupervised graph representation learning is critical to a wide range of applications where labels may be scarce or expensive to procure. Contrastive learning (CL) is an increasingly popular paradigm for such settings and the state-of-the-art in unsupervised visual representation learning. Recent work attributes the success of visual CL to use of task-relevant augmentations and large, diverse datasets. Interestingly, graph CL frameworks report strong performance despite using orders of magnitude smaller datasets and employing domain-agnostic graph augmentations (DAGAs). Motivated by this discrepancy, we probe the quality of representations learnt by popular graph CL frameworks using DAGAs. We find that DAGAs can destroy task-relevant information and harm the model's ability to learn discriminative representations. On small benchmark datasets, we show the inductive bias of graph neural networks can significantly compensate for this weak discriminability. Based on our findings, we propose several sanity checks that enable practitioners to quickly assess the quality of their model's learned representations. We further propose a broad strategy for designing task-aware augmentations that are amenable to graph CL and demonstrate its efficacy on two large-scale, complex graph applications. For example, in graph-based document classification, we show task-aware augmentations improve accuracy up to 20%.


title: Breaking the $n^k$ Barrier for Minimum $k$-cut on Simple Graphs

abstract: In the minimum $k$-cut problem, we want to find the minimum number of edges whose deletion breaks the input graph into at least $k$ connected components. The classic algorithm of Karger and Stein runs in $\tilde O(n^{2k-2})$ time, and recent, exciting developments have improved the running time to $O(n^k)$. For general, weighted graphs, this is tight assuming popular hardness conjectures. In this work, we show that perhaps surprisingly, $O(n^k)$ is not the right answer for simple, unweighted graphs. We design an algorithm that runs in time $O(n^{(1-\epsilon)k})$ where $\epsilon>0$ is an absolute constant, breaking the natural $n^k$ barrier. This establishes a separation of the two problems in the unweighted and weighted cases.


title: Infinite-time incompleteness of noncompact Yamabe flow

abstract: We show the noninheritance of the completeness of the noncompact Yamabe flow. Our main theorem states the existence of a long time solution which is complete for each time and converges to an incomplete Riemannian metric. This shows the occurrence of the infinite-time incompleteness.


title: Quantile index regression

abstract: Estimating the structures at high or low quantiles has become an important subject and attracted increasing attention across numerous fields. However, due to data sparsity at tails, it usually is a challenging task to obtain reliable estimation, especially for high-dimensional data. This paper suggests a flexible parametric structure to tails, and this enables us to conduct the estimation at quantile levels with rich observations and then to extrapolate the fitted structures to far tails. The proposed model depends on some quantile indices and hence is called the quantile index regression. Moreover, the composite quantile regression method is employed to obtain non-crossing quantile estimators, and this paper further establishes their theoretical properties, including asymptotic normality for the case with low-dimensional covariates and non-asymptotic error bounds for that with high-dimensional covariates. Simulation studies and an empirical example are presented to illustrate the usefulness of the new model.


title: A quantum ring gyroscope based on coherence de Broglie waves

abstract: In a Mach-Zenhder interferometer (MZI), the highest precision for a measurement error is given by vacuum fluctuations of quantum mechanics, resulting in a shot noise limit1,2,3,4,5. Because the intensity measurement in an MZI is correlated with the phase difference, the precision measurement ({\Delta}n) is coupled with the phase resolution ({\Delta}{\phi}) by the Heisenberg uncertainty principle. Quantum metrology offers a different solution to this precision measurement using nonclassical light such as squeezed light or higher-order entangled-photon pairs, resulting in a smaller {\Delta}{\phi} for the same {\Delta}n3,4,5,6,7,8. Here, we propose another method for the high precision measurement overcoming the Heisenberg photon-phase relation, where the smaller {\Delta}{\phi} is achieved by phase quantization in a coupled interferometric system via coherence de Broglie waves (CBWs)9,10. For a potential application of the proposed method, a quantum ring gyroscope is presented as a quantum version of the conventional ring laser gyroscope used for inertial navigation and geodesy11-13.


title: Technical Report: Disentangled Action Parsing Networks for Accurate Part-level Action Parsing

abstract: Part-level Action Parsing aims at part state parsing for boosting action recognition in videos. Despite of dramatic progresses in the area of video classification research, a severe problem faced by the community is that the detailed understanding of human actions is ignored. Our motivation is that parsing human actions needs to build models that focus on the specific problem. We present a simple yet effective approach, named disentangled action parsing (DAP). Specifically, we divided the part-level action parsing into three stages: 1) person detection, where a person detector is adopted to detect all persons from videos as well as performs instance-level action recognition; 2) Part parsing, where a part-parsing model is proposed to recognize human parts from detected person images; and 3) Action parsing, where a multi-modal action parsing network is used to parse action category conditioning on all detection results that are obtained from previous stages. With these three major models applied, our approach of DAP records a global mean of $0.605$ score in 2021 Kinetics-TPS Challenge.


title: Generalized parton distributions of the proton from lattice QCD

abstract: Generalized parton distributions (GPDs) are among the most fundamental quantities for describing the internal structure of hadrons. In this work, we present results on isovector GPDs of the proton obtained within lattice Quantum Chromodynamics. We use the quasi-distribution formalism and perform the calculations on an ensemble of $N_f = 2 + 1 + 1$ twisted mass fermions, with pion mass $M_\pi=260$~MeV and lattice spacing $a\simeq 0.093$~fm. Results are presented for unpolarized, helicity, and transversity GPDs at zero and nonzero skewness with controlled statistical uncertainties. Comparisons with their forward limit show qualitative features anticipated from model calculations.


title: SPECTRe: Substructure Processing, Enumeration, and Comparison Tool Resource: An efficient tool to encode all substructures of molecules represented in SMILES

abstract: Functional groups and moieties are chemical descriptors of biomolecules that can be used to interpret their properties and functions, leading to the understanding of chemical or biological mechanisms. These chemical building blocks, or sub-structures, enable the identification of common molecular subgroups, assessing the structural similarities and critical interactions among a set of biological molecules with known activities, and designing novel compounds with similar chemical properties. Here, we introduce a Python-based tool, SPECTRe (Substructure Processing, Enumeration, and Comparison Tool Resource), designed to provide all substructures in a given molecular structure, regardless of the molecule size, employing efficient enumeration and generation of substructures represented in a human-readable SMILES format through the use of classical graph traversal (breadth-first and depth-first search) algorithms. We demonstrate the application of SPECTRe for a set of 10,375 molecules in the molecular weight range 27 to 350 Da (<=26 non-hydrogen atoms), spanning a wide array of structure-based chemical functionalities and chemical classes. We found that the substructure count as a measure of molecular complexity depends strongly on the number of unique atom and bond types present, degree of branching, and presence of rings. The substructure counts are found to be similar for a set of molecules belonging to particular chemical classes and classified based on the characteristic features of certain topologies. We demonstrate that SPECTRe shows promise to be useful in many applications of cheminformatics such as virtual screening for drug discovery, property prediction, fingerprint-based molecular similarity searching, and data mining for identifying frequent substructures.


title: Attempting perfect hypergraphs

abstract: We study several extensions of the notion of perfect graphs to $k$-uniform hypergraphs.


title: Mean-Field Approximation based Scheduling for Broadcast Channels with Massive Receivers

abstract: The emerging Industrial Internet of Things (IIoT) is driving an ever increasing demand for providing low latency services to massive devices over wireless channels. As a result, how to assure the quality-of-service (QoS) for a large amount of mobile users is becoming a challenging issue in the envisioned sixth-generation (6G) network. In such networks, the delay-optimal wireless access will require a joint channel and queue aware scheduling, whose complexity increases exponentially with the number of users. In this paper, we adopt the mean field approximation to conceive a buffer-aware multi-user diversity or opportunistic access protocol, which serves all backlogged packets of a user if its channel gain is beyond a threshold. A theoretical analysis and numerical results will demonstrate that not only the cross-layer scheduling policy is of low complexity but is also asymptotically optimal for a huge number of devices.


title: Approximations of the Riley slice

abstract: Adapting the ideas of L. Keen and C. Series used in their study of the Riley slice of Schottky groups generated by two parabolics, we explicitly identify `half-space' neighbourhoods of pleating rays which lie completely in the Riley slice. This gives a provable method to determine if a point is in the Riley slice or not. We also discuss the family of Farey polynomials which determine the rational pleating rays and their root set which determines the Riley slice; this leads to a dynamical systems interpretation of the slice. Adapting these methods to the case of Schottky groups generated by two elliptic elements in subsequent work facilitates the programme to identify all the finitely many arithmetic generalised triangle groups and their kin.


title: Multi-Spectral Multi-Image Super-Resolution of Sentinel-2 with Radiometric Consistency Losses and Its Effect on Building Delineation

abstract: High resolution remote sensing imagery is used in broad range of tasks, including detection and classification of objects. High-resolution imagery is however expensive, while lower resolution imagery is often freely available and can be used by the public for range of social good applications. To that end, we curate a multi-spectral multi-image super-resolution dataset, using PlanetScope imagery from the SpaceNet 7 challenge as the high resolution reference and multiple Sentinel-2 revisits of the same imagery as the low-resolution imagery. We present the first results of applying multi-image super-resolution (MISR) to multi-spectral remote sensing imagery. We, additionally, introduce a radiometric consistency module into MISR model the to preserve the high radiometric resolution of the Sentinel-2 sensor. We show that MISR is superior to single-image super-resolution and other baselines on a range of image fidelity metrics. Furthermore, we conduct the first assessment of the utility of multi-image super-resolution on building delineation, showing that utilising multiple images results in better performance in these downstream tasks.


title: A First-Order Approach to Model Simultaneous Control of Multiple Microrobots

abstract: The control of swarm systems is relatively well understood for simple robotic platforms at the macro scale. However, there are still several unanswered questions about how similar results can be achieved for microrobots. In this paper, we propose a modeling framework based on a dynamic model of magnetized self-propelling Janus microrobots under a global magnetic field. We verify our model experimentally and provide methods that can aim at accurately describing the behavior of microrobots while modeling their simultaneous control. The model can be generalized to other microrobotic platforms in low Reynolds number environments.


title: Giant oscillatory Gilbert damping in superconductor/ferromagnet/superconductor junctions

abstract: Interfaces between materials with differently ordered phases present unique opportunities for exotic physical properties, especially the interplay between ferromagnetism and superconductivity in the ferromagnet/superconductor heterostructures. The investigation of zero- and pi-junctions has been of particular interest for both fundamental physical science and emerging technologies. Here, we report the experimental observation of giant oscillatory Gilbert damping in the superconducting Nb/NiFe/Nb junctions with respect to the NiFe thickness. This observation suggests an unconventional spin pumping and relaxation via zero-energy Andreev bound states that exist only in the Nb/NiFe/Nb pi-junctions, but not in the Nb/NiFe/Nb zero-junctions. Our findings could be important for further exploring the exotic physical properties of ferromagnet/superconductor heterostructures, and potential applications of ferromagnet pi-junctions in quantum computing, such as half-quantum flux qubits.


title: Deep Joint Source-Channel Coding for Image Transmission with Visual Protection

abstract: Joint source-channel coding (JSCC) has achieved great success due to the introduction of deep learning (DL). Compared to traditional separate source-channel coding (SSCC) schemes, the advantages of DL-based JSCC (DJSCC) include high spectrum efficiency, high reconstruction quality, and relief of "cliff effect". However, it is difficult to couple existing secure communication mechanisms (e.g., encryption-decryption mechanism) with DJSCC in contrast with traditional SSCC schemes, which hinders the practical usage of this emerging technology. To this end, our paper proposes a novel method called DL-based joint protection and source-channel coding (DJPSCC) for images that can successfully protect the visual content of the plain image without significantly sacrificing image reconstruction performance. The idea of the design is to use a neural network to conduct visual protection, which converts the plain image to a visually protected one with the consideration of its interaction with DJSCC. During the training stage, the proposed DJPSCC method learns: 1) deep neural networks for image protection and image deprotection, and 2) an effective DJSCC network for image transmission in the protected domain. Compared to existing source protection methods applied with DJSCC transmission, the DJPSCC method achieves much better reconstruction performance.


title: RASEC: Rescaling Acquisition Strategy with Energy Constraints under SE-OU Fusion Kernel for Active Trachea Palpation and Incision Recommendation in Laryngeal Region

abstract: A novel palpation-based incision detection strategy in the laryngeal region, potentially for robotic tracheotomy, is proposed in this letter. A tactile sensor is introduced to measure tissue hardness in the specific laryngeal region by gentle contact. The kernel fusion method is proposed to combine the Squared Exponential (SE) kernel with Ornstein-Uhlenbeck (OU) kernel to figure out the drawbacks that the existing kernel functions are not sufficiently optimal in this scenario. Moreover, we further regularize exploration factor and greed factor, and the tactile sensor's moving distance and the robotic base link's rotation angle during the incision localization process are considered as new factors in the acquisition strategy. We conducted simulation and physical experiments to compare the newly proposed algorithm - Rescaling Acquisition Strategy with Energy Constraints (RASEC) in trachea detection with current palpation-based acquisition strategies. The result indicates that the proposed acquisition strategy with fusion kernel can successfully localize the incision with the highest algorithm performance (Average Precision 0.932, Average Recall 0.973, Average F1 score 0.952). During the robotic palpation process, the cumulative moving distance is reduced by 50%, and the cumulative rotation angle is reduced by 71.4% with no sacrifice in the comprehensive performance capabilities. Therefore, it proves that RASEC can efficiently suggest the incision zone in the laryngeal region and greatly reduced the energy loss.


title: Locally Feasibly Projected Sequential Quadratic Programming for Nonlinear Programming on Arbitrary Smooth Constraint Manifolds

abstract: High-dimensional nonlinear optimization problems subject to nonlinear constraints can appear in several contexts including constrained physical and dynamical systems, statistical estimation, and other numerical models. Feasible optimization routines can sometimes be valuable if the objective function is only defined on the feasible set or if numerical difficulties associated with merit functions or infeasible termination arise during the use of infeasible optimization routines. Drawing on the Riemannian optimization and sequential quadratic programming literature, a practical algorithm is constructed to conduct feasible optimization on arbitrary implicitly defined constraint manifolds. Specifically, with $n$ (potentially bound-constrained) variables and $m < n$ nonlinear constraints, each outer optimization loop iteration involves a single $O(nm^2)$-flop factorization, and computationally efficient retractions are constructed that involve $O(nm)$-flop inner loop iterations. A package, LFPSQP.jl, is created using the Julia language that takes advantage of automatic differentiation and projected conjugate gradient methods for use in inexact/truncated Newton steps.


title: Towards Designing Optimal Sensing Matrices for Generalized Linear Inverse Problems

abstract: We consider an inverse problem $\mathbf{y}= f(\mathbf{Ax})$, where $\mathbf{x}\in\mathbb{R}^n$ is the signal of interest, $\mathbf{A}$ is the sensing matrix, $f$ is a nonlinear function and $\mathbf{y} \in \mathbb{R}^m$ is the measurement vector. In many applications, we have some level of freedom to design the sensing matrix $\mathbf{A}$, and in such circumstances we could optimize $\mathbf{A}$ to achieve better reconstruction performance. As a first step towards optimal design, it is important to understand the impact of the sensing matrix on the difficulty of recovering $\mathbf{x}$ from $\mathbf{y}$. In this paper, we study the performance of one of the most successful recovery methods, i.e., the expectation propagation (EP) algorithm. We define a notion of spikiness for the spectrum of $\bmmathbfA}$ and show the importance of this measure for the performance of EP. We show that whether a spikier spectrum can hurt or help the recovery performance depends on $f$. Based on our framework, we are able to show that, in phase-retrieval problems, matrices with spikier spectrums are better for EP, while in 1-bit compressed sensing problems, less spiky spectrums lead to better performance. Our results unify and substantially generalize existing results that compare Gaussian and orthogonal matrices, and provide a platform towards designing optimal sensing systems.