title: Multitemporal and multispectral data fusion for super-resolution of Sentinel-2 images

abstract: Multispectral Sentinel-2 images are a valuable source of Earth observation data, however spatial resolution of their spectral bands limited to 10 m, 20 m, and 60 m ground sampling distance remains insufficient in many cases. This problem can be addressed with super-resolution, aimed at reconstructing a high-resolution image from a low-resolution observation. For Sentinel-2, spectral information fusion allows for enhancing the 20 m and 60 m bands to the 10 m resolution. Also, there were attempts to combine multitemporal stacks of individual Sentinel-2 bands, however these two approaches have not been combined so far. In this paper, we introduce DeepSent -- a new deep network for super-resolving multitemporal series of multispectral Sentinel-2 images. It is underpinned with information fusion performed simultaneously in the spectral and temporal dimensions to generate an enlarged multispectral image. In our extensive experimental study, we demonstrate that our solution outperforms other state-of-the-art techniques that realize either multitemporal or multispectral data fusion. Furthermore, we show that the advantage of DeepSent results from how these two fusion types are combined in a single architecture, which is superior to performing such fusion in a sequential manner. Importantly, we have applied our method to super-resolve real-world Sentinel-2 images, enhancing the spatial resolution of all the spectral bands to 3.3 m nominal ground sampling distance, and we compare the outcome with very high-resolution WorldView-2 images. We will publish our implementation upon paper acceptance, and we expect it will increase the possibilities of exploiting super-resolved Sentinel-2 images in real-life applications.


title: Emulating an Atomic Gyroscope with Multiple Accelerometers

abstract: The main advantage of an atomic accelerometer when compared to a classical accelerometer is negligible bias drift, allowing for stable long-term measurements, which opens the potential application in navigation. This negligible drift arises from the fact that the measurements can be traced back to natural constants, and the system is intrinsically stable due to the simple design. In this manuscript, we extend this property of long-term stability to gyroscopic measurements by considering an array of atomic accelerometers, and comparing the performance to atomic gyroscopes, which are technologically more prone to bias drifts. We demonstrate that an array consisting of four three-axis atomic accelerometers can outperform state of the art atomic gyroscopes with respect to long-term stability.


title: On Unifying Randomized Methods For Inverse Problems

abstract: This work unifies the analysis of various randomized methods for solving linear and nonlinear inverse problems by framing the problem in a stochastic optimization setting. By doing so, we show that many randomized methods are variants of a sample average approximation. More importantly, we are able to prove a single theoretical result that guarantees the asymptotic convergence for a variety of randomized methods. Additionally, viewing randomized methods as a sample average approximation enables us to prove, for the first time, a single non-asymptotic error result that holds for randomized methods under consideration. Another important consequence of our unified framework is that it allows us to discover new randomization methods. We present various numerical results for linear, nonlinear, algebraic, and PDE-constrained inverse problems that verify the theoretical convergence results and provide a discussion on the apparently different convergence rates and the behavior for various randomized methods.


title: Imaging Stacking-Dependent Surface Plasmon Polaritons in Trilayer Graphene

abstract: We report a nano-infrared (IR) imaging study of trilayer graphene (TLG) with both ABA (Bernal) and ABC (rhombohedral) stacking orders using the scattering-type scanning near-field optical microscope (s-SNOM). With s-SNOM operating in the mid-IR region, we mapped in real space the surface plasmon polaritons (SPPs) of ABA-TLG and ABC-TLG, which are tunable with electrical gating. Through quantitative modeling of the plasmonic imaging data, we found that the plasmon wavelength of ABA-TLG is significantly larger than that of ABC-TLG, resulting in a sizable impedance mismatch and hence a strong plasmon reflection at the ABA/ABC lateral junction. Further analysis indicates that the different plasmonic responses of the two types of TLG are directly linked to their electronic structures and carrier properties. Our work uncovers the physics behind the stacking-dependent plasmonic responses of TLG and sheds light on future applications of TLG and the ABA/ABC junctions in IR plasmonics and planar nano-optics.


title: Analyzing the Quality of Submissions in Online Programming Courses

abstract: Programming education should aim to provide students with a broad range of skills that they will later use while developing software. An important aspect in this is their ability to write code that is not only correct but also of high quality. Unfortunately, this is difficult to control in the setting of a massive open online course. In this paper, we carry out an analysis of the code quality of submissions from JetBrains Academy - a platform for studying programming in an industry-like project-based setting with an embedded code quality assessment tool called Hyperstyle. We analyzed more than a million Java submissions and more than 1.3 million Python submissions, studied the most prevalent types of code quality issues and the dynamics of how students fix them. We provide several case studies of different issues, as well as an analysis of why certain issues remain unfixed even after several attempts. Also, we studied abnormally long sequences of submissions, in which students attempted to fix code quality issues after passing the task. Our results point the way towards the improvement of online courses, such as making sure that the task itself does not incentivize students to write code poorly.


title: A note on iterated maps of the unit sphere

abstract: Let $\mathcal{C}(S^{m})$ denote the set of continuous maps from the unit sphere $S^{m}$ in $\mathbb{R}^{m+1}$ into itself endowed with the supremum norm. We prove that the set $\{f^n: f\in \mathcal{C}(S^{m})~\text{and}~n\ge 2\}$ of iterated maps is not dense in $\mathcal{C}(S^{m})$. This, in particular, proves that the periodic points of the iteration operator of order $n$ are not dense in $\mathcal{C}(S^m)$ for all $n\ge 2$, providing an alternative proof of the result that these operators are not Devaney chaotic on $\mathcal{C}(S^m)$ proved in [M. Veerapazham, C. Gopalakrishna, W. Zhang, Dynamics of the iteration operator on the space of continuous self-maps, Proc. Amer. Math. Soc., 149(1) (2021), 217--229].


title: Estimates of Picard modular cusp forms

abstract: In this article, for $n\geq 2$, we compute asymptotic, qualitative, and quantitative estimates of the Bergman kernel of Picard modular cusp forms associated to torsion-free, cocompact subgroups of $\mathrm{SU}\big((n,1),\mathbb{C}\big)$. The main result of the article is the following result. Let $\Gamma\subset \mathrm{SU}\big((2,1),\mathcal{O}_{K}\big)$ be a torsion-free subgroup of finite index, where $K$ is a totally imaginary field. Let $\mathcal{B}_{\Gamma}^{k}$ denote the Bergman kernel associated to the $\mathcal{S}_{k}(\Gamma)$, complex vector space of weight-$k$ cusp forms with respect to $\Gamma$. Let $\mathbb{B}^{2}$ denote the $2$-dimensional complex ball endowed with the hyperbolic metric, and let $X_{\Gamma}:=\Gamma\backslash \mathbb{B}^{2}$ denote the quotient space, which is a noncompact complex manifold of dimension $2$. Let $\big|\cdot\big|_{\mathrm{pet}}$ denote the point-wise Petersson norm on $\mathcal{S}_{k}(\Gamma)$. Then, for $k\geq 6$, we have the following estimate \begin{equation*} \sup_{z\in X_{\Gamma}}\big|\mathcal{B}_{\Gamma}^{k}(z)\big|_{\mathrm{pet}}=O_{\Gamma}\big(k^{\frac{5}{2}}\big), \end{equation*} where the implied constant depends only on $\Gamma$.


title: New Approach to Malware Detection Using Optimized Convolutional Neural Network

abstract: Cyber-crimes have become a multi-billion-dollar industry in the recent years. Most cybercrimes/attacks involve deploying some type of malware. Malware that viciously targets every industry, every sector, every enterprise and even individuals has shown its capabilities to take entire business organizations offline and cause significant financial damage in billions of dollars annually. Malware authors are constantly evolving in their attack strategies and sophistication and are developing malware that is difficult to detect and can lay dormant in the background for quite some time in order to evade security controls. Given the above argument, Traditional approaches to malware detection are no longer effective. As a result, deep learning models have become an emerging trend to detect and classify malware. This paper proposes a new convolutional deep learning neural network to accurately and effectively detect malware with high precision. This paper is different than most other papers in the literature in that it uses an expert data science approach by developing a convolutional neural network from scratch to establish a baseline of the performance model first, explores and implements an improvement model from the baseline model, and finally it evaluates the performance of the final model. The baseline model initially achieves 98% accurate rate but after increasing the depth of the CNN model, its accuracy reaches 99.183 which outperforms most of the CNN models in the literature. Finally, to further solidify the effectiveness of this CNN model, we use the improved model to make predictions on new malware samples within our dataset.


title: Inner functions as strongly extreme points: stability properties

abstract: Given a Banach space $\mathcal X$, let $x$ be a point in $\text{ball}(\mathcal X)$, the closed unit ball of $\mathcal X$. One says that $x$ is a strongly extreme point of $\text{ball}(\mathcal X)$ if it has the following property: for every $\varepsilon>0$ there is $\delta>0$ such that the inequalities $\|x\pm y\|<1+\delta$ imply, for $y\in\mathcal X$, that $\|y\|<\varepsilon$. We are concerned with certain subspaces of $H^\infty$, the space of bounded holomorphic functions on the disk, that arise upon imposing finitely many linear constraints and can be viewed as finite-dimensional perturbations of $H^\infty$. It is well known that the strongly extreme points of $\text{ball}(H^\infty)$ are precisely the inner functions, while the (usual) extreme points of this ball are the unit-norm functions $f\in H^\infty$ with $\log(1-|f|)$ non-integrable over the circle. Here we show that similar characterizations remain valid for our perturbed $H^\infty$-type spaces. Also, we investigate to what extent a non-inner function can differ from a strongly extreme point.


title: Convolutional Learning on Simplicial Complexes

abstract: We propose a simplicial complex convolutional neural network (SCCNN) to learn data representations on simplicial complexes. It performs convolutions based on the multi-hop simplicial adjacencies via common faces and cofaces independently and captures the inter-simplicial couplings, generalizing state-of-the-art. Upon studying symmetries of the simplicial domain and the data space, it is shown to be permutation and orientation equivariant, thus, incorporating such inductive biases. Based on the Hodge theory, we perform a spectral analysis to understand how SCCNNs regulate data in different frequencies, showing that the convolutions via faces and cofaces operate in two orthogonal data spaces. Lastly, we study the stability of SCCNNs to domain deformations and examine the effects of various factors. Empirical results show the benefits of higher-order convolutions and inter-simplicial couplings in simplex prediction and trajectory prediction.


title: A Graph Neural Network with Negative Message Passing for Graph Coloring

abstract: Graph neural networks have received increased attention over the past years due to their promising ability to handle graph-structured data, which can be found in many real-world problems such as recommended systems and drug synthesis. Most existing research focuses on using graph neural networks to solve homophilous problems, but little attention has been paid to heterophily-type problems. In this paper, we propose a graph network model for graph coloring, which is a class of representative heterophilous problems. Different from the conventional graph networks, we introduce negative message passing into the proposed graph neural network for more effective information exchange in handling graph coloring problems. Moreover, a new loss function taking into account the self-information of the nodes is suggested to accelerate the learning process. Experimental studies are carried out to compare the proposed graph model with five state-of-the-art algorithms on ten publicly available graph coloring problems and one real-world application. Numerical results demonstrate the effectiveness of the proposed graph neural network.


title: Timing performances of front-end electronics with 3D-trench silicon sensors

abstract: Detectors based on pixels with timing capabilities are gaining increasing importance in the last years. Next-to-come high-energy physics experiments at colliders require the use of time information in tracking, due to the expected levels of track densities in the foreseen experimental conditions. A promising solution to gain high-resolution performance at the sensor level is given by so-called 3D silicon sensors. The excellent intrinsic time resolution of a special case of 3D sensors, the trench type, is limited by residual non-uniformities in the duration of the induced currents. The intrinsic contribution of the sensor to the total time resolution of the system, when the detector is coupled to a front-end electronics, depends on the characteristics of the electronics itself and can be minimized with a proper design. This paper aims to analyze the possible performance in the timing of a typically-used front-end circuit, the Trans-Impedance Amplifier, considering different possible configurations. Evidence of the preferred modes of operation in sensor read-out for timing measurement will be given.


title: Flex-Net: A Graph Neural Network Approach to Resource Management in Flexible Duplex Networks

abstract: Flexible duplex networks allow users to dynamically employ uplink and downlink channels without static time scheduling, thereby utilizing the network resources efficiently. This work investigates the sum-rate maximization of flexible duplex networks. In particular, we consider a network with pairwise-fixed communication links. Corresponding combinatorial optimization is a non-deterministic polynomial (NP)-hard without a closed-form solution. In this respect, the existing heuristics entail high computational complexity, raising a scalability issue in large networks. Motivated by the recent success of Graph Neural Networks (GNNs) in solving NP-hard wireless resource management problems, we propose a novel GNN architecture, named Flex-Net, to jointly optimize the communication direction and transmission power. The proposed GNN produces near-optimal performance meanwhile maintaining a low computational complexity compared to the most commonly used techniques. Furthermore, our numerical results shed light on the advantages of using GNNs in terms of sample complexity, scalability, and generalization capability.


title: Neural Inverse Operators for Solving PDE Inverse Problems

abstract: A large class of inverse problems for PDEs are only well-defined as mappings from operators to functions. Existing operator learning frameworks map functions to functions and need to be modified to learn inverse maps from data. We propose a novel architecture termed Neural Inverse Operators (NIOs) to solve these PDE inverse problems. Motivated by the underlying mathematical structure, NIO is based on a suitable composition of DeepONets and FNOs to approximate mappings from operators to functions. A variety of experiments are presented to demonstrate that NIOs significantly outperform baselines and solve PDE inverse problems robustly, accurately and are several orders of magnitude faster than existing direct and PDE-constrained optimization methods.


title: Which Experiences Are Influential for Your Agent? Policy Iteration with Turn-over Dropout

abstract: In reinforcement learning (RL) with experience replay, experiences stored in a replay buffer influence the RL agent's performance. Information about the influence is valuable for various purposes, including experience cleansing and analysis. One method for estimating the influence of individual experiences is agent comparison, but it is prohibitively expensive when there is a large number of experiences. In this paper, we present PI+ToD as a method for efficiently estimating the influence of experiences. PI+ToD is a policy iteration that efficiently estimates the influence of experiences by utilizing turn-over dropout. We demonstrate the efficiency of PI+ToD with experiments in MuJoCo environments.


title: Computing the endomorphism ring of an elliptic curve over a number field

abstract: We describe deterministic and probabilistic algorithms to determine whether or not a given monic irreducible polynomial H in Z[X] is a Hilbert class polynomial, and if so, which one. These algorithms can be used to determine whether a given algebraic integer is the j-invariant of an elliptic curve with complex multiplication (CM), and if so, the associated CM discriminant. More generally, given an elliptic curve E over a number field, one can use them to compute the endomorphism ring of E. Our algorithms admit simple implementations that are asymptotically and practically faster than existing approaches.


title: The optical light curve of GRB 221009A: the afterglow and the emerging supernova

abstract: We present extensive optical photometry of the afterglow of GRB~221009A. Our data cover $0.9 - 59.9$\,days from the time of \textit{Swift} and \textit{Fermi} GRB detections. Photometry in $rizy$-band filters was collected primarily with Pan-STARRS and supplemented by multiple 1- to 4-meter imaging facilities. We analyzed the Swift X-ray data of the afterglow and found a single decline rate power-law $f(t) \propto t^{-1.556\pm0.002}$ best describes the light curve. In addition to the high foreground Milky Way dust extinction along this line of sight, the data favour additional extinction to consistently model the optical to X-ray flux with optically thin synchrotron emission. We fit the X-ray-derived power-law to the optical light curve and find good agreement with the measured data up to $5-6$\,days. Thereafter we find a flux excess in the $riy$ bands which peaks in the observer frame at $\sim20$\,days. This excess shares similar light curve profiles to the type Ic broad-lined supernovae SN~2016jca and SN~2017iuk once corrected for the GRB redshift of $z=0.151$ and arbitrarily scaled. This may be representative of a supernova emerging from the declining afterglow. We measure rest-frame absolute peak AB magnitudes of $M_g=-19.8\pm0.6$ and $M_r=-19.4\pm0.3$ and $M_z=-20.1\pm0.3$. If this is an SN component, then Bayesian modelling of the excess flux would imply explosion parameters of $M_{\rm ej}=7.1^{+2.4}_{-1.7}$ M$_{\odot}$, $M_{\rm Ni}=1.0^{+0.6}_{-0.4}$ M$_{\odot}$, and $v_{\rm ej}=33,900^{+5,900}_{-5,700} kms^{-1}$, for the ejecta mass, nickel mass and ejecta velocity respectively, inferring an explosion energy of $E_{\rm kin}\simeq 2.6-9.0\times10^{52}$ ergs.


title: Tip-and plasmon-enhanced infrared nanoscopy for ultrasensitive molecular characterizations

abstract: We propose a novel method for ultra-sensitive infrared (IR) vibrational spectroscopy of molecules with nanoscale footprints by combining the tip enhancement of the scattering-type scanning near-field optical microscope (s-SNOM) and the plasmon enhancement of the breathing-mode (BM) plasmon resonances of graphene nanodisks (GNDs). To demonstrate that, we developed a quantitative model that is capable of computing accurately the s-SNOM signals of nanoscale samples. With our modeling, we show that the s-SNOM tip can effectively excite gate-tunable BM plasmonic resonances in GNDs with strong field enhancement and sensitive dependence on the size of GND. Moreover, we demonstrate that the intense electric field of tip-excited plasmonic BMs can strongly enhance the IR vibrational modes of molecules. As a result, IR vibrational signatures of individual molecular particles with sizes down to 1-2 nm can be readily observable by s-SNOM. Our study sheds light on future ultra-sensitive IR biosensing that takes advantage of both the tip and plasmon enhancement.


title: Atomistic modeling of metal-nonmetal interphase boundary diffusion

abstract: Atomistic computer simulations are applied to investigate the atomic structure, thermal stability, and diffusion processes in Al-Si interphase boundaries as a prototype of metal-ceramic interfaces in composite materials. Some of the most stable orientation relationships between the phases found in this work were previously observed in epitaxy experiments. A non-equilibrium interface can transform to a more stable state by a mechanism that we call interface-induced recrystallization. Diffusion of both Al and Si atoms in stable Al-Si interfaces is surprisingly slow compared with diffusion of both elements in Al grain boundaries but can be accelerated in the presence of interface disconnections. A qualitative explanation of the sluggish interphase boundary diffusion is proposed. Atomic mechanisms of interphase boundary diffusion are similar to those in metallic grain boundaries and are dominated by correlated atomic rearrangements in the form of strings and rings of collectively moving atoms.


title: Double Deep Reinforcement Learning Techniques for Low Dimensional Sensing Mapless Navigation of Terrestrial Mobile Robots

abstract: In this work, we present two Deep Reinforcement Learning (Deep-RL) approaches to enhance the problem of mapless navigation for a terrestrial mobile robot. Our methodology focus on comparing a Deep-RL technique based on the Deep Q-Network (DQN) algorithm with a second one based on the Double Deep Q-Network (DDQN) algorithm. We use 24 laser measurement samples and the relative position and angle of the agent to the target as information for our agents, which provide the actions as velocities for our robot. By using a low-dimensional sensing structure of learning, we show that it is possible to train an agent to perform navigation-related tasks and obstacle avoidance without using complex sensing information. The proposed methodology was successfully used in three distinct simulated environments. Overall, it was shown that Double Deep structures further enhance the problem for the navigation of mobile robots when compared to the ones with simple Q structures.


title: Semi-Supervised Image Captioning by Adversarially Propagating Labeled Data

abstract: We present a novel data-efficient semi-supervised framework to improve the generalization of image captioning models. Constructing a large-scale labeled image captioning dataset is an expensive task in terms of labor, time, and cost. In contrast to manually annotating all the training samples, separately collecting uni-modal datasets is immensely easier, e.g., a large-scale image dataset and a sentence dataset. We leverage such massive unpaired image and caption data upon standard paired data by learning to associate them. To this end, our proposed semi-supervised learning method assigns pseudo-labels to unpaired samples in an adversarial learning fashion, where the joint distribution of image and caption is learned. Our method trains a captioner to learn from a paired data and to progressively associate unpaired data. This approach shows noticeable performance improvement even in challenging scenarios including out-of-task data (i.e., relational captioning, where the target task is different from the unpaired data) and web-crawled data. We also show that our proposed method is theoretically well-motivated and has a favorable global optimal property. Our extensive and comprehensive empirical results both on (1) image-based and (2) dense region-based captioning datasets followed by comprehensive analysis on the scarcely-paired COCO dataset demonstrate the consistent effectiveness of our semisupervised learning method with unpaired data compared to competing methods.


title: Quantitative Safety and Liveness

abstract: Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be $\min$-decomposed into safety and liveness parts, or alternatively, $\max$-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.


title: A simple model for pink noise from amplitude modulations

abstract: We propose a simple model for the origin of pink noise (or 1/f fluctuation) based on the beat of cooperative waves. These cooperative waves arise spontaneously in a system with synchronization, resonance, and infrared divergence. Many cooperative waves with close frequencies can produce signals of arbitrary small frequencies from a system of small size. This beat mechanism can be understood as amplitude modulation. The pink noise can appear after the demodulation process, which produces a variety of pink noise in many fields. The pink noise thus formed from the beat has nothing to do with dissipation or long-time memory. We also suggest new ways of looking at pink noise in shallow earthquakes, solar flares, and stellar activities.


title: QUICK$^3$ -- Design of a satellite-based quantum light source for quantum communication and extended physical theory tests in space

abstract: Modern quantum technologies have matured such that they can now be used in space applications, e.g., long-distance quantum communication. Here, we present the design of a compact true single photon source that can enhance the secure data rates in satellite-based quantum key distribution scenarios compared to conventional laser-based light sources. Our quantum light source is a fluorescent color center in hexagonal boron nitride. The emitter is off-resonantly excited by a diode laser and directly coupled to an integrated photonic processor that routes the photons to different experiments performed directly on-chip: (i) the characterization of the single photon source and (ii) testing a fundamental postulate of quantum mechanics, namely the relation of the probability density and the wave function (known as Born's rule). The described payload is currently being integrated into a 3U CubeSat and scheduled for launch in 2024 into low Earth orbit. We can therefore evaluate the feasibility of true single photon sources and reconfigurable photonic circuits in space. This provides a promising route toward a high-speed quantum network.

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


title: On the Design of AI-powered Code Assistants for Notebooks

abstract: AI-powered code assistants, such as Copilot, are quickly becoming a ubiquitous component of contemporary coding contexts. Among these environments, computational notebooks, such as Jupyter, are of particular interest as they provide rich interface affordances that interleave code and output in a manner that allows for both exploratory and presentational work. Despite their popularity, little is known about the appropriate design of code assistants in notebooks. We investigate the potential of code assistants in computational notebooks by creating a design space (reified from a survey of extant tools) and through an interview-design study (with 15 practicing data scientists). Through this work, we identify challenges and opportunities for future systems in this space, such as the value of disambiguation for tasks like data visualization, the potential of tightly scoped domain-specific tools (like linters), and the importance of polite assistants.


title: Measuring spatially-resolved potential drops at semiconductor hetero-interfaces using 4D-STEM

abstract: Characterizing long-range electric fields and built-in potentials in functional materials at nano- to micrometer scales is of supreme importance for optimizing devices. E.g., the functionality of semiconductor heterostructures or battery materials is determined by the electric fields established at interfaces which can also vary spatially. In this study, we propose momentum-resolved four-dimensional scanning transmission electron microscopy (4D-STEM) for the quantification of these potentials and show the optimization steps required to reach quantitative agreement with simulations for the GaAs / AlAs hetero-junction model system. Using STEM the differences in the mean inner potentials (DELTA MIP) of two materials forming an interface and resulting dynamic diffraction effects have to be considered. We show that the measurement quality is significantly improved by precession, energy filtering and a non-zone-axis alignment of the specimen. Complementary simulations yielding a DELTA MIP of 1.3 V confirm that the potential drop due to charge transfer at the intrinsic interface is about 0.1 V, in agreement with experimental and theoretical values found in literture. These results show the feasibility of accurately measuring built-in potentials across hetero-interfaces of real device structures and its promising application for more complex interfaces of other polycrystalline materials on the nanometer scale.


title: Low-Rank Winograd Transformation for 3D Convolutional Neural Networks

abstract: This paper focuses on Winograd transformation in 3D convolutional neural networks (CNNs) that are more over-parameterized compared with the 2D version. The over-increasing Winograd parameters not only exacerbate training complexity but also barricade the practical speedups due simply to the volume of element-wise products in the Winograd domain. We attempt to reduce trainable parameters by introducing a low-rank Winograd transformation, a novel training paradigm that decouples the original large tensor into two less storage-required trainable tensors, leading to a significant complexity reduction. Built upon our low-rank Winograd transformation, we take one step ahead by proposing a low-rank oriented sparse granularity that measures column-wise parameter importance. By simply involving the non-zero columns in the element-wise product, our sparse granularity is empowered with the ability to produce a very regular sparse pattern to acquire effectual Winograd speedups. To better understand the efficacy of our method, we perform extensive experiments on 3D CNNs. Results manifest that our low-rank Winograd transformation well outperforms the vanilla Winograd transformation. We also show that our proposed low-rank oriented sparse granularity permits practical Winograd acceleration compared with the vanilla counterpart.


title: Deep Laplacian-based Options for Temporally-Extended Exploration

abstract: Selecting exploratory actions that generate a rich stream of experience for better learning is a fundamental challenge in reinforcement learning (RL). An approach to tackle this problem consists in selecting actions according to specific policies for an extended period of time, also known as options. A recent line of work to derive such exploratory options builds upon the eigenfunctions of the graph Laplacian. Importantly, until now these methods have been mostly limited to tabular domains where (1) the graph Laplacian matrix was either given or could be fully estimated, (2) performing eigendecomposition on this matrix was computationally tractable, and (3) value functions could be learned exactly. Additionally, these methods required a separate option discovery phase. These assumptions are fundamentally not scalable. In this paper we address these limitations and show how recent results for directly approximating the eigenfunctions of the Laplacian can be leveraged to truly scale up options-based exploration. To do so, we introduce a fully online deep RL algorithm for discovering Laplacian-based options and evaluate our approach on a variety of pixel-based tasks. We compare to several state-of-the-art exploration methods and show that our approach is effective, general, and especially promising in non-stationary settings.


title: Towards a semantic approach in GLAM Labs: the case of the Data Foundry at the National Library of Scotland

abstract: GLAM organisations have been exploring the benefits of publishing their digital collections in a wide variety of forms since the 2000s. Many institutions, and in particular libraries, have adopted the Semantic Web and Linked Data principles to their main catalogues. Recent advances in technology and innovative approaches concerning the reuse of the digital collections by means of computational access have paved the way for the creation of Labs within GLAM organisations. In this work, we present a framework to transform the datasets made available by GLAM organisations under open licenses into LOD. The framework has been applied to three metadata datasets made available by the Data Foundry at the National Library of Scotland. The results of this work are publicly available and can be applied to other domains such as digital humanities and data science.


title: Improving the crystallinity and texture of oblique-angle-deposited AlN thin films using reactive synchronized HiPIMS

abstract: Many technologies require highly-oriented and textured functional thin films. The most common synthe-sis approaches use on-axis sputter geometries. However, in some scenarios, on-axis sputtering is not feasible. During ionized physical vapor deposition (PVD), in contrast to conventional PVD, the film-forming species can be accelerated onto the growing film using substrate-bias potentials. This increas-es the ad-atom mobility, but also deflects the trajectory of ions towards the substrate increasing the texture of the growing film. However, potential gas-ion incorporation in the films limits the feasibility of such approaches for the deposition of defect-sensitive materials. In this work, we report on the oblique-angle deposition of highly c-axis oriented AlN (0002) films, enabled by reactive metal-ion syn-chronized HiPIMS. The effect of critical deposition parameters, such as the magnetic configuration, ion kinetic energies and substrate biasing are investigated. The films deposited using HiPIMS show a more pronounced texture and orientation compared to DCMS films. We find that combining the HiPIMS dep-ositions with a moderate substrate bias of -30 V is sufficient to improve the crystalline quality and tex-ture of the films significantly. To reduce process-gas incorporation, and the formation of point defects, the negative substrate-bias potential is synchronized to the Al-rich fraction of each HiPIMS pulse. This leads to reduced Ar-Ion incorporation and improves the structural properties. The films also show uni-form polarization of the grains making this synthesis route suitable for piezoelectric applications. While the compressive stress in the films is still high, the results demonstrate, that synchronized HiPIMS can yield promising results for the synthesis under oblique-angle deposition conditions - even with low substrate-bias potentials.


title: Linear congruence relations for exponents of Borcherds products

abstract: For all positive powers of primes $p\geq 5$, we prove the existence of infinitely many linear congruences between the exponents of twisted Borcherds products arising from a suitable scalar-valued weight $1/2$ weakly holomorphic modular form or a suitable vector-valued harmonic Maa{\ss} form. To this end, we work with the logarithmic derivatives of these twisted Borcherds products, and offer various numerical examples of non-trivial linear congruences between them modulo $p=11$. In the case of positive powers of primes $p=2,3$, we obtain similar results by multiplying the logarithmic derivative with a Hilbert class polynomial as well as a power of the modular discriminant function. Both results confirm a speculation by Ono.


title: A Safe Approximation Based on Mixed-Integer Optimization for Non-Convex Distributional Robustness Governed by Univariate Indicator Functions

abstract: In this work, we present algorithmically tractable safe approximations of distributionally robust optimization (DRO) problems. The considered ambiguity sets can exploit information on moments as well as confidence sets. Typically, reformulation approaches using duality theory need to make strong assumptions on the structure of the underlying constraints, such as convexity in the decisions or concavity in the uncertainty. In contrast, here we present a duality-based reformulation approach for DRO problems, where the objective of the adverserial is allowed to depend on univariate indicator functions. This renders the problem nonlinear and nonconvex. In order to be able to reformulate the semiinfinite constraints nevertheless, an exact reformulation is presented that is approximated by a discretized counterpart. The approximation is realized as a mixed-integer linear problem that yields sufficient conditions for distributional robustness of the original problem. Furthermore, it is proven that with increasingly fine discretizations, the discretized reformulation converges to the original distributionally robust problem. The approach is made concrete for a challenging, fundamental task in particle separation that appears in material design. Computational results for realistic settings show that the safe approximation yields robust solutions of high-quality and can be computed within short time.


title: Mean ergodic weighted shifts on K\"othe echelon spaces

abstract: Necessary and sufficient conditions are given for mean ergodicity, power boundedness, and topologizability for weighted backward shift and weighted forward shift operators, respectively, on K\"othe echelon spaces in terms of the weight sequence and the K\"othe matrix. These conditions are evaluated for the special case of power series spaces which allow for a characterization of said properties in many cases. In order to demonstrate the applicability of our conditions, we study the above properties for several classical operators on certain function spaces.


title: Smoothed Online Learning for Prediction in Piecewise Affine Systems

abstract: The problem of piecewise affine (PWA) regression and planning is of foundational importance to the study of online learning, control, and robotics, where it provides a theoretically and empirically tractable setting to study systems undergoing sharp changes in the dynamics. Unfortunately, due to the discontinuities that arise when crossing into different ``pieces,'' learning in general sequential settings is impossible and practical algorithms are forced to resort to heuristic approaches. This paper builds on the recently developed smoothed online learning framework and provides the first algorithms for prediction and simulation in PWA systems whose regret is polynomial in all relevant problem parameters under a weak smoothness assumption; moreover, our algorithms are efficient in the number of calls to an optimization oracle. We further apply our results to the problems of one-step prediction and multi-step simulation regret in piecewise affine dynamical systems, where the learner is tasked with simulating trajectories and regret is measured in terms of the Wasserstein distance between simulated and true data. Along the way, we develop several technical tools of more general interest.


title: On the Riemann-Hilbert approach to asymptotics of tronqu\'ee solutions of Painlev\'e I

abstract: In this paper, we revisit large variable asymptotic expansions of tronqu\'ee solutions of the Painlev\'e I equation, obtained via the Riemann-Hilbert approach and the method of steepest descent. The explicit construction of an extra local parametrix around the recessive stationary point of the phase function, in terms of complementary error functions, makes it possible to give detailed information about non-perturbative contributions beyond standard Poincar\'e expansions for tronqu\'ee and tritronqu\'ee solutions.


title: Improving Statistical Fidelity for Neural Image Compression with Implicit Local Likelihood Models

abstract: Lossy image compression aims to represent images in as few bits as possible while maintaining fidelity to the original. Theoretical results indicate that optimizing distortion metrics such as PSNR or MS-SSIM necessarily leads to a discrepancy in the statistics of original images from those of reconstructions, in particular at low bitrates, often manifested by the blurring of the compressed images. Previous work has leveraged adversarial discriminators to improve statistical fidelity. Yet these binary discriminators adopted from generative modeling tasks may not be ideal for image compression. In this paper, we introduce a non-binary discriminator that is conditioned on quantized local image representations obtained via VQ-VAE autoencoders. Our evaluations on the CLIC2020, DIV2K and Kodak datasets show that our discriminator is more effective for jointly optimizing distortion (e.g., PSNR) and statistical fidelity (e.g., FID) than the PatchGAN of the state-of-the-art HiFiC model. On CLIC2020, we obtain the same FID as HiFiC with 30-40\% fewer bits.


title: Intrinsic timing properties of ideal 3D-trench silicon sensor with fast front-end electronics

abstract: This paper describes the fundamental timing properties of a single-pixel sensor for charged particle detection based on the 3D-trench silicon structure. We derive the results both analytically and numerically by considering a simple ideal sensor and the corresponding fast front-end electronics in two different case scenarios: ideal integrator and real fast electronics (trans-impedance amplifier). The particular shape of the Time of Arrival (TOA) distribution is examined and the relation between the time resolution and the spread of intrinsic charge collection time is discussed, by varying electronics parameters and discrimination thresholds. The results are obtained with and without simulated electronics noise. We show that the 3D-trench sensors are characterized by a $synchronous~region$, i.e. a portion of the active volume which leads to the same TOA values when charged particles cross it. The synchronous region size is dependent on the front-end electronics and discrimination threshold, and the phenomenon represents an intrinsic physical effect that leads to the excellent time resolution of these sensors. Moreover, we show that the TOA distribution is characterized by an intrinsic asymmetry, due to the 3D geometry only, that becomes negligible in case of significant electronics jitter.


title: The Stability of Relativistic Fluids in Linearly Expanding Cosmologies

abstract: In this paper we study cosmological solutions to the Einstein--Euler equations. We first establish the future stability of nonlinear perturbations of a class of homogeneous solutions to the relativistic Euler equations on fixed linearly expanding cosmological spacetimes with a linear equation of state $p=K \rho$ for the parameter values $K \in (0,1/3)$. This removes the restriction to irrotational perturbations in earlier work, and relies on a novel transformation of the fluid variables that is well-adapted to Fuchsian methods. We then apply this new transformation to show the global regularity and stability of the Milne spacetime under the coupled Einstein--Euler equations, again with a linear equation of state $p=K \rho$, $K \in (0,1/3)$. Our proof requires a correction mechanism to account for the spatially curved geometry. In total, this is indicative that structure formation in cosmological fluid-filled spacetimes requires an epoch of decelerated expansion.


title: Certain Diophantine equations and new parity results for $21$-regular partitions

abstract: For a positive integer $t\geq 2$, let $b_{t}(n)$ denote the number of $t$-regular partitions of a nonnegative integer $n$. In a recent paper, Keith and Zanello investigated the parity of $b_{t}(n)$ when $t\leq 28$. They discovered new infinite families of Ramanujan type congruences modulo 2 for $b_{21}(n)$ involving every prime $p$ with $p\equiv 13, 17, 19, 23 \pmod{24}$. In this paper, we investigate the parity of $b_{21}(n)$ involving the primes $p$ with $p\equiv 1, 5, 7, 11 \pmod{24}$. We prove new infinite families of Ramanujan type congruences modulo 2 for $b_{21}(n)$ involving the odd primes $p$ for which the Diophantine equation $8x^2+27y^2=jp$ has primitive solutions for some $j\in\left\lbrace1,4,8\right\rbrace$, and we also prove that the Dirichlet density of such primes is equal to $1/6$. Recently, Yao provided new infinite families of congruences modulo $2$ for $b_{3}(n)$ and those congruences involve every prime $p\geq 5$ based on Newman's results. Following a similar approach, we prove new infinite families of congruences modulo $2$ for $b_{21}(n)$, and these congruences imply that $b_{21}(n)$ is odd infinitely often.


title: Linear and quadratic Chabauty for affine hyperbolic curves

abstract: We give sufficient conditions for finiteness of linear and quadratic refined Chabauty-Kim loci of affine hyperbolic curves. We achieve this by constructing depth $\leq 2$ quotients of the fundamental group, following a construction of Balakrishnan-Dogra in the projective case. We also apply Betts' machinery of weight filtrations to give unconditional explicit upper bounds on the number of S-integral points when our conditions are satisfied.


title: Chirality Reversing Active Brownian Motion in Two Dimensions

abstract: We study the dynamics of a chirality reversing active Brownian particle, which models the chirality reversing active motion common in many microorganisms and microswimmers. We show that, for such a motion, the presence of the two time-scales set by the chirality reversing rate $\gamma$ and rotational diffusion constant $D_R$ gives rise to four dynamical regimes, namely, (I) $t \ll \text{min}(\gamma^{-1}, D_R^{-1})$, (II) $\gamma^{-1} \ll t \ll D_R^{-1}$, (III) $D_R^{-1} \ll t \ll \gamma^{-1}$ and (IV) $t \gg \text{max}(\gamma^{-1}, D_R^{-1})$, each showing different behaviour. The short-time regime (I) is characterized by a strongly anisotropic and non-Gaussian position distribution, which crosses over to a diffusive Gaussian behaviour in the long-time regime (IV) via an intermediate regime (II) or (III), depending on the relative strength of $\gamma$ and $D_R$. In regime (II), the chirality reversing active Brownian motion reduces to that of an ordinary active Brownian particle, with an effective rotation diffusion coefficient which depends on the angular velocity. Finally, we find that, the regime (III) is characterized by an effective chiral active Brownian motion.


title: Augmented state estimation of urban settings using intrusive sequential Data Assimilation

abstract: A data-driven investigation of the flow around a high-rise building is performed combining heterogeneous experimental samples and RANS CFD. The coupling is performed using techniques based on the Ensemble Kalman Filter (EnKF), including advanced manipulations such as localization and inflation. The augmented state estimation obtained via EnKF has also been employed to improve the predictive features of the model via an optimization of the five free global model constant of the $\mathcal{K}-\varepsilon$ turbulence model used to close the equations. The optimized values are very far from the classical values prescribed as general recommendations and implemented in codes, but also different from other data-driven analyses reported in the literature. The results obtained with this new optimized parametric description show a global improvement for both the velocity field and the pressure field. In addition, some topological improvement for the flow organization are observed downstream, far from the location of the sensors.


title: The XXL Survey L. Active galactic nucleus contamination in galaxy clusters: Detection and cosmological impact

abstract: X-ray observations of galaxy clusters are impacted by the presence of active galactic nuclei (AGNs) in a manner that is challenging to quantify, leading to biases in the detection and measurement of cluster properties for both astrophysics and cosmological applications. We detect and characterise clusters contaminated by central AGNs within the XXL survey footprint and provide a systematic assessment of the cosmological impact of such systems in X-ray cluster samples. We introduce a new automated class for AGN-contaminated (AC) clusters in the XXL source detection pipeline. The majority of these systems are otherwise missed by current X-ray cluster-detection methods. The AC selection is also effective in distinguishing AGN and cool-core presence using supplementary optical and infrared information. We present 33 AC objects, including 25 clusters in the redshift range, $0.14 \leq z \leq 1.03$, and eight other sources with significantly peaked central profiles. Six of these are new confirmed clusters. We computed the missed fraction of the XXL survey, which is defined as the fraction of genuine clusters that are undetected due to their centrally peaked X-ray profiles. We report seven undetected AC clusters above $z > 0.6$, in the range where X-ray cluster detection efficiency drops significantly. The missed fraction is estimated to be at the level of $5\%$ for the 50 square-degree XXL area. The impact on cosmological estimates from missed clusters is negligible for XXL, but it produces a tension of $\sim 3\sigma$ with the fiducial cosmology when considering larger survey areas. Looking towards surveys such as eROSITA and \textit{Athena}, larger areas and increased sensitivity will significantly enhance cluster detection, and therefore robust methods for characterising AGN contamination will be crucial for precise cluster cosmology, particularly in the redshift $z > 1$ regime.


title: Causal Graph Discovery from Self and Mutually Exciting Time Series

abstract: We present a generalized linear structural causal model, coupled with a novel data-adaptive linear regularization, to recover causal directed acyclic graphs (DAGs) from time series. By leveraging a recently developed stochastic monotone Variational Inequality (VI) formulation, we cast the causal discovery problem as a general convex optimization. Furthermore, we develop a non-asymptotic recovery guarantee and quantifiable uncertainty by solving a linear program to establish confidence intervals for a wide range of non-linear monotone link functions. We validate our theoretical results and show the competitive performance of our method via extensive numerical experiments. Most importantly, we demonstrate the effectiveness of our approach in recovering highly interpretable causal DAGs over Sepsis Associated Derangements (SADs) while achieving comparable prediction performance to powerful ``black-box'' models such as XGBoost. Thus, the future adoption of our proposed method to conduct continuous surveillance of high-risk patients by clinicians is much more likely.


title: I-24 MOTION: An instrument for freeway traffic science

abstract: The Interstate-24 MObility Technology Interstate Observation Network (I-24 MOTION) is a new instrument for traffic science located near Nashville, Tennessee. I-24 MOTION consists of 276 pole-mounted high-resolution traffic cameras that provide seamless coverage of approximately 4.2 miles I-24, a 4-5 lane (each direction) freeway with frequently observed congestion. The cameras are connected via fiber optic network to a compute facility where vehicle trajectories are extracted from the video imagery using computer vision techniques. Approximately 230 million vehicle miles of travel occur within I-24 MOTION annually. The main output of the instrument are vehicle trajectory datasets that contain the position of each vehicle on the freeway, as well as other supplementary information vehicle dimensions and class. This article describes the design and creation of the instrument, and provides the first publicly available datasets generated from the instrument. The datasets published with this article contains at least 4 hours of vehicle trajectory data for each of 10 days. As the system continues to mature, all trajectory data will be made publicly available at i24motion.org/data.


title: First measurement of the $^{94}$Nb($n$,$\gamma$) cross section at the CERN n\_TOF facility

abstract: One of the crucial ingredients for the improvement of stellar models is the accurate knowledge of neutron capture cross-sections for the different isotopes involved in the $s$-,$r$- and $i$- processes. These measurements can shed light on existing discrepancies between observed and predicted isotopic abundances and help to constrain the physical conditions where these reactions take place along different stages of stellar evolution.In the particular case of the radioactive $^{94}$Nb, the $^{94}$Nb($n$,$\gamma$) cross-section could play a role in the determination of the $s$-process production of $^{94}$Mo in AGB stars, which presently cannot be reproduced by state-of-the-art stellar models. There are no previous $^{94}$Nb($n$,$\gamma$) experimental data for the resolved and unresolved resonance regions mainly due to the difficulties in producing high-quality samples and also due to limitations in conventional detection systems commonly used in time-of-flight experiments.Motivated by this situation, a first measurement of the $^{94}$Nb($n$,$\gamma$) reaction was carried out at CERN n\_TOF, thereby exploiting the high luminosity of the EAR2 area in combination with a new detection system of small-volume C6D6-detectors and a high quality $^{94}$Nb-sample. The latter was based on hyper-pure $^{93}$Nb material activated at the high-flux reactor of ILL-Grenoble. An innovative ring-configuration detection system in close geometry around the capture sample allowed us to significantly enhance the signal-to-background ratio. This set-up was supplemented with two conventional C$_{6}$D$_{6}$ detectors and a high-resolution LaCl$_{3}$(Ce)-detector, which will be employed for addressing reliably systematic effects and uncertainties.At the current status of the data analysis, 18 resonance in $^{94}$Nb+$n$ have been observed for the first time in the neutron energy range from thermal up to 10 keV.


title: On the Downlink SINR Meta Distribution of UAV-assisted Wireless Networks

abstract: The meta distribution of the signal-to-interference-plus-noise ratio (SINR) provides fine-grained information about each link's performance in a wireless system and the reliability of the whole network. While the UAV-enabled network has been studied extensively, most of the works focus on the spatial average performance, such as coverage probability, while SINR meta distribution has received less attention. In this paper, we use the SINR meta distribution for the first time to systematically analyze the improvement and the influence of deploying UAVs on the reliability of a wireless network. We first derive the $b$-th moments of the conditional success probability of the UAV-enabled network and give the approximated expressions derived by Gil-Pelaez theorem and the beta approximation of the meta distribution. Our numerical results show that deploying UAVs in wireless networks in most cases can greatly improve the system reliability, which denotes the fraction of users achieving cellular coverage, especially for the spatially-clustered users. In addition, establishing LoS links is not always beneficial since it also increases the interference. For instance, with the increase of the SINR threshold, the system reliability of a high LoS probability environment decreases dramatically and it is even lower than a low LoS probability environment. We also show that in highrise urban areas, UAVs can help in establishing extremely reliable (very high SINR) links.


title: Relative-Interior Solution for (Incomplete) Linear Assignment Problem with Applications to Quadratic Assignment Problem

abstract: We study the set of optimal solutions of the dual linear programming formulation of the linear assignment problem (LAP) to propose a method for computing a solution from the relative interior of this set. Assuming that an arbitrary dual-optimal solution and an optimal assignment are available (for which many efficient algorithms already exist), our method computes a relative-interior solution in linear time. Since LAP occurs as a subproblem in the linear programming relaxation of quadratic assignment problem (QAP), we employ our method as a new component in the family of dual-ascent algorithms that provide bounds on the optimal value of QAP. To make our results applicable to incomplete QAP, which is of interest in practical use-cases, we also provide a linear-time reduction from incomplete LAP to complete LAP along with a mapping that preserves optimality and membership in the relative interior. Our experiments on publicly available benchmarks indicate that our approach with relative-interior solution is frequently capable of providing superior bounds and otherwise is at least comparable.


title: Representation and Conservation of Angular Momentum in the Born-Oppenheimer Theory of Polyatomic Molecules

abstract: This paper concerns the representation of angular momentum operators in the Born-Oppenheimer theory of polyatomic molecules and the various forms of the associated conservation laws. Topics addressed include the question of whether these conservation laws are exactly equivalent or only to some order of the Born-Oppenheimer parameter $\kappa=(m/M)^{1/4}$, and what the correlation is between angular momentum quantum numbers in the various representations. These questions are addressed both in problems involving a single potential energy surface, and those with multiple, strongly coupled surfaces; and both in the electrostatic model and those for which fine structure and electron spin are important. The analysis leads to an examination of the transformation laws under rotations of the electronic Hamiltonian; of the basis states, both adiabatic and diabatic, along with their phase conventions; of the potential energy matrix; and of the derivative couplings. These transformation laws are placed in the geometrical context of the structures in the nuclear configuration space that are induced by rotations, which include the rotational orbits or fibers, the surfaces upon which the orientation of the molecule changes but not its shape; and the section, an initial value surface that cuts transversally through the fibers. Finally, it is suggested that the usual Born-Oppenheimer approximation can be replaced by a dressing transformation, that is, a sequence of unitary transformations that block-diagonalize the Hamiltonian. When the dressing transformation is carried out, we find that the angular momentum operator does not change. This is a part of a system of exact equivalences among various representations of angular momentum operators in Born-Oppenheimer theory...


title: Tensor Gaussian Process with Contraction for Multi-Channel Imaging Analysis

abstract: Multi-channel imaging data is a prevalent data format in scientific fields such as astronomy and biology. The structured information and the high dimensionality of these 3-D tensor data makes the analysis an intriguing but challenging topic for statisticians and practitioners. The low-rank scalar-on-tensor regression model, in particular, has received widespread attention and has been re-formulated as a tensor Gaussian Process (Tensor-GP) model with multi-linear kernel in Yu et al.(2018). In this paper, we extend the Tensor-GP model by introducing an integrative dimensionality reduction technique, called tensor contraction, with a Tensor-GP for a scalar-on-tensor regression task with multi-channel imaging data. This is motivated by the solar flare forecasting problem with high dimensional multi-channel imaging data. We first estimate a latent, reduced-size tensor for each data tensor and then apply a multi-linear Tensor-GP on the latent tensor data for prediction. We introduce an anisotropic total-variation regularization when conducting the tensor contraction to obtain a sparse and smooth latent tensor. We then propose an alternating proximal gradient descent algorithm for estimation. We validate our approach via extensive simulation studies and applying it to the solar flare forecasting problem.


title: Cosmological models in scale-independent energy-momentum squared gravity

abstract: Scale-independent EMSG is a particular model of energy-momentum squared gravity (EMSG) in which the new terms in the Einstein field equations arising from the EMSG theory enter with the same power as the usual terms from Einstein-Hilbert part of the action. However, the model violates the local energy-momentum conservation and matter-current conservation in general and hence, permits a process of matter creation/annihilation in an expanding universe. Consequently, the scale factor dependencies of the energy densities are modified by the dimensionless model parameter $\alpha$. We revisit some nostalgias such as static universes and de Sitter/steady state universes. We reproduce the original ones, moreover, present some novelties, e.g., a spatially flat static universe, de Sitter expansion by negative vacuum energy, steady state universes in the presence of arbitrary fluids with constant equation of state (EoS) parameter other than dust, etc. We also investigate the possible dynamics of dust dominated and radiation dominated universes. Depending on the value of $\alpha$, dust/radiation dominated universe exhibits power-law accelerated/decelerated expansion, corresponds to a steady state model or may end in a big rip. In the framework of anisotropic cosmology, we reproduce Barrow's quiescent universe in the presence of stiff fluid and extend it to fluids with arbitrary constant EoS parameter. We also relax the condition for isotropic initial singularity (big bang) owing to that EMSG effectively allows ultra-stiff EoS parameters.


title: Deterministic Massively Parallel Symmetry Breaking for Sparse Graphs

abstract: We consider the problem of designing deterministic graph algorithms for the model of Massively Parallel Computation (MPC) that improve with the sparsity of the input graph, as measured by the notion of arboricity. For the problems of maximal independent set (MIS), maximal matching (MM), and vertex coloring, we improve the state of the art as follows. Let $\lambda$ denote the arboricity of the $n$-node input graph with maximum degree $\Delta$. MIS and MM: We develop a deterministic low-space MPC algorithm that reduces the maximum degree to $poly(\lambda)$ in $O(\log \log n)$ rounds, improving and simplifying the randomized $O(\log \log n)$-round $poly(\max(\lambda, \log n))$-degree reduction of Ghaffari, Grunau, Jin [DISC'20]. Our approach when combined with the state-of-the-art $O(\log \Delta + \log \log n)$-round algorithm by Czumaj, Davies, Parter [SPAA'20, TALG'21] leads to an improved deterministic round complexity of $O(\log \lambda + \log \log n)$ for MIS and MM in low-space MPC. We also extend above MIS and MM algorithms to work with linear global memory. Specifically, we show that both problems can be solved in deterministic time $O(\min(\log n, \log \lambda \cdot \log \log n))$, and even in $O(\log \log n)$ time for graphs with arboricity at most $\log^{O(1)} \log n$. In this setting, only a $O(\log^2 \log n)$-running time bound for trees was known due to Latypov and Uitto [ArXiv'21]. Vertex Coloring: We present a $O(1)$-round deterministic algorithm for the problem of $O(\lambda)$-coloring in linear-memory MPC with relaxed global memory of $n \cdot poly(\lambda)$ that solves the problem after just one single graph partitioning step. This matches the state-of-the-art randomized round complexity by Ghaffari and Sayyadi [ICALP'19] and improves upon the deterministic $O(\lambda^{\epsilon})$-round algorithm by Barenboim and Khazanov [CSR'18].


title: Simplifying the axiomatization for the ordered affine geometry via a theorem prover

abstract: Based on an ordering with directed lines and using constructions instead of existential axioms, von Plato proposed a constructive axiomatization of the ordered affine geometry. There are 22 axioms for the ordered affine geometry, of which the axiom I.7 is about the convergence of three lines (ignoring their directions). In this paper, we indicate that the axiom I.7 includes much redundancy, and demonstrate that the complicated axiom I.7 can be replaced equivalently with a simpler and more intuitive new axiom via a theorem prover.


title: Inflation targeting strategy and its credibility

abstract: The money supply is endogenous if the monetary policy strategy is the so called Inflation and Interest Rate Targeting, IRT. With that and perfect credibility, the theory of the price level and inflation only needs the Fisher equation, but it interprets causality in a new sense: if the monetary authority raises the policy rate, it will raise the inflation target, and vice versa, given the natural interest rate. If credibility is not perfect or if expectations are not completely rational, the theory needs something more. Here I present a model corresponding to this theory that includes both the steady state case and the recovery dynamics after a supply shock, with and without policy reactions to such a shock. But, under the finite horizon assumption for IRT, at some future point in time the money supply must become exogenous. This creates the incentive for agents to examine, as of today, statistics on monetary aggregates and form their forecasts of money supply growth and inflation rates. Additionally, inflation models of the small open economy allow us to deduce that the IRT in this case is much more powerful than otherwise, and for the same degree of credibility. But things are not necessarily easier for the monetary authority: it must monitor not only internal indicators, but also external inflation and its determinants, and it must, in certain circumstances, make more intense adjustments to the interest rate.


title: Cost-benefit Analysis And Comparisons For Different Offshore Wind Energy Transmission Systems

abstract: This paper investigates how to efficiently and economically deliver offshore energy generated by offshore wind turbines to onshore. Both power cables and hydrogen energy facilities are analyzed. Each method is examined with the associated proposed optimal sizing model. A cost-benefit analysis is conducted, and these methods are compared under different scenarios. Three long-distance energy transmission methods are proposed to transmit offshore energy onshore, considering the capital/operation costs for related energy conversion and transmission facilities. The first method that deploys power cables only is a benchmark method. The other two methods utilize a hydrogen supercenter (HSC) and transmit offshore energy to and onshore substation through hydrogen pipelines. For the second method, electrolyzers are placed at offshore wind farms connected to HSC with low-pressure hydrogen pipelines. For the third method, offshore wind power is distributed to the HSC and then converted into hydrogen using electrolyzers placed at the HSC. An offshore scenario including three wind farms located in the Gulf of Mexico and one onshore substation is used as the base test case. Numerical simulations are conducted over a planning period of 30 years using the proposed optimization models for each method separately. Simulation results show that the proposed hydrogen-based methods can effectively transmit offshore energy to the onshore substation. The distances between the wind farms can influence the selection and configuration of the offshore wind energy system. Moreover, the proposed study analyzes the cost and benefits for various systems with different energy carriers. It can also suggest which method could be the best candidate for offshore energy delivery system under which scenario and demonstrate a promising future for offshore wind power generation.


title: A Bound for Stieltjes Constants

abstract: The goal of this note is to improve on the currently available bounds for Stieltjes constants using the method of steepest descent applied by Coffey and Knessl to approximate Stieltjes constants.


title: Coherent Organizational States in Turbulent Pipe Flow at moderate Reynolds numbers

abstract: Turbulent pipe flow is still an essentially open area of research, boosted in the last two decades by considerable progress achieved both on the experimental and numerical frontiers, mainly related to the identification and characterization of coherent structures as basic building blocks of turbulence. It has been a challenging task, however, to detect and visualize these coherent states. We address, by means of stereoscopic particle image velocimetry, that issue with the help of a large diameter (6 inches) pipe loop, which allowed us to probe for coherent states at various moderate Reynolds numbers (5300 < Re < 29000)). Although these states have been observed at flow regimes around laminar-turbulent transition (Re $\approx$ 2300) and also at high Reynolds number pipe flow (Re $\approx$ 35000), at moderate Reynolds numbers their existence had not been observed yet by experiment. By conditionally averaging the flow fields with respect to their dominant azimuthal wavenumber of streamwise velocity streaks, we have been able to uncover the existence of ten well-defined coherent flow patterns. It turns out, as a remarkable phenomenon, that their occurrence probabilities and the total number of dominant modes do not essentially change as the Reynolds number is varied. Their occurrence probabilities are noted to be reasonably well described by a Poisson distribution, which suggests that low-speed streaks are created as a Poisson process on the pipe circular geometry.


title: Electrons trapped in graphene magnetic quantum dots with mass term

abstract: Owing to the Klein tunneling phenomenon, the permanent confinement or localization of electrons within a graphene quantum dot is unattainable. Nonetheless, a constant magnetic field can transiently ensnare an electron within the quantum dot, giving rise to what are known as quasi-bound states characterized by finite lifetimes. To prolong the retention of electrons within the quantum dot, we introduce a mass term into the Hamiltonian, thereby inducing an energy gap. We resolve the Dirac equation to ascertain the eigenspinors, and by ensuring their continuity at the boundaries, we investigate the scattering behavior. Our findings indicate that the presence of an energy gap can extend the lifetimes of these quasi-bound states within the quantum dot. In particular, we demonstrate that even in the absence of a magnetic field, the scattering efficiency attains significant levels when the energy gap gets closed to the incident energy of an electron traversing the quantum dot. It is found that an augmentation in the electron density within the quantum dot results in an enhancement of the electron-trapping time.


title: Efficient low-energy single-electron detection using a large-area superconducting microstrip

abstract: Superconducting strip single-photon detectors (SSPDs) are excellent tools not only for single-photon detection but also for single-particle detection owing to their high detection efficiency, low dark counts, and low time jitter. Although the detection of various particles, including electrons with keV-scale energy, has been reported so far, there have been no studies for detecting low-energy electrons. It has yet to be clarified how low-energy electrons interact with electrons and/or phonons in a superconductor during electron detection. Here we report the detection property of a superconducting micro-strip single-electron detector (SSED) for electrons with energy below 200 eV. The detection efficiency is estimated as at least 37 % when electrons impinging on the stripline possess an energy of 200 eV. We also show that the minimum detectable energy of electrons is about 10 eV with our SSED, much lower than those of ions, which implies that the electron-electron interaction plays a significant role. SSEDs might open a wide range of applications, from condensed matter physics to quantum information science, because of their compatibility with the cryogenic environment.


title: Surface acoustic wave resonators on thin film piezoelectric substrates in the quantum regime

abstract: Lithium niobate (LNO) is a well established material for surface acoustic wave (SAW) devices including resonators, delay lines and filters. Recently, multi-layer substrates based on LNO thin films have become commercially available. Here, we present a systematic low-temperature study of the performance of SAW devices fabricated on LNO-on-insulator and LNO-on-Silicon substrates and compare them to bulk LNO devices. Our study aims at assessing the performance of these substrates for quantum acoustics, i.e. the integration with superconducting circuits operating in the quantum regime. To this end, we design SAW resonators with a target frequency of 5 GHz and perform experiments at millikelvin temperatures and microwave power levels corresponding to single photons or phonons. The devices are investigated regarding their internal quality factors as a function of the excitation power and temperature, which allows us to characterize and quantify losses and identify the dominating loss mechanism. For the measured devices, fitting the experimental data shows that the quality factors are limited by the coupling of the resonator to a bath of two-level-systems. Our results suggest that SAW devices on thin film LNO on silicon have comparable performance to devices on bulk LNO and are viable for use in SAW-based quantum acoustic devices.


title: Returning The Favour: When Regression Benefits From Probabilistic Causal Knowledge

abstract: A directed acyclic graph (DAG) provides valuable prior knowledge that is often discarded in regression tasks in machine learning. We show that the independences arising from the presence of collider structures in DAGs provide meaningful inductive biases, which constrain the regression hypothesis space and improve predictive performance. We introduce collider regression, a framework to incorporate probabilistic causal knowledge from a collider in a regression problem. When the hypothesis space is a reproducing kernel Hilbert space, we prove a strictly positive generalisation benefit under mild assumptions and provide closed-form estimators of the empirical risk minimiser. Experiments on synthetic and climate model data demonstrate performance gains of the proposed methodology.


title: Optimisation of Power Grid Stability Under Uncertainty

abstract: The increased integration of intermittent and decentralised forms of power production has eroded the stability margins of power grids and made it more challenging to ensure reliable and secure power transmission. Reliable grid operation requires system-scale stability in response to perturbations in supply or load; previous studies have shown that this can be achieved by tuning the effective damping parameters of the generators in the grid. In this paper, we present and analyse the problem of tuning damping parameters when there is some uncertainty in the underlying system. We show that sophisticated methods that assume no uncertainty can yield results that are less robust than those produced by simpler methods. We define a quantile-based metric of stability that ensures that power grids remain stable even as worst-case scenarios are approached, and we develop optimisation methods for tuning damping parameters to achieve this stability. By comparing optimisation methods that rely on different assumptions, we suggest efficient heuristics for finding parameters that achieve highly stable and robust grids.


title: Existence of weak solution for a compressible multicomponent fluid structure interaction problem

abstract: We analyze a system of PDEs governing the interaction between two compressible mutually noninteracting fluids and a shell of Koiter type encompassing a time dependent 3D domain filled by the fluids. The dynamics of the fluids is modelled by a system resembilng compressible Navier-Stokes equations with a physically realistic pressure depending on densities of both the fluids. In fact in the present article the dependence of the fluid pressure on the densities is analogous to the ones considered in \cite{NovoPoko} (where the authors deal with a bi-fluid system in a time independent smooth domain). The shell constitutes the boundary of the fluid domain and it possesses a non-linear, non-convex Koiter energy (of a quite general form). We are interested in the existence of a weak solution to the system until the time-dependent boundary approaches a self-intersection or the Koiter energy degenerates. We first prove a global existence result when the adiabatic exponents solve $\max\{\gamma, \beta\}>2$ and $\min\{\gamma,\beta\}>0,$ further the densities are comparable and the structure involved is non-dissipative. Next with the assumption that the structure is dissipative we extend our global existence result to the critical case $\max\{\gamma,\beta\}\geq 2$ and $\min\{\gamma,\beta\}>0.$ The result is achieved in several steps involving, extension of the physical domain, penalization of the interface condition, artificial regularization of the shell energy, added structural dissipation and suitable limit passages depending on uniform estimates. In order to deal with the bi-fluid system we generalize the almost compactness argument developed in \cite{NovoPoko, Vasseur} to the case of time dependent domains with uniform H\"{o}lder continuous boundaries. Moreover, the proof of such a compactness result depends on the existence of renormalized continuity equation in time dependent domains.


title: An eXtended Reality Offloading IP Traffic Dataset and Models

abstract: In recent years, advances in immersive multimedia technologies, such as extended reality (XR) technologies, have led to more realistic and user-friendly devices. However, these devices are often bulky and uncomfortable, still requiring tether connectivity for demanding applications. The deployment of the fifth generation of telecommunications technologies (5G) has set the basis for XR offloading solutions with the goal of enabling lighter and fully wearable XR devices. In this paper, we present a traffic dataset for two demanding XR offloading scenarios that are complementary to those available in the current state of the art, captured using a fully developed end-to-end XR offloading solution. We also propose a set of accurate traffic models for the proposed scenarios based on the captured data, accompanied by a simple and consistent method to generate synthetic data from the fitted models. Finally, using an open-source 5G radio access network (RAN) emulator, we validate the models both at the application and resource allocation layers. Overall, this work aims to provide a valuable contribution to the field with data and tools for designing, testing, improving, and extending XR offloading solutions in academia and industry.


title: Time-consistency in the mean-variance problem: A new perspective

abstract: We investigate discrete-time mean-variance portfolio selection problems viewed as a Markov decision process. We transform the problems into a new model with deterministic transition function for which the Bellman optimality equation holds. In this way, we can solve the problem recursively and obtain a time-consistent solution, that is an optimal solution that meets the Bellman optimality principle. We apply our technique for solving explicitly a more general framework.


title: Characterizing the Entities in Harmful Memes: Who is the Hero, the Villain, the Victim?

abstract: Memes can sway people's opinions over social media as they combine visual and textual information in an easy-to-consume manner. Since memes instantly turn viral, it becomes crucial to infer their intent and potentially associated harmfulness to take timely measures as needed. A common problem associated with meme comprehension lies in detecting the entities referenced and characterizing the role of each of these entities. Here, we aim to understand whether the meme glorifies, vilifies, or victimizes each entity it refers to. To this end, we address the task of role identification of entities in harmful memes, i.e., detecting who is the 'hero', the 'villain', and the 'victim' in the meme, if any. We utilize HVVMemes - a memes dataset on US Politics and Covid-19 memes, released recently as part of the CONSTRAINT@ACL-2022 shared-task. It contains memes, entities referenced, and their associated roles: hero, villain, victim, and other. We further design VECTOR (Visual-semantic role dEteCToR), a robust multi-modal framework for the task, which integrates entity-based contextual information in the multi-modal representation and compare it to several standard unimodal (text-only or image-only) or multi-modal (image+text) models. Our experimental results show that our proposed model achieves an improvement of 4% over the best baseline and 1% over the best competing stand-alone submission from the shared-task. Besides divulging an extensive experimental setup with comparative analyses, we finally highlight the challenges encountered in addressing the complex task of semantic role labeling within memes.


title: User-Customizable Transpilation of Scripting Languages

abstract: A transpiler converts code from one programming language to another. Many practical uses of transpilers require the user to be able to guide or customize the program produced from a given input program. This customizability is important for satisfying many application-specific goals for the produced code such as ensuring performance, readability, maintainability, compatibility, and so on. Conventional transpilers are deterministic rule-driven systems often written without offering customizability per user and per program. Recent advances in transpilers based on neural networks offer some customizability to users, e.g. through interactive prompts, but they are still difficult to precisely control the production of a desired output. Both conventional and neural transpilation also suffer from the "last mile" problem: they produce correct code on average, i.e., on most parts of a given program, but not necessarily for all parts of it. We propose a new transpilation approach that offers fine-grained customizability and reusability of transpilation rules created by others, without burdening the user to understand the global semantics of the given source program. Our approach is mostly automatic and incremental, i.e., constructs translation rules needed to transpile the given program as per the user's guidance piece-by-piece. We implement the transpiler as a tool called DuoGlot, which translates Python to Javascript programs, and evaluate it on the popular GeeksForGeeks benchmarks. DuoGlot achieves 90% translation accuracy and so it outperforms all existing translators, while it produces readable code. We evaluate DuoGlot on two additional benchmarks, containing more challenging and longer programs, and similarly observe improved accuracy.


title: Noether-Constrained Correlations in Equilibrium Liquids

abstract: Liquid structure carries deep imprints of an inherent thermal invariance against a spatial transformation of the underlying classical many-body Hamiltonian. At first order in the transformation field the Noether theorem yields the local force balance. Three distinct two-body correlation functions emerge at second order, namely the standard two-body density, the localized force-force correlation function, and the localized force gradient. An exact Noether sum rule interrelates these correlators. Simulations of Lennard-Jones, Yukawa, soft-sphere dipolar, Stockmayer, Gay-Berne and Weeks-Chandler-Andersen liquids, of monatomic water and of a colloidal gel former demonstrate their fundamental role in the characterization of spatial structure.


title: Combinatorial relations among relations for level 2 standard $C_{n}\sp{(1)}$-modules

abstract: For an affine Lie algebra $\hat{\mathfrak g}$ the coefficients of certain vertex operators which annihilate level $k$ standard $\hat{\mathfrak g}$-modules are the defining relations for level $k$ standard modules. In this paper we study a combinatorial structure of the leading terms of these relations for level $k=2$ standard $\hat{\mathfrak g}$-modules for affine Lie algebras of type $C_{n}\sp{(1)}$ and the main result is a construction of combinatorially parameterized relations among the coefficients of annihilating fields. It is believed that the constructed relations among relations will play a key role in a construction of Groebner-like basis of the maximal ideal of the universal vertex operator algebra $V^ k_{\mathfrak g}$ for $k=2$.


title: CitationSum: Citation-aware Graph Contrastive Learning for Scientific Paper Summarization

abstract: Citation graphs can be helpful in generating high-quality summaries of scientific papers, where references of a scientific paper and their correlations can provide additional knowledge for contextualising its background and main contributions. Despite the promising contributions of citation graphs, it is still challenging to incorporate them into summarization tasks. This is due to the difficulty of accurately identifying and leveraging relevant content in references for a source paper, as well as capturing their correlations of different intensities. Existing methods either ignore references or utilize only abstracts indiscriminately from them, failing to tackle the challenge mentioned above. To fill that gap, we propose a novel citation-aware scientific paper summarization framework based on citation graphs, able to accurately locate and incorporate the salient contents from references, as well as capture varying relevance between source papers and their references. Specifically, we first build a domain-specific dataset PubMedCite with about 192K biomedical scientific papers and a large citation graph preserving 917K citation relationships between them. It is characterized by preserving the salient contents extracted from full texts of references, and the weighted correlation between the salient contents of references and the source paper. Based on it, we design a self-supervised citation-aware summarization framework (CitationSum) with graph contrastive learning, which boosts the summarization generation by efficiently fusing the salient information in references with source paper contents under the guidance of their correlations. Experimental results show that our model outperforms the state-of-the-art methods, due to efficiently leveraging the information of references and citation correlations.


title: Cohomological properties of absolute Galois groups and their profinite completion

abstract: We prove that several properties of absolute Galois groups are preserved under a profinite completion.


title: A fuzzy logic-based stabilization system for a flying robot, with an embedded energy harvester and a visual decision-making system

abstract: "Smart cities" is the trendy rubric of modern urban projects that require new innovative ideas to attain the desired perfection in many fields to change our life for the better. In this context, a new innovative application will be presented here to investigate and continuously make the required maintenance of public roads by creating a flying robot for painting the partially erased parts of sidewalks' edges that are usually plated in two different colors; primarily black and white as we suppose here. The first contribution of this paper is developing a fuzzy-logic-based stabilization system for an octocopter serving as a liquids transporter that could be equipped with a robot arm. The second contribution consists of designing an embedded energy harvester for the flying robot to promote the management of available power sources. Finally, as suggested in this project, we present a complement heuristic study clarifying some main concepts that rely on a computer vision-based decision-making system.


title: Community Detection in Large Hypergraphs

abstract: Hypergraphs, describing networks where interactions take place among any number of units, are a natural tool to model many real-world social and biological systems. In this work we propose a principled framework to model the organization of higher-order data. Our approach recovers community structure with accuracy exceeding that of currently available state-of-the-art algorithms, as tested in synthetic benchmarks with both hard and overlapping ground-truth partitions. Our model is flexible and allows capturing both assortative and disassortative community structures. Moreover, our method scales orders of magnitude faster than competing algorithms, making it suitable for the analysis of very large hypergraphs, containing millions of nodes and interactions among thousands of nodes. Our work constitutes a practical and general tool for hypergraph analysis, broadening our understanding of the organization of real-world higher-order systems.


title: Massive ambitwistor-strings; twistorial models

abstract: Ambitwistor-strings are chiral strings whose targets are spaces of complex massless particles, and whose correlation functions directly lead to simple, compact formulae for scattering amplitudes and loop integrands for massless gauge and gravity theories. This article extends this framework to worldsheet models for massive particles in 4d, obtained via a symmetry reduction of a higher dimensional massless model. The target space of the resulting models turns out to be the phase space of 4d massive particles in a twistorial representation, and so the worldsheet theory agrees with the two-twistor string previously introduced by the authors. However, the paper has been written so as to be largely self-contained. We discuss two interesting classes of massive theories in detail. For gauge theories, the reduction procedure is explicitly adapted to supersymmetric gauge theories on the Coulomb branch. For supergravity theories, the reduction is adapted to give theories obtained via Cremmer, Scherk and Schwartz (CSS) reduction, with broken supersymmetry and massive multiplets. The reduction procedure gives explicit and systematic rules to obtain amplitudes for all these theories and their amplitudes from two compact master formulae that have their origins in 6d based on the polarized scattering equations; in the CSS case the formulae are new, and in both cases their derivation is systematic. The freedom to include mass allows the definition of a loop insertion operator, thereby extending the formulae to 1-loop. Unlike the massless 4d twistorial models, these all display a perfect double copy structure, here incorporating massive particles in the relationship between gauge theory and CSS supergravity amplitudes.


title: Unbalanced Regularized Optimal Mass Transport with Applications to Fluid Flows in the Brain

abstract: As a generalization of the optimal mass transport (OMT) approach of Benamou and Brenier's, the regularized optimal mass transport (rOMT) formulates a transport problem from an initial mass configuration to another with the optimality defined by the total kinetic energy, but subject to an advection-diffusion constraint equation. Both rOMT and the Benamou and Brenier's formulation require the total initial and final masses to be equal; mass is preserved during the entire transport process. However, for many applications, e.g., in dynamic image tracking, this constraint is rarely if ever satisfied. Therefore, we propose to employ an unbalanced version of rOMT to remove this constraint together with a detailed numerical solution procedure and applications to analyzing fluid flows in the brain.


title: AutoHyper: Explicit-State Model Checking for HyperLTL

abstract: HyperLTL is a temporal logic that can express hyperproperties, i.e., properties that relate multiple execution traces of a system. Such properties are becoming increasingly important and naturally occur, e.g., in information-flow control, robustness, mutation testing, path planning, and causality checking. Thus far, complete model checking tools for HyperLTL have been limited to alternation-free formulas, i.e., formulas that use only universal or only existential trace quantification. Properties involving quantifier alternations could only be handled in an incomplete way, i.e., the verification might fail even though the property holds. In this paper, we present AutoHyper, an explicit-state automata-based model checker that supports full HyperLTL and is complete for properties with arbitrary quantifier alternations. We show that language inclusion checks can be integrated into HyperLTL verification, which allows AutoHyper to benefit from a range of existing inclusion-checking tools. We evaluate AutoHyper on a broad set of benchmarks drawn from different areas in the literature and compare it with existing (incomplete) methods for HyperLTL verification.


title: The structure of the v_2-local algebraic tmf resolution

abstract: We give a complete description of the E_1-term of the v_2-local as well as g-local algebraic tmf resolution.


title: The multifaceted nature of uncertainty in structure-property linkage with crystal plasticity finite element model

abstract: Uncertainty quantification (UQ) plays a critical role in verifying and validating forward integrated computational materials engineering (ICME) models. Among numerous ICME models, the crystal plasticity finite element method (CPFEM) is a powerful tool that enables one to assess microstructure-sensitive behaviors and thus, bridge material structure to performance. Nevertheless, given its nature of constitutive model form and the randomness of microstructures, CPFEM is exposed to both aleatory uncertainty (microstructural variability), as well as epistemic uncertainty (parametric and model-form error). Therefore, the observations are often corrupted by the microstructure-induced uncertainty, as well as the ICME approximation and numerical errors. In this work, we highlight several ongoing research topics in UQ, optimization, and machine learning applications for CPFEM to efficiently solve forward and inverse problems.


title: The nilpotent quotients of normal quasi-projective varieties with proper quasi-Albanese map

abstract: We show that if $X$ is a normal complex quasi-projective variety, the quasi-Albanese map of which is proper, then the torsionfree nilpotent quotients of $\pi_1(X)$ are, up to a controlled finite index, the same ones as those of the normalisation of its quasi-Albanese image. When $X$ is quasi-K\"ahler smooth, we get the same conclusion, but only for the smooth models of the quasi-Albanese image. In this second case, the proof is elementary, as the one given in [Cam95] for $X$ compact. In the normal quasi-projective case, the \'etale Galois cover of $X$ associated to the nilpotent completion of $\pi_1(X)$ is thus holomorphically convex. This is proved in the smooth case by $3$ other methods in [GGK22], which motivated the present text. When $X$ is `special' in the sense of [Cam11], we deduce that the torsion free nilpotent quotients of $\pi_1(X)$ are abelian. Examples show that this property fails (as first observed in [CDY22]) when the quasi-Albanese map is not proper. This leads to replace our previous `Abelianity conjecture' in the compact case by an `Nilpotency conjecture' in the non-compact quasi-K\"ahler context.


title: BiBench: Benchmarking and Analyzing Network Binarization

abstract: Network binarization emerges as one of the most promising compression approaches offering extraordinary computation and memory savings by minimizing the bit-width. However, recent research has shown that applying existing binarization algorithms to diverse tasks, architectures, and hardware in realistic scenarios is still not straightforward. Common challenges of binarization, such as accuracy degradation and efficiency limitation, suggest that its attributes are not fully understood. To close this gap, we present BiBench, a rigorously designed benchmark with in-depth analysis for network binarization. We first carefully scrutinize the requirements of binarization in the actual production and define evaluation tracks and metrics for a comprehensive and fair investigation. Then, we evaluate and analyze a series of milestone binarization algorithms that function at the operator level and with extensive influence. Our benchmark reveals that 1) the binarized operator has a crucial impact on the performance and deployability of binarized networks; 2) the accuracy of binarization varies significantly across different learning tasks and neural architectures; 3) binarization has demonstrated promising efficiency potential on edge devices despite the limited hardware support. The results and analysis also lead to a promising paradigm for accurate and efficient binarization. We believe that BiBench will contribute to the broader adoption of binarization and serve as a foundation for future research. The code for our BiBench is released https://github.com/htqin/BiBench .