title: Supervised Contrastive Learning Approach for Contextual Ranking

abstract: Contextual ranking models have delivered impressive performance improvements over classical models in the document ranking task. However, these highly over-parameterized models tend to be data-hungry and require large amounts of data even for fine tuning. This paper proposes a simple yet effective method to improve ranking performance on smaller datasets using supervised contrastive learning for the document ranking problem. We perform data augmentation by creating training data using parts of the relevant documents in the query-document pairs. We then use a supervised contrastive learning objective to learn an effective ranking model from the augmented dataset. Our experiments on subsets of the TREC-DL dataset show that, although data augmentation leads to an increasing the training data sizes, it does not necessarily improve the performance using existing pointwise or pairwise training objectives. However, our proposed supervised contrastive loss objective leads to performance improvements over the standard non-augmented setting showcasing the utility of data augmentation using contrastive losses. Finally, we show the real benefit of using supervised contrastive learning objectives by showing marked improvements in smaller ranking datasets relating to news (Robust04), finance (FiQA), and scientific fact checking (SciFact).


title: Operator version of Korovkin Theorem; Degree of Convergence and its Applications

abstract: In a recent article, Dumitru Popa proved an operator version of the Korovkin theorem. We recall the quantitative version of the Korovkin theorem obtained by O. Shisha and B. Mond in 1968. In this paper, we obtain a quantitative estimate for the operator version of the Korovkin theorem obtained by Dumitru Popa. We also consider various examples where the operator version is applicable and obtain similar estimates leading to the degree of convergence. In addition, we obtain the trigonometric analogue of this result by proving the quantitative version. Finally, we apply this result to the preconditioning problem of large linear systems with the Toeplitz structure.


title: On the Largest and the Smallest Singular Value of Sparse Rectangular Random Matrices

abstract: We derive estimates for the largest and smallest singular values of sparse rectangular $N\times n$ random matrices, assuming $\lim_{N,n\to\infty}\frac nN=y\in(0,1)$. We consider a model with sparsity parameter $p_N$ such that $Np_N\sim \log^{\alpha }N$ for some $\alpha>1$, and assume that the moments of the matrix elements satisfy the condition $\mathbf E|X_{jk}|^{4+\delta}\le C<\infty$. We assume also that the entries of matrices we consider are truncated at the level $(Np_N)^{\frac12-\varkappa}$ with $\varkappa:=\frac{\delta}{2(4+\delta)}$.


title: The Fr\"ohlich Polaron at Strong Coupling -- Part I: The Quantum Correction to the Classical Energy

abstract: We study the Fr\"ohlich polaron model in $\mathbb{R}^3$, and establish the subleading term in the strong coupling asymptotics of its ground state energy, corresponding to the quantum corrections to the classical energy determined by the Pekar approximation.


title: Roadside IRS-Aided Vehicular Communication: Efficient Channel Estimation and Low-Complexity Beamforming Design

abstract: Intelligent reflecting surface (IRS) has emerged as a promising technique to control wireless propagation environment for enhancing the communication performance cost-effectively. However, the rapidly time-varying channel in high-mobility communication scenarios such as vehicular communication renders it challenging to obtain the instantaneous channel state information (CSI) efficiently for IRS with a large number of reflecting elements. In this paper, we propose a new roadside IRS-aided vehicular communication system to tackle this challenge. Specifically, by exploiting the symmetrical deployment of IRSs with inter-laced equal intervals on both sides of the road and the cooperation among nearby IRS controllers, we propose a new two-stage channel estimation scheme with off-line and online training, respectively, to obtain the static/time-varying CSI required by the proposed low-complexity passive beamforming scheme efficiently. The proposed IRS beamforming and online channel estimation designs leverage the existing uplink pilots in wireless networks and do not require any change of the existing transmission protocol. Moreover, they can be implemented by each of IRS controllers independently, without the need of any real-time feedback from the user's serving BS. Simulation results show that the proposed designs can efficiently achieve the high IRS passive beamforming gain and thus significantly enhance the achievable communication throughput for high-speed vehicular communications.


title: From braces to pre-Lie rings

abstract: Let $A$ be a brace of cardinality $p^{n}$ where $p>n+1$ is prime, and let $ann (p^{2})$ be the set of elements of additive order at most $p^{2}$ in this brace. We construct a pre-Lie ring related to the brace $A/ann(p^{2})$. In the case of strongly nilpotent braces of nilpotency index $k<p$ the brace $A/ann(p^{2})$ can be recovered by applying the construction of the group of flows to the resulting pre-Lie ring. We don't know whether, when applied to braces which are not right nilpotent, our construction is related to the group of flows. We use powerful Lie rings associated with finite $p$-groups in the study of brace automorphisms with few fixed points. As an application we bound the number of elements which commute with a given element in a brace, as well as the number of elements which multiplied from left by a given element give zero. We also study various Lie rings associated to powerful groups and braces whose adjoint groups are powerful, and show that the obtained Lie and pre-Lie rings are also powerful. We also show that braces whose adjoint groups are powerful and powerful left nilpotent pre-Lie rings are in one-to-one correspondence and that they are left and right nilpotent under some cardinality assumptions.


title: Where is the base of the Transition Region? Evidence from TRACE, SDO, IRIS and ALMA observations

abstract: Classic solar models put the Chromosphere-Corona Transition Region (CCTR} at $\sim2$Mm above the $\tau_{5000} = 1$ level, whereas rMHD models place it in a wider range of heights. Observational verification is scarce. We review and discuss recent results from various instruments and spectral domains. In SDO and TRACE images spicules appear in emission in the 1600, 1700 and 304 A bands and in absorption in the EUV bands; the latter is due to photo-ionization of H and He I. At the shortest available AIA wavelength and taking into account that the photospheric limb is $\sim0.34$Mm above the $\tau_{5000}=1$ level, we found that CCTR emission starts at $\sim3.7$Mm; extrapolating to $\lambda=0$, where there is no chromospheric absorption, we deduced a height of $3.0\pm 0.5$Mm, above the value of 2.14Mm of the Avrett & Loeser model. Another indicator of the extent of the chromosphere is the height of the network structures. Height differences produce a limbward shift of features with respect to their counterparts in magnetograms. Using this approach, we measured heights of $0.14\pm0.04$Mm (at 1700 A), $0.31\pm0.09$Mm (at 1600 A) and $3.31\pm 0.18$Mm (at 304 A) for the center of the solar disk. A previously reported possible solar cycle variation is not confirmed. A third indicator is the position of the limb in the UV, where IRIS observations of the Mg II triplet lines show that they extend up to $\sim2.1$Mm above the 2832 A limb, while AIA/SDO images give a limb height of $1.4 \pm 0.2$Mm (1600 A) and $5.7\pm 0.2$Mm (304 A). Finally, ALMA mm-$\lambda$ full-disk images provide useful diagnostics, though not very accurate; values of $2.4\pm0.7$Mm at 1.26mm and $4.2\pm2.5$Mm at 3mm were obtained. Putting everything together, we conclude that the average chromosphere extends higher than homogeneous models predict, but within the range of rMHD models.


title: DLME: Deep Local-flatness Manifold Embedding

abstract: Manifold learning (ML) aims to seek low-dimensional embedding from high-dimensional data. The problem is challenging on real-world datasets, especially with under-sampling data, and we find that previous methods perform poorly in this case. Generally, ML methods first transform input data into a low-dimensional embedding space to maintain the data's geometric structure and subsequently perform downstream tasks therein. The poor local connectivity of under-sampling data in the former step and inappropriate optimization objectives in the latter step leads to two problems: structural distortion and underconstrained embedding. This paper proposes a novel ML framework named Deep Local-flatness Manifold Embedding (DLME) to solve these problems. The proposed DLME constructs semantic manifolds by data augmentation and overcomes the structural distortion problem using a smoothness constrained based on a local flatness assumption about the manifold. To overcome the underconstrained embedding problem, we design a loss and theoretically demonstrate that it leads to a more suitable embedding based on the local flatness. Experiments on three types of datasets (toy, biological, and image) for various downstream tasks (classification, clustering, and visualization) show that our proposed DLME outperforms state-of-the-art ML and contrastive learning methods.


title: An Electronic Nematic Liquid in BaNi$_2$As$_2$

abstract: Understanding the organizing principles of interacting electrons and the emergence of novel electronic phases is a central endeavor of condensed matter physics. Electronic nematicity, in which the discrete rotational symmetry in the electron fluid is broken while the translational one remains unaffected, is a prominent example of such a phase. It has proven ubiquitous in correlated electron systems, and is of prime importance to understand Fe-based superconductors. Here, we find that fluctuations of such broken symmetry are exceptionally strong over an extended temperature range above phase transitions in \bnap, the nickel homologue to the Fe-based systems. This provides evidence for a type of electronic nematicity, dynamical in nature, which exhibits an unprecedented coupling to the underlying crystal lattice. Fluctuations between degenerate nematic configurations cause a splitting of phonon lines, without lifting degeneracies nor breaking symmetries, akin to spin liquids in magnetic systems.


title: Harnessing Out-Of-Distribution Examples via Augmenting Content and Style

abstract: Machine learning models are vulnerable to Out-Of-Distribution (OOD) examples, and such a problem has drawn much attention. However, current methods lack a full understanding of different types of OOD data: there are benign OOD data that can be properly adapted to enhance the learning performance, while other malign OOD data would severely degenerate the classification result. To Harness OOD data, this paper proposes a HOOD method that can leverage the content and style from each image instance to identify benign and malign OOD data. Particularly, we design a variational inference framework to causally disentangle content and style features by constructing a structural causal model. Subsequently, we augment the content and style through an intervention process to produce malign and benign OOD data, respectively. The benign OOD data contain novel styles but hold our interested contents, and they can be leveraged to help train a style-invariant model. In contrast, the malign OOD data inherit unknown contents but carry familiar styles, by detecting them can improve model robustness against deceiving anomalies. Thanks to the proposed novel disentanglement and data augmentation techniques, HOOD can effectively deal with OOD examples in unknown and open environments, whose effectiveness is empirically validated in three typical OOD applications including OOD detection, open-set semi-supervised learning, and open-set domain adaptation.


title: Star Product PIR Schemes with Colluding Servers over Small Fields

abstract: Private Information Retrieval (PIR) was first proposed by B. Chor, O. Goldreich, E. Kushilevitz and M. Sudan in their 1995 FOCS paper. For MDS coded distributed storage system private information retrieval was proposed and the capacity of PIR schemes for MDS coded distributed storage was studied. Star product PIR schemes from general coded distributed storage system with colluding servers were constructed over general finite fields. These star product schemes has no restriction on the sizes of fields and can be constructed for coded distributed storage across large number of servers. In this paper we first propose and prove the Singleton type upper bound on the storage rate, ratio of colluding servers and the retrieval rate of the star product PIR schemes. Secondly star product PIR schemes for coded distributed storage from algebraic geometry (AG) codes are analysed. We prove that when the number of the servers goes to the infinity, star product PIR schemes with colluding servers for AG-coded distributed storage have parameters closing to the Singleton type upper bound if the field is large. Comparing with the star product PIR schemes for Reed-Solomon coded and Reed-Muller coded distributed storage we show that PIR schemes with colluding servers for AG coded distributed storage have their performance advantages. AG-code based star product PIR schemes with colluding, Byzantine and unresponsive servers are discussed. $q$-ary cyclic code based star product PIR schemes for replicated data storage are also studied. When the storage code is the Reed-Muller code, the best choice of the retrieval code is not always the Reed-Muller code.


title: The Atacama Cosmology Telescope: The Persistence of Neutrino Self-Interaction in Cosmological Measurements

abstract: We use data from the Atacama Cosmology Telescope (ACT) DR4 to search for the presence of neutrino self-interaction in the cosmic microwave background. Consistent with prior works, the posterior distributions we find are bimodal, with one mode consistent with $\Lambda$CDM and one where neutrinos strongly self-interact. By combining ACT data with large-scale information from WMAP, we find that a delayed onset of neutrino free streaming caused by significantly strong neutrino self-interaction is compatible with these data at the $2-3\sigma$ level. As seen in the past, the preference shifts to $\Lambda$CDM with the inclusion of Planck data. We determine that the preference for strong neutrino self-interaction is largely driven by angular scales corresponding to $700 \lesssim \ell \lesssim 1000$ in the ACT E-mode polarization data. This region is expected to be key to discriminate between neutrino self-interacting modes and will soon be probed with more sensitive data.


title: Alternating groups as products of cycle classes

abstract: Given integers $k,l\geq 2$, where either $l$ is odd or $k$ is even, let $n(k,l)$ denote the largest integer $n$ such that each element of $A_n$ is a product of $k$ many $l$-cycles. In 2008, M. Herzog, G. Kaplan and A. Lev proved that if $k,l$ both are odd, $3\mid l$ and $l>3$, then $n(k,l)=\frac{2}{3}kl$. They further conjectured that if $k$ is even and $3\mid l$, then $n(k,l)=\frac{2}{3}kl+1$. In this article, we prove this conjecture. We also prove that $n(k,3)=2k+1$ if $k$ is odd.


title: Deep spectral computations in linear and nonlinear diffusion problems

abstract: We propose a flexible machine-learning framework for solving eigenvalue problems of diffusion operators in moderately large dimension. We improve on existing Neural Networks (NNs) eigensolvers by demonstrating our approach ability to compute (i) eigensolutions for non-self adjoint operators with small diffusion (ii) eigenpairs located deep within the spectrum (iii) computing several eigenmodes at once (iv) handling nonlinear eigenvalue problems. To do so, we adopt a variational approach consisting of minimizing a natural cost functional involving Rayleigh quotients, by means of simple adiabatic technics and multivalued feedforward neural parametrisation of the solutions. Compelling successes are reported for a 10-dimensional eigenvalue problem corresponding to a Kolmogorov operator associated with a mixing Stepanov flow. We moreover show that the approach allows for providing accurate eigensolutions for a 5-D Schr\"odinger operator having $32$ metastable states. In addition, we address the so-called Gelfand superlinear problem having exponential nonlinearities, in dimension $4$, and for nontrivial domains exhibiting cavities. In particular, we obtain NN-approximations of high-energy solutions approaching singular ones. We stress that each of these results are obtained using small-size neural networks in situations where classical methods are hopeless due to the curse of dimensionality. This work brings new perspectives for the study of Ruelle-Pollicot resonances, dimension reduction, nonlinear eigenvalue problems, and the study of metastability when the dynamics has no potential.


title: A combination theorem for relatively hyperbolic groups and finite relative height of splitting

abstract: In this paper, we prove a combination theorem for a relatively acylindrical graph of relatively hyperbolic groups (Theorem 1.1). Here, we are extending the technique of [Tom21] and constructing Bowditch boundary of the fundamental group of graph of groups. Suppose G(Y) is a graph of relatively hyperbolic groups such that edge groups are relatively quasi-convex in adjacent vertex groups. Also, assume that the fundamental group of G(Y) is relatively hyperbolic. Then we show that the edge groups of G(Y) have finite relative height (Definition 1.5) if and only if they are relatively quasi-convex (Theorem 1.6). In the last section, we give an application.


title: Over-expansion of coronal mass ejections modelled using 3D MHD EUHFORIA simulations

abstract: Coronal mass ejections (CMEs) are large scale eruptions observed close to the Sun. They are travelling through the heliosphere and possibly interacting with the Earth environment creating interruptions or even damaging new technology instruments. Most of the time their physical conditions (velocity, density, pressure) are only measured in situ at one point in space, with no possibility to have information on the variation of these parameters during their journey from Sun to Earth. Our aim is to understand the evolution of internal physical parameters of a set of three particular fast halo CMEs. These CMEs were launched between 15 and 18 July 2002. Surprisingly, the related interplanetary CMEs (ICMEs), observed near Earth, have a low, and in one case even very low, plasma density. We use the EUropean Heliosphere FORecasting Information Asset (EUHFORIA) model to simulate the propagation of the CMEs in the background solar wind by placing virtual spacecraft along the Sun--Earth line. We set up the initial conditions at 0.1 au, first with a cone model and then with a linear force free spheromak model. A relatively good agreement between simulation results and observations concerning the speed, density and arrival times of the ICMEs is obtained by adapting the initial CME parameters. In particular, this is achieved by increasing the initial magnetic pressure so that a fast expansion is induced in the inner heliosphere. This implied the develop First, we show that a magnetic configuration with an out of force balance close to the Sun mitigates the EUHFORIA assumptions related to an initial uniform velocity. Second, the over-expansion of the ejected magnetic configuration in the inner heliosphere is one plausible origin for the low density observed in some ICMEs at 1 au. The in situ observed very low density has a possible coronal origin of fast expansion for two of the three ICMEs.


title: End-to-end Speech-to-Punctuated-Text Recognition

abstract: Conventional automatic speech recognition systems do not produce punctuation marks which are important for the readability of the speech recognition results. They are also needed for subsequent natural language processing tasks such as machine translation. There have been a lot of works on punctuation prediction models that insert punctuation marks into speech recognition results as post-processing. However, these studies do not utilize acoustic information for punctuation prediction and are directly affected by speech recognition errors. In this study, we propose an end-to-end model that takes speech as input and outputs punctuated texts. This model is expected to predict punctuation robustly against speech recognition errors while using acoustic information. We also propose to incorporate an auxiliary loss to train the model using the output of the intermediate layer and unpunctuated texts. Through experiments, we compare the performance of the proposed model to that of a cascaded system. The proposed model achieves higher punctuation prediction accuracy than the cascaded system without sacrificing the speech recognition error rate. It is also demonstrated that the multi-task learning using the intermediate output against the unpunctuated text is effective. Moreover, the proposed model has only about 1/7th of the parameters compared to the cascaded system.


title: AFFORCE: Actionable Framework for Designing Crowdsourcing Experiences for Older Adults

abstract: In this article we propose a unique framework for designing attractive and engaging crowdsourcing systems for older adults, which is called AFFORCE (Actionable Framework For Crowdsourcing Experiences). We first categorize and map mitigating factors and barriers to crowdsourcing for older adults to finally discuss, present and combine system elements addressing them into an actionable reference framework. This innovative framework is based on our experience with the design of crowdsourcing systems for older adults in exploratory cases and studies, related work, as well as our and related research at the intersection of older adults' use of ICT, crowdsourcing and citizen science.


title: Symmetry of ferroelectric switching and domain walls in hafnium dioxide

abstract: Hafnium dioxide (HfO2) is a promising ferroelectric (FE) material for achieving high-density nonvolatile memory and neuromorphic computing, due to its compatibility with the mainstream integrated circuit technology and the surprisingly enhanced ferroelectricity by reduced thickness. The FE switching dynamics is essential to the device performance, but the complexity of HfO2 atomic structure causes unknown of various FE switching paths and domain wall configurations. Here, we demonstrate that its low-barrier paths and domain walls can be comprehensively found and understood from a perspective of topological symmetry. By discussing pseudo-chirality and equivalent transformation relations in crystal with first principles and lattice modes, we classify and analyze 4 low-barrier FE switching paths and 93 irreducible topology domain wall configurations in HfO2. Anisotropic switching mechanism is found based on the mobility investigation for 12 types of 180{\deg} side domain walls. This methodology is expected to be generally applicable to displacive ferroelectrics with low unit cell point group symmetries, and lay a foundation for mechanism study of the switching dynamics.


title: FastHebb: Scaling Hebbian Training of Deep Neural Networks to ImageNet Level

abstract: Learning algorithms for Deep Neural Networks are typically based on supervised end-to-end Stochastic Gradient Descent (SGD) training with error backpropagation (backprop). Backprop algorithms require a large number of labelled training samples to achieve high performance. However, in many realistic applications, even if there is plenty of image samples, very few of them are labelled, and semi-supervised sample-efficient training strategies have to be used. Hebbian learning represents a possible approach towards sample efficient training; however, in current solutions, it does not scale well to large datasets. In this paper, we present FastHebb, an efficient and scalable solution for Hebbian learning which achieves higher efficiency by 1) merging together update computation and aggregation over a batch of inputs, and 2) leveraging efficient matrix multiplication algorithms on GPU. We validate our approach on different computer vision benchmarks, in a semi-supervised learning scenario. FastHebb outperforms previous solutions by up to 50 times in terms of training speed, and notably, for the first time, we are able to bring Hebbian algorithms to ImageNet scale.


title: Revealing the dust grain polarization properties as a function of extinction and distance towards NGC 1893

abstract: Dust polarization observations at optical wavelengths help to understand the dust grain properties and trace the plane-of-the-sky component of the magnetic field. In this study, we make use of the $I$-band polarization data acquired from AIMPOL along with the distances ($d$) and extinction ($A_{V}$) data to study the variation of polarization fraction ($P$) as a function of $A_{V}$ and $d$ towards the star-forming region, NGC 1893. We employ a broken power-law fit and Bayesian analysis on extinction ($A_{V}$) versus polarization efficiency ($P$/$A_{V}$) and distance ($d$) versus rate of polarization ($P$/$d$). We find that $P$/$A_{V}$ shows a break at an extinction of $\sim$0.9 mag, whereas $P/d$ exhibits a break at a distance of $\sim$1.5 kpc. Based on these, we categorize the dust towards NGC 1893 into two populations: (i) foreground dust confined to $A_{V}$ $<$ $\sim$1 mag and distance up to $\sim$2 kpc and (ii) Perseus spiral arm dust towards NGC 1893 characterized with $A_{V}$ $>$ $\sim$1 mag and distance beyond $\sim$2 kpc. Foreground dust exhibits higher polarization efficiency but a lower polarization rate, whereas Perseus dust shows a lower polarization efficiency but a slightly higher polarization rate. Hence, we suggest that while polarization efficiency reveals the dust grain alignment, the rate of polarization infers about the distribution of dust grains towards NGC 1893. Further, we also shed a light on the spatial variation of intrinsic polarization and magnetic field orientation, and other parameters within the intra-cluster medium of NGC 1893.


title: Inviscid Limit for Stochastic Second-Grade Fluid Equations

abstract: We consider in a smooth and bounded two dimensional domain the convergence in the $L^2$ norm, uniformly in time, of the solution of the stochastic second-grade fluid equations with transport noise and no-slip boundary conditions to the solution of the corresponding Euler equations. We prove, that assuming proper regularity of the initial conditions of the Euler equations and a proper behavior of the parameters $\nu$ and $\alpha$, then the inviscid limit holds without requiring a particular dissipation of the energy of the solutions of the second-grade fluid equations in the boundary layer.


title: Collapse of dark states in Tavis-Cummings model

abstract: The singlet state of a system of two two-level atoms changes smoothly, remaining dark, as the Hamiltonian TC is slowly deformed, despite the inapplicability of the adiabatic theorem to this case. In this case, there is a small probability of emission of free photons, which does not depend on the smoothness of the deformation of the Hamiltonian. The effect of spontaneous emission is enhanced by the addition of one more pair of atoms in the singlet state due to the exchange of virtual photons in the cavity. A similar effect was also established for the case when atoms can move between two cavities, but here, on the contrary, with an increase in the number of atoms, the emission decreases. This purely quantum effect must be taken into account in practical manipulations with atomic singlets; however, its weakness testifies, rather, to the stability of dark states and the prospects for their use in information exchange (quantum cryptographic protocols) and as an energy accumulator for nono-devices.


title: Existence theorems for regular spatially periodic solutions to ersatz Navier-Stokes equations

abstract: The initial problem for the Navier-Stokes type equations over ${\mathbb R}^n \times [0,T]$, $n\geq 2$, with a positive time $T$ in the spatially periodic setting is considered. First, we prove that the problem induces an open injective continuous mapping on scales of specially constructed function spaces of Bo\-chner-Sobolev type over the $n\,$-dimensional torus ${\mathbb T}^n$. Next, rejecting the idea of proving a universal a priori estimate for high-order derivatives, we obtain a surjectivity criterion for the non-linear mapping under the considerations in terms of boundedness for its inverse images of precompact sets. Finally, we prove that the mapping is surjective if we consider the versions of the Navier-Stokes type equations containing no `pressure'{}. This gives a uniqueness and existence theorem for regular solutions to this particular ersatz of the Navier-Stokes type equations. The used techniques consist in proving the closedness of the image by estimating all possible divergent sequences in the preimage and matching the asymptotics. The following facts are essential: i) the torus is a compact closed manifold, ii) the corresponding system is `local'.


title: Magneto-thermomechanically triggered active mechanical metamaterials -- untethered, reversible, reprogrammable transformations with shape locking

abstract: Future active metamaterials for reconfigurable structural applications require fast, untethered, reversible, and reprogrammable (multimodal) transformability with shape locking. Herein, we aim to construct and demonstrate a magneto-thermomechanical tool that enables a single material system to transform with untethered, reversible, low-powered reprogrammable deformations and shape locking via the application of magneto-thermomechanically triggered prestress on a shape memory polymer and structural instability with asymmetric magnetic torque. We demonstrate the mutual assistance of two physics concepts - magnetic control combined with the thermomechanical behavior of shape memory polymers, without requiring new materials synthesis and high-power energy for reprogramming. Our approach can open a new path of active metamaterials, flexible yet stiff soft robots, and multimodal morphing structures, where we can design them in reversible and reprogrammable ways.


title: Evolutionary Stability of Other-Regarding Preferences Under Complexity Costs

abstract: The evolution of preferences that account for other agents' fitness, or other-regarding preferences, has been modeled with the "indirect approach" to evolutionary game theory. Under the indirect evolutionary approach, agents make decisions by optimizing a subjective utility function. Evolution may select for subjective preferences that differ from the fitness function, and in particular, subjective preferences for increasing or reducing other agents' fitness. However, indirect evolutionary models typically artificially restrict the space of strategies that agents might use (assuming that agents always play a Nash equilibrium under their subjective preferences), and dropping this restriction can undermine the finding that other-regarding preferences are selected for. Can the indirect evolutionary approach still be used to explain the apparent existence of other-regarding preferences, like altruism, in humans? We argue that it can, by accounting for the costs associated with the complexity of strategies, giving (to our knowledge) the first account of the relationship between strategy complexity and the evolution of preferences. Our model formalizes the intuition that agents face tradeoffs between the cognitive costs of strategies and how well they interpolate across contexts. For a single game, these complexity costs lead to selection for a simple fixed-action strategy, but across games, when there is a sufficiently large cost to a strategy's number of context-specific parameters, a strategy of maximizing subjective (other-regarding) utility is stable again. Overall, our analysis provides a more nuanced picture of when other-regarding preferences will evolve.


title: Astro-photometric study of M37 with Gaia and wide-field ugi-imaging

abstract: We present an astrometric and photometric wide-field study of the Galactic open star cluster M37 (NGC 2099). The studied field was observed with ground-based images covering a region of about four square degrees in the Sloan-like filters ugi. We exploited the Gaia catalogue to calibrate the geometric distortion of the large field mosaics, developing software routines that can be also applied to other wide-field instruments. The data are used to identify the hottest white dwarf (WD) member candidates of M37. Thanks to the Gaia EDR3 exquisite astrometry we identified seven such WD candidates, one of which, besides being a high-probability astrometric member, is the putative central star of a planetary nebula. To our knowledge, this is a unique object in an open cluster, and we have obtained follow-up low-resolution spectra that are used for a qualitative characterisation of this young WD. Finally, we publicly release a three-colour atlas and a catalogue of the sources in the field of view, which represents a complement of existing material.


title: Deformer: Towards Displacement Field Learning for Unsupervised Medical Image Registration

abstract: Recently, deep-learning-based approaches have been widely studied for deformable image registration task. However, most efforts directly map the composite image representation to spatial transformation through the convolutional neural network, ignoring its limited ability to capture spatial correspondence. On the other hand, Transformer can better characterize the spatial relationship with attention mechanism, its long-range dependency may be harmful to the registration task, where voxels with too large distances are unlikely to be corresponding pairs. In this study, we propose a novel Deformer module along with a multi-scale framework for the deformable image registration task. The Deformer module is designed to facilitate the mapping from image representation to spatial transformation by formulating the displacement vector prediction as the weighted summation of several bases. With the multi-scale framework to predict the displacement fields in a coarse-to-fine manner, superior performance can be achieved compared with traditional and learning-based approaches. Comprehensive experiments on two public datasets are conducted to demonstrate the effectiveness of the proposed Deformer module as well as the multi-scale framework.


title: A Distributed Diffusion Kalman Filter In Multitask Networks

abstract: The Distributed Diffusion Kalman Filter (DDKF) algorithm in all its magnitude has earned great attention lately and has shown an elaborate way to address the issue of distributed optimization over networks. Estimation and tracking of a single state vector collectively by nodes have been the point of focus. In reality, however, there are several multi-task-oriented issues where the optimal state vector for each node may not be the same. Its objective is to know many related tasks simultaneously, rather than the typical single-task problems. This work considers sensor networks for distributed multi-task tracking in which individual nodes communicate with its immediate nodes. A diffusion-based distributed multi-task tracking algorithm is developed. This is done by implementing an unsupervised adaptive clustering process, which aids nodes in forming clusters and collaborating on tasks. For distributed target tracking, an adaptive clustering approach, which gives agents the ability to identify and select through adaptive adjustments of combination weights nodes who to collaborate with and who not to in order to estimate the common state vector. This gave rise to an effective level of cooperation for improving state vector estimation accuracy, especially in cases where a cluster's background experience is unknown. To demonstrate the efficiency of our algorithm, computer simulations were conducted. Comparison has been carried out for the Diffusion Kalman Filter multitask with respect to the Adapt then combine (ATC) diffusion schemes utilizing both static and adaptive combination weights. Results showed that the ATC diffusion schemes algorithm has great performance with the adaptive combiners as compared to static combiners.


title: Chilled Sampling for Uncertainty Quantification: A Motivation From A Meteorological Inverse Problem

abstract: Atmospheric motion vectors (AMVs) extracted from satellite imagery are the only wind observations with good global coverage. They are important features for feeding numerical weather prediction (NWP) models. Several Bayesian models have been proposed to estimate AMVs. Although critical for correct assimilation into NWP models, very few methods provide a thorough characterization of the estimation errors. The difficulty of estimating errors stems from the specificity of the posterior distribution, which is both very high dimensional, and highly ill-conditioned due to a singular likelihood. Motivated by this difficult inverse problem, this work studies the evaluation of the (expected) estimation errors using gradient-based Markov Chain Monte Carlo (MCMC) algorithms. The main contribution is to propose a general strategy, called here chilling, which amounts to sampling a local approximation of the posterior distribution in the neighborhood of a point estimate. From a theoretical point of view, we show that under regularity assumptions, the family of chilled posterior distributions converges in distribution as temperature decreases to an optimal Gaussian approximation at a point estimate given by the Maximum A Posteriori, also known as the Laplace approximation. Chilled sampling therefore provides access to this approximation generally out of reach in such high-dimensional nonlinear contexts. From an empirical perspective, we evaluate the proposed approach based on some quantitative Bayesian criteria. Our numerical simulations are performed on synthetic and real meteorological data. They reveal that not only the proposed chilling exhibits a significant gain in terms of accuracy of the point estimates and of their associated expected errors, but also a substantial acceleration in the convergence speed of the MCMC algorithms.

categories: stat.ME cs.CV math.PR math.ST stat.AP stat.TH


title: Trouble with geodesics in black-to-white hole bouncing scenarios

abstract: By utilizing the thin shell approximation, we investigate the behavior of radial timelike geodesics in a black hole to white hole bouncing scenario with a mass (de-)amplification relation. We show that those geodesics lose energy after crossing the transition surface if the white hole mass is less than the black hole mass and vice versa. That is, the bounded timelike radial geodesics become closer to the event horizon in the mass decreasing direction. We then show that by tracing a finite amount of bouncing cycles along the mass decreasing direction, all bounded radial geodesics can be squeezed into the range of the stretched horizon while the black hole and white hole are still massive. Those highly squeezed geodesics are problematic since there exists a Planck-scale blueshift between them and the regular infalling trajectories. We also discuss the possible implication and rescues.


title: Older Adults' Motivation and Engagement with Diverse Crowdsourcing Citizen Science Tasks

abstract: In this exploratory study we evaluated the engagement, performance and preferences of older adults who interacted with different citizen science tasks. Out of 40 projects recently active on the Zooniverse platform we selected top ones to be represented by 8 diverse, yet standardized, microtasks, 2 in each category of image, audio, text and pattern recognition. Next, 33 older adults performed these microtasks at home and evaluated each task right after its completion to, finally, share what could encourage them to engage with such tasks in their free time. Based on the results we draw preliminary conclusions regarding older adults' motivations for engaging with such crowdsourcing tasks and suggest some guidelines for task design while discussing interesting avenues for further inquiry in the area of crowdsourcing for older adults.


title: An affine Weyl group action on the basic hypergeometric series arising from the $q$-Garnier system

abstract: Recently, we formulated the $q$-Garnier system and its variations as translations of an extended affine Weyl group of type $A^{(1)}_{2n+1}\times A^{(1)}_1\times A^{(1)}_1$. On the other hand, those systems admit particular solutions in terms of the basic hypergeometric series ${}_{n+1}\phi_n$. In this article, we investigate an action of the extended affine Weyl group on ${}_{n+1}\phi_n$.


title: Kronecker Product Approximation of Operators in Spectral Norm via Alternating SDP

abstract: The decomposition or approximation of a linear operator on a matrix space as a sum of Kronecker products plays an important role in matrix equations and low-rank modeling. The approximation problem in Frobenius norm admits a well-known solution via the singular value decomposition. However, the approximation problem in spectral norm, which is more natural for linear operators, is much more challenging. In particular, the Frobenius norm solution can be far from optimal in spectral norm. We describe an alternating optimization method based on semidefinite programming to obtain high-quality approximations in spectral norm, and we present computational experiments to illustrate the advantages of our approach.


title: Fast, accurate, and system-specific variable-resolution modelling of proteins

abstract: In recent years, a few multiple-resolution modelling strategies have been proposed, in which functionally relevant parts of a biomolecule are described with atomistic resolution, while the remainder of the system is concurrently treated using a coarse-grained model. In most cases, the parametrisation of the latter requires lengthy reference all-atom simulations and/or the usage of off-shelf coarse-grained force fields, whose interactions have to be refined to fit the specific system under examination. Here, we overcome these limitations through a novel multi-resolution modelling scheme for proteins, dubbed coarse-grained anisotropic network model for variable resolution simulations, or CANVAS. This scheme enables the user-defined modulation of the resolution level throughout the system structure; a fast parametrisation of the potential without the necessity of reference simulations; and the straightforward usage of the model on the most commonly used molecular dynamics platforms. The method is presented and validated on two case studies, the enzyme adenylate kinase and the therapeutic antibody pembrolizumab, by comparing results obtained with the CANVAS model against fully atomistic simulations. The modelling software, implemented in python, is made freely available for the community on a collaborative github repository.


title: K-theory cohomology of associative algebra twisted bundles

abstract: We introduce and study a $K$-theory of twisted bundles for associative algebras $A(\mathfrak g)$ of formal series with an infinite-Lie algebra coefficients over arbitrary compact topological spaces. Fibers of such bundles are given by elements of algebraic completion of the space of all formal series in complex parameters, sections are provided by rational functions with prescribed analytic properties. In this paper we introduce and study K-groups $K(A(\mathfrak g), X)$ of twisted $A(\mathfrak g)$-bundles as equivalence classes $[\mathcal{E}]$ of $A(\mathfrak g)$-bundle $\mathcal{E}$. We show that for any twisted $A(\mathfrak g)$-bundle $\mathcal{E}$ there exist another bundle $\widetilde{\mathcal{E}}$ such that an element of $K(A(\mathfrak g), X)$ for $\mathcal{E}$ can be represented in the form $[\mathcal{E}]/[\widetilde{\mathcal{E}}]$. The group $K(A(\mathfrak g), X)$ homomorphism properties with respect to tensor product, and splitting properties with respect to reductions of $X$ into base points. We determine also cohomology of cells of K-groups for the factor $X/Y$ of two compact spaces $X$ and $Y$.


title: Trapped-Ion Quantum Simulation of Collective Neutrino Oscillations

abstract: It is well known that the neutrino flavor in extreme astrophysical environments changes under the effect of three contributions: the vacuum oscillation, the interaction with the surrounding matter, and the collective oscillations due to interactions between different neutrinos. The latter adds a non-linear contribution to the equations of motion, making the description of their dynamics complex. In this work we study various strategies to simulate the coherent collective oscillations of a system of N neutrinos in the two-flavor approximation using quantum computation. This was achieved by using a pair-neutrino decomposition designed to account for the fact that the flavor Hamiltonian, in the presence of the neutrino-neutrino term, presents an all-to-all interaction that makes the implementation of the evolution dependent on the qubit topology. We analyze the Trotter error caused by the decomposition demonstrating that the complexity of the implementation of time evolution scales polynomially with the number of neutrinos and that the noisy from near-term quantum device simulation can be reduced by optimizing the quantum circuit decomposition and exploiting a full-qubit connectivity. We find that the gate complexity using second order Trotter-Suzuki formulae scales better with system size than with other decomposition methods such as Quantum Signal Processing. We finally present the application and the results of our algorithm on a real quantum device based on trapped-ions qubits.


title: Learning Music-Dance Representations through Explicit-Implicit Rhythm Synchronization

abstract: Although audio-visual representation has been proved to be applicable in many downstream tasks, the representation of dancing videos, which is more specific and always accompanied by music with complex auditory contents, remains challenging and uninvestigated. Considering the intrinsic alignment between the cadent movement of dancer and music rhythm, we introduce MuDaR, a novel Music-Dance Representation learning framework to perform the synchronization of music and dance rhythms both in explicit and implicit ways. Specifically, we derive the dance rhythms based on visual appearance and motion cues inspired by the music rhythm analysis. Then the visual rhythms are temporally aligned with the music counterparts, which are extracted by the amplitude of sound intensity. Meanwhile, we exploit the implicit coherence of rhythms implied in audio and visual streams by contrastive learning. The model learns the joint embedding by predicting the temporal consistency between audio-visual pairs. The music-dance representation, together with the capability of detecting audio and visual rhythms, can further be applied to three downstream tasks: (a) dance classification, (b) music-dance retrieval, and (c) music-dance retargeting. Extensive experiments demonstrate that our proposed framework outperforms other self-supervised methods by a large margin.


title: Mean field games master equations: from discrete to continuous state space

abstract: This paper studies the convergence of mean field games with finite state space to mean field games with a continuous state space. We examine a space discretization of a diffusive dynamics, which is reminiscent of the Markov chain approximation method in stochasctic control, but also of finite difference numerical schemes; time remains continuous in the discretization, and the time horizon is arbitrarily long. We are mainly interested in the convergence of the solution of the associated master equations as the number of states tends to infinity. We present two approaches, to treat the case without or with common noise, both under monotonicity assumptions. The first one uses the system of characteristics of the master equation, which is the MFG system, to establish a convergence rate for the master equations without common noise and the associated optimal trajectories, both in case there is a smooth solution to the limit master equation and in case there is not. The second approach relies on the notion of monotone solutions introduced by Bertucci. In the presence of common noise, we show convergence of the master equations, with a convergence rate if the limit master equation is smooth, otherwise by compactness arguments.


title: MiniFloat-NN and ExSdotp: An ISA Extension and a Modular Open Hardware Unit for Low-Precision Training on RISC-V cores

abstract: Low-precision formats have recently driven major breakthroughs in neural network (NN) training and inference by reducing the memory footprint of the NN models and improving the energy efficiency of the underlying hardware architectures. Narrow integer data types have been vastly investigated for NN inference and have successfully been pushed to the extreme of ternary and binary representations. In contrast, most training-oriented platforms use at least 16-bit floating-point (FP) formats. Lower-precision data types such as 8-bit FP formats and mixed-precision techniques have only recently been explored in hardware implementations. We present MiniFloat-NN, a RISC-V instruction set architecture extension for low-precision NN training, providing support for two 8-bit and two 16-bit FP formats and expanding operations. The extension includes sum-of-dot-product instructions that accumulate the result in a larger format and three-term additions in two variations: expanding and non-expanding. We implement an ExSdotp unit to efficiently support in hardware both instruction types. The fused nature of the ExSdotp module prevents precision losses generated by the non-associativity of two consecutive FP additions while saving around 30% of the area and critical path compared to a cascade of two expanding fused multiply-add units. We replicate the ExSdotp module in a SIMD wrapper and integrate it into an open-source floating-point unit, which, coupled to an open-source RISC-V core, lays the foundation for future scalable architectures targeting low-precision and mixed-precision NN training. A cluster containing eight extended cores sharing a scratchpad memory, implemented in 12 nm FinFET technology, achieves up to 575 GFLOPS/W when computing FP8-to-FP16 GEMMs at 0.8 V, 1.26 GHz.


title: Commuting graph of a group action with few edges

abstract: Let $A$ be a group acting by automorphisms on the group $G.$ \textit{The commuting graph $\Gamma(G,A)$ of $A$-orbits} of this action is the simple graph with vertex set $\{x^{A} : 1\ne x \in G \}$, the set of all $A$-orbits on $G\setminus \{1\}$, where two distinct vertices $x^{A}$ and $y^{A}$ are joined by an edge if and only if there exist $x_{1}\in x^{A}$ and $y_{1}\in y^{A}$ such that $[x_{1},y_{1}]=1$. The present paper characterizes the groups $G$ for which $\Gamma(G,A)$ is an $\mathcal{F}$-graph, that is, a connected graph which contains at most one vertex whose degree is not less than three.


title: Financial fire sales as continuous-state complex contagion

abstract: Trading activities in financial systems create various channels through which systemic risk can propagate. An important contagion channel is financial fire sales, where a bank failure causes asset prices to fall due to asset liquidation, which in turn drives further bank defaults, triggering the next rounds of liquidation. This process can be considered as complex contagion, yet it cannot be modeled using the conventional binary-state contagion models because there is a continuum of states representing asset prices. Here, we develop a threshold model of continuous-state cascades in which the states of each node are represented by real values. We show that the solution of a multi-state contagion model, for which the continuous states are discretized, accurately replicates the simulated continuous state distribution as long as the number of states is moderately large. This discretization approach allows us to exploit the power of approximate master equations (AME) to trace the trajectory of the fraction of defaulted banks and obtain the distribution of asset prices that characterize the dynamics of fire sales on asset-bank bipartite networks. We examine the accuracy of the proposed method using real data on asset-holding relationships in exchange-traded funds (ETFs).


title: Generalized fraction rules for monotonicity with higher antiderivatives and derivatives

abstract: We first introduce the generic versions of the fraction rules for monotonicity, i.e. the one that involves integrals known as the Gromov theorem and the other that involves derivatives known as L'H\^opital rule for monotonicity, which we then extend to high order antiderivatives and derivatives, respectively.


title: Multi seasonal discrete time risk model revisited

abstract: In this work we set up the distribution function of $\mathcal{M}:=\sup_{n\geqslant1}\sum_{i=1}^{n}{(Z_i-1)}$, where the random walk $\sum_{i=1}^{n}Z_i, n\in\mathbb{N},$ is generated by $N$ periodically occurring distributions and the integer-valued and non-negative random variables $Z_1,\,Z_2,\,\ldots$ are independent. The considered random walk generates so-called multi seasonal discrete time risk model, and a known distribution of random variable $\mathcal{M}$ enables to calculate ultimate time ruin or survival probability. Verifying obtained theoretical statements we demonstrate several computational examples for survival probability $\mathbb{P}(\mathcal{M}< u)$ when $N=2,\,3$ or $10$.


title: SPR:Supervised Personalized Ranking Based on Prior Knowledge for Recommendation

abstract: The goal of a recommendation system is to model the relevance between each user and each item through the user-item interaction history, so that maximize the positive samples score and minimize negative samples. Currently, two popular loss functions are widely used to optimize recommender systems: the pointwise and the pairwise. Although these loss functions are widely used, however, there are two problems. (1) These traditional loss functions do not fit the goals of recommendation systems adequately and utilize prior knowledge information sufficiently. (2) The slow convergence speed of these traditional loss functions makes the practical application of various recommendation models difficult. To address these issues, we propose a novel loss function named Supervised Personalized Ranking (SPR) Based on Prior Knowledge. The proposed method improves the BPR loss by exploiting the prior knowledge on the interaction history of each user or item in the raw data. Unlike BPR, instead of constructing <user, positive item, negative item> triples, the proposed SPR constructs <user, similar user, positive item, negative item> quadruples. Although SPR is very simple, it is very effective. Extensive experiments show that our proposed SPR not only achieves better recommendation performance, but also significantly accelerates the convergence speed, resulting in a significant reduction in the required training time.


title: Dynamic Complementarity Conditions and Whole-Body Trajectory Optimization for Humanoid Robot Locomotion

abstract: The paper presents a planner to generate walking trajectories by using the centroidal dynamics and the full kinematics of a humanoid robot. The interaction between the robot and the walking surface is modeled explicitly via new conditions, the \emph{Dynamical Complementarity Constraints}. The approach does not require a predefined contact sequence and generates the footsteps automatically. We characterize the robot control objective via a set of tasks, and we address it by solving an optimal control problem. We show that it is possible to achieve walking motions automatically by specifying a minimal set of references, such as a constant desired center of mass velocity and a reference point on the ground. Furthermore, we analyze how the contact modelling choices affect the computational time. We validate the approach by generating and testing walking trajectories for the humanoid robot iCub.


title: Comparing Confidence Intervals for a Binomial Proportion with the Interval Score

abstract: There are over 55 different ways to construct a confidence respectively credible interval (CI) for the binomial proportion. Methods to compare them are necessary to decide which should be used in practice. The interval score has been suggested to compare prediction intervals. This score is a proper scoring rule that combines the coverage as a measure of calibration and the width as a measure of sharpness. We evaluate eleven CIs for the binomial proportion based on the expected interval score and propose a summary measure which can take into account different weighting of the underlying true proportion. Under uniform weighting, the expected interval score recommends the Wilson CI or Bayesian credible intervals with a uniform prior. If extremely low or high proportions receive more weight, the score recommends Bayesian credible intervals based on Jeffreys' prior. While more work is needed to theoretically justify the use of the interval score for the comparison of CIs, our results suggest that it constitutes a useful method to combine coverage and width in one measure. This novel approach could also be used in other applications.


title: Algorithms to solve unbounded convex vector optimization problems

abstract: This paper is concerned with solution algorithms for general convex vector optimization problems (CVOPs). So far, solution concepts and approximation algorithms for solving CVOPs exist only for bounded problems [Ararat et al. 2022, Doerfler et al. 2021, Loehne et al. 2014]. They provide a polyhedral inner and outer approximation of the upper image that have a Hausdorff distance of at most $\varepsilon$. However, it is well known (see [Ulus, 2018]), that for some unbounded problems such polyhedral approximations do not exist. In this paper, we will propose a generalized solution concept, called an $(\varepsilon,\delta)$--solution, that allows also to consider unbounded CVOPs. It is based on additionally bounding the recession cones of the inner and outer polyhedral approximations of the upper image in a meaningful way. An algorithm is proposed that computes such $\delta$--outer and $\delta$--inner approximations of the recession cone of the upper image. In combination with the results of [Loehne et al. 2014] this provides a primal and a dual algorithm that allow to compute $(\varepsilon,\delta)$--solutions of (potentially unbounded) CVOPs. Numerical examples are provided.


title: Color-Tunable Mixed-Cation Perovskite Single Photon Emitters

abstract: Quantum photonics technologies like wavelength division multiplexing (WDM) for high-rate quantum key distribution require narrowband, spectrally tunable single photon emitters. Physical methods that rely on the application of large mechanical strain to epitaxial quantum dots or electric and magnetic fields to color centers in 2D metal dichalcogenides provide limited spectral tunability. Here we adopt a chemical approach to synthesize a family of colloidal mixed-cation perovskite quantum dots ($\text{Cs}_{1-x}\text{FA}_{x}\text{PbBr}_3$) that show highly photo-stable, compositionally tunable single photon emission at room temperature - spanning more than 30 nm in the visible wavelength spectral range. We find that, tailoring the stoichiometry of the organic formamidinium (FA) cation in all-inorganic cesium lead bromide ($\text{CsPbBr}_3$) perovskite quantum dots detunes the electronic band structure while preserving their excellent single photon emission characteristics. We argue that the mixed-cation perovskite quantum dots studied in this work offer a new platform for the realization of color-tunable single photon emitters that could be readily integrated in a diversity of quantum photonic devices.

categories: quant-ph cond-mat.mes-hall physics.atm-clus physics.optics


title: Privacy-Preserving Synthetic Educational Data Generation

abstract: Institutions collect massive learning traces but they may not disclose it for privacy issues. Synthetic data generation opens new opportunities for research in education. In this paper we present a generative model for educational data that can preserve the privacy of participants, and an evaluation framework for comparing synthetic data generators. We show how naive pseudonymization can lead to re-identification threats and suggest techniques to guarantee privacy. We evaluate our method on existing massive educational open datasets.


title: Thresholds for the monochromatic clique transversal game

abstract: We study a recently introduced two-person combinatorial game, the $(a,b)$-monochromatic clique transversal game which is played by Alice and Bob on a graph $G$. As we observe, this game is equivalent to the $(b,a)$-biased Maker-Breaker game played on the clique-hypergraph of $G$. Our main results concern the threshold bias $a_1(G)$ that is the smallest integer $a$ such that Alice can win in the $(a,1)$-monochromatic clique transversal game on $G$ if she is the first to play. Among other results, we determine the possible values of $a_1(G)$ for the disjoint union of graphs, prove a formula for $a_1(G)$ if $G$ is triangle-free, and obtain the exact values of $a_1(C_n \,\square\, C_m)$, $a_1(C_n \,\square\, P_m)$, and $a_1(P_n \,\square\, P_m)$ for all possible pairs $(n,m)$.


title: MCTS with Refinement for Proposals Selection Games in Scene Understanding

abstract: We propose a novel method applicable in many scene understanding problems that adapts the Monte Carlo Tree Search (MCTS) algorithm, originally designed to learn to play games of high-state complexity. From a generated pool of proposals, our method jointly selects and optimizes proposals that minimize the objective term. In our first application for floor plan reconstruction from point clouds, our method selects and refines the room proposals, modelled as 2D polygons, by optimizing on an objective function combining the fitness as predicted by a deep network and regularizing terms on the room shapes. We also introduce a novel differentiable method for rendering the polygonal shapes of these proposals. Our evaluations on the recent and challenging Structured3D and Floor-SP datasets show significant improvements over the state-of-the-art, without imposing hard constraints nor assumptions on the floor plan configurations. In our second application, we extend our approach to reconstruct general 3D room layouts from a color image and obtain accurate room layouts. We also show that our differentiable renderer can easily be extended for rendering 3D planar polygons and polygon embeddings. Our method shows high performance on the Matterport3D-Layout dataset, without introducing hard constraints on room layout configurations.


title: Dual Stream Computer-Generated Image Detection Network Based On Channel Joint And Softpool

abstract: With the development of computer graphics technology, the images synthesized by computer software become more and more closer to the photographs. While computer graphics technology brings us a grand visual feast in the field of games and movies, it may also be utilized by someone with bad intentions to guide public opinions and cause political crisis or social unrest. Therefore, how to distinguish the computer-generated graphics (CG) from the photographs (PG) has become an important topic in the field of digital image forensics. This paper proposes a dual stream convolutional neural network based on channel joint and softpool. The proposed network architecture includes a residual module for extracting image noise information and a joint channel information extraction module for capturing the shallow semantic information of image. In addition, we also design a residual structure to enhance feature extraction and reduce the loss of information in residual flow. The joint channel information extraction module can obtain the shallow semantic information of the input image which can be used as the information supplement block of the residual module. The whole network uses SoftPool to reduce the information loss of down-sampling for image. Finally, we fuse the two flows to get the classification results. Experiments on SPL2018 and DsTok show that the proposed method outperforms existing methods, especially on the DsTok dataset. For example, the performance of our model surpasses the state-of-the-art by a large margin of 3%.


title: Leveraging Log Instructions in Log-based Anomaly Detection

abstract: Artificial Intelligence for IT Operations (AIOps) describes the process of maintaining and operating large IT systems using diverse AI-enabled methods and tools for, e.g., anomaly detection and root cause analysis, to support the remediation, optimization, and automatic initiation of self-stabilizing IT activities. The core step of any AIOps workflow is anomaly detection, typically performed on high-volume heterogeneous data such as log messages (logs), metrics (e.g., CPU utilization), and distributed traces. In this paper, we propose a method for reliable and practical anomaly detection from system logs. It overcomes the common disadvantage of related works, i.e., the need for a large amount of manually labeled training data, by building an anomaly detection model with log instructions from the source code of 1000+ GitHub projects. The instructions from diverse systems contain rich and heterogenous information about many different normal and abnormal IT events and serve as a foundation for anomaly detection. The proposed method, named ADLILog, combines the log instructions and the data from the system of interest (target system) to learn a deep neural network model through a two-phase learning procedure. The experimental results show that ADLILog outperforms the related approaches by up to 60% on the F1 score while satisfying core non-functional requirements for industrial deployments such as unsupervised design, efficient model updates, and small model sizes.


title: An Exploration of How Training Set Composition Bias in Machine Learning Affects Identifying Rare Objects

abstract: When training a machine learning classifier on data where one of the classes is intrinsically rare, the classifier will often assign too few sources to the rare class. To address this, it is common to up-weight the examples of the rare class to ensure it isn't ignored. It is also a frequent practice to train on restricted data where the balance of source types is closer to equal for the same reason. Here we show that these practices can bias the model toward over-assigning sources to the rare class. We also explore how to detect when training data bias has had a statistically significant impact on the trained model's predictions, and how to reduce the bias's impact. While the magnitude of the impact of the techniques developed here will vary with the details of the application, for most cases it should be modest. They are, however, universally applicable to every time a machine learning classification model is used, making them analogous to Bessel's correction to the sample variance.


title: Revisiting Pretraining Objectives for Tabular Deep Learning

abstract: Recent deep learning models for tabular data currently compete with the traditional ML models based on decision trees (GBDT). Unlike GBDT, deep models can additionally benefit from pretraining, which is a workhorse of DL for vision and NLP. For tabular problems, several pretraining methods were proposed, but it is not entirely clear if pretraining provides consistent noticeable improvements and what method should be used, since the methods are often not compared to each other or comparison is limited to the simplest MLP architectures. In this work, we aim to identify the best practices to pretrain tabular DL models that can be universally applied to different datasets and architectures. Among our findings, we show that using the object target labels during the pretraining stage is beneficial for the downstream performance and advocate several target-aware pretraining objectives. Overall, our experiments demonstrate that properly performed pretraining significantly increases the performance of tabular DL models, which often leads to their superiority over GBDTs.


title: Application of Validation Obligations to Security Concerns

abstract: Our lives become increasingly dependent on safety- and security-critical systems, so formal techniques are advocated for engineering such systems. One of such techniques is validation obligations that enable formalizing requirements early in development to ensure their correctness. Furthermore, validation obligations help hold requirements consistent in an evolving model and create assurances about the model's completeness. Although initially proposed for safety properties, this paper shows how the technique of validation obligations enables us to also reason about security concerns through an example from the medical domain.


title: BMD-GAN: Bone mineral density estimation using x-ray image decomposition into projections of bone-segmented quantitative computed tomography using hierarchical learning

abstract: We propose a method for estimating the bone mineral density (BMD) from a plain x-ray image. Dual-energy X-ray absorptiometry (DXA) and quantitative computed tomography (QCT) provide high accuracy in diagnosing osteoporosis; however, these modalities require special equipment and scan protocols. Measuring BMD from an x-ray image provides an opportunistic screening, which is potentially useful for early diagnosis. The previous methods that directly learn the relationship between x-ray images and BMD require a large training dataset to achieve high accuracy because of large intensity variations in the x-ray images. Therefore, we propose an approach using the QCT for training a generative adversarial network (GAN) and decomposing an x-ray image into a projection of bone-segmented QCT. The proposed hierarchical learning improved the robustness and accuracy of quantitatively decomposing a small-area target. The evaluation of 200 patients with osteoarthritis using the proposed method, which we named BMD-GAN, demonstrated a Pearson correlation coefficient of 0.888 between the predicted and ground truth DXA-measured BMD. Besides not requiring a large-scale training database, another advantage of our method is its extensibility to other anatomical areas, such as the vertebrae and rib bones.


title: Identifying the Alloy Structures of Germanene Grown on Al(111) Surface

abstract: While the growth of germanene has been claimed on many substrates, the exact crystal structures remain controversial. Here, we systematically explore the possible structures formed by Ge deposition onto Al(111) surface by combining density-functional theory (DFT) and global optimization algorithm. We show that, by high-level random-phase approximation (RPA) calculations, the formation of germanene on Al(111) is energetically unfavorable with positive formation energy. The two experimental phases are identified as honeycomb alloys Al3Ge3/Al(111)(r7xr7) and Al3Ge4/Al(111)(3x3), by combining ab initio evolutionary simulations, RPA calculations, and available experimental data from scanning tunneling microscopy (STM) and low-energy electron diffraction (LEED). Al3Ge4/Al(111)(3x3) is an interesting structure with a vacancy in the substrate, which accounts for the dark clover pattern in the experimental STM image. Our results clarify the structural controversy of the Ge/Al(111) system and indicate the fabrication of germanene may remain challenging.


title: Structure formation during phase transitions in strongly interacting matter

abstract: A broad range of problems associated with phase transitions in systems characterized by the strong interaction between particles and with formation of structures is reviewed. A general phenomenological mean-field model is constructed describing phase transitions of the first and the second order to the $k_0=0$ and $\vec{k}_0\neq 0$ states. Due to fluctuations, the phase transition to the state $\vec{k}_0\neq 0$ is the transition of the first order. Various specific features of the phase transitions to the state $\vec{k}_0\neq 0$ are considered such as the anisotropic spectrum of excitations, a possibility of the formation of various structures including running and standing waves, three-axis structures, chiral waves, pasta phases, etc. A formal transition to hydrodynamical variables is performed. Then focus is made on description of the dynamics of the order parameter at the phase transitions to the states with $\vec{k}_0= 0$ and $\vec{k}_0\neq 0$. Next the non-ideal hydrodynamical description of the phase transitions of the liquid-gas type in nuclear systems is performed. Quasiperiodic structures are developed. Next, pion condensation phase transition to the $\vec{k}_0\neq 0$ state in dense, cold or warm nuclear matter is considered and then the high temperature -- small baryon chemical potential system is studied, when baryons become completely blurred and light bosons, e.g., pions, may condense either in $\vec{k}_0= 0$ or $\vec{k}_0\neq 0$ states. Then, for scalar collective modes phenomena of the Pomeranchuk instability and the Bose condensation in $\vec{k}_0= 0$ or $\vec{k}_0\neq 0$ states are studied. Next, possibility of the condensation of Bose excitations in the $\vec{k}_0\neq 0$ state in moving media is considered. Then Bose-Einstein condensation of pions at dynamically fixed number of particles is studied and specific non-equilibrium effects are demonstrated on an example.


title: The Ba\~nados-Silk-West effect with immovable particles near static black holes and its rotational counterpart

abstract: The BSW effect implies that the energy $E_{c.m.}$ in the center of mass frame of two particles colliding near a black hole can become unbounded. Usually, it is assumed that particles move along geodesics or electrogeodesics. Instead, we consider another version of this effect. One particle is situated at rest near a static, generally speaking, distorted black hole. If another particle (say, coming from infinity) collides with it, the energy of collision $E_{c.m.}$ in the center of mass frame grows unbounded (the BSW effect). The force required to keep such a particle near a black hole diverges for nonextremal horizons but remains finite nonzero for extremal one and vanishes in the horizon limit for ultraextremal black holes. Generalization to the rotating case implies that a particle corotates with a black hole but does not have a radial velocity. In doing so, the energy $E\rightarrow 0$, provided the angular momentum $L=0$. This condition replaces that of fine-tuning parameters in the standard version of the BSW effect.


title: Evaluating Human-like Explanations for Robot Actions in Reinforcement Learning Scenarios

abstract: Explainable artificial intelligence is a research field that tries to provide more transparency for autonomous intelligent systems. Explainability has been used, particularly in reinforcement learning and robotic scenarios, to better understand the robot decision-making process. Previous work, however, has been widely focused on providing technical explanations that can be better understood by AI practitioners than non-expert end-users. In this work, we make use of human-like explanations built from the probability of success to complete the goal that an autonomous robot shows after performing an action. These explanations are intended to be understood by people who have no or very little experience with artificial intelligence methods. This paper presents a user trial to study whether these explanations that focus on the probability an action has of succeeding in its goal constitute a suitable explanation for non-expert end-users. The results obtained show that non-expert participants rate robot explanations that focus on the probability of success higher and with less variance than technical explanations generated from Q-values, and also favor counterfactual explanations over standalone explanations.


title: The eclipse timings of RR Lyncis

abstract: The times of minima of the bright, eccentric eclipsing binary RR Lyncis are re-investigated. From the TESS data it is found that significant differences in the eclipse timings, particularly for the primary minima, are probably due to small, irregular changes in the eclipse profile due to pulsations, rather than light-curve asymmetries.


title: Experimental Demonstration of High-Performance Physical Reservoir Computing with Nonlinear Interfered Spin Wave Multi-Detection

abstract: Physical reservoir computing, which is a promising method for the implementation of highly efficient artificial intelligence devices, requires a physical system with nonlinearity, fading memory, and the ability to map in high dimensions. Although it is expected that spin wave interference can perform as highly efficient reservoir computing in some micromagnetic simulations, there has been no experimental verification to date. Herein, we demonstrate reservoir computing that utilizes multidetected nonlinear spin wave interference in an yttrium iron garnet single crystal. The subject computing system achieved excellent performance when used for hand-written digit recognition, second-order nonlinear dynamical tasks, and nonlinear autoregressive moving average (NARMA). It is of particular note that normalized mean square errors (NMSEs) for NARMA2 and second-order nonlinear dynamical tasks were 1.81x10-2 and 8.37x10-5, respectively, which are the lowest figures for any experimental physical reservoir so far reported. Said high performance was achieved with higher nonlinearity and the large memory capacity of interfered spin wave multi-detection.


title: Participatory Design Landscape for the Human-Machine Collaboration, Interaction and Automation at the Frontiers of HCI (PDL 2021)

abstract: We propose a one-day transdisciplinary creative workshop in the broad area of HCI focused on multiple opportunities of incorporating participatory design into research and industry practice. This workshop will become a venue to share experiences and novel ideas in this area. At the same time, we will brainstorm and explore frontiers of HCI related to engaging end users in design and development practices of established and emerging ICT solutions often overlooked in terms of co-design. We welcome a wide scope of contributions in HCI which explore sustainable opportunities for participatory design and development practices in the context of interconnected business, social, economic and environmental issues. The contributions ought to explore challenges and opportunities related to co-design at the frontiers of HCI - participatory design of newest and complex technologies, not easily explainable or intuitive, novel collaborative (remote or distributed) approaches to empowering users to prepare them to contribute as well as to engaging them directly in co-design.


title: Semiclassical states for coupled nonlinear Schr\"{o}dinger equations with a critical frequency

abstract: In this paper, we are concerned with the coupled nonlinear Schr\"{o}dinger system \begin{align*} \begin{cases} -\varepsilon^{2}\Delta u+a(x)u=\mu_{1}u^{3}+\beta v^{2}u \ \ \ \ \mbox{in}\ \mathbb{R}^{N},\\ -\varepsilon^{2}\Delta v+b(x)v=\mu_{2}v^{3}+\beta u^{2}v \ \ \ \ \ \mbox{in}\ \mathbb{R}^{N}, \end{cases} \end{align*} where $1\leq N\leq3$, $\mu_{1},\mu_{2},\beta>0$, $a(x)$ and $b(x)$ are nonnegative continuous potentials, and $\varepsilon>0$ is a small parameter. We show the existence of positive ground state solutions for the system above and also establish the concentration behaviour as $\varepsilon\rightarrow0$, when $a(x)$ and $b(x)$ achieve 0 with a homogeneous behaviour or vanish in some nonempty open set with smooth boundary.


title: Control of Oscillatory Temperature Field in a Building via Damping Assignment to Nonlinear Koopman Mode

abstract: This paper addresses a control problem on air-conditioning systems in buildings that is regarded as a control practice of nonlinear distributed-parameter systems. Specifically, we consider the design of a controller for suppressing an oscillatory response of in-room temperature field. The main idea in this paper is to apply the emergent theory of Koopman operator and Koopman mode decomposition for nonlinear systems, and to formulate a technique of damping assignment to a nonlinear Koopman mode in a fully data-driven manner. Its effectiveness is examined by numerical simulations guided by measurement of a practical room space.


title: Unraveling Thermally Induced Spin reorientation of Strongly Disordered NdFe0.5Cr0.5O3 System

abstract: Sophisticated spin instruments require high-precision spin control. In this study, we accurately study the intrinsic magnetic properties of the strongly disordered system NdFe0.5Cr0.5O3 through molecular field models combined with ASD theory. The three constituent sub-magnetic phases of the system are separated, and their magnetization contributions are calculated separately. Fitting the angle of the A/B magnetic moment at a given temperature, the reorientation temperature point and temperature dependence of different magnetic phases are obtained. This research will provide a very good theoretical support for studying complex disordered systems and applying high-precision spin control and lay a foundation for the design of new functional materials.


title: Clustering of Excursion Sets in Financial Market

abstract: Relying on the excursion set theory, we compute the number density of local extrema and crossing statistics versus the threshold for the stock market indices. Comparing the number density of excursion sets calculated numerically with the theoretical prediction for the Gaussian process confirmed that all data sets used in this paper have a surplus (almost lack) value of local extrema (up-crossing) density at low (high) thresholds almost around the mean value implying universal properties for stock indices. We estimate the clustering of geometrical measures based on the excess probability of finding the pairs of excursion sets, which clarify well statistical coherency between markets located in the same geographical region. The cross-correlation of excursion sets between various markets is also considered to construct the matrix of agglomerative hierarchical clustering. Our results demonstrate that the peak statistics is more capable of capturing blocks. Incorporating the partitioning approach, we implement the Singular Value Decomposition on the matrix containing the maximum value of unweighted Two-Point Correlation Function of peaks and up-crossing to compute the similarity measure. Our results support that excursion sets are more sensitive than standard measures to elucidate the existence of {\it a priori} crisis.


title: COVID-19 adaptive humoral immunity models: weakly neutralizing versus antibody-disease enhancement scenarios

abstract: The interplay between the virus, infected cells and the immune responses to SARS-CoV-2 is still under debate. Extending the basic model of viral dynamics we propose here a formal approach to describe the neutralizing versus weakly (or non-)neutralizing scenarios and compare with the possible effects of antibody-dependent enhancement (ADE). The theoretical model is consistent with data available from the literature; we show that weakly neutralizing antibodies or ADE can both give rise to either final virus clearance or disease progression, but the immuno-dynamic is different in each case. Given that a significant part of the world population is already naturally immunized or vaccinated, we also discuss the implications on secondary infections infections following vaccination or in presence of immune system dysfunctions.


title: Realistic 3D hydrodynamics simulations find significant turbulent entrainment in massive stars

abstract: Our understanding of stellar structure and evolution coming from one-dimensional (1D) stellar models is limited by uncertainties related to multi-dimensional processes taking place in stellar interiors. 1D models, however, can now be tested and improved with the help of detailed three-dimensional (3D) hydrodynamics models, which can reproduce complex multi-dimensional processes over short timescales, thanks to the recent advances in computing resources. Among these processes, turbulent entrainment leading to mixing across convective boundaries is one of the least understood and most impactful. Here we present the results from a set of hydrodynamics simulations of the neon-burning shell in a massive star, and interpret them in the framework of the turbulent entrainment law from geophysics. Our simulations differ from previous studies in their unprecedented degree of realism in reproducing the stellar environment. Importantly, the strong entrainment found in the simulations highlights the major flaws of the current implementation of convective boundary mixing in 1D stellar models. This study therefore calls for major revisions of how convective boundaries are modelled in 1D, and in particular the implementation of entrainment in these models. This will have important implications for supernova theory, nucleosynthesis, neutron stars and black holes physics.


title: Toroidal magnetic molecules stripped to their basics

abstract: Molecular magnetic toroidal moments are molecule-based structures of quantum spins that are expected to boost magnetic storage technology and quantum computing. We study selected fictitious but typical examples of single-molecule toroidal magnet behavior, discuss the essence of the concept and clarify inappropriate or even wrong assignments of physical properties. We provide an outlook that discusses necessary ingredients to the concept of toroidicity.


title: Towards Immediate Feedback for Security Relevant Code in Development Environments

abstract: Nowadays, the correct use of cryptography libraries is essential to ensure the necessary information security in different kinds of applications. A common practice in software development is the use of static application security testing (SAST) tools to analyze code regarding security vulnerabilities. Most of these tools are designed to run separately from development environments. Their results are extensive lists of security notifications, which software developers have to inspect manually in a time-consuming follow-up step. To support developers in their tasks of developing secure code, we present an approach for providing them with continuous immediate feedback of SAST tools in integrated development environments (IDEs). Our approach also considers the understandability of security notifications and aims for a user-centered approach that leverages developers' feedback to build an adaptive system tailored to each individual developer.


title: Joint measurements through quantum broadcasting

abstract: We study generating joint measurements by operating on the input quantum state with a broadcasting channel followed by local measurements on the two outputs of the broadcasting channel. Although, due to perfect broadcasting or cloning being impossible, this scheme cannot generate perfect joint observables for all pairs of quantum observables, we study for what intended joint observables and local measurements this procedure can be carried out. For local sharp observables this is always possible as long as the intended joint observable is dominated by the tensor product of the local sharp observables. This result excludes the case of joint measurements of continuous sharp observables with themselves which we indeed show to be impossible to be generated through broadcasting. We also derive necessary and sufficient conditions for the success of the broadcasting scheme for local noisy observables and intended joint observables which are easily checked when the local observables are convex mixtures of sharp observables and white noise. We also study broadcasting of local fuzzy observables in the presence of symmetries. Finally we introduce the scenario of measuring joint observables where we have access to broadcasting, local measurements and post-processing and characterize the most resourceful local measurements in this setting.


title: Challenges and Pitfalls of Bayesian Unlearning

abstract: Machine unlearning refers to the task of removing a subset of training data, thereby removing its contributions to a trained model. Approximate unlearning are one class of methods for this task which avoid the need to retrain the model from scratch on the retained data. Bayes' rule can be used to cast approximate unlearning as an inference problem where the objective is to obtain the updated posterior by dividing out the likelihood of deleted data. However this has its own set of challenges as one often doesn't have access to the exact posterior of the model parameters. In this work we examine the use of the Laplace approximation and Variational Inference to obtain the updated posterior. With a neural network trained for a regression task as the guiding example, we draw insights on the applicability of Bayesian unlearning in practical scenarios.


title: Investigating the X-ray polarization of lamp-post coronae in BHXRB

abstract: High-sensitivity X-ray polarimetric observations of black hole X-ray binaries, which will soon become available with the launches of space-borne X-ray observatories with sensitive X-ray polarimeters, will be able to put independent constraints on the black hole as well as the accretion flow, and possibly break degeneracies that cannot be resolved by spectral/timing observations alone. In this work we perform a series of general relativistic Monte-Carlo radiative transfer simulations to study the expected polarization properties of X-ray radiation emerging from lamp-post coronae in black hole X-ray binaries. We find that the polarization degree of the coronal emission of black hole X-ray binaries is sensitive to the spin of the black hole, the height of the corona, and the dynamics of the corona.


title: Dilation theory and functional models for tetrablock contractions

abstract: A classical result of Sz.-Nagy asserts that a Hilbert space contraction operator $T$ can be dilated to a unitary $\cU$. A more general multivariable setting for these ideas is the setup where (i) the unit disk is replaced by a domain $\Omega$ contained in ${\mathbb C}^d$, (ii) the contraction operator $T$ is replaced by a commuting tuple $\bfT = (T_1, \dots, T_d)$ such that $\| r(T_1, \dots, T_d) \|_{\cL(\cH)} \le \sup_{\lam \in \Omega} | r(\lam) |$ for all rational functions with no singularities in $\overline{\Omega}$ and the unitary operator $\cU$ is replaced by an $\Omega$-unitary operator tuple, i.e., a commutative operator $d$-tuple $\bfU = (U_1, \dots, U_d)$ of commuting normal operators with joint spectrum contained in the distinguished boundary $b\Omega$ of $\Omega$. For a given domain $\Omega \subset {\mathbb C}^d$, the {\em rational dilation question} asks: given an $\Omega$-contraction $\bfT$ on $\cH$, is it always possible to find an $\Omega$-unitary $\bfU$ on a larger Hilbert space $\cK \supset \cH$ so that, for any $d$-variable rational function without singularities in $\overline{\Omega}$, one can recover $r(T)$ as $r(T) = P_\cH r(\bfU)|_\cH$. We focus here on the case where $\Omega $ is the {\em tetrablock}. (i) We identify a complete set of unitary invariants for a ${\mathbb E}$-contraction $(A,B,T)$ which can then be used to write down a functional model for $(A,B,T)$, thereby extending earlier results only done for a special case, (ii) we identify the class of {\em pseudo-commutative ${\mathbb E}$-isometries} (a priori slightly larger than the class of ${\mathbb E}$-isometries) to which any ${\mathbb E}$-contraction can be lifted, and (iii) we use our functional model to recover an earlier result on the existence and uniqueness of a ${\mathbb E}$-isometric lift $(V_1, V_2, V_3)$ of a special type for a ${\mathbb E}$-contraction $(A,B,T)$.


title: Complex oscillatory dynamics in a three-timescale El Ni\~no Southern Oscillation model

abstract: We study the three-timescale dynamics of a model that describes the El Ni\~no Southern Oscillation (ENSO) phenomenon, which was proposed in [A. Roberts, J. Guckenheimer, E. Widiasih, A. Timmermann, and C. K. Jones, Mixed-mode oscillations of El Ni\~no--Southern Oscillation, Journal of the Atmospheric Sciences, 73 (2016), pp. 1755--1766]. While ENSO phenomena are inherently characterised by the presence of multiple distinct timescales, the above model has previously been studied in a two-timescale context only. Here, we uncover the geometric mechanisms that are responsible for complex oscillatory dynamics in a three-timescale regime, and we demonstrate that the system exhibits a variety of qualitatively different behaviours, such as mixed-mode oscillation (MMO) with ``plateaus" -- trajectories where epochs of quiescence alternate with dramatic excursions -- and relaxation oscillation. The latter, although emergent also in the two-timescale context in appropriate parameter regimes, had not been documented previously. Moreover, we show that these mechanisms are relevant to models from other fields of ecological and population dynamics, as the underlying geometry is similar to the unfolding of Rosenzweig--MacArthur-type models in three dimensions.


title: Homogeneous Symplectic Spaces and Central Extensions

abstract: We summarise recent work (arXiv:2203.07405 [math.SG]) on the classical result of Kirillov that any simply-connected homogeneous symplectic space of a connected group $G$ is a hamiltonian $\widehat{G}$-space for a one-dimensional central extension $\widehat{G}$ of $G$, and is thus (by a result of Kostant) a cover of a coadjoint orbit of $\widehat{G}$. We emphasise that existing proofs in the literature assume that $G$ is simply-connected and that this assumption can be removed by application of a theorem of Neeb. We also interpret Neeb's theorem as relating the integrability of one-dimensional central extensions of Lie algebras to the integrability of an associated Chevalley--Eilenberg 2-cocycle.


title: LyC escape from SPHINX galaxies in the Epoch of Reionization

abstract: We measure escape fractions, $f_{\rm esc}$, of ionizing radiation from galaxies in the SPHINX suite of cosmological radiation-hydrodynamical simulations of reionization, resolving halos with $M_{\rm vir} \gtrapprox 7.5 \times 10^7 \ M_{\odot}$ with a minimum cell width of $\approx 10$ pc. Our new and largest $20$ co-moving Mpc wide volume contains tens of thousands of star-forming galaxies with halo masses up to a few times $10^{11} \ M_{\odot}$. The simulated galaxies agree well with observational constraints of the UV luminosity function in the Epoch of Reionization. The escape fraction fluctuates strongly in individual galaxies over timescales of a few Myrs, due to its regulation by supernova and radiation feedback, and at any given time a tiny fraction of star-forming galaxies emits a large fraction of the ionizing radiation escaping into the inter-galactic medium. Statistically, $f_{\rm esc}$ peaks in intermediate-mass, intermediate-brightness, and low-metallicity galaxies ($M_{*} \approx 10^7 \ M_{\odot}$, $M_{1500} \approx -17$, $Z\lesssim 5 \times 10^{-3} \ Z_{\odot}$), dropping strongly for lower and higher masses, brighter and dimmer galaxies, and more metal-rich galaxies. The escape fraction correlates positively with both the short-term and long-term specific star formation rate. According to SPHINX, galaxies too dim to be yet observed, with $M_{1500} \gtrapprox -17$, provide about $55$ percent of the photons contributing to reionization. The global averaged $f_{\rm esc}$ naturally decreases with decreasing redshift, as predicted by UV background models and low-redshift observations. This evolution is driven by decreasing specific star formation rates over cosmic time.


title: Entropy-Based Feature Extraction For Real-Time Semantic Segmentation

abstract: This paper introduces an efficient patch-based computational module, coined Entropy-based Patch Encoder (EPE) module, for resource-constrained semantic segmentation. The EPE module consists of three lightweight fully-convolutional encoders, each extracting features from image patches with a different amount of entropy. Patches with high entropy are being processed by the encoder with the largest number of parameters, patches with moderate entropy are processed by the encoder with a moderate number of parameters, and patches with low entropy are processed by the smallest encoder. The intuition behind the module is the following: as patches with high entropy contain more information, they need an encoder with more parameters, unlike low entropy patches, which can be processed using a small encoder. Consequently, processing part of the patches via the smaller encoder can significantly reduce the computational cost of the module. Experiments show that EPE can boost the performance of existing real-time semantic segmentation models with a slight increase in the computational cost. Specifically, EPE increases the mIOU performance of DFANet A by 0.9% with only 1.2% increase in the number of parameters and the mIOU performance of EDANet by 1% with 10% increase of the model parameters.