title: Simple Type Theory is not too Simple: Grothendieck's Schemes without Dependent Types

abstract: Church's simple type theory is often deemed too simple for elaborate mathematical constructions. In particular, doubts were raised whether schemes could be formalized in this setting and a challenge was issued. Schemes are sophisticated mathematical objects in algebraic geometry introduced by Alexander Grothendieck in 1960. In this article we report on a successful formalization of schemes in the simple type theory of the proof assistant Isabelle/HOL, and we discuss the design choices which make this work possible. We show in the particular case of schemes how the powerful dependent types of Coq or Lean can be traded for a minimalist apparatus called locales.


title: Contrastive Learning for Compact Single Image Dehazing

abstract: Single image dehazing is a challenging ill-posed problem due to the severe information degeneration. However, existing deep learning based dehazing methods only adopt clear images as positive samples to guide the training of dehazing network while negative information is unexploited. Moreover, most of them focus on strengthening the dehazing network with an increase of depth and width, leading to a significant requirement of computation and memory. In this paper, we propose a novel contrastive regularization (CR) built upon contrastive learning to exploit both the information of hazy images and clear images as negative and positive samples, respectively. CR ensures that the restored image is pulled to closer to the clear image and pushed to far away from the hazy image in the representation space. Furthermore, considering trade-off between performance and memory storage, we develop a compact dehazing network based on autoencoder-like (AE) framework. It involves an adaptive mixup operation and a dynamic feature enhancement module, which can benefit from preserving information flow adaptively and expanding the receptive field to improve the network's transformation capability, respectively. We term our dehazing network with autoencoder and contrastive regularization as AECR-Net. The extensive experiments on synthetic and real-world datasets demonstrate that our AECR-Net surpass the state-of-the-art approaches. The code is released in https://github.com/GlassyWu/AECR-Net.


title: Deep Reinforcement Learning in a Monetary Model

abstract: We propose using deep reinforcement learning to solve dynamic stochastic general equilibrium models. Agents are represented by deep artificial neural networks and learn to solve their dynamic optimisation problem by interacting with the model environment, of which they have no a priori knowledge. Deep reinforcement learning offers a flexible yet principled way to model bounded rationality within this general class of models. We apply our proposed approach to a classical model from the adaptive learning literature in macroeconomics which looks at the interaction of monetary and fiscal policy. We find that, contrary to adaptive learning, the artificially intelligent household can solve the model in all policy regimes.


title: Adversarial Diffusion Attacks on Graph-based Traffic Prediction Models

abstract: Real-time traffic prediction models play a pivotal role in smart mobility systems and have been widely used in route guidance, emerging mobility services, and advanced traffic management systems. With the availability of massive traffic data, neural network-based deep learning methods, especially the graph convolutional networks (GCN) have demonstrated outstanding performance in mining spatio-temporal information and achieving high prediction accuracy. Recent studies reveal the vulnerability of GCN under adversarial attacks, while there is a lack of studies to understand the vulnerability issues of the GCN-based traffic prediction models. Given this, this paper proposes a new task -- diffusion attack, to study the robustness of GCN-based traffic prediction models. The diffusion attack aims to select and attack a small set of nodes to degrade the performance of the entire prediction model. To conduct the diffusion attack, we propose a novel attack algorithm, which consists of two major components: 1) approximating the gradient of the black-box prediction model with Simultaneous Perturbation Stochastic Approximation (SPSA); 2) adapting the knapsack greedy algorithm to select the attack nodes. The proposed algorithm is examined with three GCN-based traffic prediction models: St-Gcn, T-Gcn, and A3t-Gcn on two cities. The proposed algorithm demonstrates high efficiency in the adversarial attack tasks under various scenarios, and it can still generate adversarial samples under the drop regularization such as DropOut, DropNode, and DropEdge. The research outcomes could help to improve the robustness of the GCN-based traffic prediction models and better protect the smart mobility systems. Our code is available at https://github.com/LYZ98/Adversarial-Diffusion-Attacks-on-Graph-based-Traffic-Prediction-Models


title: DANICE: Domain adaptation without forgetting in neural image compression

abstract: Neural image compression (NIC) is a new coding paradigm where coding capabilities are captured by deep models learned from data. This data-driven nature enables new potential functionalities. In this paper, we study the adaptability of codecs to custom domains of interest. We show that NIC codecs are transferable and that they can be adapted with relatively few target domain images. However, naive adaptation interferes with the solution optimized for the original source domain, resulting in forgetting the original coding capabilities in that domain, and may even break the compatibility with previously encoded bitstreams. Addressing these problems, we propose Codec Adaptation without Forgetting (CAwF), a framework that can avoid these problems by adding a small amount of custom parameters, where the source codec remains embedded and unchanged during the adaptation process. Experiments demonstrate its effectiveness and provide useful insights on the characteristics of catastrophic interference in NIC.


title: Non-linear Functional Modeling using Neural Networks

abstract: We introduce a new class of non-linear models for functional data based on neural networks. Deep learning has been very successful in non-linear modeling, but there has been little work done in the functional data setting. We propose two variations of our framework: a functional neural network with continuous hidden layers, called the Functional Direct Neural Network (FDNN), and a second version that utilizes basis expansions and continuous hidden layers, called the Functional Basis Neural Network (FBNN). Both are designed explicitly to exploit the structure inherent in functional data. To fit these models we derive a functional gradient based optimization algorithm. The effectiveness of the proposed methods in handling complex functional models is demonstrated by comprehensive simulation studies and real data examples.


title: Search processes with stochastic resetting and partially absorbing targets

abstract: We extend the theoretical framework used to study search processes with stochastic resetting to the case of partially absorbing targets. Instead of an absorption event occurring when the search particle reaches the boundary of a target, the particle can diffuse freely in and out of the target region and is absorbed at a rate $\kappa$ when inside the target. In the context of cell biology, the target could represent a chemically reactive substrate within a cell or a region where a particle can be offloaded onto a nearby compartment. We apply this framework to a partially absorbing interval and to spherically symmetric targets in $\R^d$. In each case, we determine how the mean first passage time (MFPT) for absorption depends on $\kappa$, the resetting rate $r$, and the target geometry. For the given examples, we find that the MFPT is a monotonically decreasing function of $\kappa$, whereas it is a unimodal function of $r$ with a unique minimum at an optimal resetting rate $r_{\rm opt}$. The variation of $r_{\rm opt}$ with $\kappa$ depends on the spatial dimension $d$, decreasing in sensitivity as $d$ increases. For finite $\kappa$, $ r_{\rm opt}$ is a non-trivial function of the target size and distance between the target and the reset point. We also show how our results converge to those obtained previously for problems with totally absorbing targets and similar geometries when the absorption rate becomes infinite. Finally, we generalize the theory to take into account an extended chemical reaction scheme within a target.


title: My Experience in Physical Layer Communications

abstract: I feel that I have been very lucky since I have experienced the most dynamic 30 years on electronics in the past. I think that the most visible change in our daily life over the past 30 years is communications. From computer modems, to internet, and to smart phones, people now feel much less lonely or bored since they are always connected. In this article, I would like to share with you on my own experience working on communications in the past decades.


title: Alternating Eulerian polynomials and left peak polynomials

abstract: In this paper we present grammatical interpretations of the alternating Eulerian polynomials of types A and B. As applications, we derive several properties of the type B alternating Eulerian polynomials, including combinatorial expansions, recurrence relations and generating functions. We establish an interesting connection between alternating Eulerian polynomials of type B and left peak polynomials of permutations in the symmetric group, which implies that the type B alternating Eulerian polynomials have gamma-vectors alternate in sign.


title: A Multi-Task Deep Learning Framework for Building Footprint Segmentation

abstract: The task of building footprint segmentation has been well-studied in the context of remote sensing (RS) as it provides valuable information in many aspects, however, difficulties brought by the nature of RS images such as variations in the spatial arrangements and in-consistent constructional patterns require studying further, since it often causes poorly classified segmentation maps. We address this need by designing a joint optimization scheme for the task of building footprint delineation and introducing two auxiliary tasks; image reconstruction and building footprint boundary segmentation with the intent to reveal the common underlying structure to advance the classification accuracy of a single task model under the favor of auxiliary tasks. In particular, we propose a deep multi-task learning (MTL) based unified fully convolutional framework which operates in an end-to-end manner by making use of joint loss function with learnable loss weights considering the homoscedastic uncertainty of each task loss. Experimental results conducted on the SpaceNet6 dataset demonstrate the potential of the proposed MTL framework as it improves the classification accuracy considerably compared to single-task and lesser compounded tasks.


title: Scalable and Adaptive Graph Neural Networks with Self-Label-Enhanced training

abstract: It is hard to directly implement Graph Neural Networks (GNNs) on large scaled graphs. Besides of existed neighbor sampling techniques, scalable methods decoupling graph convolutions and other learnable transformations into preprocessing and post classifier allow normal minibatch training. By replacing redundant concatenation operation with attention mechanism in SIGN, we propose Scalable and Adaptive Graph Neural Networks (SAGN). SAGN can adaptively gather neighborhood information among different hops. To further improve scalable models on semi-supervised learning tasks, we propose Self-Label-Enhance (SLE) framework combining self-training approach and label propagation in depth. We add base model with a scalable node label module. Then we iteratively train models and enhance train set in several stages. To generate input of node label module, we directly apply label propagation based on one-hot encoded label vectors without inner random masking. We find out that empirically the label leakage has been effectively alleviated after graph convolutions. The hard pseudo labels in enhanced train set participate in label propagation with true labels. Experiments on both inductive and transductive datasets demonstrate that, compared with other sampling-based and sampling-free methods, SAGN achieves better or comparable results and SLE can further improve performance.


title: Triharmonic CMC hypersurfaces in space forms with 4 distinct principal curvatures

abstract: A triharmonic map is a critical point of the tri-energy in the space of smooth maps between two Riemannian manifolds. In this paper, we prove that if $M^n (n\ge 4)$ is a CMC proper triharmonic hypersurface in a space form $\mathbb{R}^{n+1}(c)$ with four distinct principal curvatures and the multiplicity of the zero principal curvature is at most one, then $M$ has constant scalar curvature. In particular, we obtain any CMC proper triharmonic hypersurface in $\mathbb{R}^5(c)$ is minimal when $c\le 0$, which supports the generalized Chen's conjecture. We also give some characterizations of CMC proper triharmonic hypersurfaces in $\mathbb{S}^5$.


title: A Hierarchical Coding Scheme for Glasses-free 3D Displays Based on Scalable Hybrid Layered Representation of Real-World Light Fields

abstract: This paper presents a novel hierarchical coding scheme for light fields based on transmittance patterns of low-rank multiplicative layers and Fourier disparity layers. The proposed scheme learns stacked multiplicative layers from subsets of light field views determined from different scanning orders. The multiplicative layers are optimized using a fast data-driven convolutional neural network (CNN). The spatial correlation in layer patterns is exploited with varying low ranks in factorization derived from singular value decomposition on a Krylov subspace. Further, encoding with HEVC efficiently removes intra-view and inter-view correlation in low-rank approximated layers. The initial subset of approximated decoded views from multiplicative representation is used to construct Fourier disparity layer (FDL) representation. The FDL model synthesizes second subset of views which is identified by a pre-defined hierarchical prediction order. The correlations between the prediction residue of synthesized views is further eliminated by encoding the residual signal. The set of views obtained from decoding the residual is employed in order to refine the FDL model and predict the next subset of views with improved accuracy. This hierarchical procedure is repeated until all light field views are encoded. The critical advantage of proposed hybrid layered representation and coding scheme is that it utilizes not just spatial and temporal redundancies, but efficiently exploits the strong intrinsic similarities among neighboring sub-aperture images in both horizontal and vertical directions as specified by different predication orders. Besides, the scheme is flexible to realize a range of multiple bitrates at the decoder within a single integrated system. The compression performance analyzed with real light field shows substantial bitrate savings, maintaining good reconstruction quality.


title: BM-NAS: Bilevel Multimodal Neural Architecture Search

abstract: Deep neural networks (DNNs) have shown superior performances on various multimodal learning problems. However, it often requires huge efforts to adapt DNNs to individual multimodal tasks by manually engineering unimodal features and designing multimodal feature fusion strategies. This paper proposes Bilevel Multimodal Neural Architecture Search (BM-NAS) framework, which makes the architecture of multimodal fusion models fully searchable via a bilevel searching scheme. At the upper level, BM-NAS selects the inter/intra-modal feature pairs from the pretrained unimodal backbones. At the lower level, BM-NAS learns the fusion strategy for each feature pair, which is a combination of predefined primitive operations. The primitive operations are elaborately designed and they can be flexibly combined to accommodate various effective feature fusion modules such as multi-head attention (Transformer) and Attention on Attention (AoA). Experimental results on three multimodal tasks demonstrate the effectiveness and efficiency of the proposed BM-NAS framework. BM-NAS achieves competitive performances with much less search time and fewer model parameters in comparison with the existing generalized multimodal NAS methods.


title: Riemannian F-manifolds, bi-flat F-manifolds, and flat pencils of metrics

abstract: In this paper we study relations between various natural structures on F-manifolds. In particular, given an arbitrary Riemannian F-manifold we present a construction of a canonical flat F-manifold associated to it. We also describe a construction of a canonical homogeneous Riemannian F-manifold associated to an arbitrary exact homogeneous flat pencil of metrics satisfying a certain non-degeneracy assumption. In the last part of the paper we construct Legendre transformations for Riemannian F-manifolds.


title: Voltage Collapse Stabilization in Star DC Networks

abstract: Voltage collapse is a type of blackout-inducing dynamic instability that occurs when power demand exceeds the maximum power that can be transferred through a network. The traditional (preventive) approach to avoid voltage collapse is based on ensuring that the network never reaches its maximum capacity. However, such an approach leads to inefficient use of network resources and does not account for unforeseen events. To overcome this limitation, this paper seeks to initiate the study of voltage collapse stabilization, i.e., the design of load controllers aimed at stabilizing the point of voltage collapse. We formulate the problem of voltage stability for a star direct current network as a dynamic problem where each load seeks to achieve a constant power consumption by updating its conductance as the voltage changes. We introduce a voltage collapse stabilization controller and show that the high-voltage equilibrium is stabilized. More importantly, we are able to achieve proportional load shedding under extreme loading conditions. We further highlight the key features of our controller using numerical illustrations.


title: A Joint Energy and Latency Framework for Transfer Learning over 5G Industrial Edge Networks

abstract: In this paper, we propose a transfer learning (TL)-enabled edge-CNN framework for 5G industrial edge networks with privacy-preserving characteristic. In particular, the edge server can use the existing image dataset to train the CNN in advance, which is further fine-tuned based on the limited datasets uploaded from the devices. With the aid of TL, the devices that are not participating in the training only need to fine-tune the trained edge-CNN model without training from scratch. Due to the energy budget of the devices and the limited communication bandwidth, a joint energy and latency problem is formulated, which is solved by decomposing the original problem into an uploading decision subproblem and a wireless bandwidth allocation subproblem. Experiments using ImageNet demonstrate that the proposed TL-enabled edge-CNN framework can achieve almost 85% prediction accuracy of the baseline by uploading only about 1% model parameters, for a compression ratio of 32 of the autoencoder.


title: Unimodular rows over monoid extensions of overrings of polynomial rings

abstract: Let $R$ be a commutative Noetherian ring of dimension $d$ and $M$ a commutative cancellative torsion-free seminormal monoid. Then (1) Let $A$ be a ring of type $R[d,m,n]$ and $P$ be a projective $A[M]$-module of rank $r \geq max\{2,d+1\}$. Then the action of $E(A[M] \oplus P)$ on $Um(A[M] \oplus P)$ is transitive and (2) Assume $(R, m, K)$ is a regular local ring containing a field $k$ such that either $char$ $k=0$ or $ char$ $k = p$ and $tr$-$deg$ $K/\mathbb{F}_p \geq 1$. Let $A$ be a ring of type $R[d,m,n]^*$ and $f\in R$ be a regular parameter. Then all finitely generated projective modules over $A[M],$ $A[M]_f$ and $A[M] \otimes_R R(T)$ are free. When $M$ is free both results are due to Keshari and Lokhande.


title: Infrared phonon spectroscopy on the Cairo pentagonal antiferromagnet Bi2Fe4O9: a study through the pressure induced structural transition

abstract: Magnetic and crystallographic transitions in the Cairo pentagonal magnet Bi2Fe4O9 are investigated by means of infrared synchrotron-based spectroscopy as a function of temperature (20 - 300 K) and pressure (0 - 15.5 GPa). One of the phonon modes is shown to exhibit an anomalous softening as a function of temperature in the antiferromagnetic phase below 240 K, highlighting spin-lattice coupling. Moreover, under applied pressure at 40 K, an even larger softening is observed through the pressure induced structural transition. Lattice dynamical calculations reveal that this mode is indeed very peculiar as it involves a minimal bending of the strongest superexchange path in the pentagonal planes, as well as a decrease of the distances between second neighbor irons. The latter confirms the hypothesis made by Friedrich et al.,1 about an increase in the oxygen coordination of irons being at the origin of the pressure-induced structural transition. As a consequence, one expects a new magnetic superexchange path that may alter the magnetic structure under pressure.


title: Non-linear self-driven spectral tuning of Extreme Ultraviolet Femtosecond Pulses in monoatomic materials

abstract: Self-action nonlinearity is a key aspect -- either as a foundational element or a detrimental factor -- of several optical spectroscopies and photonic devices. Supercontinuum generation, wavelength converters and chirped pulse amplification are just a few examples. The recent advent of Free Electron Lasers (FEL) fostered building on nonlinearity to propose new concepts and extend optical wavelengths paradigms for extreme ultraviolet (EUV) and X-ray regimes. No evidence for intrapulse dynamics, however, has been reported at such short wavelengths, where the light-matter interactions are ruled by the sharp absorption edges of core-electrons. Here, we provide experimental evidence for self-phase modulation of femtosecond FEL pulses, which we exploit for fine self-driven spectral tunability by interaction with sub-micrometric foils of selected monoatomic materials. Moving the pulse wavelength across the absorption edge, the spectral profile changes from a non-linear spectral blue-shift to a red-shifted broadening. These findings are rationalized accounting for ultrafast ionization and delayed thermal response of highly excited electrons above and below threshold, respectively.


title: A Two-stage Deep Network for High Dynamic Range Image Reconstruction

abstract: Mapping a single exposure low dynamic range (LDR) image into a high dynamic range (HDR) is considered among the most strenuous image to image translation tasks due to exposure-related missing information. This study tackles the challenges of single-shot LDR to HDR mapping by proposing a novel two-stage deep network. Notably, our proposed method aims to reconstruct an HDR image without knowing hardware information, including camera response function (CRF) and exposure settings. Therefore, we aim to perform image enhancement task like denoising, exposure correction, etc., in the first stage. Additionally, the second stage of our deep network learns tone mapping and bit-expansion from a convex set of data samples. The qualitative and quantitative comparisons demonstrate that the proposed method can outperform the existing LDR to HDR works with a marginal difference. Apart from that, we collected an LDR image dataset incorporating different camera systems. The evaluation with our collected real-world LDR images illustrates that the proposed method can reconstruct plausible HDR images without presenting any visual artefacts. Code available: https://github. com/sharif-apu/twostageHDR_NTIRE21.


title: Distributed Derivative-free Learning Method for Stochastic Optimization over a Network with Sparse Activity

abstract: This paper addresses a distributed optimization problem in a communication network where nodes are active sporadically. Each active node applies some learning method to control its action to maximize the global utility function, which is defined as the sum of the local utility functions of active nodes. We deal with stochastic optimization problem with the setting that utility functions are disturbed by some non-additive stochastic process. We consider a more challenging situation where the learning method has to be performed only based on a scalar approximation of the utility function, rather than its closed-form expression, so that the typical gradient descent method cannot be applied. This setting is quite realistic when the network is affected by some stochastic and time-varying process, and that each node cannot have the full knowledge of the network states. We propose a distributed optimization algorithm and prove its almost surely convergence to the optimum. Convergence rate is also derived with an additional assumption that the objective function is strongly concave. Numerical results are also presented to justify our claim.


title: Hot-carrier optoelectronic devices based on semiconductor nanowires

abstract: In optoelectronic devices such as solar cells and photodetectors, a portion of electron-hole pairs are generated as so called hot carriers with an excess energy that is typically lost as heat. The long standing aim to harvest this excess energy to enhance device performance has proven to be very challenging, largely due to the extremely short-lived nature of hot carriers. Efforts thus focus on increasing the hot carrier relaxation time, and on tailoring heterostructures that allow for hot-carrier extraction on short time- and length-scales. Recently, semiconductor nanowires have emerged as a promising system to achieve these aims, because they offer unique opportunities for heterostructure engineering as well as for potentially modified phononic properties that can lead to increased relaxation times. In this review we assess the current state of theory and experiments relating to hot-carrier dynamics in nanowires, with a focus on hot-carrier photovoltaics. To provide a foundation, we begin with a brief overview of the fundamental processes involved in hot-carrier relaxation, and how these can be tailored and characterized in nanowires. We then analyze the advantages offered by nanowires as a system for hot-carrier devices and review the status of proof-of-principle experiments related to hot-carrier photovoltaics. To help interpret existing experiments on photocurrent extraction in nanowires we provide modelling based on non-equilibrium Green's functions. Finally, we identify open research questions that need to be answered in order to fully evaluate the potential nanowires offer towards achieving more efficient, hot-carrier based, optoelectronic devices.


title: Thermonuclear Explosions and Accretion-induced Collapses of White Dwarfs in Active Galactic Nucleus Accretion Disks

abstract: White dwarfs (WDs) embedded in gaseous disks of active galactic nucleus (AGNs) can rapidly accrete materials from the disks and grow in mass to reach or even exceed the Chandrasekhar limit. Binary WD (BWD) mergers are also believed to occur in AGN accretion disks. We study observational signatures from these events. We suggest that mass-accreting WDs and BWD mergers in AGN disks can lead to thermonuclear explosions that drive an ejecta shock breakout from the disk surface and power a slow-rising, relatively dim Type Ia supernova (SN). Such SNe Ia may be always outshone by the emission of the AGN disk around the supermassive black hole (BH) with a mass of $M_{\rm SMBH}\gtrsim 10^8\,M_\odot$. Besides, accretion-induced collapses (AICs) of WDs in AGN disks may occur sometimes, which may form highly-magnetized millisecond neutron stars (NSs). The subsequent spin-down process of this nascent magnetar can deposit its rotational energy into the disk materials, resulting in a magnetar-driven shock breakout and a luminous magnetar-powered transient. We show that such an AIC event could power a rapidly evolving and luminous transient for a magnetic field of $B\sim10^{15}\,{\rm G}$. The rising time and peak luminosity of the transient, powered by a magnetar with $B\sim10^{14}\,{\rm G}$, are predicted to have similar properties with those of superluminous supernovae. AIC events taking place in the inner parts of the disk around a relatively less massive supermassive BHs ($M_{\rm SMBH}\lesssim10^8\,M_\odot$) are more likely to power the transients that are much brighter than the AGN disk emission and hence easily to be identified.


title: Optical identification of active galactic nucleus candidates detected by the Mikhail Pavlinsky ART-XC telescope aboard the SRG observatory during the all-sky X-ray survey

abstract: We present the results of our identification of eight objects from a preliminary catalogue of X-ray sources detected in the 4-12 keV energy band by the Mikhail Pavlinsky ART-XC telescope aboard the SRG observatory during its first all-sky survey. Three of them (SRGAJ005751.0+210846,SRGAJ014157.0-032915, SRGAJ232446.8+440756) have been discovered by ART-XC, while five were already known previously as X-ray sources, but their nature remained unknown. The last five sources have also been detected in soft X-rays by the eROSITA telescope of the SRG observatory. Our optical observations were carried out at the 1.6-m AZT-33IK telescope of the Sayan Observatory and the 1.5-m Russian-Turkish telescope (RTT-150). All of the investigated objects have turned out to be active galactic nuclei (AGNs) at redshifts from 0.019 to 0.283. Six of them are Seyfert 2 galaxies(including one Seyfert 1.9 galaxy), one (SRGAJ005751.0+210846) is a "hidden" AGN (in an edge-on galaxy), and one (SRGAJ224125.9+760343) is a narrow-line Seyfert 1 galaxy. The latter object is characterized by a high X-ray luminosity (~(2-13)*10^44 erg/s in the 4-12 keV band) and,according to our black hole mass estimate (~2*10^7 M_sun), an accretion rate close to the Eddington limit. All three AGNs discovered by the ART-XC telescope (which are not detected by the eROSITA telescope) are characterized by a high absorption column density (N_H > 3*10^23 cm^-2). The results obtained confirm the expectations that the ART-XC telescope is an efficient instrument for searches of heavily obscured and other interesting AGNs in the nearby (z<0.3) Universe. The SRG all-sky survey will last for more than 3 years more, which will allow many such objects to be discovered.


title: Effect of base-pair sequence on B-DNA thermal conductivity

abstract: The thermal conductivity of double-stranded (ds) B-DNA was systematically investigated using classical molecular dynamics (MD) simulations. The effect of changing base-pairs on the thermal conductivity of dsDNA, needed investigation at a molecular level. Hence, four sequences, viz. poly(A), poly(G), poly(CG) and poly(AT) were initially analysed in this work. Firstly, length of these sequences was varied from 4-40 base-pairs (bp) at 300 K and the respective thermal conductivity ($\mathrm{\kappa}$) was computed. Secondly, the temperature dependent thermal conductivities between 100 K and 400 K were obtained in 50 K steps at 28 bp length. The M\"{u}ller-Plathe reverse non-equilibrium molecular dynamics (RNEMD) was employed to set a thermal gradient and obtain all thermal conductivities in this work. Moreover, mixed sequences using AT and CG sequencces, namely $\mathrm{A(CG)_{n}T}$ (n=3-7), $\mathrm{ACGC(AT)_{m}GCGT}$ (m=0-5) and $\mathrm{ACGC(AT)_{n}AGCGT}$ (n=1-4) were investigated based on the hypothesis that these sequences could be better thermoelectrics. 1-dimensional lattices are said to have diverging thermal conductivities at longer lengths, which violate Fourier law. These follow power law, where $\mathrm{\kappa \propto\ L^{\beta}}$. At longer lengths, the exponent $\mathrm{\beta}$ need to satisfy the condition $\mathrm{\beta}>1/3$ for divergent thermal conductivity. We find no such significant Fourier law violation through divergence of thermal conductivities at 80 bp lengths or 40 bp lengths. Also, in the case of second study, the presence of short (m$\le$2) encapsulated AT sequences within CG sequences show an increasing trend. These significant results are important for engineering DNA based thermal devices.


title: Coresets for $(k, \ell)$-Median Clustering under the Fr\'echet Distance

abstract: We present an algorithm for computing $\epsilon$-coresets for $(k, \ell)$-median clustering of polygonal curves in $\mathbb{R}^d$ under the Fr\'echet distance. This type of clustering is an adaption of Euclidean $k$-median clustering: we are given a set of $n$ polygonal curves in $\mathbb{R}^d$, each of complexity (number of vertices) at most $m$, and want to compute $k$ median curves such that the sum of distances from the given curves to their closest median curve is minimal. Additionally, we restrict the complexity of the median curves to be at most $\ell$ each, to suppress overfitting, a problem specific for sequential data. Our algorithm has running time linear in $n$, sub-quartic in $m$ and quadratic in $\epsilon^{-1}$. With high probability it returns $\epsilon$-coresets of size quadratic in $\epsilon^{-1}$ and logarithmic in $n$ and $m$. We achieve this result by applying the improved $\epsilon$-coreset framework by Langberg and Feldman to a generalized $k$-median problem over an arbitrary metric space. Later we combine this result with the recent result by Driemel et al. on the VC dimension of metric balls under the Fr\'echet distance. Furthermore, our framework yields $\epsilon$-coresets for any generalized $k$-median problem where the range space induced by the open metric balls of the underlying space has bounded VC dimension, which is of independent interest. Finally, we show that our $\epsilon$-coresets can be used to improve the running time of an existing approximation algorithm for $(1,\ell)$-median clustering.


title: Improving Transformer-Kernel Ranking Model Using Conformer and Query Term Independence

abstract: The Transformer-Kernel (TK) model has demonstrated strong reranking performance on the TREC Deep Learning benchmark -- and can be considered to be an efficient (but slightly less effective) alternative to other Transformer-based architectures that employ (i) large-scale pretraining (high training cost), (ii) joint encoding of query and document (high inference cost), and (iii) larger number of Transformer layers (both high training and high inference costs). Since, a variant of the TK model -- called TKL -- has been developed that incorporates local self-attention to efficiently process longer input sequences in the context of document ranking. In this work, we propose a novel Conformer layer as an alternative approach to scale TK to longer input sequences. Furthermore, we incorporate query term independence and explicit term matching to extend the model to the full retrieval setting. We benchmark our models under the strictly blind evaluation setting of the TREC 2020 Deep Learning track and find that our proposed architecture changes lead to improved retrieval quality over TKL. Our best model also outperforms all non-neural runs ("trad") and two-thirds of the pretrained Transformer-based runs ("nnlm") on NDCG@10.


title: Remote teaching data-driven physical modeling through a COVID-19 open ended data challenge

abstract: Physics can be seen as a conceptual approach to scientific problems, a method for discovery, but teaching this aspect of our discipline can be a challenge. We report on a first-time remote teaching experience for a computational physics third-year physics laboratory class taught in the first part of the 2020 COVID-19 pandemic (March-May 2020). To convey a ``physics of data" approach to data analysis and data-driven physical modeling we used interdisciplinary data sources, with an openended ``COVID-19 data challenge" project as the core of the course. COVID-19 epidemiological data provided an ideal setting for motivating the students to deal with complex problems, where there is no unique or preconceived solution. Our results indicate that such problems yield qualitatively different improvements compared to close-ended projects, as well as point to critical aspects in using these problems as a teaching strategy. By breaking the students' expectations of unidirectionality, remote teaching provided unexpected opportunities to promote active work and active learning.


title: Algoritmos de miner\'ia de datos en la industria sanitaria

abstract: In this paper, we review data mining approaches for health applications. Our focus is on hardware-centric approaches. Modern computers consist of multiple processors, each equipped with multiple cores, each with a set of arithmetic/logical units. Thus, a modern computer may be composed of several thousand units capable of doing arithmetic operations like addition and multiplication. Graphic processors, in addition may offer some thousand such units. In both cases, single instruction multiple data and multiple instruction multiple data parallelism must be exploited. We review the principles of algorithms which exploit this parallelism and focus also on the memory issues when multiple processing units access main memory through caches. This is important for many applications of health, such as ECG, EEG, CT, SPECT, fMRI, DTI, ultrasound, microscopy, dermascopy, etc.


title: Continual Learning in Sensor-based Human Activity Recognition: an Empirical Benchmark Analysis

abstract: Sensor-based human activity recognition (HAR), i.e., the ability to discover human daily activity patterns from wearable or embedded sensors, is a key enabler for many real-world applications in smart homes, personal healthcare, and urban planning. However, with an increasing number of applications being deployed, an important question arises: how can a HAR system autonomously learn new activities over a long period of time without being re-engineered from scratch? This problem is known as continual learning and has been particularly popular in the domain of computer vision, where several techniques to attack it have been developed. This paper aims to assess to what extent such continual learning techniques can be applied to the HAR domain. To this end, we propose a general framework to evaluate the performance of such techniques on various types of commonly used HAR datasets. We then present a comprehensive empirical analysis of their computational cost and effectiveness of tackling HAR-specific challenges (i.e., sensor noise and labels' scarcity). The presented results uncover useful insights on their applicability and suggest future research directions for HAR systems. Our code, models and data are available at https://github.com/srvCodes/continual-learning-benchmark.


title: GAMMA: a new method for modeling relativistic hydrodynamics and non-thermal emission on a moving mesh

abstract: In recent years, dynamical relativistic jet simulation techniques have progressed to a point where it is becoming possible to fully numerically resolve gamma-ray burst (GRB) blast-wave evolution across scales. However, the modeling of emission is currently lagging behind and limits our efforts to fully interpret the physics of GRBs. In this work we combine recent developments in moving-mesh relativistic dynamics with a local treatment of non-thermal emission in a new code: GAMMA. The code involves an arbitrary Lagrangian-Eulerian approach only in the dominant direction of fluid motion which avoids mesh entanglement and associated computational costs. Shock detection, particle injection and local calculation of their evolution including radiative cooling are done at runtime. Even though GAMMA has been designed with GRB physics applications in mind, it is modular such that new solvers and geometries can be implemented easily with a wide range of potential applications. In this paper, we demonstrate the validity of our approach and compute accurate broadband GRB afterglow radiation from early to late times. Our results show that the spectral cooling break shifts by a factor of ~ 40 compared to existing methods. Its temporal behavior also significantly changes from the previously calculated temporary steep increase after the jet break. Instead, we find that the cooling break does not shift with time between the relativistic and Newtonian asymptotes when computed from our local algorithm. GAMMA is publicly available at: https://github.com/eliotayache/GAMMA.


title: Beyond Joint Demosaicking and Denoising: An Image Processing Pipeline for a Pixel-bin Image Sensor

abstract: Pixel binning is considered one of the most prominent solutions to tackle the hardware limitation of smartphone cameras. Despite numerous advantages, such an image sensor has to appropriate an artefact-prone non-Bayer colour filter array (CFA) to enable the binning capability. Contrarily, performing essential image signal processing (ISP) tasks like demosaicking and denoising, explicitly with such CFA patterns, makes the reconstruction process notably complicated. In this paper, we tackle the challenges of joint demosaicing and denoising (JDD) on such an image sensor by introducing a novel learning-based method. The proposed method leverages the depth and spatial attention in a deep network. The proposed network is guided by a multi-term objective function, including two novel perceptual losses to produce visually plausible images. On top of that, we stretch the proposed image processing pipeline to comprehensively reconstruct and enhance the images captured with a smartphone camera, which uses pixel binning techniques. The experimental results illustrate that the proposed method can outperform the existing methods by a noticeable margin in qualitative and quantitative comparisons. Code available: https://github.com/sharif-apu/BJDD_CVPR21.


title: TREC Deep Learning Track: Reusable Test Collections in the Large Data Regime

abstract: The TREC Deep Learning (DL) Track studies ad hoc search in the large data regime, meaning that a large set of human-labeled training data is available. Results so far indicate that the best models with large data may be deep neural networks. This paper supports the reuse of the TREC DL test collections in three ways. First we describe the data sets in detail, documenting clearly and in one place some details that are otherwise scattered in track guidelines, overview papers and in our associated MS MARCO leaderboard pages. We intend this description to make it easy for newcomers to use the TREC DL data. Second, because there is some risk of iteration and selection bias when reusing a data set, we describe the best practices for writing a paper using TREC DL data, without overfitting. We provide some illustrative analysis. Finally we address a number of issues around the TREC DL data, including an analysis of reusability.


title: Probing for Bridging Inference in Transformer Language Models

abstract: We probe pre-trained transformer language models for bridging inference. We first investigate individual attention heads in BERT and observe that attention heads at higher layers prominently focus on bridging relations in-comparison with the lower and middle layers, also, few specific attention heads concentrate consistently on bridging. More importantly, we consider language models as a whole in our second approach where bridging anaphora resolution is formulated as a masked token prediction task (Of-Cloze test). Our formulation produces optimistic results without any fine-tuning, which indicates that pre-trained language models substantially capture bridging inference. Our further investigation shows that the distance between anaphor-antecedent and the context provided to language models play an important role in the inference.


title: Simultaneous inference for partial areas under receiver operating curves -- with a view towards efficiency

abstract: We propose new simultaneous inference methods for diagnostic trials with elaborate factorial designs. Instead of the commonly used total area under the receiver operating characteristic (ROC) curve, our parameters of interest are partial areas under ROC curve segments that represent clinically relevant biomarker cut-off values. We construct a nonparametric multiple contrast test for these parameters and show that it asymptotically controls the family-wise type one error rate. Finite sample properties of this test are investigated in a series of computer experiments. We provide empirical and theoretical evidence supporting the conjecture that statistical inference about partial areas under ROC curves is more efficient than inference about the total areas.


title: Agent-Centric Representations for Multi-Agent Reinforcement Learning

abstract: Object-centric representations have recently enabled significant progress in tackling relational reasoning tasks. By building a strong object-centric inductive bias into neural architectures, recent efforts have improved generalization and data efficiency of machine learning algorithms for these problems. One problem class involving relational reasoning that still remains under-explored is multi-agent reinforcement learning (MARL). Here we investigate whether object-centric representations are also beneficial in the fully cooperative MARL setting. Specifically, we study two ways of incorporating an agent-centric inductive bias into our RL algorithm: 1. Introducing an agent-centric attention module with explicit connections across agents 2. Adding an agent-centric unsupervised predictive objective (i.e. not using action labels), to be used as an auxiliary loss for MARL, or as the basis of a pre-training step. We evaluate these approaches on the Google Research Football environment as well as DeepMind Lab 2D. Empirically, agent-centric representation learning leads to the emergence of more complex cooperation strategies between agents as well as enhanced sample efficiency and generalization.


title: OmniLayout: Room Layout Reconstruction from Indoor Spherical Panoramas

abstract: Given a single RGB panorama, the goal of 3D layout reconstruction is to estimate the room layout by predicting the corners, floor boundary, and ceiling boundary. A common approach has been to use standard convolutional networks to predict the corners and boundaries, followed by post-processing to generate the 3D layout. However, the space-varying distortions in panoramic images are not compatible with the translational equivariance property of standard convolutions, thus degrading performance. Instead, we propose to use spherical convolutions. The resulting network, which we call OmniLayout performs convolutions directly on the sphere surface, sampling according to inverse equirectangular projection and hence invariant to equirectangular distortions. Using a new evaluation metric, we show that our network reduces the error in the heavily distorted regions (near the poles) by approx 25 % when compared to standard convolutional networks. Experimental results show that OmniLayout outperforms the state-of-the-art by approx 4% on two different benchmark datasets (PanoContext and Stanford 2D-3D). Code is available at https://github.com/rshivansh/OmniLayout.


title: Multigrid Reduction in Time for non-linear hyperbolic equations

abstract: Time-parallel algorithms seek greater concurrency by decomposing the temporal domain of a Partial Differential Equation (PDE), providing possibilities for accelerating the computation of its solution. While parallelisation in time has allowed remarkable speed-ups in applications involving parabolic equations, its effectiveness in the hyperbolic framework remains debatable: growth of instabilities and slow convergence are both strong issues in this case, which often negate most of the advantages from time-parallelisation. Here, we focus on the Multigrid Reduction in Time (MGRIT) algorithm, investigating in detail its performance when applied to non-linear conservation laws with a variety of discretisation schemes. Specific attention is given to high-accuracy Weighted Essentially Non-Oscillatory (WENO) reconstructions, coupled with Strong Stability Preserving (SSP) integrators, which are often the discretisations of choice for such PDEs. A technique to improve the performance of MGRIT when applied to a low-order, more dissipative scheme is also outlined. This study aims at identifying the main causes for degradation in the convergence speed of the algorithm, and finds the Courant-Friedrichs-Lewy (CFL) limit to be the principal determining factor.


title: Cruciform regions and a conjecture of Di Francesco

abstract: A recent conjecture of Di Francesco states that the number of domino tilings of a certain family of regions on the square lattice is given by a product formula reminiscent of the one giving the number of alternating sign matrices. These regions, denoted ${\mathcal T}_n$, are obtained by starting with a square of side-length $2n$, cutting it in two along a diagonal by a zigzag path with step length two, and gluing to one of the resulting regions half of an Aztec diamond of order $n-1$. Inspired by the regions ${\mathcal T}_n$, we construct a family $C_{m,n}^{a,b,c,d}$ of cruciform regions generalizing the Aztec diamonds and we prove that their number of domino tilings is given by a simple product formula. Since (as it follows from our results) the number of domino tilings of ${\mathcal T}_n$ is a divisor of the number of tilings of the cruciform region $C_{2n-1,2n-1}^{n-1,n,n,n-2}$, the special case of our formula corresponding to the latter can be viewed as partial progress towards proving Di Francesco's conjecture.

categories: math.CO cond-mat.stat-mech math-ph math.MP


title: More about sparse halves in triangle-free graphs

abstract: One of Erdos's conjectures states that every triangle-free graph on $n$ vertices has an induced subgraph on $n/2$ vertices with at most $n^2/50$ edges. We report several partial results towards this conjecture. In particular, we establish the new bound $\frac{27}{1024}n^2$ on the number of edges in general case. We completely prove the conjecture for graphs of girth $\geq 5$, for graphs with independence number $\geq 2n/5$ and for strongly regular graphs. Each of these three classes includes both known (conjectured) extremal configurations, the 5-cycle and the Petersen graph.


title: Note on the Goldbach Conjecture and Landau-Siegel Zeros

abstract: We generalize the work of Fei, Bhowmik and Halupczok, and Jia relating the Goldbach conjecture to real zeros of Dirichlet $L$-functions.


title: Number-Rigidity and $\beta$-Circular Riesz gas

abstract: For an inverse temperature $\beta>0$, we define the $\beta$-circular Riesz gas on $\mathbb{R}^d$ as any microscopic thermodynamic limit of Gibbs particle systems on the torus interacting via the Riesz potential $g(x) = \Vert x \Vert^{-s}$. We focus on the non integrable case $d-1<s<d$. Our main result ensures, for any dimension $d\ge 1$ and inverse temperature $\beta>0$, the existence of a $\beta$-circular Riesz gas which is not number-rigid. Recall that a point process is said number rigid if the number of points in a bounded Borel set $\Delta$ is a function of the point configuration outside $\Delta$. It is the first time that the non number-rigidity is proved for a Gibbs point process interacting via a non integrable potential. We follow a statistical physics approach based on the canonical DLR equations. It is inspired by Dereudre-Hardy-Lebl\'e and Ma\"ida (2021) where the authors prove the number-rigidity of the $\text{Sine}_\beta$ process.


title: Discrete-Time Fractional-Order Dynamical Networks Minimum-Energy State Estimation

abstract: Fractional-order dynamical networks are increasingly being used to model and describe processes demonstrating long-term memory or complex interlaced dependencies amongst the spatial and temporal components of a wide variety of dynamical networks. Notable examples include networked control systems or neurophysiological networks which are created using electroencephalographic (EEG) or blood-oxygen-level-dependent (BOLD) data. As a result, the estimation of the states of fractional-order dynamical networks poses an important problem. To this effect, this paper addresses the problem of minimum-energy state estimation for discrete-time fractional-order dynamical networks (DT-FODN), where the state and output equations are affected by an additive noise that is considered to be deterministic, bounded, and unknown. Specifically, we derive the corresponding estimator and show that the resulting estimation error is exponentially input-to-state stable with respect to the disturbances and to a signal that is decreasing with the increase of the accuracy of the adopted approximation model. An illustrative example shows the effectiveness of the proposed method on real-world neurophysiological networks.


title: Canonical Quantization of Superconducting Circuits

abstract: In the quest to produce quantum technology, superconducting networks, working at temperatures just above absolute zero, have arisen as one of the most promising physical implementations. The precise analysis and synthesis of such circuits have required merging the fields of physics, engineering, and mathematics. In this dissertation, we develop mathematically consistent and precise Hamiltonian models to describe ideal superconducting networks made of an arbitrary number of lumped elements, such as capacitors, inductors, Josephson and phase-slip junctions, gyrators, etc., and distributed ones like transmission lines. We give formal proofs for the decoupling at high and low frequencies of lumped degrees of freedom from infinite-dimensional systems in different coupling configurations in models based on the effective Kirchhoff's laws. We extend the standard theory to quantize circuits that include ideal nonreciprocal elements all the way to their Hamiltonian descriptions in a systematic way. Finally, we pave the way on how to quantize general frequency-dependent gyrators and circulators coupled to both transmission lines and other lumped-element networks. We have explicitly shown, that these models, albeit ideal, are finite and present no divergence issues. We explain and dispel misunderstandings from the previous literature. Furthermore, we have demonstrated the usefulness of a redundant basis for performing separation of variables of the transmission line (1D) fields in the presence of point-like (lumped-element) couplings by time-reversal symmetry-breaking terms, i.e. nonreciprocal elements.


title: Understanding Chinese Video and Language via Contrastive Multimodal Pre-Training

abstract: The pre-trained neural models have recently achieved impressive performances in understanding multimodal content. However, it is still very challenging to pre-train neural models for video and language understanding, especially for Chinese video-language data, due to the following reasons. Firstly, existing video-language pre-training algorithms mainly focus on the co-occurrence of words and video frames, but ignore other valuable semantic and structure information of video-language content, e.g., sequential order and spatiotemporal relationships. Secondly, there exist conflicts between video sentence alignment and other proxy tasks. Thirdly, there is a lack of large-scale and high-quality Chinese video-language datasets (e.g., including 10 million unique videos), which are the fundamental success conditions for pre-training techniques. In this work, we propose a novel video-language understanding framework named VICTOR, which stands for VIdeo-language understanding via Contrastive mulTimOdal pRe-training. Besides general proxy tasks such as masked language modeling, VICTOR constructs several novel proxy tasks under the contrastive learning paradigm, making the model be more robust and able to capture more complex multimodal semantic and structural relationships from different perspectives. VICTOR is trained on a large-scale Chinese video-language dataset, including over 10 million complete videos with corresponding high-quality textual descriptions. We apply the pre-trained VICTOR model to a series of downstream applications and demonstrate its superior performances, comparing against the state-of-the-art pre-training methods such as VideoBERT and UniVL. The codes and trained checkpoints will be publicly available to nourish further developments of the research community.


title: Various magnetism of the compressed antiferromagnetic topological insulator EuSn2As2

abstract: We report a comprehensive high-pressure study on the antiferromagnetic topological insulator EuSn2As2 up to 21.1 GPa through measurements of synchrotron x-ray diffraction, electrical resistance, magnetic resistance, and Hall transports combined with first-principles calculations. No evident trace of a structural phase transition is detected. The Neel temperatures determined from resistance are increased from 24 to 77 K under pressure, which is resulted from the enhanced magnetic exchange couplings between Eu2+ ions yielded by our first-principles calculations. The negative magnetoresistance of EuSn2As2 persists to higher temperatures accordantly. However, the enhancement of the observed N\'eel temperatures deviates from the calculations obviously above 10.0 GPa. In addition, the magnitude of the magnetoresistance, the Hall coefficients, and the charge carrier densities show abrupt changes between 6.9 to 10.0 GPa. The abrupt changes probably originate from a pressure induced valence change of Eu ions from a divalent state to a divalent and trivalent mixed state. Our results provide insights into variation of the magnetism of EuSn2As2 and similar antiferromagnetic topological insulators under pressure.


title: Linear-time uniform generation of random sparse contingency tables with specified marginals

abstract: We give an algorithm that generates a uniformly random contingency table with specified marginals, i.e. a matrix with non-negative integer values and specified row and column sums. Such algorithms are useful in statistics and combinatorics. When $\Delta^4< M/5$, where $\Delta$ is the maximum of the row and column sums and $M$ is the sum of all entries of the matrix, our algorithm runs in time linear in $M$ in expectation. Most previously published algorithms for this problem are approximate samplers based on Markov chain Monte Carlo, whose provable bounds on the mixing time are typically polynomials with rather large degrees.


title: Cubic Action in Double Field Theory

abstract: We study target space theory on a torus for the states with $N_L+N_R=2$ through Double Field Theory. The spin-two Fierz-Pauli fields are not allowed when all spatial dimensions are non-compact. The massive states provide both non-vanishing momentum and winding numbers in the target space theory. To derive the cubic action, we provide the unique constraint for $N_L\neq N_R$ compatible with the integration by part. We first make a correspondence of massive and massless fields. The quadratic action is gauge invariant by introducing the mass term. We then proceed to the cubic order. The cubic action is also gauge invariant by introducing the coupling between the one-form field and other fields. The massive states do not follow the consistent truncation. One should expect the self-consistent theory by summing over infinite modes. Hence the naive expectation is wrong up to the cubic order. In the end, we show that the momentum and winding modes cannot both appear for only one compact doubled space.


title: Cross-Domain Adaptive Clustering for Semi-Supervised Domain Adaptation

abstract: In semi-supervised domain adaptation, a few labeled samples per class in the target domain guide features of the remaining target samples to aggregate around them. However, the trained model cannot produce a highly discriminative feature representation for the target domain because the training data is dominated by labeled samples from the source domain. This could lead to disconnection between the labeled and unlabeled target samples as well as misalignment between unlabeled target samples and the source domain. In this paper, we propose a novel approach called Cross-domain Adaptive Clustering to address this problem. To achieve both inter-domain and intra-domain adaptation, we first introduce an adversarial adaptive clustering loss to group features of unlabeled target data into clusters and perform cluster-wise feature alignment across the source and target domains. We further apply pseudo labeling to unlabeled samples in the target domain and retain pseudo-labels with high confidence. Pseudo labeling expands the number of ``labeled" samples in each class in the target domain, and thus produces a more robust and powerful cluster core for each class to facilitate adversarial learning. Extensive experiments on benchmark datasets, including DomainNet, Office-Home and Office, demonstrate that our proposed approach achieves the state-of-the-art performance in semi-supervised domain adaptation.


title: Eigenvalue fluctuations for random elliptic operators in homogenization regime

abstract: This work is devoted to the asymptotic behavior of eigenvalues of an elliptic operator with rapidly oscillating random coefficients on a bounded domain with Dirichlet boundary conditions. A sharp convergence rate is obtained for isolated eigenvalues towards eigenvalues of the homogenized problem, as well as a quantitative two-scale expansion result for eigenfunctions. Next, a quantitative central limit theorem is established for eigenvalue fluctuations; more precisely, a pathwise characterization of eigenvalue fluctuations is obtained in terms of the so-called homogenization commutator, in parallel with the recent fluctuation theory for the solution operator.


title: Local Pair and Bundle Discovery over Co-Evolving Time Series

abstract: Time series exploration and mining has many applications across several industrial and scientific domains. In this paper, we consider the problem of detecting locally similar pairs and groups, called bundles, over co-evolving time series. These are pairs or groups of subsequences whose values do not differ by more than {\epsilon} for at least delta consecutive timestamps, thus indicating common local patterns and trends. We first present a baseline algorithm that performs a sweep line scan across all timestamps to identify matches. Then, we propose a filter-verification technique that only examines candidate matches at judiciously chosen checkpoints across time. Specifically, we introduce two block scanning algorithms for discovering local pairs and bundles respectively, which leverage the potential of checkpoints to aggressively prune the search space. We experimentally evaluate our methods against real-world and synthetic datasets, demonstrating a speed-up in execution time by an order of magnitude over the baseline. This paper has been published in the 16th International Symposium on Spatial and Temporal Databases (SSTD19).


title: Distribution-on-Distribution Regression via Optimal Transport Maps

abstract: We present a framework for performing regression when both covariate and response are probability distributions on a compact interval $\Omega\subset\mathbb{R}$. Our regression model is based on the theory of optimal transportation and links the conditional Fr\'echet mean of the response distribution to the covariate distribution via an optimal transport map. We define a Fr\'echet-least-squares estimator of this regression map, and establish its consistency and rate of convergence to the true map, under both full and partial observation of the regression pairs. Computation of the estimator is shown to reduce to an isotonic regression problem, and thus our regression model can be implemented with ease. We illustrate our methodology using real and simulated data.


title: Remarks on spherical monodromy defects for free scalar fields

abstract: The computation of the effect of a simple monodromy defect in the case of a sphere with twisted boundary conditions is revisited and streamlined using earlier calculations for a similar system. Compact and explicit expressions are found for arbitrary integer dimensions. Comments on other work are made.


title: Everything Has a Cause: Leveraging Causal Inference in Legal Text Analysis

abstract: Causal inference is the process of capturing cause-effect relationship among variables. Most existing works focus on dealing with structured data, while mining causal relationship among factors from unstructured data, like text, has been less examined, but is of great importance, especially in the legal domain. In this paper, we propose a novel Graph-based Causal Inference (GCI) framework, which builds causal graphs from fact descriptions without much human involvement and enables causal inference to facilitate legal practitioners to make proper decisions. We evaluate the framework on a challenging similar charge disambiguation task. Experimental results show that GCI can capture the nuance from fact descriptions among multiple confusing charges and provide explainable discrimination, especially in few-shot settings. We also observe that the causal knowledge contained in GCI can be effectively injected into powerful neural networks for better performance and interpretability.


title: A generalization of higher rank graphs

abstract: We introduce what we call `generalized higher rank $k$-graphs' as a class of categories equipped with a notion of size. They extend not only the higher rank $k$-graphs, but also the Levi categories introduced by the first author as a categorical setting for graphs of groups. We prove that examples of generalized higher rank $k$-graphs can be constructed using Zappa-Sz\'ep products of groupoids and higher rank graphs.


title: New companions to the Andrews--Gordon identities motivated by commutative algebra

abstract: We give a proof of a recent combinatorial conjecture due to the first author, which was discovered in the framework of commutative algebra. This result gives rise to new companions to the famous Andrews-Gordon identities. Our tools involve graded quotient rings, Durfee squares and rectangles for integer partitions, and $q$-series identities.


title: SIGIR 2021 E-Commerce Workshop Data Challenge

abstract: The 2021 SIGIR workshop on eCommerce is hosting the Coveo Data Challenge for "In-session prediction for purchase intent and recommendations". The challenge addresses the growing need for reliable predictions within the boundaries of a shopping session, as customer intentions can be different depending on the occasion. The need for efficient procedures for personalization is even clearer if we consider the e-commerce landscape more broadly: outside of giant digital retailers, the constraints of the problem are stricter, due to smaller user bases and the realization that most users are not frequently returning customers. We release a new session-based dataset including more than 30M fine-grained browsing events (product detail, add, purchase), enriched by linguistic behavior (queries made by shoppers, with items clicked and items not clicked after the query) and catalog meta-data (images, text, pricing information). On this dataset, we ask participants to showcase innovative solutions for two open problems: a recommendation task (where a model is shown some events at the start of a session, and it is asked to predict future product interactions); an intent prediction task, where a model is shown a session containing an add-to-cart event, and it is asked to predict whether the item will be bought before the end of the session.


title: Modeling the Nervous System as An Open Quantum System

abstract: We propose a neural network model of multi-neuron interacting system that simulates neurons to interact each other through the surroundings of neuronal cell bodies. We physically model the neuronal cell surroundings, include the dendrites, the axons and the synapses as well as the surrounding glial cells, as a collection of all kinds of oscillating modes arisen from the electric circuital environment of neuronal action potentials. By analyzing the dynamics of this neural model through the master equation approach of open quantum systems, we investigate the collective behavior of neurons. After applying stimulations to the neural network, the neuronal collective state is activated and shows the action potential behavior. We find that this model can generate random neuron-neuron interactions and is proper to describe the process of information transmission in the nervous system physically, which may pave a potential route toward understanding the dynamics of nervous system.


title: Robust Learning Meets Generative Models: Can Proxy Distributions Improve Adversarial Robustness?

abstract: While additional training data improves the robustness of deep neural networks against adversarial examples, it presents the challenge of curating a large number of specific real-world samples. We circumvent this challenge by using additional data from proxy distributions learned by advanced generative models. We first seek to formally understand the transfer of robustness from classifiers trained on proxy distributions to the real data distribution. We prove that the difference between the robustness of a classifier on the two distributions is upper bounded by the conditional Wasserstein distance between them. Next we use proxy distributions to significantly improve the performance of adversarial training on five different datasets. For example, we improve robust accuracy by up to 7.5% and 6.7% in $\ell_{\infty}$ and $\ell_2$ threat model over baselines that are not using proxy distributions on the CIFAR-10 dataset. We also improve certified robust accuracy by 7.6% on the CIFAR-10 dataset. We further demonstrate that different generative models bring a disparate improvement in the performance in robust training. We propose a robust discrimination approach to characterize the impact of individual generative models and further provide a deeper understanding of why current state-of-the-art in diffusion-based generative models are a better choice for proxy distribution than generative adversarial networks.


title: Advanced Long-context End-to-end Speech Recognition Using Context-expanded Transformers

abstract: This paper addresses end-to-end automatic speech recognition (ASR) for long audio recordings such as lecture and conversational speeches. Most end-to-end ASR models are designed to recognize independent utterances, but contextual information (e.g., speaker or topic) over multiple utterances is known to be useful for ASR. In our prior work, we proposed a context-expanded Transformer that accepts multiple consecutive utterances at the same time and predicts an output sequence for the last utterance, achieving 5-15% relative error reduction from utterance-based baselines in lecture and conversational ASR benchmarks. Although the results have shown remarkable performance gain, there is still potential to further improve the model architecture and the decoding process. In this paper, we extend our prior work by (1) introducing the Conformer architecture to further improve the accuracy, (2) accelerating the decoding process with a novel activation recycling technique, and (3) enabling streaming decoding with triggered attention. We demonstrate that the extended Transformer provides state-of-the-art end-to-end ASR performance, obtaining a 17.3% character error rate for the HKUST dataset and 12.0%/6.3% word error rates for the Switchboard-300 Eval2000 CallHome/Switchboard test sets. The new decoding method reduces decoding time by more than 50% and further enables streaming ASR with limited accuracy degradation.


title: Mathematical Modeling of Chemotaxis Guided Amoeboid Cell Swimming

abstract: Cells and microorganisms adopt various strategies to migrate in response to different environmental stimuli. To date, many modeling research has focused on the crawling-based Dictyostelium discoideum (Dd) cells migration induced by chemotaxis, yet recent experimental results reveal that even without adhesion or contact to a substrate, Dd cells can still swim to follow chemoattractant signals. In this paper, we develop a modeling framework to investigate the chemotaxis induced amoeboid cell swimming dynamics. A minimal swimming system consists of one deformable Dd amoeboid cell and a dilute suspension of bacteria, and the bacteria produce chemoattractant signals that attract the Dd cell. We use the mathematical amoeba model to generate Dd cell deformation and solve the resulting low Reynolds number flows, and use a moving mesh based finite volume method to solve the reaction-diffusion-convection equation. Using the computational model, we show that chemotaxis guides a swimming Dd cell to follow and catch bacteria, while on the other hand, bacterial rheotaxis may help the bacteria to escape from the predator Dd cell.


title: AI supported Topic Modeling using KNIME-Workflows

abstract: Topic modeling algorithms traditionally model topics as list of weighted terms. These topic models can be used effectively to classify texts or to support text mining tasks such as text summarization or fact extraction. The general procedure relies on statistical analysis of term frequencies. The focus of this work is on the implementation of the knowledge-based topic modelling services in a KNIME workflow. A brief description and evaluation of the DBPedia-based enrichment approach and the comparative evaluation of enriched topic models will be outlined based on our previous work. DBpedia-Spotlight is used to identify entities in the input text and information from DBpedia is used to extend these entities. We provide a workflow developed in KNIME implementing this approach and perform a result comparison of topic modeling supported by knowledge base information to traditional LDA. This topic modeling approach allows semantic interpretation both by algorithms and by humans.


title: Simulations of angle- and spatially-resolved vibrational electron energy loss spectroscopy for a system with a planar defect

abstract: Recent developments in experiments with vibrational electron energy loss spectroscopy (EELS) have revealed spectral shape variations at spatial resolutions down to sub-atomic scale. Interpretation in terms of local phonon density of states enables their qualitative understanding, yet a more detailed analysis is calling for advances in theoretical methods. In Zeiger and Rusz, Phys. Rev. Lett. 124, 025501 (2020) we have presented a frequency resolved frozen phonon multislice method for simulations of vibrational EELS. Detailed simulations for a plane wave electron beam scattering on a vibrating hexagonal boron nitride are presented in a companion manuscript (Zeiger and Rusz, arXiv:2104.03197). Here we present simulations of vibrational EELS assuming a convergent electron probe of nanometer size and atomic size on a hexagonal boron nitride structure model with a planar defect. With a nanometer beam we observe spectral shape modifications in the presence of the defect, which are correlated with local changes of the phonon density of states. With an atomic size electron beam, we observe the same, although with better contrast. In addition, we observe atomic level contrast and sub-atomic scale spectral shape modifications, which are particularly strong for small detector collection angles.


title: Intertube excitonic coupling in nanotube van der Waals heterostructures

abstract: Excitons dominate the optics of atomically-thin transition metal dichalcogenides and 2D van der Waals heterostructures. Interlayer 2D excitons, with an electron and a hole residing in different layers, form rapidly in heterostructures either via direct charge transfer or via Coulomb interactions that exchange energy between layers. Here, we report prominent intertube excitonic effects in quasi-1D van der Waals heterostructures consisting of C/BN/MoS$_2$ core/shell/skin nanotubes. Remarkably, under pulsed infrared excitation of excitons in the semiconducting CNTs we observed a rapid (sub-picosecond) excitonic response in the visible range from the MoS$_2$ skin, which we attribute to intertube biexcitons mediated by dipole-dipole Coulomb interactions in the coherent regime. On longer ($>100$ps) timescales hole transfer from the CNT core to the MoS$_2$ skin further modified the MoS$_2$'s absorption. Our direct demonstration of intertube excitonic interactions and charge transfer in 1D van der Waals heterostructures suggests future applications in infrared and visible optoelectronics using these radial heterojunctions.


title: PM$_{2.5}$ as a major predictor of COVID-19 basic reproduction number in the USA

abstract: Many studies have proposed a relationship between COVID-19 transmissibility and ambient pollution levels. However, a major limitation in establishing such associations is to adequately account for complex disease dynamics, influenced by e.g. significant differences in control measures and testing policies. Another difficulty is appropriately controlling the effects of other potentially important factors, due to both their mutual correlations and a limited dataset. To overcome these difficulties, we will here use the basic reproduction number ($R_0$) that we estimate for USA states using non-linear dynamics methods. To account for a large number of predictors (many of which are mutually strongly correlated), combined with a limited dataset, we employ machine-learning methods. Specifically, to reduce dimensionality without complicating the variable interpretation, we employ Principal Component Analysis on subsets of mutually related (and correlated) predictors. Methods that allow feature (predictor) selection, and ranking their importance, are then used, including both linear regressions with regularization and feature selection (Lasso and Elastic Net) and non-parametric methods based on ensembles of weak-learners (Random Forest and Gradient Boost). Through these substantially different approaches, we robustly obtain that PM$_{2.5}$ is a major predictor of $R_0$ in USA states, with corrections from factors such as other pollutants, prosperity measures, population density, chronic disease levels, and possibly racial composition. As a rough magnitude estimate, we obtain that a relative change in $R_0$, with variations in pollution levels observed in the USA, is typically ~30%, which further underscores the importance of pollution in COVID-19 transmissibility.


title: Low-Temperature Insulating Phase of the Si(111)--7$\times$7 Surface

abstract: We investigated the electronic structure of the Si(111)--7$\times$7 surface below 20 K by scanning tunneling and photoemission spectroscopies and by density functional theory calculations. Previous experimental studies have questioned the ground state of this surface, which is expected to be metallic in a band picture because of the odd number of electrons per unit cell. Our differential conductance spectra instead show the opening of an energy gap at the Fermi level and a significant temperature dependence of the electronic properties, especially for the adatoms at the center of the unfaulted half of the unit cell. Complementary photoemission spectra with improved correction of the surface photovoltage shift corroborate the differential conductance data and demonstrate the absence of surface bands crossing the Fermi level at 17 K. These consistent experimental observations point to an insulating ground state and contradict the prediction of a metallic surface obtained by density functional theory in the generalized gradient approximation. The calculations indicate that this surface has or is near a magnetic instability, but remains metallic in the magnetic phases even including correlation effects at mean-field level. We discuss possible origins of the observed discrepancies between experiments and calculations.


title: A Choreographed Outline Instrumentation Algorithm for Asynchronous Components

abstract: The runtime analysis of decentralised software requires instrumentation methods that are scalable, but also minimally invasive. This paper presents a new algorithm that instruments choreographed outline monitors. Our instrumentation algorithm scales and reorganises monitors dynamically as the system executes. We demonstrate the implementability of choreographed outline instrumentation and compare it to inline instrumentation, subject to rigorous and comprehensive benchmarking. Our results debunk the general notion that outline monitoring is necessarily infeasible, and show that our implementation induces runtime overhead comparable to that of its inline counterpart for many practical cases.


title: Formation of complex organic molecules in molecular clouds: acetaldehyde, vinyl alcohol, ketene, and ethanol via the "energetic" processing of C$_2$H$_2$ ice

abstract: The simultaneous detection of organic molecules of the form C$_2$H$_{\text{n}}$O, such as ketene (CH$_2$CO), acetaldehyde (CH$_3$CHO), and ethanol (CH$_3$CH$_2$OH), toward early star-forming regions offers hints of shared chemical history. Several reaction routes have been proposed and experimentally verified under various interstellar conditions to explain the formation pathways involved. Most noticeably, the non-energetic processing of C$_2$H$_2$ ice with OH-radicals and H-atoms was shown to provide formation routes to ketene, acetaldehyde, ethanol, and vinyl alcohol (CH$_2$CHOH) along the H$_2$O formation sequence on grain surfaces. In this work, the non-energetic formation scheme is extended with laboratory measurements focusing on the energetic counterpart, induced by cosmic rays penetrating the H$_2$O-rich ice mantle. The focus here is on the H$^+$ radiolysis of interstellar C$_2$H$_2$:H$_2$O ice analogs at 17 K. Ultra-high vacuum experiments were performed to investigate the 200 keV H$^+$ radiolysis chemistry of predeposited C$_2$H$_2$:H$_2$O ices, both as mixed and layered geometries. Fourier-transform infrared spectroscopy was used to monitor in situ newly formed species as a function of the accumulated energy dose (or H$^+$ fluence). The infrared (IR) spectral assignments are further confirmed in isotope labeling experiments using H$_2$$^{18}$O. The energetic processing of C$_2$H$_2$:H$_2$O ice not only results in the formation of (semi-) saturated hydrocarbons (C$_2$H$_4$ and C$_2$H$_6$) and polyynes as well as cumulenes (C$_4$H$_2$ and C$_4$H$_4$), but it also efficiently forms O-bearing COMs, including vinyl alcohol, ketene, acetaldehyde, and ethanol, for which the reaction cross-section and product composition are derived. A clear composition transition of the product, from H-poor to H-rich species, is observed as a function of the accumulated energy dose.


title: Deep learning enables reference-free isotropic super-resolution for volumetric fluorescence microscopy

abstract: Volumetric imaging by fluorescence microscopy is often limited by anisotropic spatial resolution from inferior axial resolution compared to the lateral resolution. To address this problem, here we present a deep-learning-enabled unsupervised super-resolution technique that enhances anisotropic images in volumetric fluorescence microscopy. In contrast to the existing deep learning approaches that require matched high-resolution target volume images, our method greatly reduces the effort to put into practice as the training of a network requires as little as a single 3D image stack, without a priori knowledge of the image formation process, registration of training data, or separate acquisition of target data. This is achieved based on the optimal transport driven cycle-consistent generative adversarial network that learns from an unpaired matching between high-resolution 2D images in lateral image plane and low-resolution 2D images in the other planes. Using fluorescence confocal microscopy and light-sheet microscopy, we demonstrate that the trained network not only enhances axial resolution, but also restores suppressed visual details between the imaging planes and removes imaging artifacts.


title: Versatile electronic states in epitaxial thin films of (Sn-Pb-In)Te: from topological crystalline insulator and polar semimetal to superconductor

abstract: Epitaxial thin films of (Sn$_{x}$Pb$_{1-x}$)$_{1-y}$In$_{y}$Te were successfully grown by molecular-beam-epitaxy (MBE) in a broad range of compositions (0 $\leq$ x $\leq$ 1, 0 $\leq$ y $\leq$ 0.23). We investigated electronic phases of the films by the measurements of electrical transport and optical second harmonic generation. In this system, one can control the inversion of band gap, the electric polarization that breaks the inversion symmetry, and the Fermi level position by tuning the Pb/Sn ratio and In composition. A plethora of topological electronic phases are expected to emerge, such as topological crystalline insulator, topological semimetal, and superconductivity. For the samples with large Sn compositions (x > 0.5), hole density increases with In composition (y), which results in the appearance of superconductivity. On the other hand, for those with small Sn compositions (x < 0.5), increase in In composition reduces the hole density and changes the carrier type from p-type to n-type. In a narrow region centered at (x, y) = (0.16, 0.07) where the n-type carriers are slightly doped, charge transport with high mobility exceeding 5,000 cm$^{2}$V$^{-1}$s$^{-1}$ shows up, representing the possible semimetal states. In those samples, the optical second harmonic generation measurement shows the breaking of inversion symmetry along the out-of-plane [111] direction, which ensures the presence of polar semimetal state. The thin films of (Sn$_{x}$Pb$_{1-x}$)$_{1-y}$In$_{y}$Te materials systems with a variety of electronic states would become a promising materials platform for the exploration of novel quantum phenomena.


title: Provable Robustness of Adversarial Training for Learning Halfspaces with Noise

abstract: We analyze the properties of adversarial training for learning adversarially robust halfspaces in the presence of agnostic label noise. Denoting $\mathsf{OPT}_{p,r}$ as the best robust classification error achieved by a halfspace that is robust to perturbations of $\ell_{p}$ balls of radius $r$, we show that adversarial training on the standard binary cross-entropy loss yields adversarially robust halfspaces up to (robust) classification error $\tilde O(\sqrt{\mathsf{OPT}_{2,r}})$ for $p=2$, and $\tilde O(d^{1/4} \sqrt{\mathsf{OPT}_{\infty, r}} + d^{1/2} \mathsf{OPT}_{\infty,r})$ when $p=\infty$. Our results hold for distributions satisfying anti-concentration properties enjoyed by log-concave isotropic distributions among others. We additionally show that if one instead uses a nonconvex sigmoidal loss, adversarial training yields halfspaces with an improved robust classification error of $O(\mathsf{OPT}_{2,r})$ for $p=2$, and $O(d^{1/4}\mathsf{OPT}_{\infty, r})$ when $p=\infty$. To the best of our knowledge, this is the first work to show that adversarial training provably yields robust classifiers in the presence of noise.


title: Early warning of coalescing neutron-star and neutron-star-black-hole binaries from nonstationary noise background using neural networks

abstract: The success of the multi-messenger astronomy relies on gravitational-wave observatories like LIGO and Virgo to provide prompt warning of merger events involving neutron stars (including both binary neutron stars and neutron-star-black-holes), which further depends critically on the low-frequency sensitivity of LIGO as a typical binary neutron star stays in this band for minutes. However, the current sub-60 Hz sensitivity of LIGO has not yet reached its design target and the excess noise can be more than an order of magnitude below 20 Hz. It is limited by nonlinearly coupled noises from auxiliary control loops which are also nonstationary, posing challenges to realistic early-warning pipelines. Nevertheless, machine-learning-based neural networks provide ways to simultaneously improve the low-frequency sensitivity and mitigate its nonstationarity, and detect the real-time gravitational-wave signal with a very short computational time. We propose to achieve this by inputting both the main gravitational-wave readout and key auxiliary witnesses to a compound neural network. Using simulated data with characteristic representing the real LIGO detectors, our machine-learning-based neural networks can reduce nonlinearly coupled noise by about a factor of 5 and allows a typical binary neutron star (neutron-star-black-hole) to be detected 100 s (10 s) before the merger at a distance of 40 Mpc (160 Mpc). If one can further reduce the noise to the fundamental limit, our neural networks can achieve detection out to a distance of 80 Mpc and 240 Mpc for binary neutron stars and neutron-star-black-holes, respectively. It thus demonstrates that utilizing machine-learning-based neural networks is a promising direction for the timely detection of the coalescence of electromagnetically bright LIGO/Virgo sources.


title: Vec2GC -- A Graph Based Clustering Method for Text Representations

abstract: NLP pipelines with limited or no labeled data, rely on unsupervised methods for document processing. Unsupervised approaches typically depend on clustering of terms or documents. In this paper, we introduce a novel clustering algorithm, Vec2GC (Vector to Graph Communities), an end-to-end pipeline to cluster terms or documents for any given text corpus. Our method uses community detection on a weighted graph of the terms or documents, created using text representation learning. Vec2GC clustering algorithm is a density based approach, that supports hierarchical clustering as well.


title: Dyadic models for ideal MHD

abstract: We study two dyadic models for incompressible ideal magnetohydrodynamics, one with a uni-directional energy cascade and the other one with both forward and backward energy cascades. Global existence of weak solutions and local well-posedness are established for both models. In addition, solutions to the model with uni-directional energy cascade associated with positive initial data are shown to develop blow-up at a finite time. Moreover, a set of fixed points is found for each model. Linear instability about some particular fixed points is proved.


title: One More Check: Making "Fake Background" Be Tracked Again

abstract: The one-shot multi-object tracking, which integrates object detection and ID embedding extraction into a unified network, has achieved groundbreaking results in recent years. However, current one-shot trackers solely rely on single-frame detections to predict candidate bounding boxes, which may be unreliable when facing disastrous visual degradation, e.g., motion blur, occlusions. Once a target bounding box is mistakenly classified as background by the detector, the temporal consistency of its corresponding tracklet will be no longer maintained. In this paper, we set out to restore the bounding boxes misclassified as ``fake background'' by proposing a re-check network. The re-check network innovatively expands the role of ID embedding from data association to motion forecasting by effectively propagating previous tracklets to the current frame with a small overhead. Note that the propagation results are yielded by an independent and efficient embedding search, preventing the model from over-relying on detection results. Eventually, it helps to reload the ``fake background'' and repair the broken tracklets. Building on a strong baseline CSTrack, we construct a new one-shot tracker and achieve favorable gains by 70.7 $\rightarrow$ 76.4, 70.6 $\rightarrow$ 76.3 MOTA on MOT16 and MOT17, respectively. It also reaches a new state-of-the-art MOTA and IDF1 performance. Code is released at https://github.com/JudasDie/SOTS.


title: Digital quantum simulation of beam splitters and squeezing with IBM quantum computers

abstract: We present results on the digital quantum simulations of beam-splitter and squeezing interactions. The bosonic hamiltonians are mapped to qubits and then digitalized in order to implement them in the IBM quantum devices. We use error mitigation and post-selection to achieve high-fidelity digital quantum simulations of single-mode and two-mode interactions, as evidenced -- where possible -- by full tomography of the resulting states. We achieve fidelities above 90 \% in the case of single-mode squeezing with low squeezing values and ranging from 60 \% to 90 \% for large squeezing and in the more complex two-mode interactions.


title: Numerical analysis of a Neumann boundary control problem with a stochastic parabolic equation

abstract: This paper analyzes the discretization of a Neumann boundary control problem with a stochastic parabolic equation, where an additive noise occurs in the Neumann boundary condition. The convergence is established for general filtrations, and the convergence rate $ O(\tau^{1/4-\epsilon} + h^{1/2-\epsilon}) $ is derived for the natural filtration of the Q-Wiener process.


title: Computing eigenvalues of the Laplacian on rough domains

abstract: We prove a general Mosco convergence theorem for bounded Euclidean domains satisfying a set of mild geometric hypotheses. For bounded domains, this notion implies norm-resolvent convergence for the Dirichlet Laplacian which in turn ensures spectral convergence. A key element of the proof is the development of a novel, explicit Poincar\'e-type inequality. These results allow us to construct a universal algorithm capable of computing the eigenvalues of the Dirichlet Laplacian on a wide class of rough domains. Many domains with fractal boundaries, such as the Koch snowflake and certain filled Julia sets, are included among this class. Conversely, we construct a counter example showing that there does not exist a universal algorithm of the same type capable of computing the eigenvalues of the Dirichlet Laplacian on an arbitrary bounded domain.


title: Artificial Intelligence in Open Radio Access Network

abstract: This tutorial seeks to outline the proposed Open Radio Access Network (O-RAN) deployment for Fifth generation (5G) wireless networks. O-RAN seeks to supplant hardware-specific Radio Access Network (RAN) components (e.g., the mobility management entity (MME) or base station (gNB)) with generic hardware, specialized software, and open signaling interfaces. The virtualization and network slicing features of 5G allow for software to replace previously hardware specific functions. Software further provides faster analytics, thus supporting 5Gs latency requirements and advanced usage scenarios (i.e., enhanced mobile broadband (eMBB), massive machine type communications (mMTC), and ultra-reliable low latency communications (uRLLC)). Furthermore, as software annexes control of the RAN, there is freedom to integrate Artificial Intelligence/Machine Learning (AI/ML) algorithms into RAN management (particularly at the user plane). This integration is one of the goals of O-RAN. Lastly, relying on generic hardware and specialized, open-source software eliminates reliance upon specific device manufacturers. This paper will provide questions regarding the future of O-RAN, with a focus on 5G network device security.


title: Superconducting Nanowire Single-Photon Detector (SNSPD) with 3D-Printed Free-Form Microlenses

abstract: We present an approach to increase the effective light-receiving area of superconducting nanowire single-photon detectors (SNSPD) by means of free-form microlenses that are printed in situ on top of the sensitive detector area using high-resolution multi-photon lithography. We demonstrate a detector based on a niobium-nitride (NbN) nanowire with a 4.5 $\mathrm \mu$m $\times$ 4.5 $\mathrm \mu$m sensitive area, supplemented with a lens of 60 $\mathrm \mu$m diameter. For free-space illumination at a wavelength of 1550 nm, the lensed sensor has a 100-fold-increased effective collection area, which leads to strongly enhanced system detection efficiency without the need for long nanowires. Our approach can be readily applied to a wide range of sensor types and effectively overcomes the inherent design conflict between high counting speed due to short sensor reset time, high timing accuracy, and high fabrication yield on the one hand and high collection efficiency through large effective detection areas on the other hand.


title: What can human minimal videos tell us about dynamic recognition models?

abstract: In human vision objects and their parts can be visually recognized from purely spatial or purely temporal information but the mechanisms integrating space and time are poorly understood. Here we show that human visual recognition of objects and actions can be achieved by efficiently combining spatial and motion cues in configurations where each source on its own is insufficient for recognition. This analysis is obtained by identifying minimal videos: these are short and tiny video clips in which objects, parts, and actions can be reliably recognized, but any reduction in either space or time makes them unrecognizable. State-of-the-art deep networks for dynamic visual recognition cannot replicate human behavior in these configurations. This gap between humans and machines points to critical mechanisms in human dynamic vision that are lacking in current models.


title: The completed standard $L$-function of modular forms on $G_2$

abstract: The goal of this paper is to provide a complete and refined study of the standard $L$-functions $L(\pi,\operatorname{Std},s)$ for certain non-generic cuspidal automorphic representations $\pi$ of $G_2(\mathbb{A})$. For a cuspidal automorphic representation $\pi$ of $G_2(\mathbb{A})$ that corresponds to a modular form $\varphi$ of level one and of even weight on $G_2$, we explicitly define the completed standard $L$-function, $\Lambda(\pi,\operatorname{Std},s)$. Assuming that a certain Fourier coefficient of $\varphi$ is nonzero, we prove the functional equation $\Lambda(\pi,\operatorname{Std},s) = \Lambda(\pi,\operatorname{Std},1-s)$. Our proof proceeds via a careful analysis of a Rankin-Selberg integral that is due to an earlier work of Gurevich and Segal.


title: On the Curved Patterns Seen in the Graph of PPTs

abstract: Dr. Ron Knott constructed a graph of all Primitive Pythagorean Triples (PPTs) with legs up to length 10,000, using Mathematica. The patterns are very interesting, suggesting conic sections. We show that they indeed are parabolic curves which follow in a natural way from the mathematics of the subject matter.