title: History Determinism vs. Good for Gameness in Quantitative Automata

abstract: Automata models between determinism and nondeterminism/alternations can retain some of the algorithmic properties of deterministic automata while enjoying some of the expressiveness and succinctness of nondeterminism. We study three closely related such models -- history determinism, good for gameness and determinisability by pruning -- on quantitative automata. While in the Boolean setting, history determinism and good for gameness coincide, we show that this is no longer the case in the quantitative setting: good for gameness is broader than history determinism, and coincides with a relaxed version of it, defined with respect to thresholds. We further identify criteria in which history determinism, which is generally broader than determinisability by pruning, coincides with it, which we then apply to typical quantitative automata types. As a key application of good for games and history deterministic automata is synthesis, we clarify the relationship between the two notions and various quantitative synthesis problems. We show that good-for-games automata are central for "global" (classical) synthesis, while "local" (good-enough) synthesis reduces to deciding whether a nondeterministic automaton is history deterministic.


title: Sharding and HTTP/2 Connection Reuse Revisited: Why Are There Still Redundant Connections?

abstract: HTTP/2 and HTTP/3 avoid concurrent connections but instead multiplex requests over a single connection. Besides enabling new features, this reduces overhead and enables fair bandwidth sharing. Redundant connections should hence be a story of the past with HTTP/2. However, they still exist, potentially hindering innovation and performance. Thus, we measure their spread and analyze their causes in this paper. We find that 36% - 72% of the 6.24M HTTP Archive and 78% of the Alexa Top 100k websites cause Chromium-based webbrowsers to open superfluous connections. We mainly attribute these to domain sharding, despite HTTP/2 efforts to revert it, and DNS load balancing, but also the Fetch Standard.


title: 2nd Place Solution for VisDA 2021 Challenge -- Universally Domain Adaptive Image Recognition

abstract: The Visual Domain Adaptation (VisDA) 2021 Challenge calls for unsupervised domain adaptation (UDA) methods that can deal with both input distribution shift and label set variance between the source and target domains. In this report, we introduce a universal domain adaptation (UniDA) method by aggregating several popular feature extraction and domain adaptation schemes. First, we utilize VOLO, a Transformer-based architecture with state-of-the-art performance in several visual tasks, as the backbone to extract effective feature representations. Second, we modify the open-set classifier of OVANet to recognize the unknown class with competitive accuracy and robustness. As shown in the leaderboard, our proposed UniDA method ranks the 2nd place with 48.56% ACC and 70.72% AUROC in the VisDA 2021 Challenge.


title: Dynamic population-based meta-learning for multi-agent communication with natural language

abstract: In this work, our goal is to train agents that can coordinate with seen, unseen as well as human partners in a multi-agent communication environment involving natural language. Previous work using a single set of agents has shown great progress in generalizing to known partners, however it struggles when coordinating with unfamiliar agents. To mitigate that, recent work explored the use of population-based approaches, where multiple agents interact with each other with the goal of learning more generic protocols. These methods, while able to result in good coordination between unseen partners, still only achieve so in cases of simple languages, thus failing to adapt to human partners using natural language. We attribute this to the use of static populations and instead propose a dynamic population-based meta-learning approach that builds such a population in an iterative manner. We perform a holistic evaluation of our method on two different referential games, and show that our agents outperform all prior work when communicating with seen partners and humans. Furthermore, we analyze the natural language generation skills of our agents, where we find that our agents also outperform strong baselines. Finally, we test the robustness of our agents when communicating with out-of-population agents and carefully test the importance of each component of our method through ablation studies.


title: Tight FPT Approximation for Constrained k-Center and k-Supplier

abstract: In this work, we study a range of constrained versions of the $k$-supplier and $k$-center problems such as: capacitated, fault-tolerant, fair, etc. These problems fall under a broad framework of constrained clustering. A unified framework for constrained clustering was proposed by Ding and Xu [SODA 2015] in context of the $k$-median and $k$-means objectives. In this work, we extend this framework to the $k$-supplier and $k$-center objectives. This unified framework allows us to obtain results simultaneously for the following constrained versions of the $k$-supplier problem: $r$-gather, $r$-capacity, balanced, chromatic, fault-tolerant, strongly private, $\ell$-diversity, and fair $k$-supplier problems, with and without outliers. We obtain the following results: We give $3$ and $2$ approximation algorithms for the constrained $k$-supplier and $k$-center problems, respectively, with $\mathsf{FPT}$ running time $k^{O(k)} \cdot n^{O(1)}$, where $n = |C \cup L|$. Moreover, these approximation guarantees are tight; that is, for any constant $\epsilon>0$, no algorithm can achieve $(3-\epsilon)$ and $(2-\epsilon)$ approximation guarantees for the constrained $k$-supplier and $k$-center problems in $\mathsf{FPT}$ time, assuming $\mathsf{FPT} \neq \mathsf{W}[2]$. Furthermore, we study these constrained problems in outlier setting. Our algorithm gives $3$ and $2$ approximation guarantees for the constrained outlier $k$-supplier and $k$-center problems, respectively, with $\mathsf{FPT}$ running time $(k+m)^{O(k)} \cdot n^{O(1)}$, where $n = |C \cup L|$ and $m$ is the number of outliers.


title: Online Selective Classification with Limited Feedback

abstract: Motivated by applications to resource-limited and safety-critical domains, we study selective classification in the online learning model, wherein a predictor may abstain from classifying an instance. For example, this may model an adaptive decision to invoke more resources on this instance. Two salient aspects of the setting we consider are that the data may be non-realisable, due to which abstention may be a valid long-term action, and that feedback is only received when the learner abstains, which models the fact that reliable labels are only available when the resource intensive processing is invoked. Within this framework, we explore strategies that make few mistakes, while not abstaining too many times more than the best-in-hindsight error-free classifier from a given class. That is, the one that makes no mistakes, while abstaining the fewest number of times. We construct simple versioning-based schemes for any $\mu \in (0,1],$ that make most $T^\mu$ mistakes while incurring \smash{$\tilde{O}(T^{1-\mu})$} excess abstention against adaptive adversaries. We further show that this dependence on $T$ is tight, and provide illustrative experiments on realistic datasets.


title: The origin of indistinguishability of quantum features in an interferometric system

abstract: One of the most fundamental quantum features is the two-photon intensity correlation on a beam splitter, resulting in photon bunching into either output port. According to the conventional understanding of quantum mechanics, the origin of photon bunching on a beam splitter is in the indistinguishable characteristics between coincident photons, resulting in destructive quantum interference even without a clear definition of phase information of the paired photons. Here, a completely different approach is presented for the same quantum feature, where a strong mutual phase dependency is the essential requirement for the nonclassical feature of photon bunching. This definite phase relationship is now understood as the origin of this quantum feature resulting from the phase-basis superposition of the photon-BS system, resulting in photon indistinguishability. On behalf of a coherent model with a single input-port BS system, an extended scheme of a Mach-Zehnder interferometer is additionally analyzed for the validity of forbidden phase-basis superposition in the quantum feature.


title: Capturing Dynamics of Information Diffusion in SNS: A Survey of Methodology and Techniques

abstract: Studying information diffusion in SNS (Social Networks Service) has remarkable significance in both academia and industry. Theoretically, it boosts the development of other subjects such as statistics, sociology, and data mining. Practically, diffusion modeling provides fundamental support for many downstream applications (\textit{e.g.}, public opinion monitoring, rumor source identification, and viral marketing.) Tremendous efforts have been devoted to this area to understand and quantify information diffusion dynamics. This survey investigates and summarizes the emerging distinguished works in diffusion modeling. We first put forward a unified information diffusion concept in terms of three components: information, user decision, and social vectors, followed by a detailed introduction of the methodologies for diffusion modeling. And then, a new taxonomy adopting hybrid philosophy (\textit{i.e.,} granularity and techniques) is proposed, and we made a series of comparative studies on elementary diffusion models under our taxonomy from the aspects of assumptions, methods, and pros and cons. We further summarized representative diffusion modeling in special scenarios and significant downstream tasks based on these elementary models. Finally, open issues in this field following the methodology of diffusion modeling are discussed.


title: A Subgrid Turbulent Mean Field Dynamo Model for Cosmological Galaxy Formation Simulations

abstract: Magnetic fields have been included in cosmological simulations of galaxy formation only recently, due to advances in numerical techniques and a better understanding of the galaxy formation physics. In this paper, we develop a new subgrid model for the turbulent dynamo that takes place in the supersonic interstellar medium in star-forming galaxies. It is based on a mean-field approach that computes the turbulent kinetic energy at unresolved scales (the so-called subgrid scales) and modifies the induction equation to account for the corresponding $\alpha$ dynamo. Our subgrid model depends on one free parameter, the quenching parameter, that controls the saturation of the subgrid dynamo. Thanks to this mean-field approach, we can now model the fast amplification of the magnetic field inside turbulent star-forming galaxies, without relying on artificially strong initial fields or without using prohibitively expensive high-resolution simulations. We show that the evolution of the magnetic field in our zoom-in Milky Way-like galaxy is consistent with a simple picture, in which the field is in equipartition with the turbulent kinetic energy inside the star-forming disc, with a field strength around 10 $\mu$G at low redshift, while at the same time strong galactic outflows fill the halo with a slightly weaker magnetic field, whose strength (10 nG) is consistent will the ideal MHD dilution factor. Our results are in good agreement with recent theoretical and numerical predictions. We also compare our simulation with Faraday depth observations at both low and high redshift, seeing overall good agreement with some caveats. Our model naturally predicts stronger magnetic fields at high redshift (around 100 $\mu$G in the galaxy and 1 $\mu$G in the halo), but also stronger depolarisation effects due to stronger turbulence at early time.


title: Quantum Fourier-transform infrared spectroscopy in the fingerprint region

abstract: Harnessing the quantum interference of photon-pair generation processes, infrared quantum absorption spectroscopy (IRQAS) can extract the infrared optical properties of a sample through visible or near-infrared photon detection without the need for an infrared optical source or detector, which has been an obstacle for higher sensitivity and spectrometer miniaturization. However, experimental demonstrations have been limited to wavelengths shorter than 5 um or in the terahertz region, and have not been realized in the so-called fingerprint region of 1500- 500 cm^-1 (6.6 to 20 um), which is commonly used to identify chemical compounds or molecules. Here we report the experimental demonstration of quantum Fourier transform infrared (QFTIR) spectroscopy in the fingerprint region, by which both absorption and phase spectra (complex spectra) can be obtained from Fourier transformed quantum interferograms obtained with a single pixel visible-light detector. As demonstrations, we obtained the transmittance spectrum of a silicon wafer at around 10 um (1000 cm^-1) and complex transmittance spectrum of a synthetic fluoropolymer sheet, polytetrafluoroethylene, in the wavelength range of 8 to 10.5 um (1250 to 950 cm^-1), where absorption due to symmetric and asymmetric stretching modes of C-F bonds is clearly observed. The signal-to-noise ratio per unit spectral width and unit probe light intensity of our QFTIR spectroscopy method outperforms conventional FTIR spectroscopy by a factor of 10^2. These results open the way for new forms of spectroscopic devices based on quantum technologies.


title: Learning Domain Invariant Representations in Goal-conditioned Block MDPs

abstract: Deep Reinforcement Learning (RL) is successful in solving many complex Markov Decision Processes (MDPs) problems. However, agents often face unanticipated environmental changes after deployment in the real world. These changes are often spurious and unrelated to the underlying problem, such as background shifts for visual input agents. Unfortunately, deep RL policies are usually sensitive to these changes and fail to act robustly against them. This resembles the problem of domain generalization in supervised learning. In this work, we study this problem for goal-conditioned RL agents. We propose a theoretical framework in the Block MDP setting that characterizes the generalizability of goal-conditioned policies to new environments. Under this framework, we develop a practical method PA-SkewFit that enhances domain generalization. The empirical evaluation shows that our goal-conditioned RL agent can perform well in various unseen test environments, improving by 50% over baselines.


title: Impact of Orientation Misalignments on Black Phosphorus Ultrascaled Field-effect Transistors

abstract: Two-dimensional materials with strong bandstructure anisotropy such as black phosphorus BP have been identified as attractive candidates for logic application due to their potential high carrier velocity and large density-of-states. However, perfectly aligning the source-to-drain axis with the desired crystal orientation remains an experimental challenge. In this paper, we use an advanced quantum transport approach from first-principle to shed light on the influence of orientation misalignments on the performance of BP-based field-effect transistors. Both $n$-and $p$-type configurations are investigated for six alignment angles, in the ballistic limit of transport and in the presence of electron-phonon and charged impurity scattering. It is found that up to deviations of $50^{\circ}$ from the optimal angle, the ON-state current only decreases by $30\%$. This behavior is explained by considering a single bandstructure parameter, the effective mass along transport direction.


title: On an Average Goldbach Representation Formula of Fujii

abstract: Fujii obtained a formula for the average number of Goldbach representations with lower order terms expressed as a sum over the zeros of the Riemann zeta-function and a smaller error term. This assumed the Riemann Hypothesis. We obtain an unconditional version of this result, and obtain applications conditional on various conjectures on zeros of the Riemann zeta-function.


title: Planar Hall effect in Cu intercalated PdTe$_2$

abstract: We present the Planar Hall effect studies on the Cu intercalated type-II Dirac semimetal PdTe$_{2}$. The electrical resistivity exhibits a positive field dependence both in perpendicular and parallel field directions, causing non-zero anisotropy. The longitudinal magnetoresistance shows almost linear field dependence at low temperatures. A tilted prolate spheroid shaped orbits are observed in parametric plot between transverse and longitudinal resistivities. Our study suggest that for the type-II Dirac semimetal materials with positive longitudinal magnetoresistance, the origin of Planar Hall effect cannot be asserted with certainty to the topological or non-topological without taking into account the anisotropy of Fermi surface.


title: Manipulation of Jeff=3/2 states by tuning the tetragonal distortion

abstract: The spin-orbit entangled quantum states in 4d/5d compounds, e.g., the Jeff=1/2 and Jeff=3/2 states, have attracted great interests for their unique physical roles in unconventional superconductivity and topological states. Here, the key role of tetragonal distortion is clarified, which determines the ground states of 4d1/5d1 systems to be the Jeff=3/2 one (e.g. K2NbCl6) or S=1/2 one (e.g. Rb2NbCl6). By tuning the tetragonal distortion via epitaxial strain, the occupation weights of dxy/dyz/dxz orbitals can be subtly modulated, competing with the spin-orbit coupling. Consequently, quantum phase transitions between S=1/2 state and Jeff=3/2 state, as well as between different Jeff=3/2 states, can be achieved, resulting in significant changes of local magnetic moments. Our prediction points out a reliable route to engineer new functionality of Jeff states in these quantum materials.


title: Possible $P$- wave $D_s\bar{D}_{s0}(2317)$ molecular state $Y^{'}(4274)$

abstract: Stimulated by the measurement of the $J\psi\phi$ decay model of $Y(4274)$ by the LHCb Collaboration, we consider a possible interpretation of this state as a hadron molecular-a bound state of $D_s$ and $\bar{D}_{s0}(2317)$ mesons. Using effective Lagrangian approach, we calculate the two-body strong decay channels $Y(4274)\to{}J/\psi\phi,\chi_{c0}\eta,\chi_{c0}\eta,D^{*}_s\bar{D}_s$, $D\bar{D}^{*}$, $K\bar{K}^{*}$, and $\phi\phi$ through hadronic loops and three-body decays into $\pi^0{}D_s\bar{D}_s$. In comparison with the LHCb data, our results show that $Y(4274)$ cannot be assigned to be a $D_s\bar{D}_{s0}(2317)$ molecular state. The calculated partial decay widths with $J^P=1^{+}$ $D_s\bar{D}_{s0}$ molecular state picture indicates that allowed decay modes, $\chi_{c0}\eta$ and $\chi_{c1}\eta$, may have the smallest branching ratio and are of the order of 0.0 MeV. Future experimental measurements of such two processes can be quite useful to test the different interpretations of the $Y(4274)$. If $P-$wave $D_s\bar{D}_{s0}$ molecular exist [we marked as $Y^{'}(4274)$], the total decay is at the order of 1.06-1.84 MeV, which seems to be within the reach of the current experiments such as Belle II. In addition, the calculated partial decay widths indicate that allowed decay mode, $D\bar{D}^{*}$, may have the biggest branching ratio. The experimental measurements for this strong decay process could be a crucial to observe such a new state $Y^{'}(4274)$.


title: Multilayer Lookahead: a Nested Version of Lookahead

abstract: In recent years, SGD and its variants have become the standard tool to train Deep Neural Networks. In this paper, we focus on the recently proposed variant Lookahead, which improves upon SGD in a wide range of applications. Following this success, we study an extension of this algorithm, the \emph{Multilayer Lookahead} optimizer, which recursively wraps Lookahead around itself. We prove the convergence of Multilayer Lookahead with two layers to a stationary point of smooth non-convex functions with $O(\frac{1}{\sqrt{T}})$ rate. We also justify the improved generalization of both Lookahead over SGD, and of Multilayer Lookahead over Lookahead, by showing how they amplify the implicit regularization effect of SGD. We empirically verify our results and show that Multilayer Lookahead outperforms Lookahead on CIFAR-10 and CIFAR-100 classification tasks, and on GANs training on the MNIST dataset.


title: Detection of Molecular Transitions with Nitrogen-Vacancy Centers and Electron-Spin Labels

abstract: We present a protocol that detects molecular conformational changes with two nitroxide electron-spin labels and a nitrogen-vacancy (NV) center in diamond. More specifically, we demonstrate that the NV can detect energy shifts induced by the coupling between electron-spin labels. The protocol relies on the judicious application of microwave and radiofrequency pulses in a range of parameters that ensures stable nitroxide resonances. Furthermore, we demonstrate that our scheme is optimized by using nitroxides with distinct nitrogen isotopes. We use detailed numerical simulations and Bayesian inference techniques to demonstrate that our method enables the detection of conformational changes under realistic conditions including strong NV dephasing rates as a consequence of the diamond surface proximity and nitroxide thermalization mechanisms. Finally, we show that random molecular tumbling can be exploited to extract the inter-label distance.


title: Cascaded Classifier for Pareto-Optimal Accuracy-Cost Trade-Off Using off-the-Shelf ANNs

abstract: Machine-learning classifiers provide high quality of service in classification tasks. Research now targets cost reduction measured in terms of average processing time or energy per solution. Revisiting the concept of cascaded classifiers, we present a first of its kind analysis of optimal pass-on criteria between the classifier stages. Based on this analysis, we derive a methodology to maximize accuracy and efficiency of cascaded classifiers. On the one hand, our methodology allows cost reduction of 1.32x while preserving reference classifier's accuracy. On the other hand, it allows to scale cost over two orders while gracefully degrading accuracy. Thereby, the final classifier stage sets the top accuracy. Hence, the multi-stage realization can be employed to optimize any state-of-the-art classifier.


title: Forward modelling of heating within a coronal arcade

abstract: Aims. We investigate the synthetic observational signatures from numerical models of coronal heating in an arcade to determine what features are associated with such heating, and what tools can be used to identify them. Methods. We consider two simulations of coronal arcades driven by footpoint motions with different characteristic timescales. Forward modelling is then used, and the synthetic emission data is analysed. Results. The total intensity and Doppler velocities clearly show the magnetic structure of the coronal arcade. Contrasts in the local Doppler shift also highlight the locations of separatrix surfaces. The distinguishing feature of the AC and DC models is that of the frequencies. Through FFT analysis of the Doppler velocities, when short timescale footpoint motions are present, higher frequencies are observed. For longer timescale motions, the dominant signal is that of lower frequencies; however, higher frequencies were also detected, which matched the natural Alfv\'en frequency of the background magnetic field. Alfv\'enic wave signatures were identified in both models with fast wave signatures observable in the AC model. Finally, the estimates of the kinetic energy using the Doppler shifts were found to significantly underestimate within these models. Conclusions. Observables identified within this article were from features such as Alfv\'en waves, fast waves, the arcade structure and separatrix surfaces. The two models were differentiated by examining the frequencies present. The Doppler velocities cannot provide accurate estimates of the total kinetic energy or the component parallel to the LOS. This is due to some plasma outside the formation temperature range of the ion, the multi-directional driver, and cancellation of the velocity along the LOS. The impact each factor has on the estimation is dependent on the set up of the model and the chosen emission line.


title: Scattering and uniform in time error estimates for splitting method in NLS

abstract: We consider the nonlinear Schr{\"o}dinger equation with a defocusing nonlinearity which is mass-(super)critical and energy-subcritical. We prove uniform in time error estimates for the Lie-Trotter time splitting discretization. This uniformity in time is obtained thanks to a vectorfield which provides time decay estimates for the exact and numerical solutions. This vectorfield is classical in scattering theory, and requires several technical modifications compared to previous error estimates for splitting methods.


title: Singular and fractional integral operators on weighted local Morrey spaces

abstract: We obtain a characterization of the weighted inequalities for the Riesz transforms on weighted local Morrey spaces. The condition is sufficient for the boundedness on the same spaces of all Calder\'on-Zygmund operators suitably defined on the functions of the space. In the case of the fractional maximal operator and the fractional integral we obtain a characterization valid for exponents satisfying the Sobolev relation. For power weights we get sharp results in a larger range of exponents for the usual versions of weighted Morrey spaces.


title: Critical gauged Schr\"{o}dinger equations in R^2 with vanishing potentials

abstract: We study a class of gauged nonlinear Schr\"{o}dinger equations in the plane. We obtain existence of two nontrivial solutions via the Mountain-Pass theorem and Ekeland's variational principle. Moreover, we prove existence of infinitely many solutions for odd nonlinearities.


title: Codimension 2 embeddings and finite localization of spaces

abstract: In order to classify concordance classes of codimension 2 embeddings in a manifold M, we need to determine the complement of such an embedding. These complements are spaces over M well defined up to some homology equivalence. We construct a localization functor corresponding to this class of homology equivalences and we give a characterization of local objects in terms of homotopy groups.


title: On derivations of evolving surface Navier-Stokes equations

abstract: In recent literature several derivations of incompressible Navier-Stokes type equations that model the dynamics of an evolving fluidic surface have been presented. These derivations differ in the physical principles used in the modeling approach and in the coordinate systems in which the resulting equations are represented. This paper has overview character in the sense that we put five different derivations of surface Navier-Stokes equations into one framework. This then allows a systematic comparison of the resulting surface Navier-Stokes equations and shows that some, but not all, of the resulting models are the same. Furthermore, based on a natural splitting approach in tangential and normal components of the velocity we show that all five derivations that we consider yield the same tangential surface Navier-Stokes equations.


title: Universal leading quantum correction to the Newton potential

abstract: The derivation of effective quantum gravity corrections to Newton's potential is an important step in the whole effective quantum field theory approach. We hereby add new strong arguments in favor of omitting all the diagrams with internal lines of the massive sources, and we also recalculate the corrections to the Newtonian potential using functional methods in an arbitrary parametrization of the quantum fluctuations of the metric. The general proof of the gauge- and parametrization-independence within this approach is also explicitly given. On top of that, we argue that the universality of the result holds regardless of the details of the ultraviolet completion of quantum gravity theory. Indeed, it turns out that the logarithm quantum correction depends only on the low energy spectrum of the theory that is responsible for the analytic properties of loop's amplitudes.


title: Kalman-Like Filter under Binary Sensors

abstract: This paper is concerned with the linear/nonlinear Kalman-like filtering problem under binary sensors. Since innovation represents new information in the sensor measurement and serves to correct the prediction for the Kalman-like filter (KLF), a novel uncertain measurement model is proposed such that the innovation generated from binary sensor can be captured. When considering linear dynamic systems, a conservative estimation error covariance with adjustable parameters is constructed by matrix inequality, and then an optimal filter gain is derived by minimizing its trace. Meanwhile, the optimal selection criterion of an adjustable parameter is developed by minimizing the upper bound of the conservative estimation error covariance. When considering nonlinear dynamic systems, a conservative estimation error covariance with adjustable parameters is also constructed via unscented transform and matrix inequalities. Then, following the idea of designing KLF in linear dynamic systems, the nonlinear filter gain and the optimal adjustable parameter are designed. Finally, $O_2$ content estimation and nonlinear numerical system are employed to show the effectiveness and advantages of the proposed methods.


title: Magnetoconductivity of a metal with closed Fermi surface reconstructed by a biaxial density wave

abstract: We investigate quantum dynamics and kinetics of a 2D conductor with closed Fermi surface reconstructed by a biaxial density wave, in which electrons move along a two-dimensional periodic net of semiclassical trajectories coupled by the magnetic breakdown tunnelling under a strong magnetic field. We derive a quasi-particle dispersion law and magnetoconductivity tensor. The quasi-particle spectrum is found to be the alternating series of two-dimensional magnetic energy bands with gaps between them. The longitudinal magnetoconductivity shows giant oscillations with change of magnetic field, while the Hall coefficient changes sign and is absent in a wide range of the magnetic fields in between. Preliminary estimations show that the suggested magnetoconductivity mechanism may be the origin of such behaviour of the Hall coefficient vs. magnetic field, as observed in experiments in materials with analogous topology of the Fermi surface, such as the high-Tc superconducting cuprates.


title: SQALER: Scaling Question Answering by Decoupling Multi-Hop and Logical Reasoning

abstract: State-of-the-art approaches to reasoning and question answering over knowledge graphs (KGs) usually scale with the number of edges and can only be applied effectively on small instance-dependent subgraphs. In this paper, we address this issue by showing that multi-hop and more complex logical reasoning can be accomplished separately without losing expressive power. Motivated by this insight, we propose an approach to multi-hop reasoning that scales linearly with the number of relation types in the graph, which is usually significantly smaller than the number of edges or nodes. This produces a set of candidate solutions that can be provably refined to recover the solution to the original problem. Our experiments on knowledge-based question answering show that our approach solves the multi-hop MetaQA dataset, achieves a new state-of-the-art on the more challenging WebQuestionsSP, is orders of magnitude more scalable than competitive approaches, and can achieve compositional generalization out of the training distribution.


title: Quantifying Dynamical Total Coherence in a Resource Non-increasing Framework

abstract: We quantify the dynamical quantum resource in the resource non-increasing (RNI) framework, namely, the free dynamical resource is defined by the channels that cannot increase the static resourcefulness of any input state. We present two kinds of approaches to quantifying the dynamical resource, the distance measures and the maximal increasing static resource (MISR). As a demonstration, we quantify the dynamical total coherence with our presented measures. It is shown that the distance based measures have good operational interpretation through quantum processing tasks and can be numerically calculated by semidefinite programming (SDP) and the measures based on MISR could lead to the analytical solution. As an application, we consider the dynamical total coherence of the qubit amplitude damping channel. Both the analytical measure based on the static l2 norm and the numerical illustrations based on the SDP are given.


title: Nematicity-enhanced superconductivity in systems with a non-Fermi liquid behavior

abstract: We explore the interplay between nematicity~(spontaneous breaking of the sixfold rotational symmetry), superconductivity, and non-Fermi liquid behavior in partially flat-band models on the triangular lattice. A key result is that the nematicity (Pomeranchuk instability), which is driven by many-body effect and stronger in flat-band systems, enhances superconducting transition temperature in a systematic manner on the $T_{\rm c}$ dome. There, a $s_{x^2+y^2} - d_{x^2-y^2} - d_{xy}$-wave symmetry, in place of the conventional $d_{x^2-y^2}$-wave, governs the nematicity-enhanced pairing with a sharp rise in the $T_{\rm c}$ dome on the filling axis. When the sixfold symmetry is spontaneously broken, the pairing becomes more compact in real space than in the case when the symmetry is enforced. These are accompanied by a non-Fermi character of electrons in the partially flat bands with many-body interactions.


title: W-representations of the fermionic matrix and Aristotelian tensor models

abstract: We show that the fermionic matrix model can be realized by $W$-representation. We construct the Virasoro constraints with higher algebraic structures, where the constraint operators obey the Witt algebra and null 3-algebra. The remarkable feature is that the character expansion of the partition function can be easily derived from such Virasoro constraints. It is a $\tau$-function of the KP hierarchy. We construct the fermionic Aristotelian tensor model and give its $W$-representation. Moreover, we analyze the fermionic red tensor model and present the $W$-representation and character expansion of the partition function.


title: Counterfactual Shapley Additive Explanations

abstract: Feature attributions are a common paradigm for model explanations due to their simplicity in assigning a single numeric score for each input feature to a model. In the actionable recourse setting, wherein the goal of the explanations is to improve outcomes for model consumers, it is often unclear how feature attributions should be correctly used. With this work, we aim to strengthen and clarify the link between actionable recourse and feature attributions. Concretely, we propose a variant of SHAP, Counterfactual SHAP (CF-SHAP), that incorporates counterfactual information to produce a background dataset for use within the marginal (a.k.a. interventional) Shapley value framework. We motivate the need within the actionable recourse setting for careful consideration of background datasets when using Shapley values for feature attributions with numerous synthetic examples. Moreover, we demonstrate the efficacy of CF-SHAP by proposing and justifying a quantitative score for feature attributions, counterfactual-ability, showing that as measured by this metric, CF-SHAP is superior to existing methods when evaluated on public datasets using tree ensembles.


title: Mechanisms for Trading Durable Goods

abstract: We consider trading indivisible and easily transferable \emph{durable goods}, which are goods that an agent can receive, use, and trade again for a different good. This is often the case with books that can be read and later exchanged for unread ones. Other examples of such easily transferable durable goods include puzzles, video games and baby clothes. We introduce a model for the exchange of easily transferable durable goods. In our model, each agent owns a set of items and demands a different set of items. An agent is interested in receiving as many items as possible from his demand set. We consider mechanisms that exchange items in cycles in which each participating agent receives an item that he demands and gives an item that he owns. We aim to develop mechanisms that have the following properties: they are \emph{efficient}, in the sense that they maximize the total number of items that agents receive from their demand set, they are \emph{strategyproof} (i.e., it is in the agents' best interest to report their preferences truthfully) and they run in \emph{polynomial time}. One challenge in developing mechanisms for our setting is that the supply and demand sets of the agents are updated after a trade cycle is executed. This makes constructing strategyproof mechanisms in our model significantly different from previous works, both technically and conceptually and requires developing new tools and techniques. We prove that simultaneously satisfying all desired properties is impossible and thus focus on studying the tradeoffs between these properties. To this end, we provide both approximation algorithms and impossibility results.


title: Free boundary problems of a mutualist model with nonlocal diffusions

abstract: A mutualist model with nonlocal diffusions and a free boundary is first considered. We prove that this problem has a unique solution defined $t\ge0$, and its dynamics are governed by a spreading-vanishing dichotomy. Some criteria for spreading and vanishing are also given. Of particular importance is that we find that the solution of this problem has quite rich longtime behaviors, which vary with the conditions satisfied by kernel functions and are much different from those of the counterpart with local diffusion and free boundary. At last, we extend these results to the model with nonlocal diffusions and double free boundarie


title: Deep Learning For Prominence Detection In Children's Read Speech

abstract: The detection of perceived prominence in speech has attracted approaches ranging from the design of linguistic knowledge-based acoustic features to the automatic feature learning from suprasegmental attributes such as pitch and intensity contours. We present here, in contrast, a system that operates directly on segmented speech waveforms to learn features relevant to prominent word detection for children's oral fluency assessment. The chosen CRNN (convolutional recurrent neural network) framework, incorporating both word-level features and sequence information, is found to benefit from the perceptually motivated SincNet filters as the first convolutional layer. We further explore the benefits of the linguistic association between the prosodic events of phrase boundary and prominence with different multi-task architectures. Matching the previously reported performance on the same dataset of a random forest ensemble predictor trained on carefully chosen hand-crafted acoustic features, we evaluate further the possibly complementary information from hand-crafted acoustic and pre-trained lexical features.


title: Earth rotation parameter estimation from LLR and impact of non-tidal station loading

abstract: LLR measures the distance between observatories on Earth and retro-reflectors on Moon since 1969. In this paper, we estimate the Earth Rotation Parameters (ERP; terrestrial pole offsets, $x_p$ and $y_p$, and Earth rotation phase, $\Delta$UT) using LLR data. We estimate the values of $\Delta$UT, and the pole offsets separately. For the pole offsets, we estimate the values of $x_p$ and $y_p$ together and separately. Overall, the uncertainties of ERP from the new LLR data (after 2000.0) have significantly improved, staying less than 20 $\mu$s for $\Delta$UT, less than 2.5 mas for $x_p$, and less than 3 mas for $y_p$ for nights selected from subsets of the LLR time series which have 10 and 15 normal points obtained per night. Furthermore, we add the non-tidal loading effect provided by the IMLS, as observation level corrections of the LLR observatories in the analysis. This effect causes deformations of the Earth surface up to the centimetre level. Its addition in the Institute of Geodesy (IfE) LLR model, leads to a marginal improvement in the uncertainties (3-$\sigma$ values) of about 1% for both, $\Delta$UT and the pole offsets.


title: Study of Chemically Peculiar Stars-I : High-resolution Spectroscopy and K2 Photometry of Am Stars in the Region of M44

abstract: We present a study based on the high-resolution spectroscopy and K2 space photometry of five chemically peculiar stars in the region of the open cluster M44. The analysis of the high-precision photometric K2 data reveals that the light variations in HD 73045 and HD 76310 are rotational in nature and caused by spots or cloud-like co-rotating structures, which are non-stationary and short-lived. The time-resolved radial velocity measurements, in combination with the K2 photometry, confirm that HD 73045 does not show any periodic variability on timescales shorter than 1.3 d, contrary to previous reports in the literature. In addition to these new rotational variables, we discovered a new heartbeat system, HD 73619, where no pulsational signatures are seen. The spectroscopic and spectropolarimetric analyses indicate that HD 73619 belongs to the peculiar Am class, with either a weak or no magnetic field considering the 200 G detection limit of our study. The Least-Squares Deconvolution (LSD) profiles for HD 76310 indicate a complex structure in its spectra suggesting that this star is either part of a binary system or surrounded by a cloud shell. When placed in the Hertzsprung-Russell diagram, all studied stars are evolved from main-sequence and situated in the $\delta$ Scuti instability strip. The present work is relevant for further detailed studies of CP stars, such as inhomogeneities (including spots) in the absence of magnetic fields and the origin of the pulsational variability in heartbeat systems.


title: Physics reach of the ESSnuSB experiment

abstract: ESSnuSB is a unique future proposed long-baseline experiment in Sweden to study neutrino oscillation by probing the second oscillation maximum. In this proceeding, we update the flux and efficiencies and re-calculate the sensitivity of ESSnuSB in the standard three flavour scenario. We find that it has excellent sensitivity to the Dirac CP phase $\delta_{\rm CP}$, moderate sensitivity to the mass hierarchy of the neutrinos and limited sensitivity to measure the octant of the atmospheric mixing angle $\theta_{23}$. We also find that it has a very good sensitivity to constrain the atmospheric mass squared difference $|\Delta m^2_{31}|$.


title: Hybrid consensus for multi-agent systems with time-driven jumps

abstract: In this paper, the behavior of scalar multi-agent systems over networks subject to time-driven jumps. Assuming that all agents communicate through distinct communication digraphs at jump and flow times, the asymptotic multi-consensus behavior of the hybrid network is explicitly characterized. The hybrid multi-consensus is shown to be associated with a suitable partition that is almost equitable for both the jump and flow communication digraphs. In doing so, no assumption on the underlying digraphs is introduced. Finally, the coupling rules making the multi-consensus subspace attractive are established. Several simulation examples illustrate the theoretical results.


title: Dynamics of an elastoviscoplastic droplet in a Newtonian medium under shear flow

abstract: The dynamics of a single elastoviscoplastic (EVP) drop immersed in plane shear flow of a Newtonian fluid is studied by 3D direct numerical simulations using a finite-difference and level-set method combined with the Saramito model for the EVP fluid. This model gives rise to a yield stress behavior, where the unyielded state of the material is described as a Kelvin-Voigt viscoelastic solid and the yielded state as a viscoelastic Oldroyd-B fluid. Yielding of an initially solid drop of Carbopol is simulated under successively increasing shear rates. We proceed to examine the roles of nondimensional parameters on the yielding process; in particular, the Bingham number ($Bi$), capillary number ($Ca$), Weissenberg number ($Wi$), and ratio of solvent and total drop viscosity. We find that all of these parameters, and not only $Bi$, have a significant influence on the drop dynamics. Numerical simulations predict that the volume of the unyielded region inside the droplet increases with $Bi$ and $Wi$, while it decreases with $Ca$ at low $Wi$ and $Bi$. A new regime map is obtained for the prediction of the yielded, unyielded, and partly yielded modes as a function of $Bi$ and $Wi$. The drop deformation is studied and explained by examining the stresses in the vicinity of the drop interface. The deformation has a complex dependence on $Bi$ and $Wi$. At low $Bi$, the droplet deformation shows a nonmonotonic behavior with an increasing $Wi$. In contrast, at moderate and high $Bi$, droplet deformation always increases with $Wi$. Moreover, it is found that the deformation increases with $Ca$ and with the solvent to total drop viscosity ratio. A simple ordinary differential equation model is developed to explain the various behaviours observed numerically. The presented results are in contrast with the heuristic idea that viscoelasticity in the dispersed phase always inhibits deformation.


title: SiWa: See into Walls via Deep UWB Radar

abstract: Being able to see into walls is crucial for diagnostics of building health; it enables inspections of wall structure without undermining the structural integrity. However, existing sensing devices do not seem to offer a full capability in mapping the in-wall structure while identifying their status (e.g., seepage and corrosion). In this paper, we design and implement SiWa as a low-cost and portable system for wall inspections. Built upon a customized IR-UWB radar, SiWa scans a wall as a user swipes its probe along the wall surface; it then analyzes the reflected signals to synthesize an image and also to identify the material status. Although conventional schemes exist to handle these problems individually, they require troublesome calibrations that largely prevent them from practical adoptions. To this end, we equip SiWa with a deep learning pipeline to parse the rich sensory data. With an ingenious construction and innovative training, the deep learning modules perform structural imaging and the subsequent analysis on material status, without the need for parameter tuning and calibrations. We build SiWa as a prototype and evaluate its performance via extensive experiments and field studies; results confirm that SiWa accurately maps in-wall structures, identifies their materials, and detects possible failures, suggesting a promising solution for diagnosing building health with lower effort and cost.


title: Normalizers in the non-pointed context: a weak case of extremal decomposition

abstract: The aim of this work is to point out a strong structural phenomenon hidden behind the existence of normalizers through the investigation of this property in the non-pointed context: given any category E, a certain property of the fibration of points: Pt(E) --> E guarentees the existence of normalizers. This property becomes a characterization of this existence when E is quasi-pointed and protomodular. This property is also showed to be equivalent to a property of the category GrdE of internal groupoids in E which is a kind of opposite, for the monomorphic internal functors, of the comprehensive factorization.


title: Superconducting LaP2H2 with graphenelike phosphorus layers

abstract: Novel structural building blocks in compounds could induce interesting physical and chemical properties. Although phosphorus tends to form very different motifs, the existence of lone pair electrons has always prevented the formation of graphenelike structures. Here, the application of first-principles swarm structural calculations has allowed us to predict the stability of pressure-induced hexagonal LaP2H2 containing graphenelike phosphorus, which derives from the trigonal bipyramid configuration of P atoms regulated by symmetric hydrogen bonds. LaP2 in LaP2H2 has the same configuration as MgB2, and P and H atoms form a three-dimensional framework as H3S. Interestingly, LaP2H2 shows a superconductivity dominated by the graphenelike phosphorus layer and its coupling with La atoms. On the other hand, LaP2H2 is not only superconducting at a lower pressure than the H-rich LaPH6, but it also shows a superconducting transition temperature three times higher. Our work provides an example which extends the landscape of conventional superconductors at lower pressures.


title: A remark on quantitative unique continuation from subsets of the boundary of positive measure

abstract: The question of unique continuation of harmonic functions in a domain $\Omega$ $\subset$ R d with boundary $\partial$$\Omega$, satisfying Dirichlet boundary conditions and with normal derivatives vanishing on a subset $\omega$ of the boundary is a classical problem. When $\omega$ contains an open subset of the boundary it is a consequence of Carleman estimates (uniqueness for second order elliptic operators across an hypersurface). The case where $\omega$ is a set of positive (d -- 1) dimensional measure has attracted a lot of attention, see e.g. [10, 3, 15], where qualitative results have been obtained in various situations. The main open questions (about uniqueness) concern now Lipschitz domains and variable coefficients. Here, using results by Logunov and Malinnikova [13, 14], we consider the simpler case of W 2,$\infty$ domains but prove quantitative uniqueness both for Dirichlet and Neumann boundary conditions. As an application, we deduce quantitative estimates for the Dirichlet and Neumann Laplace eigenfunctions on a W 2,$\infty$ domain with boundary.


title: How Important is Importance Sampling for Deep Budgeted Training?

abstract: Long iterative training processes for Deep Neural Networks (DNNs) are commonly required to achieve state-of-the-art performance in many computer vision tasks. Importance sampling approaches might play a key role in budgeted training regimes, i.e. when limiting the number of training iterations. These approaches aim at dynamically estimating the importance of each sample to focus on the most relevant and speed up convergence. This work explores this paradigm and how a budget constraint interacts with importance sampling approaches and data augmentation techniques. We show that under budget restrictions, importance sampling approaches do not provide a consistent improvement over uniform sampling. We suggest that, given a specific budget, the best course of action is to disregard the importance and introduce adequate data augmentation; e.g. when reducing the budget to a 30% in CIFAR-10/100, RICAP data augmentation maintains accuracy, while importance sampling does not. We conclude from our work that DNNs under budget restrictions benefit greatly from variety in the training set and that finding the right samples to train on is not the most effective strategy when balancing high performance with low computational requirements. Source code available at https://git.io/JKHa3 .


title: APPTeK: Agent-Based Predicate Prediction in Temporal Knowledge Graphs

abstract: In temporal Knowledge Graphs (tKGs), the temporal dimension is attached to facts in a knowledge base resulting in quadruples between entities such as (Nintendo, released, Super Mario, Sep-13-1985), where the predicate holds within a time interval or at a timestamp. We propose a reinforcement learning agent gathering temporal relevant information about the query entities' neighborhoods, simultaneously. We refer to the encodings of the explored graph structures as fingerprints which are used as input to a Q-network. Our agent decides sequentially which relation type needs to be explored next to expand the local subgraphs of the query entities. Our evaluation shows that the proposed method yields competitive results compared to state-of-the-art embedding algorithms for tKGs, and we additionally gain information about the relevant structures between subjects and objects.


title: Over-the-Air Aggregation for Federated Learning: Waveform Superposition and Prototype Validation

abstract: In this paper, we develop an orthogonal-frequency-division-multiplexing (OFDM)-based over-the-air (OTA) aggregation solution for wireless federated learning (FL). In particular, the local gradients in massive IoT devices are modulated by an analog waveform and are then transmitted using the same wireless resources. To this end, achieving perfect waveform superposition is the key challenge, which is difficult due to the existence of frame timing offset (TO) and carrier frequency offset (CFO). In order to address these issues, we propose a two-stage waveform pre-equalization technique with a customized multiple access protocol that can estimate and then mitigate the TO and CFO for the OTA aggregation. Based on the proposed solution, we develop a hardware transceiver and application software to train a real-world FL task, which learns a deep neural network to predict the received signal strength with global positioning system information. Experiments verify that the proposed OTA aggregation solution can achieve comparable performance to offline learning procedures with high prediction accuracy.


title: TopicNet: Semantic Graph-Guided Topic Discovery

abstract: Existing deep hierarchical topic models are able to extract semantically meaningful topics from a text corpus in an unsupervised manner and automatically organize them into a topic hierarchy. However, it is unclear how to incorporate prior beliefs such as knowledge graph to guide the learning of the topic hierarchy. To address this issue, we introduce TopicNet as a deep hierarchical topic model that can inject prior structural knowledge as an inductive bias to influence learning. TopicNet represents each topic as a Gaussian-distributed embedding vector, projects the topics of all layers into a shared embedding space, and explores both the symmetric and asymmetric similarities between Gaussian embedding vectors to incorporate prior semantic hierarchies. With an auto-encoding variational inference network, the model parameters are optimized by minimizing the evidence lower bound and a regularization term via stochastic gradient descent. Experiments on widely used benchmarks show that TopicNet outperforms related deep topic models on discovering deeper interpretable topics and mining better document~representations.


title: CG2A: Conceptual Graphs Generation Algorithm

abstract: Conceptual Graphs (CGs) are a formalism to represent knowledge. However producing a CG database is complex. To the best of our knowledge, existing methods do not fully use the expressivity of CGs. It is particularly troublesome as it is necessary to have CG databases to test and validate algorithms running on CGs. This paper proposes CG2A, an algorithm to build synthetic CGs exploiting most of their expressivity. CG2A takes as input constraints that constitute ontological knowledge including a vocabulary and a set of CGs with some label variables, called $\gamma$-CGs, as components of the generated CGs. Extensions also enable the automatic generation of the set of $\gamma$-CGs and vocabulary to ease the database generation and increase variability.


title: On 2-stein submanifolds in space forms

abstract: We prove that a 2-stein submanifold in a space form whose normal connection is flat or whose codimension is at most 2, has constant curvature.


title: Cation disorder in stoichiometric MgSnN2 and ambipolar self-doping behavior in off-stoichiometric MgSnN2

abstract: Investigations on II-Sn-N2 (II = Mg, Ca) have been started very recently compared to the intense research of the Zn-IV-N2 (IV = Si, Ge, Sn). In this work, we perform a comprehensive study of cation disorder in stoichiometric MgSnN2 and crystal structure characteristic, doping behavior of off-stoichiometric Mg1+xSn1-xN2 (x = -0.8, -0.6, -0.5, -0.4, -0.2, 0.2, 0.4, 0.5, 0.6, 0.8) by using the cluster expansion method and first principles calculations. It is found that cation disorder in stoichiometric MgSnN2 induces a band gap reduction because of a violation of the octet rule. Moreover, the local disorder, namely forming (4,0) or (0,4) tetrahedra, would lead to an appreciable band gap reduction and hinder the enhancement of the optical absorption. An off-stoichiometric Mg/Sn ratio can strongly affect the morphology of Mg1+xSn1-xN2 samples due to the higher ionicity of the Mg-N bonds in comparison with Zn-N bonds. Furthermore, Mg1+xSn1-xN2 compounds show an ambipolar self-doping behavior, i.e., Mg-rich Mg1+xSn1-xN2 show p-type doping while Sn-rich ones exhibit n-type doping owing to the formation of acceptor-type antisite defect MgSn or donor-type antisite defect SnMg, respectively.


title: The USS Trustee's risky strategy

abstract: How much risk, and what types of risk, is the Universities Superannuation Scheme (USS) taking? This is a critical question for universities across the UK and many of their employees. Will the fund have enough money to pay for all our pensions? Will it run out? Or is there a significant risk that we are collectively overpaying? In September 2021, David Miles and James Sefton, from Imperial College Business School, stepped into this vacuum, publishing 'How much risk is the USS taking?'. The paper presents important, accessible and highly readable analysis which estimates how likely the USS is to default over time. Their work is particularly relevant to the current UCU dispute with 69 employers over the benefit cuts that Universities UK (UUK) is planning to implement on the basis of the 2020 USS valuation. In this Brief, we assess the assumptions, replicate the results, explore further their model and consider potential extensions. We demonstrate that for a cautious model with reasonable assumptions for assets and asset growth, the fund has a less than 7% chance of defaulting for the duration that pensions promises are due, but a greater than 80% chance of being over funded by at least {\pounds}100bn, and nearly 50% chance of having over {\pounds}400bn. We offer warm thanks to David Miles and James Sefton for sharing their code and data, for their helpful conversations and clarification. Their analysis is infinitely clearer, better and more credible than anything the USS has produced. We hope this paper will be the beginning of more work in this area. All errors are our own.


title: Vaccination Dilemma in the thermodynamic limit

abstract: The vaccination game is a social dilemma that refers to the conundrum individuals face (to get immunized or not) when the population is exposed to an infectious disease. The model has recently gained much traction due to the COVID-19 pandemic since the public perception of vaccines plays a significant role in disease dynamics. This paper studies the vaccination game in the thermodynamic limit with an analytical method derived from the 1D Ising model called Nash equilibrium mapping. The individual dilemma regarding Vaccination comes from an internal conflict wherein one tries to balance the perceived advantages of immunizing with the apparent risks associated with Vaccination which they hear through different news media. We compare the results of Nash equilibrium(NE) mapping to other 1D Ising-based models, namely Darwinian evolution and agent-based simulation. This study aims to analyze the behaviour of an infinite population regarding what fraction of people choose to vaccinate or not vaccinate. While Nash equilibrium mapping and agent-based simulation agree mostly, Darwinian evolution strays far from the two models. It fails to predict the equilibrium behaviour of players in the population reasonably. We apply the results of our study to analyze the Astra-Zeneca(AZ) COVID-19 vaccine risk versus disease deaths debate, both via NE mapping and agent-based method. Both predict near 100% AZ vaccine coverage for people above 40, notwithstanding the risk. At the same time, younger people show a slight reluctance. We predict that while government intervention via vaccination mandates and advertisement campaigns is unnecessary for the older population, for the younger population (ages: 20-39), some encouragement from the government via media campaigns and vaccine mandates may be necessary.


title: Arbitrarily high-order energy-conserving methods for Poisson problems

abstract: In this paper we are concerned with energy-conserving methods for Poisson problems, which are effectively solved by defining a suitable generalization of HBVMs, a class of energy-conserving methods for Hamiltonian problems. The actual implementation of the methods is fully discussed, with a particular emphasis on the conservation of Casimirs. Some numerical tests are reported, in order to assess the theoretical findings.


title: Virtual Artin groups

abstract: Starting from the observation that the standard presentation of a virtual braid group mixes the standard presentation of the corresponding braid group with the standard presentation of the corresponding symmetric group and some mixed relations that mimic the action of the symmetric group on its root system, we define a virtual Artin group $VA[\Gamma]$ of a Coxeter graph $\Gamma$ mixing the standard presentation of the Artin group $A[\Gamma]$ with the standard presentation of the Coxeter group $W[\Gamma]$ and some mixed relations that mimic the action of $W[\Gamma]$ on its root system. By definition we have two epimorphisms $\pi_K:VA[\Gamma]\to W[\Gamma]$ and $\pi_P:VA[\Gamma]\to W[\Gamma]$ whose kernels are denoted by $KVA[\Gamma]$ and $PVA[\Gamma]$ respectively. We calculate presentations for these two subgroups. In particular $KVA[\Gamma]$ is an Artin group. We prove that the center of any virtual Artin group is trivial. In the case where $\Gamma$ is of spherical type or of affine type, we show that each free of infinity parabolic subgroup of $KVA[\Gamma]$ is also of spherical type or of affine type, and we show that $VA[\Gamma]$ has a solution to the word problem. In the case where $\Gamma$ is of spherical type we show that $KVA[\Gamma]$ satisfies the $K(\pi,1)$ conjecture and we infer the cohomological dimension of $KVA[\Gamma]$ and the virtual cohomological dimension of $VA[\Gamma]$. In the case where $\Gamma$ is of affine type we determine upper bounds for the cohomological dimension of $KVA[\Gamma]$ and for the virtual cohomological dimension of $VA[\Gamma]$.


title: Revisiting TrES-5 b: departure from a linear ephemeris instead of short-period transit timing variation

abstract: The orbital motion of the transiting hot Jupiter TrES-5 b was reported to be perturbed by a planetary companion on a nearby orbit. Such compact systems do not frequently occur in nature, and learning their orbital architecture could shed some light on hot Jupiters' formation processes. We acquired fifteen new precise photometric time series for twelve transits of TrES-5 b between June 2019 and October 2020 using 0.9-2.0 m telescopes. The method of precise transit timing was employed to verify the deviation of the planet from the Keplerian motion. Although our results show no detectable short-time variation in the orbital period of TrES-5 b and the existence of the additional nearby planet is not confirmed, the new transits were observed about two minutes earlier than expected. We conclude that the orbital period of the planet could vary in a long timescale. We found that the most likely explanation of the observations is the line-of-sight acceleration of the system's barycentre due to the orbital motion induced by a massive, wide-orbiting companion.


title: A Subgame Perfect Equilibrium Reinforcement Learning Approach to Time-inconsistent Problems

abstract: In this paper, we establish a subgame perfect equilibrium reinforcement learning (SPERL) framework for time-inconsistent (TIC) problems. In the context of RL, TIC problems are known to face two main challenges: the non-existence of natural recursive relationships between value functions at different time points and the violation of Bellman's principle of optimality that raises questions on the applicability of standard policy iteration algorithms for unprovable policy improvement theorems. We adapt an extended dynamic programming theory and propose a new class of algorithms, called backward policy iteration (BPI), that solves SPERL and addresses both challenges. To demonstrate the practical usage of BPI as a training framework, we adapt standard RL simulation methods and derive two BPI-based training algorithms. We examine our derived training frameworks on a mean-variance portfolio selection problem and evaluate some performance metrics including convergence and model identifiability.


title: Learning Stable Deep Dynamics Models for Partially Observed or Delayed Dynamical Systems

abstract: Learning how complex dynamical systems evolve over time is a key challenge in system identification. For safety critical systems, it is often crucial that the learned model is guaranteed to converge to some equilibrium point. To this end, neural ODEs regularized with neural Lyapunov functions are a promising approach when states are fully observed. For practical applications however, partial observations are the norm. As we will demonstrate, initialization of unobserved augmented states can become a key problem for neural ODEs. To alleviate this issue, we propose to augment the system's state with its history. Inspired by state augmentation in discrete-time systems, we thus obtain neural delay differential equations. Based on classical time delay stability analysis, we then show how to ensure stability of the learned models, and theoretically analyze our approach. Our experiments demonstrate its applicability to stable system identification of partially observed systems and learning a stabilizing feedback policy in delayed feedback control.


title: Revisiting Sanity Checks for Saliency Maps

abstract: Saliency methods are a popular approach for model debugging and explainability. However, in the absence of ground-truth data for what the correct maps should be, evaluating and comparing different approaches remains a long-standing challenge. The sanity checks methodology of Adebayo et al [Neurips 2018] has sought to address this challenge. They argue that some popular saliency methods should not be used for explainability purposes since the maps they produce are not sensitive to the underlying model that is to be explained. Through a causal re-framing of their objective, we argue that their empirical evaluation does not fully establish these conclusions, due to a form of confounding introduced by the tasks they evaluate on. Through various experiments on simple custom tasks we demonstrate that some of their conclusions may indeed be artifacts of the tasks more than a criticism of the saliency methods themselves. More broadly, our work challenges the utility of the sanity check methodology, and further highlights that saliency map evaluation beyond ad-hoc visual examination remains a fundamental challenge.


title: Denoising and change point localisation in piecewise-constant high-dimensional regression coefficients

abstract: We study the theoretical properties of the fused lasso procedure originally proposed by \cite{tibshirani2005sparsity} in the context of a linear regression model in which the regression coefficient are totally ordered and assumed to be sparse and piecewise constant. Despite its popularity, to the best of our knowledge, estimation error bounds in high-dimensional settings have only been obtained for the simple case in which the design matrix is the identity matrix. We formulate a novel restricted isometry condition on the design matrix that is tailored to the fused lasso estimator and derive estimation bounds for both the constrained version of the fused lasso assuming dense coefficients and for its penalised version. We observe that the estimation error can be dominated by either the lasso or the fused lasso rate, depending on whether the number of non-zero coefficient is larger than the number of piece-wise constant segments. Finally, we devise a post-processing procedure to recover the piecewise-constant pattern of the coefficients. Extensive numerical experiments support our theoretical findings.


title: Contact Line Catch Up by Growing Ice Crystals

abstract: The effect of freezing on contact line motion is a scientific challenge in the understanding of the solidification of capillary flows. In this letter, we experimentally investigate the spreading and freezing of a water droplet on a cold substrate. We demonstrate that solidification stops the spreading because the ice crystals catch up with the advancing contact line. Indeed, we observe the formation and growth of ice crystals along the substrate during the drop spreading, and show that their velocity equals the contact line velocity when the drop stops. Modelling the growth of the crystals, we predict the shape of the crystal front and show that the substrate thermal properties play a major role on the frozen drop radius


title: Multi-Agent Reinforcement Learning for Active Voltage Control on Power Distribution Networks

abstract: This paper presents a problem in power networks that creates an exciting and yet challenging real-world scenario for application of multi-agent reinforcement learning (MARL). The emerging trend of decarbonisation is placing excessive stress on power distribution networks. Active voltage control is seen as a promising solution to relieve power congestion and improve voltage quality without extra hardware investment, taking advantage of the controllable apparatuses in the network, such as roof-top photovoltaics (PVs) and static var compensators (SVCs). These controllable apparatuses appear in a vast number and are distributed in a wide geographic area, making MARL a natural candidate. This paper formulates the active voltage control problem in the framework of Dec-POMDP and establishes an open-source environment. It aims to bridge the gap between the power community and the MARL community and be a drive force towards real-world applications of MARL algorithms. Finally, we analyse the special characteristics of the active voltage control problems that cause challenges (e.g. interpretability) for state-of-the-art MARL approaches, and summarise the potential directions.


title: From Complexity Measurement to Holistic Quality Evaluation for Automotive Software Development

abstract: In recent years, the role and the importance of software in the automotive domain have changed dramatically. Being able to systematically evaluate and manage software quality is becoming even more crucial. In practice, however, we still find a largely static approach for measuring software quality based on a predefined list of complexity metrics with static thresholds to fulfill. We propose using a more flexible framework instead, which systematically derives measures and evaluation rules based on the goals and context of a development project.


title: Incomplete electromagnetic response of hot QCD matter

abstract: The electromagnetic response of hot QCD matter to decaying external magnetic fields is investigated. We examine the validity of Ohm's law and find that the induced electric current increases from zero and relaxes towards the value from Ohm's law. The relaxation time is larger than the lifetime of the external magnetic field for the QCD matter in relativistic heavy-ion collisions. The lower than expected electric current significantly suppresses the induced magnetic field and makes the electromagnetic response incomplete. We demonstrate the incomplete electromagnetic response of hot QCD matter by calculations employing the parton transport model combined with the solution of Maxwell's equations. Our results show a strong suppression by two orders of magnitude in the magnetic field, relatively to calculations assuming the validity of Ohm's law. This may undermine experimental efforts to measure magnetic-field-related effects in heavy-ion collisions.


title: Nanocrystalline FeCr alloys synthesised by severe plastic deformation -- a potential material for exchange bias and enhanced magnetostriction

abstract: This work gives insights into processing and characterisation of bulk nanocrystalline FeCr materials. The investigated FeCr alloys, consisting of 30, 50 and 70 at.% ferromagnetic Fe and remaining anti-ferromagnetic Cr, are processed by arc melting and subsequent severe plastic deformation by high pressure torsion. The physical similarities between elemental Fe and Cr in combination with the nanocrystalline structure of the as-deformed alloys, necessitates advanced characterisation techniques for the as-deformed state: In-situ annealing synchrotron X-ray diffraction measurements as well as electron microscopy experiments are linked to magnetostrictive measurements and reveal a single phase microstructure. Surprisingly, the nanocrystalline FeCr alloys remain supersaturated solid solutions upon annealing above 500{\deg}C, meaning a decomposition in a FeCr nanocomposite is suppressed. For the chosen annealing conditions grain growth is faster than decomposition and enhanced magnetostrictive values are found compared to materials in the as-deformed state.


title: Ferroelectric control of spin-polarized two-dimensional electron gas

abstract: Spin-polarized two-dimensional electron gas (2DEG) at oxide interfaces is an emerging physical phenomenon, which is technologically important for potential device applications. However, most previous relevant studies only focused on the creation and characterization of the spin-polarized 2DEG. To push forward the device applications, the control of spin-polarized 2DEG by electric field is an important step. Here, a model system based on antiferromagnetic and ferroelectric perovskites, i.e., YTiO3/PbTiO3 superlattice, is designed to manipulate the spin-polarized 2DEG. By switching the direction of polarization, the spin-polarized 2DEG can be effectively tuned for both symmetric interfaces and asymmetric polar interfaces.


title: On the generalized parabolic Hardy-H\'enon equation: Existence, blow-up, self-similarity and large-time asymptotic behaviour

abstract: This paper deals with the Cauchy problem for the Hardy-H\'{e}non equation (and its fractional analogue). Local well-posedness for initial data in the class of continuous functions with slow decay at infinity is investigated. Small data (in critical weak-Lebesgue space) global well-posedness is obtained in $C_{b}([0,\infty);L^{q_c,\infty}(\RR^{n}))$. As a direct consequence, global existence for data in strong critical Lebesgue $L^{q_c}(\RR^{n})$ follows under a smallness condition while uniqueness is unconditional. Besides, we prove the existence of self-similar solutions and examine the long time behavior of globally defined solutions. The zero solution $u\equiv 0$ is shown to be asymptotically stable in $L^{q_c}(\RR^{n})$ -- it is the only self-similar solution which is initially small in $L^{q_c}(\RR^{n})$. Moreover, blow-up results are obtained under mild assumptions on the initial data and the corresponding Fujita critical exponent is found.


title: Integrability and solvability of polynomial Li\'{e}nard differential systems

abstract: We provide the necessary and sufficient conditions of Liouvillian integrability for Li\'{e}nard differential systems describing nonlinear oscillators with a polynomial damping and a polynomial restoring force. We prove that Li\'{e}nard differential systems are not Darboux integrable excluding subfamilies with certain restrictions on the degrees of the polynomials arising in the systems. We demonstrate that if the degree of a polynomial responsible for the restoring force is greater than the degree of a polynomial producing the damping, then a generic Li\'{e}nard differential system is not Liouvillian integrable with the exception of linear Li\'{e}nard systems. However, for any fixed degrees of the polynomials describing the damping and the restoring force we present subfamilies possessing Liouvillian first integrals. As a by-product of our results, we find a number of novel Liouvillian integrable subfamilies. In addition, we study the existence of non-autonomous Darboux first integrals and non-autonomous Jacobi last multipliers with a time-dependent exponential factor.


title: RF-Based Human Activity Recognition Using Signal Adapted Convolutional Neural Network

abstract: Human Activity Recognition (HAR) plays a critical role in a wide range of real-world applications, and it is traditionally achieved via wearable sensing. Recently, to avoid the burden and discomfort caused by wearable devices, device-free approaches exploiting RF signals arise as a promising alternative for HAR. Most of the latest device-free approaches require training a large deep neural network model in either time or frequency domain, entailing extensive storage to contain the model and intensive computations to infer activities. Consequently, even with some major advances on device-free HAR, current device-free approaches are still far from practical in real-world scenarios where the computation and storage resources possessed by, for example, edge devices, are limited. Therefore, we introduce HAR-SAnet which is a novel RF-based HAR framework. It adopts an original signal adapted convolutional neural network architecture: instead of feeding the handcraft features of RF signals into a classifier, HAR-SAnet fuses them adaptively from both time and frequency domains to design an end-to-end neural network model. We apply point-wise grouped convolution and depth-wise separable convolutions to confine the model scale and to speed up the inference execution time. The experiment results show that the recognition accuracy of HAR-SAnet outperforms state-of-the-art algorithms and systems.


title: Token Games and History-Deterministic Quantitative-Automata

abstract: A nondeterministic automaton is history-deterministic if its nondeterminism can be resolved by only considering the prefix of the word read so far. Due to their good compositional properties, history-deterministic automata are useful in solving games and synthesis problems. Deciding whether a given nondeterministic automaton is history-deterministic (the HDness problem) is generally a difficult task, which can involve an exponential procedure, or even be undecidable, as is the case for example with pushdown automata. Token games provide a PTime solution to the HDness problem of B\"uchi and coB\"uchi automata, and it is conjectured that 2-token games characterise HDness for all $\omega$-regular automata. We extend token games to the quantitative setting and analyse their potential to help deciding HDness of quantitative automata. In particular, we show that 1-token games characterise HDness for all quantitative (and Boolean) automata on finite words, as well as discounted-sum (DSum), Inf and Reachability automata on infinite words, and that 2-token games characterise HDness of LimInf and LimSup automata, as well as Sup automata on infinite words. Using these characterisations, we provide solutions to the HDness problem of Safety, Reachability, Inf and Sup automata on finite and infinite words in PTime, of DSum automata on finite and infinite words in NP$\cap$co-NP, of LimSup automata in quasipolynomial time, and of LimInf automata in exponential time, where the latter two are only polynomial for automata with a logarithmic number of weights.


title: Inferring the Class Conditional Response Map for Weakly Supervised Semantic Segmentation

abstract: Image-level weakly supervised semantic segmentation (WSSS) relies on class activation maps (CAMs) for pseudo labels generation. As CAMs only highlight the most discriminative regions of objects, the generated pseudo labels are usually unsatisfactory to serve directly as supervision. To solve this, most existing approaches follow a multi-training pipeline to refine CAMs for better pseudo-labels, which includes: 1) re-training the classification model to generate CAMs; 2) post-processing CAMs to obtain pseudo labels; and 3) training a semantic segmentation model with the obtained pseudo labels. However, this multi-training pipeline requires complicated adjustment and additional time. To address this, we propose a class-conditional inference strategy and an activation aware mask refinement loss function to generate better pseudo labels without re-training the classifier. The class conditional inference-time approach is presented to separately and iteratively reveal the classification network's hidden object activation to generate more complete response maps. Further, our activation aware mask refinement loss function introduces a novel way to exploit saliency maps during segmentation training and refine the foreground object masks without suppressing background objects. Our method achieves superior WSSS results without requiring re-training of the classifier.


title: Gravitational leptogenesis in teleparallel and symmetric teleparallel gravities

abstract: In this paper, we consider the possibilities of generating baryon number asymmetry in thermal equilibrium within the frameworks of teleparallel and symmetric teleparallel gravities. Through the derivative couplings of the torsion scalar or the non-metricity scalar to baryons, the baryon number asymmetry is indeed produced in the radiation dominated epoch. For gravitational baryogenesis mechanisms in these two frameworks, the produced baryon-to-entropy ratio is too small to be consistent with observations. But the gravitational leptogenesis models within both frameworks have the possibilities to interpret the observed baryon-antibaryon asymmetry.


title: Identification of coherent twin relationship from high-resolution reciprocal space maps

abstract: Twinning is a common crystallographic phenomenon, which usually occurs in crystals during symmetry-lowering phase transition. Once formed, twin domains play an important role in defining physical properties: for example, twin domains underpin the giant piezoelectric effect in ferroelectrics, superelasticity in ferroelastics and the shape-memory effect in martensitic alloys. Unfortunately, there is still a lack of experimental methods for imaging and characterization of twin domain patterns. Here, we propose a theoretical framework and an algorithm for the recognition of twinned pairs of ferroelastic domains and the identification of the coherent twin relationship using high-resolution reciprocal space mapping of X-ray diffraction intensity around split Bragg peaks. Specifically, we adapt the geometrical theory of twinned ferroelastic crystals (Fousek & Janovec, 1969) for the analysis of the X-ray diffraction patterns. We derive the necessary equations and outline an algorithm for calculation of the separation between the Bragg peaks, diffracted from possible coherent twin domains, connected to one another via mismatch-free interface. We demonstrate that such separation is always perpendicular to the planar interface between mechanically matched domains. As examples, we present the analysis of the separation between the peaks diffracted from tetragonal and rhombohedral domains in the high-resolution reciprocal space maps of BaTiO3 and PbZr1-xTixO3 crystals. The demonstrated method can be used to analyse the response of multi-domain patterns to external perturbations such as electric field, change of a temperature or pressure.


title: A Visualization Authoring Model for Post-WIMP Interfaces

abstract: Besides the ability to utilize visualizations, the process of creating and authoring them is of equal importance. However, for visualization environments beyond the desktop, like multi-display or immersive analytics environments, this process is often decoupled from the place where the visualization is actually used. This separation makes it hard for authors, developers, or users of such systems to understand, what consequences different choices they made will have for the created visualizations. We present an extended visualization authoring model for Post-WIMP interfaces, which support designers by a more seamless approach of developing and utilizing visualizations. With it, our emphasis is on the iterative nature of creating and configuring visualizations, the existence of multiple views in the same system, and requirements for the data analysis process.


title: Banach spaces containing $c_0$ and elements in the fourth dual

abstract: A recent result of T.~Abrahamsen, P.~H\'ajek and S.~Troyanski states that a separable Banach space is almost square if and only if there exists $h\in S_{X^{****}}$ such that $\|x+h\|=\max\{\|x\|,1\}$ for all $x\in X$. The proof passes through a sequential version of being almost square which we call being \textit{sequentially almost square}. In this article we study these conditions in the nonseparable setting. On one hand, we show that a Banach space $X$ contains a copy of $c_0$ if and only if there exists an equivalent renorming $| \cdot |$ on $X$ for which there exists $h\in S_{X^{****}}$ such that $|x+h|=\max\{|x|,1\}$ for every $x\in X$. On the other hand, although it is unclear whether the aforementioned result of T.~Abrahamsen et al. holds in the nonseparable setting, we show that, under the existence of selective ultrafilters, if $X$ is a sequentially almost square Banach space then there exists $h\in S_{X^{****}}$ such that $\|x+h\|=\max\{\|x\|,1\}$ for all $x\in X$.


title: The Regularity of Envelopes

abstract: Let $X$ be a compact complex manifold of complex dimension $n$ and $\alpha$ be a smooth closed real form on $X$ such that its cohomology class $\{ \alpha \}\in H^{1,1}(X, \mathbb{R})$ is big. In this paper we prove that, given a bounded function $f$ with bounded distributional laplacian in $X,$ the $\alpha$-psh envelope $P(f)$ is also locally bounded with locally bounded distributional laplacian on the ample locus of $\{\alpha\}.$


title: An exact, unconditional, nuisance-agnostic test for contingency tables

abstract: Exact tests greatly improve the analysis of contingency tables when marginals are low. For instance, researchers often use Fisher's exact test, which is conditional, or Barnard's test, which is unconditional but needs to deal with a nuisance parameter. Here, we describe the m-test, an exact, unconditional test for the study of d x m binomial contingency tables. When comparing binomial trials, the m-test is related to Barnard's exact test. However, the nuisance parameter is integrated over all its possible values, instead of maximized or otherwise estimated. According to Monte Carlo simulations, this strategy yields a higher statistical power than other exact tests. We also provide a package to perform the m-test in R.


title: Collective durotaxis of cohesive cell clusters on a stiffness gradient

abstract: Many types of motile cells perform durotaxis, namely, directed migration following gradients of substrate stiffness. Recent experiments have revealed that cell monolayers can migrate toward stiffer regions even when individual cells do not -- a phenomenon known as collective durotaxis. Here we address the spontaneous motion of finite cohesive cell monolayers on a stiffness gradient. We theoretically analyze a continuum active polar fluid model that has been tested in recent wetting assays of epithelial tissues, and includes two types of active forces (cell-substrate traction and cell-cell contractility). The competition between the two active forces determines whether a cell monolayer spreads or contracts. Here, we show that this model generically predicts collective durotaxis, and that it features a variety of dynamical regimes as a result of the interplay between the spreading state and the global propagation, including sequential contraction and spreading of the monolayer as it moves toward higher stiffness. We solve the model exactly in some relevant cases, which provides both physical insights into the mechanisms of tissue durotaxis and spreading as well as a variety of predictions that could guide the design of future experiments.


title: Ask "Who", Not "What": Bitcoin Volatility Forecasting with Twitter Data

abstract: Understanding the variations in trading price (volatility), and its response to exogenous information, is a well-researched topic in finance. In this study, we focus on finding stable and accurate volatility predictors for a relatively new asset class of cryptocurrencies, in particular Bitcoin, using deep learning representations of public social media data obtained from Twitter. For our experiments, we extracted semantic information and user statistics from over 30 million Bitcoin-related tweets, in conjunction with 15-minute frequency price data over a horizon of 144 days. Using this data, we built several deep learning architectures that utilized different combinations of the gathered information. For each model, we conducted ablation studies to assess the influence of different components and feature sets over the prediction accuracy. We found statistical evidences for the hypotheses that: (i) temporal convolutional networks perform significantly better than both classical autoregressive models and other deep learning-based architectures in the literature, and (ii) tweet author meta-information, even detached from the tweet itself, is a better predictor of volatility than the semantic content and tweet volume statistics. We demonstrate how different information sets gathered from social media can be utilized in different architectures and how they affect the prediction results. As an additional contribution, we make our dataset public for future research.


title: Application of Time Separation Technique to Enhance C-arm CT Dynamic Liver Perfusion Imaging

abstract: Perfusion imaging is an interesting new modality for evaluation and assessment of the liver cancer treatment. C-Arm CT provides a possibility to perform perfusion imaging scans intra-operatively for even faster evaluation. The slow speed of the C-Arm CT rotation and the presence of the noise, however, have an impact on the reconstruction and therefore model based approaches have to be applied. In this work we apply the Time separation technique (TST), to denoise data, speed up reconstruction and improve resulting perfusion images. We show on animal experiment data that Dynamic C-Arm CT Liver Perfusion Imaging together with the processing of the data based on the TST provides comparable results to standard CT liver perfusion imaging.


title: Combining fluorescence fluctuations and photobleaching to quantify surface density

abstract: We establish a method, called pbFFS for photobleaching Fluctuation Fluorescence Spectroscopy, which aims at characterizing molecules or particles labelled with a unknown distribution or fluorophores. Using photobleaching as a control parameter, pbFFS provides information on the distribution of labels and a more reliable estimation of the absolute density or concentration of these molecules. We present a complete theoretical derivation of the pbFFS approach and experimentally apply it to measure the surface density of a monolayer of fluorescently tagged streptavidin molecules that can be used as a base platform for biomimetic systems. The surface density measured by pbFFS is consistent with the results of more standard surface techniques, such as ellipsometry. Compared to those techniques, pbFFS has two main advantages: it enables in situ characterization (no dedicated substrates are required) and is applicable to low masses of adsorbed molecules, as demonstrated here by quantifying the density of biotin-Atto molecules that bind to the streptavidin layer. Besides molecules immobilized on surfaces, we also applied pbFFS to molecules diffusing in solution, to confirm the distribution of labels found on surfaces. Hence, pbFFS provides a set of tools to investigate molecules attached to a variable number of fluorophores, with the aim toquantify either the number of molecules or the distribution of fluorophores, the latter case being especially relevant for oligomerization studies.


title: Complex cobordism, Hamiltonian loops and global Kuranishi charts

abstract: Let $(X,\omega)$ be a closed symplectic manifold. A loop $\phi: S^1 \to \mathrm{Diff}(X)$ of diffeomorphisms of $X$ defines a fibration $\pi: P_{\phi} \to S^2$. By applying Gromov-Witten theory to moduli spaces of holomorphic sections of $\pi$, Lalonde, McDuff and Polterovich proved that if $\phi$ lifts to the Hamiltonian group $\mathrm{Ham}(X,\omega)$, then the rational cohomology of $P_{\phi}$ splits additively. We prove, with the same assumptions, that the $\mathbb{E}$-generalised cohomology of $P_{\phi}$ splits additively for any complex-oriented cohomology theory $\mathbb{E}$, in particular the integral cohomology splits. This class of examples includes all complex projective varieties equipped with a smooth morphism to $\mathbb{CP}^1$, in which case the analogous rational result was proved by Deligne using Hodge theory. The argument employs virtual fundamental cycles of moduli spaces of sections of $\pi$ in Morava $K$-theory and results from chromatic homotopy theory. Our proof involves a construction of independent interest: we build global Kuranishi charts for moduli spaces of pseudo-holomorphic spheres in $X$ in a class $\beta \in H_2(X;\mathbb{Z})$, depending on a choice of integral symplectic form $\Omega$ on $X$ and ample Hermitian line bundle over the moduli space of one-pointed degree $d = \langle \Omega,\beta\rangle$ stable genus zero curves in $\mathbb{CP}^d$.


title: Almost periodic functions and an analytical method of solving the number partitioning problem

abstract: In the present paper, we study the limit sets of the almost periodic functions $f(x)$. It is interesting that the values $r=\inf|f(x)|$ and $R=\sup|f(x)|$ may be expressed in the exact form. We show that the ring $r\leq |z|\leq R$ is the limit set of the almost periodic function $f(x)$ (under some natural conditions on $f$). The exact expression for $r$ coincides with the well known partition problem formula and gives a new analytical method of solving the corresponding partition problem. Several interesting examples are considered. For instance, in the case of the five numbers, the well-known Karmarkar--Karp algorithm gives the value $m=2$ as the solution of the partition problem in our example, and our method gives the correct answer $m=0.$ The figures presented in Appendix illustrate our results.

categories: math.CA cs.NA math.CO math.LO math.NA math.NT


title: Node-wise Localization of Graph Neural Networks

abstract: Graph neural networks (GNNs) emerge as a powerful family of representation learning models on graphs. To derive node representations, they utilize a global model that recursively aggregates information from the neighboring nodes. However, different nodes reside at different parts of the graph in different local contexts, making their distributions vary across the graph. Ideally, how a node receives its neighborhood information should be a function of its local context, to diverge from the global GNN model shared by all nodes. To utilize node locality without overfitting, we propose a node-wise localization of GNNs by accounting for both global and local aspects of the graph. Globally, all nodes on the graph depend on an underlying global GNN to encode the general patterns across the graph; locally, each node is localized into a unique model as a function of the global model and its local context. Finally, we conduct extensive experiments on four benchmark graphs, and consistently obtain promising performance surpassing the state-of-the-art GNNs.


title: Spectral asymptotics for a family of LCM matrices

abstract: We consider the family of arithmetical matrices given explicitly by $$E(\sigma,\tau)=\left\{\frac{n^\sigma m^\sigma}{[n,m]^\tau}\right\}_{n,m=1}^\infty,$$ where $[n,m]$ is the least common multiple of $n$ and $m$ and the real parameters $\sigma$ and $\tau$ satisfy $\rho:=\tau-2\sigma>0$, $\tau-\sigma>\frac12$ and $\tau>0$. We prove that $E(\sigma,\tau)$ is a compact self-adjoint positive definite operator on $\ell^2({\mathbb N})$, and the ordered sequence of eigenvalues of $E(\sigma,\tau)$ obeys the asymptotic relation $$\lambda_n(E(\sigma,\tau))=\frac{\varkappa(\sigma,\tau)}{n^\rho}+o(n^{-\rho}), \quad n\to\infty,$$ with some $\varkappa(\sigma,\tau)>0$. We give an application of this fact to the asymptotics of singular values of truncated multiplicative Toeplitz matrices with the symbol given by the Riemann zeta function on the vertical line with abscissa $\sigma<1/2$. We also point out a connection of the spectral analysis of $E(\sigma,\tau)$ to the theory of generalised prime systems.


title: The Geometry of the Painlev\'e paradox

abstract: Painlev\'e showed that there can be inconsistency and indeterminacy in solutions to the equations of motion of a 2D rigid body moving on a sufficiently rough surface. The study of Painlev\'e paradoxes in 3D has received far less attention. In this paper, we highlight the pivotal role in the dynamics of the azimuthal angular velocity Psi by proving the existence of three critical values of Psi, one of which occurs independently of any paradox. We show that the 2D problem is highly singular and uncover a rich geometry in the 3D problem which we use to explain recent numerical results.