title: Nonlocal field theory of quasiparticle scattering in dipolar Bose-Einstein condensates

abstract: We consider the propagation of quasiparticle excitations in a dipolar Bose-Einstein condensate, and derive a nonlocal field theory of quasiparticle scattering at a stepwise inhomogeneity of the sound speed, obtained by tuning the contact coupling part of the interaction on one side of the barrier. To solve this problem $ab$ $initio$, i.e., without prior assumptions on the form of the solutions, we reformulate the dipolar Bogoliubov-de Gennes equation as a singular integral equation. The latter is of a $novel$ $hypersingular$ type, in having a kernel which is hypersingular at only two isolated points. Deriving its solution, we show that the integral equation reveals a continuum of evanescent channels at the sound barrier which is absent for a purely contact-interaction condensate. We furthermore demonstrate that by performing a discrete approximation for the kernel, one achieves an excellent solution accuracy for already a moderate number of discretization steps. Finally, we show that the non-monotonic nature of the system dispersion, corresponding to the emergence of a roton minimum in the excitation spectrum, results in peculiar features of the transmission and reflection at the sound barrier which are nonexistent for contact interactions.


title: Categorically closed countable semigroups

abstract: In this paper we establish a connection between categorical closedness and topologizability of semigroups. In particular, for a class $\mathsf T_{\!1}\mathsf S$ of $T_1$ topological semigroups we prove that a countable semigroup $X$ with finite-to-one shifts is injectively $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf{T_{\!1}S}$-nontopologizable in the sense that every $T_1$ semigroup topology on $X$ is discrete. Moreover, a countable cancellative semigroup $X$ is absolutely $\mathsf T_{\!1}\mathsf S$-closed if and only if every homomorphic image of $X$ is $\mathsf T_{\!1}\mathsf S$-nontopologizable. Also, we introduce and investigate a notion of a polybounded semigroup. It is proved that a countable semigroup $X$ with finite-to-one shifts is polybounded if and only if $X$ is $\mathsf T_{\!1}\mathsf S$-closed if and only if $X$ is $\mathsf T_{\!z}\mathsf S$-closed, where $\mathsf T_{\!z}\mathsf S$ is a class of zero-dimensional Tychonoff topological semigroups. We show that polyboundedness provides an automatic continuity of the inversion in $T_1$ paratopological groups and prove that every cancellative polybounded semigroup is a group.


title: Cooperative effects driving the multi-periodic dynamics of cyclically sheared amorphous solids

abstract: Plasticity in amorphous materials, such as glasses, colloids, or granular materials, is mediated by local rearrangements called "soft spots". Experiments and simulations have shown that soft spots are two-state entities interacting via quadrupolar displacement fields generated when they switch states. When the system is subjected to cyclic strain driving, the soft spots can return to their original state after one or more forcing cycles. In this case, the system has periodic dynamics and will always repeat the same microscopic states. Here we focus on multi-periodic dynamics, i.e. dynamics that has periodicity larger than the periodicity of the drive, and use a graph-theoretical approach to analyze the dynamics obtained from numerical simulations. In this approach, mechanically stable configurations that transform purely elastically into each other over a range of applied strains, are represented by vertices, and plastic events leading from one stable configuration to the other, are represented by directed edges. An algorithm based on the graph topology and the displacement fields of the soft spots reveals that multi-periodic behavior results from the states of some soft spots repeating after more than one period and provides information regarding the mechanisms that allow for such dynamics. To better understand the physical mechanisms behind multi-periodicity, we use a model of interacting hysterons. Each hysteron is a simplified two-state element representing hysteretic soft-spot dynamics. We identify several mechanisms for multi-periodicity in this model, some involving direct interactions between multi-periodic hysterons and another resulting from cooperative dynamics involving several hysterons. These cooperative events are naturally more common when more hysterons are present, thus explaining why multi-periodicity is more prevalent at large drive amplitudes.


title: Waveform Optimization for Wireless Power Transfer with Power Amplifier and Energy Harvester Non-Linearities

abstract: Waveform optimization has recently been shown to be a key technique to boost the efficiency and range of far-field wireless power transfer (WPT). Current research has optimized transmit waveform adaptive to channel state information (CSI) and accounting for energy harvester (EH)'s non-linearity but under the assumption of linear high power amplifiers (HPA) at the transmitter. This paper proposes a channel-adaptive waveform design strategy that optimizes the transmitter's input waveform considering both HPA and EH non-linearities. Simulations demonstrate that HPA's non-linearity degrades the energy harvesting efficiency of WPT significantly, while the performance loss can be compensated by using the proposed optimal input waveform.


title: Implicit Equivariance in Convolutional Networks

abstract: Convolutional Neural Networks(CNN) are inherently equivariant under translations, however, they do not have an equivalent embedded mechanism to handle other transformations such as rotations and change in scale. Several approaches exist that make CNNs equivariant under other transformation groups by design. Among these, steerable CNNs have been especially effective. However, these approaches require redesigning standard networks with filters mapped from combinations of predefined basis involving complex analytical functions. We experimentally demonstrate that these restrictions in the choice of basis can lead to model weights that are sub-optimal for the primary deep learning task (e.g. classification). Moreover, such hard-baked explicit formulations make it difficult to design composite networks comprising heterogeneous feature groups. To circumvent such issues, we propose Implicitly Equivariant Networks (IEN) which induce equivariance in the different layers of a standard CNN model by optimizing a multi-objective loss function that combines the primary loss with an equivariance loss term. Through experiments with VGG and ResNet models on Rot-MNIST , Rot-TinyImageNet, Scale-MNIST and STL-10 datasets, we show that IEN, even with its simple formulation, performs better than steerable networks. Also, IEN facilitates construction of heterogeneous filter groups allowing reduction in number of channels in CNNs by a factor of over 30% while maintaining performance on par with baselines. The efficacy of IEN is further validated on the hard problem of visual object tracking. We show that IEN outperforms the state-of-the-art rotation equivariant tracking method while providing faster inference speed.


title: Generalized Fully Coherent Closed-form Receiver Design for Joint Radar and Communication System

abstract: In conventional radar, the transmission of the same waveform is repeated after a predefined interval of time called pulse-repetition-interval (PRI). This technique helps to estimate the range and Doppler shift of targets and suppress clutter. In dual-function radar communication (DFRC), different waveforms are transmitted after each PRI. Thus, each waveform yields different range-side-lobe (RSL) levels at the receiver's output. As a consequence, Doppler shift estimation and clutter suppression become challenging tasks. A state-of-the-art (SOTA) method claims that if the number of waveforms is more than two, it is impossible to achieve fully coherent RSL levels with both waveforms. Therefore, this algorithm uses iterative methods to achieve as much as possible coherency and minimize the RSL levels. In contrast to that SOTA method, we proposed two novel closed-form receivers for the DFRC that yield a fully coherent response for several waveforms and suppress the RSL levels. Experimental results demonstrate that the proposed receivers achieve full coherency and the RSL levels are significantly lower than the conventional method.


title: Dimensionality Reduction of Longitudinal 'Omics Data using Modern Tensor Factorization

abstract: Precision medicine is a clinical approach for disease prevention, detection and treatment, which considers each individual's genetic background, environment and lifestyle. The development of this tailored avenue has been driven by the increased availability of omics methods, large cohorts of temporal samples, and their integration with clinical data. Despite the immense progression, existing computational methods for data analysis fail to provide appropriate solutions for this complex, high-dimensional and longitudinal data. In this work we have developed a new method termed TCAM, a dimensionality reduction technique for multi-way data, that overcomes major limitations when doing trajectory analysis of longitudinal omics data. Using real-world data, we show that TCAM outperforms traditional methods, as well as state-of-the-art tensor-based approaches for longitudinal microbiome data analysis. Moreover, we demonstrate the versatility of TCAM by applying it to several different omics datasets, and the applicability of it as a drop-in replacement within straightforward ML tasks.


title: Learning To Segment Dominant Object Motion From Watching Videos

abstract: Existing deep learning based unsupervised video object segmentation methods still rely on ground-truth segmentation masks to train. Unsupervised in this context only means that no annotated frames are used during inference. As obtaining ground-truth segmentation masks for real image scenes is a laborious task, we envision a simple framework for dominant moving object segmentation that neither requires annotated data to train nor relies on saliency priors or pre-trained optical flow maps. Inspired by a layered image representation, we introduce a technique to group pixel regions according to their affine parametric motion. This enables our network to learn segmentation of the dominant foreground object using only RGB image pairs as input for both training and inference. We establish a baseline for this novel task using a new MovingCars dataset and show competitive performance against recent methods that require annotated masks to train.


title: Characterization measurements of the TRISTAN multi-pixel silicon drift detector

abstract: Sterile neutrinos are a minimal extension of the Standard Model of Particle Physics. A laboratory-based approach to search for this particle is via tritium beta-decay, where a sterile neutrino would cause a kink-like spectral distortion. The Karlsruhe Tritium Neutrino (KATRIN) experiment extended by a multi-pixel Silicon Drift Detector system has the potential to reach an unprecedented sensitivity to the keV-scale sterile neutrino in a lab-based experiment. The new detector system combines good spectroscopic performance with a high rate capability. In this work, we report about the characterization of charge-sharing between pixels and the commissioning of a 47-pixel prototype detector in a MAC-E filter.


title: The Euclidean Universe

abstract: In this paper, we introduce a mathematical structure called Euclidean Universe. This structure provides a basic framework for Non-Archimedean Mathematics and in particular for Nonstandard Analysis.


title: GRB prompt phase spectra under backscattering dominated model

abstract: We propose a backscattering dominated prompt emission model for gamma-ray bursts (GRB) prompt phase in which the photons generated through pair annihilation at the centre of the burst are backscattered through Compton scattering by an outflowing stellar cork. We show that the obtained spectra are capable of explaining the low and high energy slopes as well as the distribution of spectral peak energies in their observed prompt spectra.


title: Primitive axial algebras are of Jordan type

abstract: The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type.


title: Kodaira dimension of fibrations over abelian varieties

abstract: We prove an additivity result for the log Kodaira dimension of algebraic fiber spaces over abelian varieties, a superadditivity result for fiber spaces over varieties of maximal Albanese dimension, as well as a subadditivity result for log pairs.


title: A Catalog of LAMOST Variable Sources Based on Time-domain Photometry of ZTF

abstract: The identification and analysis of different variable sources is a hot issue in astrophysical research. The Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) spectroscopic survey has accumulated massive spectral data but contains no information about variable sources. Although a few related studies present variable source catalogs for the LAMOST, the studies still have a few deficiencies regarding the type and number of variable sources identified. In this study, we presented a statistical modeling approach to identify variable source candidates. We first crossed the Kepler, Sloan Digital Sky Survey (SDSS), and Zwicky Transient Facility (ZTF) catalogs to obtain light curves data of variable and non-variable sources. The data are then modeled statistically using commonly used variability parameters, respectively. And then, an optimal variable source identification model is determined using the Receiver Operating Characteristic (ROC) curve and four credible evaluation indices such as precision, accuracy, recall, and F1score. Based on this identification model, a catalog of LAMOST variable sources (including 631,769 variable source candidates with a probability greater than 95% and so on) is obtained. To validate the correctness of the catalog, we performed a two-by-two cross-comparison with the GAIA catalog and other published variable source catalogs. We achieved the correct rate ranging from 50% to 100%. Among the 123,756 sources cross-matched, our variable source catalog identifies 85,669 with a correct rate of 69%, which indicates that the variable source catalog presented in this study is credible.


title: Remarks on the Radiative Transfer Equations for Climatology

abstract: Using theoretical and numerical arguments we discuss some of the commonly accepted approximations for the radiative transfer equations in climatology.


title: Mapping Industry 4.0 Technologies: From Cyber-Physical Systems to Artificial Intelligence

abstract: The fourth industrial revolution is rapidly changing the manufacturing landscape. Due to the growing research and fast evolution in this field, no clear definitions of these concepts yet exist. This work provides a clear description of technological trends and gaps. We introduce a novel method to create a map of Industry 4.0 technologies, using natural language processing to extract technology terms from 14,667 research articles and applying network analysis. We identified eight clusters of Industry 4.0 technologies, which served as the basis for our analysis. Our results show that Industrial Internet of Things (IIoT) technologies have become the center of the Industry 4.0 technology map. This is in line with the initial definitions of Industry 4.0, which centered on IIoT. Given the recent growth in the importance of artificial intelligence (AI), we suggest accounting for AI's fundamental role in Industry 4.0 and understanding the fourth industrial revolution as an AI-powered natural collaboration between humans and machines. This article introduces a novel approach for literature reviews, and the results highlight trends and research gaps to guide future work and help these actors reap the benefits of digital transformations.


title: Hecke symmetries: an overview of Frobenius properties

abstract: This paper improves several previously known results. First, the results describing the R-skewsymmetric algebra and the quadratic dual of the R-symmetric algebra as Frobenius algebras are shown to be true with any restriction on the parameter q of the Hecke relation being removed. An even Hecke symmetry gives rise to a pair of graded Frobenius algebras. We describe interrelation between the Nakayama automorphisms of the two algebras. As an illustration of general technique we give full details of the verification that Artin-Schelter regular algebras of global dimension 3 and elliptic type A are not associated with any quantum GL(3).


title: Liquid-metal/NdFeB/Sillicone Composite Elastomer with Reprogrammable Magnetization and Modulus

abstract: Magnetic programming soft machines has great development prospects in the fields of minimally invasive medicine, wearable device and soft robot. However, unrepeatable magnetization and low modulus limits their applications. So far, there are few techniques that can make magnetic soft robots have adjustable functions, mechanical and electrical properties. This paper presented a magnetic functional elastomer based on liquid metal-NdFeB-Silicone composite materials. This magnetoelastomer uses the phase transition characteristics of liquid-metal and magnetic guided rotation of micro ferromagnetic particles to realize reprogrammable magnetization and modulus. The elastomer's fabrication method was given and the basic programmable properties were tested. Some robot prototypes have also been manufactured to show how to respond to different mission requirements by programming magnetization and modulus. Our research provides a new path for the design and large-scale manufacturing of magnetic soft robot.


title: Partial regularity of the heat flow of half-harmonic maps and applications to harmonic maps with free boundary

abstract: We introduce a heat flow associated to half-harmonic maps, which have been introduced by Da Lio and Rivi\`ere. Those maps exhibit integrability by compensation in one space dimension and are related to harmonic maps with free boundary. We consider a new flow associated to these harmonic maps with free boundary which is actually motivated by a rather unusual heat flow for half-harmonic maps. We construct then weak solutions and prove their partial regularity in space and time via a Ginzburg-Landau approximation. The present paper complements the study initiated by Struwe and Chen-Lin.


title: Two-loop master integrals for the single top production associated with $W$ boson

abstract: The $tW$ associated production has the second-largest cross section among three single top production channels. A complete study of NNLO QCD corrections to $tW$ production is still missing in literature. We present the calculation of part of the requisite two-loop master integrals for the process $b+g \to t+W$ at NNLO QCD. It turns out that the 80 master integrals in two families, involving up to three massive internal lines, can be expressed by Goncharov polylogarithms. The canonical differential equations that these integrals obey contain at most three square roots. By separating the canonical master integrals into groups according to their dependences on roots, we succeed in achieving optimization of final expressions, which are validated by independent numerical checks.


title: CDGNet: Class Distribution Guided Network for Human Parsing

abstract: The objective of human parsing is to partition a human in an image into constituent parts. This task involves labeling each pixel of the human image according to the classes. Since the human body comprises hierarchically structured parts, each body part of an image can have its sole position distribution characteristic. Probably, a human head is less likely to be under the feet, and arms are more likely to be near the torso. Inspired by this observation, we make instance class distributions by accumulating the original human parsing label in the horizontal and vertical directions, which can be utilized as supervision signals. Using these horizontal and vertical class distribution labels, the network is guided to exploit the intrinsic position distribution of each class. We combine two guided features to form a spatial guidance map, which is then superimposed onto the baseline network by multiplication and concatenation to distinguish the human parts precisely. We conducted extensive experiments to demonstrate the effectiveness and superiority of our method on three well-known benchmarks: LIP, ATR, and CIHP databases.


title: Dark energy model with very large-scale inhomogeneity

abstract: We consider a dynamical model for dark energy based on an ultralight mass scalar field with very large-scale inhomogeneities. This model may cause observable impacts on the anisotropic properties of the cosmic microwave background (CMB) intensity and luminosity distance. We formulate the model as the cosmological perturbations of the superhorizon scales, focusing on the local region of our universe. Moreover, we investigated the characteristic properties of the late-time evolution of inhomogeneous dark energy. Our numerical solutions show that the model can mimic the standard $\Lambda$CDM cosmology while including spatially dependent dark energy with flexible ranges of the model parameters. We put a constraint on the amplitude of these inhomogeneities of the dark energy on very large scales with the observations of the CMB anisotropies. We also discuss their influence on the estimation of the luminosity distance.


title: Regularity of powers of (parity) binomial edge ideals

abstract: In this paper, we provide exact formulas for the Castelnuovo-Mumford regularity of powers of an almost complete intersection ideal $I$ which is generated by a homogeneous $d$-sequence. As applications, when $I$ is an almost complete intersection, taking the form of the (parity) binomial edge ideal of a connected graph, we can describe explicitly formulas for $\reg(I^t)$ for $t\ge 2$. The only exception is when $I$ is the parity binomial edge ideal of a graph which is obtained by adding an edge between two disjoint odd cycles.


title: UAV-based Crowd Surveillance in Post COVID-19 Era

abstract: To cope with the current pandemic situation and reinstate pseudo-normal daily life, several measures have been deployed and maintained, such as mask wearing, social distancing, hands sanitizing, etc. Since outdoor cultural events, concerts, and picnics, are gradually allowed, a close monitoring of the crowd activity is needed to avoid undesired contact and disease transmission. In this context, intelligent unmanned aerial vehicles (UAVs) can be occasionally deployed to ensure the surveillance of these activities, that health restriction measures are applied, and to trigger alerts when the latter are not respected. Consequently, we propose in this paper a complete UAV framework for intelligent monitoring of post COVID-19 outdoor activities. Specifically, we propose a three steps approach. In the first step, captured images by a UAV are analyzed using machine learning to detect and locate individuals. The second step consists of a novel coordinates mapping approach to evaluate distances among individuals, then cluster them, while the third step provides an energy-efficient and/or reliable UAV trajectory to inspect clusters for restrictions violation such as mask wearing. Obtained results provide the following insights: 1) Efficient detection of individuals depends on the angle from which the image was captured, 2) coordinates mapping is very sensitive to the estimation error in individuals' bounding boxes, and 3) UAV trajectory design algorithm 2-Opt is recommended for practical real-time deployments due to its low-complexity and near-optimal performance.


title: Evaluating Generalization and Transfer Capacity of Multi-Agent Reinforcement Learning Across Variable Number of Agents

abstract: Multi-agent Reinforcement Learning (MARL) problems often require cooperation among agents in order to solve a task. Centralization and decentralization are two approaches used for cooperation in MARL. While fully decentralized methods are prone to converge to suboptimal solutions due to partial observability and nonstationarity, the methods involving centralization suffer from scalability limitations and lazy agent problem. Centralized training decentralized execution paradigm brings out the best of these two approaches; however, centralized training still has an upper limit of scalability not only for acquired coordination performance but also for model size and training time. In this work, we adopt the centralized training with decentralized execution paradigm and investigate the generalization and transfer capacity of the trained models across variable number of agents. This capacity is assessed by training variable number of agents in a specific MARL problem and then performing greedy evaluations with variable number of agents for each training configuration. Thus, we analyze the evaluation performance for each combination of agent count for training versus evaluation. We perform experimental evaluations on predator prey and traffic junction environments and demonstrate that it is possible to obtain similar or higher evaluation performance by training with less agents. We conclude that optimal number of agents to perform training may differ from the target number of agents and argue that transfer across large number of agents can be a more efficient solution to scaling up than directly increasing number of agents during training.


title: Two-photon transitions of charmonia on the light front

abstract: We investigate the two-photon transitions $H_{c\bar c} \to \gamma^*\gamma$ of the charmonium system in light-front dynamics. The light-front wave functions were obtained from solving the effective Hamiltonian based on light-front holography and one-gluon exchange interaction within the basis light-front quantization approach. We compute the two-photon transition form factors as well as the two-photon decay widths for S- and P-wave charmonia, $\eta_c$ and $\chi_{cJ}$ and their excitations. Without introducing any free parameters, our predictions are in good agreement with the recent experimental measurements by BaBar and Belle, shedding light on the relativistic nature of charmonium.


title: Maximum Baryon Masses for Static Neutron Stars in $f(R)$ Gravity

abstract: We investigate the upper mass limit predictions of the baryonic mass for static neutron stars in the context of $f(R)$ gravity. We use the most popular $f(R)$ gravity model, namely the $R^2$ gravity, and calculate the maximum baryon mass of static neutron stars adopting several realistic equations of state and one ideal equation of state, namely that of causal limit. Our motivation is based on the fact that neutron stars with baryon masses larger than the maximum mass for static neutron star configurations inevitably collapse to black holes. Thus with our analysis, we want further to enlighten the predictions for the maximum baryon masses of static neutron stars in $R^2$ gravity, which, in turn, further strengthens our understanding of the mysterious mass-gap region. As we show, the baryon masses of most of the equations of states studied in this paper, lie in the lower limits of the mass-gap region $M\sim 2.5-5 M_{\odot}$, but intriguingly enough, the highest value of the maximum baryon masses we found is of the order of $M\sim 3 M_{\odot}$. This upper mass limit also appears as a maximum static neutron star gravitational mass limit in other contexts. Combining the two results which refer to baryon and gravitational masses, we point out that the gravitational mass of static neutron stars cannot be larger than three solar masses, while based on maximum baryon masses results of the present work, we can conspicuously state that it is highly likely the lower mass limits of astrophysical black holes in the range of $M\sim 2.5-3 M_{\odot}$. This, in turn, implies that maximum neutron star masses in the context of $R^2$ gravity are likely to be in the lower limits of the range of $M\sim 2.4-3 M_{\odot}$. Hence our work further supports the General Relativity claim that neutron stars cannot have gravitational masses larger than $3$$M_{\odot}$.


title: Two variable polynomial congruences and capacity theory

abstract: We use capacity theory to analyze Coppersmith's method for finding small solutions of linear two variable polynomial congruences. We show that the method will succeed in a positive proportion of cases and fail in a different positive proportion of cases. We also bound the number of small solutions via capacity theory.


title: Free Electrons Can Induce Entanglement Between Photons

abstract: Entanglement of photons is a fundamental feature of quantum mechanics, which stands at the core of quantum technologies such as photonic quantum computing, communication, and sensing. An ongoing challenge in all these is finding an efficient and controllable mechanism to entangle photons. Recent experimental developments in electron microscopy enable to control the quantum interaction between free electrons and light. Here, we show that free electrons can create entanglement and bunching of light. Free electrons can control the second-order coherence of initially independent photonic states, even in spatially separated cavities that cannot directly interact. Free electrons thus provide a type of optical nonlinearity that acts in a nonlocal manner, offering a new way of heralding the creation of entanglement. Intriguingly, pre-shaping the electron's wavefunction provides the knob for tuning the photonic quantum correlations. The concept can be generalized to entangle not only photons but also photonic quasiparticles such as plasmon-polaritons and phonons.


title: Make an Omelette with Breaking Eggs: Zero-Shot Learning for Novel Attribute Synthesis

abstract: Most of the existing algorithms for zero-shot classification problems typically rely on the attribute-based semantic relations among categories to realize the classification of novel categories without observing any of their instances. However, training the zero-shot classification models still requires attribute labeling for each class (or even instance) in the training dataset, which is also expensive. To this end, in this paper, we bring up a new problem scenario: "Can we derive zero-shot learning for novel attribute detectors/classifiers and use them to automatically annotate the dataset for labeling efficiency?". Basically, given only a small set of detectors that are learned to recognize some manually annotated attributes (i.e., the seen attributes), we aim to synthesize the detectors of novel attributes in a zero-shot learning manner. Our proposed method, Zero-Shot Learning for Attributes (ZSLA), which is the first of its kind to the best of our knowledge, tackles this new research problem by applying the set operations to first decompose the seen attributes into their basic attributes and then recombine these basic attributes into the novel ones. Extensive experiments are conducted to verify the capacity of our synthesized detectors for accurately capturing the semantics of the novel attributes and show their superior performance in terms of detection and localization compared to other baseline approaches. Moreover, we demonstrate the application of automatic annotation using our synthesized detectors on Caltech-UCSD Birds-200-2011 dataset. Various generalized zero-shot classification algorithms trained upon the dataset re-annotated by ZSLA show comparable performance with those trained with the manual ground-truth annotations. Please refer to our project page for source code: https://yuhsuanli.github.io/ZSLA/


title: Code Clone Detection based on Event Embedding and Event Dependency

abstract: The code clone detection method based on semantic similarity has important value in software engineering tasks (e.g., software evolution, software reuse). Traditional code clone detection technologies pay more attention to the similarity of code at the syntax level, and less attention to the semantic similarity of the code. As a result, candidate codes similar in semantics are ignored. To address this issue, we propose a code clone detection method based on semantic similarity. By treating code as a series of interdependent events that occur continuously, we design a model namely EDAM to encode code semantic information based on event embedding and event dependency. The EDAM model uses the event embedding method to model the execution characteristics of program statements and the data dependence information between all statements. In this way, we can embed the program semantic information into a vector and use the vector to detect codes similar in semantics. Experimental results show that the performance of our EDAM model is superior to state of-the-art open source models for code clone detection.


title: Neutrino Oscillation parameter determination at INO-ICAL using track and hit information from GEANT

abstract: We study the capability of INO-ICAL to determine the atmospheric neutrino oscillation parameters $|\Delta m^2_{31}|$ and $\sin^2 \theta_{23}$. We do not use any generator level information. Instead, we process the generated atmospheric neutrino events through GEANT4 simulation of the detector and the event reconstruction framework. Among the outputs of this framework, only the momentum and direction of the longest track were used in a previous study by other authors. In this study, in addition to these variables, we consider a third variable based on additional hits, which arise due to hadrons in the event. We show that the inclusion of the this variable leads to a 30% reduction in the uncertainties of $|\Delta m^2_{31}|$ for a 5-year run of ICAL. We find that doubling the exposure time leads to a 30% reduction in the uncertainties of both $|\Delta m^2_{31}|$ and $\sin^2 \theta_{23}$.


title: MALIGN: Explainable Static Raw-byte Based Malware Family Classification using Sequence Alignment

abstract: For a long time, malware classification and analysis have been an arms-race between antivirus systems and malware authors. Though static analysis is vulnerable to evasion techniques, it is still popular as the first line of defense in antivirus systems. But most of the static analyzers failed to gain the trust of practitioners due to their black-box nature. We propose MAlign, a novel static malware family classification approach inspired by genome sequence alignment that can not only classify malware families but can also provide explanations for its decision. MAlign encodes raw bytes using nucleotides and adopts genome sequence alignment approaches to create a signature of a malware family based on the conserved code segments in that family, without any human labor or expertise. We evaluate MAlign on two malware datasets, and it outperforms other state-of-the-art machine learning based malware classifiers (by 4.49% - 0.07%), especially on small datasets (by 19.48% - 1.2%). Furthermore, we explain the generated signatures by MAlign on different malware families illustrating the kinds of insights it can provide to analysts, and show its efficacy as an analysis tool. Additionally, we evaluate its theoretical and empirical robustness against some common attacks. In this paper, we approach static malware analysis from a unique perspective, aiming to strike a delicate balance among performance, interpretability, and robustness.


title: On $L^\infty$ estimates for Monge-Amp\`ere and Hessian equations on nef classes

abstract: The PDE approach developed earlier by the first three authors for $L^\infty$ estimates for fully non-linear equations on K\"ahler manifolds is shown to apply as well to Monge-Amp\`ere and Hessian equations on nef classes. In particular, one obtains a new proof of the estimates of Boucksom-Eyssidieux-Guedj-Zeriahi and Fu-Guo-Song for the Monge-Amp\`ere equation, together with their generalization to Hessian equations.


title: Random walks with bounded first moment on finite-volume spaces

abstract: Let $G$ be a real Lie group, $\Lambda\leq G$ a lattice, and $\Omega=G/\Lambda$. We study the equidistribution properties of the left random walk on $\Omega$ induced by a probability measure $\mu$ on $G$. It is assumed that $\mu$ has a finite first moment, and that the Zariski closure of the group generated by the support of $\mu$ in the adjoint representation is semisimple without compact factors. We show that for every starting point $x\in \Omega$, the $\mu$-walk with origin $x$ has no escape of mass, and equidistributes in Ces\`aro averages toward some homogeneous measure. This extends several fundamental results due to Benoist-Quint and Eskin-Margulis for walks with finite exponential moment.


title: An Empirical Study of Topic Transition in Dialogue

abstract: Transitioning between topics is a natural component of human-human dialog. Although topic transition has been studied in dialogue for decades, only a handful of corpora based studies have been performed to investigate the subtleties of topic transitions. Thus, this study annotates 215 conversations from the switchboard corpus and investigates how variables such as length, number of topic transitions, topic transitions share by participants and turns/topic are related. This work presents an empirical study on topic transition in switchboard corpus followed by modelling topic transition with a precision of 83% for in-domain(id) test set and 82% on 10 out-of-domain}(ood) test set. It is envisioned that this work will help in emulating human-human like topic transition in open-domain dialog systems.


title: Inviscid limit for Stochastic Navier-Stokes Equations under general initial conditions

abstract: We consider in a smooth and bounded two dimensional domain the convergence in the $L^2$ norm, uniformly in time, of the solution of the stochastic Navier-Stokes equations with additive noise and no-slip boundary conditions to the solution of the corresponding Euler equations. We prove, under general regularity on the initial conditions of the Euler equations, that assuming the dissipation of the energy of the solution of the Navier-Stokes equations in a Kato type boundary layer, then the inviscid limit holds.


title: Primordial Black Holes And Gravitational Waves Based On No-Scale Supergravity

abstract: In this paper we present a class of models in order to explain the production of Primordial Black Holes (PBHs) and Gravitational Waves (GWs) in the Universe. These models are based on no-scale theory. By breaking the SU(2,1)/SU(2)$\times$U(1) symmetry we fix one of the two chiral fields and we derive effective scalar potentials which are capable of generating PBHs and GWs. As it is known in the literature there is an important unification of the no-scale models, which leads to the Starobinsky effective scalar potential based on the coset SU(2,1)/SU(2)$\times$U(1). We use this unification in order to additionally explain the generation of PBHs and GWs. Concretely, we modify well-known superpotentials, which reduce to Starobinsky-like effective scalar potentials. Thus, we derive scalar potentials which, on the one hand, explain the production of PBHs and GWs and, on the other hand, they conserve the transformation laws, which yield from the parametrization of the coset SU(2,1)/SU(2)$\times$U(1) as well as the unification between the models which are yielded this coset. We numerically evaluate the scalar power spectra with the effective scalar potential based on this theory. Furthermore, we evaluate the fractional abundances of PBHs by comparing two methods the Press-Schechter approach and the peak theory, while focusing on explaining the dark matter in the Universe. By using the resulting scalar power spectrum we evaluate the amount of GWs. All models are in complete consistence with Planck constraints.


title: Perturbative quantum Monte Carlo method for nuclear physics

abstract: While first order perturbation theory is routinely used in quantum Monte Carlo (QMC) calculations, higher-order terms present significant numerical challenges. We present a new approach for computing perturbative corrections in projection QMC calculations. We demonstrate the method by computing nuclear ground state energies up to second order for a realistic chiral interaction. We calculate the binding energies of several light nuclei up to $^{16}$O by expanding the Hamiltonian around the Wigner SU(4) limit and find good agreement with data. In contrast to the natural ordering of the perturbative series, we find remarkably large second order energy corrections. This occurs because the perturbing interactions break the symmetries of the unperturbed Hamiltonian. Our method is free from the sign problem and can be applied to QMC calculations for many-body systems in nuclear physics, condensed matter physics, ultracold atoms, and quantum chemistry.


title: Zero-Shot Cross-Lingual Transfer in Legal Domain Using Transformer Models

abstract: Zero-shot cross-lingual transfer is an important feature in modern NLP models and architectures to support low-resource languages. In this work, We study zero-shot cross-lingual transfer from English to French and German under Multi-Label Text Classification, where we train a classifier using English training set, and we test using French and German test sets. We extend EURLEX57K dataset, the English dataset for topic classification of legal documents, with French and German official translation. We investigate the effect of using some training techniques, namely Gradual Unfreezing and Language Model finetuning, on the quality of zero-shot cross-lingual transfer. We find that Language model finetuning of multi-lingual pre-trained model (M-DistilBERT, M-BERT) leads to 32.0-34.94%, 76.15-87.54% relative improvement on French and German test sets correspondingly. Also, Gradual unfreezing of pre-trained model's layers during training results in relative improvement of 38-45% for French and 58-70% for German. Compared to training a model in Joint Training scheme using English, French and German training sets, zero-shot BERT-based classification model reaches 86% of the performance achieved by jointly-trained BERT-based classification model.


title: On data-driven control: informativity of noisy input-output data with cross-covariance bounds

abstract: In this paper we develop new data informativity based controller synthesis methods that extend existing frameworks in two relevant directions: a more general noise characterization in terms of cross-covariance bounds and informativity conditions for control based on input-output data. Previous works have derived necessary and sufficient informativity conditions for noisy input-state data with quadratic noise bounds via an S-procedure. Although these bounds do not capture cross-covariance bounds in general, we show that the S-procedure is still applicable for obtaining non-conservative conditions on the data. Informativity-conditions for stability, $\mathcal{H}_\infty$ and $\mathcal{H}_2$ control are developed, which are sufficient for input-output data and also necessary for input-state data. Simulation experiments illustrate that cross-covariance bounds can be less conservative for informativity, compared to norm bounds typically employed in the literature.


title: Hydrodynamic model of decaying radial oscillations in RU Cam

abstract: Calculations of stellar evolution up to the early white dwarf stage were carried out for stars with mass on the main sequence $M_0=0.82M_\odot$, $0.85M_\odot$, $0.9M_\odot$ and with initial abundances of helium and heavier elements $Y=0.25$ and $Z=10^{-3}$, respectively. For each value of $M_0$ the AGB and post--AGB evolutionary phases were computed with three values of the mass loss parameter in the Bl\"ocker formula: $\eta_B=0.02$, 0.05 and 0.1. The variable star RU~Cam with pulsation period $\Pi\approx 22$ day is shown to be in the post--AGB stage and the pulsation amplitude decrease in years 1962--1963 is due to movement of the star across the HR diagram beyond the pulsation instability region. Theoretical estimates of the mass and the luminosity of RU~Cam are $0.524M_\odot\le M\le 0.532M_\odot$ and $2.20\times 10^3L_\odot\le L\le 2.33\times 10^3L_\odot$, respectively. Hydrodynamic calculations of nonlinear stellar pulsations show that while the star approaches the instability boundary a significant reduction ($\approx 90\%$) in the pulsation amplitude occurs for nearly two years with subsequent slow decay of low--amplitude oscillations. Solution of the equations of hydrodynamics with time--dependent inner boundary conditions describing evolutionary changes in the radius and the luminosity at the bottom of the pulsating envelope allows us to conclude that decay of radial oscillations in RU~Cam is accompanied by the effect of oscillation hysteresis. In particular, the stage of large--amplitude limit cycle oscillations extends by $\approx 12$ years and the subsequent stage of decaying small--amplitude oscilations spreads beyond the formal boundary of pulsation instability.


title: Custodial symmetry, Georgi-Machacek model, and other scalar extensions

abstract: In an SU(2) gauge theory, if the gauge bosons turn out to be degenerate after spontaneous symmetry breaking, obviously these mass terms are invariant under a global SU(2) symmetry that is unbroken. The pure gauge terms are also invariant under this symmetry. This symmetry is called the {\em custodial symmetry} (CS). In $\rm SU(2)\times U(1)$ gauge theories, CS implies a mass relation between the $W$ and the $Z$ bosons. The Standard Model (SM), as well as various extensions of it in the scalar sector, possess such a symmetry. In this paper, we critically examine the notion of CS and show that there may be three different classes of CS, depending on the gauge couplings and self-couplings of the scalars. Among old models that preserve CS, we discuss the Two-Higgs Doublet Model and the one doublet plus two triplet model by Georgi and Machacek. We show that for two-triplet extensions, the Georgi-Machacek model is not the most general possibility with CS. Rather, we find, as the most general extension, a new model with more parameters and hence a richer phenomenology. Some of the consequences of this new model have also been discussed.


title: Subexponential Parameterized Algorithms for Cut and Cycle Hitting Problems on H-Minor-Free Graphs

abstract: We design the first subexponential-time (parameterized) algorithms for several cut and cycle-hitting problems on $H$-minor free graphs. In particular, we obtain the following results (where $k$ is the solution-size parameter). 1. $2^{O(\sqrt{k}\log k)} \cdot n^{O(1)}$ time algorithms for Edge Bipartization and Odd Cycle Transversal; 2. a $2^{O(\sqrt{k}\log^4 k)} \cdot n^{O(1)}$ time algorithm for Edge Multiway Cut and a $2^{O(r \sqrt{k} \log k)} \cdot n^{O(1)}$ time algorithm for Vertex Multiway Cut, where $r$ is the number of terminals to be separated; 3. a $2^{O((r+\sqrt{k})\log^4 (rk))} \cdot n^{O(1)}$ time algorithm for Edge Multicut and a $2^{O((\sqrt{rk}+r) \log (rk))} \cdot n^{O(1)}$ time algorithm for Vertex Multicut, where $r$ is the number of terminal pairs to be separated; 4. a $2^{O(\sqrt{k} \log g \log^4 k)} \cdot n^{O(1)}$ time algorithm for Group Feedback Edge Set and a $2^{O(g \sqrt{k}\log(gk))} \cdot n^{O(1)}$ time algorithm for Group Feedback Vertex Set, where $g$ is the size of the group. 5. In addition, our approach also gives $n^{O(\sqrt{k})}$ time algorithms for all above problems with the exception of $n^{O(r+\sqrt{k})}$ time for Edge/Vertex Multicut and $(ng)^{O(\sqrt{k})}$ time for Group Feedback Edge/Vertex Set. We obtain our results by giving a new decomposition theorem on graphs of bounded genus, or more generally, an $h$-almost-embeddable graph for any fixed constant $h$. In particular we show the following. Let $G$ be an $h$-almost-embeddable graph for a constant $h$. Then for every $p\in\mathbb{N}$, there exist disjoint sets $Z_1,\dots,Z_p \subseteq V(G)$ such that for every $i \in \{1,\dots,p\}$ and every $Z'\subseteq Z_i$, the treewidth of $G/(Z_i\backslash Z')$ is $O(p+|Z'|)$. Here $G/(Z_i\backslash Z')$ is the graph obtained from $G$ by contracting edges with both endpoints in $Z_i \backslash Z'$.


title: Relativistic hydrodynamic model with the average reverse gamma factor evolution for the degenerate plasmas: high-density ion-acoustic solitons

abstract: High-density low-temperature plasmas with degenerate species are considered in the limit of high Fermi velocities close to the speed of light. The small amplitude ion-acoustic solitons are studied in this regime. Presented analysis is based on the relativistic hydrodynamic model with the average reverse gamma factor evolution consists of the equations for evolution of the following functions the concentration, the velocity field, the average reverse relativistic gamma factor, and the flux of the reverse relativistic gamma factor, which are considered as main hydrodynamic variables. Justification of the suggested model via comparison of the hydrodynamic results with the result of application of the relativistic Vlasov kinetic equation is made in the linear approximation.


title: Investigations on the improved cycling stability of Kazakhstanite phase Fe-V-O layered oxide by using superconcentrated electrolytes: Generalized solubility limit approach (Part I)

abstract: In this article, we address the issue of vanadium dissolution pertinent in the layered Fe5V15O39(OH)9.9H2O using the solubility limit approach. This layered oxide is prepared via a low-cost solution phase synthesis route and crystallizes in the Kazakhstanite phase (Space Group: C2/m), confirmed using selected area electron diffraction and x-ray diffraction.The layered oxide exhibits the 2 electron redox reaction of vanadium (V5+ to V3+) along with the 1 electron redox reaction of iron within the voltage window of 1.5-3.8V. This results in a high specific capacity of ~350mAhg-1 which can be extracted from this material. However, the transition from V4+ to V3+ is identified to initiate a dissolution process at ~2.5V, resulting in a loss of active material and poor cycling stability. The vanadium dissolution is found to be arrested by switching to a superconcentrated electrolyte, wherein the amount of 'free' solvent is low. An electrolyte, consisting of seven molar lithium bis(trifluoromethanesulfonyl)imide in 1,3-Dioxolane: 1,2-Dimethoxyethane = 1:1 (v:v), is found to be suitable in providing the best cycling stability amongst the other compositions tested. The electrochemical characteristics of the passivation layers formed over lithium foil are mathematically modeled to indicate the preference of superconcentrated electrolytes over relatively dilute ones.


title: Computing Microwave Background Polarization Power Spectra from Cosmic Birefringence

abstract: We present a new publicly available code, $\texttt{class_rot}$, which modifies $\texttt{class}$ to enable fast non-perturbative calculation of cosmic microwave background polarization power spectra due to both isotropic and anisotropic polarization rotation from cosmic birefringence. Cosmic birefringence can arise from new parity-violating physics such as axion dark matter with a Chern-Simons coupling to photons or Faraday rotation due to a primordial magnetic field. Constraints on these effects can be obtained by comparing measurements to precise numerical calculations of the polarization power spectra. We describe the implementation of $\texttt{class_rot}$ in terms of both mathematical formalism and coding architecture. We also provide usage examples and demonstrate the accuracy of the code by comparing with simulations.


title: Transfer Learning with Jukebox for Music Source Separation

abstract: In this work, we demonstrate how a publicly available, pre-trained Jukebox model can be adapted for the problem of audio source separation from a single mixed audio channel. Our neural network architecture, which is using transfer learning, is quick to train and the results demonstrate performance comparable to other state-of-the-art approaches that require a lot more compute resources, training data, and time. We provide an open-source code implementation of our architecture (https://github.com/wzaielamri/unmix)


title: $\mathrm{L}^{2}_{\alpha} $-Solutions for Nonlinear Schr\"odinger Equations Associated With The Weinstein Operator

abstract: In this paper, we study the Schr\"odinger equation associated with the Weinstein operators and we prove the existence and uniqueness of global solutions to Schr\"odinger-Weinstein equations in\\ $C\left(\left(-T_{\min }, T_{\max }\right) ; L_{\alpha}^{2}\left(\mathbb{R}^{d+1}_+\right)\right) \bigcap L_{l o c}^{q_{1}}\left(\left(-T_{\min }, T_{\max }\right) ; L_{\alpha}^{r_{1}}\left(\mathbb{R}^{d+1}_+\right)\right)$ \\ on initial condition in $L_{\alpha}^{2}\left(\mathbb{R}^{d+1}_+\right)$


title: Parametrically driven THz magnon-pairs: predictions towards ultimately fast and minimally dissipative switching

abstract: Findings ways to achieve switching between magnetic states at the fastest possible time scale that simultaneously dissipates the least amount of energy is one of the main challenges in magnetism. Antiferromagnets exhibit intrinsic dynamics in the THz regime, the highest among all magnets and are therefore ideal candidates to address this energy-time dilemma. Here we study theoretically THz-driven parametric excitation of antiferromagnetic magnon-pairs at the edge of the Brillouin zone and explore the potential for switching between two stable oscillation states. Using a semi-classical theory, we predict that switching can occur at the femtosecond time scale with an energy dissipation down to a few zepto Joule. This result touches the thermodynamical bound of the Landauer principle, and approaches the quantum speed limit up to 5 orders of magnitude closer than demonstrated with magnetic systems so far.


title: How Deep Are the Fakes? Focusing on Audio Deepfake: A Survey

abstract: Deepfake is content or material that is synthetically generated or manipulated using artificial intelligence (AI) methods, to be passed off as real and can include audio, video, image, and text synthesis. This survey has been conducted with a different perspective compared to existing survey papers, that mostly focus on just video and image deepfakes. This survey not only evaluates generation and detection methods in the different deepfake categories, but mainly focuses on audio deepfakes that are overlooked in most of the existing surveys. This paper critically analyzes and provides a unique source of audio deepfake research, mostly ranging from 2016 to 2020. To the best of our knowledge, this is the first survey focusing on audio deepfakes in English. This survey provides readers with a summary of 1) different deepfake categories 2) how they could be created and detected 3) the most recent trends in this domain and shortcomings in detection methods 4) audio deepfakes, how they are created and detected in more detail which is the main focus of this paper. We found that Generative Adversarial Networks(GAN), Convolutional Neural Networks (CNN), and Deep Neural Networks (DNN) are common ways of creating and detecting deepfakes. In our evaluation of over 140 methods we found that the majority of the focus is on video deepfakes and in particular in the generation of video deepfakes. We found that for text deepfakes there are more generation methods but very few robust methods for detection, including fake news detection, which has become a controversial area of research because of the potential of heavy overlaps with human generation of fake content. This paper is an abbreviated version of the full survey and reveals a clear need to research audio deepfakes and particularly detection of audio deepfakes.


title: Count-Based Temperature Scheduling for Maximum Entropy Reinforcement Learning

abstract: Maximum Entropy Reinforcement Learning (MaxEnt RL) algorithms such as Soft Q-Learning (SQL) and Soft Actor-Critic trade off reward and policy entropy, which has the potential to improve training stability and robustness. Most MaxEnt RL methods, however, use a constant tradeoff coefficient (temperature), contrary to the intuition that the temperature should be high early in training to avoid overfitting to noisy value estimates and decrease later in training as we increasingly trust high value estimates to truly lead to good rewards. Moreover, our confidence in value estimates is state-dependent, increasing every time we use more evidence to update an estimate. In this paper, we present a simple state-based temperature scheduling approach, and instantiate it for SQL as Count-Based Soft Q-Learning (CBSQL). We evaluate our approach on a toy domain as well as in several Atari 2600 domains and show promising results.


title: Mirror Symmetry, Born Geometry and String Theory

abstract: All known string theory models may be obtained as partial fermionization, projection and background Ans\"atze from the original, purely bosonic string theory. The latter theory in turn has been recently shown to describe a chirally and non-commutatively doubled and manifestly T-dual target spacetime. We show herein that this, so-called metastring theory automatically includes mirror symmetry.


title: Shape dynamics of a red blood cell in Poiseuille flow

abstract: We use numerical simulations to study the dynamics of red blood cells (RBCs) in unconfined and confined Poiseuille flow. Previous numerical studies with 3D vesicles have indicated that the slipper shape observed in experiments at high capillary number can be attributed to the bistability due to the interplay of wall push and outward migration tendency at higher viscosity contrasts. In this paper, we study this outward migration and bistability using numerical simulations for 3D capsules and provide phase diagrams of RBC dynamics with and without viscosity contrast. We observe a bistability of slipper and croissants in confined Poiseuille flow with viscosity contrast as observed in experiments.


title: Using the Softplus Function to Construct Alternative Link Functions in Generalized Linear Models and Beyond

abstract: Response functions linking regression predictors to properties of the response distribution are fundamental components in many statistical models. However, the choice of these functions is typically based on the domain of the modeled quantities and is not further scrutinized. For example, the exponential response function is usually assumed for parameters restricted to be positive although it implies a multiplicative model which may not necessarily be desired. Consequently, applied researchers might easily face misleading results when relying on defaults without further investigation. As an alternative to the exponential response function, we propose the use of the softplus function to construct alternative link functions for parameters restricted to be positive. As a major advantage, we can construct differentiable link functions corresponding closely to the identity function for positive values of the regression predictor, which implies an quasi-additive model and thus allows for an additive interpretation of the estimated effects by practitioners. We demonstrate the applicability of the softplus response function using both simulations and real data. In four applications featuring count data regression and Bayesian distributional regression, we contrast our approach to the commonly used exponential response function.


title: Monoidal weak omega-categories as models of a type theory

abstract: Weak $\omega$-categories are notoriously difficult to define because of the very intricate nature of their axioms. Various approaches have been explored, based on different shapes given to the cells. Interestingly, homotopy type theory encompasses a definition of weak $\omega$-groupoid in a globular setting, since every type carries such a structure. Starting from this remark, Brunerie could extract this definition of globular weak $\omega$\nobreakdash-groupoids, formulated as a type theory. By refining its rules, Finster and Mimram have then defined a type theory called CaTT, whose models are weak $\omega$-categories. Here, we generalize this approach to monoidal weak $\omega$-categories. Based on the principle that they should be equivalent to weak $\omega$-categories with only one $0$-cell, we are able to derive a type theory MCaTT whose models are monoidal categories. This requires changing the rules of the theory in order to encode the information carried by the unique $0$-cell. The correctness of the resulting type theory is shown by defining a pair of translations between our type theory MCaTT and the type theory CaTT. Our main contribution is to show that these translations relate the models of our type theory to the models of the type theory CaTT consisting of $\omega$-categories with only one $0$-cell, by analyzing in details how the notion of models interact with the structural rules of both type theories.


title: Mean Field Games of Controls with Dirichlet boundary conditions

abstract: In this paper we study a mean-field games system with Dirichlet boundary conditions in a closed domain and in a mean-field of control setting, that is in which the dynamics of each agent is affected not only by the average position of the rest of the agents but also by their average optimal choice. This setting allows the modeling of more realistic real-life scenarios in which agents not only will leave the domain at a certain point in time (like during the evacuation of pedestrians or in debt refinancing dynamics) but also act competitively to anticipate the strategies of the other agents. We shall establish the existence of Nash Equilibria for such class of mean-field of controls systems under certain regularity assumptions on the dynamics and the Lagrangian cost. Much of the paper is devoted to establishing several a priori estimates which are needed to circumvent the fact that the mass is not conserved (as we are in a Dirichlet boundary condition setting). In the conclusive sections, we provide examples of systems falling into our framework as well as numerical implementations.


title: Emergent Graphical Conventions in a Visual Communication Game

abstract: Humans communicate with graphical sketches apart from symbolic languages. Primarily focusing on the latter, recent studies of emergent communication overlook the sketches; they do not account for the evolution process through which symbolic sign systems emerge in the trade-off between iconicity and symbolicity. In this work, we take the very first step to model and simulate this process via two neural agents playing a visual communication game; the sender communicates with the receiver by sketching on a canvas. We devise a novel reinforcement learning method such that agents are evolved jointly towards successful communication and abstract graphical conventions. To inspect the emerged conventions, we define three fundamental properties -- iconicity, symbolicity, and semanticity -- and design evaluation methods accordingly. Our experimental results under different controls are consistent with the observation in studies of human graphical conventions. Of note, we find that evolved sketches can preserve the continuum of semantics under proper environmental pressures. More interestingly, co-evolved agents can switch between conventionalized and iconic communication based on their familiarity with referents. We hope the present research can pave the path for studying emergent communication with the modality of sketches.


title: On $\mu$-Sondow Numbers

abstract: Given an integer $\mu$, we study the numbers that satisfy the condition $\frac{\mu}{n} + \sum_ {p \mid n} \frac {1} {p} \in \mathbb{N}$. This condition, which is reminiscent of the one satisfied by Giuga numbers ($\mu=-1$), also includes the so-called \cite{sondow} weak primary pseudoperfect numbers ($\mu=1$). As a tribute to our late colleague Jonathan Sondow (1943 -- 2020), we have named these numbers $ \mu $-Sondow numbers. In this paper, we give several different characterizations of these numbers, all of them suggested by well-known characterizations of the Giuga numbers. We also relate these numbers to the well-known Erd\"os-Moser equation and we present some conjectures about them.


title: On Predicting Generalization using GANs

abstract: Research on generalization bounds for deep networks seeks to give ways to predict test error using just the training dataset and the network parameters. While generalization bounds can give many insights about architecture design, training algorithms, etc., what they do not currently do is yield good predictions for actual test error. A recently introduced Predicting Generalization in Deep Learning competition~\citep{jiang2020neurips} aims to encourage discovery of methods to better predict test error. The current paper investigates a simple idea: can test error be predicted using {\em synthetic data,} produced using a Generative Adversarial Network (GAN) that was trained on the same training dataset? Upon investigating several GAN models and architectures, we find that this turns out to be the case. In fact, using GANs pre-trained on standard datasets, the test error can be predicted without requiring any additional hyper-parameter tuning. This result is surprising because GANs have well-known limitations (e.g. mode collapse) and are known to not learn the data distribution accurately. Yet the generated samples are good enough to substitute for test data. Several additional experiments are presented to explore reasons why GANs do well at this task. In addition to a new approach for predicting generalization, the counter-intuitive phenomena presented in our work may also call for a better understanding of GANs' strengths and limitations.


title: Local Learning Matters: Rethinking Data Heterogeneity in Federated Learning

abstract: Federated learning (FL) is a promising strategy for performing privacy-preserving, distributed learning with a network of clients (i.e., edge devices). However, the data distribution among clients is often non-IID in nature, making efficient optimization difficult. To alleviate this issue, many FL algorithms focus on mitigating the effects of data heterogeneity across clients by introducing a variety of proximal terms, some incurring considerable compute and/or memory overheads, to restrain local updates with respect to the global model. Instead, we consider rethinking solutions to data heterogeneity in FL with a focus on local learning generality rather than proximal restriction. To this end, we first present a systematic study informed by second-order indicators to better understand algorithm effectiveness in FL. Interestingly, we find that standard regularization methods are surprisingly strong performers in mitigating data heterogeneity effects. Based on our findings, we further propose a simple and effective method, FedAlign, to overcome data heterogeneity and the pitfalls of previous methods. FedAlign achieves competitive accuracy with state-of-the-art FL methods across a variety of settings while minimizing computation and memory overhead. Code is available at https://github.com/mmendiet/FedAlign


title: Metric-Affine Vector-Tensor Correspondence and Implications in $F(R,T,Q,\mathcal{T},\mathcal{D})$ gravity

abstract: We extend the results of antecedent literature on quadratic Metric-Affine Gravity by studying a new quadratic gravity action in vacuum which, besides the usual (non-Riemannian) Einstein-Hilbert contribution, involves all the parity even quadratic terms in torsion and non-metricity plus a Lagrangian that is quadratic in the field-strengths of the torsion and non-metricity vector traces. The theory result to be equivalent, on-shell, to a Vector-Tensor theory. We also discuss the sub-cases in which the contribution to the Lagrangian quadratic in the field-strengths of the torsion and non-metricity vectors just exhibits one of the aforementioned quadratic terms. We then report on implications of our findings in the context of $F(R,T,Q,\mathcal{T},\mathcal{D})$ gravity.


title: Regular versus singular solutions in quasilinear indefinite problems with sublinear potentials

abstract: The aim of this paper is analyzing existence, multiplicity, and regularity issues for the positive solutions of a Neumann boundary value problem of superlinear indefinite type related to the mean curvature operator with a sublinear potential at infinity.


title: Rational Matrix-Valued Pick Functions of Several Variables

abstract: For a rational function of several variables with nonnegative imaginary part on the upper poly-half-plane, the matrix representations are obtained.


title: A null infinity layer for wave scattering

abstract: We show how to solve time-harmonic wave scattering problems on unbounded domains without truncation. The technique, first developed in numerical relativity for time-domain wave equations, maps the unbounded domain to a bounded domain and scales out the known oscillatory decay towards infinity. We design a null infinity layer that corresponds to the infinite exterior domain and restricts the transformations to an annular domain. The method does not require the local Green function. Therefore we can use it to solve Helmholtz equations with variable coefficients and certain nonlinear source terms. The method's main advantages are the exact treatment of the local boundary and access to radiative fields at infinity. The freedom in the transformations allows us to choose parameters adapted to high-frequency wave propagation in the exterior domain. We demonstrate the efficiency of the technique in one- and two-dimensional numerical examples.


title: How generic is eternal inflation?

abstract: Everlasting inflation has far-reaching implications for cosmology and the standing of self-localizing inferences made by observers, which have been subjects of renewed interest in light of the growing acceptance of theory landscapes and the attendant anthropic arguments. Under what assumptions and to what extent does inflation generically produce an eternal "multiverse," without fine-tuning with respect to measures over the space of inflationary cosmologies driven by a single minimally coupled scalar field? We address this and related questions with numerical simulations of inflationary dynamics across populations of randomly generated inflation models, instantiating a few particular simply-defined measures.


title: Approximate Inference via Clustering

abstract: In recent years, large-scale Bayesian learning draws a great deal of attention. However, in big-data era, the amount of data we face is growing much faster than our ability to deal with it. Fortunately, it is observed that large-scale datasets usually own rich internal structure and is somewhat redundant. In this paper, we attempt to simplify the Bayesian posterior via exploiting this structure. Specifically, we restrict our interest to the so-called well-clustered datasets and construct an \emph{approximate posterior} according to the clustering information. Fortunately, the clustering structure can be efficiently obtained via a particular clustering algorithm. When constructing the approximate posterior, the data points in the same cluster are all replaced by the centroid of the cluster. As a result, the posterior can be significantly simplified. Theoretically, we show that under certain conditions the approximate posterior we construct is close (measured by KL divergence) to the exact posterior. Furthermore, thorough experiments are conducted to validate the fact that the constructed posterior is a good approximation to the true posterior and much easier to sample from.


title: On the Robustness and Generalization of Deep Learning Driven Full Waveform Inversion

abstract: The data-driven approach has been demonstrated as a promising technique to solve complicated scientific problems. Full Waveform Inversion (FWI) is commonly epitomized as an image-to-image translation task, which motivates the use of deep neural networks as an end-to-end solution. Despite being trained with synthetic data, the deep learning-driven FWI is expected to perform well when evaluated with sufficient real-world data. In this paper, we study such properties by asking: how robust are these deep neural networks and how do they generalize? For robustness, we prove the upper bounds of the deviation between the predictions from clean and noisy data. Moreover, we demonstrate an interplay between the noise level and the additional gain of loss. For generalization, we prove a norm-based generalization error upper bound via a stability-generalization framework. Experimental results on seismic FWI datasets corroborate with the theoretical results, shedding light on a better understanding of utilizing Deep Learning for complicated scientific applications.


title: Variations of the Internal Asymmetries of Sunspot Groups During their Decay

abstract: The aim of the present study is to show the varying asymmetries during the decay of sunspot groups. The source of input data is the SoHO/MDI-Debrecen Database (SDD) sunspot catalog that contains the magnetic polarity data for time interval 1996-2010. Several types of asymmetries were examined on the selected sample of 142 sunspot groups. The leading-following asymmetry increases in three phases during the decay and exhibits anticorrelation with size. It is also related to a hemispheric asymmetry, during the decay the area asymmetry index has higher values in the southern hemisphere which may be due to the higher activity level in the southern hemisphere in cycle 23. The total umbral area is inversely proportional to the umbra/penumbra ratio but it is directly proportional to the umbral decay rate. During the decay the umbra/penumbra (U/P) ratio decreases unambiguously in the trailing parts but in most cases in the leading parts as well. The U/P variation is a consequence of the different depths of umbral and penumbral fields.


title: The weighted Hilbert--Schmidt numerical radius

abstract: Let $\mathbb{B}(\mathcal{H})$ be the algebra of all bounded linear operators on a Hilbert space $\mathcal{H}$ and let $N(\cdot)$ be a norm on $\mathbb{B}(\mathcal{H})$. For every $0\leq \nu \leq 1$, we introduce the $w_{_{(N,\nu)}}(A)$ as an extension of the classical numerical radius by \begin{align*} w_{_{(N,\nu)}}(A):= \displaystyle{\sup_{\theta \in \mathbb{R}}} N\left(\nu e^{i\theta}A + (1-\nu)e^{-i\theta}A^*\right) \end{align*} and investigate basic properties of this notion and prove inequalities involving it. In particular, when $N(\cdot)$ is the Hilbert--Schmidt norm ${\|\!\cdot\!\|}_{2}$, we present several the weighted Hilbert--Schmidt numerical radius inequalities for operator matrices. Furthermore, we give a refinement of the triangle inequality for the Hilbert--Schmidt norm as follows: \begin{align*} {\|A+B\|}_{2} \leq \sqrt{2w_{_{({\|\!\cdot\!\|}_{2},\nu)}}^2\left(\begin{bmatrix} 0 & A \\ B^* & 0 \end{bmatrix}\right) - (1-2\nu)^2{\|A-B\|}_{2}^2} \leq {\|A\|}_{2} + {\|B\|}_{2}. \end{align*} Our results extend some theorems due to F.~Kittaneh et al. (2019).


title: A CO2 cycle on Ariel? Radiolytic production and migration to low latitude cold traps

abstract: CO2 ice is present on the trailing hemisphere of Ariel but is mostly absent from its leading hemisphere. The leading/trailing hemispherical asymmetry in the distribution of CO2 ice is consistent with radiolytic production of CO2, formed by charged particle bombardment of H2O ice and carbonaceous material in Ariel's regolith. This longitudinal distribution of CO2 on Ariel was previously characterized using 13 near-infrared reflectance spectra collected at 'low' sub-observer latitudes between 30S to 30N. Here, we investigated the distribution of CO2 ice on Ariel using 18 new spectra: two collected over low sub-observer latitudes, five collected at 'mid' sub-observer latitudes (31 - 44N), and eleven collected over 'high' sub-observer latitudes (45 - 51N). Analysis of these data indicates that CO2 ice is primarily concentrated on Ariel's trailing hemisphere. However, CO2 ice band strengths are diminished in the spectra collected over mid and high sub-observer latitudes. This sub-observer latitudinal trend may result from radiolytic production of CO2 molecules at high latitudes and subsequent migration of this constituent to low latitude cold traps. We detected a subtle feature near 2.13 microns in two spectra collected over high sub-observer latitudes, which might result from a 'forbidden' transition mode of CO2 ice that is substantially stronger in well mixed substrates composed of CO2 and H2O ice, consistent with regolith-mixed CO2 ice grains formed by radiolysis. Additionally, we detected a 2.35-micron feature in some low sub-observer latitude spectra, which might result from CO formed as part of a CO2 radiolytic production cycle.


title: Scattered Image Reconstruction at Near-infrared Based on Spatial Modulation Instability

abstract: We present a method of near-infrared image reconstruction based on spatial modulation instability in a photorefractive strontium barium niobate crystal. The conditions that lead to the formation of modulation instability at near-infrared are discussed depending on the theory of modulation instability gain. Experimental results of scattered image reconstruction at the 1064 nm wavelength show the maximum cross-correlation coefficient and cross-correlation gain are 0.57 and 2.09 respectively. This method is expected to be an aid for near-infrared imaging technologies.


title: Removal and replacement of interference in tied-array radio pulsar observations using the spectral kurtosis estimator

abstract: We describe how to implement the spectral kurtosis method of interference removal (zapping) on a digitized signal of averaged power values. Spectral kurtosis is a hypothesis test, analogous to the t-test, with a null hypothesis that the amplitudes from which power is formed belong to a `good' distribution -- typically Gaussian with zero mean -- where power values are zapped if the hypothesis is rejected at a specified confidence level. We derive signal-to-noise ratios (SNRs) as a function of amount of zapping for folded radio pulsar observations consisting of a sum of signals from multiple telescopes in independent radio-frequency interference (RFI) environments, comparing four methods to compensate for lost data with coherent (tied-array) and incoherent summation. For coherently summed amplitudes, scaling amplitudes from non-zapped telescopes achieves a higher SNR than replacing zapped amplitudes with artificial noise. For incoherently summed power values, the highest SNR is given by scaling power from non-zapped telescopes to maintain a constant mean. We use spectral kurtosis to clean a tied-array radio pulsar observation by the Large European Array for Pulsars (LEAP): the signal from one telescope is zapped with time and frequency resolutions of 6.25 $\mu$s and 0.16 MHz, removing interference along with 0.27 per cent of `good' data, giving an uncertainty of 0.25 $\mu$s in pulse time of arrival (TOA) for PSR J1022+1001. We use a single-telescope observation to demonstrate recovery of the pulse profile shape, with 0.6 per cent of data zapped and a reduction from 1.22 to 0.70 $\mu$s in TOA uncertainty.


title: (Thesis) Reservoir Computing With Dynamical Systems

abstract: A reservoir computer is a special type of neural network, where most of the weights are randomly fixed and only a subset are trained. In this thesis we prove results about reservoir computers trained on deterministic dynamical systems, and stochastic processes. We focus mostly on a special type of reservoir computer called an Echo State Network (ESN). In the deterministic case, we prove (under some assumptions) that if a reservoir computer has the Echo State Property (ESP), then there is a C1 generalised synchronisation between the input dynamical system and the dynamics in the reservoir space. Furthermore, we prove that a reservoir computer with the local ESP in several disjoint subsets of the reservoir space will admit several distinct generalised synchronisations. In the special case that the reservoir map is linear, and has the ESP, we prove that the generalised synchronisation is generically an embedding. This result admits Takens' embedding Theorem as a special case. We go to show that ESNs trained on scalar observations of an ergodic dynamical system can approximate an arbitrary target function, including the next step map used in time series forecasting. This universal approximation property holds despite the training process being entirely linear. We prove analogous results for ESNs trained on observations of a stochastic process, which are not be Markovian in general. We use these results to develop supervised learning, and reinforcement learning algorithms supported by an ESN. In the penultimate chapter of this thesis, we use a reservoir computer to numerically solve linear PDEs. In the final chapter, we conclude and discuss directions for future work.


title: Disentangling global equity market instability: a network analysis

abstract: During a financial crisis, the capital markets network frequently exhibits a high correlation between returns. We developed a network analysis framework based on daily returns from 42 countries to determine systemic stability. Our network is built using the conditional probability of co-movement of returns, and it identifies nodes, network complexity, and edge as potential sources of fragility. We also introduce the concept of measuring flows from one return to another. Then, we use 120-day rolling data to capture the financial system's behavior and create a financial stability indicator. We discover that the contributions of nodes and network complexity to changes in system stability frequently cancel each other out. Edge change may be a determinant of systemic stability. Furthermore, the total flows in the network are highly correlated with the volatility. It main advantage is the tractability and potential sources of volatility can be determined.


title: Bell-type games on deformable manifolds

abstract: We study bipartite correlations in Bell-type games. We show that in a setup where the information carriers are allowed to locally deform the manifold on which the game is played, stronger correlations may be obtained than those maximally attainable otherwise. We discuss the implications of our results in the context of Bell's theorem and the Einstein-Podolsky-Rosen paradox.


title: Comment on "Observation of two-dimensional Anderson localisation of ultracold atoms"

abstract: Here I provide additional experimental information and criticise the analysis, modelling, interpretation and claims presented in the recent paper [Nature Communications 11, 4942 (2020)]. I argue that the authors have no clear experimental evidence of Anderson localisation (as they claim) and their numerical simulations are very far indeed from reproducing the experiment, as stated in their article. Furthermore, some effects that are ascribed to real physical mechanisms are revealed to be simply artefacts.


title: H\"older regularity for collapses of point vortices

abstract: The first part of this article studies the collapses of point-vortices for the Euler equation in the plane and for surface quasi-geostrophic equations in the general setting of $\alpha$ models. In these models the kernel of the Biot-Savart law is a power function of exponent $-\alpha$. It is proved that, under a standard non-degeneracy hypothesis, the trajectories of the point-vortices have a H\"older regularity up to, and including, the time of collapse. The H\"older exponent obtained is $1/(\alpha+1)$ and this exponent is proved to be optimal for all $\alpha$ by exhibiting an example of a $3$-vortex collapse. The same question is then addressed for the Euler point-vortex system in smooth bounded connected domains. It is proved that if a given point-vortex has an accumulation point in the interior of the domain as $t\to T$, then it converges towards this point and displays the same H\"older continuity property. A partial result for point-vortices that collapse with the boundary is also established : we prove that their distance to the boundary is H\"older regular.


title: Highly twisted plat diagrams

abstract: We prove that the knots and links in the infinite set of $3$-highly twisted $2m$-plats, with $m \geq 2$, are all hyperbolic. This should be compared with a result of Futer-Purcell for $6$-highly twisted diagrams. While their proof uses geometric methods our proof is achieved by showing that the complements of such knots or links are unannular and atoroidal. This is done by using a new approach involving an Euler characteristic argument.


title: Long-range and hierarchical language predictions in brains and algorithms

abstract: Deep learning has recently made remarkable progress in natural language processing. Yet, the resulting algorithms remain far from competing with the language abilities of the human brain. Predictive coding theory offers a potential explanation to this discrepancy: while deep language algorithms are optimized to predict adjacent words, the human brain would be tuned to make long-range and hierarchical predictions. To test this hypothesis, we analyze the fMRI brain signals of 304 subjects each listening to 70min of short stories. After confirming that the activations of deep language algorithms linearly map onto those of the brain, we show that enhancing these models with long-range forecast representations improves their brain-mapping. The results further reveal a hierarchy of predictions in the brain, whereby the fronto-parietal cortices forecast more abstract and more distant representations than the temporal cortices. Overall, this study strengthens predictive coding theory and suggests a critical role of long-range and hierarchical predictions in natural language processing.


title: Hoeffding's inequality for non-irreducible Markov models

abstract: In this article, we establish Hoeffding's inequality for bounded Lipschitz functions of a class of not necessarily irreducible Markov models. The result complements the existing literature on this topic where Hoeffding's inequality for bounded measurable functions of a class of irreducible Markov models has been considered. Our approach is based on the assumption of uniform ergodicity of the underlying Markov model in $L^1$-Wasserstein space.


title: On the Solution of the Equation $n = ak + bp_k$ by Means of an Iterative Method

abstract: For fixed positive integers $n$, we study the solution of the equation $n = k + p_k$, where $p_k$ denotes the $k$th prime number, by means of the iterative method \[ k_{j+1} = \pi(n-k_j), \qquad k_0 = \pi(n), \] which converges to the solution of the equation, if it exists. We also analyze the equation $n = ak + bp_k$ for fixed integer values $a \ne 0$ and $b>0$, and its solution by means of a corresponding iterative method. The case $a>0$ is somewhat similar to the case $a=b=1$, while for $a<0$ the convergence and usefulness of the method are less satisfactory. The paper also includes a study of the dynamics of the iterative methods.


title: The second production of RSD (AC-LGAD) at FBK

abstract: In this contribution we describe the second run of RSD (Resistive AC-Coupled Silicon Detectors) designed at INFN Torino and produced by Fondazione Bruno Kessler (FBK), Trento. RSD are n-in-p detectors intended for 4D particle tracking based on the LGAD technology that get rid of any segmentation implant in order to achieve the 100% fill-factor. They are characterized by three key-elements, (i) a continuous gain implant, (ii) a resistive n-cathode and (iii) a dielectric coupling layer deposited on top, guaranteeing a good spatial reconstruction of the hit position while benefiting from the good timing properties of LGADs. We will start from the very promising results of our RSD1 batch in terms of tracking performances and then we will move to the description of the design of the RSD2 run. In particular, the principles driving the sensor design and the specific AC-electrode layout adopted to optimize the signal confinement will be addressed.


title: An Interpretation of Quantum Foundations Based on Density Functional Theory and Polymer Self-Consistent Field Theory

abstract: The Feynman quantum-classical isomorphism between classical statistical mechanics in 3+1 dimensions and quantum statistical mechanics in 3 dimensions is used to connect classical polymer self-consistent field theory with quantum time-dependent density functional theory. This allows the theorems of density functional theory to relate non-relativistic quantum mechanics back to a classical statistical mechanical derivation of polymer self-consistent field theory for ring polymers in a 4 dimensional thermal-space. One dynamic postulate is added to two static postulates which allows for a complete description of quantum physics from a 5 dimensional thermal-space-time ensemble perspective which also removes the measurement problem. In the classical limit, a cylinder condition naturally arises as the thermal dimension becomes irrelevant, providing a justification for using 5 dimensions and a cylinder condition in general relativity, which is known to produce 4 dimensional space-time gravity and Maxwell's equations. Thus, in this approach, the postulates of electromagnetism become derived results of a special case of a ring polymer interpretation of quantum foundations.


title: Data-independent Low-complexity KLT Approximations for Image and Video Coding

abstract: The Karhunen-Lo\`eve transform (KLT) is often used for data decorrelation and dimensionality reduction. The KLT is able to optimally retain the signal energy in only few transform components, being mathematically suitable for image and video compression. However, in practice, because of its high computational cost and dependence on the input signal, its application in real-time scenarios is precluded. This work proposes low-computational cost approximations for the KLT. We focus on the blocklengths $N \in \{4, 8, 16, 32 \}$ because they are widely employed in image and video coding standards such as JPEG and high efficiency video coding (HEVC). Extensive computational experiments demonstrate the suitability of the proposed low-complexity transforms for image and video compression.

categories: eess.IV cs.MM cs.NA eess.SP math.NA stat.CO


title: HILIGT, Upper Limit Servers I -- Overview

abstract: The advent of all-sky facilities, such as the Neil Gehrels Swift observatory, the All Sky Automated Search for Supernovae (ASASSN), eROSITA and Gaia has led to a new appreciation of the importance of transient sources in solving outstanding astrophysical questions. Identification and catalogue cross-matching of transients has been eased over the last two decades by the Virtual Observatory but we still lack a client capable of providing a seamless, self-consistent, analysis of all observations made of a particular object by current and historical facilities. HILIGT is a web-based interface which polls individual servers written for XMM-Newton, INTEGRAL and other missions, to find the fluxes, or upper limits, from all observations made of a given target. These measurements are displayed as a table or a time series plot, which may be downloaded in a variety of formats. HILIGT currently works with data from X-ray and Gamma-ray observatories.


title: Low-complexity Rounded KLT Approximation for Image Compression

abstract: The Karhunen-Lo\`eve transform (KLT) is often used for data decorrelation and dimensionality reduction. Because its computation depends on the matrix of covariances of the input signal, the use of the KLT in real-time applications is severely constrained by the difficulty in developing fast algorithms to implement it. In this context, this paper proposes a new class of low-complexity transforms that are obtained through the application of the round function to the elements of the KLT matrix. The proposed transforms are evaluated considering figures of merit that measure the coding power and distance of the proposed approximations to the exact KLT and are also explored in image compression experiments. Fast algorithms are introduced for the proposed approximate transforms. It was shown that the proposed transforms perform well in image compression and require a low implementation cost.

categories: eess.IV cs.CV cs.NA eess.SP math.NA stat.ME


title: Projected Multi-Agent Consensus Equilibrium for Ptychographic Image Reconstruction

abstract: Ptychography is a computational imaging technique using multiple, overlapping, coherently illuminated snapshots to achieve nanometer resolution by solving a nonlinear phase-field recovery problem. Ptychography is vital for imaging of manufactured nanomaterials, but existing algorithms have computational shortcomings that limit large-scale application. In this paper, we present the Projected Multi-Agent Consensus Equilibrium (PMACE) approach for solving the ptychography inversion problem. This approach extends earlier work on MACE, which formulates an inversion problem as an equilibrium among multiple agents, each acting independently to update a full reconstruction. In PMACE, each agent acts on a portion (projection) corresponding to one of the snapshots, and these updates to projections are then combined to give an update to the full reconstruction. The resulting algorithm is easily parallelized, with convergence properties inherited from convergence results associated with MACE. We apply our method on simulated data and demonstrate that it outperforms competing algorithms in both reconstruction quality and convergence speed.


title: Quantum magnonics: when magnon spintronics meets quantum information science

abstract: Spintronics and quantum information science are two promising candidates for innovating information processing technologies. The combination of these two fields enables us to build solid-state platforms for studying quantum phenomena and for realizing multi-functional quantum tasks. For a long time, however, the intersection of these two fields was limited. This situation has changed significantly over the last few years because of the remarkable progress in coding and processing information using magnons. On the other hand, significant advances in understanding the entanglement of quasi-particles and in designing high-quality qubits and photonic cavities for quantum information processing provide physical platforms to integrate magnons with quantum systems. From these endeavours, the highly interdisciplinary field of quantum magnonics emerges, which combines spintronics, quantum optics and quantum information science.Here, we give an overview of the recent developments concerning the quantum states of magnons and their hybridization with mature quantum platforms. First, we review the basic concepts of magnons and quantum entanglement and discuss the generation and manipulation of quantum states of magnons, such as single-magnon states, squeezed states and quantum many-body states including Bose-Einstein condensation and the resulting spin superfluidity. We discuss how magnonic systems can be integrated and entangled with quantum platforms including cavity photons, superconducting qubits, nitrogen-vacancy centers, and phonons for coherent information transfer and collaborative information processing. The implications of these hybrid quantum systems for non-Hermitian physics and parity-time symmetry are highlighted, together with applications in quantum memories and high-precision measurements. Finally, we present an outlook on the opportunities in quantum magnonics.

categories: quant-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.app-ph physics.optics


title: Stochastic wave equation with L\'evy white noise

abstract: In this article, we study the stochastic wave equation on the entire space $\mathbb{R}^d$, driven by a space-time L\'evy white noise with possibly infinite variance (such as the $\alpha$-stable L\'evy noise). In this equation, the noise is multiplied by a Lipschitz function $\sigma(u)$ of the solution. We assume that the spatial dimension is $d=1$ or $d=2$. Under general conditions on the L\'evy measure of the noise, we prove the existence of the solution, and we show that, as a function-valued process, the solution has a c\`adl\`ag modification in the local fractional Sobolev space of order $r<1/4$ if $d=1$, respectively $r<-1$ if $d=2$.


title: EffCNet: An Efficient CondenseNet for Image Classification on NXP BlueBox

abstract: Intelligent edge devices with built-in processors vary widely in terms of capability and physical form to perform advanced Computer Vision (CV) tasks such as image classification and object detection, for example. With constant advances in the field of autonomous cars and UAVs, embedded systems and mobile devices, there has been an ever-growing demand for extremely efficient Artificial Neural Networks (ANN) for real-time inference on these smart edge devices with constrained computational resources. With unreliable network connections in remote regions and an added complexity of data transmission, it is of an utmost importance to capture and process data locally instead of sending the data to cloud servers for remote processing. Edge devices on the other hand, offer limited processing power due to their inexpensive hardware, and limited cooling and computational resources. In this paper, we propose a novel deep convolutional neural network architecture called EffCNet which is an improved and an efficient version of CondenseNet Convolutional Neural Network (CNN) for edge devices utilizing self-querying data augmentation and depthwise separable convolutional strategies to improve real-time inference performance as well as reduce the final trained model size, trainable parameters, and Floating-Point Operations (FLOPs) of EffCNet CNN. Furthermore, extensive supervised image classification analyses are conducted on two benchmarking datasets: CIFAR-10 and CIFAR-100, to verify real-time inference performance of our proposed CNN. Finally, we deploy these trained weights on NXP BlueBox which is an intelligent edge development platform designed for self-driving vehicles and UAVs, and conclusions will be extrapolated accordingly.