title: Design Strength-Ductility Synergy of Metastable High-Entropy Alloys by Tailoring Unstable Fault Energies

abstract: Metastable alloys with transformation/twinning-induced plasticity (TRIP/TWIP) can overcome the strength-ductility trade-off in structural materials. Originated from the development of traditional alloys, the intrinsic stacking fault energy (ISFE) has been relied to tailor TRIP/TWIP in high-entropy alloys (HEA), but with limited quantitative success. Herein, we demonstrate a new strategy for designing metastable HEAs and validate its effectiveness by discovering seven new alloys with experimentally observed metastability for TRIP/TWIP. We propose unstable fault energies as the more effective design metric and attribute the deformation mechanism of metastable face-centered cubic alloys to UMFE (unstable martensite fault energy)/UTFE (unstable twin fault energy) rather than ISFE. Among the studied HEAs and steels, the traditional ISFE criterion fails in more than half of the cases, while the UMFE/UTFE criterion accurately predicts the deformation mechanisms in all cases. The UMFE/UTFE criterion provides a new paradigm for developing metastable alloys with TRIP/TWIP for enhanced strength-ductility synergy.


title: Attacks on Onion Discovery and Remedies via Self-Authenticating Traditional Addresses

abstract: Onion addresses encode their own public key. They are thus self-authenticating, one of the security and privacy advantages of onion services, which are typically accessed via Tor Browser. Because of the mostly random-looking appearance of onion addresses, a number of onion discovery mechanisms have been created to permit routing to an onion address associated with a more meaningful URL, such as a registered domain name. We describe novel vulnerabilities engendered by onion discovery mechanisms recently introduced by Tor Browser that facilitate hijack and tracking of user connections. We also recall previously known hijack and tracking vulnerabilities engendered by use of alternative services that are facilitated and rendered harder to detect if the alternative service is at an onion address. Self-authenticating traditional addresses (SATAs) are valid DNS addresses or URLs that also contain a commitment to an onion public key. We describe how the use of SATAs in onion discovery counters these vulnerabilities. SATAs also expand the value of onion discovery by facilitating self-authenticated access from browsers that do not connect to services via the Tor network.


title: Steady state in strong system-bath coupling: mean force Gibbs state versus reaction coordinate

abstract: Motivated by the growing importance of strong system-bath coupling in several branches of quantum information and related technological applications, we analyze and compare two strategies currently used to obtain (approximately) steady states in strong coupling. The first strategy is based on perturbative expansions while the second one uses reaction coordinate mapping. Focusing on the widely used spin-boson model, we show that, as expected and hoped, the predictions of these two strategies coincide for some parameter regions. This confirms and strengthens the relevance of both techniques. Beyond that, it is also crucial to know precisely their respective range of validity. In that perspective, thanks to their different limitations, we use one to benchmark the other. We introduce and successfully test some very simple validity criteria for both strategies, bringing some answers to the question of the validity range.


title: TreeGCN-ED: Encoding Point Cloud using a Tree-Structured Graph Network

abstract: Point cloud is one of the widely used techniques for representing and storing 3D geometric data. In the past several methods have been proposed for processing point clouds. Methods such as PointNet and FoldingNet have shown promising results for tasks like 3D shape classification and segmentation. This work proposes a tree-structured autoencoder framework to generate robust embeddings of point clouds by utilizing hierarchical information using graph convolution. We perform multiple experiments to assess the quality of embeddings generated by the proposed encoder architecture and visualize the t-SNE map to highlight its ability to distinguish between different object classes. We further demonstrate the applicability of the proposed framework in applications like: 3D point cloud completion and Single image-based 3D reconstruction.


title: Assemblies of neurons learn to classify well-separated distributions

abstract: An assembly is a large population of neurons whose synchronous firing is hypothesized to represent a memory, concept, word, and other cognitive categories. Assemblies are believed to provide a bridge between high-level cognitive phenomena and low-level neural activity. Recently, a computational system called the Assembly Calculus (AC), with a repertoire of biologically plausible operations on assemblies, has been shown capable of simulating arbitrary space-bounded computation, but also of simulating complex cognitive phenomena such as language, reasoning, and planning. However, the mechanism whereby assemblies can mediate learning has not been known. Here we present such a mechanism, and prove rigorously that, for simple classification problems defined on distributions of labeled assemblies, a new assembly representing each class can be reliably formed in response to a few stimuli from the class; this assembly is henceforth reliably recalled in response to new stimuli from the same class. Furthermore, such class assemblies will be distinguishable as long as the respective classes are reasonably separated -- for example, when they are clusters of similar assemblies. To prove these results, we draw on random graph theory with dynamic edge weights to estimate sequences of activated vertices, yielding strong generalizations of previous calculations and theorems in this field over the past five years. These theorems are backed up by experiments demonstrating the successful formation of assemblies which represent concept classes on synthetic data drawn from such distributions, and also on MNIST, which lends itself to classification through one assembly per digit. Seen as a learning algorithm, this mechanism is entirely online, generalizes from very few samples, and requires only mild supervision -- all key attributes of learning in a model of the brain.


title: Ideal Quantum Tele-amplification up to a Selected Energy Cut-off using Linear Optics

abstract: We introduce a linear optical technique that can implement ideal quantum tele-amplification up to the $n^\mathrm{th}$ Fock state, where $n$ can be any positive integer. Here tele-amplification consists of both quantum teleportation and noiseless linear amplification (NLA). This simple protocol consists of a beam-splitter and an $(n+1)$-splitter, with $n$ ancillary photons and detection of $n$ photons. For a given target fidelity, our technique improves success probability and physical resource costs by orders of magnitude over current alternative teleportation and NLA schemes. We show how this protocol can also be used as a loss-tolerant quantum relay for entanglement distribution and distillation.


title: Multi-objective Optimization by Learning Space Partitions

abstract: In contrast to single-objective optimization (SOO), multi-objective optimization (MOO) requires an optimizer to find the Pareto frontier, a subset of feasible solutions that are not dominated by other feasible solutions. In this paper, we propose LaMOO, a novel multi-objective optimizer that learns a model from observed samples to partition the search space and then focus on promising regions that are likely to contain a subset of the Pareto frontier. The partitioning is based on the dominance number, which measures "how close" a data point is to the Pareto frontier among existing samples. To account for possible partition errors due to limited samples and model mismatch, we leverage Monte Carlo Tree Search (MCTS) to exploit promising regions while exploring suboptimal regions that may turn out to contain good solutions later. Theoretically, we prove the efficacy of learning space partitioning via LaMOO under certain assumptions. Empirically, on the HyperVolume (HV) benchmark, a popular MOO metric, LaMOO substantially outperforms strong baselines on multiple real-world MOO tasks, by up to 225% in sample efficiency for neural architecture search on Nasbench201, and up to 10% for molecular design.


title: Transferring Voice Knowledge for Acoustic Event Detection: An Empirical Study

abstract: Detection of common events and scenes from audio is useful for extracting and understanding human contexts in daily life. Prior studies have shown that leveraging knowledge from a relevant domain is beneficial for a target acoustic event detection (AED) process. Inspired by the observation that many human-centered acoustic events in daily life involve voice elements, this paper investigates the potential of transferring high-level voice representations extracted from a public speaker dataset to enrich an AED pipeline. Towards this end, we develop a dual-branch neural network architecture for the joint learning of voice and acoustic features during an AED process and conduct thorough empirical studies to examine the performance on the public AudioSet [1] with different types of inputs. Our main observations are that: 1) Joint learning of audio and voice inputs improves the AED performance (mean average precision) for both a CNN baseline (0.292 vs 0.134 mAP) and a TALNet [2] baseline (0.361 vs 0.351 mAP); 2) Augmenting the extra voice features is critical to maximize the model performance with dual inputs.


title: Fingerprinting Multi-exit Deep Neural Network Models via Inference Time

abstract: Transforming large deep neural network (DNN) models into the multi-exit architectures can overcome the overthinking issue and distribute a large DNN model on resource-constrained scenarios (e.g. IoT frontend devices and backend servers) for inference and transmission efficiency. Nevertheless, intellectual property (IP) protection for the multi-exit models in the wild is still an unsolved challenge. Previous efforts to verify DNN model ownership mainly rely on querying the model with specific samples and checking the responses, e.g., DNN watermarking and fingerprinting. However, they are vulnerable to adversarial settings such as adversarial training and are not suitable for the IP verification for multi-exit DNN models. In this paper, we propose a novel approach to fingerprint multi-exit models via inference time rather than inference predictions. Specifically, we design an effective method to generate a set of fingerprint samples to craft the inference process with a unique and robust inference time cost as the evidence for model ownership. We conduct extensive experiments to prove the uniqueness and robustness of our method on three structures (ResNet-56, VGG-16, and MobileNet) and three datasets (CIFAR-10, CIFAR-100, and Tiny-ImageNet) under comprehensive adversarial settings.


title: Emergence of Robust and Efficient Networks in a Family of Attachment Models

abstract: Self-organization of robust and efficient networks is important for a future design of communication or transportation systems, because both characteristics are not coexisting in many real networks. As one of the candidates for the coexisting, the optimal robustness of onion-like structure with positive degree-degree correlations has recently been found, and it can be generated by incrementally growing methods based on a pair of random and intermediation attachments with the minimum degree selection. In this paper, we introduce a continuous interpolation by a parameter $\beta\geq 0$ between random and the minimum degree attachments to investigate the reason why the minimum degree selection is important. However, we find that the special case of the minimum degree attachment can generate highly robust networks but with low efficiency as a chain structure. Furthermore, we consider two intermediation models modified with the inverse preferential attachment for investigating the effect of distance on the emergence of robust onion-like structure. The inverse preferential attachments in a class of mixed attachment and two intermediation models are effective for the emergence of robust onion-like structure, however, when $\beta$ is large enough, a small amount of random attachment is necessary for the network efficiency. Such attachment models indicate a prospective direction to the future growth of our network infrastructures.


title: EE-Net: Exploitation-Exploration Neural Networks in Contextual Bandits

abstract: In this paper, we propose a novel neural exploration strategy in contextual bandits, EE-Net, distinct from the standard UCB-based and TS-based approaches. Contextual multi-armed bandits have been studied for decades with various applications. To solve the exploitation-exploration tradeoff in bandits, there are three main techniques: epsilon-greedy, Thompson Sampling (TS), and Upper Confidence Bound (UCB). In recent literature, linear contextual bandits have adopted ridge regression to estimate the reward function and combine it with TS or UCB strategies for exploration. However, this line of works explicitly assumes the reward is based on a linear function of arm vectors, which may not be true in real-world datasets. To overcome this challenge, a series of neural bandit algorithms have been proposed, where a neural network is used to learn the underlying reward function and TS or UCB are adapted for exploration. Instead of calculating a large-deviation based statistical bound for exploration like previous methods, we propose "EE-Net", a novel neural-based exploration strategy. In addition to using a neural network (Exploitation network) to learn the reward function, EE-Net uses another neural network (Exploration network) to adaptively learn potential gains compared to the currently estimated reward for exploration. Then, a decision-maker is constructed to combine the outputs from the Exploitation and Exploration networks. We prove that EE-Net can achieve $\mathcal{O}(\sqrt{T\log T})$ regret and show that EE-Net outperforms existing linear and neural contextual bandit baselines on real-world datasets.


title: Representations by ordered Bell and degenerate ordered Bell polynomials

abstract: In this paper, we consider the problem of representing any polynomial in terms of the ordered Bell and degenerate ordered Bell polynomials, and more generally of the higher-order ordered Bell and higher-order degenerate ordered Bell polynomials. We derive explicit formulas with the help of umbral calculus and illustrate our results with some examples.


title: HowSumm: A Multi-Document Summarization Dataset Derived from WikiHow Articles

abstract: We present HowSumm, a novel large-scale dataset for the task of query-focused multi-document summarization (qMDS), which targets the use-case of generating actionable instructions from a set of sources. This use-case is different from the use-cases covered in existing multi-document summarization (MDS) datasets and is applicable to educational and industrial scenarios. We employed automatic methods, and leveraged statistics from existing human-crafted qMDS datasets, to create HowSumm from wikiHow website articles and the sources they cite. We describe the creation of the dataset and discuss the unique features that distinguish it from other summarization corpora. Automatic and human evaluations of both extractive and abstractive summarization models on the dataset reveal that there is room for improvement.


title: The Parameter-Level Performance of Covariance Matrix Conditioning in Cosmic Microwave Background Data Analyses

abstract: Empirical estimates of the band power covariance matrix are commonly used in cosmic microwave background (CMB) power spectrum analyses. While this approach easily captures correlations in the data, noise in the resulting covariance estimate can systematically bias the parameter fitting. Conditioning the estimated covariance matrix, by applying prior information on the shape of the eigenvectors, can reduce these biases and ensure the recovery of robust parameter constraints. In this work, we use simulations to benchmark the performance of four different conditioning schemes, motivated by contemporary CMB analyses. The simulated surveys measure the $TT$, $TE$, and $EE$ power spectra over the angular multipole range $300 \le \ell \le 3500$ in $\Delta \ell = 50$ wide bins, for temperature map-noise levels of $10, 6.4$ and $2\,\mu$K-arcmin. We divide the survey data into $N_{\mathrm{real}} = 30, 50,$ or 100 uniform subsets. We show the results of different conditioning schemes on the errors in the covariance estimate, and how these uncertainties on the covariance matrix propagate to the best-fit parameters and parameter uncertainties. The most significant effect we find is an additional scatter in the best-fit point, beyond what is expected from the data likelihood. For a minimal conditioning strategy, $N_{\mathrm{real}} = 30$, and a temperature map-noise level of 10$\,\mu$K-arcmin, we find the uncertainty on the recovered best fit parameter to be $\times 1.3$ larger than the apparent posterior width from the likelihood ($\times 1.2$ larger than the uncertainty when the true covariance is used). Stronger priors on the covariance matrix reduce the misestimation of parameter uncertainties to $<1\%$. As expected, empirical estimates perform better with higher $N_{\mathrm{real}}$, ameliorating the adverse effects on parameter constraints.


title: Tile Embedding: A General Representation for Procedural Level Generation via Machine Learning

abstract: In recent years, Procedural Level Generation via Machine Learning (PLGML) techniques have been applied to generate game levels with machine learning. These approaches rely on human-annotated representations of game levels. Creating annotated datasets for games requires domain knowledge and is time-consuming. Hence, though a large number of video games exist, annotated datasets are curated only for a small handful. Thus current PLGML techniques have been explored in limited domains, with Super Mario Bros. as the most common example. To address this problem, we present tile embeddings, a unified, affordance-rich representation for tile-based 2D games. To learn this embedding, we employ autoencoders trained on the visual and semantic information of tiles from a set of existing, human-annotated games. We evaluate this representation on its ability to predict affordances for unseen tiles, and to serve as a PLGML representation for annotated and unannotated games.


title: Quark stars in 4-dimensional Einstein-Gauss-Bonnet gravity

abstract: The article explores the first exact solution in a four-dimensional EGB-gravity with an anisotropic matter source. The solution has been found by two assumptions, a metric potential and the MIT-bag equation of state. Further, the solution has been tested with several physical constraints. Finally, using the boundary condition we have also estimated the range of bag constant $\mathcal{B}$ by varying the mass of the structure and the Gauss-Bonnet coupling constant $\alpha$. This allows us to check the physical viability of the solution by comparing it with the existing accepted range of bag constant $\mathcal{B}$.


title: Attention is All You Need? Good Embeddings with Statistics are enough:Large Scale Audio Understanding without Transformers/ Convolutions/ BERTs/ Mixers/ Attention/ RNNs or ....

abstract: This paper presents a way of doing large scale audio understanding without traditional state of the art neural architectures. Ever since the introduction of deep learning for understanding audio signals in the past decade, convolutional architectures have been able to achieve state of the art results surpassing traditional hand-crafted features. In the recent past, there has been a similar shift away from traditional convolutional and recurrent neural networks towards purely end-to-end Transformer architectures. We, in this work, explore an approach, based on Bag-of-Words model. Our approach does not have any convolutions, recurrence, attention, transformers or other approaches such as BERT. We utilize micro and macro level clustered vanilla embeddings, and use a MLP head for classification. We only use feed-forward encoder-decoder models to get the bottlenecks of spectral envelops, spectral patches and slices as well as multi-resolution spectra. A classification head (a feed-forward layer), similar to the approach in SimCLR is trained on a learned representation. Using simple codes learned on latent representations, we show how we surpass traditional convolutional neural network architectures, and come strikingly close to outperforming powerful Transformer architectures. This work hopefully would pave way for exciting advancements in the field of representation learning without massive, end-to-end neural architectures.


title: Explaining Deep Reinforcement Learning Agents In The Atari Domain through a Surrogate Model

abstract: One major barrier to applications of deep Reinforcement Learning (RL) both inside and outside of games is the lack of explainability. In this paper, we describe a lightweight and effective method to derive explanations for deep RL agents, which we evaluate in the Atari domain. Our method relies on a transformation of the pixel-based input of the RL agent to an interpretable, percept-like input representation. We then train a surrogate model, which is itself interpretable, to replicate the behavior of the target, deep RL agent. Our experiments demonstrate that we can learn an effective surrogate that accurately approximates the underlying decision making of a target agent on a suite of Atari games.


title: The Isaac Newton Telescope monitoring survey of Local Group dwarf galaxies. II. The star formation history of Andromeda I derived from long period variables

abstract: An optical monitoring survey in the nearby dwarf galaxies was carried out with the 2.5-m Isaac Newton Telescope (INT). 55 dwarf galaxies and four isolated globular clusters in the Local Group (LG) were observed with the Wide Field Camera (WFC). The main aims of this survey are to identify the most evolved asymptotic giant branch (AGB) stars and red supergiants at the end-point of their evolution based on their pulsational instability, use their distribution over luminosity to reconstruct the star formation history (SFH), quantify the dust production and mass loss from modelling the multi-wavelength spectral energy distributions, and relate this to luminosity and radius variations. In this second of a series of papers, we present the methodology used to estimate SFH based on long-period variable (LPV) stars and then derive it for Andromeda\,I (And\,I) dwarf galaxy as an example of the survey. Using our identified 59 LPV candidates within two half-light radii of And\,I and Padova stellar evolution models, we estimated the SFH of this galaxy. A major epoch of star formation occurred in And\,I peaking around 6.6 Gyr ago, reaching $0.0035\pm0.0016$ M$_\odot$ yr$^{-1}$ and only slowly declining until 1--2 Gyr ago. The presence of some dusty LPVs in this galaxy corresponds to a slight increase in recent star formation peaking around 800 Myr ago. We evaluate a quenching time around 4 Gyr ago ($z<0.5$), which makes And\,I a late-quenching dSph. A total stellar mass $(16\pm7)\times10^6$ M$_\odot$ is calculated within two half-light radii of And\,I for a constant metallicity $Z=0.0007$.


title: Unraveling higher-order corrections in the spin dynamics of RIXS spectra

abstract: Resonant inelastic x-ray scattering (RIXS) is an evolving tool for investigating spin dynamics of strongly correlated materials, which complements inelastic neutron scattering. Both techniques have found that non-spin-conserving (NSC) excitations in quasi-1D isotropic quantum antiferromagnets are confined to the two-spinon phase space. Outside this phase space, only spin-conserving (SC) four-spinon excitations have been detected using O $K$-edge RIXS. Here, we investigate SrCuO$_2$ and find four-spinon excitations outside the two-spinon phase space at both O $K$- and Cu $L_3$-edges. Using the Kramers-Heisenberg formalism, we demonstrate that the four-spinon excitations arise from both SC and NSC processes at Cu $L_3$-edge. We show that these new excitations only appear in the second-order terms of the ultra-fast core-hole lifetime expansion and arise from long-range spin fluctuations. These results thus open a new window to the spin dynamics of quantum magnets.


title: On the Optimal Memorization Power of ReLU Neural Networks

abstract: We study the memorization power of feedforward ReLU neural networks. We show that such networks can memorize any $N$ points that satisfy a mild separability assumption using $\tilde{O}\left(\sqrt{N}\right)$ parameters. Known VC-dimension upper bounds imply that memorizing $N$ samples requires $\Omega(\sqrt{N})$ parameters, and hence our construction is optimal up to logarithmic factors. We also give a generalized construction for networks with depth bounded by $1 \leq L \leq \sqrt{N}$, for memorizing $N$ samples using $\tilde{O}(N/L)$ parameters. This bound is also optimal up to logarithmic factors. Our construction uses weights with large bit complexity. We prove that having such a large bit complexity is both necessary and sufficient for memorization with a sub-linear number of parameters.


title: Spacing Statistics of Energy Spectra: Random Matrices, Black Hole Thermalization, and Echoes

abstract: Recent advances in AdS/CFT holography have suggested that the near-horizon dynamics of black holes can be described by random matrix systems. We study how the energy spectrum of a system with a generic random Hamiltonian matrix affects its early and late time thermalization behaviour using the spectral form factor (which captures the time-dependence of two-point correlation functions). We introduce a simple statistical framework for generating random spectra in terms of the nearest neighbor spacing statistics of energy eigenvalues, enabling us to compute the averaged spectral form factor in a closed form. This helps to easily illustrate how the spectral form factor changes with different choices of nearest neighbor statistics ranging from the Poisson to Wigner surmise statistics. We suggest that it is possible to have late time oscillations in random matrix models involving $\beta$-ensembles (generalizing classical Gaussian ensembles). We also study the form factor of randomly coupled oscillator systems and show that at weak coupling, such systems exhibit regular decaying oscillations in the spectral form factor making them interesting toy models for gravitational wave echoes. We speculate on the holographic interpretation of a system of coupled oscillators, and suggest that they describe the thermalization behaviour of a black hole geometry with a membrane that cuts off the geometry at the stretched horizon.


title: Pointwise Bounds for Distribution Estimation under Communication Constraints

abstract: We consider the problem of estimating a $d$-dimensional discrete distribution from its samples observed under a $b$-bit communication constraint. In contrast to most previous results that largely focus on the global minimax error, we study the local behavior of the estimation error and provide \emph{pointwise} bounds that depend on the target distribution $p$. In particular, we show that the $\ell_2$ error decays with $O\left(\frac{\lVert p\rVert_{1/2}}{n2^b}\vee \frac{1}{n}\right)$ (In this paper, we use $a\vee b$ and $a \wedge b$ to denote $\max(a, b)$ and $\min(a,b)$ respectively.) when $n$ is sufficiently large, hence it is governed by the \emph{half-norm} of $p$ instead of the ambient dimension $d$. For the achievability result, we propose a two-round sequentially interactive estimation scheme that achieves this error rate uniformly over all $p$. Our scheme is based on a novel local refinement idea, where we first use a standard global minimax scheme to localize $p$ and then use the remaining samples to locally refine our estimate. We also develop a new local minimax lower bound with (almost) matching $\ell_2$ error, showing that any interactive scheme must admit a $\Omega\left( \frac{\lVert p \rVert_{{(1+\delta)}/{2}}}{n2^b}\right)$ $\ell_2$ error for any $\delta > 0$. The lower bound is derived by first finding the best parametric sub-model containing $p$, and then upper bounding the quantized Fisher information under this model. Our upper and lower bounds together indicate that the $\mathcal{H}_{1/2}(p) = \log(\lVert p \rVert_{{1}/{2}})$ bits of communication is both sufficient and necessary to achieve the optimal (centralized) performance, where $\mathcal{H}_{{1}/{2}}(p)$ is the R\'enyi entropy of order $2$. Therefore, under the $\ell_2$ loss, the correct measure of the local communication complexity at $p$ is its R\'enyi entropy.


title: Epoch of Reionization Power Spectrum Limits from Murchison Widefield Array Data Targeted at EoR1 Field

abstract: Current attempts to measure the 21cm Power Spectrum of neutral hydrogen during the Epoch of Reionization are limited by systematics which produce measured upper limits above both the thermal noise and the expected cosmological signal. These systematics arise from a combination of observational, instrumental, and analysis effects. In order to further understand and mitigate these effects, it is instructive to explore different aspects of existing datasets. One such aspect is the choice of observing field. To date, MWA EoR observations have largely focused on the EoR0 field. In this work, we present a new detailed analysis of the EoR1 field. The EoR1 field is one of the coldest regions of the Southern radio sky, but contains the very bright radio galaxy Fornax-A. The presence of this bright extended source in the primary beam of the interferometer makes the calibration and analysis of EoR1 particularly challenging. We demonstrate the effectiveness of a recently developed shapelet model of Fornax-A in improving the results from this field. We also describe and apply a series of data quality metrics which identify and remove systematically contaminated data. With substantially improved source models, upgraded analysis algorithms and enhanced data quality metrics, we determine EoR power spectrum upper limits based on analysis of the best $\sim$14-hours data observed during 2015 and 2014 at redshifts 6.5, 6.8 and 7.1, with the lowest $2\sigma$ upper limit at z=6.5 of $\Delta^2 \leq (73.78 ~\mathrm{mK)^2}$ at $k=0.13~\mathrm{h~ Mpc^{-1}}$, improving on previous EoR1 measurement results.


title: Deterministic Preparation of Non-Gaussian Quantum States: Applications in Quantum Information Protocols

abstract: We report a scheme for deterministic preparation of non-Gaussian quantum states on-demand. In contrast to probabilistic approaches for preparation of non-Gaussian quantum states, conditioned on photon subtraction or addition, we present a scheme that can prepare non-Gaussian quantum states on-demand, by applying a unitary transformation which removes the Gaussianity of measurement statistics of field quadratures, namely a quadrature rotation via transmission through a beam-splitter, using a two-mode photon-number squeezed state as input. The resulting state exhibits a quantum vortex structure in quadrature space, confirming its non-Gaussian nature. Such non-Gaussian quantum state also reveals increased entanglement content, as quantified by the Logarithmic Negativity and the Wigner function negative volume, therefore displaying high potential for applications in quantum information protocols, in particular for applications in entanglement distillation schemes.


title: GNN is a Counter? Revisiting GNN for Question Answering

abstract: Question Answering (QA) has been a long-standing research topic in AI and NLP fields, and a wealth of studies have been conducted to attempt to equip QA systems with human-level reasoning capability. To approximate the complicated human reasoning process, state-of-the-art QA systems commonly use pre-trained language models (LMs) to access knowledge encoded in LMs together with elaborately designed modules based on Graph Neural Networks (GNNs) to perform reasoning over knowledge graphs (KGs). However, many problems remain open regarding the reasoning functionality of these GNN-based modules. Can these GNN-based modules really perform a complex reasoning process? Are they under- or over-complicated for QA? To open the black box of GNN and investigate these problems, we dissect state-of-the-art GNN modules for QA and analyze their reasoning capability. We discover that even a very simple graph neural counter can outperform all the existing GNN modules on CommonsenseQA and OpenBookQA, two popular QA benchmark datasets which heavily rely on knowledge-aware reasoning. Our work reveals that existing knowledge-aware GNN modules may only carry out some simple reasoning such as counting. It remains a challenging open problem to build comprehensive reasoning modules for knowledge-powered QA.


title: Robust Segmentation of Cell Nuclei in 3-D Microscopy Images

abstract: Accurate segmentation of 3-D cell nuclei in microscopy images is essential for the study of nuclear organization, gene expression, and cell morphodynamics. Current image segmentation methods are challenged by the complexity and variability of microscopy images and often over-segment or under-segment the cell nuclei. Thus, there is a need to improve segmentation accuracy and reliability, as well as the level of automation. In this paper, we propose a new automated algorithm for robust segmentation of 3-D cell nuclei using the concepts of random walk, graph theory, and mathematical morphology as the foundation. Like other segmentation algorithms, we first use a seed detection/marker extraction algorithm to find a seed voxel for each individual cell nucleus. Next, using the concept of random walk on a graph we find the probability of all the pixels in the 3-D image to reach the seed pixels of each nucleus identified by the seed detection algorithm. We then generate a 3-D response image by combining these probabilities for each voxel and use the marker controlled watershed transform on this response image to obtain an initial segmentation of the cell nuclei. Finally, we apply local region-based active contours to obtain final segmentation of the cell nuclei. The advantage of using such an approach is that it is capable of accurately segmenting highly textured cells having inhomogeneous intensities and varying shapes and sizes. The proposed algorithm was compared with three other automated nucleus segmentation algorithms for segmentation accuracy using overlap measure, Tanimoto index, Rand index, F-score, and Hausdorff distance measure. Quantitative and qualitative results show that our algorithm provides improved segmentation accuracy compared to existing algorithms.


title: Nonlinear definition of the shadowy mode in higher-order scalar-tensor theories

abstract: We study U-DHOST theories, i.e., higher-order scalar-tensor theories which are degenerate only in the unitary gauge and yield an apparently unstable extra mode in a generic coordinate system. We show that the extra mode satisfies a three-dimensional elliptic differential equation on a spacelike hypersurface, and hence it does not propagate. We clarify how to treat this "shadowy" mode at both the linear and the nonlinear levels.


title: Coresets for Decision Trees of Signals

abstract: A $k$-decision tree $t$ (or $k$-tree) is a recursive partition of a matrix (2D-signal) into $k\geq 1$ block matrices (axis-parallel rectangles, leaves) where each rectangle is assigned a real label. Its regression or classification loss to a given matrix $D$ of $N$ entries (labels) is the sum of squared differences over every label in $D$ and its assigned label by $t$. Given an error parameter $\varepsilon\in(0,1)$, a $(k,\varepsilon)$-coreset $C$ of $D$ is a small summarization that provably approximates this loss to \emph{every} such tree, up to a multiplicative factor of $1\pm\varepsilon$. In particular, the optimal $k$-tree of $C$ is a $(1+\varepsilon)$-approximation to the optimal $k$-tree of $D$. We provide the first algorithm that outputs such a $(k,\varepsilon)$-coreset for \emph{every} such matrix $D$. The size $|C|$ of the coreset is polynomial in $k\log(N)/\varepsilon$, and its construction takes $O(Nk)$ time. This is by forging a link between decision trees from machine learning -- to partition trees in computational geometry. Experimental results on \texttt{sklearn} and \texttt{lightGBM} show that applying our coresets on real-world data-sets boosts the computation time of random forests and their parameter tuning by up to x$10$, while keeping similar accuracy. Full open source code is provided.


title: Explicitly Multi-Modal Benchmarks for Multi-Objective Optimization

abstract: In multi-objective optimization, designing good benchmark problems is an important issue for improving solvers. Controlling the global location of Pareto optima in existing benchmark problems has been problematic, and it is even more difficult when the design space is high-dimensional since visualization is extremely challenging. As a benchmarking with explicit local Pareto fronts, we introduce a benchmarking based on basin connectivity (3BC) by using basins of attraction. The 3BC allows for the specification of a multimodal landscape through a kind of topological analysis called the basin graph, effectively generating optimization problems from this graph. Various known indicators measure the performance of a solver in searching global Pareto optima, but using 3BC can make us localize them for each local Pareto front by restricting it to its basin. 3BC's mathematical formulation ensures the accurate representation of the specified optimization landscape, guaranteeing the existence of intended local and global Pareto optima.


title: Holography in de Sitter Space via Chern-Simons Gauge Theory

abstract: In this paper we propose a holographic duality for classical gravity on a three-dimensional de Sitter space. We first show that a pair of SU$(2)$ Chern-Simons gauge theories reproduces the classical partition function of Einstein gravity on a Euclidean de Sitter space, namely $\mathbb{S}^3$, when we take the limit where the level $k$ approaches $-2$. This implies that the CFT dual of gravity on a de Sitter space at the leading semi-classical order is given by an SU$(2)$ Wess-Zumino-Witten (WZW) model in the large central charge limit $k\to -2$. We give another evidence for this in the light of known holography for coset CFTs. We also present a higher spin gravity extension of our duality.


title: The Expected Depth of Random Real Algebraic Plane Curves

abstract: In this note we study asymptotic isotopy of random real algebraic plane curves. More precisely, we obtain a Kac-Rice type formula that gives the expected number of two-sided components (i.e.\ ovals) of a random real algebraic plane curve winding around a given point. In particular, we show that expected number of such ovals for an even degree Kostlan polynomial is $\frac{\sqrt{d}}{2}$ and independent of the given point.


title: An optimal control approach to particle filtering

abstract: We present a novel particle filtering framework for continuous-time dynamical systems with continuous-time measurements. Our approach is based on the duality between estimation and optimal control, which allows reformulating the estimation problem over a fixed time window into an optimal control problem. The resulting optimal control problem has a cost function that depends on the measurements and the closed-loop dynamics under optimal control coincides with the posterior distribution over the trajectories for the corresponding estimation problem. This type of stochastic optimal control problem can be solved using a remarkable technique known as path integral control. By recursively solving these optimal control problems using path integral control as new measurements become available we obtain an optimal control-based particle filtering algorithm. A distinguishing feature of the proposed method is that it uses the measurements over a finite-length time window instead of a single measurement for the estimation at each time step, resembling the batch methods of filtering, and improving fault tolerance. The efficacy of our algorithm is illustrated with several numerical examples.


title: High Dimensional Logistic Regression Under Network Dependence

abstract: Logistic regression is one of the most fundamental methods for modeling the probability of a binary outcome based on a collection of covariates. However, the classical formulation of logistic regression relies on the independent sampling assumption, which is often violated when the outcomes interact through an underlying network structure. This necessitates the development of models that can simultaneously handle both the network peer-effect (arising from neighborhood interactions) and the effect of high-dimensional covariates. In this paper, we develop a framework for incorporating such dependencies in a high-dimensional logistic regression model by introducing a quadratic interaction term, as in the Ising model, designed to capture pairwise interactions from the underlying network. The resulting model can also be viewed as an Ising model, where the node-dependent external fields linearly encode the high-dimensional covariates. We propose a penalized maximum pseudo-likelihood method for estimating the network peer-effect and the effect of the covariates, which, in addition to handling the high-dimensionality of the parameters, conveniently avoids the computational intractability of the maximum likelihood approach. Consequently, our method is computationally efficient and, under various standard regularity conditions, our estimate attains the classical high-dimensional rate of consistency. In particular, our results imply that even under network dependence it is possible to consistently estimate the model parameters at the same rate as in classical logistic regression, when the true parameter is sparse and the underlying network is not too dense. As a consequence of the general results, we derive the rates of consistency for various natural network models. We also develop an efficient algorithm for computing the estimates and validate our theoretical results in numerical experiments.


title: The Functional Role of the Hemoglobin-Water Interface

abstract: The interface between hemoglobin (Hb) and its environment, in particular water, is of great physiological relevance. Here, results from {\it in vitro}, {\it in vivo}, and computational experiments (molecular dynamics simulations) are summarized and put into perspective. One of the main findings from the computations is that the stability of the deoxy, ligand-free T-state (T$_0$) can be stabilized relative to the deoxy R-state (R$_0$) only in sufficiently large simulation boxes for the hydrophobic effect to manifest itself. This effect directly influences protein stability and is operative also under physiological conditions. Furthermore, molecular simulations provide a dynamical interpretation of the Perutz model for Hb function. Results from experiments using higher protein concentrations and realistic cellular environments are also discussed. One of the next great challenges for computational studies, which as we show is likely to be taken up in the near future, is to provide molecular-level understanding of the dynamics of proteins in such crowded environments.


title: On the distribution of additive twists of the divisor function and Hecke eigenvalues

abstract: We obtain asymptotics with a power saving error term for $\int_0^1|\sum_{n\le X} d(n)e(n\alpha)|^sd\alpha$ for $s < 2$, where $d(n) = \sum_{d | n} 1$ is the divisor function. We also obtain such asymptotics for $\int_0^1|\sum_{n\le X}\lambda_f(n)e(n\alpha)|^sd\alpha$ for all $s > 0$. Our proof an iterative method with repeated applications of Jutila's variant of the circle method and Voronoi summation.


title: Asymptotics of Karhunen-Lo{\`e}ve Eigenvalues for sub-fractional Brownian motion and its application

abstract: In the present paper, the Karhunen-Lo{\`e}ve eigenvalues for a sub-fractional Brownian motion are considered in the case of $H>\frac12$. Rigorous large $n$ asymptotics for those eigenvalues are shown, based on functional analysis method. By virtue of these asymptotics, along with some standard large deviations results, asymptotically estimates for the closely related problem of small $L^2$-ball probabilities for a sub-fractional Brownian motion are derived. By the way, asymptotic analysis on the Karhunen-Lo{\`e}ve eigenvalues for the corresponding "derivative" process is also established.


title: Flows in Enthalpy Based Thermal Evolution of Loops

abstract: Plasma-filled loop structures are common in the solar corona. Because detailed modeling of the dynamical evolution of these structures is computationally costly, an efficient method for computing approximate but quick physics-based solutions is to rely on space integrated 0D simulations. The enthalpy-based thermal evolution of loops EBTEL framework is a commonly used method to study the exchange of mass and energy between the corona and transition region. EBTEL solves for density, temperature, and pressure averaged over the coronal part of the loop, the velocity at the coronal base, and the instantaneous differential emission measure distribution in the transition region. The current single-fluid version of the code, EBTEL2, assumes that at all stages the flows are subsonic. However, sometimes the solutions show the presence of supersonic flows during the impulsive phase of heat input. It is thus necessary to account for this effect. Here, we upgrade EBTEL2 to EBTEL3 by including the kinetic energy term in the Navier-Stokes equation. We compare the solutions from EBTEL3 with those obtained using EBTEL2 as well as the state-of-the-art field-aligned hydrodynamics code HYDRAD. We find that the match in pressure between EBTEL3 and HYDRAD is better than that between EBTEL2 and HYDRAD. Additionally, the velocities predicted by EBTEL3 are in close agreement with those obtained with HYDRAD when the flows are subsonic. However, EBTEL3 solutions deviate substantially from HYDRAD's when the latter predicts supersonic flows. Using the mismatches in the solution, we propose a criterion to determine the conditions under which EBTEL can be used to study flows in the system.


title: Evolutionary Computation-Assisted Brainwriting for Large-Scale Online Ideation

abstract: Brainstorming is an effective technique for offline ideation although the number of participants able to join an ideation session and suggest ideas is limited. To increase the diversity and quality of the ideas suggested, many participants with various backgrounds should be able to join the session. We have devised an evolutionary computation-assisted brainwriting method for large-scale online ideation. In this method, participants not only suggest ideas but also evaluate ideas previously suggested by other participants. The evaluation results are used in the evolutionary computation to identify good ideas to which the participants can be exposed via a brainwriting-like interface. We compared the performance of the proposed method with that of a simple online brainwriting method for large-scale online ideation with more than 30 participants. The proposed method enhanced robustness of idea quality improvement due to preferentially exposing the participants to good ideas.


title: The microscopic origin of the spin-induced linear and quadratic magnetoelectric effects

abstract: Understanding of the intimate cross-coupling between electric and magnetic degrees of freedom in solids usually requires sophisticated models and time-consuming calculation methods. Instead of macroscopic symmetry analysis, we present a simple but general approach to explore the microscopic mechanism of magnetoelectric (ME) effects in magnetic ordered materials based on local spin and lattice symmetry analysis. Our methods are successfully applied to Cr$_2$O$_3$ and orthorhombic RMnO$_3$ with linear and quadratic ME effects, respectively. We revealed all the possible microscopic origins of every non-zero ME coefficients that cannot be easily fulfilled by other theoretical methods. Moreover, the contribution from each mechanism can be located down to specific spins or spin pairs. Our theoretical approach is capable of providing a detailed guide to explore rich spin-induced magnetoelectrics with strong ME effects.


title: Physics of liquid crystals in cell biology

abstract: The last decade has witnessed a rapid growth in understanding of the pivotal roles of mechanical stresses and physical forces in cell biology. As a result an integrated view of cell biology is evolving, where genetic and molecular features are scrutinized hand in hand with physical and mechanical characteristics of cells. Physics of liquid crystals has emerged as a burgeoning new frontier in cell biology over the past few years, fueled by an increasing identification of orientational order and topological defects in cell biology, spanning scales from subcellular filaments to individual cells and multicellular tissues. Here, we provide an account of most recent findings and developments together with future promises and challenges in this rapidly evolving interdisciplinary research direction.


title: The Life and Science of Thanu Padmanabhan

abstract: Thanu Padmanabhan was a renowned Indian theoretical physicist known for his research in general relativity, cosmology, and quantum gravity. In an extraordinary career spanning forty-two years, he published more than three hundred research articles, wrote ten highly successful technical and popular books, and mentored nearly thirty graduate students and post-doctoral fellows. He is best known for his deep work investigating gravitation as an emergent thermodynamic phenomenon. He was an outstanding teacher, and an indefatigable populariser of science, who travelled very widely to motivate and inspire young students. Paddy, as he was affectionately known, was also a close friend to his students and collaborators, treating them as part of his extended academic family. On September 17, 2021 Paddy passed away very unexpectedly, at the age of sixty-four and at the height of his research career, while serving as a Distinguished Professor at the Inter-University Centre for Astronomy and Astrophysics, Pune. His untimely demise has come as a shock to his family and friends and colleagues. In this article, several of them have come together to pay their tributes and share their fond memories of Paddy.


title: Improving Bird Classification with Unsupervised Sound Separation

abstract: This paper addresses the problem of species classification in bird song recordings. The massive amount of available field recordings of birds presents an opportunity to use machine learning to automatically track bird populations. However, it also poses a problem: such field recordings typically contain significant environmental noise and overlapping vocalizations that interfere with classification. The widely available training datasets for species identification also typically leave background species unlabeled. This leads classifiers to ignore vocalizations with a low signal-to-noise ratio. However, recent advances in unsupervised sound separation, such as \emph{mixture invariant training} (MixIT), enable high quality separation of bird songs to be learned from such noisy recordings. In this paper, we demonstrate improved separation quality when training a MixIT model specifically for birdsong data, outperforming a general audio separation model by over 5 dB in SI-SNR improvement of reconstructed mixtures. We also demonstrate precision improvements with a downstream multi-species bird classifier across three independent datasets. The best classifier performance is achieved by taking the maximum model activations over the separated channels and original audio. Finally, we document additional classifier improvements, including taxonomic classification, augmentation by random low-pass filters, and additional channel normalization.


title: Universality of Winning Tickets: A Renormalization Group Perspective

abstract: Foundational work on the Lottery Ticket Hypothesis has suggested an exciting corollary: winning tickets found in the context of one task can be transferred to similar tasks, possibly even across different architectures. This has generated broad interest, but methods to study this universality are lacking. We make use of renormalization group theory, a powerful tool from theoretical physics, to address this need. We find that iterative magnitude pruning, the principal algorithm used for discovering winning tickets, is a renormalization group scheme, and can be viewed as inducing a flow in parameter space. We demonstrate that ResNet-50 models with transferable winning tickets have flows with common properties, as would be expected from the theory. Similar observations are made for BERT models, with evidence that their flows are near fixed points. Additionally, we leverage our framework to study winning tickets transferred across ResNet architectures, observing that smaller models have flows with more uniform properties than larger models, complicating transfer between them.


title: Accurate Indoor Radio Frequency Imaging using a New Extended Rytov Approximation for Lossy Media

abstract: Imaging objects with high relative permittivity and large electrical size remains a challenging problem in the field of inverse scattering. In this work we present a phaseless inverse scattering method that can accurately image and reconstruct objects even with these attributes. The reconstruction accuracy obtained under these conditions has not been achieved previously and can therefore open up the area to technologically important applications such as indoor Radio Frequency (RF) and microwave imaging. The novelty of the approach is that it utilizes a high frequency approximation for waves passing through lossy media to provide corrections to the conventional Rytov approximation (RA). We refer to this technique as the Extended Phaseless Rytov Approximation for Low Loss Media (xPRA-LM). Simulation as well as experimental results are provided for indoor RF imaging using phaseless measurements from 2.4 GHz based WiFi nodes. We demonstrate that the approach provides accurate reconstruction of an object up to relative permittivities of $15+j1.5$ for object sizes greater than $20 \lambda$ ($\lambda$ is wavelength inside object). Even at higher relative permittivities of up to $\epsilon_r=77+j 7$, object shape reconstruction remains accurate, however the reconstruction amplitude is less accurate. These results have not been obtained before and can be utilized to achieve the potential of RF and microwave imaging in applications such as indoor RF imaging.


title: Influence Tuning: Demoting Spurious Correlations via Instance Attribution and Instance-Driven Updates

abstract: Among the most critical limitations of deep learning NLP models are their lack of interpretability, and their reliance on spurious correlations. Prior work proposed various approaches to interpreting the black-box models to unveil the spurious correlations, but the research was primarily used in human-computer interaction scenarios. It still remains underexplored whether or how such model interpretations can be used to automatically "unlearn" confounding features. In this work, we propose influence tuning--a procedure that leverages model interpretations to update the model parameters towards a plausible interpretation (rather than an interpretation that relies on spurious patterns in the data) in addition to learning to predict the task labels. We show that in a controlled setup, influence tuning can help deconfounding the model from spurious patterns in data, significantly outperforming baseline methods that use adversarial training.


title: Temporal Dynamic Convolutional Neural Network for Text-Independent Speaker Verification and Phonemetic Analysis

abstract: In the field of text-independent speaker recognition, dynamic models that adapt along the time axis have been proposed to consider the phoneme-varying characteristics of speech. However, a detailed analysis of how dynamic models work depending on phonemes is insufficient. In this paper, we propose temporal dynamic CNN (TDY-CNN) that considers temporal variation of phonemes by applying kernels optimally adapting to each time bin. These kernels adapt to time bins by applying weighted sum of trained basis kernels. Then, an analysis of how adaptive kernels work on different phonemes in various layers is carried out. TDY-ResNet-38(x0.5) using six basis kernels improved an equal error rate (EER), the speaker verification performance, by 17.3% compared to the baseline model ResNet-38(x0.5). In addition, we showed that adaptive kernels depend on phoneme groups and are more phoneme-specific at early layers. The temporal dynamic model adapts itself to phonemes without explicitly given phoneme information during training, and results show the necessity to consider phoneme variation within utterances for more accurate and robust text-independent speaker verification.


title: MAPA: Multi-Accelerator Pattern Allocation Policy for Multi-Tenant GPU Servers

abstract: Multi-accelerator servers are increasingly being deployed in shared multi-tenant environments (such as in cloud data centers) in order to meet the demands of large-scale compute-intensive workloads. In addition, these accelerators are increasingly being inter-connected in complex topologies and workloads are exhibiting a wider variety of inter-accelerator communication patterns. However, existing allocation policies are ill-suited for these emerging use-cases. Specifically, this work identifies that multi-accelerator workloads are commonly fragmented leading to reduced bandwidth and increased latency for inter-accelerator communication. We propose Multi-Accelerator Pattern Allocation (MAPA), a graph pattern mining approach towards providing generalized allocation support for allocating multi-accelerator workloads on multi-accelerator servers. We demonstrate that MAPA is able to improve the execution time of multi-accelerator workloads and that MAPA is able to provide generalized benefits across various accelerator topologies. Finally, we demonstrate a speedup of 12.4% for 75th percentile of jobs with the worst case execution time reduced by up to 35% against baseline policy using MAPA.


title: Towards Continual Knowledge Learning of Language Models

abstract: Large Language Models (LMs) are known to encode world knowledge in their parameters as they pretrain on a vast amount of web corpus, which is often utilized for performing knowledge-dependent downstream tasks such as question answering, fact-checking, and open dialogue. In real-world scenarios, the world knowledge stored in the LMs can quickly become outdated as the world changes, but it is non-trivial to avoid catastrophic forgetting and reliably acquire new knowledge while preserving invariant knowledge. To push the community towards better maintenance of ever-changing LMs, we formulate a new continual learning (CL) problem called Continual Knowledge Learning (CKL). We construct a new benchmark and metric to quantify the retention of time-invariant world knowledge, the update of outdated knowledge, and the acquisition of new knowledge. We adopt applicable recent methods from literature to create several strong baselines. Through extensive experiments, we find that CKL exhibits unique challenges that are not addressed in previous CL setups, where parameter expansion is necessary to reliably retain and learn knowledge simultaneously. By highlighting the critical causes of knowledge forgetting, we show that CKL is a challenging and important problem that helps us better understand and train ever-changing LMs. The benchmark datasets, evaluation script, and baseline code to reproduce our results are available at https://github.com/joeljang/continual-knowledge-learning.


title: Advanced eco-friendly formulations of guar biopolymer-based textile conditioners

abstract: Fabric conditioners are household products used to impart softness and fragrance to tex-tiles. They are colloidal dispersions of cationic double chain surfactants that self-assemble in vesicles. These surfactants are primarily derived from palm oil chemical modification. Reducing the content of these surfactants allows to obtain products with lower environmental impact. Such a reduction, without adverse effects on the characteristics of the softener and its performance, can be achieved by adding hydrophilic biopolymers. Here, we review the role of guar biopolymers modified with cationic or hydroxyl-propyl groups on the physicochemical properties of the formulation. Electronic and optical microscopy, dynamic light scattering, X-ray scattering and rheology of vesicles dispersion in absence and in presence of guar biopolymers are analyzed. Finally, the deposition of the new formulation on cotton fabrics is examined through scanning electron microscopy and a new protocol based on fluorescent microscopy. With this methodology it is possible to quantify the deposition of surfactants on cotton fibers. The results show that the approach followed here can facilitate the design of sustainable home-care products.


title: The Aperture Array Verification System 1: System overview and early commissioning results

abstract: The design and development process for the Square Kilometre Array (SKA) radio telescope, the Low Frequency Aperture Array component, was progressed during the SKA pre-construction phase by an international consortium, with the goal of meeting requirements for a critical design review. As part of the development process a full-sized prototype SKA Low station was deployed, the Aperture Array Verification System 1 (AAVS1). We provide a system overview and describe the commissioning results of AAVS1, which is a low frequency radio telescope with 256 dual-polarisation log-periodic dipole antennas working as a phased array. A detailed system description is provided, including an in-depth overview of relevant sub-systems, ranging from hardware, firmware, software, calibration,and control sub-systems. Early commissioning results cover initial bootstrapping, array calibration, stability testing, beam-forming,and on-sky sensitivity validation. Lessons learned are presented, along with future developments.


title: Joint optimization of system design and reconstruction in MIMO radar imaging

abstract: Multiple-input multiple-output (MIMO) radar is one of the leading depth sensing modalities. However, the usage of multiple receive channels lead to relative high costs and prevent the penetration of MIMOs in many areas such as the automotive industry. Over the last years, few studies concentrated on designing reduced measurement schemes and image reconstruction schemes for MIMO radars, however these problems have been so far addressed separately. On the other hand, recent works in optical computational imaging have demonstrated growing success of simultaneous learning-based design of the acquisition and reconstruction schemes, manifesting significant improvement in the reconstruction quality. Inspired by these successes, in this work, we propose to learn MIMO acquisition parameters in the form of receive (Rx) antenna elements locations jointly with an image neural-network based reconstruction. To this end, we propose an algorithm for training the combined acquisition-reconstruction pipeline end-to-end in a differentiable way. We demonstrate the significance of using our learned acquisition parameters with and without the neural-network reconstruction.


title: Quantum Measurement Theory for Systems with Finite Dimensional State Spaces

abstract: In this paper, we present a general theory of finite quantum measurements, for which we assume that the state space of the measured system is a finite dimensional Hilbert space and that the possible outcomes of a measurement is a finite set of real numbers. We develop the theory in a deductive manner from the basic postulates for quantum mechanics and a few plausible axioms for general quantum measurements. We derive an axiomatic characterization of all the physically realizable finite quantum measurements. Mathematical tools necessary to describe measurement statistics, such as POVMs and quantum instruments, are not assumed at the outset, but we introduce them as natural consequences of our axioms. Our objective is to show that those mathematical tools can be naturally derived from obvious theoretical requirements.


title: Gradient Step Denoiser for convergent Plug-and-Play

abstract: Plug-and-Play methods constitute a class of iterative algorithms for imaging problems where regularization is performed by an off-the-shelf denoiser. Although Plug-and-Play methods can lead to tremendous visual performance for various image problems, the few existing convergence guarantees are based on unrealistic (or suboptimal) hypotheses on the denoiser, or limited to strongly convex data terms. In this work, we propose a new type of Plug-and-Play methods, based on half-quadratic splitting, for which the denoiser is realized as a gradient descent step on a functional parameterized by a deep neural network. Exploiting convergence results for proximal gradient descent algorithms in the non-convex setting, we show that the proposed Plug-and-Play algorithm is a convergent iterative scheme that targets stationary points of an explicit global functional. Besides, experiments show that it is possible to learn such a deep denoiser while not compromising the performance in comparison to other state-of-the-art deep denoisers used in Plug-and-Play schemes. We apply our proximal gradient algorithm to various ill-posed inverse problems, e.g. deblurring, super-resolution and inpainting. For all these applications, numerical results empirically confirm the convergence results. Experiments also show that this new algorithm reaches state-of-the-art performance, both quantitatively and qualitatively.


title: Efficient representation of spatio-temporal data using cylindrical shearlets

abstract: Efficient representations of multivariate functions are critical for the design of state-of-the-art methods of data restoration and image reconstruction. In this work, we consider the representation of spatio-temporal data such as temporal sequences (videos) of 2- and 3-dimensional images, where conventional separable representations are usually very inefficient, due to their limitations in handling the geometry of the data. To address this challenge, we define a class $\mathcal{E}(A) \subset L^2(\mathbb{R}^4)$ of functions of 4 variables dominated by hypersurface singularities in the first three coordinates that we apply to model 4-dimensional data corresponding to temporal sequences (videos) of 3-dimensional objects. To provide an efficient representation for this type of data, we introduce a new multiscale directional system of functions based on cylindrical shearlets and prove that this new approach achieves superior approximation properties with respect to conventional multiscale representations. We illustrate the advantages of our approach by applying a discrete implementation of the new representation to a challenging problem from dynamic tomography. Numerical results confirm the potential of our novel approach with respect to conventional multiscale methods.


title: A uniformly accurate scheme for the numerical integration of penalized Langevin dynamics

abstract: In molecular dynamics, penalized overdamped Langevin dynamics are used to model the motion of a set of particles that follow constraints up to a parameter $\varepsilon$. The most used schemes for simulating these dynamics are the Euler integrator in $\mathbb{R}^d$ and the constrained Euler integrator. Both have weak order one of accuracy, but work properly only in specific regimes depending on the size of the parameter $\varepsilon$. We propose in this paper a new consistent method with an accuracy independent of $\varepsilon$ for solving penalized dynamics on a manifold of any dimension. Moreover, this method converges to the constrained Euler scheme when $\varepsilon$ goes to zero. The numerical experiments confirm the theoretical findings, in the context of weak convergence and for the invariant measure, on a torus and on the orthogonal group in high dimension and high codimension.


title: Goal-Directed Design Agents: Integrating Visual Imitation with One-Step Lookahead Optimization for Generative Design

abstract: Engineering design problems often involve large state and action spaces along with highly sparse rewards. Since an exhaustive search of those spaces is not feasible, humans utilize relevant domain knowledge to condense the search space. Previously, deep learning agents (DLAgents) were introduced to use visual imitation learning to model design domain knowledge. This note builds on DLAgents and integrates them with one-step lookahead search to develop goal-directed agents capable of enhancing learned strategies for sequentially generating designs. Goal-directed DLAgents can employ human strategies learned from data along with optimizing an objective function. The visual imitation network from DLAgents is composed of a convolutional encoder-decoder network, acting as a rough planning step that is agnostic to feedback. Meanwhile, the lookahead search identifies the fine-tuned design action guided by an objective. These design agents are trained on an unconstrained truss design problem that is modeled as a sequential, action-based configuration design problem. The agents are then evaluated on two versions of the problem: the original version used for training and an unseen constrained version with an obstructed construction space. The goal-directed agents outperform the human designers used to train the network as well as the previous objective-agnostic versions of the agent in both scenarios. This illustrates a design agent framework that can efficiently use feedback to not only enhance learned design strategies but also adapt to unseen design problems.


title: Darts: User-Friendly Modern Machine Learning for Time Series

abstract: We present Darts, a Python machine learning library for time series, with a focus on forecasting. Darts offers a variety of models, from classics such as ARIMA to state-of-the-art deep neural networks. The emphasis of the library is on offering modern machine learning functionalities, such as supporting multidimensional series, meta-learning on multiple series, training on large datasets, incorporating external data, ensembling models, and providing a rich support for probabilistic forecasting. At the same time, great care goes into the API design to make it user-friendly and easy to use. For instance, all models can be used using fit()/predict(), similar to scikit-learn.


title: On general Sombor index

abstract: We present the bounds in terms of other important graph parameters for general Sombor index which generalises both the forgotten index and the Sombor index. We also explore the Nordhaus-Gaddum-type result for the general Sombor index. We present further the relations between general Sombor index and other generalised indices: general Randi\'c index and general sum-connectivity index.


title: Nonlinear Fermi-liquid transport through a quantum dot in asymmetric tunnel junctions

abstract: We study the nonlinear conductance through a quantum dot, specifically its dependence on the asymmetries in the tunnel couplings and bias voltages $V$, at low energies. Extending the microscopic Fermi-liquid theory for the Anderson impurity model, we obtain an exact formula for the steady current $I$ up to terms of order $V^3$ in the presence of these asymmetries. The coefficients for the nonlinear terms are described in terms of a set of the Fermi-liquid parameters: the phase shift, static susceptibilities, and three-body correlation functions of electrons in the quantum dots, defined with respect to the equilibrium ground state. We calculate these correlation functions, using the numerical renormalization group approach (NRG), over a wide range of impurity-electron filling that can be controlled by a gate voltage in real systems. The NRG results show that the order $V^2$ nonlinear current is enhanced significantly in the valence fluctuation regime. It is caused by the order $V$ energy shift of the impurity level, induced in the presence of the tunneling or bias asymmetry. Furthermore, in the valence fluctuation regime, we also find that the order $V^3$ nonlinear current exhibits a shoulder structure, for which the three-body correlations that evolve for large asymmetries play an essential role.


title: Experimental Realization of the Rabi-Hubbard Model with Trapped Ions

abstract: Quantum simulation provides important tools in studying strongly correlated many-body systems with controllable parameters. As a hybrid of two fundamental models in quantum optics and in condensed matter physics, the Rabi-Hubbard model demonstrates rich physics through the competition between local spin-boson interactions and long-range boson hopping. Here we report an experimental realization of the Rabi-Hubbard model using up to $16$ trapped ions and present a controlled study of its equilibrium properties and quantum dynamics. We observe the ground-state quantum phase transition by slowly quenching the coupling strength, and measure the quantum dynamical evolution in various parameter regimes. With the magnetization and the spin-spin correlation as probes, we verify the prediction of the model Hamiltonian by comparing theoretical results in small system sizes with experimental observations. For larger-size systems of $16$ ions and $16$ phonon modes, the effective Hilbert space dimension exceeds $2^{57}$, whose dynamics is intractable for classical supercomputers.


title: SU($N$)-natural inflation

abstract: We study SU($N$) gauge fields that couple to the inflaton through the Chern-Simons term. We provide a general procedure to construct homogeneous, isotropic, and attractor solutions of the gauge fields during inflation. The gauge fields develop various VEVs corresponding to different spontaneous symmetry breaking patterns of SU($N$) where embedded SU($2$) subgroups are broken with the spatial rotation SO($3$) symmetry. As specific examples, we construct the stable solutions for $N = 3$ and $4$. We also numerically solve the gauge field dynamics and confirm that our analytic solutions are complete and attractor. It is straightforward to apply our procedure to the other simple Lie groups.


title: IaaS Signature Change Detection with Performance Noise

abstract: We propose a novel framework to detect changes in the performance behavior of an IaaS service. The proposed framework leverages the concept of the IaaS signature to represent an IaaS service's long-term performance behavior. A new type of performance signature called categorical IaaS signature is introduced to represent the performance behavior more accurately. A novel performance noise model is proposed to accurately identify IaaS performance noise and accurate changes in the performance behavior of an IaaS service. A set of experiments based on real-world datasets is carried out to evaluate the effectiveness of the proposed framework.


title: Large-bandwidth transduction between an optical single quantum-dot molecule and a superconducting resonator

abstract: Quantum transduction between the microwave and optical domains is an outstanding challenge for long-distance quantum networks based on superconducting qubits. For all transducers realized to date, the generally weak light-matter coupling does not allow high transduction efficiency, large bandwidth, and low noise simultaneously. Here we show that a large electric dipole moment of an exciton in an optically active self-assembled quantum dot molecule (QDM) efficiently couples to a microwave resonator field at a single-photon level. This allows for transduction between microwave and optical photons without coherent optical pump fields to enhance the interaction. With an on-chip device, we demonstrate a sizeable single-photon coupling strength of 16 MHz. Thanks to the fast exciton decay rate in the QDM, the transduction bandwidth between an optical and microwave resonator photon reaches several 100s of MHz.


title: Compact and weakly compact Lipschitz operators

abstract: Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this paper, we give a necessary and sufficient condition for $\widehat{f}$ to be compact in terms of metric conditions on $f$. This extends a result by A. Jim\'{e}nez-Vargas and M. Villegas-Vallecillos in the case of non-separable and unbounded metric spaces. After studying the behavior of weakly convergent sequences made of finitely supported elements in Lipschitz-free spaces, we also deduce that $\widehat{f}$ is compact if and only if it is weakly compact.


title: Design of an Intelligent Vision Algorithm for Recognition and Classification of Apples in an Orchard Scene

abstract: Apple is one of the remarkable fresh fruit that contains a high degree of nutritious and medicinal value. Hand harvesting of apples by seasonal farmworkers increases physical damages on the surface of these fruits, which causes a great loss in marketing quality. The main objective of this study is focused on designing a robust vision algorithm for robotic apple harvesters. The proposed algorithm is able to recognize and classify 4-classes of objects found in an orchard scene including apples, leaves, trunk and branches, and sky into two apples and non-apples classes. 100 digital images of Red Delicious apples and 100 digital images of Golden Delicious apples were selected among 1000 captured images of apples from 18 apple gardens in West Azerbaijan, Iran. An image processing algorithm is proposed for segmentation and extraction of the image classes based on the color characteristics of mentioned classes. Invariant-Momentums were chosen as the extracted features from the segmented classes, e.g. apples. Multilayer Feedforward Neural Networks, MFNNs, were used as an artificial intelligence tool for the recognition and classification of image classes.


title: Resource theory of causal connection

abstract: The capacity of distant parties to send signals to one another is a fundamental requirement in many information-processing tasks. Such ability is determined by the causal structure connecting the parties, and more generally, by the intermediate processes carrying signals from one laboratory to another. Here we build a fully fledged resource theory of causal connection for all multi-party communication scenarios, encompassing those where the parties operate in a definite causal order and also where the order is indefinite. We define and characterize the set of free processes and three different sets of free transformations thereof, resulting in three distinct resource theories of causal connection. In the causally ordered setting, we identify the most resourceful processes in the bipartite and tripartite scenarios. In the general setting, instead, our results suggest that there is no global most valuable resource. We establish the signalling robustness as a resource monotone of causal connection and provide tight bounds on it for many pertinent sets of processes. Finally, we introduce a resource theory of causal non-separability, and show that it is -- in contrast to the case of causal connection -- unique. Together our results offer a flexible and comprehensive framework to quantify and transform general quantum processes, as well as insights into their multi-layered causal connection structures.


title: Self-Supervised Depth Completion for Active Stereo

abstract: Active stereo systems are used in many robotic applications that require 3D information. These depth sensors, however, suffer from stereo artefacts and do not provide dense depth estimates.In this work, we present the first self-supervised depth completion method for active stereo systems that predicts accurate dense depth maps. Our system leverages a feature-based visual inertial SLAM system to produce motion estimates and accurate (but sparse) 3D landmarks. The 3D landmarks are used both as model input and as supervision during training. The motion estimates are used in our novel reconstruction loss that relies on a combination of passive and active stereo frames, resulting in significant improvements in textureless areas that are common in indoor environments. Due to the nonexistence of publicly available active stereo datasets, we release a real dataset together with additional information for a publicly available synthetic dataset (TartanAir [42]) needed for active depth completion and prediction. Through rigorous evaluations we show that our method outperforms state of the art on both datasets. Additionally we show how our method obtains more complete, and therefore safer, 3D maps when used in a robotic platform.


abstract: Joint diagonalization of a set of positive (semi)-definite matrices has a wide range of analytical applications, such as estimation of common principal components, estimation of multiple variance components, and blind signal separation. However, when the eigenvectors of involved matrices are not the same, joint diagonalization is a computationally challenging problem. To the best of our knowledge, currently existing methods require at least $O(KN^3)$ time per iteration, when $K$ different $N \times N$ matrices are considered. We reformulate this optimization problem by applying orthogonality constraints and dimensionality reduction techniques. In doing so, we reduce the computational complexity for joint diagonalization to $O(N^3)$ per quasi-Newton iteration. This approach we refer to as JADOC: Joint Approximate Diagonalization under Orthogonality Constraints. We compare our algorithm to two important existing methods and show JADOC has superior runtime while yielding a highly similar degree of diagonalization. The JADOC algorithm is implemented as open-source Python code, available at https://github.com/devlaming/jadoc.


title: A Modern-day Alchemy: Double Glow Plasma Surface Metallurgy Technology

abstract: In the long history of science and technology development, one goal is to diffuse solid alloy elements into the surface of steel materials to form surface alloys with excellent physical and chemical properties. On the basis of plasma nitriding technology, double glow plasma surface metallurgy technology has answered this challenge. This technology, which seems to be a modern-day alchemy, can use any element in the periodic table of chemical elements, including solid metal elements and their combinations, to form many types of surface alloyed layers with high hardness, wear resistance, corrosion resistance and high temperature oxidation resistance on various metal materials. For examples, nickel base alloys, stainless steels and high speed steels are formed on the surfaces of ordinary carbon steels; and high hardness, wear resistance and high temperature oxidation resistance alloy are formed on the surface of titanium alloy.This article briefly introduces the formation and principle of double glow plasma surface metallurgy technology, and summarizes the experimental results and industry application. The significance and development prospect of this technology are discussed.


title: Score-based Generative Neural Networks for Large-Scale Optimal Transport

abstract: We consider the fundamental problem of sampling the optimal transport coupling between given source and target distributions. In certain cases, the optimal transport plan takes the form of a one-to-one mapping from the source support to the target support, but learning or even approximating such a map is computationally challenging for large and high-dimensional datasets due to the high cost of linear programming routines and an intrinsic curse of dimensionality. We study instead the Sinkhorn problem, a regularized form of optimal transport whose solutions are couplings between the source and the target distribution. We introduce a novel framework for learning the Sinkhorn coupling between two distributions in the form of a score-based generative model. Conditioned on source data, our procedure iterates Langevin Dynamics to sample target data according to the regularized optimal coupling. Key to this approach is a neural network parametrization of the Sinkhorn problem, and we prove convergence of gradient descent with respect to network parameters in this formulation. We demonstrate its empirical success on a variety of large scale optimal transport tasks.


title: Liouville Theorems for holomorphic maps on pseudo-Hermitian manifolds

abstract: We prove some Liouville type results for generalized holomorphic maps in three classes: maps from pseudo-Hermitian manifolds to almost Hermitian manifolds, maps from almost Hermitian manifolds to pseudo-Hermitian manifolds and maps from pseudo-Hermitian manifolds to pseudo-Hermitian manifolds, assuming that the domains are compact. For instance, we show that any $(J,J^N)$ holomorphic map from a compact pseudo-Hermitian manifold $M$ with nonnegative (resp. positive) pseudo-Hermitian sectional curvature to an almost Hermitian manifold $N$ with negative (resp. nonpositive) holomorphic sectional curvature is constant. We also construct explicit almost CR structures on a complex vector bundle over an almost CR manifold.


title: Understanding Domain Randomization for Sim-to-real Transfer

abstract: Reinforcement learning encounters many challenges when applied directly in the real world. Sim-to-real transfer is widely used to transfer the knowledge learned from simulation to the real world. Domain randomization -- one of the most popular algorithms for sim-to-real transfer -- has been demonstrated to be effective in various tasks in robotics and autonomous driving. Despite its empirical successes, theoretical understanding on why this simple algorithm works is limited. In this paper, we propose a theoretical framework for sim-to-real transfers, in which the simulator is modeled as a set of MDPs with tunable parameters (corresponding to unknown physical parameters such as friction). We provide sharp bounds on the sim-to-real gap -- the difference between the value of policy returned by domain randomization and the value of an optimal policy for the real world. We prove that sim-to-real transfer can succeed under mild conditions without any real-world training samples. Our theory also highlights the importance of using memory (i.e., history-dependent policies) in domain randomization. Our proof is based on novel techniques that reduce the problem of bounding the sim-to-real gap to the problem of designing efficient learning algorithms for infinite-horizon MDPs, which we believe are of independent interest.


title: Unified theory of quantum phase transitions in quantum dots with gapped host bands

abstract: We present a unified theory of quantum phase transitions for half-filled quantum dots (QDs) coupled to gapped host bands. We augment the bands by additional weakly coupled metallic lead which allows us to analyze the system by using standard numerical renormalization group techniques. The ground state properties of the systems without the additional metallic lead are then extrapolated in a controlled way from the broadened subgap spectral functions. We show that a broad class of narrow-gap-semiconductor tunneling densities of states (TDOSs) support the existence of two distinct phases known from their superconducting counterpart. Namely, $0$ phase which is marked by the singlet ground state and the $\pi$ phase regime with the doublet ground state. To keep a close analogy with the superconducting case, we focus on the influence of particle-hole asymmetry of the TDOS of the subgap spectral features. Nevertheless, we also discus the possibility of inducing singlet-doublet quantum phase transitions in experimental setups by varying the filling of the QD. In addition, for gapped TDOS functions with smoothed gap edges, we demonstrate that all subgap peaks may leak out of the gap into the continuous part of the spectrum, an effect which has no counterpart in the superconducting Anderson model.


title: Delay of Leidenfrost point during drop impact of surfactant solutions

abstract: In this article, a novel method of increasing the dynamic Leidenfrost temperature is proposed through the addition of both anionic (SDS) and cationic (CTAB) surfactants to water droplets. We focus on understanding the hydrodynamics and thermal aspects of droplet impact Leidenfrost behaviour of surfactant solutions, and aim to delay the onset of the Leidenfrost regime. The effects of Weber number (We), Ohnesorge number (Oh) and surfactant concentration on dynamic Leidenfrost temperature were experimentally studied in details, covering a wide gamut of governing parameters. At a fixed impact velocity, increased with the increase of surfactant concentration. decreased with increase of impact velocity for all solutions of surfactant droplets at a fixed surfactant concentration. We proposed a scaling relationship for in terms of We and Oh. At temperatures (~ 400oC) considerably higher than , droplets exhibit trampoline like dynamics or central jet formation, associated with fragmentation, depending upon the impact velocity. Finally, a regime map of the different boiling regimes such as transition boiling, Leidenfrost effect, trampolining and explosive behaviour is presented as function of impact We and substrate temperature (Ts). The findings may hold strong implications in thermal management systems operating at high temperatures


title: On the asymptotical regularization with convex constraints for inverse problems

abstract: In this paper, we consider the asymptotical regularization with convex constraints for nonlinear ill-posed problems. The method allows to use non-smooth penalty terms, including the L1-like and the total variation-like penalty functionals, which are significant in reconstructing special features of solutions such as sparsity and piecewise constancy. Under certain conditions we give convergence properties of the methods. Moreover, we propose Runge-Kutta type methods to discrete the initial value problems to construct new type iterative regularization methods.


title: Sound Event Detection Guided by Semantic Contexts of Scenes

abstract: Some studies have revealed that contexts of scenes (e.g., "home," "office," and "cooking") are advantageous for sound event detection (SED). Mobile devices and sensing technologies give useful information on scenes for SED without the use of acoustic signals. However, conventional methods can employ pre-defined contexts in inference stages but not undefined contexts. This is because one-hot representations of pre-defined scenes are exploited as prior contexts for such conventional methods. To alleviate this problem, we propose scene-informed SED where pre-defined scene-agnostic contexts are available for more accurate SED. In the proposed method, pre-trained large-scale language models are utilized, which enables SED models to employ unseen semantic contexts of scenes in inference stages. Moreover, we investigated the extent to which the semantic representation of scene contexts is useful for SED. Experimental results performed with TUT Sound Events 2016/2017 and TUT Acoustic Scenes 2016/2017 datasets show that the proposed method improves micro and macro F-scores by 4.34 and 3.13 percentage points compared with conventional Conformer- and CNN--BiGRU-based SED, respectively.


title: Near-Optimal Reward-Free Exploration for Linear Mixture MDPs with Plug-in Solver

abstract: Although model-based reinforcement learning (RL) approaches are considered more sample efficient, existing algorithms are usually relying on sophisticated planning algorithm to couple tightly with the model-learning procedure. Hence the learned models may lack the ability of being re-used with more specialized planners. In this paper we address this issue and provide approaches to learn an RL model efficiently without the guidance of a reward signal. In particular, we take a plug-in solver approach, where we focus on learning a model in the exploration phase and demand that \emph{any planning algorithm} on the learned model can give a near-optimal policy. Specicially, we focus on the linear mixture MDP setting, where the probability transition matrix is a (unknown) convex combination of a set of existing models. We show that, by establishing a novel exploration algorithm, the plug-in approach learns a model by taking $\tilde{O}(d^2H^3/\epsilon^2)$ interactions with the environment and \emph{any} $\epsilon$-optimal planner on the model gives an $O(\epsilon)$-optimal policy on the original model. This sample complexity matches lower bounds for non-plug-in approaches and is \emph{statistically optimal}. We achieve this result by leveraging a careful maximum total-variance bound using Bernstein inequality and properties specified to linear mixture MDP.


title: Hexagonally warped exceptional physics in multi-Weyl semimetals

abstract: Hexagonal warping (HW) in three-dimensional topological insulators is, by now, well-known. We show that non-Hermitian (NH) loss/gain can generate an exceptional HW effect in double Weyl-semimetals (DWSM). This unique feature of DWSMs has distinctive effects on Fermi surface topology. Importantly, in the presence of such a $k^3$ spin orbit coupling mimicking term, the symmetry associated with the DWSMs is changed, leading to four exceptional points, among which two are degenerate. Introducing a driving field removes this degeneracy. The combined action of the NH warping and driving parameters leads to notable effects, including merging and tuning of exceptional points. We analyze the topological nature of the generated exceptional contours by evaluating several topological invariants, such as winding number, vorticity, and NH Berry curvature. We hope that our theoretical results would initiate possible experiments exploring NH HW effects.


title: Unprovability results for clause set cycles

abstract: The notion of clause set cycle abstracts a family of methods for automated inductive theorem proving based on the detection of cyclic dependencies between clause sets. By discerning the underlying logical features of clause set cycles, we are able to characterize clause set cycles by a logical theory. We make use of this characterization to provide practically relevant unprovability results for clause set cycles that exploit different logical features.


title: Building a large-scale quantum computer with continuous-variable optical technologies

abstract: Realizing a large-scale quantum computer requires hardware platforms that can simultaneously achieve universality, scalability, and fault tolerance. As a viable pathway to meeting these requirements, quantum computation based on continuous-variable optical systems has recently gained more attention due to its unique advantages and approaches. This review introduces several topics of recent experimental and theoretical progress in the optical continuous-variable quantum computation that we believe are promising. In particular, we focus on scaling-up technologies enabled by time multiplexing, bandwidth broadening, and integrated optics, as well as hardware-efficient and robust bosonic quantum error correction schemes.


title: Regularity results for non-linear Young equations and applications

abstract: In this paper we provide sufficient conditions which ensure that the non-linear equation $dy(t)=Ay(t)dt+\sigma(y(t))dx(t)$, $t\in(0,T]$, with $y(0)=\psi$ and $A$ being an unbounded operator, admits a unique mild solution which is classical, i.e., $y(t)\in D(A)$ for any $t\in (0,T]$, and we compute the blow-up rate of the norm of $y(t)$ as $t\rightarrow 0^+$. We stress that the regularity of $y$ is independent on the smoothness of the initial datum $\psi$, which in general does not belong to $D(A)$. As a consequence we get an integral representation of the mild solution $y$ which allows us to prove a chain rule formula for smooth functions of $y$ and necessary conditions for the invariance of hyperplanes with respect to the non-linear evolution equation.


title: Multimodal Colored Point Cloud to Image Alignment

abstract: Reconstruction of geometric structures from images using supervised learning suffers from limited available amount of accurate data. One type of such data is accurate real-world RGB-D images. A major challenge in acquiring such ground truth data is the accurate alignment between RGB images and the point cloud measured by a depth scanner. To overcome this difficulty, we consider a differential optimization method that aligns a colored point cloud with a given color image through iterative geometric and color matching. In the proposed framework, the optimization minimizes the photometric difference between the colors of the point cloud and the corresponding colors of the image pixels. Unlike other methods that try to reduce this photometric error, we analyze the computation of the gradient on the image plane and propose a different direct scheme. We assume that the colors produced by the geometric scanner camera and the color camera sensor are different and therefore characterized by different chromatic acquisition properties. Under these multimodal conditions, we find the transformation between the camera image and the point cloud colors. We alternately optimize for aligning the position of the point cloud and matching the different color spaces. The alignments produced by the proposed method are demonstrated on both synthetic data with quantitative evaluation and real scenes with qualitative results.


title: Minimum Message Length Autoregressive Moving Average Model Order Selection

abstract: This paper derives a Minimum Message Length (MML) criterion for the model selection of the Autoregressive Moving Average (ARMA) time series model. The MML87 performances on the ARMA model compared with other well known model selection criteria, Akaike Information Criterion (AIC), Corrected AIC (AICc), Bayesian Information Criterion (BIC), and Hannan Quinn (HQ). The experimental results show that the MML87 is outperformed the other model selection criteria as it select most of the models with lower prediction errors and the models selected by MML87 to have a lower mean squared error in different in-sample and out-sample sizes.