title: Aerial Monocular 3D Object Detection

abstract: Drones equipped with cameras can significantly enhance human ability to perceive the world because of their remarkable maneuverability in 3D space. Ironically, object detection for drones has always been conducted in the 2D image space, which fundamentally limits their ability to understand 3D scenes. Furthermore, existing 3D object detection methods developed for autonomous driving cannot be directly applied to drones due to the lack of deformation modeling, which is essential for the distant aerial perspective with sensitive distortion and small objects. To fill the gap, this work proposes a dual-view detection system named DVDET to achieve aerial monocular object detection in both the 2D image space and the 3D physical space. To address the severe view deformation issue, we propose a novel trainable geo-deformable transformation module that can properly warp information from the drone's perspective to the BEV. Compared to the monocular methods for cars, our transformation includes a learnable deformable network for explicitly revising the severe deviation. To address the dataset challenge, we propose a new large-scale simulation dataset named AM3D-Sim, generated by the co-simulation of AirSIM and CARLA, and a new real-world aerial dataset named AM3D-Real, collected by DJI Matrice 300 RTK, in both datasets, high-quality annotations for 3D object detection are provided. Extensive experiments show that i) aerial monocular 3D object detection is feasible; ii) the model pre-trained on the simulation dataset benefits real-world performance, and iii) DVDET also benefits monocular 3D object detection for cars. To encourage more researchers to investigate this area, we will release the dataset and related code in https://sjtu-magic.github.io/dataset/AM3D/.


title: Fate of the first-order chiral phase transition in QCD: Implications for dark QCD studied via a Nambu-Jona-Lasinio model

abstract: The first-order nature of the chiral phase transition in QCD-like theories can play crucial roles to address a dark side of the Universe, where the created out-of equilibrium is essential to serve as cosmological and astrophysical probes such as gravitational wave productions, which have extensively been explored. This interdisciplinary physics is built based on a widely-accepted conjecture that the thermal chiral phase transition in QCD-like theories with massless (light) three flavors is of first order. We find that such a first order feature may not hold, when ordinary or dark quarks are externally coupled to a weak enough background field of photon or dark photon (which we collectively call a ``magnetic" field). We assume that a weak ``magnetic" background field could be originated from some ``magnetogenesis" in the early Universe. We work on a Nambu-Jona-Lasinio model which can describe the chiral phase transition in a wide class of QCD-like theories. We show that in the case with massless (light) three flavors, the first-order feature goes away when $2 f_\pi^2 \lesssim eB ( \ll (4 \pi f_\pi)^2)$, where $eB$ is the ``magnetic" field strength and $f_\pi$ the pion decay constant at the vacuum. This disappearance is the generic consequence of the presence of the ``magnetically" induced scale anomaly and the ``magnetic" catalysis for the chiral symmetry breaking, and would impact or constrain modeling dark QCD coupled to an external ``magnetic" field.


title: Construction of strong derivable maps via functional calculus of unbounded spectral operators in Banach spaces

abstract: We provide sufficient conditions for the existence of a strong derivable map and calculate its derivative by employing a result in our previous work on strong derivability of maps arising by functional calculus of an unbounded scalar type spectral operator $R$ in a Banach space and the generalization to complete locally convex spaces of a classical result valid in the Banach space context. We apply this result to obtain a sequence of integrals converging to an integral of a complete locally convex space extension of a map arising by functional calculus of $R$.


title: Interstellar Nitrogen Isotope Ratios: New NH3 Data from the Galactic Center out to the Perseus Arm

abstract: Our aim is to measure the interstellar 14N/15N ratio across the Galaxy, to establish a standard data set on interstellar ammonia isotope ratios, and to provide new constraints on the Galactic chemical evolution. The (J, K ) = (1, 1), (2, 2), and (3, 3) lines of 14NH3 and 15NH3 were observed with the Shanghai Tianma 65 m radio telescope (TMRT) and the Effelsberg 100 m telescope toward a large sample of 210 sources. One hundred fourty-one of these sources were detected by the TMRT in 14NH3. Eight of them were also detected in 15NH3. For 10 of the 36 sources with strong NH3 emission, the Effelsberg 100 m telescope successfully detected their 15NH3(1, 1) lines, including 3 sources (G081.7522, W51D, and Orion-KL) with detections by the TMRT telescope. Thus, a total of 15 sources are detected in both the 14NH3 and 15NH3 lines. Line and physical parameters for these 15 sources are derived, including optical depths, rotation and kinetic temperatures, and total column densities. 14N/15N isotope ratios were determined from the 14NH3/15NH3 abundance ratios. The isotope ratios obtained from both telescopes agree for a given source within the uncertainties, and no dependence on heliocentric distance and kinetic temperature is seen. 14N/15N ratios tend to increase with galactocentric distance, confirming a radial nitrogen isotope gradient. This is consistent with results from recent Galactic chemical model calculations, including the impact of superasymptotic giant branch stars and novae.


title: Weak solutions for the Stokes system for compressible non-Newtonian fluids with unbounded divergence

abstract: We investigate the existence of weak solutions to a certain system of partial differential equations, modelling the behaviour of a compressible non-Newtonian fluid for small Reynolds number. We construct the weak solutions despite the lack of the $L^\infty$ estimate on the divergence of the velocity field. The result was obtained by combining the regularity theory for singular operators with a certain logarithmic integral inequality for $BMO$ functions, which allowed us to adjust the method from (Feireisl et al., 2015) to more relaxed conditions on the velocity.


title: A Correlatively Sparse Lagrange Multiplier Expression Relaxation for Polynomial Optimization

abstract: In this paper, we consider polynomial optimization with correlative sparsity. We construct correlatively sparse Lagrange multiplier expressions (CS-LMEs) and propose CS-LME reformulations for polynomial optimization problems using the Karush-Kuhn-Tucker optimality conditions. Correlatively sparse sum-of-squares (CS-SOS) relaxations are applied to solve the CS-LME reformulation. We show that the CS-LME reformulation inherits the original correlative sparsity pattern, and the CS-SOS relaxation provides sharper lower bounds when applied to the CS-LME reformulation, compared with when it is applied to the original problem. Moreover, the convergence of our approach is guaranteed under mild conditions. In numerical experiments, our new approach usually finds the global optimal value (up to a negligible error) with a low relaxation order for cases where directly solving the problem fails to get an accurate approximation. Also, by properly exploiting the correlative sparsity, our CS-LME approach requires less computational time than the original LME approach to reach the same accuracy level.


title: Towards lifelong learning of Recurrent Neural Networks for control design

abstract: This paper proposes a method for lifelong learning of Recurrent Neural Networks, such as NNARX, ESN, LSTM, and GRU, to be used as plant models in control system synthesis. The problem is significant because in many practical applications it is required to adapt the model when new information is available and/or the system undergoes changes, without the need to store an increasing amount of data as time proceeds. Indeed, in this context, many problems arise, such as the well known Catastrophic Forgetting and Capacity Saturation ones. We propose an adaptation algorithm inspired by Moving Horizon Estimators, deriving conditions for its convergence. The described method is applied to a simulated chemical plant, already adopted as a challenging benchmark in the existing literature. The main results achieved are discussed.


title: Extensions of derivations and symmetric operators

abstract: Given a densely defined skew-symmetric operators A 0 on a real or complex Hilbert space V , we parametrize all m-dissipative extensions in terms of contractions $\Phi$ : H-$\rightarrow$ H + , where Hand H + are Hilbert spaces associated with a boundary quadruple. Such an extension generates a unitary C 0-group if and only if $\Phi$ is a unitary operator. As corollary we obtain the parametrization of all selfadjoint extensions of a symmetric operator by unitary operators from Hto H +. Our results extend the theory of boundary triples initiated by von Neumann and developed by V. I. and M. L. Gorbachuk, J. Behrndt and M. Langer, S. A. Wegner and many others, in the sense that a boundary quadruple always exists (even if the defect indices are different in the symmetric case).


title: Anisotropic and high thermal conductivity in monolayer quasi-hexagonal fullerene: A comparative study against bulk phase fullerene

abstract: Recently a novel two-dimensional (2D) C$_{60}$ based crystal called quasi-hexagonal-phase fullerene (QHPF) has been fabricated and demonstrated to be a promising candidate for 2D electronic devices [Hou et al. Nature 606, 507-510 (2022)]. We construct an accurate and transferable machine-learned potential to study heat transport and related properties of this material, with a comparison to the face-centered-cubic bulk-phase fullerene (BPF). Using the homogeneous nonequilibrium molecular dynamics and the related spectral decomposition methods, we show that the thermal conductivity in QHPF is anisotropic, which is 137(7) W/mK at 300 K in the direction parallel to the cycloaddition bonds and 102(3) W/mK in the perpendicular in-plane direction. By contrast, the thermal conductivity in BPF is isotropic and is only 0.45(5) W/mK. We show that the inter-molecular covalent bonding in QHPF plays a crucial role in enhancing the thermal conductivity in QHPF as compared to that in BPF. The heat transport properties as characterized in this work will be useful for the application of QHPF as novel 2D electronic devices.


title: Quaternionic $p$-adic continued fractions

abstract: We develop a theory of $p$-adic continued fractions for a quaternion algebra $B$ over $\mathbb Q$ ramified at a rational prime $p$. Many properties holding in the commutative case can be proven also in this setting. In particular, we focus our attention on the characterization of elements having a finite continued fraction expansion. By means of a suitable notion of quaternionic height, we prove a criterion for finiteness. Furthermore, we draw some consequences about the solutions of a family of quadratic polynomial equations with coefficients in $B$.


title: Overcoming non-radiative losses with AlGaAs PIN junctions for near-field thermophotonic energy harvesting

abstract: In a thermophotonic device used in an energy-harvesting configuration, a hot light-emitting diode (LED) is coupled to a photovoltaic (PV) cell by means of electroluminescent radiation in order to produce electrical power. Using fluctuational electrodynamics and the drift-diffusion equations, we optimise a device made of an AlGaAs PIN LED and a GaAs PIN PV cell with matched bandgaps. We find that the LED can work as an efficient heat pump only in the near field, where radiative heat transfer is increased by wave tunnelling. A key reason is that non-radiative recombination rates are reduced compared to radiative ones in this regime. At 10 nm gap distance and for 100 cm.s --1 effective surface recombination velocity, the power output can reach 2.2 W.cm --2 for a 600 K LED, which highlights the potential for low-grade energy harvesting.


title: Generating Coherent Narratives by Learning Dynamic and Discrete Entity States with a Contrastive Framework

abstract: Despite advances in generating fluent texts, existing pretraining models tend to attach incoherent event sequences to involved entities when generating narratives such as stories and news. We conjecture that such issues result from representing entities as static embeddings of superficial words, while neglecting to model their ever-changing states, i.e., the information they carry, as the text unfolds. Therefore, we extend the Transformer model to dynamically conduct entity state updates and sentence realization for narrative generation. We propose a contrastive framework to learn the state representations in a discrete space, and insert additional attention layers into the decoder to better exploit these states. Experiments on two narrative datasets show that our model can generate more coherent and diverse narratives than strong baselines with the guidance of meaningful entity states.


title: One-Hop Listening Based ARQs for Low-Latency Communication in Multi-Hop Networks

abstract: Inspired by emerging applications in vehicular networks, we address the problem of achieving high-reliability and low-latency communication in multi-hop wireless networks. We propose a new family of Automatic-Repeat-Requests (ARQs) based cooperative strategies wherein high end-to-end reliability is obtained using packet re-transmissions at each hop while the low-latency constraint is met by imposing an upper bound on the total number of packet retransmissions across the network. A hallmark of our strategies is the one-hop listening capability wherein nodes utilize the unused ARQs of their preceding node just by counting the number of failed attempts due to decoding errors. We further extend the idea of one-hop listening to multi-hop listening, wherein a set of consecutive nodes form clusters to utilize the unused ARQs of the preceding nodes, beyond its nearest neighbour, to further improve reliability. Thus, our strategies provide the high-reliability feature with no compromise in the original latency-constraint. For the proposed strategies, we solve non-linear optimization problems on distributing the ARQs across the nodes so as to minimize packet drop probability (PDP) subject to a total number of ARQs in the network. Through extensive theoretical results on PDP and delay profiles, we show that the proposed strategies outperform the best-known strategies in this space.


title: Advancing Plain Vision Transformer Towards Remote Sensing Foundation Model

abstract: Large-scale vision foundation models have made significant progress in visual tasks on natural images, with vision transformers being the primary choice due to their good scalability and representation ability. However, large-scale models in remote sensing (RS) have not yet been sufficiently explored. In this paper, we resort to plain vision transformers with about 100 million parameters and make the first attempt to propose large vision models tailored to RS tasks and investigate how such large models perform. To handle the large sizes and objects of arbitrary orientations in RS images, we propose a new rotated varied-size window attention to replace the original full attention in transformers, which can significantly reduce the computational cost and memory footprint while learning better object representation by extracting rich context from the generated diverse windows. Experiments on detection tasks show the superiority of our model over all state-of-the-art models, achieving 81.24% mAP on the DOTA-V1.0 dataset. The results of our models on downstream classification and segmentation tasks also show competitive performance compared to existing advanced methods. Further experiments show the advantages of our models in terms of computational complexity and data efficiency in transferring.


title: Fuzzing Microservices In Industry: Experience of Applying EvoMaster at Meituan

abstract: With several microservice architectures comprising of thousands of web services in total, used to serve 630 million customers, companies like Meituan face several challenges in the verification and validation of their software. The use of automated techniques, especially advanced AI-based ones, could bring significant benefits here. EvoMaster is an open-source test case generation tool for web services, that exploits the latest advances in the field of Search-Based Software Testing research. This paper reports on our experience of integrating the EvoMaster tool in the testing processes at Meituan. Experiments were carried out to evaluate its performance in detail on two industrial web services which are parts of a large e-commerce microservices. A questionnaire and interviews were carried out with the engineers and managers at Meituan, to better understand the applicability and usability of fuzzing tools like EvoMaster in real industrial settings. On the one hand, the results of these analyses clearly show that existing tools like EvoMaster are already of benefits for practitioners in industry, e.g., EvoMaster detected 21 real faults and achieved an average of 71.3% coverage for code defining endpoints and 51.7% coverage for code implementing business logic, on two industrial APIs. On the other hand, there are still many critical challenges that the research community has to investigate.


title: An integer grid bridge sampler for the Bayesian inference of incomplete birth-death records

abstract: A one-to-one correspondence is established between the bridge path space of birth-death processes and the exclusive union of the product spaces of simplexes and integer grids. Formulae are derived for the exact counting of the integer grid bridges with fixed number of upward jumps. Then a uniform sampler over such restricted bridge path space is constructed. This leads to a Monte Carlo scheme, the integer grid bridge sampler, IGBS, to evaluate the transition probabilities of birth-death processes. Even the near zero probability of rare event could now be evaluated with controlled relative error. The IGBS based Bayesian inference for the incomplete birth-death observations is readily performed in demonstrating examples and in the analysis of a severely incomplete data set recording a real epidemic event. Comparison is performed with the basic bootstrap filter, an elementary sequential importance resampling algorithm. The haunting filtering failure has found no position in the new scheme.


title: The X-ray emission of Be+stripped star binaries

abstract: Using observations from Chandra, Swift and XMM-Newton, we investigate the high-energy properties of all known (18) Be+sdO systems as well as 7 additional Be binaries suspected to harbour stripped stars. The observed X-ray properties are found to be similar to those observed for other Be samples. The vast majority of these systems (15 out of 25) display very faint (and soft) X-ray emission, and six others are certainly not bright X-ray sources. Only two systems display gamma-Cas characteristics (i.e. bright and hard X-rays), and one of them is a new detection: HD37202 (zeta Tau). It presents an extremely hard spectrum, due to a combination of high temperature and high absorption (possibly due to its high inclination). In parallel, it may be noted that the previously reported cyclic behaviour of this Be star has disappeared in recent years. Instead, shorter cycles and symmetric line profiles are observed for the Halpha line. It had been recently suggested that the peculiar X-ray emissions observed in gamma-Cas stars could arise from a collision between the disk of a Be star and the wind of its hot, stripped-star companion. The small fraction of gamma-Cas analogs in this sample, as well as the properties of the known companions of the gamma-Cas cases (low mass or not extremely hot, contrary to predictions), combined to the actual stripped-star and colliding-wind empirical knowledge, make the disk-wind collision an unlikely scenario to explain the gamma-Cas phenomenon.


title: Making superhydrophobic splashes by surface cooling

abstract: We study experimentally the enhancement of splashing due to solidification. Investigating the impact of water drops on dry smooth surfaces, we show that the transition velocity to splash can be drastically reduced by cooling the surface below the liquid melting temperature. We find that at very low temperatures (below $-60 ^\circ \rm C$), the splashing behaviour becomes independent of surface undercooling and presents the same characteristics as on ambient temperature superhydrophobic surfaces. This resemblance arises from an increase of the dynamic advancing contact angle of the lamella with surface undercooling, going from the isothermal hydrophilic to the superhydrophobic behaviour. We propose that crystal formation can affect the dynamic contact angle of the lamella, which would explain this surprising transition. Finally, we show that the transition from hydrophilic to superydrophobic behaviour can also be characterized quantitatively on the dynamics of the ejecta.


title: Perpetual Observational Studies: New strategies to support efficient implementation of observational studies and randomized trials in the infectious diseases arena

abstract: The increasing threat of emerging infectious diseases and antimicrobial resistance requires more efficient, high-quality research. Perpetual Observational Studies (POS) nested within a clinical research network can improve planning, quality and efficiency of interventional and observational studies, although real-life benefits and challenges need to be assessed. Ecraid (European Clinical Research Alliance on Infectious Diseases) has initiated POS and will monitor the impact for five specific infectious syndromes.


title: CaST: A Toolchain for Creating and Characterizing Realistic Wireless Network Emulation Scenarios

abstract: Large-scale wireless testbeds are being increasingly used in developing and evaluating new solutions for next generation wireless networks. Among others, high-fidelity FPGA-based emulation platforms have unique capabilities for faithfully modeling real-world wireless environments in real-time and at scale, while guaranteeing repeatability. However, the reliability of the solutions tested on emulation platforms heavily depends on the precision of the emulation process, which is often overlooked. To address this unmet need in wireless network emulator-based experiments, in this paper we present CaST, a Channel emulation generator and Sounder Toolchain for creating and characterizing realistic wireless network scenarios with high accuracy. CaST consists of (i) a framework for creating mobile wireless scenarios from ray-tracing models for FPGA-based emulation platforms, and (ii) a containerized Software Defined Radio-based channel sounder to precisely characterize the emulated channels. We demonstrate the use of CaST by designing, deploying and validating multi-path mobile scenarios on Colosseum, the world's largest wireless network emulator. Results show that CaST achieves <= 20 ns accuracy in sounding Channel Impulse Response tap delays, and 0.5 dB accuracy in measuring tap gains.


title: Solar and stellar flares: frequency, active regions and stellar dynamo

abstract: We demonstrate that for weak flares the dependence on spottedness can be rather weak. The fact is that such flares can occur both in small and large active regions. At the same time, powerful large flares of classes M and X occur much more often in large active regions. In energy estimates, the mean magnetic field in starspots can also be assumed equal to the mean field in the sunspot umbra. So the effective mean magnetic field is 900 Mx/cm$^2$ in sunspots and 2000 Mx/cm$^2$ in starspots. Moreover, the height of the energy storage cannot be strictly proportional to A$^{1/2}$. For stars, the fitting factor is an order of magnitude smaller. The analysis of the occurrence rate of powerful solar X-ray flares of class M and X and superflares on stars shows that, with allowance for the difference in the spottedness and compactness of active regions, both sets can be described by a single model. Thus, the problem of superflares on stars and their absence on the Sun is reduced to the problem of difference in the effectiveness of the dynamo mechanisms.


title: Is spontaneous vortex generation in superconducting 4Hb-TaS$_2$ from vison-vortex nucleation with $\mathbb{Z}_2$ topological order?

abstract: We propose the superconducting van der Waals material 4Hb-TaS$_2$ to realize the $\mathbb{Z}_2$ topological order and interpret the recent discovery of the spontaneous vortex generation in 4Hb-TaS$_2$ as the vison-vortex nucleation. For the alternating stacking of metallic/superconducting and Mott insulating layers in 4Hb-TaS$_2$, we expect the local moments in the Mott insulating 1T-TaS$_2$ layer to form the $\mathbb{Z}_2$ topological order. The spontaneous vortex generation in 4Hb-TaS$_2$ is interpreted from the transition or nucleation between the superconducting vortex and the $\mathbb{Z}_2$ vison in different phase regimes. Differing from the single vison-vortex nucleation in the original Senthil-Fisher's cuprate proposal, we consider such nucleation process between the superconducting vortex lattice and the vison crystal. We further propose experiments to distinguish this proposal with the $\mathbb{Z}_2$ topological order from the chiral spin liquid scenarios.


title: Enumeration of connected bipartite graphs with given Betti number

abstract: We obtain first order linear partial differential equations which are satisfied by exponential generating functions of two variables for the number of connected bipartite graphs with given Betti number. By solving these equations inductively, we obtain the explicit form of generating functions and derive the asymptotic behavior of their coefficients. We also introduce a family of basic graphs to classify connected bipartite graphs and give another expression of the generating functions as the sum over basic graphs of rational functions of those for the number of labeled bipartite rooted spanning trees.


title: Relation between crystal structure and optical properties in the correlated blue pigment YIn$_{1-x}$Mn$_x$O$_3$

abstract: A material's properties and functionalities are determined by its chemical constituents and the atomic arrangement in which they crystallize. For the recently discovered pigment YIn$_{1-x}$Mn$_x$O$_3$, for instance, it had been surmised that its bright blue color owes to an unusual, trigonal bipyramidal, oxygen coordination of the manganese impurities. Here, we demonstrate that, indeed, a direct correspondence between details of the local Mn environment and the pigment's blue color holds: Combining realistic many-body calculations (dynamical mean-field theory to treat the quasi-atomic Mn-multiplets at low doping x=0.08) with an effective medium description (Kubelka-Munk model to describe scattering in a milled pigment sample), we find that only a Mn-coordination polyhedra consisting of two distorted oxygen pyramids results in a diffuse reflectance commensurate with the experimental blue color. We motivate that the distortion of the bipyramid helps circumventing atomic selection rules, allowing for dipolar $d$-$d$ transitions and creating the desired two-peak absorption profile.


title: I Learn to Diffuse, or Data Alchemy 101: a Mnemonic Manifesto

abstract: In this manifesto, we put forward the idea of data alchemy as a narrative device to discuss storytelling and transdisciplinarity in visualization. If data is the prima materia of modern science, how does one perform the Great Work? We use text-to-image diffusion-based generative art to develop the concept, and structure our argument in ten propositions, as if they were ten issues of a comic novel on data alchemy: Ad Disco Diffusionem. To follow the argument, the reader must immerse themselves in our miro board, and navigate a multimedia semiotic topology that includes comics, videos, code demos, and ergotic literature in a true alchemic sense. By accessing this paradigm one might find new sources of inspiration for scientific inquiry in familiar places, or get lost in the creative exploration of the unknown. Our colorful, sometimes poetic, exposition should not distract the reader from the seriousness of the ideas discussed, but ultimately it is about the journey.


title: Evaluating chemically homogeneous evolution in stellar binaries: Electromagnetic implications -- Ionizing photons, SLSN-I, GRB, Ic-BL

abstract: We investigate the occurrence of rapid-rotation induced chemically homogeneous evolution (CHE) due to strong tides and mass accretion in binaries. To this end, we generalize the relation in Packet (1981) to calculate the minimum angular momentum (AM) accretion required by a secondary star to experience accretion-induced CHE. Contrary to traditionally assumed 5-10 percent accretion of initial mass ($Z \lesssim 0.004$, $M \gtrsim$ 20 M$_{\odot}$) for spinning up the accretor (resulting in CHE) this value can drop to $\sim$ 2 percent for efficient AM accretion while for certain systems it could be substantially larger. We conduct a population study using \textsc{bpass} by evolving stars under the influence of strong tides in short-period binaries and also account for the updated effect of accretion-induced spin-up. We find accretion CHE (compared to tidal CHE) to be the dominant means of producing homogeneous stars even at 10 percent AM accretion efficiency during mass transfer. Unlike tidal CHE, it is seen that CH stars arising due to accretion can retain a larger fraction of their AM till core collapse. Thus we show that accretion CHE could be an important formation channel for energetic electromagnetic transients like GRBs, Ic-BL (SLSN-I, Ic-BL) under the collapsar (magnetar) formalism and a single CH star could lead to both the transients under their respective formation scenario. Lastly, we show that under the current treatment of CHE, the emission rate of ionizing photons by such stars decreases more rapidly at higher metallicities than previously predicted.


title: How gravitational fluctuations degrade the high-dimensional spatial entanglement

abstract: Twisted photons carrying orbital angular momentum (OAM) are competent candidates for future interstellar communications. However, the gravitational fluctuations are ubiquitous in spacetime. Thus a fundamental question arises naturally as to how the gravitational fluctuations affect the coherence and the degree of high-dimensional OAM entanglement when twisted photons travel across the textures of curved spacetime. Here, we consider the covariant scalar Helmholtz equations and the Minkowski metric with fluctuations of Gaussian distribution and formulate analytically the equations describing the motion for twisted light in the Laguerre-Gaussian mode space. It is seen that the OAM cannot remain conserved in the presence of gravitational fluctuations. Furthermore, two-photon density matrices are derived for interstellar OAM quantum entanglement distribution, and the degree of entanglement degradation is characterized by purity and negativity. It is revealed that the higher-dimensional OAM entanglement is more susceptible to spacetime fluctuations. We believe that our findings will be of fundamental importance for the future interstellar quantum communications with twisted photons.


title: Measurement of the Branching Fraction of the Singly Cabibbo-Suppressed Decay $\Lambda_{c}^{+}\to\Lambda K^{+}$

abstract: We report a branching fraction measurement of the singly Cabibbo-suppressed decay $\Lambda_{c}^{+}\to\Lambda K^{+}$ using a data sample collected with the BESIII detector at the BEPCII storage ring. The data span center-of-mass energies from 4.599 to 4.950 GeV and correspond to an integrated luminosity of 6.44 fb$^{-1}$. The branching fraction of $\Lambda_{c}^{+}\to\Lambda K^{+}$ relative to that of the Cabibbo-favored decay $\Lambda_{c}^{+}\to\Lambda \pi^{+}$ is measured to be $\mathcal{R}=\frac{\mathcal{B}(\Lambda_{c}^{+}\to\Lambda K^{+})}{\mathcal{B}(\Lambda_{c}^{+}\to\Lambda \pi^{+})}=(4.78\pm0.34\pm0.20)\%$. Combining with the world-average value of $\mathcal{B}(\Lambda_{c}^{+}\to\Lambda \pi^{+})$, we obtain $\mathcal{B}(\Lambda_c^+\to\Lambda K^+)=(6.21\pm0.44\pm0.26\pm0.34)\times 10^{-4}$. Here the first uncertainties are statistical, the second systematic, and the third comes from the uncertainty of the $\Lambda_{c}^{+}\to\Lambda \pi^{+}$ branching fraction. This result, which is more precise than previous measurements, does not agree with theoretical predictions, and suggests that non-factorizable contributions have been under-estimated in current models.


title: Monodromy of subrepresentations and irreducibility of low degree automorphic Galois representations

abstract: Let $X$ be a smooth, separated, geometrically connected scheme defined over a number field $K$ and $\{\rho_\lambda\}_\lambda$ a system of n-dimensional semisimple $\lambda$-adic representations of the \'etale fundamental group of $X$ such that for each closed point $x$ of $X$, the specialization $\{\rho_{\lambda,x}\}_\lambda$ is a compatible system of Galois representations under mild local conditions. For almost all $\lambda$, we prove that any type A irreducible subrepresentation of $\rho_\lambda\otimes \bar{\mathbb{Q}}_\ell$ is residually irreducible. When $K$ is totally real or CM, $n\leq 6$, and $\{\rho_\lambda\}_\lambda$ is the compatible system of Galois representations of $K$ attached to a regular algebraic, polarized, cuspidal automorphic representation of $\mathrm{GL}_n(\mathbb{A}_K)$, for almost all $\lambda$ we prove that $\rho_\lambda\otimes\bar{\mathbb{Q}}_\ell$ is (i) irreducible and (ii) residually irreducible if in addition $K=\mathbb{Q}$.


title: On the Benefits And Problems Related to Using Definition of Done -- A Survey Study

abstract: Context: Definition of Done (DoD) is one of the fundamental concepts of Scrum. It expresses a shared view of a Scrum Team on what makes an increment of their product complete. DoDs are often defined as checklists with items being requirements towards software (e.g., quality requirements) or towards activities performed to make the increment shippable (e.g., code reviews, testing). Unfortunately, the knowledge about the usefulness of DoD is still very limited. Objective: The goal is to study what benefits using the DoD practice can bring to an agile project, what problems it may trigger, and how it is created and maintained. Method: In the survey among members of agile software development projects, 137 practitioners from all over the globe shared their experience with us. Results: 93% of the respondents perceive DoD as at least valuable for their ventures. It helps them to make work items complete, assure product quality, and ensure the needed activities are executed. However, they indicated that every second project struggles with infeasible, incorrect, unavailable, or creeping DoD. Conclusions: It follows from the study that DoD is important but not easy to use and more empirical studies are needed to identify best practices in this area.


title: Monodromy of four dimensional irreducible compatible systems of Q

abstract: Let $F$ be a totally real field and $n\leq 4$ a natural number. We study the monodromy groups of any $n$-dimensional strictly compatible system $\{\rho_\lambda\}_\lambda$ of $\lambda$-adic representations of $F$ with distinct Hodge-Tate numbers such that $\rho_{\lambda_0}$ is irreducible for some $\lambda_0$. When $F=\mathbb{Q}$, $n=4$, and $\rho_{\lambda_0}$ is fully symplectic, the following assertions are obtained. (i) The representation $\rho_\lambda$ is fully symplectic for almost all $\lambda$. (ii) If in addition the similitude character $\mu_{\lambda_0}$ of $\rho_{\lambda_0}$ is odd, then the system $\{\rho_\lambda\}_\lambda$ is potentially automorphic and the residual image $\bar\rho_\lambda(\text{Gal}_\mathbb{Q})$ has a subgroup conjugate to $\text{Sp}_4(\mathbb{F}_\ell)$ for almost all $\lambda$.


title: Multicontinuum homogenization and its relation to nonlocal multicontinuum theories

abstract: In this paper, we present a general derivation of multicontinuum equations and discuss cell problems. We present constraint cell problem formulations in a representative volume element and oversampling techniques that allow reducing boundary effects. We discuss different choices of constraints for cell problems. We present numerical results that show how oversampling reduces boundary effects. Finally, we discuss the relation of the proposed methods to our previously developed methods, Nonlocal Multicontinuum Approaches.


title: Quantitative tame properties of differentiable functions with controlled derivatives

abstract: We show that differentiable functions, defined on a convex body $K \subseteq \mathbb R^d$, whose derivatives do not exceed a suitable given sequence of positive real numbers share many properties with polynomials. The role of the degree of a polynomial is hereby played by an integer associated with the given sequence of reals, the diameter of $K$, and a real parameter linked to the $C^0$-norm of the function. We give quantitative information on the size of the zero set, show that it admits a local parameterization by Sobolev functions, and prove an inequality of Remez-type. From the latter, we deduce several consequences, for instance, a bound on the volume of sublevel sets and a comparison of $L^p$-norms reversing H\"older's inequality. The validity of many of the results only depends on the derivatives up to some finite order; the order can be specified in terms of the given data.


title: Ensembled Autoencoder Regularization for Multi-Structure Segmentation for Kidney Cancer Treatment

abstract: The kidney cancer is one of the most common cancer types. The treatment frequently include surgical intervention. However, surgery is in this case particularly challenging due to regional anatomical relations. Organ delineation can significantly improve surgical planning and execution. In this contribution, we propose ensemble of two fully convolutional networks for segmentation of kidney, tumor, veins and arteries. While SegResNet architecture achieved better performance on tumor, the nnU-Net provided more precise segmentation for kidneys, arteries and veins. So in our proposed approach we combine these two networks, and further boost the performance by mixup augmentation.


title: Advances of Artificial Intelligence in Classical and Novel Spectroscopy-Based Approaches for Cancer Diagnostics. A Review

abstract: Cancer is one of the leading causes of death worldwide. Fast and safe early-stage, pre- and intra-operative diagnostics can significantly contribute to successful cancer identification and treatment. Artificial intelligence has played an increasing role in the enhancement of cancer diagnostics techniques in the last 15 years. This review covers the advances of artificial intelligence applications in well-established techniques such as MRI and CT. Also, it shows its high potential in combination with optical spectroscopy-based approaches that are under development for mobile, ultra-fast, and low-invasive diagnostics. I will show how spectroscopy-based approaches can reduce the time of tissue preparation for pathological analysis by making thin-slicing or haematoxylin-and-eosin staining obsolete. I will present examples of spectroscopic tools for fast and low-invasive ex- and in-vivo tissue classification for the determination of a tumour and its boundaries. Also, I will discuss that, contrary to MRI and CT, spectroscopic measurements do not require the administration of chemical agents to enhance the quality of cancer imaging which contributes to the development of more secure diagnostic methods. Overall, we will see that the combination of spectroscopy and artificial intelligence constitutes a highly promising and fast-developing field of medical technology that will soon augment available cancer diagnostic methods.


title: Organization of spatially localized structures near a codimension-three cusp-Turing bifurcation

abstract: A wide variety of stationary or moving spatially localized structures is present in evolution problems on unbounded domains, governed by higher-than-second-order reversible spatial interactions. This work provides a generic unfolding in one spatial dimension of a certain codimension-three singularity that explains the organization of bifurcation diagrams of such localized states in a variety of contexts, ranging from nonlinear optics to fluid mechanics, mathematical biology and beyond. The singularity occurs when a cusp bifurcation associated with the onset of bistability between homogeneous steady states encounters a pattern-forming, or Turing, bifurcation. The latter corresponds to a Hamiltonian-Hopf point of the corresponding spatial dynamics problem. Such codimension-three points are sometimes called Lifshitz points in the physics literature. In the simplest case where the spatial system conserves a first integral, the system is described by a canonical fourth order scalar system. The problem contains three small parameters, two that unfold the cusp bifurcation and one that unfolds the Turing bifurcation. Several cases are revealed, depending on open conditions on the signs of the lowest-order nonlinear terms. Taking the case in which the Turing bifurcation is subcritical, various parameter regimes are considered and the bifurcation diagrams of localized structures are elucidated. A rich bifurcation structure is revealed, which involves transitions between regions of localized periodic patterns generated by homoclinic snaking, and mesa-like patterns with uniform cores. The theory is shown to unify previous numerical results obtained in models arising in nonlinear optics, fluid mechanics, and excitable media more generally.


title: Application of Guessing to Sequential Decoding of Polarization-Adjusted Convolutional (PAC) Codes

abstract: Despite the extreme error-correction performance, the amount of computation of sequential decoding of the polarization-adjusted convolutional (PAC) codes is random. In sequential decoding of convolutional codes, the computational cutoff rate denotes the region between rates whose average computational complexity of decoding is finite and those which is infinite. In this paper, by benefiting from the polarization and guessing techniques, we prove that the computational cutoff rate in sequential decoding of pre-transformed polar codes polarizes. The polarization of the computational cutoff rate affects the criteria for the rate-profile construction of the pre-transformed polar codes. We propose a technique for taming the Reed-Muller (RM) rate-profile construction, and the performance results demonstrate that the error-correction performance of the PAC codes can achieve the theoretical bounds using the tamed-RM rate-profile construction and requires a significantly lower computational complexity than the RM rate-profile construction.


title: Information Extraction from Scanned Invoice Images using Text Analysis and Layout Features

abstract: While storing invoice content as metadata to avoid paper document processing may be the future trend, almost all of daily issued invoices are still printed on paper or generated in digital formats such as PDFs. In this paper, we introduce the OCRMiner system for information extraction from scanned document images which is based on text analysis techniques in combination with layout features to extract indexing metadata of (semi-)structured documents. The system is designed to process the document in a similar way a human reader uses, i.e. to employ different layout and text attributes in a coordinated decision. The system consists of a set of interconnected modules that start with (possibly erroneous) character-based output from a standard OCR system and allow to apply different techniques and to expand the extracted knowledge at each step. Using an open source OCR, the system is able to recover the invoice data in 90% for English and in 88% for the Czech set.


title: Rank and Factor Loadings Estimation in Time Series Tensor Factor Model by Pre-averaging

abstract: Tensor time series data appears naturally in a lot of fields, including finance and economics. As a major dimension reduction tool, similar to its factor model counterpart, the idiosyncratic components of a tensor time series factor model can exhibit serial correlations, especially in financial and economic applications. This rules out a lot of state-of-the-art methods that assume white idiosyncratic components, or even independent/Gaussian data. While the traditional higher order orthogonal iteration (HOOI) is proved to be convergent to a set of factor loading matrices, the closeness of them to the true underlying factor loading matrices are in general not established, or only under some strict circumstances like having i.i.d. Gaussian noises (Zhang and Xia, 2018). Under the presence of serial and cross-correlations in the idiosyncratic components and time series variables with only bounded fourth order moments, we propose a pre-averaging method that accumulates information from tensor fibres for better estimating all the factor loading spaces. The estimated directions corresponding to the strongest factors are then used for projecting the data for a potentially improved re-estimation of the factor loading spaces themselves, with theoretical guarantees and rate of convergence spelt out. We also propose a new rank estimation method which utilizes correlation information from the projected data, in the same spirit as Fan, Guo and Zheng (2022) for factor models with independent data. Extensive simulation results reveal competitive performance of our rank and factor loading estimators relative to other state-of-the-art or traditional alternatives. A set of matrix-valued portfolio return data is also analyzed.


title: Pure state tomography with parallel unentangled measurements

abstract: Quantum state tomography (QST) aims at estimating a quantum state from averaged quantum measurements made on copies of the state. Most quantum algorithms rely on QST at some point and it is a well explored topic in the literature, mostly for mixed states. In this paper we focus on the QST of a pure quantum state using parallel unentangled measurements. Pure states are a small but useful subset of all quantum states, their tomography requires fewer measurements and is essentially a phase recovery problem. Parallel unentangled measurements are easy to implement in practice because they allow the user to measure each qubit individually. We propose two sets of quantum measurements that one can make on a pure state as well as the algorithms that use the measurements outcomes in order to identify the state. We also discuss how those estimates can be fined tuned by finding the state that maximizes the likelihood of the measurements with different variants of the likelihood. The performances of the proposed three types of QST methods are validated by means of detailed numerical tests.


title: Thermodynamics and criticality of su($m$) spin chains of Haldane-Shastry type

abstract: We study the thermodynamics and critical behavior of su($m$) spin chains of Haldane-Shastry type at zero chemical potential, both in the $A_{N-1}$ and $BC_N$ cases. We evaluate in closed form the free energy per spin for arbitrary values of $m$, from which we derive explicit formulas for the energy, entropy and specific heat per spin. In particular, we find that the specific heat features a single Schottky peak, whose temperature is well approximated for $m\lesssim10$ by the corresponding temperature for an $m$-level system with uniformly spaced levels. We show that at low temperatures the free energy per spin of the models under study behaves as that of a one-dimensional conformal field theory with central charge $c=m-1$ (with the only exception of the Frahm-Inozemtsev chain with zero value of its parameter). However, from a detailed study of the ground state degeneracy and the low-energy excitations, we conclude that these models are only critical in the antiferromagnetic case, with a few exceptions that we fully specify.

categories: cond-mat.stat-mech math-ph math.MP quant-ph


title: Half-line compressions and finite sections of discrete Schr\"odinger operators with integer-valued potentials

abstract: We study 1D discrete Schr\"odinger operators $H$ with integer-valued potential and show that, $(i)$, invertibility (in fact, even just Fredholmness) of $H$ always implies invertibility of its half-line compression $H_+$ (zero Dirichlet boundary condition, i.e. matrix truncation). In particular, the Dirichlet eigenvalues avoid zero -- and all other integers. We use this result to conclude that, $(ii)$, the finite section method (approximate inversion via finite and growing matrix truncations) is applicable to $H$ as soon as $H$ is invertible. The same holds for $H_+$.


title: Solving the Online Assignment Problem with Machine Learned Advice

abstract: The online assignment problem plays an important role in operational research and computer science which is why immense attention has been given to improving its solution quality. Due to the incomplete information about the input, it is difficult for online algorithms to produce the optimal solution. The quality of the solution of an online algorithm is measured using a competitive ratio. No online deterministic algorithm can achieve a competitive ratio better than (2n-1). It has been shown that advice in online computation improves the lower bound of the competitive ratio of online problems. Advice in online computation can be interpreted as additional information for the online algorithm to compensate for the lack of information about the whole input sequence. In this study, we investigate how introducing machine-learned advice could improve the competitive ratio for this problem. We provide an online algorithm for the online assignment problem by simulating a machine learning algorithm that predicts the whole input in advance. We utilize an optimal offline algorithm to provide a matching solution from the predicted input. Furthermore, we investigate how the prediction error of machine learning affects the competitive ratio of the online algorithm. We utilize a benchmark data set to perform our empirical analysis. We show that as the Machine Learning prediction error increases, the solution quality decreases. Moreover, the magnitude of error is directly proportional to the size of the input. This result is analogous to the competitive ratio of the best deterministic algorithm for the online assignment problem which is dependent also on the parameter n.


title: Stain-Adaptive Self-Supervised Learning for Histopathology Image Analysis

abstract: It is commonly recognized that color variations caused by differences in stains is a critical issue for histopathology image analysis. Existing methods adopt color matching, stain separation, stain transfer or the combination of them to alleviate the stain variation problem. In this paper, we propose a novel Stain-Adaptive Self-Supervised Learning(SASSL) method for histopathology image analysis. Our SASSL integrates a domain-adversarial training module into the SSL framework to learn distinctive features that are robust to both various transformations and stain variations. The proposed SASSL is regarded as a general method for domain-invariant feature extraction which can be flexibly combined with arbitrary downstream histopathology image analysis modules (e.g. nuclei/tissue segmentation) by fine-tuning the features for specific downstream tasks. We conducted experiments on publicly available pathological image analysis datasets including the PANDA, BreastPathQ, and CAMELYON16 datasets, achieving the state-of-the-art performance. Experimental results demonstrate that the proposed method can robustly improve the feature extraction ability of the model, and achieve stable performance improvement in downstream tasks.


title: Hybrid-ARQ Based Relaying Strategies for Enhancing Reliability in Delay-Bounded Networks

abstract: Inspired by several delay-bounded mission-critical applications, this paper investigates chase-combining-based hybrid automatic repeat request (CC-HARQ) protocols to achieve high reliability in delay-constrained applications. A salient feature of our approach is to use the end-to-end delay constraint for computing the total number of ARQs permitted in the network, and then optimally distributing them across the nodes so as to minimize packet-drop-probability (PDP), which is the end-to-end reliability metric of interest. Since the chase-combining strategy combines the received packets across multiple attempts, we observe that the PDP of the network depends on the coherence-time of the intermediate wireless channels. As a result, we address the question of computing optimal allocation of ARQs for CC-HARQ strategies under both slow-fading and fast-fading scenarios. For both the channel conditions, we derive closed-form expressions for the PDP, and then formulate several optimization problems for minimizing the PDP for a given delay-bound. Using extensive theoretical results on the local minima of the optimization problems, we synthesize low-complexity algorithms to obtain near-optimal ARQ distributions. Besides using extensive simulation results to validate our findings, a detailed end-to-end delay analysis is also presented to show that the proposed CC-HARQ strategies outperform already known Type-1 ARQ based strategies in several scenarios.


title: Accelerating many-body entanglement generation by dipolar interactions in the Bose-Hubbard model

abstract: The spin squeezing protocols allow the dynamical generation of massively correlated quantum many-body states, which can be utilized in entanglement-enhanced metrology and technologies. We study a quantum simulator generating twisting dynamics realized in a two-component Bose-Hubbard model with dipolar interactions. We show that the interplay of contact and long-range dipolar interactions between atoms in the superfluid phase activates the anisotropic two-axis counter-twisting mechanism, accelerating the spin squeezing dynamics and allowing the Heisenberg-limited accuracy in spectroscopic measurements.


title: Dynamic scaling and stochastic fractal in nucleation and growth processes

abstract: A class of nucleation and growth models of a stable phase (S-phase) is investigated for various different growth velocities. It is shown that for growth velocities $v\sim s(t)/t$ and $v\sim x/\tau(x)$, where $s(t)$ and $\tau$ are the mean domain size of the metastable phase (M-phase) and the mean nucleation time respectively, the M-phase decays following a power law. Furthermore, snapshots at different time $t$ are taken to collect data for the distribution function $c(x,t)$ of the domain size $x$ of M-phase are found to obey dynamic scaling. Using the idea of data-collapse we show that each snapshot is a self-similar fractal. However, for $v={\rm const.}$ like in the classical Kolmogorov-Johnson-Mehl-Avrami (KJMA) model and for $v\sim 1/t$ the decay of the M-phase are exponential and they are not accompanied by dynamic scaling. We find a perfect agreement between numerical simulation and analytical results.


title: Simple Rules for Evanescent Operators in One-Loop Basis Transformations

abstract: The basis transformations of the effective operators often involve Fierz and other relations which are only valid in $D=4$ space-time dimensions. In general, in $D$ space-time dimensions, however, the evanescent operators have to be introduced to preserve such identities. Such operators contribute to one-loop basis transformations as well as to two-loop renormalization group running. In this talk, I discussed a simple procedure for systematically changing of basis at 1-loop level including shifts due to evanescent operators. As an example, we apply this method to derive the 1-loop basis transformation from the BMU basis useful for NLO QCD calculations, to the JMS basis used in the matching to the SMEFT.


title: Sparse Attentive Memory Network for Click-through Rate Prediction with Long Sequences

abstract: Sequential recommendation predicts users' next behaviors with their historical interactions. Recommending with longer sequences improves recommendation accuracy and increases the degree of personalization. As sequences get longer, existing works have not yet addressed the following two main challenges. Firstly, modeling long-range intra-sequence dependency is difficult with increasing sequence lengths. Secondly, it requires efficient memory and computational speeds. In this paper, we propose a Sparse Attentive Memory (SAM) network for long sequential user behavior modeling. SAM supports efficient training and real-time inference for user behavior sequences with lengths on the scale of thousands. In SAM, we model the target item as the query and the long sequence as the knowledge database, where the former continuously elicits relevant information from the latter. SAM simultaneously models target-sequence dependencies and long-range intra-sequence dependencies with O(L) complexity and O(1) number of sequential updates, which can only be achieved by the self-attention mechanism with O(L^2) complexity. Extensive empirical results demonstrate that our proposed solution is effective not only in long user behavior modeling but also on short sequences modeling. Implemented on sequences of length 1000, SAM is successfully deployed on one of the largest international E-commerce platforms. This inference time is within 30ms, with a substantial 7.30% click-through rate improvement for the online A/B test. To the best of our knowledge, it is the first end-to-end long user sequence modeling framework that models intra-sequence and target-sequence dependencies with the aforementioned degree of efficiency and successfully deployed on a large-scale real-time industrial recommender system.


title: Fermi gas and modified gravity

abstract: We derive the equations of state of Fermi gas by maximizing the Fermi-Dirac entropy in modified gravity in relativistic and non-relativistic case. It will be demonstrated that the microphysics must depend on a given theory of gravity in order to consistently describe a physical system at a statistical equilibrium state.


title: Social Simulacra: Creating Populated Prototypes for Social Computing Systems

abstract: Social computing prototypes probe the social behaviors that may arise in an envisioned system design. This prototyping practice is currently limited to recruiting small groups of people. Unfortunately, many challenges do not arise until a system is populated at a larger scale. Can a designer understand how a social system might behave when populated, and make adjustments to the design before the system falls prey to such challenges? We introduce social simulacra, a prototyping technique that generates a breadth of realistic social interactions that may emerge when a social computing system is populated. Social simulacra take as input the designer's description of a community's design -- goal, rules, and member personas -- and produce as output an instance of that design with simulated behavior, including posts, replies, and anti-social behaviors. We demonstrate that social simulacra shift the behaviors that they generate appropriately in response to design changes, and that they enable exploration of "what if?" scenarios where community members or moderators intervene. To power social simulacra, we contribute techniques for prompting a large language model to generate thousands of distinct community members and their social interactions with each other; these techniques are enabled by the observation that large language models' training data already includes a wide variety of positive and negative behavior on social media platforms. In evaluations, we show that participants are often unable to distinguish social simulacra from actual community behavior and that social computing designers successfully refine their social computing designs when using social simulacra.


title: Precision calculation of the recoil--finite-size correction for the hyperfine splitting in muonic and electronic hydrogen

abstract: We present a high-precision calculation of the recoil--finite-size correction to the hyperfine splitting (HFS) in muonic and electronic hydrogen based on nucleon electromagnetic form factors obtained from dispersion theory. This will help guide the upcoming searches of the HFS transition in muonic hydrogen, and will allow a precise determination of the polarizability and Zemach radius contributions when this transition is found.


title: Two-Stream Networks for Object Segmentation in Videos

abstract: Existing matching-based approaches perform video object segmentation (VOS) via retrieving support features from a pixel-level memory, while some pixels may suffer from lack of correspondence in the memory (i.e., unseen), which inevitably limits their segmentation performance. In this paper, we present a Two-Stream Network (TSN). Our TSN includes (i) a pixel stream with a conventional pixel-level memory, to segment the seen pixels based on their pixellevel memory retrieval. (ii) an instance stream for the unseen pixels, where a holistic understanding of the instance is obtained with dynamic segmentation heads conditioned on the features of the target instance. (iii) a pixel division module generating a routing map, with which output embeddings of the two streams are fused together. The compact instance stream effectively improves the segmentation accuracy of the unseen pixels, while fusing two streams with the adaptive routing map leads to an overall performance boost. Through extensive experiments, we demonstrate the effectiveness of our proposed TSN, and we also report state-of-the-art performance of 86.1% on YouTube-VOS 2018 and 87.5% on the DAVIS-2017 validation split.


title: Magnetic, thermal, and magnetocaloric properties of the holmium trialuminide HoAl$_{3}$ with polytypic phases

abstract: We investigate the magnetic, thermal, and magnetocaloric properties of the intermetallic HoAl$_{3}$ compounds with two different crystal structures. The room-temperature equilibrium trigonal phase HoAl$_{3}$ undergoes an antiferromagnetic (AFM) transition at the Neel temperature $T^{\rm tri}_{\rm N} =$ 9.8 K. The AFM ordering of the compound is strong against the magnetic field, so that inverse magnetocaloric effect (MCE) is found even under a magnetic field change of 0-50 kOe. The high-pressure cubic phase HoAl3, prepared by a rapid-solidification process, is antiferromagnetically ordered below $T^{\rm cub}_{\rm N} =$ 15 K. Magnetic and specific heat measurements reveal that this long-range AFM state becomes unstable as the temperature drops and then it is replaced by a magnetic glassy state below a spin freezing temperature $T_{\rm f} =$ 11 K. The successive changes in magnetic state result in complicated temperature and field dependence of the MCE at low temperatures.


title: Deep Computational Model for the Inference of Ventricular Activation Properties

abstract: Patient-specific cardiac computational models are essential for the efficient realization of precision medicine and in-silico clinical trials using digital twins. Cardiac digital twins can provide non-invasive characterizations of cardiac functions for individual patients, and therefore are promising for the patient-specific diagnosis and therapy stratification. However, current workflows for both the anatomical and functional twinning phases, referring to the inference of model anatomy and parameter from clinical data, are not sufficiently efficient, robust, and accurate. In this work, we propose a deep learning based patient-specific computational model, which can fuse both anatomical and electrophysiological information for the inference of ventricular activation properties, i.e., conduction velocities and root nodes. The activation properties can provide a quantitative assessment of cardiac electrophysiological function for the guidance of interventional procedures. We employ the Eikonal model to generate simulated electrocardiogram (ECG) with ground truth properties to train the inference model, where specific patient information has also been considered. For evaluation, we test the model on the simulated data and obtain generally promising results with fast computational time.


title: Mean first exit times of Ornstein-Uhlenbeck processes in high-dimensional spaces

abstract: The $d$-dimensional Ornstein--Uhlenbeck process (OUP) describes the trajectory of a particle in a $d$-dimensional, spherically symmetric, quadratic potential. The OUP is composed of a drift term weighted by a constant $\theta \geq 0$ and a diffusion coefficient weighted by $\sigma > 0$. In the absence of drift (i.e. $\theta = 0$), the OUP simply becomes a standard Brownian motion (BM). This paper is concerned with estimating the mean first-exit time (MFET) of the OUP from a ball of finite radius $L$ for large $d \gg 0$. We prove that, asymptotically for $d \to \infty$, the OUP takes (on average) no longer to exit than BM. In other words, the mean-reverting drift of the OUP (scaled by $\theta \geq 0$) has asymptotically no effect on its MFET. This finding might be surprising because, for small $d \in \mathbb{N}$, the OUP exit time is significantly larger than BM by a margin that depends on $\theta$. As it allows for the drift to be ignored, it might simplify the analysis of high-dimensional exit-time problems in numerous areas. Finally, our short proof for the non-asymptotic MFET of OUP, using the Andronov--Vitt--Pontryagin formula, might be of independent interest.


title: Foreign exchange options on Heston-CIR model under L\'{e}vy process framework

abstract: In this paper, we consider the Heston-CIR model with L\'{e}vy process for pricing in the foreign exchange (FX) market by providing a new formula that better fits the distribution of prices. To do that, first, we study the existence and uniqueness of the solution to this model. Second, we examine the strong convergence of the L\'{e}vy process with stochastic domestic short interest rates, foreign short interest rates and stochastic volatility. Then, we apply Least Squares Monte Carlo (LSM) method for pricing American options under our model with stochastic volatility and stochastic interest rate. Finally, by considering real-world market data, we illustrate numerical results for the four-factor Heston-CIR L\'{e}vy model.


title: Product of three primes in large arithmetic progressions

abstract: For any $\epsilon>0$, there exists $q_0(\epsilon)$ such for any $q\ge q_0(\epsilon)$ and any invertible residue class $a$ modulo $q$, there exists a natural number that is congruent to $a$ modulo $q$ and that is the product of exactly three primes, all of which are below $q^{\frac{3}{2}+\epsilon}$. If we restrict our attention to odd moduli $q$ that do not have prime factors congruent to 1 mod 4, we can find such primes below $q^{\frac{11}{8}+\epsilon}$. If we further restrict our set of moduli to prime $q$ that are such that $(q-1,4\cdot7\cdot11\cdot17\cdot23\cdot29)=2$, we can find such primes below $q^{\frac{6}{5}+\epsilon}$. Finally, for any $\epsilon>0$, there exists $q_0(\epsilon)$ such that when $q\ge q_0(\epsilon)$, there exists a natural number that is congruent to $a$ modulo $q$ and that is the product of exactly four primes, all of which are below $q(\log q)^6$.


title: On the reconstruction of cavities in a nonlinear model arising from cardiac electrophysiology

abstract: In this paper, we deal with the problem of determining perfectly insulating regions (cavities) from one boundary measurement in a nonlinear elliptic equation arising from cardiac electrophysiology. Based on the results obtained in [9] we propose a new reconstruction algorithm based on $\Gamma$-convergence. The relevance and applicability of this approach are then shown through several numerical experiments.


title: Channel Estimation under Hardware Impairments: Bayesian Methods versus Deep Learning

abstract: This paper considers the impact of general hardware impairments in a multiple-antenna base station and user equipments on the uplink performance. First, the effective channels are analytically derived for distortion-aware receivers when using finite-sized signal constellations. Next, a deep feedforward neural network is designed and trained to estimate the effective channels. Its performance is compared with state-of-the-art distortion-aware and unaware Bayesian linear minimum mean-squared error (LMMSE) estimators. The proposed deep learning approach improves the estimation quality by exploiting impairment characteristics, while LMMSE methods treat distortion as noise.


title: Activation of thermal states by coherently controlled thermalization processes

abstract: Thermalization processes degrade the states of any working medium, turning any initial state into a passive state from which no work can be extracted. Recently, it has been shown that this degradation can be avoided if two identical thermalization processes take place in coherently controlled order, in a scenario known as the quantum SWITCH. In some situations, control over the order even enables work extraction when the medium was initially in a passive state. This activation phenomenon, however, is subject to a limitation: to extract non-zero work, the initial temperature of the medium should be less than half of the temperature of the reservoirs. Here we analyze this limitation, showing that it still holds true even when the medium interacts with $N\ge 2$ reservoirs in a coherently-controlled order. Then, we show that the limitation can be lifted when the medium and the control systems are initially correlated. In particular, when the medium and control are entangled, work extraction becomes possible for every initial value of the local temperature of the medium.


title: TGAVC: Improving Autoencoder Voice Conversion with Text-Guided and Adversarial Training

abstract: Non-parallel many-to-many voice conversion remains an interesting but challenging speech processing task. Recently, AutoVC, a conditional autoencoder based method, achieved excellent conversion results by disentangling the speaker identity and the speech content using information-constraining bottlenecks. However, due to the pure autoencoder training method, it is difficult to evaluate the separation effect of content and speaker identity. In this paper, a novel voice conversion framework, named $\boldsymbol T$ext $\boldsymbol G$uided $\boldsymbol A$utoVC(TGAVC), is proposed to more effectively separate content and timbre from speech, where an expected content embedding produced based on the text transcriptions is designed to guide the extraction of voice content. In addition, the adversarial training is applied to eliminate the speaker identity information in the estimated content embedding extracted from speech. Under the guidance of the expected content embedding and the adversarial training, the content encoder is trained to extract speaker-independent content embedding from speech. Experiments on AIShell-3 dataset show that the proposed model outperforms AutoVC in terms of naturalness and similarity of converted speech.


title: Weinberg's 2-factor from helicity constraints

abstract: Scattering amplitudes connect theoretical descriptions to experimental predictions. Low energy terms of the scattering amplitude tend to factorize from the high energy. Different methods have already been established to understand the mechanism of such factorization, Weinberg's theorem. With regard to the Weinberg soft factor, calculations have already shown that this factor has an universal property. In this talk, we show that it is possible to calculate this factor independently from the scattering amplitude based on the Wigner constraints. We also show that such constraints lead us to a system of partial differential equation that simplifies the construction of the Weinberg's soft factor for the case of one particle or two particles.


title: A study of the quasi-probability distributions of the Tavis-Cummings model under different quantum channels

abstract: We study the dynamics of the spin and cavity field of the Tavis-Cummings model using quasi-probability distribution functions and second order coherence function, respectively. The effects of (non)-Markovian noise are considered. The relationship between the evolution of the cavity photon number, spin excitation, and atomic inversion under different quantum channels is observed. The equal-time second-order coherence function is used to study the sub-Poissonian behavior of light, and is compared with the two-time second-order coherence function in order to highlight the (anti)-bunching properties of the cavity radiation.


title: Study of Asymmetric Magnetization Reversal and Exchange Bias in FePt(L10)/FeCo/CoO/FeCo Magnetic Multilayer

abstract: The effect of the saturation field on the magnetization reversal of FePt(L10)/FeCo/CoO/FeCo multilayer (ML) has been investigated to understand the origin of asymmetric magnetization reversal and its correlation with exchange bias (EB). In the ML structure, the bottom FeCo layer is coupled to the hard FePt(L10) layer, and the top FeCo layer is comparatively free due to the relatively more distance from it. The ML has been deposited under UHV conditions and characterized at each stage of growth using magneto-optical Kerr effect and x-ray reflectivity techniques. Magnetization reversal is further studied through domain imaging using the Kerr microscopy technique. The experimental findings reveal that ML exhibits asymmetrical magnetization reversal for a certain range of azimuthal angles for both 1.5kOe and 50kOe saturation fields; however, this angular range of asymmetry decreases with the increase in the saturation field. Furthermore, EB was absent at the low saturation field, whereas, EB, in addition to asymmetry, is observed at the large saturation field. The origin of asymmetry is attributed to non-collinearity between magnetic anisotropy axes of both FeCo layers. It results from the proximity effect through short-range Heisenberg exchange interaction via the CoO barrier layer. On the other hand, EB arises due to unidirectional anisotropy induced in the FePt layer due to the high saturation field. It is further proposed that asymmetry would disappear when unidirectional anisotropy is strong enough to align both the FeCo layers in the saturation direction leading to loss of the non-collinearity between them.


title: Continuity of weak solutions to an elliptic problem on $p$-fractional Laplacian

abstract: In this paper we study an elliptic variational problem regarding the $p$-fractional Laplacian in $\mathbb{R}^N$ on the basis of recent result \cite{Ha1}, which generalizes the nice work \cite{AT,AP,XZR1}, and then give some sufficient conditions under which some weak solutions to the above elliptic variational problem are continuous in $\mathbb{R}^N$. In the final appendix we correct the proofs of both \cite[Lemma 10]{PXZ1} and \cite[Lemma A.6]{PXZ} for $1<p<2$.


title: Eight Years of Face Recognition Research: Reproducibility, Achievements and Open Issues

abstract: Automatic face recognition is a research area with high popularity. Many different face recognition algorithms have been proposed in the last thirty years of intensive research in the field. With the popularity of deep learning and its capability to solve a huge variety of different problems, face recognition researchers have concentrated effort on creating better models under this paradigm. From the year 2015, state-of-the-art face recognition has been rooted in deep learning models. Despite the availability of large-scale and diverse datasets for evaluating the performance of face recognition algorithms, many of the modern datasets just combine different factors that influence face recognition, such as face pose, occlusion, illumination, facial expression and image quality. When algorithms produce errors on these datasets, it is not clear which of the factors has caused this error and, hence, there is no guidance in which direction more research is required. This work is a followup from our previous works developed in 2014 and eventually published in 2016, showing the impact of various facial aspects on face recognition algorithms. By comparing the current state-of-the-art with the best systems from the past, we demonstrate that faces under strong occlusions, some types of illumination, and strong expressions are problems mastered by deep learning algorithms, whereas recognition with low-resolution images, extreme pose variations, and open-set recognition is still an open problem. To show this, we run a sequence of experiments using six different datasets and five different face recognition algorithms in an open-source and reproducible manner. We provide the source code to run all of our experiments, which is easily extensible so that utilizing your own deep network in our evaluation is just a few minutes away.


title: A Map of Diverse Synthetic Stable Roommates Instances

abstract: Focusing on Stable Roommates (SR) instances, we contribute to the toolbox for conducting experiments for stable matching problems. We introduce a polynomial-time computable pseudometric to measure the similarity of SR instances, analyze its properties, and use it to create a map of SR instances. This map visualizes 460 synthetic SR instances (each sampled from one of ten different statistical cultures) as follows: Each instance is a point in the plane, and two points are close on the map if the corresponding SR instances are similar to each other. Subsequently, we conduct several exemplary experiments and depict their results on the map, illustrating the map's usefulness as a non-aggregate visualization tool, the diversity of our generated dataset, and the need to use instances sampled from different statistical cultures. Lastly, to demonstrate that our framework can also be used for other matching problems under preference, we create and analyze a map of Stable Marriage instances.


title: A separation property for iterated function systems of similitudes

abstract: Let $E$ be the attractor of an iterated function system $\{\phi_i(x)=\rho R_ix+a_i\}_{i=1}^N$ on $\Bbb R^d$, where $0<\rho<1$, $a_i\in \Bbb R^d$ and $R_i$ are orthogonal transformations on $\Bbb R^d$. Suppose that $\{\phi_i\}_{i=1}^N$ satisfies the open set condition, but not the strong separation condition. We show that $E$ can not be generated by any iterated function system of similitudes satisfying the strong separation condition. This gives a partial answer to a folklore question about the separation conditions on the generating iterated function systems of self-similar sets.


title: SLiDE: Self-supervised LiDAR De-snowing through Reconstruction Difficulty

abstract: LiDAR is widely used to capture accurate 3D outdoor scene structures. However, LiDAR produces many undesirable noise points in snowy weather, which hamper analyzing meaningful 3D scene structures. Semantic segmentation with snow labels would be a straightforward solution for removing them, but it requires laborious point-wise annotation. To address this problem, we propose a novel self-supervised learning framework for snow points removal in LiDAR point clouds. Our method exploits the structural characteristic of the noise points: low spatial correlation with their neighbors. Our method consists of two deep neural networks: Point Reconstruction Network (PR-Net) reconstructs each point from its neighbors; Reconstruction Difficulty Network (RD-Net) predicts point-wise difficulty of the reconstruction by PR-Net, which we call reconstruction difficulty. With simple post-processing, our method effectively detects snow points without any label. Our method achieves the state-of-the-art performance among label-free approaches and is comparable to the fully-supervised method. Moreover, we demonstrate that our method can be exploited as a pretext task to improve label-efficiency of supervised training of de-snowing.


title: Three-Dimensional Coherent Diffractive Imaging of Isolated Faceted Nanostructures

abstract: The structure and dynamics of isolated nanosamples in free flight can be directly visualized via single-shot coherent diffractive imaging using the intense and short pulses of X-ray free-electron lasers. Wide-angle scattering images even encode three-dimensional morphological information of the samples, but the retrieval of this information remains a challenge. Up to now, effective three-dimensional morphology reconstructions from single shots were only achieved via fitting with highly constrained models, requiring a priori knowledge about possible geometrical shapes. Here we present a much more generic imaging approach. Relying on a model that allows for any sample morphology described by a convex polyhedron, we reconstruct wide-angle diffraction patterns from individual silver nanoparticles. In addition to known structural motives with high symmetries, we retrieve imperfect shapes and agglomerates which were not accessible previously. Our results open new routes towards true 3D structure determination of single nanoparticles and, ultimately, 3D movies of ultrafast nanoscale dynamics.

categories: physics.atm-clus cond-mat.mes-hall cs.NE physics.data-an physics.optics


title: Rapid Flow Behavior Modeling of Thermal Interface Materials Using Deep Neural Networks

abstract: Thermal Interface Materials (TIMs) are widely used in electronic packaging. Increasing power density and limited assembly space pose high demands on thermal management. Large cooling surfaces need to be covered efficiently. When joining the heatsink, previously dispensed TIM spreads over the cooling surface. Recommendations on the dispensing pattern exist only for simple surface geometries such as rectangles. For more complex geometries, Computational Fluid Dynamics (CFD) simulations are used in combination with manual experiments. While CFD simulations offer a high accuracy, they involve simulation experts and are rather expensive to set up. We propose a lightweight heuristic to model the spreading behavior of TIM. We further speed up the calculation by training an Artificial Neural Network (ANN) on data from this model. This offers rapid computation times and further supplies gradient information. This ANN can not only be used to aid manual pattern design of TIM, but also enables an automated pattern optimization. We compare this approach against the state-of-the-art and use real product samples for validation.


title: Baryon asymmetry and lower bound on right handed neutrino mass in fast expanding Universe: an analytical approach

abstract: The expansion rate of the Universe deviates from its standard value when the total energy density includes contribution from a new scalar field apart from the radiation energy density. The non-trivial modifications incurred in the Boltzmann equations render the well known analytical solutions unsuitable in non standard scenario. In the present study we derive analytical expressions for the efficiency factor (which is nothing but solution of set of Boltzmann equations) using certain legible approximations. A fair degree of accuracy of these formulas have been observed by juxtaposing the analytical results with that obtained through numerical solution of Boltzmann equations. Faster expansion of the Universe results in decrement of the effective decay parameter which brings down the amount of washout of asymmetry due to inverse decay. Thus in non-standard cosmology scenario, a larger fraction of the asymmetry (generated at early epoch) is expected to survive till present epoch. Alteration of the cosmology does not affect the underlying particle physics model responsible for the generation of the CP asymmetry. Therefore starting from an identical particle physics model we will end up with a larger final baryon asymmetry in the non-standard scenario. It hints towards the possible relaxation of the lower bound of the lightest right handed neutrino mass required to produce adequate asymmetry which is in agreement with current experimental data.


title: Charge fluctuations, hydrodynamics and transport in the square-lattice Hubbard model

abstract: Recent experimental results suggest that a particular hydrodynamic theory describes charge fluctuations at long wavelengths in the square-lattice Hubbard model. Due to the continuity equation, the correlation functions for the charge and the current are directly connected: the parameters of the effective hydrodynamic model thus determine the optical conductivity. Here we investigate the validity of the proposed hydrodynamic theory in the full range of parameters of the Hubbard model. In the non-interacting case, there is no effective hydrodynamics, and the charge fluctuations present a rich variety of non-universal behaviors. At weak coupling, the optical conductivity is consistent with the hydrodynamic theory: at low frequency one observes a Lorentzian-shaped Drude peak, but the high-frequency asymptotics is necessarily different; the high-temperature limit for the product of the two hydrodynamic model parameters is also in agreement with numerical data. At strong coupling, we find that a generalization of the proposed hydrodynamic law is consistent with our quantum Monte Carlo, as well as the finite-temperature Lanczos results from literature. Most importantly, the temperature dependence of the hydrodynamic parameters as well as the dc resistivity are found to be very similar in the weak and the strong-coupling regimes.


title: Current-driven writing process in antiferromagnetic Mn2Au for memory applications

abstract: Current pulse driven Neel vector rotation in metallic antiferromagnets is one of the most promising concepts in antiferromagnetic spintronics. We show microscopically that the Neel vector of epitaxial thin films of the prototypical compound Mn2Au can be reoriented reversibly in the complete area of cross shaped device structures using single current pulses. The resulting domain pattern with aligned staggered magnetization is long term stable enabling memory applications. We achieve this switching with low heating of 20 K, which is promising regarding fast and efficient devices without the need for thermal activation. Current polarity dependent reversible domain wall motion demonstrates a Neel spin-orbit torque acting on the domain walls.


title: Association schemes with given stratum dimensions: on a paper of Peter M. Neumann

abstract: In January 1969, Peter M. Neumann wrote a paper entitled "Primitive permutation groups of degree 3p". The main theorem placed restrictions on the parameters of a primitive but not 2-transitive permutation group of degree three times a prime. The paper was never published, and the results have been superseded by stronger theorems depending on the classification of the finite simple groups, for example a classification of primitive groups of odd degree. However, there are further reasons for being interested in this paper. First, it was written at a time when combinatorial techniques were being introduced into the theory of finite permutation groups, and the paper gives a very good summary and application of these techniques. Second, like its predecessor by Helmut Wielandt on primitive groups of degree 2p, it can be re-interpreted as a combinatorial result concerning association schemes whose common eigenspaces have dimensions of a rather limited form. This result uses neither the primality of p nor the existence of a permutation group related to the combinatorial structure. We extract these results and give details of the related combinatorics.


title: Bluetooth Low Energy mesh network for power-limited, robust and reliable IoT services

abstract: Bluetooth Low Energy (BLE) is an emerging wireless technology created for short-range control and monitoring applications that is becoming increasingly widespread among the Internet of Things (IoT) services because of its low-cost and low-energy consumption. In this paper, we propose a novel neighbor discovery scheme and failure recovery techniques for multi-path and single-path low-power and reliable BLE networks. By exploiting energy-efficient access control and fast and robust routing ideas with adaptive failure recovery, the proposed methods outperform the well-known flooding approach used by the BLE Mesh standard. We show varying improvements in packet latency and power consumption in event-driven simulations as network topology and traffic changes. The failure recovery approaches proposed are optimized and demonstrated during the simulations, showing the varying of the overall failure recovery latency and node power consumption in different use cases.


title: Scalar field as a perfect fluid: thermodynamics of minimally coupled scalars and Einstein frame scalar-tensor gravity

abstract: We revisit the analogy between a minimally coupled scalar field in general relativity and a perfect fluid, correcting previous identifications of effective temperature and chemical potential. This provides a useful complementary picture for the first-order thermodynamics of scalar-tensor gravity, paving the way for the Einstein frame formulation (which eluded previous attempts) and raises interesting questions to further develop the analogy.


title: Dataset of Industrial Metal Objects

abstract: We present a diverse dataset of industrial metal objects. These objects are symmetric, textureless and highly reflective, leading to challenging conditions not captured in existing datasets. Our dataset contains both real-world and synthetic multi-view RGB images with 6D object pose labels. Real-world data is obtained by recording multi-view images of scenes with varying object shapes, materials, carriers, compositions and lighting conditions. This results in over 30,000 images, accurately labelled using a new public tool. Synthetic data is obtained by carefully simulating real-world conditions and varying them in a controlled and realistic way. This leads to over 500,000 synthetic images. The close correspondence between synthetic and real-world data, and controlled variations, will facilitate sim-to-real research. Our dataset's size and challenging nature will facilitate research on various computer vision tasks involving reflective materials. The dataset and accompanying resources are made available on the project website at https://pderoovere.github.io/dimo.


title: Distributed Momentum-based Frank-Wolfe Algorithm for Stochastic Optimization

abstract: This paper considers distributed stochastic optimization, in which a number of agents cooperate to optimize a global objective function through local computations and information exchanges with neighbors over a network. Stochastic optimization problems are usually tackled by variants of projected stochastic gradient descent. However, projecting a point onto a feasible set is often expensive. The Frank-Wolfe (FW) method has well-documented merits in handling convex constraints, but existing stochastic FW algorithms are basically developed for centralized settings. In this context, the present work puts forth a distributed stochastic Frank-Wolfe solver, by judiciously combining Nesterov's momentum and gradient tracking techniques for stochastic convex and nonconvex optimization over networks. It is shown that the convergence rate of the proposed algorithm is $\mathcal{O}(k^{-\frac{1}{2}})$ for convex optimization, and $\mathcal{O}(1/\mathrm{log}_2(k))$ for nonconvex optimization. The efficacy of the algorithm is demonstrated by numerical simulations against a number of competing alternatives.


title: Skorokhod $M_{1}$ convergence of maxima of multivariate linear processes with heavy-tailed innovations and random coefficients

abstract: We derive functional convergence of the partial maxima stochastic processes of multivariate linear processes with weakly dependent heavy-tailed innovations and random coefficients. The convergence takes place in the space of $\mathbb{R}^{d}$--valued c\`{a}dl\`{a}g functions on $[0,1]$ endowed with the weak Skorokhod $M_{1}$ topology. We also show that this topology in general can not be replaced by the standard (or strong) $M_{1}$ topology.


title: Neural Set Function Extensions: Learning with Discrete Functions in High Dimensions

abstract: Integrating functions on discrete domains into neural networks is key to developing their capability to reason about discrete objects. But, discrete domains are (1) not naturally amenable to gradient-based optimization, and (2) incompatible with deep learning architectures that rely on representations in high-dimensional vector spaces. In this work, we address both difficulties for set functions, which capture many important discrete problems. First, we develop a framework for extending set functions onto low-dimensional continuous domains, where many extensions are naturally defined. Our framework subsumes many well-known extensions as special cases. Second, to avoid undesirable low-dimensional neural network bottlenecks, we convert low-dimensional extensions into representations in high-dimensional spaces, taking inspiration from the success of semidefinite programs for combinatorial optimization. Empirically, we observe benefits of our extensions for unsupervised neural combinatorial optimization, in particular with high-dimensional representations.


title: Coulomb-correlated states of moir\'e excitons and charges in a semiconductor moir\'e lattice

abstract: Semiconductor moir\'e heterostructures exhibit rich correlation-induced many-body phenomena with signatures of emergent magnetism, Mott insulating states or generalized Wigner crystals observed in optical spectroscopy by probing intralayer excitons. However, as the staggered band alignment in the underlying WSe$_2$/WS$_2$ heterobilayer system separates photoexcited electrons and holes to form lowest-energy interlayer excitons, direct access to interactions between correlated charge states and ground state moir\'e excitons remained elusive. Here, we use MoSe$_2$/WS$_2$ heterostacks with type-I band alignment to probe Coulomb interactions of elementary charges with the ground and excited states of moir\'e excitons. In addition to positive and negative moir\'e trions reminiscent of their canonical counterparts in monolayer MoSe$_2$, we reveal novel many-body states formed between moir\'e excitons and charges at fractional filling factors of the periodic moir\'e lattice. For both electrons and holes, these states exhibit doping-dependent Land\'e factors as a hallmark of correlation-induced magnetism, identifying the MoSe$_2$/WS$_2$ heterobilayer as a unique system for studies of correlated phenomena in ambipolar doping regimes.


title: Relevance Judgment Convergence Degree -- A Measure of Inconsistency among Assessors for Information Retrieval

abstract: Relevance judgment of human assessors is inherently subjective and dynamic when evaluation datasets are created for Information Retrieval (IR) systems. However, a small group of experts' relevance judgment results are usually taken as ground truth to "objectively" evaluate the performance of the IR systems. Recent trends intend to employ a group of judges, such as outsourcing, to alleviate the potentially biased judgment results stemmed from using only a single expert's judgment. Nevertheless, different judges may have different opinions and may not agree with each other, and the inconsistency in human relevance judgment may affect the IR system evaluation results. In this research, we introduce a Relevance Judgment Convergence Degree (RJCD) to measure the quality of queries in the evaluation datasets. Experimental results reveal a strong correlation coefficient between the proposed RJCD score and the performance differences between the two IR systems.


title: On double coset separability and the Wilson-Zalesskii property

abstract: A residually finite group $G$ has the Wilson-Zalesskii property if for all finitely generated subgroups $H,K \leqslant G$, one has $\bar{H} \cap \bar{K}=\overline{H \cap K}$, where the closures are taken in the profinite completion $\widehat G$ of $G$. This property played an important role in several papers, and is usually combined with separability of double cosets. In the present note we show that the Wilson-Zalesskii property is actually enjoyed by every double coset separable group. We also construct an example of a LERF group that is not double coset separable and does not have the Wilson-Zalesskii property.


title: Boris (Boaz) Trakhtenbrot -- The Beginning

abstract: This memorial paper tells the story of the beginning of Boris (Boaz) Trakhtenbrot's long and rich life path, full of unusual and sometimes tragic events. This path led a boy from a Jewish settlement in Eastern Europe to be recognized as one of the founding fathers of theoretical computer science.


title: GRIT-VLP: Grouped Mini-batch Sampling for Efficient Vision and Language Pre-training

abstract: Most of the currently existing vision and language pre-training (VLP) methods have mainly focused on how to extract and align vision and text features. In contrast to the mainstream VLP methods, we highlight that two routinely applied steps during pre-training have crucial impact on the performance of the pre-trained model: in-batch hard negative sampling for image-text matching (ITM) and assigning the large masking probability for the masked language modeling (MLM). After empirically showing the unexpected effectiveness of above two steps, we systematically devise our GRIT-VLP, which adaptively samples mini-batches for more effective mining of hard negative samples for ITM while maintaining the computational cost for pre-training. Our method consists of three components: 1) GRouped mIni-baTch sampling (GRIT) strategy that collects similar examples in a mini-batch, 2) ITC consistency loss for improving the mining ability, and 3) enlarged masking probability for MLM. Consequently, we show our GRIT-VLP achieves a new state-of-the-art performance on various downstream tasks with much less computational cost. Furthermore, we demonstrate that our model is essentially in par with ALBEF, the previous state-of-the-art, only with one-third of training epochs on the same training data. Code is available at https://github.com/jaeseokbyun/GRIT-VLP.