title: Discretisable quasi-actions I: Topological completions and hyperbolicity

abstract: We define and develop the notion of a discretisable quasi-action. It is shown that a cobounded quasi-action on a proper non-elementary hyperbolic space $X$ not fixing a point of $\partial X$ is quasi-conjugate to an isometric action on either a rank one symmetric space or a locally finite graph. Topological completions of quasi-actions are also introduced. Discretisable quasi-actions are used to give several instances where commensurated subgroups are preserved by quasi-isometries. For example, the class of $\mathbb{Z}$-by-hyperbolic groups is shown to be quasi-isometrically rigid. We characterise the class of finitely generated groups quasi-isometric to either $\mathbb{Z}^n\times \Gamma_1$ or $\Gamma_1\times \Gamma_2$, where $\Gamma_1$ and $\Gamma_2$ are non-elementary hyperbolic groups.


title: Global bifurcation structure and geometric properties for steady periodic water waves with vorticity

abstract: This paper studies the classical water wave problem with vorticity described by the Euler equations with a free surface under the influence of gravity over a flat bottom. Based on fundamental work \cite{ConstantinStrauss}, we first obtain two continuous bifurcation curves which meet the laminar flow only one time by using modified analytic bifurcation theorem. They are symmetric waves whose profiles are monotone between each crest and trough. Furthermore, we find that there is at least one inflection point on the wave profile between successive crests and troughs and the free surface is strictly concave at any crest and strictly convex at any trough. In addition, for favorable vorticity, we prove that the vertical displacement of water waves decreases with depth.


title: Self-attention on Multi-Shifted Windows for Scene Segmentation

abstract: Scene segmentation in images is a fundamental yet challenging problem in visual content understanding, which is to learn a model to assign every image pixel to a categorical label. One of the challenges for this learning task is to consider the spatial and semantic relationships to obtain descriptive feature representations, so learning the feature maps from multiple scales is a common practice in scene segmentation. In this paper, we explore the effective use of self-attention within multi-scale image windows to learn descriptive visual features, then propose three different strategies to aggregate these feature maps to decode the feature representation for dense prediction. Our design is based on the recently proposed Swin Transformer models, which totally discards convolution operations. With the simple yet effective multi-scale feature learning and aggregation, our models achieve very promising performance on four public scene segmentation datasets, PASCAL VOC2012, COCO-Stuff 10K, ADE20K and Cityscapes.


title: Reduced Power Graphs of $\mathrm{PGL}_n(\mathbb{F}_q)$

abstract: Given a group $G$, let us connect two non-identity elements by an edge if and only if one is a power of another. This gives a graph structure on $G$ minus identity, called the reduced power graph. It is conjectured by Akbari and Ashrafi that if a non-abelian finite simple group has a connected reduced power graph, then it must be an alternating group. In this paper, we shall give a complete description of when the reduced power graphs of $\mathrm{PGL}_n(\mathbb{F}_q)$ are connected for all $q$ and all $n\geq 3$. In particular, the conjectured by Akbari and Ashrafi is false. We shall also provide an upper bound in their diameters, and in case of disconnection, provide a description of all connected components.


title: Competition between spin ordering and superconductivity near the pseudogap boundary in La2-xSrxCuO4: insights from NMR

abstract: When superconductivity is suppressed by high magnetic fields in La2-xSrxCuO4, striped antiferromagnetic (AFM) order becomes the magnetic ground state of the entire pseudogap regime, up to its end at the doping p* [M. Frachet, I. Vinograd et al., Nat. Phys. 16, 1064 (2020)]. Glass-like freezing of this state is detected in 139La NMR measurements of the spin-lattice relaxation rate 1/T1. Here, we present a quantitative analysis of 1/T1 data in the hole-doping range p=x=0.12-0.171, based on the Bloembergen-Purcell-Pound (BPP) theory, modified to include statistical distribution of parameters arising from strong spatial inhomogeneity. We observe spin fluctuations to slow down at temperatures T near the onset of static charge order and, overall, the effect of the field B may be seen as equivalent to strengthening stripe order by approaching p=0.12 doping. In details however, our analysis reveals significant departure from usual field-induced magnetic transitions. The continuous growth of the amplitude of the fluctuating moment with increasing B suggests a nearly-critical state in the B->0 limit, with very weak quasi-static moments possibly confined in small areas like vortex cores. Further, the nucleation of spin order in the vortex cores is shown to account quantitatively for both the value and the p dependence of a field scale characterizing bulk spin freezing. The correlation time of the fluctuating moment appears to depend exponentially on B/T (over the investigated range). This explains the timescale dependence of various experimental manifestations, including why, for transport measurements, the AFM moments may be considered static over a considerable range of B and T. These results make the high-field magnetic ground state up to p* an integral part of the discussion on putative quantum criticality.


title: On the origins of extreme velocity stars as revealed by large-scale Galactic surveys

abstract: We assemble a large sample of 12,784 high-velocity stars with total velocity $\it{V}_{\rm{GSR}}\ge {\rm 300}$ km s$^{-1}$, selected from RAVE DR5, SDSS DR12, LAMOST DR8, APOGEE DR16, GALAH DR2, and $Gaia$ EDR3. In this sample, 52 are marginally hypervelocity star (HVS) candidates that have $\it{V}_{\rm{GSR}}$ exceeding their local escape velocities within $2\sigma$ confidence levels, 40 of which are discovered for the first time. All candidates are metal-poor, late-type halo stars, significantly different from the previous identified HVSs, which are largely massive early-type stars, discovered by extreme radial velocity. This finding suggests that our newly identified HVS candidates are ejected by different mechanisms from the previous population. To investigate their origins, for 547 extreme velocity stars with ${V}_{\rm{GSR}}\ge0.8V_{\rm{esc}}$, we reconstruct their backward-integrated trajectories in the Galactic potential. According to the orbital analysis, no candidates are found to be definitely ejected from the Galactic-center (GC), while 8 metal-poor extreme velocity stars are found to have a closest distance to the GC within 1kpc. Intriguingly, 15 extreme velocity stars (including 2 HVS candidates) are found to have experienced close encounters with the Sagittarius dSph, suggesting that they originated from this dSph. This hypothesis is supported by an analysis of the [$\alpha$/Fe]--[Fe/H] diagram. From a preliminary analysis of all the 547 extreme velocity stars, we propose a general picture: Star ejection from Galactic subsystems such as dwarf galaxies and globular clusters can be an important channel to produce extreme velocity stars or even HVSs, particularly the metal-poor late-type halo population.


title: Banach property (T) for $\rm SL_n (\mathbb{Z})$ and its applications

abstract: We prove that a large family of higher rank simple Lie groups (including $\rm SL_n (\mathbb{R})$ for $n \geq 3$) and their lattices have Banach property (T) with respect to all super-reflexive Banach spaces. Two consequences of this result are: First, we deduce Banach fixed point properties with respect to all super-reflexive Banach spaces for a large family of higher rank simple Lie groups. For example, we show that for every $n \geq 4$, the group $\rm SL_n (\mathbb{R})$ and all its lattices have the Banach fixed point property with respect to all super-reflexive Banach spaces. Second, we settle a long standing open problem and show that the Margulis expanders (Cayley graphs of $\rm SL_{n} (\mathbb{Z} / m \mathbb{Z} )$ for a fixed $n \geq 3$ and $m$ tending to infinity) are super-expanders. All of our results stem from proving Banach property (T) for $\rm SL_3 (\mathbb{Z})$. Our method of proof for $\rm SL_3 (\mathbb{Z})$ relies on a novel proof for relative Banach property (T) for the uni-triangular subgroup of $\rm SL_3 (\mathbb{Z})$. This proof of relative property (T) is new even in the classical Hilbert setting and is interesting in its own right.


title: The ordinal of dynamical degrees of birational maps of the projective plane

abstract: We show that the ordinal of the dynamical degrees of all complex birational maps of the projective plane is $\omega^\omega$.


title: Strongly bound excitons in monolayer MoSi$_2$Z$_4$ (Z = pnictogen)

abstract: Reduced dielectric screening in two-dimensional materials enables bound excitons, which modifies their optical absorption and optoelectronic response even at room temperature. Here, we demonstrate the existence of excitons in the bandgap of the monolayer family of the newly discovered synthetic MoSi$_2$Z$_4$ (Z = N, P, and As) series of materials. All three monolayers support several bright and strongly bound excitons with binding energies varying from 1 eV to 1.35 eV for the lowest energy exciton resonances. On increasing the pump fluence, the exciton binding energies get renormalized, leading to a redshift-blueshift crossover. Our study shows that the MoSi$_2$Z$_4$ series of monolayers offer an exciting test-bed for exploring the physics of strongly bound excitons and their non-equilibrium dynamics.


title: CoMER: Modeling Coverage for Transformer-based Handwritten Mathematical Expression Recognition

abstract: The Transformer-based encoder-decoder architecture has recently made significant advances in recognizing handwritten mathematical expressions. However, the transformer model still suffers from the lack of coverage problem, making its expression recognition rate (ExpRate) inferior to its RNN counterpart. Coverage information, which records the alignment information of the past steps, has proven effective in the RNN models. In this paper, we propose CoMER, a model that adopts the coverage information in the transformer decoder. Specifically, we propose a novel Attention Refinement Module (ARM) to refine the attention weights with past alignment information without hurting its parallelism. Furthermore, we take coverage information to the extreme by proposing self-coverage and cross-coverage, which utilize the past alignment information from the current and previous layers. Experiments show that CoMER improves the ExpRate by 0.61%/2.09%/1.59% compared to the current state-of-the-art model, and reaches 59.33%/59.81%/62.97% on the CROHME 2014/2016/2019 test sets.


title: Probing the surface of silicon and the silicon-silica interface using nonperturbative third and fifth harmonic generation

abstract: We examined, in backward (reflection) geometry, the generation of the 3rd and 5th harmonics, located in the deep and vacuum ultraviolet, on the surface of silicon and on the interface between silicon and silica when a thin silica film was grown on a silicon substrate. In both cases, a strong dependence of the harmonic signal on the polarization direction of the driving laser beam was found. The differences observed for both samples, are qualitatively explained. Furthermore, a simplified tensor formalism for the polarization dependence is introduced, which reveals the structural symmetry of the surface and the interface and describes the polarization dependence with high accuracy. The study is an essential step to further understand nonlinear interaction and nonperturbative harmonic generation on the boundaries of materials.


title: Dimer states of Rydberg atoms on the Kagome lattice as resources for universal measurement-based quantum computation

abstract: We show that the quantum dimer state on the Kagome lattice, which was recently realized with high fidelity in a Rydberg quantum simulator [Semeghini et al., Science 374, 6572 (2021)], offers a sufficient resource for universal measurement-based quantum computations. In particular, we provide an efficient encoding of logical qubits in this state, and give explicit measurement sequences that implement a universal set of gates on these qubits. Since the building blocks of the proposed measurements have already been experimentally implemented, our work highlights one possible path towards promoting Rydberg simulators to universal quantum computers relying on the measurement-based model of quantum computation with currently existing technology.


title: A numerical analysis of planar central and balanced configurations in the (n+1)-body problem with a small mass

abstract: Two numerical algorithms for analyzing planar central and balanced configurations in the $(n+1)$-body problem with a small mass are presented. The first one relies on a direct solution method of the $(n+1)$-body problem by using a stochastic optimization approach, while the second one relies on an analytic-continuation method, which involves the solutions of the $n$-body and the restricted $(n+1)$-body problem, and the application of a local search procedure to compute the final $(n+1)$-body configuration in the neighborhood of the configuration obtained at the first two steps. Some exemplary central and balanced configurations in the cases $n=4,5,6$ are shown.


title: Violation of the Pauli-Clogston limit in a heavy Fermion superconductor CeRh$_2$As$_2$ --Duality of itinerant and localized 4f electrons--

abstract: We theoretically propose a mechanism to understand the violation of the Pauli-Clogston limit for the upper critical field H$_{\rm c2}$ observed in the Ce bearing heavy Fermion material CeRh$_2$As$_2$ from the view point of spin singlet pairing. It is based on a duality concept, the dual simultaneous aspects of an electron: the itinerant part and localized part of quasi-particles (QPs) originated from the 4f electrons of the Ce atoms. While the itinerant QPs directly participate in forming the Cooper pairs, the localized QPs exert the internal field so as to oppose the applied field through the antiferromagnetic exchange interaction between them. This is inherent in the dense Kondo lattice system in general. We argue that this mechanism can be applied not only to the locally noncentrosymmetric material CeRh$_2$As$_2$, but also to globally inversion symmetry broken Ce-based materials such as CePt$_3$Si. Moreover, we point out that it also works for strongly Pauli limit violated spin triplet pairing systems, such as UTe$_2$.


title: SFNet: Faster and Accurate Semantic Segmentation via Semantic Flow

abstract: In this paper, we focus on exploring effective methods for faster and accurate semantic segmentation. A common practice to improve the performance is to attain high-resolution feature maps with strong semantic representation. Two strategies are widely used: atrous convolutions and feature pyramid fusion, while both are either computationally intensive or ineffective. Inspired by the Optical Flow for motion alignment between adjacent video frames, we propose a Flow Alignment Module (FAM) to learn \textit{Semantic Flow} between feature maps of adjacent levels and broadcast high-level features to high-resolution features effectively and efficiently. Furthermore, integrating our FAM to a standard feature pyramid structure exhibits superior performance over other real-time methods, even on lightweight backbone networks, such as ResNet-18 and DFNet. Then to further speed up the inference procedure, we also present a novel Gated Dual Flow Alignment Module to directly align high-resolution feature maps and low-resolution feature maps where we term the improved version network as SFNet-Lite. Extensive experiments are conducted on several challenging datasets, where results show the effectiveness of both SFNet and SFNet-Lite. In particular, when using Cityscapes test set, the SFNet-Lite series achieve 80.1 mIoU while running at 60 FPS using ResNet-18 backbone and 78.8 mIoU while running at 120 FPS using STDC backbone on RTX-3090. Moreover, we unify four challenging driving datasets into one large dataset, which we named Unified Driving Segmentation (UDS) dataset. It contains diverse domain and style information. We benchmark several representative works on UDS. Both SFNet and SFNet-Lite still achieve the best speed and accuracy trade-off on UDS, which serves as a strong baseline in such a challenging setting. The code and models are publicly available at https://github.com/lxtGH/SFSegNets.


title: Low Temperature Electrical Properties of CVD Graphene on LiNbO$_3$: Acoustic Studies

abstract: Contactless acoustic methods were used to determine electrical parameters - electrical conductivity, carrier mobility and their concentration - in single-layer graphene deposited on the surface of lithium niobate.


title: A general, scale-independent description of the sound speed in neutron stars

abstract: Using more than a million randomly generated equations of state that satisfy theoretical and observational constraints we construct a novel, scale-independent description of the sound speed in neutron stars where the latter is expressed in a unit-cube spanning the normalised radius, $r/R$, and the mass normalized to the maximum one, $M/M_{\rm TOV}$. From this generic representation, a number of interesting and surprising results can be deduced. In particular, we find that light (heavy) stars have stiff (soft) cores and soft (stiff) outer layers, respectively, or that the maximum of the sound speed is located at the center of light stars but moves to the outer layers for stars with $M/M_{\rm TOV}\gtrsim0.7$, reaching a constant value of $c_s^2=1/2$ as $M\to M_{\rm TOV}$. We also show that the sound speed decreases below the conformal limit $c_s^2=1/3$ at the center of stars with $M=M_{\rm TOV}$. Finally, we construct an analytic expression that accurately describes the radial dependence of the sound speed as a function of the neutron-star mass, thus providing an estimate of the maximum sound speed expected in a neutron star.


title: Spatiotemporal motion planning with combinatorial reasoning for autonomous driving

abstract: Motion planning for urban environments with numerous moving agents can be viewed as a combinatorial problem. With passing an obstacle before, after, right or left, there are multiple options an autonomous vehicle could choose to execute. These combinatorial aspects need to be taken into account in the planning framework. We address this problem by proposing a novel planning approach that combines trajectory planning and maneuver reasoning. We define a classification for dynamic obstacles along a reference curve that allows us to extract tactical decision sequences. We separate longitudinal and lateral movement to speed up the optimization-based trajectory planning. To map the set of obtained trajectories to maneuver variants, we define a semantic language to describe them. This allows us to choose an optimal trajectory while also ensuring maneuver consistency over time. We demonstrate the capabilities of our approach for a scenario that is still widely considered to be challenging.


title: Cosmological perturbation theory using generalized Einstein de Sitter cosmologies

abstract: The separable analytical solution in standard perturbation theory for an Einstein de Sitter (EdS) universe can be generalized to the wider class of such cosmologies (``generalized EdS'', or gEdS) in which a fraction of the pressure-less fluid does not cluster. We derive the corresponding kernels in both Eulerian perturbation theory (EPT) and Lagrangian perturbation theory, generalizing the canonical EdS expressions to a one-parameter family where the parameter can be taken to be the exponent $\alpha$ of the growing mode linear amplification $D(a) \propto a^{\alpha}$. For the power spectrum (PS) at one loop in EPT, the contribution additional to standard EdS is given, for each of the `13' and `22' terms, as a function of two infra-red safe integrals. In the second part of the paper we show that the calculation of cosmology-dependent corrections in perturbation theory in standard (e.g. LCDM-like) models can be simplified, and their magnitude and parameter dependence better understood, by relating them to our analytic results for gEdS models. At second order the time dependent kernels are equivalent to the analytic kernels of the gEdS model with $\alpha$ replaced by a single redshift dependent effective growth rate $\alpha_2(z)$. At third order the time evolution can be conveniently parametrized in terms of two additional such effective growth rates. For the PS calculated at one loop order, the correction to the PS relative to the EdS limit can be expressed in terms of just $\alpha_2(z)$, one additional effective growth rate function and the four infra-red safe integrals of the gEdS limit. This is much simplified compared to expressions in the literature that use six or eight red-shift dependent functions and are not explicitly infra-red safe. Using the analytic gEdS expression for the PS with $\alpha=\alpha_2(z)$ gives a good approximation (to $\sim 25 \%$) for the exact result.


title: The first cohomology of sl(2,1) with coefficients in $\chi$-reduced Kac modules and simple modules

abstract: Over a field of characteristic p > 2, the first cohomology of the special linear Lie superalgebra sl(2,1) with coefficients in all \c{hi}-reduced Kac modules and simple modules is determined by use of the weight space decompositions of these modules relative to the standard Cartan subalgebra of sl(2,1).


title: On the polymatroid Tutte polynomial

abstract: The Tutte polynomial is a well-studied invariant of matroids. The polymatroid Tutte polynomial $\mathcal{J}_{P}(x,y)$, introduced by Bernardi et al., is an extension of the classical Tutte polynomial from matroids to polymatroids $P$. In this paper, we first prove that $\mathcal{J}_{P}(x,t)$ and $\mathcal{J}_{P}(t,y)$ are interpolating for any fixed real number $t\geq 1$, and then we study the coefficients of high-order terms in $\mathcal{J}_{P}(x,1)$ and $\mathcal{J}_{P}(1,y)$. These results generalize results on interior and exterior polynomials of hypergraphs.


title: Nonlinear fractional wave equation on compact Lie groups

abstract: Let $G$ be a compact Lie group. In this article, we consider the initial value fractional wave equation with power-type nonlinearity on $G$. Mainly, we investigate some $L^{2}-L^{2}$ estimates of the solutions to the homogeneous fractional wave equation on $G$ with the help of the group Fourier transform on $G$. Further, using the Fourier analysis on compact Lie groups, we prove a local in-time existence result in the energy space. Moreover, under certain conditions on the initial data, a finite time blow-up result is established. We also derive a sharp lifespan for local (in-time) solutions. Finally, we consider the space-fractional wave equation with a regular mass term depending on the position and study the well-posedness of the fractional Klein-Gordon equation on compact Lie groups.


title: Dual-Correction Adaptation Network for Noisy Knowledge Transfer

abstract: Previous unsupervised domain adaptation (UDA) methods aim to promote target learning via a single-directional knowledge transfer from label-rich source domain to unlabeled target domain, while its reverse adaption from target to source has not jointly been considered yet so far. In fact, in some real teaching practice, a teacher helps students learn while also gets promotion from students to some extent, which inspires us to explore a dual-directional knowledge transfer between domains, and thus propose a Dual-Correction Adaptation Network (DualCAN) in this paper. However, due to the asymmetrical label knowledge across domains, transfer from unlabeled target to labeled source poses a more difficult challenge than the common source-to-target counterpart. First, the target pseudo-labels predicted by source commonly involve noises due to model bias, hence in the reverse adaptation, they may hurt the source performance and bring a negative target-to-source transfer. Secondly, source domain usually contains innate noises, which will inevitably aggravate the target noises, leading to noise amplification across domains. To this end, we further introduce a Noise Identification and Correction (NIC) module to correct and recycle noises in both domains. To our best knowledge, this is the first naive attempt of dual-directional adaptation for noisy UDA, and naturally applicable to noise-free UDA. A theory justification is given to state the rationality of our intuition. Empirical results confirm the effectiveness of DualCAN with remarkable performance gains over state-of-the-arts, particularly for extreme noisy tasks (e.g., ~+ 15% on Pw->Pr and Pr->Rw of Office-Home).


title: An Overview of Cyber Threats, Attacks, and Countermeasures on the Primary Domains of Smart Cities

abstract: A smart city is a place where existing facilities and services are enhanced by digital technology to benefit people and companies. The most critical infrastructures in this city are interconnected. Increased data exchange across municipal domains aims to manage the essential assets, leading to more automation in city governance and optimization of the dynamic offered services. However, no clear guideline or standard exists for modeling these data flows. As a result, operators, municipalities, policymakers, manufac-turers, solution providers, and vendors are forced to accept systems with limited scalability and varying needs. Nonetheless, it is critical to raise awareness about smart city cybersecurity and implement suitable measures to safeguard citizens' privacy and security because the cyber threats seem to be well-organized, diverse, and sophisticated. This study aims to present an overview of cyber threats, attacks, and countermeasures on the primary domains of smart cities (smart government, smart mobility, smart environment, smart living, smart healthcare, smart economy, and smart people) to present information extracted from state-of-the-art to policymakers to perceive the critical situation and, at the same time, to be a valuable resource for the scientific community.


title: Out-of-plane high-temperature ferromagnetic monolayer CrSCl with large vertical piezoelectric response

abstract: For two-dimensional (2D) material, piezoelectric ferromagnetism (PFM) with large out-of-plane piezoresponse is highly desirable for multifunctional ultrathin piezoelectric device application. Here, we predict that Janus monolayer CrSCl is an out-of-plane ferromagnetic (FM) semiconductor with large vertical piezoelectric response and high Curie temperature. The predicted out-of-plane piezoelectric strain coefficient $d_{31}$ is -1.58 pm/V, which is higher than ones of most 2D materials (compare absolute values of $d_{31}$). The large out-of-plane piezoelectricity is robust against electronic correlation and biaxial strain, confirming reliability of large $d_{31}$. Calculated results show that tensile strain is conducive to high Curie temperature, large magnetic anisotropy energy (MAE) and large $d_{31}$. Finally, by comparing $d_{31}$ of CrYX (Y=S; X=Cl, Br I) and CrYX (Y=O; X=F, Cl, Br), we conclude that the size of $d_{31}$ is positively related to electronegativity difference of X and Y atoms. Such findings can provide valuable guidelines for designing 2D piezoelectric materials with large vertical piezoelectric response.


title: Role of the Harnack Extension Principle in the Kurzweil-Stieltjes Integral

abstract: Various kinds of Stieltjes integrals using gauge integration have become highly popular in the field of differential equations and other applications. In the theories of integration and of ordinary differential equations, convergence theorems provide one of the most widely used tools. The Harnack extension principle, which discusses a sufficient condition for Kurzweil-Henstock integrable functions on particular subsets of $(a,b)$ to be integrable on $[a,b]$, is a key step to supply convergence theorems. The Kurzweil-Stieltjes integral reduces to the Kurzweil-Henstock integral whenever the integrator is an identity function. In general, if the integrator $F$ is discontinuous on $[c,d]\subset[a,b]$, then the values of the Kurzweil-Stieltjes integrals $$\int_c^d[dF]g,\ \int_{[c,d]}[dF]g,\ \int_{[c,d)}[dF]g,\ \int_{(c,d]}[dF]g,\ {\rm and}\ \int_{(c,d)}[dF]g$$ need not coincide. Hence, the Harnack extension principle in the Kurzweil-Henstock integral cannot be valid any longer for the Kurzweil-type Stieltjes integrals with discontinuous integrators. The new concepts of equi-integrability and equiregulatedness are pivotal to the notion of the Harnack extension principle for the Kurzweil-Stieltjes integration. Moreover, the existence of the integral $\int_a^b[dF]g$ does not (even in the case of the identity integrator) always imply the existence of the integral $\int_{T}[dF]g$ for every subset $T$ of $[a,b]$. This follows from the well-known fact that, if e.g., $T\subset[a,b]$ is not measurable, then the existence of the Lebesgue integral $\int_a^b g [dt]$ does not imply that the integral $\int_T g [dt]$ exists. Therefore, besides constructing the Harnack extension principle for the abstract Kurzweil-Stieltjes integral, the aim of this paper is also to demonstrate its role in guaranteeing the existence of the integrals $\int_{T}[dF]g$ for arbitrary subsets $T$ of an elementary set $E$.


title: Intuitive, didactically useful, and historically possible proofs for the two Egyptian pyramid volume formulas (1850 BCE). Thoughts on the border between history and didactics of mathematics

abstract: Egyptologists and historians of mathematics around 1930 did an admirable job in showing that problem 14 of the newly discovered Moscow Papyrus from around 1850 BCE amounts to a general and exact calculation of the volume of a truncated pyramid (frustum). They were less successful in giving tentative explanations of what convinced the Egyptians of its correctness. In particular, they never looked into the possibility of dissecting three identical copies of the frustum and recomposing them into three boxes of differing sizes whose volumes can be easily calculated. This is surprising because the formula at which the historians arrived seems to suggest this procedure. About 2000 years after the Egyptians, the Chinese scholar Liu Hui did exactly this for the almost identical problem from the Nine Chapters. If those historians of mathematics around 1930 had known Liu Hui's algorithm they could have easily drawn tentative conclusions also for the Egyptian case. The present paper suggests that it was their knowledge of rigorous Euclidean geometry and of relatively modern algebra which distorted the judgment of those historians, something which could not have been the case for Liu Hui. Their failure seems to have discouraged later Egyptologists to look for explanations or to even point to Liu Hui when his work had become known. Thus a chance was missed to use the great intuitive and pedagogic potential of a remarkable piece of Egyptian mathematics. This paper is not a contribution to the historiography of Egyptian mathematics for which the author is no specialist but argues primarily on a methodological level using secondary historical sources. The paper is partly inspired by a more recent publication of Paul Shutler (2009) who suggests an intuitive and historically possible proof also for the special, and mathematically crucial case of the second formula, which is related to the full pyramid.


title: Well-posedness of a 2D gyrokinetic model with equal Debye length and Larmor radius

abstract: We study here a 2D gyrokinetic model obtained in [Bostan-Finot-Hauray,CRAS,2016], which naturally appears as the limit of a Vlasov-Poisson system with a very large external uniform magnetic field in the finite Larmor radius regime, when the typical Larmor radius is of order of the Debye length. We show that the Cauchy problem for that system is well-posed in a suitable space, provided that the initial condition satisfies a standard uniform decay assumption in velocity. Our result relies on a stability estimate in Wasserstein distance of order one between two solutions of the system. That stability estimate directly implies the uniqueness (in an appropriate space) of solution to the Cauchy problem. An extension of the stability estimate to the case of a regularized interaction allows to prove the existence of solutions, as limits of solutions of a similar system with regularized interactions.


title: LM-Nav: Robotic Navigation with Large Pre-Trained Models of Language, Vision, and Action

abstract: Goal-conditioned policies for robotic navigation can be trained on large, unannotated datasets, providing for good generalization to real-world settings. However, particularly in vision-based settings where specifying goals requires an image, this makes for an unnatural interface. Language provides a more convenient modality for communication with robots, but contemporary methods typically require expensive supervision, in the form of trajectories annotated with language descriptions. We present a system, LM-Nav, for robotic navigation that enjoys the benefits of training on unannotated large datasets of trajectories, while still providing a high-level interface to the user. Instead of utilizing a labeled instruction following dataset, we show that such a system can be constructed entirely out of pre-trained models for navigation (ViNG), image-language association (CLIP), and language modeling (GPT-3), without requiring any fine-tuning or language-annotated robot data. We instantiate LM-Nav on a real-world mobile robot and demonstrate long-horizon navigation through complex, outdoor environments from natural language instructions. For videos of our experiments, code release, and an interactive Colab notebook that runs in your browser, please check out our project page https://sites.google.com/view/lmnav


title: Energy Trees: Regression and Classification With Structured and Mixed-Type Covariates

abstract: The increasing complexity of data requires methods and models that can effectively handle intricate structures, as simplifying them would result in loss of information. While several analytical tools have been developed to work with complex data objects in their original form, these tools are typically limited to single-type variables. In this work, we propose energy trees as a regression and classification model capable of accommodating structured covariates of various types. Energy trees leverage energy statistics to extend the capabilities of conditional inference trees, from which they inherit sound statistical foundations, interpretability, scale invariance, and freedom from distributional assumptions. We specifically focus on functional and graph-structured covariates, while also highlighting the model's flexibility in integrating other variable types. Extensive simulation studies demonstrate the model's competitive performance in terms of variable selection and robustness to overfitting. Finally, we assess the model's predictive ability through two empirical analyses involving human biological data. Energy trees are implemented in the R package etree.


title: TCFHs, IIB warped AdS backgrounds and hidden symmetries

abstract: We present the twisted covariant form hierarchies (TCFHs) on the internal spaces of all type IIB warped AdS backgrounds. As a result we demonstrate that the form bilinears on the internal spaces satisfy a generalisation of the conformal Killing-Yano equation. We also explore some of the properties of the TCFHs, like for example the holonomy of the TCFH connections. In addition, we present examples where the form bilinears generate hidden symmetries for particle probes propagating on the internal spaces of some AdS backgrounds. These include the maximally supersymmetric AdS$_5$ solution as well as some of the near horizon geometries of intersecting IIB branes.


title: Simple weight modules for Yangian $\operatorname{Y}(\mathfrak{sl}_{2})$

abstract: Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$. A $\operatorname{Y}(\mathfrak{g})$-module is said to be weight if it is a weight $\mathfrak{g}$-module. We give a complete classification of simple weight modules for $\operatorname{Y}(\mathfrak{sl}_2)$ which admits a one-dimensional weight space. We prove that there are four classes of such modules: finite, highest weight, lowest weight and dense modules. Different from the classical $\mathfrak{sl}_{2}$ representation theory, we show that there exist a class of $\operatorname{Y}(\mathfrak{sl}_{2})$ irreducible modules which have uniformly 2-dimensional weight spaces.


title: Sharp bounds on the symmetric division deg index of graphs and line graphs

abstract: For a graph $G$ with vertex set $V_{G}$ and edge set $E_{G}$, the symmetric division deg index is defined as $SDD(G)=\sum\limits_{uv\in E_{G}}(\frac{d_{u}}{d_{v}}+\frac{d_{v}}{d_{u}})$, where $d_{u}$ denotes the degree of vertex $u$ in $G$. In 2018, Furtula et al. confirmed the quality of SDD index exceeds that of some more popular VDB indices, in particular that of the GA index. They shown a close connection between the SDD index and the earlier well-established GA index. Thus it is meaningful and important to consider the chemical and mathematical properties of the SDD index. In this paper, we determine some sharp bounds on the symmetric division deg index of graphs and line graphs and characterize the corresponding extremal graphs.


title: Hiding Your Signals: A Security Analysis of PPG-based Biometric Authentication

abstract: Recently, physiological signal-based biometric systems have received wide attention. Unlike traditional biometric features, physiological signals can not be easily compromised (usually unobservable to human eyes). Photoplethysmography (PPG) signal is easy to measure, making it more attractive than many other physiological signals for biometric authentication. However, with the advent of remote PPG (rPPG), unobservability has been challenged when the attacker can remotely steal the rPPG signals by monitoring the victim's face, subsequently posing a threat to PPG-based biometrics. In PPG-based biometric authentication, current attack approaches mandate the victim's PPG signal, making rPPG-based attacks neglected. In this paper, we firstly analyze the security of PPG-based biometrics, including user authentication and communication protocols. We evaluate the signal waveforms, heart rate and inter-pulse-interval information extracted by five rPPG methods, including four traditional optical computing methods (CHROM, POS, LGI, PCA) and one deep learning method (CL_rPPG). We conducted experiments on five datasets (PURE, UBFC_rPPG, UBFC_Phys, LGI_PPGI, and COHFACE) to collect a comprehensive set of results. Our empirical studies show that rPPG poses a serious threat to the authentication system. The success rate of the rPPG signal spoofing attack in the user authentication system reached 0.35. The bit hit rate is 0.6 in inter-pulse-interval-based security protocols. Further, we propose an active defence strategy to hide the physiological signals of the face to resist the attack. It reduces the success rate of rPPG spoofing attacks in user authentication to 0.05. The bit hit rate was reduced to 0.5, which is at the level of a random guess. Our strategy effectively prevents the exposure of PPG signals to protect users' sensitive physiological data.


title: Decoherence of Cosmological Perturbations from Boundary Terms and the Non-Classicality of Gravity

abstract: We note that the decoherence of inflationary curvature perturbation $\zeta$ is dominated by a boundary term of the gravity action. Although this boundary term cannot affect cosmological correlators $\left\langle \zeta^n \right\rangle$, it induces much faster decoherence for $\zeta$ than that of previous calculations. The gravitational origin of inflationary decoherence sheds light on the quantum (or non-classical) nature of gravity. By comparing with a Schr\"odinger-Newton toy model of classical gravity, we show that gravity theories of classical or quantum origins can be distinguished by comparing their different impacts on decoherence rate of $\zeta$. Our calculation also indicates that density fluctuation $\delta\rho$ better preserves quantum information than $\zeta$ for the purpose of constructing cosmological Bell-like experiments.


title: Monopoles of the Dirac type and color confinement in QCD -- First results of SU(3) numerical simulations without gauge fixing

abstract: If non-Abelian gauge fields in $SU(3)$ QCD have a line-singularity leading to non-commutativity with respect to successive partial-derivative operations, the non-Abelian Bianchi identity is violated. The violation as an operator is shown to be equivalent to violation of Abelian-like Bianchi identities. Then there appear eight Abelian-like conserved magnetic monopole currents of the Dirac type in $SU(3)$ QCD. Exact Abelian (but kinematical) symmetries appear in non-Abelian $SU(3)$ QCD. Here we try to show the Abelian dual Meissner effect due to the above Abelian-like monopoles are responsible for color confinement in $SU(3)$ QCD. If this picture is correct, the string tension of non-Abelian Wilson loops is reproduced fully by that of the Abelian Wilson loops. This is called as perfect Abelian dominance. In this report, the perfect Abelian dominance is shown to exist with the help of the multilevel method but without introducing additional smoothing techniques like partial gauge fixings, although lattice sizes studied are not large enough to study the infinite volume limit. Perfect monopole dominance is also shown without any additional gauge fixing. Abelian electric fields are squeezed due to solenoidal monopole currents and the penetration length for an Abelian electric field of a single color is the same as that of non-Abelian electric field. The coherence length is also measured directly through the correlation of the monopole density and the Polyakov loop pair. The Ginzburg-Landau parameter indicates that the vacuum type is the weak type I (dual) superconductor. The results obtained above without any additional assumptions as well as more clear previous $SU(2)$ results seem to suggest strongly the above Abelian dual Meissner picture of color confinement mechanism.


title: Silting objects and torsion pairs in comma categories

abstract: In this paper, we first give a characterization of silting objects in the comma category Assume that C1 and C2 are two subcategories of left R-modules, D1 and D2 be two subcategories of left S-modules. We mainly prove that (C1, C2) and (D1, D2) are torsion pairs if and only if the induced two pairs in the special comma category are torsion pairs under certain conditions.


title: SRRT: Exploring Search Region Regulation for Visual Object Tracking

abstract: The dominant trackers generate a fixed-size rectangular region based on the previous prediction or initial bounding box as the model input, i.e., search region. While this manner obtains promising tracking efficiency, a fixed-size search region lacks flexibility and is likely to fail in some cases, e.g., fast motion and distractor interference. Trackers tend to lose the target object due to the limited search region or experience interference from distractors due to the excessive search region. Drawing inspiration from the pattern humans track an object, we propose a novel tracking paradigm, called Search Region Regulation Tracking (SRRT) that applies a small eyereach when the target is captured and zooms out the search field when the target is about to be lost. SRRT applies a proposed search region regulator to estimate an optimal search region dynamically for each frame, by which the tracker can flexibly respond to transient changes in the location of object occurrences. To adapt the object's appearance variation during online tracking, we further propose a lockingstate determined updating strategy for reference frame updating. The proposed SRRT is concise without bells and whistles, yet achieves evident improvements and competitive results with other state-of-the-art trackers on eight benchmarks. On the large-scale LaSOT benchmark, SRRT improves SiamRPN++ and TransT with absolute gains of 4.6% and 3.1% in terms of AUC. The code and models will be released.


title: Efficient RDF Streaming for the Edge-Cloud Continuum

abstract: With the ongoing, gradual shift of large-scale distributed systems towards the edge-cloud continuum, the need arises for software solutions that are universal, scalable, practical, and grounded in well-established technologies. Simultaneously, semantic technologies, especially in the streaming context, are becoming increasingly important for enabling interoperability in edge-cloud systems. However, in recent years, the field of semantic data streaming has been stagnant, and there are no available solutions that would fit those requirements. To fill this gap, in this contribution, a novel end-to-end RDF streaming approach is proposed (named Jelly). The method is simple to implement, yet very elastic, and designed to fit a wide variety of use cases. Its practical performance is evaluated in a series of experiments, including end-to-end throughput and latency measurements. It is shown that Jelly achieves vastly superior performance to the currently available approaches. The presented method makes significant progress towards enabling high-performance semantic data processing in a wide variety of applications, including future edge-cloud systems. Moreover, this study opens up the possibility of applying and evaluating the method in real-life scenarios, which will be the focus of further research.


title: Droplet size distribution in a swirl airstream using in-line holography technique

abstract: We investigate the morphology and size distribution of satellite droplets resulting from the interaction of a freely falling water droplet with a swirling airstream of different strengths by employing shadowgraphy and deep-learning-based digital in-line holography techniques. We found that the droplet exhibits vibrational, retracting bag and normal breakup phenomena for the no swirl, low and high swirl strengths for the same aerodynamic field. In the high swirl scenario, the disintegrations of the nodes, rim, and bag-film contribute to the number mean diameter, resulting in smaller satellite droplets. In contrast, in the low swirl case, the breakup of the rim and nodes only contributes to the size distribution, resulting in larger droplets. The temporal variation of the Sauter mean diameter reveals that for a given aerodynamic force, a high swirl strength produces more surface area and surface energy than a low swirl strength. The theoretical prediction of the number-mean probability density of tiny satellite droplets under swirl conditions agrees with experimental data. However, for the low swirl, the predictions differ from the experimental results, particularly due to the presence of large satellite droplets. Our results reveal that the volume-weighted droplet size distribution exhibits two (bi-modal) and three (multi-model) peaks for low and high swirl strengths, respectively. The analytical model that takes into account various mechanisms, such as the nodes, rim, and bag breakups, accurately predicts the shape and characteristic sizes of each mode for the case of high swirl strength.


title: Nobel begets Nobel

abstract: I construct the professor-student network for laureates of and candidates for the Nobel Prize in Economics. I study the effect of proximity to previous Nobelists on winning the Nobel Prize. Conditional on being Nobel-worthy, students and grandstudents of Nobel laureates are significantly less likely to win. Professors and fellow students of Nobel Prize winners, however, are significantly more likely to win.


title: Encrypted extremum seeking for privacy-preserving PID tuning as-a-Service

abstract: Wireless communication offers many benefits for control such as substantially reduced deployment costs, higher flexibility, as well as easier data access. It is thus not surprising that smart and wireless sensors and actuators are increasingly used in industry. With these enhanced possibilities, exciting new technologies such as Control-as-a-Service arise, where (for example) controller design or tuning based on input-output-data can be outsourced to a cloud or mobile device. This implies, however, that sensitive plant information may become available to service providers or, possibly, attackers. Against this background, we focus on privacy-preserving optimal PID tuning as-a-Service here. In particular, we combine homomorphic encryption with extremum seeking in order to provide a purely data-driven and confidential tuning algorithm. The encrypted realization requires several adaptions of established extremum seekers. These encompass relative parameter updates, stochastic gradient approximations, and a normalized objective function. As a result, and as illustrated by various numerical examples, the proposed encrypted extremum seeker is able to tune PID controllers for a wide variety of plants without being too conservative.


title: openCFS: Open Source Finite Element Software for Coupled Field Simulation -- Part Acoustics

abstract: Although many numerical simulation tools have been developed and are on the market, there is still a strong need for appropriate tools capable to simulate multi-field problems. Therefore, openCFS provides an open-source framework for implementing partial differential equations using the finite element method. Since 2000, the software has been developed continuously. The result of is openCFS (before 2020 known as CFS++ Coupled Field Simulations written in C++). In this paper, we present for the first time the open-source software with a focus on the acoustic module.


title: Partitons of vertices and facets in trees and stacked simplicial complexes

abstract: For stacked simplicial complexes, (special subclasses of such are: trees, triangulations of polygons, stacked polytopes), we give an explicit bijection between partitions of facets (for trees: edges), and partitions of vertices into independent sets. More generally we give bijections between facet partitions whose parts have minimal distance $\geq s$ and vertex partitions whose parts have minimal distance $\geq s+1$. A consequence is results on partitions of natural numbers, where the parts have minimal bounds on spacing.


title: Not Just Skipping. Understanding the Effect of Sponsored Content on Users' Decision-Making in Online Health Search

abstract: Advertisements (ads) are an innate part of search engine business models. Advertisers are willing to pay search engines to promote their content to a prominent position in the search result page (SERP). This raises concerns about the search engine manipulation effect (SEME): the opinions of users can be influenced by the way search results are presented. In this work, we investigate the connection between SEME and sponsored content in the health domain. We conduct a series of user studies in which participants need to evaluate the effectiveness of different non-prescription natural remedies for various medical conditions. We present participants SERPs with different intentionally created biases towards certain viewpoints, with or without sponsored content, and ask them to evaluate the effectiveness of the treatment only based on the information presented to them. We investigate two types of sponsored content: 1. Direct marketing ads that directly market the product without expressing an opinion about its effectiveness, and 2. Indirect marketing ads that explicitly advocate the product's effectiveness on the condition in the query. Our results reveal a significant difference between the influence on users from these two ad types. Though direct marketing ads are mostly skipped by users, they can tilt users decision making towards more positive viewpoints. Indirect marketing ads affect both the users' examination behaviour and their perception of the treatment's effectiveness. We further discover that the contrast between the indirect marketing ads and the viewpoint presented in the organic search results plays an important role in users' decision-making. When the contrast is high, users exhibit a strong preference towards a negative viewpoint, and when the contrast is low or none, users exhibit preference towards a more positive viewpoint.


title: Dimples for skin-friction drag reduction: status and perspectives

abstract: Dimples are small concavities imprinted on a flat surface, known to affect heat transfer and also flow separation and aerodynamic drag on bluff bodies when acting as a standard roughness. Recently, dimples have been proposed as a roughness pattern that is capable to reduce the turbulent drag of a flat plate, by providing a reduction of skin friction that compensates the dimple-induced pressure drag, and leads to a global benefit. The question whether dimples do actually work to reduce friction drag is still unsettled. In this paper, we provide a comprehensive review of the available information, touching upon the many parameters that characterize the problem. A number of reasons that contribute to explaining the contrasting literature information are discussed. We also provide guidelines for future studies, by highlighting key methodological steps required for a meaningful comparison between a flat and dimpled surface in view of drag reduction.


title: Human-Centric Research for NLP: Towards a Definition and Guiding Questions

abstract: With Human-Centric Research (HCR) we can steer research activities so that the research outcome is beneficial for human stakeholders, such as end users. But what exactly makes research human-centric? We address this question by providing a working definition and define how a research pipeline can be split into different stages in which human-centric components can be added. Additionally, we discuss existing NLP with HCR components and define a series of guiding questions, which can serve as starting points for researchers interested in exploring human-centric research approaches. We hope that this work would inspire researchers to refine the proposed definition and to pose other questions that might be meaningful for achieving HCR.


title: Mix-Teaching: A Simple, Unified and Effective Semi-Supervised Learning Framework for Monocular 3D Object Detection

abstract: Monocular 3D object detection is an essential perception task for autonomous driving. However, the high reliance on large-scale labeled data make it costly and time-consuming during model optimization. To reduce such over-reliance on human annotations, we propose Mix-Teaching, an effective semi-supervised learning framework applicable to employ both labeled and unlabeled images in training stage. Mix-Teaching first generates pseudo-labels for unlabeled images by self-training. The student model is then trained on the mixed images possessing much more intensive and precise labeling by merging instance-level image patches into empty backgrounds or labeled images. This is the first to break the image-level limitation and put high-quality pseudo labels from multi frames into one image for semi-supervised training. Besides, as a result of the misalignment between confidence score and localization quality, it's hard to discriminate high-quality pseudo-labels from noisy predictions using only confidence-based criterion. To that end, we further introduce an uncertainty-based filter to help select reliable pseudo boxes for the above mixing operation. To the best of our knowledge, this is the first unified SSL framework for monocular 3D object detection. Mix-Teaching consistently improves MonoFlex and GUPNet by significant margins under various labeling ratios on KITTI dataset. For example, our method achieves around +6.34% AP@0.7 improvement against the GUPNet baseline on validation set when using only 10% labeled data. Besides, by leveraging full training set and the additional 48K raw images of KITTI, it can further improve the MonoFlex by +4.65% improvement on AP@0.7 for car detection, reaching 18.54% AP@0.7, which ranks the 1st place among all monocular based methods on KITTI test leaderboard. The code and pretrained models will be released at https://github.com/yanglei18/Mix-Teaching.


title: Hydrodynamic manifestations of gravitational chiral anomaly

abstract: The conservation of an axial current modified by the gravitational chiral anomaly implies the universal transport phenomenon (Kinematical Vortical Effect) dependent solely on medium vorticity and acceleration but not dependent explicitly on its temperature and density. This general analysis is verified for the case of massless fermions with spin 1/2.


title: Formally regular rings and descent of regularity

abstract: Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it includes valuation and perfectoid rings and it is related to Grothendieck's definition of formal smoothness as in the noetherian case. For that, we have to take into account the topologies. We prove a descent theorem for regularity along flat homomorphisms (in fact for homomorphisms of finite flat dimension), extending some known results from the noetherian to the non-noetherian case, as well as generalizing some recent results in the non-noetherian case, such as the descent of regularity from perfectoid rings by B. Bhatt, S. Iyengar and L. Ma.


title: Characterization of Two-photon Photopolymerization Fabrication using High-speed Optical Diffraction Tomography

abstract: Two-photon photopolymerization (TPP) has recently become a popular method for the fabrication of three-dimensional (3D) micro- and nanostructures. The reproduction fidelity of the designed micro- and nanostructures is influenced by experimental writing conditions, including laser power, exposure time, etc. To determine the appropriate writing parameters, characterization of morphological features and surface roughness during the experiment is needed. Traditional characterization methods for TPP, e.g., scanning electron microscopy and atomic force microscopy, have limited speed and cannot study internal structures without invasive approaches. Optical diffraction tomography (ODT) is an emerging label-free 3D imaging technique based on reconstructing the object's 3D refractive index (RI) distribution with diffraction-limited resolution. Here, we propose a non-invasive solution to fully characterize the TPP-fabricated structures using a high-speed ODT technique, which can eliminate the need for complex sample preparation, such as fluorescence labelling or metal-coating, and achieve a full 3D measurement time of 6 ms. By visualizing and studying different TPP-fabricated structures, including embedded spirals and cubes, via the ODT system, the fabrication quality, including 3D morphological features, exposure levels, and surface roughness, can be examined quantitatively. The results suggest our method can effectively improve the fabrication quality and reproducibility of TPP, generating impacts on the nanofabrication community.


title: NGAME: Negative Mining-aware Mini-batching for Extreme Classification

abstract: Extreme Classification (XC) seeks to tag data points with the most relevant subset of labels from an extremely large label set. Performing deep XC with dense, learnt representations for data points and labels has attracted much attention due to its superiority over earlier XC methods that used sparse, hand-crafted features. Negative mining techniques have emerged as a critical component of all deep XC methods that allow them to scale to millions of labels. However, despite recent advances, training deep XC models with large encoder architectures such as transformers remains challenging. This paper identifies that memory overheads of popular negative mining techniques often force mini-batch sizes to remain small and slow training down. In response, this paper introduces NGAME, a light-weight mini-batch creation technique that offers provably accurate in-batch negative samples. This allows training with larger mini-batches offering significantly faster convergence and higher accuracies than existing negative sampling techniques. NGAME was found to be up to 16% more accurate than state-of-the-art methods on a wide array of benchmark datasets for extreme classification, as well as 3% more accurate at retrieving search engine queries in response to a user webpage visit to show personalized ads. In live A/B tests on a popular search engine, NGAME yielded up to 23% gains in click-through-rates.


title: Multilingual Persuasion Detection: Video Games as an Invaluable Data Source for NLP

abstract: Role-playing games (RPGs) have a considerable amount of text in video game dialogues. Quite often this text is semi-annotated by the game developers. In this paper, we extract a multilingual dataset of persuasive dialogue from several RPGs. We show the viability of this data in building a persuasion detection system using a natural language processing (NLP) model called BERT. We believe that video games have a lot of unused potential as a datasource for a variety of NLP tasks. The code and data described in this paper are available on Zenodo.


title: Dynamic Traffic Assignment for Electric Vehicles

abstract: We initiate the study of dynamic traffic assignment for electrical vehicles addressing the specific challenges such as range limitations and the possibility of battery recharge at predefined charging locations. We pose the dynamic equilibrium problem within the deterministic queueing model of Vickrey and as our main result, we establish the existence of an energy-feasible dynamic equilibrium. There are three key modeling-ingredients for obtaining this existence result: * We introduce a walk-based definition of dynamic traffic flows which allows for cyclic routing behavior as a result of recharging events en route. * We use abstract convex feasibility sets in an appropriate function space to model the energy-feasibility of used walks. * We introduce the concept of capacitated dynamic equilibrium walk-flows which generalize the former unrestricted dynamic equilibrium path-flows. Viewed in this framework, we show the existence of an energy-feasible dynamic equilibrium by applying an infinite dimensional variational inequality, which in turn requires a careful analysis of continuity properties of the network loading as a result of injecting flow into walks. We complement our theoretical results by a computational study in which we design a fixed-point algorithm computing energy-feasible dynamic equilibria. We apply the algorithm to standard real-world instances from the traffic assignment community illustrating the complex interplay of resulting travel times, energy consumption and prices paid at equilibrium.


title: The Price of Stability for First Price Auction

abstract: This paper establishes the Price of Stability (PoS) for First Price Auctions, for all equilibrium concepts that have been studied in the literature: Bayes Nash Equilibrium $\subsetneq$ Bayes Correlated Equilibrium $\subsetneq$ Bayes Coarse Correlated Equilibrium} $\bullet$ Bayes Nash Equilibrium: For independent valuations, the tight PoS is $1 - 1/ e^{2} \approx 0.8647$, matching the counterpart Price of Anarchy (PoA) bound \cite{JL22}. For correlated valuations, the tight $\PoS$ is $1 - 1 / e \approx 0.6321$, matching the counterpart PoA bound \cite{ST13,S14}. This result indicates that, in the worst cases, efficiency degradation depends not on different selections among Bayes Nash Equilibria. $\bullet$ Bayesian Coarse Correlated Equilibrium: For independent or correlated valuations, the tight PoS is always $1 = 100\%$, i.e., no efficiency degradation, different from the counterpart PoA bound $1 - 1 / e \approx 0.6321$ \cite{ST13,S14}. This result indicates that First Price Auctions can be fully efficient when we allow the more general equilibrium concepts.


title: Optotwistronic of bilayer graphene

abstract: We present a study of the nonlinear optical response of twisted bilayer graphene. We discuss the contribution of the Berry phase to the non-linearity when inversion symmetry is broken, thus underlining the interplay between band and real space geometry, and nonlinear response. We also highlight an effect which is characteristic of extreme nonlinear optics: the generation of harmonics in disguise. This effect emerges in twisted bilayer graphene at relatively moderate fields strengths because of the much reduced band width. Our findings contribute to the understanding of the link between geometry and optical properties, as well as of the extreme nonlinear optical regime in twisted bilayer graphene


title: TCR: A Transformer Based Deep Network for Predicting Cancer Drugs Response

abstract: Predicting clinical outcomes to anti-cancer drugs on a personalized basis is challenging in cancer treatment due to the heterogeneity of tumors. Traditional computational efforts have been made to model the effect of drug response on individual samples depicted by their molecular profile, yet overfitting occurs because of the high dimension for omics data, hindering models from clinical application. Recent research shows that deep learning is a promising approach to build drug response models by learning alignment patterns between drugs and samples. However, existing studies employed the simple feature fusion strategy and only considered the drug features as a whole representation while ignoring the substructure information that may play a vital role when aligning drugs and genes. Hereby in this paper, we propose TCR (Transformer based network for Cancer drug Response) to predict anti-cancer drug response. By utilizing an attention mechanism, TCR is able to learn the interactions between drug atom/sub-structure and molecular signatures efficiently in our study. Furthermore, a dual loss function and cross sampling strategy were designed to improve the prediction power of TCR. We show that TCR outperformed all other methods under various data splitting strategies on all evaluation matrices (some with significant improvement). Extensive experiments demonstrate that TCR shows significantly improved generalization ability on independent in-vitro experiments and in-vivo real patient data. Our study highlights the prediction power of TCR and its potential value for cancer drug repurpose and precision oncology treatment.


title: Almost complex parallelizable manifolds: Kodaira dimension and special structures

abstract: We study the Kodaira dimension of a real parallelizable manifold $M$, with an almost complex structure $J$ in standard form with respect to a given parallelism. For $X = (M, J)$ we give conditions under which $\operatorname{kod}(X) = 0$. We provide examples in the case $M = G \times G$, where $G$ is a compact connected real Lie group. Finally we describe geometrical properties of real parallelizable manifolds in the framework of statistical geometry.


title: A Decentralised Real Estate Transfer Verification Based on Self-Sovereign Identity and Smart Contracts

abstract: Since its first introduction in late 90s, the use of marketplaces has continued to grow, today virtually everything from physical assets to services can be purchased on digital marketplaces, real estate is not an exception. Some marketplaces allow acclaimed asset owners to advertise their products, to which the services gets commission/percentage from proceeds of sale/lease. Despite the success recorded in the use of the marketplaces, they are not without limitations which include identity and property fraud, impersonation and the use of centralised technology with trusted parties that are prone to single point of failures (SPOF). Being one of the most valuable assets, real estate has been a target for marketplace fraud as impersonators take pictures of properties they do not own, upload them on marketplace with promising prices that lures innocent or naive buyers. This paper addresses these issues by proposing a self sovereign identity (SSI) and smart contract based framework for identity verification and verified transaction management on secure digital marketplaces. First, the use of SSI technology enable methods for acquiring verified credential (VC) that are verifiable on a decentralised blockchain registry to identify both real estate owner(s) and real estate property. Second, the smart contracts are used to negotiate the secure transfer of real estate property deeds on the marketplace. To assess the viability of our proposal we define an application scenario and compare our work with other approaches


title: On the fourth order semipositone problem in $\mathbb{R}^N$

abstract: For $N \geq 5$ and $a>0$, we consider the following semipositone problem \begin{align*} \Delta^2 u= g(x)f_a(u) \text { in } \mathbb{R}^N, \, \text{ and } \, u \in \mathcal{D}^{2,2}(\mathbb{R}^N),\ \ \ \qquad \quad \mathrm{(SP)} \end{align*} where $g \in L^1_{loc}(\mathbb{R}^N)$ is an indefinite weight function, $f_a:\mathbb{R} \to \mathbb{R}$ is a continuous function that satisfies $f_a(t)=-a$ for $t \in \mathbb{R}^-$, and $\mathcal{D}^{2,2}(\mathbb{R}^N)$ is the completion of $\mathcal{C}_c^{\infty}(\mathbb{R}^N)$ with respect to $(\int_{\mathbb{R}^N} (\Delta u)^2)^{1/2}$. For $f_a$ satisfying subcritical nonlinearity and a weaker Ambrosetti-Rabinowitz type growth condition, we find the existence of $a_1>0$ such that for each $a \in (0,a_1)$, (SP) admits a mountain pass solution. Further, we show that the mountain pass solution is positive if $a$ is near zero. For the positivity, we derive uniform regularity estimates of the solutions of (SP) for certain ranges in $(0,a_1)$, relying on the Riesz potential of the biharmonic operator.


title: Stability of neutron stars in Horndeski theories with Gauss-Bonnet couplings

abstract: In Horndeski theories containing a scalar coupling with the Gauss-Bonnet (GB) curvature invariant $R_{\rm GB}^2$, we study the existence and linear stability of neutron star (NS) solutions on a static and spherically symmetric background. For a scalar-GB coupling of the form $\alpha \xi(\phi) R_{\rm GB}^2$, where $\xi$ is a function of the scalar field $\phi$, the existence of linearly stable stars with a nontrivial scalar profile without instabilities puts an upper bound on the strength of the dimensionless coupling constant $|\alpha|$. To realize maximum masses of NSs for a linear (or dilatonic) GB coupling $\alpha_{\rm GB}\phi R_{\rm GB}^2$ with typical nuclear equations of state, we obtain the theoretical upper limit $\sqrt{|\alpha_{\rm GB}|}<0.7~{\rm km}$. This is tighter than those obtained by the observations of gravitational waves emitted from binaries containing NSs. We also incorporate cubic-order scalar derivative interactions, quartic derivative couplings with nonminimal couplings to a Ricci scalar besides the scalar-GB coupling and show that NS solutions with a nontrivial scalar profile satisfying all the linear stability conditions are present for certain ranges of the coupling constants. In regularized 4-dimensional Einstein-GB gravity obtained from a Kaluza-Klein reduction with an appropriate rescaling of the GB coupling constant, we find that NSs in this theory suffer from a strong coupling problem as well as Laplacian instability of even-parity perturbations. We also study NS solutions with a nontrivial scalar profile in power-law $F(R_{\rm GB}^2)$ models, and show that they are pathological in the interior of stars and plagued by ghost instability together with the asymptotic strong coupling problem in the exterior of stars.


title: Multiple solutions for a weighted $p$-Laplacian problem

abstract: We prove the existence of at least three solutions for a weighted $p$-Laplacian operator involving Dirichlet boundary condition in a weighted Sobolev space. The main tool we use here is a three solution theorem in reflexive Banach spaces due to G. Bonanno and B. Ricceri.


title: Concept of Very-Asymmetric Lepton Collider for Dark Matter Search

abstract: Accelerator-based searches for dark matter are aiming for high sensitivity and need an experimental setup with high luminosity. This field of research is often called intensity frontier physics. One of the best motivated portals of interaction between dark matter and ordinary matter is a dark photon which could be observed as a resonance in the invariant mass of the decay products. Electron-positron collisions are known to be the cleanest interaction for such a study. In this paper we propose a scheme for a collider which allows for a luminosity of a few orders of magnitude higher than could be obtained in a conventional symmetric collider and with a few times higher accessible mass than is possible using a positron beam and a fixed target approach. The key concept is based on asymmetric energies: a high-energy circulating positron beam and a low-energy high-intensity electron beam, and optimization of the beam interaction region. We present here a configuration of a collision region of 10 MeV electron and 4 GeV positron beams.


title: The Cauchy problem of non-local space-time reaction-diffusion equation involving fractional $p$-Laplacian

abstract: For the non-local space-time reaction-diffusion equation involving fractional $p$-Laplacian \begin{equation*} \begin{cases} \frac{\partial^{\alpha }u}{\partial t^{\alpha }}+(-\Delta)_{p}^{s} u=\mu u^{2}(1-kJ*u)-\gamma u,&(x,t)\in\mathbb{R}^{N}\times(0,T)\\ u(x,0)=u_{0}(x),& x\in\mathbb{R}^{N} \end{cases} \end{equation*} $\mu>0 ,k>0,\gamma\geq 1,\alpha\in(0,1),s\in(0,1),1<p$, we consider for $N\leq2$ the problem of finding a global boundedness of the weak solution by virtue of Gagliardo-Nirenberg inequality and fractional Duhamel's formula. Moreover, we prove such weak solution converge to $0$ exponentially or locally uniformly as $t \rightarrow \infty$ for small $\mu$ values with the comparison principle and local Lyapunov type functional. In those cases the problem is reduced to fractional $p$-Laplacian equation in the non-local reaction-diffusion range which is treated with the symmetry and other properties of the kernel of $(-\Delta)_{p}^{s}$. Finally, a key element in our construction is a proof of global bounded weak solution with the fractional nonlinear diffusion terms $(-\Delta)_{p}^{s}u^{m}(2-\frac{2}{N}<m\leq 3,1<p<\frac{4}{3})$ by using Moser iteration and fractional differential inequality.


title: Progressively-connected Light Field Network for Efficient View Synthesis

abstract: This paper presents a Progressively-connected Light Field network (ProLiF), for the novel view synthesis of complex forward-facing scenes. ProLiF encodes a 4D light field, which allows rendering a large batch of rays in one training step for image- or patch-level losses. Directly learning a neural light field from images has difficulty in rendering multi-view consistent images due to its unawareness of the underlying 3D geometry. To address this problem, we propose a progressive training scheme and regularization losses to infer the underlying geometry during training, both of which enforce the multi-view consistency and thus greatly improves the rendering quality. Experiments demonstrate that our method is able to achieve significantly better rendering quality than the vanilla neural light fields and comparable results to NeRF-like rendering methods on the challenging LLFF dataset and Shiny Object dataset. Moreover, we demonstrate better compatibility with LPIPS loss to achieve robustness to varying light conditions and CLIP loss to control the rendering style of the scene. Project page: https://totoro97.github.io/projects/prolif.


title: Lifting Bratteli Diagrams between Krajewski Diagrams: Spectral Triples, Spectral Actions, and $AF$ algebras

abstract: In this paper, we present a framework to construct sequences of spectral triples on top of an inductive sequence defining an $AF$-algebra. One aim of this paper is to lift arrows of a Bratteli diagram to arrows between Krajewski diagrams. The spectral actions defining Non-commutative Gauge Field Theories associated to two spectral triples related by these arrows are compared (tensored by a commutative spectral triple to put us in the context of Almost Commutative manifolds). This paper is a follow up of a previous one in which this program was defined and physically illustrated in the framework of the derivation-based differential calculus, but the present paper focuses more on the mathematical structure without trying to study the physical implications.


title: Noisy Heuristics NAS: A Network Morphism based Neural Architecture Search using Heuristics

abstract: Network Morphism based Neural Architecture Search (NAS) is one of the most efficient methods, however, knowing where and when to add new neurons or remove dis-functional ones is generally left to black-box Reinforcement Learning models. In this paper, we present a new Network Morphism based NAS called Noisy Heuristics NAS which uses heuristics learned from manually developing neural network models and inspired by biological neuronal dynamics. Firstly, we add new neurons randomly and prune away some to select only the best fitting neurons. Secondly, we control the number of layers in the network using the relationship of hidden units to the number of input-output connections. Our method can increase or decrease the capacity or non-linearity of models online which is specified with a few meta-parameters by the user. Our method generalizes both on toy datasets and on real-world data sets such as MNIST, CIFAR-10, and CIFAR-100. The performance is comparable to the hand-engineered architecture ResNet-18 with the similar parameters.


title: Nonlinear analog of the complexity-stability transition in random dynamical systems: a replica calculation

abstract: We consider large-dimensional dynamical systems involving a linear force and a random force comprising both potential and non-conservative contributions. Such systems are known to exhibit a topological trivialization phase transition as the strength of the random force is increased. This is reflected in the number of stationary points of the dynamical systems that transitions from one to an exponential in the number of degrees of freedom. We analyze this transition by means of a replica calculation.


title: Alternating sign matrices with reflective symmetry and plane partitions: $n+3$ pairs of equivalent statistics

abstract: Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2,2n,2n+2,2n,2n+2,2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but no bijection between these two classes of objects has been constructed so far. In order to make progress towards finding such a bijection, we generalize this result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects. In fact, we present several versions of such results (one of which was independently conjectured by Florian Aigner) but in all cases certain natural extensions of the original objects are necessary and that may hint at why it is so hard to come up with an explicit bijection for the original objects.


title: Sparse Pairwise Re-ranking with Pre-trained Transformers

abstract: Pairwise re-ranking models predict which of two documents is more relevant to a query and then aggregate a final ranking from such preferences. This is often more effective than pointwise re-ranking models that directly predict a relevance value for each document. However, the high inference overhead of pairwise models limits their practical application: usually, for a set of $k$ documents to be re-ranked, preferences for all $k^2-k$ comparison pairs excluding self-comparisons are aggregated. We investigate whether the efficiency of pairwise re-ranking can be improved by sampling from all pairs. In an exploratory study, we evaluate three sampling methods and five preference aggregation methods. The best combination allows for an order of magnitude fewer comparisons at an acceptable loss of retrieval effectiveness, while competitive effectiveness is already achieved with about one third of the comparisons.


title: Towards Proper Contrastive Self-supervised Learning Strategies For Music Audio Representation

abstract: The common research goal of self-supervised learning is to extract a general representation which an arbitrary downstream task would benefit from. In this work, we investigate music audio representation learned from different contrastive self-supervised learning schemes and empirically evaluate the embedded vectors on various music information retrieval (MIR) tasks where different levels of the music perception are concerned. We analyze the results to discuss the proper direction of contrastive learning strategies for different MIR tasks. We show that these representations convey a comprehensive information about the auditory characteristics of music in general, although each of the self-supervision strategies has its own effectiveness in certain aspect of information.


title: A Robust Server-Effort Policy for Fluid Processing Networks

abstract: Multi-Class Processing Networks describe a set of servers that perform multiple classes of jobs on different items. A useful and tractable way to find an optimal control for such a network is to approximate it by a fluid model, resulting in a Separated Continuous Linear Programming (SCLP) problem. Clearly, arrival and service rates in such systems suffer from inherent uncertainty. A recent study addressed this issue by formulating a Robust Counterpart for SCLP models with budgeted uncertainty which provides a solution in terms of processing rates. This solution is transformed into a sequencing policy. However, in cases where servers can process several jobs simultaneously, a sequencing policy cannot be implemented. In this paper, we propose to use in these cases a a resource allocation policy, namely, the proportion of server effort per class. We formulate Robust Counterparts of both processing rates and server-effort uncertain models for four types of uncertainty sets: box, budgeted, one-sided budgeted, and polyhedral. We prove that server-effort model provides a better robust solution than any algebraic transformation of the robust solution of the processing rates model. Finally, to get a grasp of how much our new model improves over the processing rates robust model, we provide results of some numerical experiments.


title: Emergent non-Hermitian physics in generalized Lotka-Volterra model

abstract: In this paper, we study the non-Hermitian physics emerging from a predator-prey ecological model described by a generalized Lotka-Volterra equation. In the phase space, this nonlinear equation exhibits both chaotic and localized dynamics, which are separated by a critical point. These distinct dynamics originate from the interplay between the periodicity and non-Hermiticity of the effective Hamiltonian in the linearized equation of motion. Moreover, the dynamics at the critical point, such as algebraic divergence, can be understood as an exceptional point in the context of non-Hermitian physics.


title: Opposing Half Guards

abstract: We study the art gallery problem for opposing half guards: guards that can either see to their left or to their right only. We present art gallery theorems, show that the location of half guards in 2-guardable polygons is not restricted to extensions, show that the problem is NP-hard in monotone polygons, and present approximation algorithms for spiral and staircase polygons.


title: Finite-time High-probability Bounds for Polyak-Ruppert Averaged Iterates of Linear Stochastic Approximation

abstract: This paper provides a finite-time analysis of linear stochastic approximation (LSA) algorithms with fixed step size, a core method in statistics and machine learning. LSA is used to compute approximate solutions of a $d$-dimensional linear system $\bar{\mathbf{A}} \theta = \bar{\mathbf{b}}$ for which $(\bar{\mathbf{A}}, \bar{\mathbf{b}})$ can only be estimated by (asymptotically) unbiased observations $\{(\mathbf{A}(Z_n),\mathbf{b}(Z_n))\}_{n \in \mathbb{N}}$. We consider here the case where $\{Z_n\}_{n \in \mathbb{N}}$ is an i.i.d. sequence or a uniformly geometrically ergodic Markov chain. We derive $p$-th moment and high-probability deviation bounds for the iterates defined by LSA and its Polyak-Ruppert-averaged version. Our finite-time instance-dependent bounds for the averaged LSA iterates are sharp in the sense that the leading term we obtain coincides with the local asymptotic minimax limit. Moreover, the remainder terms of our bounds admit a tight dependence on the mixing time $t_{\operatorname{mix}}$ of the underlying chain and the norm of the noise variables. We emphasize that our result requires the SA step size to scale only with logarithm of the problem dimension $d$.


title: Myers-Briggs personality classification from social media text using pre-trained language models

abstract: In Natural Language Processing, the use of pre-trained language models has been shown to obtain state-of-the-art results in many downstream tasks such as sentiment analysis, author identification and others. In this work, we address the use of these methods for personality classification from text. Focusing on the Myers-Briggs (MBTI) personality model, we describe a series of experiments in which the well-known Bidirectional Encoder Representations from Transformers (BERT) model is fine-tuned to perform MBTI classification. Our main findings suggest that the current approach significantly outperforms well-known text classification models based on bag-of-words and static word embeddings alike across multiple evaluation scenarios, and generally outperforms previous work in the field.


title: Thermal conductivity for p-(Bi, Sb)$_{2}$Te$_{3}$ films of topological insulators

abstract: The temperature dependences of the total, crystal lattice and electronic thermal conductivities were investigated in films of topological insulators p-Bi$_{0.5}$Sb$_{1.5}$Te$_{3}$ and p-Bi$_{2}$Te$_{3}$ formed by discrete and thermal evaporation methods. The largest decrease in the lattice thermal conductivity owing to the scattering of long-wavelength phonons on the grain interfaces was observed in the films of solid solutions p-Bi$_{0.5}$Sb$_{1.5}$Te$_{3}$ deposited by discrete evaporation on the amorphous substrates of polyimide without thermal treatment. It is shown that in the p-Bi$_{0.5}$Sb$_{1.5}$Te$_{3}$ films with low thermal conductivity the energy dependence of the relaxation time is enhanced, which is specific for the topological insulators. The electronic thermal conductivity was determined taking into account the effective scattering parameter in the relaxation time approximation versus energy in the Lorentz number calculations. The observed increase of the electronic thermal conductivity within the temperature range of 40 - 80 K is related to the weakening of the electrical conductivity temperature dependence and is determined by the increase in the effective scattering parameter at low temperatures due to the effect of scattering on the point antisite and impurity defects. A correlation was established between the thermal conductivity and features of the morphology of the interlayer surface (0001) in the studied films.


title: Model-Driven Based Deep Unfolding Equalizer for Underwater Acoustic OFDM Communications

abstract: It is challenging to design an equalizer for the complex time-frequency doubly-selective channel. In this paper, we employ the deep unfolding approach to establish an equalizer for the underwater acoustic (UWA) orthogonal frequency division multiplexing (OFDM) system, namely UDNet. Each layer of UDNet is designed according to the classical minimum mean square error (MMSE) equalizer. Moreover, we consider the QPSK equalization as a four-classification task and adopt minimum Kullback-Leibler (KL) to achieve a smaller symbol error rate (SER) with the one-hot coding instead of the MMSE criterion. In addition, we introduce a sliding structure based on the banded approximation of the channel matrix to reduce the network size and aid UDNet to perform well for different-length signals without changing the network structure. Furthermore, we apply the measured at-sea doubly-selective UWA channel and offshore background noise to evaluate the proposed equalizer. Experimental results show that the proposed UDNet performs better with low computational complexity. Concretely, the SER of UDNet is nearly an order of magnitude lower than that of MMSE.


title: Scaling up ML-based Black-box Planning with Partial STRIPS Models

abstract: A popular approach for sequential decision-making is to perform simulator-based search guided with Machine Learning (ML) methods like policy learning. On the other hand, model-relaxation heuristics can guide the search effectively if a full declarative model is available. In this work, we consider how a practitioner can improve ML-based black-box planning on settings where a complete symbolic model is not available. We show that specifying an incomplete STRIPS model that describes only part of the problem enables the use of relaxation heuristics. Our findings on several planning domains suggest that this is an effective way to improve ML-based black-box planning beyond collecting more data or tuning ML architectures.


title: Strategic Choices of Migrants and Smugglers in the Central Mediterranean Sea

abstract: The sea crossing from Libya to Italy is one of the world's most dangerous and politically contentious migration routes, and yet over half a million people have attempted the crossing since 2014. Leveraging data on aggregate migration flows and individual migration incidents, we estimate how migrants and smugglers have reacted to changes in border enforcement, namely the rise in interceptions by the Libyan Coast Guard starting in 2017 and the corresponding decrease in the probability of rescue at sea. We find support for a deterrence effect in which attempted crossings along the Central Mediterranean route declined, and a diversion effect in which some migrants substituted to the Western Mediterranean route. At the same time, smugglers adapted their tactics. Using a strategic model of the smuggler's choice of boat size, we estimate how smugglers trade off between the short-run payoffs to launching overcrowded boats and the long-run costs of making less successful crossing attempts under different levels of enforcement. Taken together, these analyses shed light on how the integration of incident- and flow-level datasets can inform ongoing migration policy debates and identify potential consequences of changing enforcement regimes.


title: Detecting Grouped Local Average Treatment Effects and Selecting True Instruments

abstract: Under an endogenous binary treatment with heterogeneous effects and multiple instruments, we propose a two-step procedure for identifying complier groups with identical local average treatment effects (LATE) despite relying on distinct instruments, even if several instruments violate the identifying assumptions. We use the fact that the LATE is homogeneous for instruments which (i) satisfy the LATE assumptions (instrument validity and treatment monotonicity in the instrument) and (ii) generate identical complier groups in terms of treatment propensities given the respective instruments. We propose a two-step procedure, where we first cluster the propensity scores in the first step and find groups of IVs with the same reduced form parameters in the second step. Under the plurality assumption that within each set of instruments with identical treatment propensities, instruments truly satisfying the LATE assumptions are the largest group, our procedure permits identifying these true instruments in a data driven way. We show that our procedure is consistent and provides consistent and asymptotically normal estimators of underlying LATEs. We also provide a simulation study investigating the finite sample properties of our approach and an empirical application investigating the effect of incarceration on recidivism in the US with judge assignments serving as instruments.


title: Heat transfer in granular media with weakly interacting particles

abstract: We study the heat transfer in weakly interacting particle systems in vacuum. The particles have surface roughness with self-affine fractal properties, as expected for mineral particles produced by fracture, e.g., by crunching brittle materials in a mortar. We show that the propagating electromagnetic (EM) waves and the evanescent EM-waves, which occur outside of all solids, give the dominant heat transfer for large and small particles, respectively, while the phononic contribution from the area of real contact is negligible. As an application we discuss the heat transfer in rubble pile asteroids.


title: Lyman alpha and Lyman continuum emission of MgII-selected star-forming galaxies

abstract: We present observations with the Cosmic Origins Spectrograph onboard the Hubble Space Telescope of seven compact low-mass star-forming galaxies at redshifts, z,in the range 0.3161-0.4276, with various O3Mg2=[OIII]5007/MgII 2796+2803 and Mg2=MgII 2796/MgII 2803 emission-line ratios. We aim to study the dependence of leaking Lyman continuum (LyC) emission on the characteristics of MgII emission together with the dependences on other indirect indicators of escaping ionizing radiation. LyC emission with escape fractions fesc(LyC)=3.1-4.6 per cent is detected in four galaxies, whereas only 1sigma upper limits of fesc(LyC) in the remaining three galaxies were derived. A strong narrow Ly-alpha emission line with two peaks separated by Vsep~298-592 km/s was observed in four galaxies with detected LyC emission and very weak Ly-alpha emission is observed in galaxies with LyC non-detections. Our new data confirm the tight anti-correlation between fesc(LyC) and Vsep found for previous low-redshift galaxy samples. Vsep remains the best indirect indicator of LyC leakage among all considered indicators. It is found that escaping LyC emission is detected predominantly in galaxies with Mg2>1.3. A tendency of an increase of fesc(LyC) with increasing of both the O3Mg2 and Mg2 is possibly present. However, there is substantial scatter in these relations not allowing their use for reliable prediction of fesc(LyC).


title: A novel approach to contact Hamiltonians and contact Hamilton-Jacobi theory

abstract: We propose a novel approach to contact Hamiltonian mechanics which, in contrast to the one dominating in the literature, serves also for non-trivial contact structures. In this approach Hamiltonians are no longer functions on the contact manifold M itself but sections of a line bundle over M or, equivalently, 1-homogeneous functions on a certain GL(1,R)-principal bundle P\to M which is equipped with a homogeneous symplectic form \omega. In other words, our understanding of contact geometry is that it is not an `odd-dimensional cousin' of symplectic geometry but rather a part of the latter, namely `homogeneous symplectic geometry'. This understanding of contact structures is much simpler than the traditional one and very effective in applications, reducing the contact Hamiltonian formalism to the standard symplectic picture. We develop in this language contact Hamiltonian mechanics in autonomous, as well as time-dependent case, and the corresponding Hamilton-Jacobi theory. Fundamental examples are based on canonical contact structures on the first jet bundles J^1(L) of sections of line bundles L, which play in contact geometry a fundamental role similar to that played by cotangent bundles in symplectic geometry.


title: Global Cauchy problems for the nonlocal (derivative) NLS in $E^s_\sigma$

abstract: We consider the Cauchy problem for the (derivative) nonlocal NLS in super-critical function spaces $E^s_\sigma$ for which the norms are defined by $$ \|f\|_{E^s_\sigma} = \|\langle\xi\rangle^\sigma 2^{s|\xi|}\hat{f}(\xi)\|_{L^2}, \ s<0, \ \sigma \in \mathbb{R}. $$ Any Sobolev space $H^{r}$ is a subspace of $E^s_\sigma$, i.e., $H^r \subset E^s_\sigma$ for any $ r,\sigma \in \mathbb{R}$ and $s<0$. Let $s<0$ and $\sigma>-1/2$ ($\sigma >0$) for the nonlocal NLS (for the nonlocal derivative NLS). We show the global existence and uniqueness of the solutions if the initial data belong to $E^s_\sigma$ and their Fourier transforms are supported in $(0, \infty)$, the smallness conditions on the initial data in $E^s_\sigma$ are not required for the global solutions.


title: The intrinsic Hopf-Lax semigroup vs. The intrinsic slope

abstract: In this note, we introduce a natural notion of intrinsic Hopf-Lax semigroup in the context of the so-called intrinsically Lipschitz sections. The main aims are to prove the link between the intrinsic Hopf-Lax semigroup and the intrinsic slope and to show that the intrinsic Hopf-Lax semigroup is a subsolution of Hamilton-Jacobi type equality.