title: V2V-Based Task Offloading and Resource Allocation in Vehicular Edge Computing Networks

abstract: In the research and application of vehicle ad hoc networks (VANETs), it is often assumed that vehicles obtain cloud computing services by accessing to roadside units (RSUs). However, due to the problems of insufficient construction quantity, limited communication range and overload of calculation load of roadside units, the calculation mode relying only on vehicle to roadside units is difficult to deal with complex and changeable calculation tasks. In this paper, when the roadside unit is missing, the vehicle mobile unit is regarded as a natural edge computing node to make full use of the excess computing power of mobile vehicles and perform the offloading task of surrounding mobile vehicles in time. In this paper, the OPFTO framework is designed, an improved task allocation algorithm HGSA is proposed, and the pre-filtering process is designed with full consideration of the moving characteristics of vehicles. In addition, vehicle simulation experiments show that the proposed strategy has the advantages of low delay and high accuracy compared with other task scheduling strategies, which provides a reference scheme for the construction of Urban Intelligent Transportation in the future.


title: Frequency Selection for Platoon Communications in Secondary Spectrum Using Radio Environment Maps

abstract: Platoon-based driving is an idea that vehicles follow each other at a close distance, in order to increase road throughput and fuel savings. This requires reliable wireless communications to adjust the speeds of vehicles. Although there is a dedicated frequency band for vehicle-to-vehicle (V2V) communications, studies have shown that it is too congested to provide reliable transmission for the platoons. Additional spectrum resources, i.e., secondary spectrum channels, can be utilized when these are not occupied by other users. Characteristics of interference in these channels are usually location-dependent and can be stored in the so-called Radio Environment Maps (REMs). This paper aims to design REM, in order to support the selection of secondary spectrum channel for intra-platoon communications. We propose to assess the channel's quality in terms of outage probability computed, with the use of estimated interference distributions stored in REM. A frequency selection algorithm that minimizes the number of channel switches along the planned platoon route is proposed. Additionally, the REM creation procedure is shown that reduces the number of database entries using (Density-Based Spatial Clustering of Applications with Noise) DBSCAN algorithm. The proposals are tested using real IQ samples captured on a real road. Application of the DBSCAN clustering to the constructed REM provided 7% reduction in its size. Utilization of the proposed channel selection algorithm resulted in a 35 times reduction of channel switches concerning channel assignment performed independently in every location.


title: SIM-SITU: A Framework for the Faithful Simulation of in-situ Workflows

abstract: The amount of data generated by numerical simulations in various scientific domains such as molecular dynamics, climate modeling, biology, or astrophysics, led to a fundamental redesign of application workflows. The throughput and the capacity of storage subsystems have not evolved as fast as the computing power in extreme-scale supercomputers. As a result, the classical post-hoc analysis of simulation outputs became highly inefficient. In-situ workflows have then emerged as a solution in which simulation and data analytics are intertwined through shared computing resources, thus lower latencies. Determining the best allocation, i.e., how many resources to allocate to each component of an in-situ workflow; and mapping, i.e., where and at which frequency to run the data analytics component, is a complex task whose performance assessment is crucial to the efficient execution of in-situ workflows. However, such a performance evaluation of different allocation and mapping strategies usually relies either on directly running them on the targeted execution environments, which can rapidly become extremely time-and resource-consuming, or on resorting to the simulation of simplified models of the components of an in-situ workflow, which can lack of realism. In both cases, the validity of the performance evaluation is limited. To address this issue, we introduce SIM-SITU, a framework for the faithful simulation of in-situ workflows. This framework builds on the SimGrid toolkit and benefits of several important features of this versatile simulation tool. We designed SIM-SITU to reflect the typical structure of in-situ workflows and thanks to its modular design, SIM-SITU has the necessary flexibility to easily and faithfully evaluate the behavior and performance of various allocation and mapping strategies for in-situ workflows. We illustrate the simulation capabilities of SIM-SITU on a Molecular Dynamics use case. We study the impact of different allocation and mapping strategies on performance and show how users can leverage SIM-SITU to determine interesting tradeoffs when designing their in-situ workflow.


title: Digital Rock Typing DRT Algorithm Formulation with Optimal Supervised Semantic Segmentation

abstract: Each grid block in a 3D geological model requires a rock type that represents all physical and chemical properties of that block. The properties that classify rock types are lithology, permeability, and capillary pressure. Scientists and engineers determined these properties using conventional laboratory measurements, which embedded destructive methods to the sample or altered some of its properties (i.e., wettability, permeability, and porosity) because the measurements process includes sample crushing, fluid flow, or fluid saturation. Lately, Digital Rock Physics (DRT) has emerged to quantify these properties from micro-Computerized Tomography (uCT) and Magnetic Resonance Imaging (MRI) images. However, the literature did not attempt rock typing in a wholly digital context. We propose performing Digital Rock Typing (DRT) by: (1) integrating the latest DRP advances in a novel process that honors digital rock properties determination, while; (2) digitalizing the latest rock typing approaches in carbonate, and (3) introducing a novel carbonate rock typing process that utilizes computer vision capabilities to provide more insight about the heterogeneous carbonate rock texture.


title: Reversible Target-Binding Kinetics of Multiple Impatient Particles

abstract: Certain biochemical reactions can only be triggered after binding of a sufficient number of particles to a specific target region such as an enzyme or a protein sensor. We investigate the distribution of the reaction time, i.e., the first instance when all independently diffusing particles are bound to the target. When each particle binds irreversibly, this is equivalent to the first-passage time of the slowest (last) particle. In turn, reversible binding to the target renders the problem much more challenging and drastically changes the distribution of the reaction time. We derive the exact solution of this problem and investigate the short-time and long-time asymptotic behaviors of the reaction time probability density. We also analyze how the mean reaction time depends on the unbinding rate and the number of particles. Our exact and asymptotic solutions are compared to Monte Carlo simulations.


title: Non-Fermi liquid behavior in a mixed valent metallic pyrochlore iridate Pb$_2$Ir$_2$O$_{7-\delta}$

abstract: Non-Fermi liquid behavior in some fermionic systems have attracted significant interest in last few decades. Certain pyrochlore iridates with stronger spin-orbit coupling strength have recently been added to the list. Here, we provide evidence of such a non-Fermi liquid ground state in another mixed valent metallic pyrochlore iridate Pb$_2$Ir$_2$O$_{7-\delta}$, through the combined investigation of electronic, magnetic and thermodynamic properties as a function of temperature ($T$) and applied magnetic field ($H$). Resistivity measurement showed a linear temperature dependence down to 15~K below which it shows $\rho \sim T^{3/2}$ dependence while magnetic susceptibility diverges as $\chi$(T) $\sim$ $T^{-\alpha}$ ($\alpha < 1$) below 10~K. While a strong negative $\Theta_{CW}$ has been observed from Curie-Weiss fitting, absence of any long range order down to 80~mK only indicates presence of strong inherent geometric frustration in the system. Heat capacity data showed $C_p$ $\sim$ $T\ln(T_0/T)$ + ${\beta}T^3$ dependence below 15~K down to 1.8~K. More importantly spin-orbit coupling strength by x-ray absorption spectroscopy was found to be weaker in Pb$_2$Ir$_2$O$_{7-\delta}$ compared to other pyrochlore iridates. In absence of any large moment rare earth magnetic ion, Pb$_2$Ir$_2$O$_{7-\delta}$ presents a rare example of an irirdate system showing non-Fermi liquid behaviour due to disordered distribution of Ir$^{4+}$ and Ir$^{5+}$ having markedly different strengths of spin-orbit coupling which might offer a prescription for achieving new non-Fermi liquid systems.


title: Elastic 3D Wavefield Simulation on budget GPUs using the GLSL shading language

abstract: Forward wavefield simulation is an important step in Full Waveform Inversion systems. Fast simulations are instrumental to get inversion result in reasonable time frames. Most of research and software aims towards utilizing costly computer clusters composed of multiple CPUs and numerous high end GPUs to shorten the forward simulation time. Using this type of hardware has some disadvantages as: high cost, complex programming models and unavailability of resources. In this work, we present a finite difference elastic 3D wavefield forward simulation that takes advantage of any modern low end GPU, by using the GLSL shading language.Some of the advantages of using GLSL are: runs in any modern GPU, has a simplified computing and memory model and provides state of art performance thanks to its very well optimized vendor developed drivers. We show that our GLSL implementation easily outperforms a multicore CPU implementation in a modern PC. We further benchmark our result using a real seismic event, and show that we can get accurate simulations in reasonable time using our system.


title: Empirical Evaluation of Deep Learning Models for Knowledge Tracing: Of Hyperparameters and Metrics on Performance and Replicability

abstract: We review and evaluate a body of deep learning knowledge tracing (DLKT) models with openly available and widely-used data sets, and with a novel data set of students learning to program. The evaluated knowledge tracing models include Vanilla-DKT, two Long Short-Term Memory Deep Knowledge Tracing (LSTM-DKT) variants, two Dynamic Key-Value Memory Network (DKVMN) variants, and Self-Attentive Knowledge Tracing (SAKT). As baselines, we evaluate simple non-learning models, logistic regression and Bayesian Knowledge Tracing (BKT). To evaluate how different aspects of DLKT models influence model performance, we test input and output layer variations found in the compared models that are independent of the main architectures. We study maximum attempt count options, including filtering out long attempt sequences, that have been implicitly and explicitly used in prior studies. We contrast the observed performance variations against variations from non-model properties such as randomness and hardware. Performance of models is assessed using multiple metrics, whereby we also contrast the impact of the choice of metric on model performance. The key contributions of this work are: Evidence that DLKT models generally outperform more traditional models, but not necessarily by much and not always; Evidence that even simple baselines with little to no predictive value may outperform DLKT models, especially in terms of accuracy -- highlighting importance of selecting proper baselines for comparison; Disambiguation of properties that affect performance in DLKT models including metric choice, input and output layer variations, common hyperparameters, random seeding and hardware; Discussion of issues in replicability when evaluating DLKT models, including discrepancies in prior reported results and methodology. Model implementations, evaluation code, and data are published as a part of this work.


title: $\mu$-norm of an operator

abstract: Let $({\cal X},\mu)$ be a measure space. For any measurable set $Y\subset{\cal X}$ let $1_Y : {\cal X}\to{\mathbb R}$ be the indicator of $Y$ and let $\pi_Y$ be the orthogonal projector $L^2({\cal X})\ni f\mapsto\pi_Y f = 1_Y f$. For any bounded operator $W$ on $L^2({\cal X},\mu)$ we define its $\mu$-norm $\|W\|_\mu = \inf_\chi\sqrt{\sum \mu(Y_j) \|W\pi_Y\|^2}$, where the infinum is taken over all measurable partitions $\chi = \{Y_1,\ldots,Y_J\}$ of ${\cal X}$. We present some properties of the $\mu$-norm and some computations. Our main motivation is the problem of the construction of a quantum entropy.


title: Response to a comment on "Vindication of entanglement-based witnesses in hybrid quantum systems"

abstract: In a recent paper, we vindicated a general entanglement-based witness of non-classicality in hybrid quantum systems. Our vindication refutes a counterexample to the witness, proposed by Hall and Reginatto. These authors recently commented further, claiming to expose "a huge number of errors and misconceptions" in it. However, their comment contains no refutation of our arguments, nor does it expose any error or misconception in them. But it does include a number of misconceptions about the witness of non-classicality. Here we respond to those.


title: Pose Estimation of Specific Rigid Objects

abstract: In this thesis, we address the problem of estimating the 6D pose of rigid objects from a single RGB or RGB-D input image, assuming that 3D models of the objects are available. This problem is of great importance to many application fields such as robotic manipulation, augmented reality, and autonomous driving. First, we propose EPOS, a method for 6D object pose estimation from an RGB image. The key idea is to represent an object by compact surface fragments and predict the probability distribution of corresponding fragments at each pixel of the input image by a neural network. Each pixel is linked with a data-dependent number of fragments, which allows systematic handling of symmetries, and the 6D poses are estimated from the links by a RANSAC-based fitting method. EPOS outperformed all RGB and most RGB-D and D methods on several standard datasets. Second, we present HashMatch, an RGB-D method that slides a window over the input image and searches for a match against templates, which are pre-generated by rendering 3D object models in different orientations. The method applies a cascade of evaluation stages to each window location, which avoids exhaustive matching against all templates. Third, we propose ObjectSynth, an approach to synthesize photorealistic images of 3D object models for training methods based on neural networks. The images yield substantial improvements compared to commonly used images of objects rendered on top of random photographs. Fourth, we introduce T-LESS, the first dataset for 6D object pose estimation that includes 3D models and RGB-D images of industry-relevant objects. Fifth, we define BOP, a benchmark that captures the status quo in the field. BOP comprises eleven datasets in a unified format, an evaluation methodology, an online evaluation system, and public challenges held at international workshops organized at the ICCV and ECCV conferences.


title: Measurement of the $e^{+}e^{-}\rightarrow\omega\pi^{0}\pi^{0}$ cross section at center-of-mass energies from 2.0 to 3.08 GeV

abstract: The cross section of the process $e^{+}e^{-}\to\omega\pi^{0}\pi^{0}$ is measured at nineteen center-of-mass energies from 2.0 to 3.08 GeV using data collected with the BESIII detector at the BEPCII storage ring. A resonant structure around 2.20 GeV is observed with statistical significance larger than $5\sigma$. Using a coherent fit to the cross section line shape, the mass and width are determined to be $M=2222\pm7\pm2~{\rm MeV}/c^2$ and $\varGamma=59\pm30\pm6~{\rm MeV}$, respectively, where the first uncertainties are statistical and the second ones are systematic.


title: Non-extensive Statistical Mechanics and the Thermodynamic Stability of FRW Universe

abstract: In this article, we investigate the thermodynamic stability of the FRW universe for two examples, Tsallis entropy and loop quantum gravity, by considering non-extensive statistical mechanics. The heat capacity, free energy and pressure of the universe are obtained. For the Tsallis entropy model, we obtained the constraint for $\beta$, namely, $1/2 < \beta < 2$. The free energy of a thermal equilibrium universe must be less than zero. We suggest that the reason for the accelerated expansion of the universe is not due to Tsallis entropy. Similar results are obtained for loop quantum gravity. However, since the values of $\Lambda(\gamma)$ and $q$ cannot be determined in this model, the results become more subtle than that in the Tsallis entropy model. In addition, we compare the results for the universe with those for a Schwarzschild black hole.


title: $\mu$-norm and regularity

abstract: In \cite{Tre_PSI20} we introduce the concept of a $\mu$-norm for a bounded operator in a Hilbert space. The main motivation is the extension of the measure entropy to the case of quantum systems. In this paper we recall the basic results from \cite{Tre_PSI20} and present further results on the $\mu$-norm. More precisely, we specify three classes of unitary operators for which the $\mu$-norm generates a bistochastic operator. We plan to use the latter in the construction of quantum entropy.


title: N-body Simulations of the Solar System with CPU-based Parallel Methods

abstract: The gravitational N-body simulation in the Solar system was performed using different parallel approaches with the comparisons in the computational times and speed-up values being carried out under different model sizes and the number of processors. The numerical integration used is a second-order velocity Verlet approach which gives the acceptable accuracy in the orbits of major bodies and asteroids with a time step size of 0.1 days.


title: Motion of vortices for the extrinsic Ginzburg-Landau flow for vector fields on surfaces

abstract: We consider the gradient flow of a Ginzburg-Landau functional of the type \[ F_\varepsilon^{\mathrm{extr}}(u):=\frac{1}{2}\int_M \left|D u\right|_g^2 + \left|\mathscr{S} u\right|^2_g +\frac{1}{2\varepsilon^2}\left(\left|u\right|^2_g-1\right)^2\mathrm{vol}_g \] which is defined for tangent vector fields (here $D$ stands for the covariant derivative) on a closed surface $M\subseteq\mathbb{R}^3$ and includes extrinsic effects via the shape operator $\mathscr{S}$ induced by the Euclidean embedding of~$M$. The functional depends on the small parameter $\varepsilon>0$. When $\varepsilon$ is small it is clear from the structure of the Ginzburg-Landau functional that $\left|u\right|_g$ ''prefers'' to be close to $1$. However, due to the incompatibility for vector fields on $M$ between the Sobolev regularity and the unit norm constraint, when $\varepsilon$ is close to $0$, it is expected that a finite number of singular points (called vortices) having non-zero index emerges (when the Euler characteristic is non-zero). This intuitive picture has been made precise in the recent work by R. Ignat \& R. Jerrard [7]. In this paper we are interested the dynamics of vortices generated by $F_\varepsilon^{\mathrm{extr}}$. To this end we study the behavior when $\varepsilon\to 0$ of the solutions of the (properly rescaled) gradient flow of $F_\varepsilon^{\mathrm{extr}}$. In the limit $\varepsilon\to 0$ we obtain the effective dynamics of the vortices. The dynamics, as expected, is influenced by both the intrinsic and extrinsic properties of the surface $M\subseteq\mathbb{R}^3$.


title: Length-Four Pattern Avoidance in Inversion Sequences

abstract: Inversion sequences of length $n$ are integer sequences $e_1,\ldots ,e_n$ with $0\le e_i<i$ for all $i$, which are in bijection with the permutations of length $n$. In this paper, we classify all Wilf equivalence classes of pattern-avoiding inversion sequences of length-4 patterns except for one case (whether 3012 $\equiv$ 3201) and enumerate some of the length-4 pattern-avoiding inversion sequences that are in the OEIS.


title: Dilatonic Effect in Double Field Theory Cosmology

abstract: In this article we discuss some aspects of double field theory cosmology with an emphasis on the role played by the dilaton. The cosmological solutions of double field theory equations of motion after coupling a shifted dilaton to them are investigated. The equations of motion for a constant shifted dilaton and a constant usaul dilaton in an FRW universe are obtained. The solutions of these equations are obtained in both the supergravity frame and in the winding frame. We also consider three possible dark energy candidates in a 4D universe using double field theory cosmology and find some basic conditions which the three dark energy candidates should satisfy. We consider the results for a more general potential of shifted dilaton as well.


title: Classical Sampling of Random Quantum Circuits with Bounded Fidelity

abstract: Random circuit sampling has become a popular means for demonstrating the superiority of quantum computers over classical supercomputers. While quantum chips are evolving rapidly, classical sampling algorithms are also getting better and better. The major challenge is to generate bitstrings exhibiting an XEB fidelity above that of the quantum chips. Here we present a classical sampling algorithm for producing the probability distribution of any given random quantum circuit, where the fidelity can be rigorously bounded. Specifically, our algorithm performs rejection sampling after the introduced very recently multi-tensor contraction algorithm. We show that the fidelity can be controlled by partially contracting the dominant paths in the tensor network and by adjusting the number of batches used in the rejection sampling. As a demonstration, we classically produced 1 million samples with the fidelity bounded by 0.2%, based on the 20-cycle circuit of the Sycamore 53-qubit quantum chip. Though this task was initially estimated to take 10,000 years on the Summit supercomputer, it took about 14.5 days using our algorithm on a relatively small cluster with 32 GPUs (Tesla V100 16GB). Furthermore, we estimate that for the Zuchongzhi 56-qubit 20-cycle circuit one can produce 1M samples with fidelity 0.066% using the Selene supercomputer with 4480 GPUs (Tesla A100 80GB) in about 4 days.


title: Squeezing lights via a levitated cavity optomechanics

abstract: Squeezing light is a critical resource in both fundamental physics and precision measurement. The squeezing light has been generated through optical-parametric amplification inside an optical resonator. However, preparing the squeezing light in an optomechanical system is still a challenge for the thermal noise inevitably coupling to the system. We consider an optically levitated nano-particle in a bichromatic cavity, in which two cavity modes could be excited by the scattering photons of the dual-tweezers respectively. Based on the coherent scattering mechanism, the ultra-strong coupling between the cavity field and torsional motion of nano-particle could be achieved for the current experimental conditions. With the back-action of the optically levtiated nano-particle, the broad single-mode squeezing light can be realized in the bad cavity regime. Even at room temperature, the single-mode light can be squeezed for more than 17 dB, which is far beyond the 3 dB limit. The two-mode squeezing lights can also be generated, if the optical tweezers contain two frequencies, one is on the red sideband of the cavity mode, the other is on the blue sideband. The two-mode squeezing can be maximized near the boundary of the system stable regime, and is sensitive to both the cavity decay rate and the power of the optical tweezers.


title: Feature Extraction, Classification and Prediction for Hand Hygiene Gestures with KNN Algorithm

abstract: There are six, well-structured hand gestures for washing hands as provided by World Health Organisation guidelines. In this paper, hand features such as contours of the hands, the centroid of the hands, and extreme hand points along the largest contour are extracted for specific hand-washing gestures with the use of a computer vision library, OpenCV. For this project, a robust dataset of hand hygiene video recordings is built with the help of 30 research participants. In this work, a subset of the dataset was used as a pilot study to demonstrate the effectiveness of the KNN algorithm. Extracted hand features saved in a CSV file are passed to a KNN model with a cross-fold validation technique for the classification and prediction of the unlabelled data. A mean accuracy score of >95% is achieved and proves that the KNN algorithm with an appropriate input value of K=3 is efficient for hand hygiene gestures classification.


title: Palatini Higgs inflation and the refined dS conjecture

abstract: The refined de Sitter derivative conjecture provides constraints to potentials that are low energy effective theories of quantum gravity. It can give direct bounds on inflationary scenarios and determine whether the theory is in the Landscape or the Swampland. Any infationary model can be checked by these conditions and non-minimally coupled scalar field theory is not an exception. We consider the Palatini Higgs inflation scenario taking the refined de Sitter derivative conjecture into account. According to the latest cosmological observations from Planck 2018, BICEP2+Keck and the bound of non-minimal coupling parameter {\xi}, we suggest that if the refined dS conjecture does indeed hold, then the Palatini Higgs inflation model cannot be the low energy effective theory of a consistent quantum gravity theory since the two parameters c1 and c2 are much smaller than order 1, which is inconsistent with the refined dS conjecture. Therefore we suggest that it is in the Swampland.


title: ChunkFormer: Learning Long Time Series with Multi-stage Chunked Transformer

abstract: The analysis of long sequence data remains challenging in many real-world applications. We propose a novel architecture, ChunkFormer, that improves the existing Transformer framework to handle the challenges while dealing with long time series. Original Transformer-based models adopt an attention mechanism to discover global information along a sequence to leverage the contextual data. Long sequential data traps local information such as seasonality and fluctuations in short data sequences. In addition, the original Transformer consumes more resources by carrying the entire attention matrix during the training course. To overcome these challenges, ChunkFormer splits the long sequences into smaller sequence chunks for the attention calculation, progressively applying different chunk sizes in each stage. In this way, the proposed model gradually learns both local and global information without changing the total length of the input sequences. We have extensively tested the effectiveness of this new architecture on different business domains and have proved the advantage of such a model over the existing Transformer-based models.


title: Information flow, Gating, and Energetics in dimeric molecular motors

abstract: Molecular motors belonging to the kinesin and myosin super family hydrolyze ATP by cycling through a sequence of chemical states. These cytoplasmic motors are dimers made up of two linked identical monomeric globular proteins. Fueled by the free energy generated by ATP hydrolysis, the motors walk on polar tracks (microtubule or filamentous actin) processively, which means that only one head detaches and executes a mechanical step while the other stays bound to the track. Thus, the one motor head must regulate chemical state of the other, referred to as "gating", a concept that is not fully understood. Inspired by experiments, showing that only a fraction of the energy from ATP hydrolysis is used to advance the kinesin motors against load, we demonstrate that additional energy is used for coordinating the chemical cycles of the two heads in the dimer - a feature that characterizes gating. To this end, we develop a general framework based on information theory and stochastic thermodynamics, and establish that gating could be quantified in terms of information flow between the motor heads. Applications of the theory to kinesin-1 and Myosin V show that information flow occurs, with positive cooperativity, at external resistive loads that are less than a critical value, $F_c$. When force exceeds $F_c$, effective information flow ceases. Interestingly, $F_c$, which is independent of the input energy generated through ATP hydrolysis, coincides with force at which the probability of backward steps starts to increase. Our findings suggest that transport efficiency is optimal only at forces less than $F_c$, which implies that these motors must operate at low loads under $\textit{in vivo}$ conditions.


title: Causal Attention for Interpretable and Generalizable Graph Classification

abstract: In graph classification, attention and pooling-based graph neural networks (GNNs) prevail to extract the critical features from the input graph and support the prediction. They mostly follow the paradigm of learning to attend, which maximizes the mutual information between the attended graph and the ground-truth label. However, this paradigm makes GNN classifiers recklessly absorb all the statistical correlations between input features and labels in the training data, without distinguishing the causal and noncausal effects of features. Instead of underscoring the causal features, the attended graphs are prone to visit the noncausal features as the shortcut to predictions. Such shortcut features might easily change outside the training distribution, thereby making the GNN classifiers suffer from poor generalization. In this work, we take a causal look at the GNN modeling for graph classification. With our causal assumption, the shortcut feature serves as a confounder between the causal feature and prediction. It tricks the classifier to learn spurious correlations that facilitate the prediction in in-distribution (ID) test evaluation, while causing the performance drop in out-of-distribution (OOD) test data. To endow the classifier with better interpretation and generalization, we propose the Causal Attention Learning (CAL) strategy, which discovers the causal patterns and mitigates the confounding effect of shortcuts. Specifically, we employ attention modules to estimate the causal and shortcut features of the input graph. We then parameterize the backdoor adjustment of causal theory -- combine each causal feature with various shortcut features. It encourages the stable relationships between the causal estimation and prediction, regardless of the changes in shortcut parts and distributions. Extensive experiments on synthetic and real-world datasets demonstrate the effectiveness of CAL.


title: Decoding Dark Matter at future $e^+ e^-$ colliders

abstract: We explore the potential of the $e^+ e^-$ colliders to discover dark matter and determine its properties such as mass and the spin. For this purpose we study spin zero and spin one-half cases of dark matter, $D$ which belongs to $SU(2)$ weak doublet and therefore has the charged doublet partner, $D^+$. For the case of scalar dark matter we chose Inert Doublet Model, while for the case of fermion dark matter we suggest the new minimal fermion dark matter model with only three parameters. We choose two benchmarks for the models under study which provide the correct amount of observed DM relic density and consistent with the current DM searches. We focus on the particular process $e^+ e^- \to D^+ D^- \to D D W^+ W^- \to DD(q \bar{q})(\mu^\pm\nu)$ at 500 GeV ILC collider which gives rise to the "di-jet +$\mu$ + missing $E_T$" signature and study it at the level of fast detector simulation, taking into account Bremsstrahlung and ISR effects. We have found that two kinematical observables -- the energy of the muon, $E_\mu$, and the angular distribution of $W$-boson, reconstructed from di-jet, $\cos\theta_{jj}$ are very powerful in determination of DM mass and spin, respectively. In particular we have demonstrated that in case of fermion DM, the masses can be measured with a few percent accuracy already at 500 fb$^{-1}$ integrated luminosity. At the same time, the scalar DM model which has about an order of magnitude lower signal, requires about factor of 40 higher luminosity to reach the same accuracy in the mass measurement. We have found that one can distinguish fermion and scalar DM scenarios with about 2 ab$^{-1}$ total integrated luminosity or less without using the information on the cross sections for benchmarks under study.


title: Leveraging in-domain supervision for unsupervised image-to-image translation tasks via multi-stream generators

abstract: Supervision for image-to-image translation (I2I) tasks is hard to come by, but bears significant effect on the resulting quality. In this paper, we observe that for many Unsupervised I2I (UI2I) scenarios, one domain is more familiar than the other, and offers in-domain prior knowledge, such as semantic segmentation. We argue that for complex scenes, figuring out the semantic structure of the domain is hard, especially with no supervision, but is an important part of a successful I2I operation. We hence introduce two techniques to incorporate this invaluable in-domain prior knowledge for the benefit of translation quality: through a novel Multi-Stream generator architecture, and through a semantic segmentation-based regularization loss term. In essence, we propose splitting the input data according to semantic masks, explicitly guiding the network to different behavior for the different regions of the image. In addition, we propose training a semantic segmentation network along with the translation task, and to leverage this output as a loss term that improves robustness. We validate our approach on urban data, demonstrating superior quality in the challenging UI2I tasks of converting day images to night ones. In addition, we also demonstrate how reinforcing the target dataset with our augmented images improves the training of downstream tasks such as the classical detection one.


title: Large global solutions for energy-critical nonlinear Schr\"odinger equation

abstract: In this work, we consider the 3D defocusing energy-critical nonlinear Schr\"odinger equation $i\partial_t u+\Delta u =|u|^4 u,\quad (t,x)\in \mathbb{R}\times \mathbb{R}^3$. Applying the outgoing and incoming decomposition presented in the recent work \cite{BECEANU-DENG-SOFFER-WU-2021}, we prove that any radial function $f$ with $\chi_{\leq1}f\in H^1$ and $\chi_{\geq1}f\in H^{s_0}$ with $\frac{5}{6}<s_0<1$, there exists an outgoing component $f_+$ (or incoming component $f_-$) of $f$, such that when the initial data is $f_+$, then the corresponding solution is globally well-posed and scatters forward in time; when the initial data is $f_-$, then the corresponding solution is globally well-posed and scatters backward in time.


title: Benchmarking Chinese Text Recognition: Datasets, Baselines, and an Empirical Study

abstract: The flourishing blossom of deep learning has witnessed the rapid development of text recognition in recent years. However, the existing text recognition methods are mainly proposed for English texts. As another widely-spoken language, Chinese text recognition (CTR) in all ways has extensive application markets. Based on our observations, we attribute the scarce attention on CTR to the lack of reasonable dataset construction standards, unified evaluation protocols, and results of the existing baselines. To fill this gap, we manually collect CTR datasets from publicly available competitions, projects, and papers. According to application scenarios, we divide the collected datasets into four categories including scene, web, document, and handwriting datasets. Besides, we standardize the evaluation protocols in CTR. With unified evaluation protocols, we evaluate a series of representative text recognition methods on the collected datasets to provide baselines. The experimental results indicate that the performance of baselines on CTR datasets is not as good as that on English datasets due to the characteristics of Chinese texts that are quite different from the Latin alphabet. Moreover, we observe that by introducing radical-level supervision as an auxiliary task, the performance of baselines can be further boosted. The code and datasets are made publicly available at https://github.com/FudanVI/benchmarking-chinese-text-recognition


title: Bayesian Algorithms Learn to Stabilize Unknown Continuous-Time Systems

abstract: Linear dynamical systems are canonical models for learning-based control of plants with uncertain dynamics. The setting consists of a stochastic differential equation that captures the state evolution of the plant understudy, while the true dynamics matrices are unknown and need to be learned from the observed data of state trajectory. An important issue is to ensure that the system is stabilized and destabilizing control actions due to model uncertainties are precluded as soon as possible. A reliable stabilization procedure for this purpose that can effectively learn from unstable data to stabilize the system in a finite time is not currently available. In this work, we propose a novel Bayesian learning algorithm that stabilizes unknown continuous-time stochastic linear systems. The presented algorithm is flexible and exposes effective stabilization performance after a remarkably short time period of interacting with the system.


title: A general technique for the estimation of farm animal body part weights from CT scans and its applications in a rabbit breeding program

abstract: Various applications of farm animal imaging are based on the estimation of weights of certain body parts and cuts from the CT images of animals. In many cases, the complexity of the problem is increased by the enormous variability of postures in CT images due to the scanning of non-sedated, living animals. In this paper, we propose a general and robust approach for the estimation of the weights of cuts and body parts from the CT images of (possibly) living animals. We adapt multi-atlas based segmentation driven by elastic registration and joint feature and model selection for the regression component to cape with the large number of features and low number of samples. The proposed technique is evaluated and illustrated through real applications in rabbit breeding programs, showing r^2 scores 12% higher than previous techniques and methods that used to drive the selection so far. The proposed technique is easily adaptable to similar problems, consequently, it is shared in an open source software package for the benefit of the community.


title: Verification and generation of unrefinable partitions

abstract: Unrefinable partitions are a subset of partitions into distinct parts which satisfy an additional unrefinability property. More precisely, being an unrefinable partition means that none of the parts can be written as the sum of smaller integers without introducing a repetition. We address the algorithmic aspects of unrefinable partitions, such as testing whether a given partition is unrefinable or not and enumerating all the partitions whose sum is a given integer. We design two algorithms to solve the two mentioned problems and we discuss their complexity.


title: Motivic Homotopy Theory of Algebraic Stacks

abstract: The aim of this paper is to extend the definition of motivic homotopy theory from schemes to a large class of algebraic stacks and establish a six functor formalism. The class of algebraic stacks that we consider includes many interesting examples: quasi-separated algebraic spaces, local quotient stacks and moduli stacks of vector bundles. We use the language of $\infty$-categories developed by Lurie. Morever, we use the so-called 'enhanced operation map' due to Liu and Zheng to extend the six functor formalism from schemes to our class of algebraic stacks. We also prove that six functors satisfy properties like homotopy invariance, localization and purity.


title: Total reflection of a flare-driven quasi-periodic EUV wave train at a coronal hole boundary

abstract: The reflection, refraction, and transmission of large-scale extreme ultraviolet (EUV) waves (collectively, secondary waves) have been observed during their interactions with coronal structures such as active regions (ARs) and coronal holes (CHs). However, the effect of the total reflection of EUV waves has not been reported in the literature. Here, we present the first unambiguous observational evidence of the total reflection of a quasi-periodic EUV wave train during its interaction with a polar CH. The event occurred in NOAA AR 12473, located close to the southeast limb of the solar disk, and was characterized by a jet-like CME. In this study, we focus in particular on the driving mechanism s of the quasi-periodic wave train and the total reflection effect at the CH boundary. We find that the periods of the incident and the reflected wave trains are both about 100 seconds. The excitation of the quasi-periodic wave train was possibly due to the intermittent energy release in the associated flare since its period is similar to that of the quasi-periodic pulsations in the associated flare. Our observational results showed that the reflection of the wave train at the boundary of the CH was a total reflection because the measured incidence and critical angles satisfy the theory of total reflection, i.e., the incidence angle is less than the critical angle.


title: KIND: an Italian Multi-Domain Dataset for Named Entity Recognition

abstract: In this paper we present KIND, an Italian dataset for Named-entity recognition. It contains more than one million tokens with annotation covering three classes: person, location, and organization. The dataset (around 600K tokens) mostly contains manual gold annotations in three different domains (news, literature, and political discourses) and a semi-automatically annotated part. The multi-domain feature is the main strength of the present work, offering a resource which covers different styles and language uses, as well as the largest Italian NER dataset with manual gold annotations. It represents an important resource for the training of NER systems in Italian. Texts and annotations are freely downloadable from the Github repository.


title: Optimal model averaging for single-index models with divergent dimensions

abstract: This paper offers a new approach to address the model uncertainty in (potentially) divergent-dimensional single-index models (SIMs). We propose a model-averaging estimator based on cross-validation, which allows the dimension of covariates and the number of candidate models to increase with the sample size. We show that when all candidate models are misspecified, our model-averaging estimator is asymptotically optimal in the sense that its squared loss is asymptotically identical to that of the infeasible best possible averaging estimator. In a different situation where correct models are available in the model set, the proposed weighting scheme assigns all weights to the correct models in the asymptotic sense. We also extend our method to average regularized estimators and propose pre-screening methods to deal with cases with high-dimensional covariates. We illustrate the merits of our method via simulations and two empirical applications.


title: Local bounds for singular Brascamp-Lieb forms with cubical structure

abstract: We prove a range of $L^p$ bounds for singular Brascamp-Lieb forms with cubical structure. We pass through sparse and local bounds, the latter proved by an iteration of Fourier expansion, telescoping, and the Cauchy-Schwarz inequality. We allow $2^{m-1}<p\le \infty$ with $m$ the dimension of the cube, extending an earlier result that required $p=2^m$. The threshold $2^{m-1}$ is sharp in our theorems.


title: Weak error analysis for strong approximation schemes of SDEs with super-linear coefficients

abstract: We present an error analysis of weak convergence of one-step numerical schemes for stochastic differential equations (SDEs) with super-linearly growing coefficients. Following Milstein's weak error analysis on the one-step approximation of SDEs, we prove a general conclusion on weak convergence of the one-step discretization of the SDEs mentioned above. As applications, we show the weak convergence rates for several numerical schemes of half-order strong convergence, such as tamed and balanced schemes. Numerical examples are presented to verify our theoretical analysis.


title: Estimations and scaling laws for stellar magnetic fields

abstract: In rapidly rotating turbulence (Rossby number much less than unity), the standard mixing length theory for turbulent convection breaks and Coriolis force enters the force balance such that magnetic field eventually depends on rotation. By simplifying the self-sustained magnetohydrodynamics dynamo equations of electrically conducting fluid motion, with the aid of theory of isotropic non-rotating or anisotropic rotating turbulence driven by thermal convection, we make estimations and derive scaling laws for stellar magnetic fields with slow and fast rotation. Our scaling laws are in good agreement with the observations.


title: The generation and transformation of polarisation signals in molecular lines through collective anisotropic resonant scattering

abstract: We discuss the existence of elliptical polarisation in rotational spectral lines of CO and other molecules within the context of the Anisotropic Resonant Scattering (ARS) model. We show that the effect of ARS on the radiation field can lead to not only the previously predicted transformation of background linear polarisation into circular polarisation (i.e., Faraday conversion), but also the occurrence of Faraday rotation and the generation of elliptically polarised signals in an otherwise initially unpolarised radiation field. This is due to a collective behaviour between the large number of molecules acting as a diffraction ensemble that strongly favours forward scattering over any other mode. Our application to astronomical data demonstrates the dependency of the Stokes parameters on the strength and orientation of the ambient magnetic field, and suggests that ARS will manifest itself for a wide range of molecular species and transitions.


title: Moire Band Structures of the Double twisted Few Layer Graphene

abstract: Very recently, unconventional superconductivity has been observed in the double twisted trilayer graphene (TLG), where three monolayer graphene (MLG) are stacked on top of each other with two twist angles [J. M. Park, et al., Nature 590, 249 (2021); Z. Hao, et al., Science 371, 1133 (2021); X. Zhang, et al., Phys. Rev. Lett.127, 166802 (2021)]. When some of MLGs in the double twisted TLG are replaced by bilayer graphene (BLG), we get a new family of double twisted moire heterostructure, namely double twisted few layer graphene (DTFLG). In this work, we theoretically investigate the moire band structures of the DTFLGs with diverse arrangements of MLG and BLG. We find that, depending on the relative rotation direction of the two twist angles (alternate or chiral twist) and the middle van der Waals (vdW) layer (MLG or BLG), a general (X+Y+Z)-DTFLG can be classified into four categories, i.e. (X+1+Z)-ATFLG, (X+2+Z)-ATFLG, (X+1+Z)-CTFLG and (X+2+Z)-CTFLG, each of which has its own unique band structure. Here, X, Y, Z denote the three vdW layers, i.e. MLG or BLG. Interestingly, the (X+1+Z)-ATFLGs have a pair of perfect flat bands at the magic angle about $1.54^\circ$ coexisting with a pair of linear or parabolic bands, which is quite like the double twisted TLG. Meanwhile, when the twist angle is smaller than a "magic angle" $1.70^\circ$, the (X+2+Z)-CTFLGs can have two isolated narrow bands at $E_f$ with band width less than 5 meV. The influence of electric field and the topological features of the moire bands have been studied as well. Our work indicates that the DTFLGs, especially the (X+1+Z)-ATFLG and (X+2+Z)-CTFLG, are promising platforms to study the moire flat band induced novel correlation and topological effects.


title: Colour alignment for relative colour constancy via non-standard references

abstract: Relative colour constancy is an essential requirement for many scientific imaging applications. However, most digital cameras differ in their image formations and native sensor output is usually inaccessible, e.g., in smartphone camera applications. This makes it hard to achieve consistent colour assessment across a range of devices, and that undermines the performance of computer vision algorithms. To resolve this issue, we propose a colour alignment model that considers the camera image formation as a black-box and formulates colour alignment as a three-step process: camera response calibration, response linearisation, and colour matching. The proposed model works with non-standard colour references, i.e., colour patches without knowing the true colour values, by utilising a novel balance-of-linear-distances feature. It is equivalent to determining the camera parameters through an unsupervised process. It also works with a minimum number of corresponding colour patches across the images to be colour aligned to deliver the applicable processing. Two challenging image datasets collected by multiple cameras under various illumination and exposure conditions were used to evaluate the model. Performance benchmarks demonstrated that our model achieved superior performance compared to other popular and state-of-the-art methods.


title: Probabilistic Models of k-mer Frequencies (Extended Abstract)

abstract: In this article, we review existing probabilistic models for modeling abundance of fixed-length strings (k-mers) in DNA sequencing data. These models capture dependence of the abundance on various phenomena, such as the size and repeat content of the genome, heterozygosity levels, and sequencing error rate. This in turn allows to estimate these properties from k-mer abundance histograms observed in real data. We also briefly discuss the issue of comparing k-mer abundance between related sequencing samples and meaningfully summarizing the results.


title: Modeling and Forecasting Intraday Market Returns: a Machine Learning Approach

abstract: In this paper we examine the relation between market returns and volatility measures through machine learning methods in a high-frequency environment. We implement a minute-by-minute rolling window intraday estimation method using two nonlinear models: Long-Short-Term Memory (LSTM) neural networks and Random Forests (RF). Our estimations show that the CBOE Volatility Index (VIX) is the strongest candidate predictor for intraday market returns in our analysis, specially when implemented through the LSTM model. This model also improves significantly the performance of the lagged market return as predictive variable. Finally, intraday RF estimation outputs indicate that there is no performance improvement with this method, and it may even worsen the results in some cases.


title: GenShare: Sharing Accurate Differentially-Private Statistics for Genomic Datasets with Dependent Tuples

abstract: Motivation: Cutting the cost of DNA sequencing technology led to a quantum leap in the availability of genomic data. While sharing genomic data across researchers is an essential driver of advances in health and biomedical research, the sharing process is often infeasible due to data privacy concerns. Differential privacy is one of the rigorous mechanisms utilized to facilitate the sharing of aggregate statistics from genomic datasets without disclosing any private individual-level data. However, differential privacy can still divulge sensitive information about the dataset participants due to the correlation between dataset tuples. Results: Here, we propose GenShare model built upon Laplace-perturbation-mechanism-based DP to introduce a privacy-preserving query-answering sharing model for statistical genomic datasets that include dependency due to the inherent correlations between genomes of individuals (i.e., family ties). We demonstrate our privacy improvement over the state-of-the-art approaches for a range of practical queries including cohort discovery, minor allele frequency, and chi^2 association tests. With a fine-grained analysis of sensitivity in the Laplace perturbation mechanism and considering joint distributions, GenShare results near-achieve the formal privacy guarantees permitted by the theory of differential privacy as the queries that computed over independent tuples (only up to 6% differences). GenShare ensures that query results are as accurate as theoretically guaranteed by differential privacy. For empowering the advances in different scientific and medical research areas, GenShare presents a path toward an interactive genomic data sharing system when the datasets include participants with familial relationships.


title: Audio-to-symbolic Arrangement via Cross-modal Music Representation Learning

abstract: Could we automatically derive the score of a piano accompaniment based on the audio of a pop song? This is the audio-to-symbolic arrangement problem we tackle in this paper. A good arrangement model should not only consider the audio content but also have prior knowledge of piano composition (so that the generation "sounds like" the audio and meanwhile maintains musicality). To this end, we contribute a cross-modal representation-learning model, which 1) extracts chord and melodic information from the audio, and 2) learns texture representation from both audio and a corrupted ground truth arrangement. We further introduce a tailored training strategy that gradually shifts the source of texture information from corrupted score to audio. In the end, the score-based texture posterior is reduced to a standard normal distribution, and only audio is needed for inference. Experiments show that our model captures major audio information and outperforms baselines in generation quality.


title: Improving the Behaviour of Vision Transformers with Token-consistent Stochastic Layers

abstract: We introduce token-consistent stochastic layers in vision transformers, without causing any severe drop in performance. The added stochasticity improves network calibration, robustness and strengthens privacy. We use linear layers with token-consistent stochastic parameters inside the multilayer perceptron blocks, without altering the architecture of the transformer. The stochastic parameters are sampled from the uniform distribution, both during training and inference. The applied linear operations preserve the topological structure, formed by the set of tokens passing through the shared multilayer perceptron. This operation encourages the learning of the recognition task to rely on the topological structures of the tokens, instead of their values, which in turn offers the desired robustness and privacy of the visual features. The effectiveness of the token-consistent stochasticity is demonstrated on three different applications, namely, network calibration, adversarial robustness, and feature privacy, by boosting the performance of the respective established baselines.


title: Traversable wormhole inspired by non-commutative geometries in $f(Q)$ gravity with conformal symmetry

abstract: This article is based on the study of wormhole geometries in the context of symmetric teleparallel gravity or $f(Q)$ gravity, where $Q$ is the non-metricity scalar, and it is responsible for the gravitational interaction. To discuss the wormhole solutions, we consider spherically symmetric static spacetime metric with anisotropic matter contents under well-known non-commutative distributions known as Gaussian and Lorentzian distributions with an extra condition of permitting conformal killing vectors (CKV). This work aims to obtain wormhole solutions under these distributions, and through we found that wormhole solutions exist under these Gaussian and Lorentzian sources with viable physical properties. Further, we examine the stability of our obtained solutions through Tolman-Oppenheimer-Volkoff (TOV) equation and found that our calculated results are stable.


title: Quantum secure direct communication with private dense coding using general preshared quantum state

abstract: We study quantum secure direct communication by using a general preshared quantum state and a generalization of dense coding. In this scenario, Alice is allowed to apply a unitary on the preshared state to encode her message, and the set of allowed unitaries forms a group. To decode the message, Bob is allowed to apply a measurement across his own system and the system he receives. In the worst scenario, we guarantee that Eve obtains no information for the message even when Eve access the joint system between the system that she intercepts and her original system of the preshared state. For a practical application, we propose a concrete protocol and derive an upper bound of information leakage in the finite-length setting. We also discuss how to apply our scenario to the case with discrete Weyl-Heisenberg representation when the preshared state is unknown.


title: Estimating a Continuous Treatment Model with Spillovers: A Control Function Approach

abstract: We study a continuous treatment effect model in the presence of treatment spillovers through social networks. We assume that one's outcome is affected not only by his/her own treatment but also by a (weighted) average of his/her neighbors' treatments, both of which are treated as endogenous variables. Using a control function approach with appropriate instrumental variables, we show that the conditional mean potential outcome can be nonparametrically identified. We also consider a more empirically tractable semiparametric model and develop a three-step estimation procedure for this model. As an empirical illustration, we investigate the causal effect of the regional unemployment rate on the crime rate.


title: Aim in Climate Change and City Pollution

abstract: The sustainability of urban environments is an increasingly relevant problem. Air pollution plays a key role in the degradation of the environment as well as the health of the citizens exposed to it. In this chapter we provide a review of the methods available to model air pollution, focusing on the application of machine-learning methods. In fact, machine-learning methods have proved to importantly increase the accuracy of traditional air-pollution approaches while limiting the development cost of the models. Machine-learning tools have opened new approaches to study air pollution, such as flow-dynamics modelling or remote-sensing methodologies.


title: Generalized Appell polynomials and Fueter-Bargmann transforms in the polyanalytic setting

abstract: Tnis paper deals with some special integral transforms in the setting of quaternionic valued slice polyanalytic functions. In particular, using the polyanalytic Fueter mappings it is possible to construct a new family of polynomials which are called the generalized Appell polynomials. Furthermore, the range of the polyanalytic Fueter mappings on two different polyanalytic Fock spaces is characterized. Finally, we study the polyanalytic Fueter-Bargmann transforms.


title: Changes in the distribution of observed annual maximum temperatures in Europe

abstract: In this study we consider the problem of detecting and quantifying changes in the distribution of the annual maximum daily maximum temperature (TXx) in a large gridded data set of European daily temperature during the years 1950-2018. Several statistical models are considered, each of which models TXx using a generalized extreme value (GEV) distribution with the GEV parameters varying smoothly over space. In contrast to several previous studies which fit independent GEV models at the grid box level, our models pull information from neighbouring grid boxes for more efficient parameter estimation. The GEV location and scale parameters are allowed to vary in time using the log of atmospheric CO2 as a covariate. Changes are detected most strongly in the GEV location parameter with the TXx distributions generally shifting towards hotter temperatures. Averaged across our spatial domain, the 100-year return level of TXx based on the 2018 climate is approximately 2{\deg}C hotter than that based on the 1950 climate. Moreover, also averaging across our spatial domain, the 100-year return level of TXx based on the 1950 climate corresponds approximately to a 6-year return level in the 2018 climate.


title: A Virgo Environmental Survey Tracing Ionised Gas Emission (VESTIGE).XI. Two dimensional H$\alpha$ kinematics of the edge-on ram pressure stripped galaxy NGC 4330

abstract: Using the VESTIGE survey, a deep narrow-band H$\alpha$ imaging survey of the Virgo cluster carried on at the CFHT with MegaCam, we discovered a long diffuse tail of ionised gas in the edge-on late-type galaxy NGC 4330. This peculiar feature witnesses an ongoing ram pressure stripping (RPS) event able to remove the gas in the outer disc region. Tuned hydrodynamic simulations suggest that the RPS event is occurring almost face-on, making NGC 4330 the ideal candidate to study the effects of the perturbation in the direction perpendicular to the disc plane. We present here two new independent sets of Fabry-Perot observations (R$\simeq$10000) in order to understand the effects of the RPS process on the ionised gas kinematics. Despite their limited sensitivity to the diffuse gas emission, the data allowed us to measure the velocity and the velocity dispersion fields over the galaxy disc and in several features at the edges or outside the stellar disc formed after the RPS event. We have constructed the position-velocity diagrams and the rotation curves of the galaxy using three different techniques. The data show, consistent with the hydrodynamic simulations, that the galaxy has an inner solid-body rotation up to $\sim$2.4 kpc, with non-circular streaming motions outwards the disc and in the several external features formed during the interaction of the galaxy with the surrounding intracluster medium. The data also indicate a decrease of the rotational velocity of the gas with increasing distance from the galaxy disc along the tails, suggesting a gradual but not linear loss of angular momentum in the stripped gas. Consistent with a RPS scenario, the $i$-band image shows a boxy shape at the southwest edge of the disc, where the stellar orbits might have been perturbed by the modification of the gravitational potential well of the galaxy due to the displacement of the gas in the $z$-direction.


title: Suspended graphene membranes to control Au nucleation and growth

abstract: Control of nucleation sites is an important goal in materials growth: nuclei in regular arrays may show emergent photonic or electronic behavior, and once the nuclei coalesce into thin films, the nucleation density influences parameters such as surface roughness, stress, and grain boundary structure. Tailoring substrate properties to control nucleation is therefore a powerful tool for designing functional thin films and nanomaterials. Here, we examine nucleation control for metals deposited on two-dimensional (2D) materials in a situation where substrate effects are absent and heterogeneous nucleation sites are minimized. Through quantification of faceted, epitaxial Au island nucleation on graphene, we show that ultra-low nucleation densities with nuclei several micrometers apart can be achieved on suspended graphene under conditions where we measure the nucleation density to be 2-3 orders of magnitude higher on the adjacent supported substrate. We estimate diffusion distances using nucleation theory and find a strong sensitivity of nucleation and diffusion to suspended graphene thickness. We suggest that nucleation site density control via substrate tuning may act as a platform for applications where non-lithographic patterning of metals on graphene is beneficial.


title: Conditional Generative Adversarial Networks for Inverse Design of Multi-functional Microwave Metasurfaces

abstract: Electromagnetic (EM) metasurfaces can present a versatile platform for realization of multiple diverse EM functionalities with incident wave frequency, polarization, propagation direction, or power intensity through appropriate choice of unit cells structures. However, the inverse design of multi-functional metasurfaces relies on massive full-wave EM numerical simulations to obtain an optimized solution. This article proposes a step-by-step procedure based on conditional Generative Adversarial Networks (cGANs) integrated with Gramian Angular Fields (GAFs) to reduce the computational time required for the EM simulations in the inverse design of multifunctional microwave metasurfaces. The proposed procedure initially implements GAFs to encode the desired multi-objective scattering parameters to images and then passes them through the cGAN model to map them to three-layer metasurfaces. The present study uses a robust dataset with a wide range of values and designs, including 54,000 metasurface structures and corresponding scattering parameters to train and validate the cGAN model. This article also presents a case study example using a multi-functional metasurface with three independent functionalities and full-space coverage to justify the performance of the proposed procedure in the inverse design of multi-functional microwave metasurfaces. The results demonstrate that the performance of the proposed model is promising, and the proposed procedure can be used to efficiently and accurately design multi-functional metasurfaces.


title: On the Role of Neural Collapse in Transfer Learning

abstract: We study the ability of foundation models to learn representations for classification that are transferable to new, unseen classes. Recent results in the literature show that representations learned by a single classifier over many classes are competitive on few-shot learning problems with representations learned by special-purpose algorithms designed for such problems. In this paper we provide an explanation for this behavior based on the recently observed phenomenon that the features learned by overparameterized classification networks show an interesting clustering property, called neural collapse. We demonstrate both theoretically and empirically that neural collapse generalizes to new samples from the training classes, and -- more importantly -- to new classes as well, allowing foundation models to provide feature maps that work well in transfer learning and, specifically, in the few-shot setting.


title: Jet Physics from the Ground Up

abstract: These are lecture notes presented at the online 2021 QUC Winter School on Energy Frontier hosted by the Korea Institute for Advanced Study. They extend lectures presented at the 2017 and 2018 CTEQ summer schools and the 2020 Hadron Collider Physics Summer School hosted by Fermilab. Jets in quantum chromodynamics (QCD) are motivated from familiar results in classical electricity and magnetism, through identification of structures that exhibit approximate scale invariance. From this point, an effective description of QCD jets is developed from simple assumptions that necessitate all-orders resummation for obtaining finite results. With machine learning becoming an increasingly important tool of particle physics, I discuss its utility exclusively from the biased view for increasing human knowledge. A simple argument that the likelihood for quark versus gluon discrimination is infrared and collinear safe is presented as an example of this approach. End-of-lecture exercises are also provided.


title: Abstract key polynomials and distinguished pairs

abstract: In this paper, for a henselian valued field $(K,v)$ of arbitrary rank and an extension $w$ of $v$ to $K(X),$ we use abstract key polynomials for $w$ to obtain distinguished pairs and saturated distinguished chains.


title: Utilizing Wordnets for Cognate Detection among Indian Languages

abstract: Automatic Cognate Detection (ACD) is a challenging task which has been utilized to help NLP applications like Machine Translation, Information Retrieval and Computational Phylogenetics. Unidentified cognate pairs can pose a challenge to these applications and result in a degradation of performance. In this paper, we detect cognate word pairs among ten Indian languages with Hindi and use deep learning methodologies to predict whether a word pair is cognate or not. We identify IndoWordnet as a potential resource to detect cognate word pairs based on orthographic similarity-based methods and train neural network models using the data obtained from it. We identify parallel corpora as another potential resource and perform the same experiments for them. We also validate the contribution of Wordnets through further experimentation and report improved performance of up to 26%. We discuss the nuances of cognate detection among closely related Indian languages and release the lists of detected cognates as a dataset. We also observe the behaviour of, to an extent, unrelated Indian language pairs and release the lists of detected cognates among them as well.


title: Conformal Blocks and Bilocal Vertex Operator Transition Amplitudes

abstract: We revisit the construction of the 2d conformal blocks of primary operator four-point functions as bilocal vertex operator correlators. We find an additional interpretation as a path integral over the reparametrizations of an intermediate cylinder. As a consequence we bridge the gap between the K\"ahler quantization of virasoro coadjoint orbits, $SL(2,\mathbb{R})$ Chern-Simons theory and the reparametrization formalism of 2d CFT that has made an appearance in recent literature.


title: Type Ia supernovae data with scalar-tensor gravity

abstract: We study the use of type Ia supernovae (SNe Ia) in the context of scalar-tensor theories of gravity, taking as a working example induced gravity, equivalent to Jordan-Brans-Dicke theory. Winking at accurate and precision cosmology, we test the correction introduced by a time variation of the Newton's constant, predicted by scalar-tensor theories, on the SNe distance modulus relation. We find that for induced gravity the coupling parameter is constrained from $\xi < 0.0095$ (95\% CL) using Pantheon SNe data alone down to $\xi < 0.00063$ (95\% CL) in combination with {\em Planck} data release DR3 and a compilation of baryon acoustic oscillations (BAO) measurements from BOSS DR12. In this minimal case the improvements in terms of constraints on the cosmological parameters coming from the addition of SNe data to cosmic microwave background (CMB) and BAO measurements is limited, $\sim7\%$ on the 95\% CL upper bound on $\xi$. Allowing for the value of the gravitational constant today to depart from the Newton constant, we find that the addition of SNe further tightens the constraints obtained by CMB and BAO data on the standard cosmological parameters and by 22\% on the coupling parameter, i.e., $\xi < 0.00064$ at 95\% CL. We finally show that in this class of modified gravity models the use a prior on the absolute magnitude $M_B$ in combination with the Pantheon SNe sample leads to results which are very consistent with those obtained by imposing a prior on $H_0$, as happens for other {\em early-type} models which accommodate a larger value of $H_0$ compared to the $\Lambda$CDM results.


title: Towards Automated Sample Collection and Return in Extreme Underwater Environments

abstract: In this report, we present the system design, operational strategy, and results of coordinated multi-vehicle field demonstrations of autonomous marine robotic technologies in search-for-life missions within the Pacific shelf margin of Costa Rica and the Santorini-Kolumbo caldera complex, which serve as analogs to environments that may exist in oceans beyond Earth. This report focuses on the automation of ROV manipulator operations for targeted biological sample-collection-and-return from the seafloor. In the context of future extraterrestrial exploration missions to ocean worlds, an ROV is an analog to a planetary lander, which must be capable of high-level autonomy. Our field trials involve two underwater vehicles, the SuBastian ROV and the Nereid Under Ice (NUI) hybrid ROV for mixed initiative (i.e., teleoperated or autonomous) missions, both equipped 7-DoF hydraulic manipulators. We describe an adaptable, hardware-independent computer vision architecture that enables high-level automated manipulation. The vision system provides a 3D understanding of the workspace to inform manipulator motion planning in complex unstructured environments. We demonstrate the effectiveness of the vision system and control framework through field trials in increasingly challenging environments, including the automated collection and return of biological samples from within the active undersea volcano, Kolumbo. Based on our experiences in the field, we discuss the performance of our system and identify promising directions for future research.


title: Present status of radiative and rare kaon decays

abstract: I review recent developments in rare and radiative kaon decays from the theory side, with emphasis on those modes that are actively analyzed by the experimental collaborations.


title: Measure-valued affine and polynomial diffusions

abstract: We introduce a class of measure-valued processes, which -- in analogy to their finite dimensional counterparts -- will be called measure-valued polynomial diffusions. We show the so-called moment formula, i.e.~a representation of the conditional marginal moments via a system of finite dimensional linear PDEs. Furthermore, we characterize the corresponding infinitesimal generators and obtain a representation analogous to polynomial diffusions on $\mathbb{R}^m_+$, in cases where their domain is large enough. In general the infinite dimensional setting allows for richer specifications strictly beyond this representation. As a special case we recover measure-valued affine diffusions, sometimes also called Dawson-Watanabe superprocesses. From a mathematical finance point of view the polynomial framework is especially attractive as it allows to transfer the most famous finite dimensional models, such as the Black-Scholes model, to an infinite dimensional measure-valued setting. We outline in particular the applicability of our approach for term structure modeling in energy markets.


title: Rational homogeneous spaces as geometric realizations of birational transformations

abstract: A geometric realization of a birational map $\psi$ among two complex projective varieties is a variety $X$ endowed with a $\mathbb{C}^*$-action inducing $\psi$ as the natural birational map among two extremal geometric quotients. In this paper we study geometric realizations of some classic birational maps --inversion maps, special Cremona transformations, special birational transformations of type $(2,1)$--, by considering $\mathbb{C}^*$-actions on certain rational homogeneous spaces and their subvarieties.


title: Resource-Efficient Deep Learning: A Survey on Model-, Arithmetic-, and Implementation-Level Techniques

abstract: Deep learning is pervasive in our daily life, including self-driving cars, virtual assistants, social network services, healthcare services, face recognition, etc. However, deep neural networks demand substantial compute resources during training and inference. The machine learning community has mainly focused on model-level optimizations such as architectural compression of deep learning models, while the system community has focused on implementation-level optimization. In between, various arithmetic-level optimization techniques have been proposed in the arithmetic community. This article provides a survey on resource-efficient deep learning techniques in terms of model-, arithmetic-, and implementation-level techniques and identifies the research gaps for resource-efficient deep learning techniques across the three different level techniques. Our survey clarifies the influence from higher to lower-level techniques based on our resource-efficiency metric definition and discusses the future trend for resource-efficient deep learning research.


title: A model of quark and lepton compositeness

abstract: In the chiral $SU(15)$ gauge theory presented here, the quarks and leptons are bound states ("prebaryons") of massless preons. The Standard Model charges of the preons imply 3 generations of quarks and leptons, plus some vectorlike fermions lighter than the confining scale $\Lambda_{\rm pre}$. Under certain assumptions about the chiral dynamics, bound states of two prebaryons behave as Higgs fields. The QCD and electroweak groups may unify above $\Lambda_{\rm pre}$, while $SU(15)$ prevents rapid proton decay.


title: Semiclassical resolvent bounds for compactly supported radial potentials

abstract: We employ separation of variables to prove weighted resolvent estimates for the semiclassical Schr\"odinger operator $-h^2 \Delta + V(|x|) - E$ in dimension $n \ge 2$, where $h, \, E > 0$, and $V: [0, \infty) \to \mathbb{R}$ is $L^\infty$ and compactly supported. The weighted resolvent norm grows no faster than $\exp(Ch^{-1})$, while an exterior weighted norm grows $\sim h^{-1}$. We introduce a new method based on the Mellin transform to handle the two-dimensional case.


title: Bounds on Area Involving Lattice Size

abstract: The lattice size of a lattice polygon $P$ was introduced and studied by Schicho, and by Castryck and Cools in relation to the problem of bounding the total degree and the bi-degree of the defining equation of an algebraic curve. In this paper we establish sharp lower bounds on the area of plane convex bodies $P\subset\mathbb{R}^2$ that involve the lattice size of $P$. In particular, we improve bounds established by Arnold, and B\'ar\'any and Pach. We also provide a classification of minimal lattice polygons $P\subset\mathbb{R}^2$ of fixed lattice size $\operatorname{ls_\square}(P)$.


title: Probing isocurvature perturbations with 21-cm global signal in the light of HERA result

abstract: We argue that the 21-cm global signal can be a powerful probe of isocurvature perturbations, particularly for the ones with blue-tilted spectra. Although the 21-cm global signal is much affected by astrophysical processes, which give some uncertainties when cosmological models are investigated, recent results from HERA have constrained several astrophysical parameters, whose information can reduce the ambiguities originating from astrophysics. We show that the size and spectral tilt of isocurvature perturbations can be well inferred from the 21-cm global signal once the information on astrophysics from the HERA results is taken into account.


abstract: Let $G$ be a simple graph on $n$ vertices and let $J_{G,m}$ be the generalized binomial edge ideal associated to $G$ in the polynomial ring $K[x_{ij}, 1\le i \le m, 1\le j \le n]$. We classify the Cohen-Macaulay generalized binomial edge ideals. Moreover we study the unmixedness and classify the bipartite and power cycle unmixed ones.


title: Subcomplexes of Certain Free Resolutions

abstract: What are the subcomplexes of a free resolution? This question is simple to state, but the naive approach leads to a computational quagmire that is infeasible even in small cases. In this paper, we invoke the Bernstein--Gelfand--Gelfand (BGG) correspondence to address this question for free resolutions given by two well-known complexes, the Koszul and the Eagon--Northcott. This novel approach provides a complete characterization of the ranks of free modules in a subcomplex in the Koszul case and imposes numerical restrictions in the Eagon--Northcott case.


title: Algebras of integrals of motion for the Hamilton-Jacobi and Klein-Gordon-Fock equations in spacetime with a four-parameter groups of motions in the presence of an external electromagnetic field

abstract: The algebras of the integrals of motion of the Hamilton-Jacobi and Klein-Gordon-Fock equations for a charged test particle moving in an external electromagnetic field in a spacetime manifold are found. The manifold admits a four-parameter groups of motions that act nontransitively on the spacetime. All admissible electromagnetic fields for which such algebras exist are found. In the case of an arbitrary n-dimensional Riemannian space on which the group of motions acts, it is proved that the admissible field does not deform the algebra of symmetry operators of the free Hamilton-Jacobi and Klein-Gordon-Fock equations. In addition, the system of differential equations, which must be satisfied by the potentials of the admissible electromagnetic field, have been investigated for compatibility.


title: Finding the Task-Optimal Low-Bit Sub-Distribution in Deep Neural Networks

abstract: Quantized neural networks typically require smaller memory footprints and lower computation complexity, which is crucial for efficient deployment. However, quantization inevitably leads to a distribution divergence from the original network, which generally degrades the performance. To tackle this issue, massive efforts have been made, but most existing approaches lack statistical considerations and depend on several manual configurations. In this paper, we present an adaptive-mapping quantization method to learn an optimal latent sub-distribution that is inherent within models and smoothly approximated with a concrete Gaussian Mixture (GM). In particular, the network weights are projected in compliance with the GM-approximated sub-distribution. This sub-distribution evolves along with the weight update in a co-tuning schema guided by the direct task-objective optimization. Sufficient experiments on image classification and object detection over various modern architectures demonstrate the effectiveness, generalization property, and transferability of the proposed method. Besides, an efficient deployment flow for the mobile CPU is developed, achieving up to 7.46$\times$ inference acceleration on an octa-core ARM CPU. Our codes have been publicly released at \url{https://github.com/RunpeiDong/DGMS}.


title: Broader Universality of Rogue Waves of Infinite Order

abstract: We show that the same special solution of the focusing nonlinear Schr\"{o}dinger equation that has been shown to arise in a certain near-field/large-order limit from soliton and Peregrine-like rogue wave solutions actually arises universally from an arbitrary background solution when subjected to a sequence of iterated B\"{a}cklund transformations.


title: Synthetic topology and Floquet dynamic quantum phase transition in a periodically driven Raman lattice

abstract: Stimulated by the recent progress in engineering topological band structures in cold atomic gases, we study the dynamic topological phenomena for atoms loaded in a periodically driven optical lattice. When the frequency of the periodic modulation is low, the time-dependent Hamiltonian can be mapped to a two-dimensional topological insulator, with the discretized frequency components playing the role of an additional, synthetic dimension. In the high-frequency limit, we derive the effective Floquet Hamiltonian of the system, and reveal the occurrence of Floquet dynamic quantum phase transitions -- an emergent topological phenomenon in the micromotion of the Floquet dynamics. Addressing the relation between the topology of the effective Floquet Hamiltonian and the presence of dynamic topological phenomena, we demonstrate that the topologically non-trivial nature of the Floquet Hamiltonian is a sufficient but not necessary condition for the onset of the Floquet dynamic quantum phase transition. We further discuss the relation of the topology of the Floquet Hamiltonian with the existence of dynamic skyrmion structures in the emergent momentum-time manifold of the micromotion, as well as the fate of these dynamic topological phenomena when the modulation frequency decreases away from the high-frequency limit. Finally, making use of the rich level structures of $^{171}$Yb atoms, we show that the system under study can be implemented in a one-dimensional Raman lattice where states in the $^1S_0$ ground-state manifold are coupled by Raman beams with periodically modulated amplitudes.


title: How to Construct the Lattice of Submodules of a Multiplicity free Module from Partial Information

abstract: In general it is a difficult problem to construct the lattice of submodules $L(M)$ of a given module $M$. In \cite{St} R. P. Stanley outlined a method for constucting a distributive lattice from a knowledge of its join irreducibles. However it is not an easy task to identify all join irreducible submodules of a given module. In the case of a multiplicity free module $M$ we present a modifiiction of Stanley's method based on the composition factors of $M$. As input we require a set of submodules $A_1,\ldots , A_n$ whose submodule lattices are known and which contain all composition factors of $M$. From this we can reconstruct $L(M)$. We illustrate the process for a family of Verma modules $M(\gl_n)$, with $n $ a positive integer, for the Lie superalgebra $\osp(3,2)$. We show that for $n\ge 2$, $L(M(\gl_n))$ is isomorphic to the (extended) free distributive lattice of rank 3.


title: Boosting the performance of anomalous diffusion classifiers with the proper choice of features

abstract: Understanding and identifying different types of single molecules' diffusion that occur in a broad range of systems (including living matter) is extremely important, as it can provide information on the physical and chemical characteristics of particles' surroundings. In recent years, an ever-growing number of methods have been proposed to overcome some of the limitations of the mean-squared displacements approach to tracer diffusion. In March 2020, the Anomalous Diffusion (AnDi) Challenge was launched by a community of international scientists to provide a framework for an objective comparison of the available methods for anomalous diffusion. In this paper, we introduce a feature-based machine learning method developed in response to Task 2 of the challenge, i.e. the classification of different types of diffusion. We discuss two sets of attributes that may be used for the classification of single-particle tracking data. The first one was proposed as our contribution to the AnDi Challenge. The latter is the result of our attempt to improve the performance of the classifier after the deadline of the competition. Extreme gradient boosting was used as the classification model. Although the deep-learning approach constitutes the state-of-the-art technology for data classification in many domains, we deliberately decided to pick this traditional machine learning algorithm due to its superior interpretability. After the extension of the feature set our classifier achieved the accuracy of 0.83, which is comparable with the top methods based on neural networks.


title: On Extraction of Twist-Two Compton Form Factors from DVCS Observables Through Harmonic Analysis

abstract: We investigate the exercise of locally extracting the real and imaginary parts of the four twist-2 Compton form factors (CFFs) $\{\mathcal{H},\mathcal{E},\widetilde{\mathcal{H}},\widetilde{\mathcal{E}}\}$ which arise in the deeply virtual Compton scattering (DVCS) process $e + p \rightarrow e + p + \gamma$. Neglecting dynamical higher-twist contributions, we find that there are a sufficient number of DVCS observables and degrees of freedom to extract all 8 leading quantities model-independently, exploiting the azimuthal dependence of the absolute cross sections across all possible beam and target polarizations at a common kinematical point in $\{Q,t,x_B,y\}$. As an example, for typical JLab lab-frame kinematics, we simplify the reduced DVCS observables to their dominant terms, providing a sufficient number of equations for local determination of the twist-2 CFFs. We demonstrate the feasibility using harmonic fitting to both cross sections and beam spin asymmetries with both real and pseudo-data.


title: Weak Approximation for $0$-cycles on a product of elliptic curves

abstract: In the 1980's Colliot-Th\'{e}l\`{e}ne, Sansuc, Kato and S. Saito proposed conjectures related to local-to-global principles for $0$-cycles on arbitrary smooth projective varieties over a number field. We give some evidence for these conjectures for a product $X=E_1\times E_2$ of two elliptic curves. In the special case when $X=E\times E$ is the self-product of an elliptic curve $E$ over $\mathbb{Q}$ with potential complex multiplication, we show that the places of good ordinary reduction are often involved in a Brauer-Manin obstruction for $0$-cycles over a finite base change. We give many examples when these $0$-cycles can be lifted to global ones.


title: Travelling waves for Maxwell's equations in nonlinear and nonsymmetric media

abstract: We look for travelling wave fields $$ E(x,y,z,t)= U(x,y) \cos(kz+\omega t)+ \widetilde U(x,y)\sin(kz+\omega t),\quad (x,y,z)\in\mathbb{R}^3,\, t\in\mathbb{R} $$ satisfying Maxwell's equations in a nonlinear medium which is not necessarily cylindrically symmetric. The nonlinearity of the medium enters Maxwell's equations by postulating a nonlinear material law $D=\varepsilon E+\chi(x,y, \langle |E|^2\rangle)E$ between the electric field $E$, its time averaged intensity $\langle |E|^2\rangle$ and the electric displacement field $D$. We derive a new semilinear elliptic problem for the profiles $U,\widetilde U:\mathbb{R}^2\to\mathbb{R}^3$ $$Lu-V(x,y)u=f(x,y,u)\quad\hbox{with }u=\begin{pmatrix} U \\ \widetilde U \end{pmatrix}, \hbox{ for }(x,y)\in\mathbb{R}^2,$$ where $f(x,y,u)=\omega^2\chi(x,y, |u|^2)u$. Solving this equation we can obtain exact travelling wave solutions of the underlying nonlinear Maxwell equations. We are able to deal with super quadratic and subcritical focusing effects, e.g. in the Kerr-like materials with the nonlinear susceptibility of the form $\chi(x,y,\langle |E^2|\rangle E) = \chi^{(3)}(x,y)\langle |E|^2\rangle E$. A variational approach is presented for the semilinear problem. The energy functional associated with the equation is strongly indefinite, since $L$ contains an infinite dimensional kernel. The methods developed in this paper may be applicable to other strongly indefinite elliptic problems and other nonlinear phenomena.


title: An Automatically Verified Prototype of a Landing Gear System

abstract: In this paper we show how $\{log\}$ (read `setlog'), a Constraint Logic Programming (CLP) language based on set theory, can be used as an automated verifier for B specifications. In particular we encode in $\{log\}$ an Event-B specification, developed by Mammar and Laleau, of the case study known as the Landing Gear System (LGS). Next we use $\{log\}$ to discharge all the proof obligations proposed in the Event-B specification by the Rodin platform. In this way, the $\{log\}$ program can be regarded as an automatically verified prototype of the LGS. We believe this case study provides empirical evidence on how CLP and set theory can be used in tandem as a vehicle for program verification.


title: W*-representations of subfactors and restrictions on the Jones index

abstract: A {\it W$^*$-representation} of a II$_1$ subfactor $N\subset M$ with finite Jones index, $[M:N]<\infty$, is a non-degenerate commuting square embedding of $N\subset M$ into an inclusion of atomic von Neumann algebras $\oplus_{i\in I} \Cal B(\Cal K_i)=\Cal N \subset^{\Cal E} \Cal M=\oplus_{j\in J} \Cal B(\Cal H_j)$. We undertake here a systematic study of this notion, first introduced in [P92], giving examples and considering invariants such as the (bipartite) {\it inclusion graph} $\Lambda_{\Cal N \subset \Cal M}$, the {\it coupling vector} $(\text{\rm dim}(_M\Cal H_j))_j$ and the {\it RC-algebra} (relative commutant) $M'\cap \Cal N$, for which we establish some basic properties. We then prove that if $N\subset M$ admits a W$^*$-representation $\Cal N\subset^{\Cal E}\Cal M$, with the expectation $\Cal E$ preserving a semifinite trace on $\Cal M$, such that there exists a norm one projection of $\Cal M$ onto $M$ commuting with $\Cal E$, a property of $N\subset M$ that we call {\it weak injectivity/amenability}, then $[M:N]$ equals the square norm of the inclusion graph $\Lambda_{\Cal N \subset \Cal M}$.


title: The parabolic Verlinde formula: iterated residues and wall-crossings

abstract: We give a new proof for the parabolic Verlinde formula in all ranks based on a comparison of wall-crossings in Geometric Invariant Theory and certain iterated residue functionals. On the way, we develop a tautological variant of Hecke correspondences, calculate the Hilbert polynomials of the moduli spaces, and present a new, transparent, local approach to the rho-shift problem of the theory.


title: Freehedra are short

abstract: We prove the combinatorial property of shortness for freehedra. Note that associahedra, a sibling family of polytopes, are not short.


title: From Behavioral Theories to Econometrics: Inferring Preferences of Human Agents from Data on Repeated Interactions

abstract: We consider the problem of estimating preferences of human agents from data of strategic systems where the agents repeatedly interact. Recently, it was demonstrated that a new estimation method called "quantal regret" produces more accurate estimates for human agents than the classic approach that assumes that agents are rational and reach a Nash equilibrium; however, this method has not been compared to methods that take into account behavioral aspects of human play. In this paper we leverage equilibrium concepts from behavioral economics for this purpose and ask how well they perform compared to the quantal regret and Nash equilibrium methods. We develop four estimation methods based on established behavioral equilibrium models to infer the utilities of human agents from observed data of normal-form games. The equilibrium models we study are quantal-response equilibrium, action-sampling equilibrium, payoff-sampling equilibrium, and impulse-balance equilibrium. We show that in some of these concepts the inference is achieved analytically via closed formulas, while in the others the inference is achieved only algorithmically. We use experimental data of 2x2 games to evaluate the estimation success of these behavioral equilibrium methods. The results show that the estimates they produce are more accurate than the estimates of the Nash equilibrium. The comparison with the quantal-regret method shows that the behavioral methods have better hit rates, but the quantal-regret method performs better in terms of the overall mean squared error, and we discuss the differences between the methods.


title: Complexity in the interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime

abstract: Interdefinability of timelike, lightlike and spacelike relatedness of Minkowski spacetime is investigated in detail in the paper, with the aim of finding the simplest definitions. Based on ideas scattered in the literature, definitions are given between any two of these relations that use only 4 variables. All these definitions work over arbitrary Euclidean fields in place of the field of reals, if the dimension n of spacetime is greater than two. If n=2, the definitions work over arbitrary ordered fields except the ones based on lightlike relatedness (where no definition can work by symmetry). None of these relations can be defined from another one using only 3 variables. Our four-variable definitions use only one universal and one existential quantifiers in a specific order. In some of the cases, we show that the order of these quantifiers can be reversed for the price of using twice as many quantifiers. Except two cases, we provide existential/universal definitions using 5 variables or show that no existential/universal definition exists. There are no existential/universal definitions between any two of these relations using only 4 variables. It remains open whether there is an existential (universal) definition of timelike (lightlike) relatedness from spacelike relatedness if $n>2$. Finally, several other open problems related to the quantifier complexity of the simplest possible definitions are given.


title: DPG methods for a fourth-order div problem

abstract: We study a fourth-order div problem and its approximation by the discontinuous Petrov-Galerkin method with optimal test functions. We present two variants, based on first and second-order systems. In both cases we prove well-posedness of the formulation and quasi-optimal convergence of the approximation. Our analysis includes the fully-discrete schemes with approximated test functions, for general dimension and polynomial degree in the first-order case, and for two dimensions and lowest-order approximation in the second-order case. Numerical results illustrate the performance for quasi-uniform and adaptively refined meshes.