title: Extremal functions for sparse minors

abstract: The "extremal function" $c(H)$ of a graph $H$ is the supremum of densities of graphs not containing $H$ as a minor, where the "density" of a graph $G$ is the ratio of the number of edges to the number of vertices. Myers and Thomason (2005), Norin, Reed, Thomason and Wood (2020), and Thomason and Wales (2019) determined the asymptotic behaviour of $c(H)$ for all polynomially dense graphs $H$, as well as almost all graphs $H$ of constant density. We explore the asymptotic behavior of the extremal function in the regime not covered by the above results, where in addition to having constant density the graph $H$ is in a graph class admitting strongly sublinear separators. We establish asymptotically tight bounds in many cases. For example, we prove that for every planar graph $H$, $$c(H) = (1+o(1))\cdot\max\left\{\frac{|V(H)|}{2},|V(H)| - \alpha (H)\right\},$$ extending recent results of Haslegrave, Kim and Liu (2020). We also show that an asymptotically tight bound on the extremal function of graphs in minor-closed families proposed by Haslegrave, Kim and Liu (2020) is equivalent to a well studied open weakening of Hadwiger's conjecture.


title: Origin of the Background Absorption in Carbon Nanotubes: Phonon-Assisted Excitonic Continuum

abstract: Excitonic effects in 1D semiconductors can be qualitatively different from those in higher dimensions. In particular, the Sommerfeld factor, the ratio of the above-band-edge excitonic continuum absorption to free electron-hole pair generation, has been shown to be less than 1 (i.e., suppressed) in 1D systems while it is larger than1 (i.e., enhanced) in 2D and 3D systems. Strong continuum suppression indeed exists in semiconducting single-wall carbon nanotubes, a prototypical 1D semiconductor. However, absorption spectra for carbon nanotubes are typically fit with a combination of Lorentzians and a polynomial background baseline with little physical meaning. Here, we performed absorption measurements in aligned single-chirality (6,5) carbon nanotube films. The obtained spectra were fit with our theoretical model obtained by solving the Boltzmann scattering equation (i.e., the quantum Fokker-Planck equation), involving fifty-nine different types of transitions among three different types of quasiparticles. Specifically, we took into account microscopic interactions between photons, phonons, and excitons, including their dispersions, which unambiguously demonstrated that the background absorption is due to phonon-assisted transitions from the semiconductor vacuum to finite-momentum continuum states of excitons. The excellent agreement we obtained between experiment and theory suggests that our numerical technique can be seamlessly extended to compute strongly out-of-equilibrium many-body dynamics and time-resolved spectra in low-dimensional materials.


title: Strichartz transforms with Riesz potentials and Semyanistyi integrals

abstract: In this paper, we study the general orthogonal Radon transform $R_{p,q}^k$ first studied by R.S Strichartz in \cite{Stri}. An sharp existence condition of $R_{p,q}^k f$ on $L^p$-spaces will be given. Then we devote to the relation formulas connecting Strichartz transform $R_{p,q}^k$ and Semyanistyi integrals. We prove the corresponding Fuglede type formulas, through which a number of explicit inversion formulas for $R_{p,q}^k f$ will be given. Different from the inclusion Radon transform and "Gonzalez" type orthogonal transform, Strichartz transform is more complicated. Our conclusions generalize the corresponding results of the two particular cases above.


title: Translatotron 2: High-quality direct speech-to-speech translation with voice preservation

abstract: We present Translatotron 2, a neural direct speech-to-speech translation model that can be trained end-to-end. Translatotron 2 consists of a speech encoder, a linguistic decoder, an acoustic synthesizer, and a single attention module that connects them together. Experimental results on three datasets consistently show that Translatotron 2 outperforms the original Translatotron by a large margin on both translation quality (up to +15.5 BLEU) and speech generation quality, and approaches the same of cascade systems. In addition, we propose a simple method for preserving speakers' voices from the source speech to the translation speech in a different language. Unlike existing approaches, the proposed method is able to preserve each speaker's voice on speaker turns without requiring for speaker segmentation. Furthermore, compared to existing approaches, it better preserves speaker's privacy and mitigates potential misuse of voice cloning for creating spoofing audio artifacts.


title: A Queueing-Theoretic Framework for Vehicle Dispatching in Dynamic Car-Hailing [technical report]

abstract: With the rapid development of smart mobile devices, the car-hailing platforms (e.g., Uber or Lyft) have attracted much attention from both the academia and the industry. In this paper, we consider an important dynamic car-hailing problem, namely \textit{maximum revenue vehicle dispatching} (MRVD), in which rider requests dynamically arrive and drivers need to serve as many riders as possible such that the entire revenue of the platform is maximized. We prove that the MRVD problem is NP-hard and intractable. In addition, the dynamic car-hailing platforms have no information of the future riders, which makes the problem even harder. To handle the MRVD problem, we propose a queueing-based vehicle dispatching framework, which first uses existing machine learning algorithms to predict the future vehicle demand of each region, then estimates the idle time periods of drivers through a queueing model for each region. With the information of the predicted vehicle demands and estimated idle time periods of drivers, we propose two batch-based vehicle dispatching algorithms to efficiently assign suitable drivers to riders such that the expected overall revenue of the platform is maximized during each batch processing. Through extensive experiments, we demonstrate the efficiency and effectiveness of our proposed approaches over both real and synthetic datasets.


title: Profiles of cosmic filaments since z=4.0 in cosmological hydrodynamical simulation

abstract: A large portion of the baryons at low redshifts are still missing from detection. Most of the missing baryons are believed to reside in large scale cosmic filaments. Understanding the distribution of baryons in filaments is crucial for the search for missing baryons. We investigate the properties of cosmic filaments since $z=4.0$ in a cosmological hydrodynamic simulation, focusing on the density and temperature profiles perpendicular to the filament spines. Our quantitative evaluation confirm the rapid growth of thick and prominent filaments after $z=2$. We find that the local linear density of filaments shows correlation with the local diameter since $z=4.0$. The averaged density profiles of both dark matter and baryonic gas in filaments of different width show self-similarity, and can be described by an isothermal single-beta model. The typical gas temperature increases as the filament width increasing, and is hotter than $10^6$ K for filaments with width $D_{fil} \gtrsim 4.0 \rm{Mpc}$, which would be the optimal targets for the search of missing baryons via thermal Sunyaev-Zel'dovich (SZ) effect. The temperature rises significantly from the boundary to the inner core regime in filaments with $D_{fil} \gtrsim 4.0 \rm{Mpc}$, probably due to heating by accretion shock, while the temperature rise gently in filaments with $D_{fil}< 4.0 \rm{Mpc}$.


title: Local and nonlocal Poincar\'e inequalities on Lie groups

abstract: We prove a local $L^p$-Poincar\'e inequality, $1\leq p < \infty$, on noncompact Lie groups endowed with a sub-Riemannian structure. We show that the constant involved grows at most exponentially with respect to the radius of the ball, and that if the group is nondoubling, then its growth is indeed, in general, exponential. We also prove a nonlocal $L^2$-Poincar\'e inequality with respect to suitable finite measures on the group.


title: Generating Cutting Inequalities Successively for Quadratic Optimization Problems in Binary Variables

abstract: We propose a successive generation of cutting inequalities for binary quadratic optimization problems. Multiple cutting inequalities are successively generated for the convex hull of the set of the optimal solutions $\subset \{0, 1\}^n$, while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the right-hand side value in integer is considered as a candidate for a valid inequality. The validity of the linear inequality is determined by solving a conic relaxation of a subproblem such as the doubly nonnegative relaxation, under the assumption that an upper bound for the unknown optimal value of the problem is available. Moreover, the candidates generated for the multiple cutting inequalities are tested simultaneously for their validity in parallel. Preliminary numerical results on 60 quadratic unconstrained binary optimization problems with a simple implementation of the successive cutting inequalities using an 8- or 32-core machine show that the exact optimal values are obtained for 70\% of the tested problems, demonstrating the strong potential of the proposed technique.


title: Reconstruction theorem in quasinormed spaces

abstract: We extend the Hairer reconstruction theorem for distributions due to Caravenna and Zambotti (arXiv:2005.09287) to general function spaces satisfying a translation and scaling condition. This includes Besov type spaces with exponents below 1 and Triebel-Lizorkin type spaces.


title: A Radiomics-Boosted Deep-Learning Model for COVID-19 and Non-COVID-19 Pneumonia Classification Using Chest X-ray Image

abstract: To develop a deep-learning model that integrates radiomics analysis for enhanced performance of COVID-19 and Non-COVID-19 pneumonia detection using chest X-ray image, two deep-learning models were trained based on a pre-trained VGG-16 architecture: in the 1st model, X-ray image was the sole input; in the 2nd model, X-ray image and 2 radiomic feature maps (RFM) selected by the saliency map analysis of the 1st model were stacked as the input. Both models were developed using 812 chest X-ray images with 262/288/262 COVID-19/Non-COVID-19 pneumonia/healthy cases, and 649/163 cases were assigned as training-validation/independent test sets. In 1st model using X-ray as the sole input, the 1) sensitivity, 2) specificity, 3) accuracy, and 4) ROC Area-Under-the-Curve of COVID-19 vs Non-COVID-19 pneumonia detection were 1) 0.90$\pm$0.07 vs 0.78$\pm$0.09, 2) 0.94$\pm$0.04 vs 0.94$\pm$0.04, 3) 0.93$\pm$0.03 vs 0.89$\pm$0.03, and 4) 0.96$\pm$0.02 vs 0.92$\pm$0.04. In the 2nd model, two RFMs, Entropy and Short-Run-Emphasize, were selected with their highest cross-correlations with the saliency maps of the 1st model. The corresponding results demonstrated significant improvements (p<0.05) of COVID-19 vs Non-COVID-19 pneumonia detection: 1) 0.95$\pm$0.04 vs 0.85$\pm$0.04, 2) 0.97$\pm$0.02 vs 0.96$\pm$0.02, 3) 0.97$\pm$0.02 vs 0.93$\pm$0.02, and 4) 0.99$\pm$0.01 vs 0.97$\pm$0.02. The reduced variations suggested a superior robustness of 2nd model design.


title: Signature of a randomness-driven spin-liquid state in a frustrated magnet

abstract: Collective behaviour of electrons, frustration induced quantum fluctuations and entanglement in quantum materials underlie some of the emergent quantum phenomena with exotic quasi-particle excitations that are highly relevant for technological applications. Herein, we present our thermodynamic and muon spin relaxation measurements, complemented by ab initio density functional theory and exact diagonalization results, on the recently synthesized frustrated antiferromagnet Li4CuTeO6, in which Cu2+ ions (S = 1/2) constitute disordered spin chains and ladders along the crystallographic [101] direction with weak random inter-chain couplings. Our thermodynamic experiments detect neither long-range magnetic ordering nor spin freezing down to 45 mK despite the presence of strong antiferromagnetic interaction between Cu2+ moments leading to a large effective Curie-Weiss temperature of -154 K. Muon spin relaxation results are consistent with thermodynamic results. The temperature and magnetic field scaling of magnetization and specific heat reveal a data collapse pointing towards the presence of random-singlets within a disorder-driven correlated and dynamic ground-state in this frustrated antiferromagnet.


title: Quantum anharmonic enhancement of superconductivity in $P6_3/mmc$ ScH$_6$ at high pressures: a first-principles study

abstract: Making use of first-principles calculations, we analyze the effect of quantum ionic fluctuations and lattice anharmonicity on the crystal structure and superconductivity of P63/mmc ScH6 in the 100-160 GPa pressure range within the stochastic self-consistent harmonic approximation. We predict a strong correction to the crystal structure, the phonon spectra, and the superconducting critical temperatures, which have been estimated in previous calculations without considering ionic fluctuations on the crystal structure and assuming the harmonic approximation for the lattice dynamics. Quantum ionic fluctuations have a large impact on the H2 molecular-like units present in the crystal by increasing the hydrogen-hydrogen distance about a 5%. According to our anharmonic phonon spectra, this structure will be dynamically stable at least above 85 GPa, which is 45 GPa lower than the pressure given by the harmonic approximation. Contrary to many superconducting hydrogen-rich compounds, where quantum ionic effects and the consequent anharmonicity tend to lower the superconducting critical temperature, our results show that it can be enhanced in P63/mmc ScH6 by approximately a 15%. We attribute the enhancement of the critical temperature to the stretching of the H$_2$ molecular-like units and the associated increase of the electron-phonon interaction. Our results suggest that quantum ionic effects increase the superconducting critical temperature in hydrogen-rich materials with H2 units by increasing the hydrogen-hydrogen distance and, consequently, the electron-phonon interaction.


title: Studies of systematic uncertainty effects on IceCube's real-time angular uncertainty

abstract: Sources of astrophysical neutrinos can potentially be discovered through the detection of neutrinos in coincidence with electromagnetic or gravitational waves. Real-time alerts generated by IceCube play an important role in this search, acting as triggers for follow-up observations with instruments sensitive to other wavelengths. Once a high-energy event is detected by the IceCube real-time program, a complex and time consuming direction reconstruction method is run in order to calculate an accurate localisation. To investigate the effect of systematic uncertainties on the uncertainty estimate of the location, we simulate a set of high-energy events with a wide range of directions for different ice model realisations, the dominant systematic error in our localization uncertainty. This makes use of a novel simulation tool, which allows the treatment of systematic uncertainties with multiple continuously varied nuisance parameters. These events will be reconstructed using various reconstruction methods. This study will enable us to include systematic uncertainties in a robust manner in the real-time direction and error estimates.


title: Zero Trust Service Function Chaining

abstract: In this paper, we address the inefficient handling of traditional security functions in Zero Trust (ZT) networks. For this reason, we propose a novel network security concept that combines the ideas of ZT and Service Function Chaining (SFC). This allows us to efficiently decide which security functions to apply to which packets and when.


title: Gauge-invariant perturbation expansion in powers of electric charge for the density-of-states of a network model for charged-particle motion in a uniform background magnetic flux density

abstract: An explicitly-gauge-invariant expansion in powers of $e/\hbar$ times the magnetic flux density is formally obtained for the density of states (as characterized by the trace of the resolvent $\widehat G$ = $(\omega - \hat h)^{-1}$) of a charged particle moving on a Hermitian quantum network that is embedded in a Euclidean background that supports a uniform magnetic flux density. The explicit expressions, given here up to third order in the flux density, are also valid for the ``local trace'' (the trace of $\widehat P_i \widehat G$, where $\widehat P_i$ is the projector on a network node), and do not appear to have been previously given.

categories: cond-mat.other hep-th math-ph math.MP quant-ph


title: Input Agnostic Deep Learning for Alzheimer's Disease Classification Using Multimodal MRI Images

abstract: Alzheimer's disease (AD) is a progressive brain disorder that causes memory and functional impairments. The advances in machine learning and publicly available medical datasets initiated multiple studies in AD diagnosis. In this work, we utilize a multi-modal deep learning approach in classifying normal cognition, mild cognitive impairment and AD classes on the basis of structural MRI and diffusion tensor imaging (DTI) scans from the OASIS-3 dataset. In addition to a conventional multi-modal network, we also present an input agnostic architecture that allows diagnosis with either sMRI or DTI scan, which distinguishes our method from previous multi-modal machine learning-based methods. The results show that the input agnostic model achieves 0.96 accuracy when both structural MRI and DTI scans are provided as inputs.


title: Redshift drift cosmography for model-independent cosmological inference

abstract: We develop a cosmographic framework for analysing redshift drift signals of nearby sources model-independently, i.e., without making assumptions about the metric description of the Universe. We show that the Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) prediction is altered nontrivially by regional anisotropies and inhomogeneities. In particular, we find that the position drift of the sources is nontrivially linked to the redshift drift signal. The redshift drift signal for nearby sources might be formulated in terms of an effective deceleration parameter, which reduces to the FLRW deceleration parameter in the homogeneous and isotropic limit. The presented cosmographic framework can be used for model-independent data analysis, exploiting the fact that the exact anisotropic redshift drift signal at lowest order in redshift is given by a finite set of physically interpretable coefficients. We discuss physical limits of interest as well as challenges related to the framework.


title: Composition of multipartite quantum systems: perspective from time-like paradigm

abstract: Figuring out the physical rationale behind natural selection of quantum theory is one of the most acclaimed quests in quantum foundational research. This pursuit has inspired several axiomatic initiatives to derive mathematical formulation of the theory by identifying general structure of state and effect space of individual systems as well as specifying their composition rules. This generic framework can allow several consistent composition rules for a multipartite system even when state and effect cones of individual subsystems are assumed to be quantum. Nevertheless, for any bipartite system, none of these compositions allows beyond quantum space-like correlations. In this letter we show that such bipartite compositions can admit stronger than quantum correlations in the time-like domain and, hence, indicates pragmatically distinct roles carried out by state and effect cones. We discuss consequences of such correlations in a communication task, which accordingly opens up a possibility of testing the actual composition between elementary quanta.


title: Influence of a Set of Variables on a Boolean Function

abstract: The influence of a variable is an important concept in the analysis of Boolean functions. The more general notion of influence of a set of variables on a Boolean function has four separate definitions in the literature. In the present work, we introduce a new definition of influence of a set of variables which is based on the auto-correlation function and develop its basic theory. Among the new results that we obtain are generalisations of the Poincar\'e inequality and the edge expansion property of the influence of a single variable. Further, we obtain new characterisations of resilient and bent functions using the notion of influence. We show that the previous definition of influence due to Fischer et. al. (2002) and Blais (2009) is half the value of the auto-correlation based influence that we introduce. Regarding the other prior notions of influence, we make a detailed study of these and show that each of these definitions do not satisfy one or more desirable properties that a notion of influence may be expected to satisfy.


title: An Empirical Study on the "Usage of Not" in Real-World JSON Schema Documents (Long Version)

abstract: In this paper, we study the usage of negation in JSON Schema data modeling. Negation is a logical operator that is rarely present in type systems and schema description languages, since it complicates decision problems. As a consequence, many software tools, but also formal frameworks for working with JSON Schema, do not fully support negation. As of today, the question whether covering negation is practically relevant, or a mainly theoretical exercise (albeit challenging), is open. This motivates us to study whether negation is really used in practice, for which aims, and whether it could be - in principle - replaced by simpler operators. We have collected the most diverse corpus of JSON Schema documents analyzed so far, based on a crawl of 90k open source schemas hosted on GitHub. We perform a systematic analysis, quantify usage patterns of negation, and also qualitatively analyze schemas. We show that negation is indeed used, following a stable set of patterns, with the potential to mature into design patterns.


title: The colored HOMFLY-PT polynomials of the trefoil knot, the figure-eight knot and twist knots

abstract: We give a rigorous proof of the colored HOMFLY-PT polynomials of the trefoil knot, the figure-eight knot and twist knots. For the trefoil knot and the figure-eight knot, it is expressed by a single sum, and for a twist knot, it is expressed by a double sum.


title: On partition functions of refined Chern-Simons theories on $S^3$

abstract: We present a new expression for the partition function of refined Chern-Simons theory on $S^3$ with arbitrary gauge group, which is explicitly equal to $1$, when the coupling constant is zero. Using this form of partition function we show that the previously known Krefl-Schwarz representation of partition function of refined Chern-Simons theory on $S^3$ can be generalized to all simply-laced algebras. For all non-simply-laced gauge algebras, we derive similar representations of that partition function, which makes it possible to transform it into a product of multiple sine functions aiming at the further establishment of duality with refined topological strings.


title: Hidden charm pentaquark states in a diquark model

abstract: The mass spectrum of hidden charm pentaquark states composed of two diquarks and an antiquark are calculated by use of an effective Hamiltonian which includes explicitly the spin, color, and flavor dependent interactions. The results show that the $P_c(4312)^+$ and $P_c(4440)^+$ states could be explained as hidden charm pentaquark states with isospin and spin-parity $IJ^P=1/2\left(3/2^-\right)$, the $P_c(4457)^+$ state could be explained as a hidden charm pentaquark state with $IJ^P=1/2\left(5/2^-\right)$, and the $P_{cs}(4459)^+$ state could be explained as a hidden charm pentaquark state with $IJ^P=0\left(1/2^-\right)$ or $0\left(3/2^-\right)$. Predications for the masses of other possible pentaquark states are also given, and the possible decay channels of these hidden charm pentaquark states are discussed.


title: A New Distributed Method for Training Generative Adversarial Networks

abstract: Generative adversarial networks (GANs) are emerging machine learning models for generating synthesized data similar to real data by jointly training a generator and a discriminator. In many applications, data and computational resources are distributed over many devices, so centralized computation with all data in one location is infeasible due to privacy and/or communication constraints. This paper proposes a new framework for training GANs in a distributed fashion: Each device computes a local discriminator using local data; a single server aggregates their results and computes a global GAN. Specifically, in each iteration, the server sends the global GAN to the devices, which then update their local discriminators; the devices send their results to the server, which then computes their average as the global discriminator and updates the global generator accordingly. Two different update schedules are designed with different levels of parallelism between the devices and the server. Numerical results obtained using three popular datasets demonstrate that the proposed framework can outperform a state-of-the-art framework in terms of convergence speed.


title: Triangulating surfaces with bounded energy

abstract: We show that if a closed $C^1$-smooth surface in a Riemannian manifold has bounded Kolasinski--Menger energy, then it can be triangulated with triangles whose number is bounded by the energy and the area. Each of the triangles is an image of a subset of a plane under a diffeomorphism whose distortion is bounded by $\sqrt{2}$.


title: Simultaneous ultraviolet, visible and near-infrared continuous-wave lasing in a rare-earth-doped microcavity

abstract: Microlaser with multiple lasing bands is critical in various applications, such as full-colour display, optical communications and computing. Here, we propose a simple and efficient method for homogeneously doping rare earth elements into a silica whispering-gallery-mode microcavity. By this method, we demonstrate simultaneous and stable lasing covering ultraviolet, visible and near-infrared bands in an ultrahigh-Q (exceeding 108) Er-Yb co-doped silica microsphere under room temperature and continuous-wave pump for the first time. The lasing thresholds of the 380, 410, 450, 560, 660, 800, 1080 and 1550 nm-bands are estimated to be 380, 150, 2.5, 12, 0.17, 1.7, 10 and 38 {\mu}W, respectively, where the lasing in the 380, 410 and 450 nm-bands by Er element have not been separately demonstrated under room temperature and continuous-wave pump until this work. This ultrahigh-Q doped microcavity is an excellent platform for high-performance multi-band microlasers, ultrahigh-precise sensors, optical memories and cavity-enhanced light-matter interaction studies.


title: A characterisation of cross-impact kernels

abstract: Trading a financial asset pushes its price as well as the prices of other assets, a phenomenon known as cross-impact. We consider a general class of kernel-based cross-impact models and investigate suitable parameterisations for trading purposes. We focus on kernels that guarantee that prices are martingales and anticipate future order flow (martingale-admissible kernels) and those that ensure there is no possible price manipulation (no-statistical-arbitrage-admissible kernels). We determine the overlap between these two classes and provide formulas for calibration of cross-impact kernels on data. We illustrate our results using SP500 futures data.


title: Constructing Multi-Modal Dialogue Dataset by Replacing Text with Semantically Relevant Images

abstract: In multi-modal dialogue systems, it is important to allow the use of images as part of a multi-turn conversation. Training such dialogue systems generally requires a large-scale dataset consisting of multi-turn dialogues that involve images, but such datasets rarely exist. In response, this paper proposes a 45k multi-modal dialogue dataset created with minimal human intervention. Our method to create such a dataset consists of (1) preparing and pre-processing text dialogue datasets, (2) creating image-mixed dialogues by using a text-to-image replacement technique, and (3) employing a contextual-similarity-based filtering step to ensure the contextual coherence of the dataset. To evaluate the validity of our dataset, we devise a simple retrieval model for dialogue sentence prediction tasks. Automatic metrics and human evaluation results on such tasks show that our dataset can be effectively used as training data for multi-modal dialogue systems which require an understanding of images and text in a context-aware manner. Our dataset and generation code is available at https://github.com/shh1574/multi-modal-dialogue-dataset.


title: Improved Learning Rates for Stochastic Optimization: Two Theoretical Viewpoints

abstract: Generalization performance of stochastic optimization stands a central place in learning theory. In this paper, we investigate the excess risk performance and towards improved learning rates for two popular approaches of stochastic optimization: empirical risk minimization (ERM) and stochastic gradient descent (SGD). Although there exists plentiful generalization analysis of ERM and SGD for supervised learning, current theoretical understandings of ERM and SGD either have stronger assumptions in convex learning, e.g., strong convexity, or show slow rates and less studied in nonconvex learning. Motivated by these problems, we aim to provide improved rates under milder assumptions in convex learning and derive faster rates in nonconvex learning. It is notable that our analysis span two popular theoretical viewpoints: \emph{stability} and \emph{uniform convergence}. Specifically, in stability regime, we present high probability learning rates of order $\mathcal{O} (1/n)$ w.r.t. the sample size $n$ for ERM and SGD with milder assumptions in convex learning and similar high probability rates of order $\mathcal{O} (1/n)$ in nonconvex learning, rather than in expectation. Furthermore, this type of learning rate is improved to faster order $\mathcal{O} (1/n^2)$ in uniform convergence regime. To our best knowledge, for ERM and SGD, the learning rates presented in this paper are all state-of-the-art.


title: Long-term series forecasting with Query Selector -- efficient model of sparse attention

abstract: Various modifications of TRANSFORMER were recently used to solve time-series forecasting problem. We propose Query Selector - an efficient, deterministic algorithm for sparse attention matrix. Experiments show it achieves state-of-the art results on ETT, Helpdesk and BPI'12 datasets.


title: Structural Watermarking to Deep Neural Networks via Network Channel Pruning

abstract: In order to protect the intellectual property (IP) of deep neural networks (DNNs), many existing DNN watermarking techniques either embed watermarks directly into the DNN parameters or insert backdoor watermarks by fine-tuning the DNN parameters, which, however, cannot resist against various attack methods that remove watermarks by altering DNN parameters. In this paper, we bypass such attacks by introducing a structural watermarking scheme that utilizes channel pruning to embed the watermark into the host DNN architecture instead of crafting the DNN parameters. To be specific, during watermark embedding, we prune the internal channels of the host DNN with the channel pruning rates controlled by the watermark. During watermark extraction, the watermark is retrieved by identifying the channel pruning rates from the architecture of the target DNN model. Due to the superiority of pruning mechanism, the performance of the DNN model on its original task is reserved during watermark embedding. Experimental results have shown that, the proposed work enables the embedded watermark to be reliably recovered and provides a sufficient payload, without sacrificing the usability of the DNN model. It is also demonstrated that the proposed work is robust against common transforms and attacks designed for conventional watermarking approaches.


title: Longitudinal charge distribution measurement of non-relativistic ion beams using coherent transition radiation

abstract: Longitudinal charge profile measurements or bunch shape measurements is a challenge for temporally short non-relativistic bunches. The field profile has a larger longitudinal extent compared to the charge profile for such beams. This affects the ability of field sensing devices such as phase pick-ups or wall current monitors to measure charge distribution. Here we evaluate the feasibility for usage of coherent transition and diffraction radiation from non-relativistic beams for bunch shape measurements.


title: ObserveNet Control: A Vision-Dynamics Learning Approach to Predictive Control in Autonomous Vehicles

abstract: A key component in autonomous driving is the ability of the self-driving car to understand, track and predict the dynamics of the surrounding environment. Although there is significant work in the area of object detection, tracking and observations prediction, there is no prior work demonstrating that raw observations prediction can be used for motion planning and control. In this paper, we propose ObserveNet Control, which is a vision-dynamics approach to the predictive control problem of autonomous vehicles. Our method is composed of a: i) deep neural network able to confidently predict future sensory data on a time horizon of up to 10s and ii) a temporal planner designed to compute a safe vehicle state trajectory based on the predicted sensory data. Given the vehicle's historical state and sensing data in the form of Lidar point clouds, the method aims to learn the dynamics of the observed driving environment in a self-supervised manner, without the need to manually specify training labels. The experiments are performed both in simulation and real-life, using CARLA and RovisLab's AMTU mobile platform as a 1:4 scaled model of a car. We evaluate the capabilities of ObserveNet Control in aggressive driving contexts, such as overtaking maneuvers or side cut-off situations, while comparing the results with a baseline Dynamic Window Approach (DWA) and two state-of-the-art imitation learning systems, that is, Learning by Cheating (LBC) and World on Rails (WOR).


title: A note on Newton non-degeneracy of mixed weighted homogeneous polynomials

abstract: A mixed polynomial $f(\boldsymbol{z}, \bar{\boldsymbol{z}})$ is called a mixed weighted homogeneous polynomial (Definition 5) if it is both radially and polar weighted homogeneous. Let $f$ be a mixed weighted homogeneous polynomial with respect to a strictly positive radial weight vector $P$ and a polar weight vector $Q$. Suppose that $f$ is Newton non-degenerate over a compact face $\Delta(P)$ and polar weighted homogeneous of non-zero polar degree with respect to $Q$. Then $f : {{\mathbb{C}}^*}^n \to \mathbb{C}$ has no mixed critical points. Moreover, under the assumption $f^{-1}(0) \cap {{\mathbb{C}}^*}^n \neq \emptyset$, $f : {{\mathbb{C}}^*}^n \to \mathbb{C}$ is surjective. In other words, in this situation, Newton non-degeneracy over a compact face $\Delta(P)$ implies strong Newton non-degeneracy over $\Delta(P)$ (Proposition 10). With this fact as a starting point, we investigate the sets $f^{-1}(0) \cap {{\mathbb{C}}^*}^n$, and show the existence of a collection of mixed weighted homogeneous polynomials $f = f_{\Delta (P)}$ of non-zero polar degree which satisfy $\dim \Delta (P) \geq 1$ and $f^{-1}(0) \cap {{\mathbb{C}}^*}^n = \emptyset$ (Theorem 11). We also give an example of convenient mixed function germs of mixed weighted homogeneous face type which are not true non-degenerate (Definition 14).


title: A Novel Microstructure-Based Model to Explain the IceCube Ice Anisotropy

abstract: The IceCube Neutrino Observatory instruments about 1 km$^3$ of deep, glacial ice at the geographic South Pole using 5160 photomultipliers to detect Cherenkov light of charged relativistic particles. Most of IceCube's science goals rely heavily on an ever more precise understanding of the optical properties of the instrumented ice. A curious light propagation effect observed by the experiment is an anisotropic attenuation, which is aligned with the local flow of the ice. Having recently identified curved photon trajectories resulting from asymmetric light diffusion in the birefringent polycrystalline microstructure of the ice as the most likely underlying cause of this effect, work is now ongoing to optimize the model parameters (effectively deducing the average crystal size and shape in the detector). We present the parametrization of the birefringence effect in our photon propagation simulation, the fitting procedures and results as well as the impact of the new ice model on data-MC agreement.


title: Clustering of low mass stars around Herbig Be star IL Cep -- Evidence of "Rocket Effect" using Gaia EDR3 ?

abstract: We study the formation and the kinematic evolution of the early type Herbig Be star IL Cep and its environment. The young star is a member of the Cep OB3 association, at a distance of 798$\pm$9 pc, and has a "cavity" associated with it. We found that the B0V star HD 216658, which is astrometrically associated with IL Cep, is at the center of the cavity. From the evaluation of various pressure components created by HD 216658, it is established that the star is capable of creating the cavity. We identified 79 co-moving stars of IL Cep at 2 pc radius from the analysis of {\textit Gaia} EDR3 astrometry. The transverse velocity analysis of the co-moving stars shows that they belong to two different populations associated with IL Cep and HD 216658, respectively. Further analysis confirms that all the stars in the IL Cep population are mostly coeval ($\sim$ 0.1 Myr). Infrared photometry revealed that there are 26 Class II objects among the co-moving stars. The stars without circumstellar disk (Class III) are 65\% of all the co-moving stars. There are 9 intense H$\alpha$ emission candidates identified among the co-moving stars using IPHAS H$\alpha$ narrow-band photometry. The dendrogram analysis on the Hydrogen column density map identified 11 molecular clump structures on the expanding cavity around IL Cep, making it an active star-forming region. The formation of the IL Cep stellar group due to the "rocket effect" by HD 216658 is discussed.


title: Detection of cross-correlation between CMB Lensing and low-density points

abstract: Low Density Points (LDPs, \citet{2019ApJ...874....7D}), obtained by removing high-density regions of observed galaxies, can trace the Large-Scale Structures (LSSs) of the universe. In particular, it offers an intriguing opportunity to detect weak gravitational lensing from low-density regions. In this work, we investigate tomographic cross-correlation between Planck CMB lensing maps and LDP-traced LSSs, where LDPs are constructed from the DR8 data release of the DESI legacy imaging survey, with about $10^6$-$10^7$ galaxies. We find that, due to the large sky coverage (20,000 deg$^2$) and large redshift depth ($z\leq 1.2$), a significant detection ($10\sigma$--$30\sigma$) of the CMB lensing-LDP cross-correlation in all six redshift bins can be achieved, with a total significance of $\sim 53\sigma$ over $ \ell\le1024$. Moreover, the measurements are in good agreement with a theoretical template constructed from our numerical simulation in the WMAP 9-year $\Lambda$CDM cosmology. A scaling factor for the lensing amplitude $A_{\rm lens}$ is constrained to $A_{\rm lens}=1\pm0.12$ for $z<0.2$, $A_{\rm lens}=1.07\pm0.07$ for $0.2<z<0.4$ and $A_{\rm lens}=1.07\pm0.05$ for $0.4<z<0.6$, with the r-band absolute magnitude cut of $-21.5$ for LDP selection. A variety of tests have been performed to check the detection reliability, against variations in LDP samples and galaxy magnitude cuts, masks, CMB lensing maps, multipole $\ell$ cuts, sky regions, and photo-z bias. We also perform a cross-correlation measurement between CMB lensing and galaxy number density, which is consistent with the CMB lensing-LDP cross-correlation. This work therefore further convincingly demonstrates that LDP is a competitive tracer of LSS.


title: Deceptive Logic Locking for Hardware Integrity Protection against Machine Learning Attacks

abstract: Logic locking has emerged as a prominent key-driven technique to protect the integrity of integrated circuits. However, novel machine-learning-based attacks have recently been introduced to challenge the security foundations of locking schemes. These attacks are able to recover a significant percentage of the key without having access to an activated circuit. This paper address this issue through two focal points. First, we present a theoretical model to test locking schemes for key-related structural leakage that can be exploited by machine learning. Second, based on the theoretical model, we introduce D-MUX: a deceptive multiplexer-based logic-locking scheme that is resilient against structure-exploiting machine learning attacks. Through the design of D-MUX, we uncover a major fallacy in existing multiplexer-based locking schemes in the form of a structural-analysis attack. Finally, an extensive cost evaluation of D-MUX is presented. To the best of our knowledge, D-MUX is the first machine-learning-resilient locking scheme capable of protecting against all known learning-based attacks. Hereby, the presented work offers a starting point for the design and evaluation of future-generation logic locking in the era of machine learning.


title: Transient growth in a flat plate boundary layer under a stream with uniform shear

abstract: One of the simplest problems involving external vorticity in boundary layer flows is the flow over a semi-infinite plate under a stream of uniform shear. We study the transient growth phenomenon in this flow to investigate the role of freestream shear on energy amplification, and analyse the differences with the Blasius flow. The initial optimal disturbance which triggers the maximum growth is found to be streamwise vortices, as in other shear flows. Compared to the Blasius boundary layer, higher optimum energy and larger spanwise wavelength of streamwise vortices have been observed. We provide scaling laws for the maximum optimal amplification, which is found to increase exponentially with the freestream shear gradient.


title: DiCE4EL: Interpreting Process Predictions using a Milestone-Aware Counterfactual Approach

abstract: Predictive process analytics often apply machine learning to predict the future states of a running business~process. However, the internal mechanisms of many existing predictive algorithms are opaque and a human decision-maker is unable to understand \emph{why} a certain activity was predicted. Recently, counterfactuals have been proposed in the literature to derive human-understandable explanations from predictive models. Current counterfactual approaches consist of finding the minimum feature change that can make a certain prediction flip its outcome. Although many algorithms have been proposed, their application to multi-dimensional sequence data like event logs has not been explored in the literature. In this paper, we explore the use of a recent, popular model-agnostic counterfactual algorithm, DiCE, in the context of predictive process analytics. The analysis reveals that DiCE is unable to derive explanations for process predictions, due to (1) process domain knowledge not being taken into account, (2) long traces of process execution that often tend to be less understandable, and (3) difficulties in optimising the counterfactual search with categorical variables. We design an extension of DiCE, namely DiCE4EL (DiCE for Event Logs), that can generate counterfactual explanations for process prediction, and propose an approach that supports deriving milestone-aware counterfactual explanations at key intermediate stages along process execution to promote interpretability. We apply our approach to a publicly available real-life event log and the analysis results demonstrate the effectiveness of the proposed approach.


title: Compact User-Specific Reconfigurable Intelligent Surfaces for Uplink Transmission

abstract: Large-scale antenna arrays employed by the base station (BS) constitute an essential next-generation communications technique. However, due to the constraints of size, cost, and power consumption, it is usually considered unrealistic to use a large-scale antenna array at the user side. Inspired by the emerging technique of reconfigurable intelligent surfaces (RIS), we firstly propose the concept of user-side RIS (US-RIS) for facilitating the employment of a large-scale antenna array at the user side in a cost- and energy-efficient way. In contrast to the existing employments of RIS, which belong to the family of base-station-side RISs (BSS-RISs), the US-RIS concept by definition facilitates the employment of RIS at the user side for the first time. This is achieved by conceiving a multi-layer structure to realize a compact form-factor. Furthermore, our theoretical results demonstrate that, in contrast to the existing single-layer structure, where only the phase of the signal reflected from RIS can be adjusted, the amplitude of the signal penetrating multi-layer US-RIS can also be partially controlled, which brings about a new degree of freedom (DoF) for beamformer design that can be beneficially exploited for performance enhancement. In addition, based on the proposed multi-layer US-RIS, we formulate the signal-to-noise ratio (SNR) maximization problem of US-RIS-aided communications. Due to the non-convexity of the problem introduced by this multi-layer structure, we propose a multi-layer transmit beamformer design relying on an iterative algorithm for finding the optimal solution by alternately updating each variable. Finally, our simulation results verify the superiority of the proposed multi-layer US-RIS as a compact realization of a large-scale antenna array at the user side for uplink transmission.


title: Detecting Oxbow Code in Erlang Codebases with the Highest Degree of Certainty

abstract: The presence of source code that is no longer needed is a handicap to project maintainability. The larger and longer-lived the project, the higher the chances of accumulating dead code in its different forms. Manually detecting unused code is time-consuming, tedious, error-prone, and requires a great level of deep knowledge about the codebase. In this paper, we examine the kinds of dead code (specifically, oxbow code) that can appear in Erlang projects, and formulate rules to identify them with high accuracy. We also present an open-source static analyzer that implements these rules, allowing for the automatic detection and confident removal of oxbow code in Erlang codebases, actively contributing to increasing their quality and maintainability.


title: A New Search for Neutrino Point Sources with IceCube

abstract: The IceCube Neutrino Observatory, deployed inside the deep glacial ice at the South Pole, is the largest neutrino telescope in the world. While eight years have passed since IceCube discovered a diffuse flux of high-energy astrophysical neutrinos, the sources of the vast majority of these neutrinos remain unknown. Here, we present a new search for neutrino point sources that improves the accuracy of the statistical analysis, especially in the low energy regime. We replaced the usual Gaussian approximations of IceCube's point spread function with precise numerical representations, obtained from simulations, and combined them with new machine learning-based estimates of event energies and angular errors. Depending on the source properties, the new analysis provides improved source localization, flux characterization and thereby discovery potential (by up to 30%) over previous works. The analysis will be applied to IceCube data that has been recorded with the full 86-string detector configuration from 2011 to 2020 and includes improved detector calibration.


title: Proton reconstruction with the Precision Proton Spectrometer (PPS) in Run 2 and the PPS at HL-LHC

abstract: The Precision Proton Spectrometer (PPS) started operating in 2016 and has collected more than 110 fb$^{-1}$ of data over the course of the LHC Run 2, now fully available for physics analysis. This contribution covers the key features of the PPS alignment and optics calibration, which have been developed from scratch. The reconstructed proton distributions, the performance of the PPS simulation and finally the validation of the full reconstruction chain with physics data (dilepton events) are also illustrated.


title: Dynamical backaction in an ultrahigh-finesse fiber-based microcavity

abstract: The use of low-dimensional objects in the field of cavity optomechanics is limited by their low scattering cross section compared to the size of the optical cavity mode. Fiber-based Fabry-P\'{e}rot microcavities can feature tiny mode cross sections and still maintain a high finesse, boosting the light-matter interaction and thus enabling the sensitive detection of the displacement of minute objects. Here we present such an ultrasensitive microcavity setup with the highest finesse reported so far in loaded fiber cavities, $\mathcal{F} = 195\,000$. We are able to position-tune the static optomechanical coupling to a silicon nitride membrane stripe, reaching frequency pull parameters of up to $\mathrm{\lvert G/2\pi\rvert=1}\,\mathrm{GHz\, nm^{-1}}$. We also demonstrate radiation pressure backaction in the regime of an ultrahigh finesse up to $\mathcal{F}=165\,000$.


title: The Nature of Hyperluminous Infrared Galaxies

abstract: We make use of multi-wavelength data of a large hyperluminous infrared (HLIRG) sample to derive their main physical properties, e.g., stellar mass, star-formation rate (SFR), volume density, contribution to the cosmic stellar mass density and to the cosmic SFR density. We also study the black hole (BH) growth rate and its relationship with the SFR of the host galaxy. We select 526 HLIRGs in three deep fields (Bo$\"o$tes, Lockman-Hole, ELAIS-N1) and adopt two spectral energy distribution (SED) fitting codes, CIGALE, which assumes energy balance, and CYGNUS, which is based on radiative transfer models and does not adopt energy balance principle. We use two different active galactic nucleus (AGN) models in CIGALE and three AGN models in CYGNUS to compare the results estimated using different SED fitting codes and different AGN models. The stellar mass, total IR luminosity and AGN luminosity agree well between different models with a typical median offset of 0.1 dex. The SFR estimates show the largest dispersions (up to 0.5 dex). This dispersion has an impact on the subsequent analysis, which may suggest that previous contradictory results could partly be due to different choices of methods. HLIRGs are ultra-massive galaxies with 99% of them having stellar masses larger than $10^{11} M_{\odot}$. Our results reveal a higher space density of ultra-massive galaxies than found in previous surveys or predicted by simulations. We find that HLIRGs contribute more to the cosmic SFR density as redshift increases. In terms of BH growth, the two SED fitting methods provide different results. We can see a clear trend in which SFR decreases as AGN luminosity increases when using CYGNUS estimates, possibly implying quenching by AGN, while this trend is much weaker when using CIGALE estimates. This difference is also influenced by the dispersion between SlFR estimates obtained by the two codes.


title: Managing Interference and Leveraging Secondary Reflections Amongst Multiple IRSs

abstract: Intelligent reflecting surface (IRS) has recently been emerging as an enabler for smart radio environment in which passive antenna arrays can be used to actively tailor/control the radio propagation. With multiple IRSs being launched to support various group of users, it is critical to jointly optimize the phase-shifts of all IRSs to mitigate the interference as well as to leverage the secondary reflections amongst IRSs. This work considers the uplink of multiple users that are grouped and supported by multiple IRSs to a multi-antenna base station. Each IRS with multiple controllable phase-shift elements is intended to serve a group of near-by users. We first formulate the minimum achievable rate maximization problem by jointly optimizing phase-shifts of elements from all IRSs and the received beamformers at the MIMO base station. The problem turns out to be non-convex. We then derive its solution using the alternating optimization mechanism. Our simulations show that by properly managing interference and leveraging the secondary reflections amongst IRSs, there is a great benefit of deploying more IRSs to support different groups of users to achieve a higher rate per user. In contrast, without properly managing the secondary reflections, increasing the number of IRSs can adversely impact the network throughput, especially for higher transmit power.


title: Simultaneous orthogonalization of inner products in infinite-dimensional vector spaces

abstract: For an arbitrary field $\mathbb{K}$ and a family of inner products in a $\mathbb{K}$-vector space $V$ of arbitrary dimension, we study necessary and sufficient conditions in order to have an orthogonal basis relative to all the inner products. If the family contains a nondegenerate element plus a compatibility condition, then under mild hypotheses the simultaneous orthogonalization can be achieved. So we investigate several constructions whose purpose is to add a nondegenerate element to a degenerate family and we study under what conditions the enlarged family is nondegenerate.


title: Uncertainty-aware Cardinality Estimation by Neural Network Gaussian Process

abstract: Deep Learning (DL) has achieved great success in many real applications. Despite its success, there are some main problems when deploying advanced DL models in database systems, such as hyper-parameters tuning, the risk of overfitting, and lack of prediction uncertainty. In this paper, we study cardinality estimation for SQL queries with a focus on uncertainty, which we believe is important in database systems when dealing with a large number of user queries on various applications. With uncertainty ensured, instead of trusting an estimator learned as it is, a query optimizer can explore other options when the estimator learned has a large variance, and it also becomes possible to update the estimator to improve its prediction in areas with high uncertainty. The approach we explore is different from the direction of deploying sophisticated DL models in database systems to build cardinality estimators. We employ Bayesian deep learning (BDL), which serves as a bridge between Bayesian inference and deep learning.The prediction distribution by BDL provides principled uncertainty calibration for the prediction. In addition, when the network width of a BDL model goes to infinity, the model performs equivalent to Gaussian Process (GP). This special class of BDL, known as Neural Network Gaussian Process (NNGP), inherits the advantages of Bayesian approach while keeping universal approximation of neural network, and can utilize a much larger model space to model distribution-free data as a nonparametric model. We show that our uncertainty-aware NNGP estimator achieves high accuracy, can be built very fast, and is robust to query workload shift, in our extensive performance studies by comparing with the existing approaches.


title: A Measure Theoretical Approach to the Mean-field Maximum Principle for Training NeurODEs

abstract: In this paper we consider a measure-theoretical formulation of the training of NeurODEs in the form of a mean-field optimal control with $L^2$-regularization of the control. We derive first order optimality conditions for the NeurODE training problem in the form of a mean-field maximum principle, and show that it admits a unique control solution, which is Lipschitz continuous in time. As a consequence of this uniqueness property, the mean-field maximum principle also provides a strong quantitative generalization error for finite sample approximations. Our derivation of the mean-field maximum principle is much simpler than the ones currently available in the literature for mean-field optimal control problems, and is based on a generalized Lagrange multiplier theorem on convex sets of spaces of measures. The latter is also new, and can be considered as a result of independent interest.


title: Positive normalized solutions to nonlinear elliptic systems in $\R^4$ with critical Sobolev exponent

abstract: In this paper, we consider the existence and asymptotic behavior on mass of the positive solutions to the following system: \begin{equation}\label{eqA0.1}\nonumber \begin{cases} -\Delta u+\lambda_1u=\mu_1u^3+\alpha_1|u|^{p-2}u+\beta v^2u\quad&\hbox{in}~\R^4,\\ -\Delta v+\lambda_2v=\mu_2v^3+\alpha_2|v|^{p-2}v+\beta u^2v\quad&\hbox{in}~\R^4,\\ \end{cases} \end{equation} under the mass constraint $$\int_{\R^4}u^2=a_1^2\quad\text{and}\quad\int_{\R^4}v^2=a_2^2,$$ where $a_1,a_2$ are prescribed, $\mu_1,\mu_2,\beta>0$; $\alpha_1,\alpha_2\in \R$, $p\!\in\! (2,4)$ and $\lambda_1,\lambda_2\!\in\!\R$ appear as Lagrange multipliers. Firstly, we establish a non-existence result for the repulsive interaction case, i.e., $\alpha_i<0(i=1,2)$. Then turning to the case of $\alpha_i>0 (i=1,2)$, if $2<p<3$, we show that the problem admits a ground state and an excited state, which are characterized respectively by a local minimizer and a mountain-pass critical point of the corresponding energy functional. Moreover, we give a precise asymptotic behavior of these two solutions as $(a_1,a_2)\to (0,0)$ and $a_1\sim a_2$. This seems to be the first contribution regarding the multiplicity as well as the synchronized mass collapse behavior of the normalized solutions to Schr\"{o}dinger systems with Sobolev critical exponent. When $3\leq p<4$, we prove an existence as well as non-existence ($p=3$) results of the ground states, which are characterized by constrained mountain-pass critical points of the corresponding energy functional. Furthermore, precise asymptotic behaviors of the ground states are obtained when the masses of whose two components vanish and cluster to a upper bound (or infinity), respectively.


title: ZIPPER: Exploiting Tile- and Operator-level Parallelism for General and Scalable Graph Neural Network Acceleration

abstract: Graph neural networks (GNNs) start to gain momentum after showing significant performance improvement in a variety of domains including molecular science, recommendation, and transportation. Turning such performance improvement of GNNs into practical applications relies on effective and efficient execution, especially for inference. However, neither CPU nor GPU can meet these needs if considering both performance and energy efficiency. That's because accelerating GNNs is challenging due to their excessive memory usage and arbitrary interleaving of diverse operations. Besides, the semantics gap between the high-level GNN programming model and efficient hardware makes it difficult in accelerating general-domain GNNs. To address the challenge, we propose Zipper, an efficient yet general acceleration system for GNNs. The keys to Zipper include a graph-native intermediate representation (IR) and the associated compiler. By capturing GNN primitive operations and representing with GNN IR, Zipper is able to fit GNN semantics into hardware structure for efficient execution. The IR also enables GNN-specific optimizations including sparse graph tiling and redundant operation elimination. We further present an hardware architecture design consisting of dedicated blocks for different primitive operations, along with a run-time scheduler to map a IR program to the hardware blocks. Our evaluation shows that Zipper achieves 93.6x speedup and 147x energy reduction over Intel Xeon CPU, and 1.56x speedup and 4.85x energy reduction over NVIDIA V100 GPU on averages.


title: Quantum Deep Learning: Sampling Neural Nets with a Quantum Annealer

abstract: We demonstrate the feasibility of framing a classically learned deep neural network as an energy based model that can be processed on a one-step quantum annealer in order to exploit fast sampling times. We propose approaches to overcome two hurdles for high resolution image classification on a quantum processing unit (QPU): the required number and binary nature of the model states. With this novel method we successfully transfer a convolutional neural network to the QPU and show the potential for classification speedup of at least one order of magnitude.


title: Miniaturization of Josephson junction for digital superconducting circuits

abstract: In this work, we briefly overview various options for Josephson junctions which should be scalable down to nanometer range for utilization in nanoscale digital superconducting technology. Such junctions should possess high values of critical current, $I_c$, and normal state resistance, $R_n$. Another requirement is the high reproducibility of the junction parameters across a wafer in a fabrication process. We argue that Superconductor - Normal metal - Superconductor (SN-N-NS) Josephson junction of "variable thickness bridge" geometry is a promising choice to meet these requirements. Theoretical analysis of SN-N-NS junction is performed in the case where the distance between the S-electrodes is comparable to the coherence length of the N-material. The restriction on the junction geometrical parameters providing the existence of superconductivity in the S-electrodes is derived for the current flowing through the junction of an order of $I_c$. The junction heating, as well as available mechanisms for the heat removal, is analyzed. The obtained results show that an SN-N-NS junction with a high (sub-millivolt) value of $I_cR_n$ product can be fabricated from a broadly utilized combination of materials like Nb/Cu using well-established technological processes. The junction area can be scaled down to that of semiconductor transistors fabricated in the frame of a 40-nm process.


title: Exploring Set Similarity for Dense Self-supervised Representation Learning

abstract: By considering the spatial correspondence, dense self-supervised representation learning has achieved superior performance on various dense prediction tasks. However, the pixel-level correspondence tends to be noisy because of many similar misleading pixels, e.g., backgrounds. To address this issue, in this paper, we propose to explore \textbf{set} \textbf{sim}ilarity (SetSim) for dense self-supervised representation learning. We generalize pixel-wise similarity learning to set-wise one to improve the robustness because sets contain more semantic and structure information. Specifically, by resorting to attentional features of views, we establish corresponding sets, thus filtering out noisy backgrounds that may cause incorrect correspondences. Meanwhile, these attentional features can keep the coherence of the same image across different views to alleviate semantic inconsistency. We further search the cross-view nearest neighbours of sets and employ the structured neighbourhood information to enhance the robustness. Empirical evaluations demonstrate that SetSim is superior to state-of-the-art methods on object detection, keypoint detection, instance segmentation, and semantic segmentation.


title: Empirical evidence on the Euler equation for investment in the US

abstract: Is the typical specification of the Euler equation for investment employed in DSGE models consistent with aggregate macro data? Using state-of-the-art econometric methods that are robust to weak instruments and exploit information in possible structural changes, the answer is yes. Unfortunately, however, there is very little information about the values of these parameters in aggregate data because investment is unresponsive to changes in capital utilization and the real interest rate. In DSGE models, the investment adjustment cost and the persistence of the investment-specific technology shock parameters are mainly identified by, respectively, the cross-equation restrictions and the dynamics implied by the structure of the model.


title: CETransformer: Casual Effect Estimation via Transformer Based Representation Learning

abstract: Treatment effect estimation, which refers to the estimation of causal effects and aims to measure the strength of the causal relationship, is of great importance in many fields but is a challenging problem in practice. As present, data-driven causal effect estimation faces two main challenges, i.e., selection bias and the missing of counterfactual. To address these two issues, most of the existing approaches tend to reduce the selection bias by learning a balanced representation, and then to estimate the counterfactual through the representation. However, they heavily rely on the finely hand-crafted metric functions when learning balanced representations, which generally doesn't work well for the situations where the original distribution is complicated. In this paper, we propose a CETransformer model for casual effect estimation via transformer based representation learning. To learn the representation of covariates(features) robustly, a self-supervised transformer is proposed, by which the correlation between covariates can be well exploited through self-attention mechanism. In addition, an adversarial network is adopted to balance the distribution of the treated and control groups in the representation space. Experimental results on three real-world datasets demonstrate the advantages of the proposed CETransformer, compared with the state-of-the-art treatment effect estimation methods.


title: RECIST-Net: Lesion detection via grouping keypoints on RECIST-based annotation

abstract: Universal lesion detection in computed tomography (CT) images is an important yet challenging task due to the large variations in lesion type, size, shape, and appearance. Considering that data in clinical routine (such as the DeepLesion dataset) are usually annotated with a long and a short diameter according to the standard of Response Evaluation Criteria in Solid Tumors (RECIST) diameters, we propose RECIST-Net, a new approach to lesion detection in which the four extreme points and center point of the RECIST diameters are detected. By detecting a lesion as keypoints, we provide a more conceptually straightforward formulation for detection, and overcome several drawbacks (e.g., requiring extensive effort in designing data-appropriate anchors and losing shape information) of existing bounding-box-based methods while exploring a single-task, one-stage approach compared to other RECIST-based approaches. Experiments show that RECIST-Net achieves a sensitivity of 92.49% at four false positives per image, outperforming other recent methods including those using multi-task learning.


title: Accelerating Weather Prediction using Near-Memory Reconfigurable Fabric

abstract: Ongoing climate change calls for fast and accurate weather and climate modeling. However, when solving large-scale weather prediction simulations, state-of-the-art CPU and GPU implementations suffer from limited performance and high energy consumption. These implementations are dominated by complex irregular memory access patterns and low arithmetic intensity that pose fundamental challenges to acceleration. To overcome these challenges, we propose and evaluate the use of near-memory acceleration using a reconfigurable fabric with high-bandwidth memory (HBM). We focus on compound stencils that are fundamental kernels in weather prediction models. By using high-level synthesis techniques, we develop NERO, an FPGA+HBM-based accelerator connected through OCAPI (Open Coherent Accelerator Processor Interface) to an IBM POWER9 host system. Our experimental results show that NERO outperforms a 16-core POWER9 system by 5.3x and 12.7x when running two different compound stencil kernels. NERO reduces the energy consumption by 12x and 35x for the same two kernels over the POWER9 system with an energy efficiency of 1.61 GFLOPS/Watt and 21.01 GFLOPS/Watt. We conclude that employing near-memory acceleration solutions for weather prediction modeling is promising as a means to achieve both high performance and high energy efficiency.


title: Joint Implicit Image Function for Guided Depth Super-Resolution

abstract: Guided depth super-resolution is a practical task where a low-resolution and noisy input depth map is restored to a high-resolution version, with the help of a high-resolution RGB guide image. Existing methods usually view this task as a generalized guided filtering problem that relies on designing explicit filters and objective functions, or a dense regression problem that directly predicts the target image via deep neural networks. These methods suffer from either model capability or interpretability. Inspired by the recent progress in implicit neural representation, we propose to formulate the guided super-resolution as a neural implicit image interpolation problem, where we take the form of a general image interpolation but use a novel Joint Implicit Image Function (JIIF) representation to learn both the interpolation weights and values. JIIF represents the target image domain with spatially distributed local latent codes extracted from the input image and the guide image, and uses a graph attention mechanism to learn the interpolation weights at the same time in one unified deep implicit function. We demonstrate the effectiveness of our JIIF representation on guided depth super-resolution task, significantly outperforming state-of-the-art methods on three public benchmarks. Code can be found at \url{https://git.io/JC2sU}.


title: Quantum Noise Sensing by generating Fake Noise

abstract: Noisy-Intermediate-Scale-Quantum (NISQ) devices are nowadays starting to become available to the final user, hence potentially allowing to show the quantum speedups predicted by the quantum information theory. However, before implementing any quantum algorithm, it is crucial to have at least a partial or possibly full knowledge on the type and amount of noise affecting the quantum machine. Here, by generalizing quantum generative adversarial learning from quantum states (Q-GANs) to quantum operations/superoperators/channels (here named as SuperQGANs), we propose a very promising framework to characterize noise in a realistic quantum device, even in the case of spatially and temporally correlated noise (memory channels) affecting quantum circuits. The key idea is to learn about the noise by mimicking it in a way that one cannot distinguish between the real (to be sensed) and the fake (generated) one. We find that, when applied to the benchmarking case of Pauli channels, the SuperQGAN protocol is able to learn the associated error rates even in the case of spatially and temporally correlated noise. Moreover, we also show how to employ it for quantum metrology applications. We believe our SuperQGANs pave the way for new hybrid quantum-classical machine learning protocols for a better characterization and control of the current and future unavoidably noisy quantum devices.


title: On the Geometric Phase and Majorana Neutrinos

abstract: We analyze the geometric phase for neutrinos and we demonstrate that the geometric invariants associated to transitions between different neutrino flavors, for Majorana neutrinos, can depend on the representation of the mixing matrix and then are sensitive to the nature of neutrinos. The dependence of geometric invariants on the Majorana phase cannot be eliminated by a charged lepton rephasing transformation. By considering kinematic and geometric approach we also demonstrate that the Majorana phase is relevant in the projective Hilbert space. Geometric invariants can in principle be used as tools to distinguish between Dirac and Majorana neutrinos.


title: Human-in-the-Loop for Data Collection: a Multi-Target Counter Narrative Dataset to Fight Online Hate Speech

abstract: Undermining the impact of hateful content with informed and non-aggressive responses, called counter narratives, has emerged as a possible solution for having healthier online communities. Thus, some NLP studies have started addressing the task of counter narrative generation. Although such studies have made an effort to build hate speech / counter narrative (HS/CN) datasets for neural generation, they fall short in reaching either high-quality and/or high-quantity. In this paper, we propose a novel human-in-the-loop data collection methodology in which a generative language model is refined iteratively by using its own data from the previous loops to generate new training samples that experts review and/or post-edit. Our experiments comprised several loops including dynamic variations. Results show that the methodology is scalable and facilitates diverse, novel, and cost-effective data collection. To our knowledge, the resulting dataset is the only expert-based multi-target HS/CN dataset available to the community.


title: Stock Movement Prediction with Financial News using Contextualized Embedding from BERT

abstract: News events can greatly influence equity markets. In this paper, we are interested in predicting the short-term movement of stock prices after financial news events using only the headlines of the news. To achieve this goal, we introduce a new text mining method called Fine-Tuned Contextualized-Embedding Recurrent Neural Network (FT-CE-RNN). Compared with previous approaches which use static vector representations of the news (static embedding), our model uses contextualized vector representations of the headlines (contextualized embeddings) generated from Bidirectional Encoder Representations from Transformers (BERT). Our model obtains the state-of-the-art result on this stock movement prediction task. It shows significant improvement compared with other baseline models, in both accuracy and trading simulations. Through various trading simulations based on millions of headlines from Bloomberg News, we demonstrate the ability of this model in real scenarios.


title: Surface Brightness Fluctuations to constrain secondary stellar populations: Revealing very low-metallicity stars in massive galaxies

abstract: The aim of this work is to explore the potential of Surface Brightness Fluctuations (SBF) for studying composite stellar populations (CSP). To do so, we have computed the standard (mean) and SBF spectra with E-MILES stellar population synthesis code. We have created a set of models composed by different mass fractions of two single stellar populations (SSP), as a first approximation of a CSP scenario. With these models we present an ensemble of SBF colour-colour diagnostic diagrams that reveal different secondary populations depending on the bands used. For this work we focus on those colours capable of unveiling small fractions of metal-poor components in elliptical galaxies, which are dominated by old metal-rich stellar populations. We fit a set of synthetic models and a selection of nearby elliptical galaxies to our CSP models using both mean and SBF colours. We find that the results are highly improved and return small secondary components when mean and SBF values are applied simultaneously, instead of employing them separately or as a constraint. Finally, we explore the possibility of tracking chemical enrichment histories by including in the analysis a variety of SBF colours. For this purpose we present an example where, with two different SBF colour-colour diagrams, we untangle a small contribution of a young solar population and an old metal-poor component from an old solar principal population. The results we have found are promising, but limited by the available data. We highlight the urgent need for new, better and more consistent SBF observations.


title: Van Trees inequality, group equivariance, and estimation of principal subspaces

abstract: We establish non-asymptotic lower bounds for the estimation of principal subspaces. As applications, we obtain new results for the excess risk of principal component analysis and the matrix denoising problem.


title: Estimation of high-dimensional change-points under a group sparsity structure

abstract: Change-points are a routine feature of 'big data' observed in the form of high-dimensional data streams. In many such data streams, the component series possess group structures and it is natural to assume that changes only occur in a small number of all groups. We propose a new change point procedure, called 'groupInspect', that exploits the group sparsity structure to estimate a projection direction so as to aggregate information across the component series to successfully estimate the change-point in the mean structure of the series. We prove that the estimated projection direction is minimax optimal, up to logarithmic factors, when all group sizes are of comparable order. Moreover, our theory provide strong guarantees on the rate of convergence of the change-point location estimator. Numerical studies demonstrates the competitive performance of groupInspect in a wide range of settings and a real data example confirms the practical usefulness of our procedure.


title: Several methods of analysis for cardinality constrained bin packing

abstract: We consider a known variant of bin packing called {\it cardinality constrained bin packing}, also called {\it bin packing with cardinality constraints} (BPCC). In this problem, there is a parameter k\geq 2, and items of rational sizes in [0,1] are to be packed into bins, such that no bin has more than k items or total size larger than 1. The goal is to minimize the number of bins. A recently introduced concept, called the price of clustering, deals with inputs that are presented in a way that they are split into clusters. Thus, an item has two attributes which are its size and its cluster. The goal is to measure the relation between an optimal solution that cannot combine items of different clusters into bins, and an optimal solution that can combine items of different clusters arbitrarily. Usually the number of clusters may be large, while clusters are relatively small, though not trivially small. Such problems are related to greedy bin packing algorithms, and to batched bin packing, which is similar to the price of clustering, but there is a constant number of large clusters. We analyze the price of clustering for BPCC, including the parametric case with bounded item sizes. We discuss several greedy algorithms for this problem that were not studied in the past, and comment on batched bin packing.


title: The HST large programme on omega Centauri -- IV. catalogue of two external fields

abstract: In the fourth paper of this series, we present -- and publicly release -- the state-of-the-art catalogue and atlases for the two remaining parallel fields observed with the Hubble Space Telescope for the large programme on omega Centauri. These two fields are located at ~12' from the centre of the globular cluster (in the West and South-West directions) and were imaged in filters from the ultraviolet to the infrared. Both fields were observed at two epochs separated by about 2 years that were used to derive proper motions and to compute membership probabilities.


title: Measuring a Six-hole Recorder Flute's Response to Breath Pressure Variations and Fitting a Model

abstract: We propose the Siamese-flute method that measures the breath pressure and the acoustic sound in parallel. We fit a 6-DoF model to describe how the breath pressure affects the octave and the microtonal pitch bend, revealing the octave hysteresis. We release both our model parameters and our data analysis tools.


title: Cobordisms and commutative categorial grammars

abstract: We propose a concrete surface representation of abstract categorial grammars in the category of word cobordisms or cowordisms for short, which are certain bipartite graphs decorated with words in a given alphabet, generalizing linear logic proof-nets. We also introduce and study linear logic grammars, directly based on cobordisms and using classical multiplicative linear logic as a typing system.


title: Towards Probabilistic Session-Type Monitoring

abstract: We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is decorated by a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.


title: Compactifications of the affine plane over non-closed fields

abstract: In this article, we give the classification of normal del Pezzo surfaces of rank one with at most log canonical singularities containing the affine plane defined over an algebraically non-closed field of characteristic zero. As an application, we have a criterion for del Pezzo fibrations with canonical singularities whose generic fibers are not smooth to contain vertical $\mathbb{A}^2$-cylinders.


title: Theory of the effective Seebeck coefficient for photoexcited 2D materials: the case of graphene

abstract: Thermoelectric phenomena in photoexcited graphene have been the topic of several theoretical and experimental studies because of their potential usefulness in optoelectronic applications. However, available theoretical descriptions of the thermoelectric effect in terms of the Seebeck coefficient do not take into account the role of the photoexcited electron density. In this work, we adopt the concept of effective Seebeck coefficient [G.D. Mahan, J. Appl. Phys. 87, 7326 (2000)] and extend it to the case of a photoexcited two-dimensional (2D) electron gas. We calculate the effective Seebeck coefficient for photoexcited graphene, we compare it to the commonly used "phenomenological" Seebeck coefficient, and we show how it depends on the photoexcited electron density and temperature. Our results are necessary inputs for any quantitative microscopic theory of thermoelectric effects in graphene and related 2D materials.


title: Assessing competitive balance in the English Premier League for over forty seasons using a stochastic block model

abstract: Competitive balance is the subject of much interest in the sports analytics literature and beyond. In this paper, we develop a statistical network model based on an extension of the stochastic block model to assess the balance between teams in a league. Here we represent the outcome of all matches in a football season as a dense network with nodes identified by teams and categorical edges representing the outcome of each game as a win, draw or a loss. The main focus and motivation for this paper is to provide a statistical framework to assess the issue of competitive balance in the context of the English First Division / Premier League over more than 40 seasons. The Premier League is arguably one of the most popular leagues in the world, in terms of its global reach and the revenue which it generates. Therefore it is of wide interest to assess its competitiveness. Our analysis provides evidence suggesting a structural change around the early 2000's from a reasonably balanced league to a two-tier league.


title: Local limits of spatial inhomogeneous random graphs

abstract: Consider a set of $n$ vertices, where each vertex has a location in $\mathbb{R}^d$ that is sampled uniformly from the unit cube in $\mathbb{R}^d$, and a weight associated to it. Construct a random graph by placing edges independently for each vertex pair with a probability that is a function of the distance between the locations, and the vertex weights. Under appropriate integrability assumptions on the edge probabilities that imply sparseness of the model, after appropriately blowing up the locations, we prove that the local limit of this random graph sequence is the (countably) infinite random graph on $\mathbb{R}^d$ with vertex locations given by a homogeneous Poisson point process, having weights which are i.i.d. copies of limiting vertex weights. Our setup covers many sparse geometric random graph models from the literature, including Geometric Inhomogeneous Random Graphs (GIRGs), Hyperbolic Random Graphs, Continuum Scale-Free Percolation and Weight-dependent Random Connection Models. We prove that the limiting degree distribution is mixed Poisson, and the typical degree sequence is uniformly integrable, and obtain convergence results on various measures of clustering in our graphs as a consequence of local convergence. Finally, as a by-product of our argument, we prove a doubly logarithmic lower bound on typical distances in this general setting.


title: RGB photometric calibration of 15 million Gaia stars

abstract: Although a catalogue of synthetic RGB magnitudes, providing photometric data for a sample of 1346 bright stars, has been recently published, its usefulness is still limited due to the small number of reference stars available, considering that they are distributed throughout the whole celestial sphere, and the fact that they are restricted to Johnson V < 6.6 mag. This work presents synthetic RGB magnitudes for ~15 million stars brighter than Gaia G = 18 mag, making use of a calibration between the RGB magnitudes of the reference bright star sample and the corresponding high quality photometric G, G_BP and G_RP magnitudes provided by the Gaia EDR3. The calibration has been restricted to stars exhibiting -0.5 < G_BP - G_RP < 2.0 mag, and aims to predict RGB magnitudes within an error interval of $\pm 0.1$ mag. Since the reference bright star sample is dominated by nearby stars with slightly undersolar metallicity, systematic variations in the predictions are expected, as modelled with the help of stellar atmosphere models. These deviations are constrained to the $\pm 0.1$ mag interval when applying the calibration only to stars scarcely affected by interstellar extinction and with metallicity compatible with the median value for the bright star sample. The large number of Gaia sources available in each region of the sky should guarantee high-quality RGB photometric calibrations.


title: Dimensional reduction by geometrical frustration in a cubic antiferromagnet composed of tetrahedral clusters

abstract: Dimensionality is a critical factor in determining the properties of solids and is an apparent built-in character of the crystal structure. However, it can be an emergent and tunable property in geometrically frustrated spin systems. Here, we study the spin dynamics of the tetrahedral cluster antiferromagnet, pharmacosiderite, via muon spin resonance and neutron scattering. We find that the spin correlation exhibits a two-dimensional characteristic despite the isotropic connectivity of tetrahedral clusters made of spin 5/2 Fe3+ ions in the three-dimensional cubic crystal, which we ascribe to two-dimensionalisation by geometrical frustration based on spin wave calculations. Moreover, we suggest that even one-dimensionalisation occurs in the decoupled layers, generating low-energy and one-dimensional excitation modes, causing large spin fluctuation in the classical spin system. Pharmacosiderite facilitates studying the emergence of low-dimensionality and manipulating anisotropic responses arising from the dimensionality using an external magnetic field.


title: Speckle decorrelation in fundamental and second-harmonic light scattered from nonlinear disorder

abstract: Speckle patterns generated in a disordered medium carry a lot of information despite the apparent complete randomness in the intensity pattern. When the medium possesses $\chi^{(2)}$ nonlinearity, the speckle is sensitive to the phase of the incident fundamental light, as well as the light generated within. Here, we examine the speckle decorrelation in the fundamental and second-harmonic transmitted light as a function of varying power in the fundamental beam. At low incident powers, the speckle patterns produced by successive pulses exhibit strong correlations, that decrease with increasing power. The average correlation in the second-harmonic speckle decays faster than in the fundamental speckle. Next, we construct a theoretical model, backed up by numerical computations, to obtain deeper physical insights on the faster decorrelations in the second-harmonic light. Whilst providing excellent qualitative agreement with the experiments, the model sheds important light on the contribution of two effects in the correlations, namely, the generation of second-harmonic light, and the propagation thereof.


title: Synthesizing Human Faces using Latent Space Factorization and Local Weights (Extended Version)

abstract: We propose a 3D face generative model with local weights to increase the model's variations and expressiveness. The proposed model allows partial manipulation of the face while still learning the whole face mesh. For this purpose, we address an effective way to extract local facial features from the entire data and explore a way to manipulate them during a holistic generation. First, we factorize the latent space of the whole face to the subspace indicating different parts of the face. In addition, local weights generated by non-negative matrix factorization are applied to the factorized latent space so that the decomposed part space is semantically meaningful. We experiment with our model and observe that effective facial part manipulation is possible and that the model's expressiveness is improved.


title: Possible topological phases in quantum anomalous Hall insulator/unconventional superconductor hybrid systems

abstract: Quantum anomalous Hall insulator (QAH)/$s$-wave superconductor (SC) hybrid systems are known to be an ideal platform for realizing two-dimensional topological superconductors with chiral Majorana edge modes. In this paper we study QAH/unconventional SC hybrid systems whose pairing symmetry is $p$-wave, $d$-wave, chiral $p$-wave, or chiral $d$-wave. The hybrid systems are a generalization of the QAH/$s$-wave SC hybrid system. In view of symmetries of the QAH and pairings, we introduce three topological numbers to classify topological phases of the hybrid systems. One is the Chern number that characterizes chiral Majorana edge modes and the others are topological numbers associated with crystalline symmetries. We numerically calculate the topological numbers and associated surface states for three characteristic regimes that feature an influence of unconventional SCs on QAHs. Our calculation shows a rich variety of topological phases and unveils the following topological phases that are no counterpart of the $s$-wave case: crystalline symmetry-protected helical Majorana edge modes, a line node phase (crystalline-symmetry-protected Bogoliubov Fermi surface), and multiple chiral Majorana edge modes. The phenomena result from a nontrivial topological interplay between the QAH and unconventional SCs. Finally, we discuss tunnel conductance in a junction between a normal metal and the hybrid systems, and show that the chiral and helical Majorana edge modes are distinguishable in terms of the presence/absence of zero-bias conductance peak.


title: E-PDDL: A Standardized Way of Defining Epistemic Planning Problems

abstract: Epistemic Planning (EP) refers to an automated planning setting where the agent reasons in the space of knowledge states and tries to find a plan to reach a desirable state from the current state. Its general form, the Multi-agent Epistemic Planning (MEP) problem involves multiple agents who need to reason about both the state of the world and the information flow between agents. In a MEP problem, multiple approaches have been developed recently with varying restrictions, such as considering only the concept of knowledge while not allowing the idea of belief, or not allowing for ``complex" modal operators such as those needed to handle dynamic common knowledge. While the diversity of approaches has led to a deeper understanding of the problem space, the lack of a standardized way to specify MEP problems independently of solution approaches has created difficulties in comparing performance of planners, identifying promising techniques, exploring new strategies like ensemble methods, and making it easy for new researchers to contribute to this research area. To address the situation, we propose a unified way of specifying EP problems - the Epistemic Planning Domain Definition Language, E-PDDL. We show that E-PPDL can be supported by leading MEP planners and provide corresponding parser code that translates EP problems specified in E-PDDL into (M)EP problems that can be handled by several planners. This work is also useful in building more general epistemic planning environments where we envision a meta-cognitive module that takes a planning problem in E-PDDL, identifies and assesses some of its features, and autonomously decides which planner is the best one to solve it.


title: \"Uber die maximalen Ideale des Quotientenringes $R_{\mathfrak{G}}$

abstract: Let $R$ be a commutative Noetherian local ring, $\mathfrak{G}$ a Gabriel topology on $R$, and $\mathfrak{G}^\ast$ the set of all maximal elements of Spec($R)\backslash \mathfrak{G}$. We determine all simple $\mathfrak{G}$-torsion free $R$-modules $M$, as well as all simple $\mathfrak{G}$-divisible Artinian $R$-modules $N$. A central role is played by the set $\mathfrak{G}^{\ast}$: Its elements correspond exactly to the maximal ideals of the quotient ring $R_{\mathfrak{G}}$, if $\mathfrak{G}$ is perfect.


title: Sauter-Schwinger effect for colliding laser pulses

abstract: Via a combination of analytical and numerical methods, we study electron-positron pair creation by the electromagnetic field ${\bf A}(t,{\bf r})=[f(ct-x)+f(ct+x)]{\bf e}_y$ of two colliding laser pulses. Employing a generalized WKB approach, we find that the pair creation rate along the symmetry plane $x=0$ (where one would expect the maximum contribution) displays the same exponential dependence as for a purely time-dependent electric field ${\bf A}(t)=2f(ct){\bf e}_y$. The pre-factor in front of this exponential does also contain corrections due to focusing or de-focusing effects induced by the spatially inhomogeneous magnetic field. We compare our analytical results to numerical simulations using the Dirac-Heisenberg-Wigner method and find good agreement.


title: Synchronization and phase shaping of single photons with high-efficiency quantum memory

abstract: Time synchronization and phase shaping of single photons both play fundamental roles in quantum information applications that rely on multi-photon quantum interference. Phase shaping typically requires separate modulators with extra insertion losses. Here, we develop a all-optical built-in phase modulator for single photons using a quantum memory. The fast phase modulation of a single photon in both step and linear manner are verified by observing the efficient quantum-memory-assisted Hong-Ou-Mandel interference between two single photons, where the anti-coalescence effect of bosonic photon pairs is demonstrated. The developed phase modulator may push forward the practical quantum information applications.


title: Characterising mosquito biting behaviour at high resolution

abstract: Blood feeding represents a critical event in the life cycle of female mosquitoes. In addition to providing nutrients to the mosquito, blood feeding facilitates the transmission of parasites and viruses to hosts, potentially having devastating health consequences. Despite this, our understanding of these short, yet important bouts of behaviour is incomplete. How and where a mosquito decides to feed and the success of feeding can influence the transmission of pathogens, while a more thorough understanding may allow interventions to reduce or prevent infections. Recent advances in machine vision and automated tracking presents the opportunity to observe and understand blood feeding behaviour of mosquitoes at unprecedented spatial and temporal resolution. Here, we combine these technologies with novel designs for behavioural arenas and controllable artificial host cues to enable detailed observations of biting behaviour using relatively inexpensive and readily available materials. Combined with a workflow for quantitative image analysis, we are able to describe nuanced, high resolution biting behaviour under tightly controlled conditions.


title: Generation and Simplicity in the Airplane Rearrangement Group

abstract: We study the group $T_A$ of rearrangements of the Airplane limit space introduced by Belk and Forrest in [3]. We prove that $T_A$ is generated by a copy of Thompson's group $F$ and a copy of Thompson's group $T$, hence it is finitely generated. Then we study the commutator subgroup $[T_A, T_A]$, proving that the abelianization of $T_A$ is isomorphic to $\mathbb{Z}$ and that $[T_A, T_A]$ is simple, finitely generated and acts 2-transitively on the so-called components of the Airplane limit space. Moreover, we show that $T_A$ is contained in $T$ and contains a natural copy of the Basilica rearrangement group $T_B$ studied in [2].