title: Pseudo-Anosov subgroups of general fibered 3-manifold groups

abstract: We show that finitely generated and purely pseudo-Anosov subgroups of fibered 3-manifolds with reducible monodromy are convex cocompact as subgroups of the mapping class group via the Birman exact sequence. Combined with results of Dowdall--Kent--Leininger and Kent--Leininger--Schleimer, this establishes the result for the image of all such fibered 3-manifold groups in the mapping class group.


title: Automatic Census of Mussel Platforms Using Sentinel 2 Images

abstract: Mussel platforms are big floating structures made of wood (size is normally about 20x20 meters or even a bit larger) that are used for aquaculture, id EST: growing mussels in appropriate marine waters. These structures are very typical in Galician estuaries. Being interesting to produce a periodic census of these structures that would allow knowing their number and positions, as well as changes on those parameters; Satellites that obtain periodic images for earth observation are a natural election for this issue. This paper describes a preliminary application able to construct automatically such a census using Sentinel 2 images (Copernicus Project). Copernicus satellites are run by European Space Agency (ESA) and the produced images are freely distributed on the internet. Sentinel 2 images have thirteen frequency bands and are updated each five days. In our application, we use remote sensing normalized (differential) indexes and artificial Neural Networks applied to multiband data. Different methods are described and tested. Finally, results are presented.


title: Exponential convergence of hp-FEM for the integral fractional Laplacian in 1D

abstract: We prove weighted analytic regularity for the solution of the integral fractional Poisson problem on bounded intervals with analytic right-hand side. Based on this regularity result, we prove exponential convergence of the hp-FEM on geometric boundary-refined meshes.


title: Detonation modeling with the Particles on Demand method

abstract: A kinetic model based on the Particles on Demand method is introduced for gas phase detonation hydrodynamics in conjunction with the Lee--Tarver reaction model. The proposed model is realized on two- and three-dimensional lattices and is validated with a set of benchmarks. Quantitative validation is performed with the Chapman--Jouguet theory up to a detonation wave speed of Mach 20 in one dimension. Two-dimensional outward expanding circular detonation is tested for isotropy of the model as well as for the asymptotic detonation wave speed. Mach reflection angles are verified in setups consisting of interacting strong bow shocks emanating from detonation. Spherical detonation is computed to show viability of the proposed model for three dimensional simulations.


title: The MeerTime Pulsar Timing Array -- A Census of Emission Properties and Timing Potential

abstract: MeerTime is a five-year Large Survey Project to time pulsars with MeerKAT, the 64-dish South African precursor to the Square Kilometre Array. The science goals for the programme include timing millisecond pulsars (MSPs) to high precision (< 1 $\mu$s) to study the Galactic MSP population and to contribute to global efforts to detect nanohertz gravitational waves with the International Pulsar Timing Array (IPTA). In order to plan for the remainder of the programme and to use the allocated time most efficiently, we have conducted an initial census with the MeerKAT "L-band" receiver of 189 MSPs visible to MeerKAT and here present their dispersion measures, polarization profiles, polarization fractions, rotation measures, flux density measurements, spectral indices, and timing potential. As all of these observations are taken with the same instrument (which uses coherent dedispersion, interferometric polarization calibration techniques, and a uniform flux scale), they present an excellent resource for population studies. We used wideband pulse portraits as timing standards for each MSP and demonstrated that the MeerTime Pulsar Timing Array (MPTA) can already contribute significantly to the IPTA as it currently achieves better than 1 $\mu$s timing accuracy on 89 MSPs (observed with fortnightly cadence). By the conclusion of the initial five-year MeerTime programme in July 2024, the MPTA will be extremely significant in global efforts to detect the gravitational wave background with a contribution to the detection statistic comparable to other long-standing timing programmes.


title: Pursuit of new physics within the $\Lambda_c\to \Delta K$ decays

abstract: We point out the $CP$ asymmetry in the chain decay of $\Lambda_c^+\to \Delta^+K(t)(\to \pi^+\pi^-)$ is determined by the branching fractions of $\Lambda^+_c\to \Delta^{++} K^-$, $\Lambda^+_c\to \Delta^{+} K^0_{S,L}$ and $\Lambda^+_c\to \Delta^{0} K^+$ modes under the isospin symmetry. The ambiguities from loop-induced quantities and $SU(3)_F$ breaking hadronic effects are avoided. Once the $CP$ asymmetry in the $\Lambda_c^+$ decays into $\Delta^+$ and neutral kaons is confirmed by experiments, we can check if it is beyond the Standard Model, or verify the $CP$-violating effect resulted from the interference between the Cabibbo-favored and the doubly Cabibbo-suppressed amplitudes with the neutral kaon mixing. Future measurements of branching fractions play a critical role in reducing the uncertainties.


title: Finding shortest and nearly shortest path nodes in large substantially incomplete networks

abstract: Dynamic processes on networks, be it information transfer in the Internet, contagious spreading in a social network, or neural signaling, take place along shortest or nearly shortest paths. Unfortunately, our maps of most large networks are substantially incomplete due to either the highly dynamic nature of networks, or high cost of network measurements, or both, rendering traditional path finding methods inefficient. We find that shortest paths in large real networks, such as the network of protein-protein interactions (PPI) and the Internet at the autonomous system (AS) level, are not random but are organized according to latent-geometric rules. If nodes of these networks are mapped to points in latent hyperbolic spaces, shortest paths in them align along geodesic curves connecting endpoint nodes. We find that this alignment is sufficiently strong to allow for the identification of shortest path nodes even in the case of substantially incomplete networks. We demonstrate the utility of latent-geometric path-finding in problems of cellular pathway reconstruction and communication security.


title: Practical Prescribed-Time Seeking of a Repulsive Source by Unicycle Angular Velocity Tuning

abstract: All the existing source-seeking algorithms for unicycle models in GPS-denied settings guarantee at best an exponential rate of convergence over an infinite interval. Using the recently introduced time-varying feedback tools for prescribed-time stabilization, we achieve source seeking in prescribed time, i.e., the convergence to a small but bounded neighborhood of the source, without the measurements of the position and velocity of the unicycle, in as short a time as the user desires, starting from an arbitrary distance from the source. The practical convergence is established using a singularly perturbed version of the Lie bracket averaging method, combined with time dilation and time contraction operations. The algorithm is robust, provably, even to bounded nonvanishing perturbations and an arbitrarily strong gradient-dependent repulsive velocity drift emanating from the source.


title: Semiparametric Bespoke Instrumental Variables

abstract: Many proposals for the identification of causal effects in the presence of unmeasured confounding require an instrumental variable or negative control that satisfies strong, untestable exclusion restrictions. In this paper, we will instead show how one can identify causal effects for a point exposure by using a measured confounder as a 'bespoke instrumental variable'. This strategy requires an external reference population that does not have access to the exposure, and a stability condition on the confounderoutcome association between reference and target populations. Building on recent identification results of Richardson and Tchetgen Tchetgen (2021), we develop the semiparametric efficiency theory for a general bespoke instrumental variable model, and obtain a multiply robust locally efficient estimator of the average treatment effect in the treated. The utility of the estimators is demonstrated in simulation studies and an analysis of the Life Span Study, concerning atomic bomb survivors in Japan.


title: Visible-Thermal UAV Tracking: A Large-Scale Benchmark and New Baseline

abstract: With the popularity of multi-modal sensors, visible-thermal (RGB-T) object tracking is to achieve robust performance and wider application scenarios with the guidance of objects' temperature information. However, the lack of paired training samples is the main bottleneck for unlocking the power of RGB-T tracking. Since it is laborious to collect high-quality RGB-T sequences, recent benchmarks only provide test sequences. In this paper, we construct a large-scale benchmark with high diversity for visible-thermal UAV tracking (VTUAV), including 500 sequences with 1.7 million high-resolution (1920 $\times$ 1080 pixels) frame pairs. In addition, comprehensive applications (short-term tracking, long-term tracking and segmentation mask prediction) with diverse categories and scenes are considered for exhaustive evaluation. Moreover, we provide a coarse-to-fine attribute annotation, where frame-level attributes are provided to exploit the potential of challenge-specific trackers. In addition, we design a new RGB-T baseline, named Hierarchical Multi-modal Fusion Tracker (HMFT), which fuses RGB-T data in various levels. Numerous experiments on several datasets are conducted to reveal the effectiveness of HMFT and the complement of different fusion types. The project is available at here.


title: Pluto near the edge of chaos

abstract: Many of the unusual properties of Pluto's orbit are widely accepted as evidence for the orbital migration of the giant planets in early solar system history. However, some properties remain an enigma. Pluto's long term orbital stability is supported by two special properties of its orbit that limit the location of its perihelion in azimuth and in latitude. We revisit Pluto's orbital dynamics with a view to elucidating the individual and collective gravitational effects of the giant planets on constraining its perihelion location. While the resonant perturbations from Neptune account for the azimuthal constraint on Pluto's perihelion location, we demonstrate that the long term and steady persistence of the latitudinal constraint is possible only in a narrow range of additional secular forcing which arises fortuitously from the particular orbital architecture of the other giant planets. Our investigations also find that Jupiter has a largely stabilizing influence whereas Uranus has a largely destabilizing influence on Pluto's orbit. Overall, Pluto's orbit is rather surprisingly close to a zone of strong chaos.


title: Calculation of tunneling current across Trapezoidal potential barrier in a Scanning Tunneling Microscope

abstract: The Planar Model of the Electrode-Vacuum-Electrode configuration for STM in which electrode surfaces are assumed to be infinite parallel planes, with atomic size separation and vacuum between them, is used to calculate tunneling current densities for both low and high bias voltages. Non WKB, Airy function solutions for the Schr\"odinger Equation for the trapezoidal barrier in the tunneling region are used to calculate the tunneling probability. Temperature dependent Fermi Factors for each electrode are introduced and the calculation involves integration over the electron energies. In order to convert the current densities obtained in the planar model to tunneling currents the tip and sample surfaces are modelled as confocal hyperboloids, and the tip sample distance is replaced by the length of the line of force (field line). The current is found by integrating the current density over a finite area of the tip. The calculated tunnel currents for a few electrode pairs at room temperature are plotted for several values of bias voltage, tip sample distances, and tip radii of curvature. Pauli Effects are studied as a function of bias voltage and tip-sample distance. Some estimate of lateral resolution and its dependence on bias voltage and tip radius is also presented.


title: Generalized Schur-Weyl dualities for quantum affine symmetric pairs and orientifold KLR algebras

abstract: Let $\mathfrak{g}$ be a complex simple Lie algebra and $U_qL\mathfrak{g}$ the corresponding quantum affine algebra. We construct a functor ${}^{\theta}{\sf F}$ between finite-dimensional modules over a quantum symmetric pair of affine type $U_q\mathfrak{k}\subset U_qL{\mathfrak{g}}$ and an orientifold KLR algebra arising from a framed quiver with a contravariant involution, providing a boundary analogue of Kang-Kashiwara-Kim-Oh generalized Schur-Weyl duality. With respect to their construction, our combinatorial model is further enriched with the poles of a trigonometric K-matrix intertwining the action of $U_q\mathfrak{k}$ on finite-dimensional $U_qL{\mathfrak{g}}$-modules. By construction, ${}^{\theta}{\sf F}$ is naturally compatible with the Kang-Kashiwara-Kim-Oh functor in that, while the latter is a functor of monoidal categories, ${}^{\theta}{\sf F}$ is a functor of module categories. Relying on a suitable isomorphism \`a la Brundan-Kleshchev-Rouquier, we prove that ${}^{\theta}{\sf F}$ recovers the Schur-Weyl dualities due to Fan-Lai-Li-Luo-Wang-Watanabe in quasi-split type $\sf AIII$.


title: On the random G equation with nonzero divergence

abstract: We prove a quantitative rate of homogenization for the G equation in a random setting with finite range of dependence and nonzero divergence, with explicit dependence of the constants on the Lipschitz norm of the environment. Inspired by work of Burago, Ivanov, and Novikov, the proof uses explicit bounds on the waiting time for the associated metric problem.


title: The winner takes it all but one

abstract: We study competing first passage percolation on graphs generated by the configuration model with infinite-mean degrees. Initially, two uniformly chosen vertices are infected with type 1 and type 2 infection, respectively, and the infection then spreads via nearest neighbors in the graph. The time it takes for the type 1 (resp. 2) infection to traverse an edge $e$ is given by a random variable $X_1(e)$ (resp. $X_2(e)$) and, if the vertex at the other end of the edge is still uninfected, it then becomes type 1 (resp. 2) infected and immune to the other type. Assuming that the degrees follow a power-law distribution with exponent $\tau \in (1,2)$, we show that, with high probability as the number of vertices tends to infinity, one of the infection types occupies all vertices except for the starting point of the other type. Moreover, both infections have a positive probability of winning regardless of the passage times distribution. The result is also shown to hold for the erased configuration model, where self-loops are erased and multiple edges are merged, and when the degrees are conditioned to be smaller than $n^\alpha$ for some $\alpha > 0$.


title: Ultrathin, sputter-deposited, amorphous alloy films of ruthenium and molybdenum

abstract: Microscopy and diffraction measurements are presented of ultrathin binary alloy films of ruthenium and molybdenum that are obtained by standard sputter deposition. For compositions close to Ru50Mo50, we find the films to be amorphous. The amorphicity of the films is accompanied by a significant reduction of the roughness with respect to the roughness of equally thick films of either ruthenium or molybdenum. We ascribe this to the absence of the grain structure that is characteristic of the polycrystalline films of the separate elements.


title: Karaoker: Alignment-free singing voice synthesis with speech training data

abstract: Existing singing voice synthesis models (SVS) are usually trained on singing data and depend on either error-prone time-alignment and duration features or explicit music score information. In this paper, we propose Karaoker, a multispeaker Tacotron-based model conditioned on voice characteristic features that is trained exclusively on spoken data without requiring time-alignments. Karaoker synthesizes singing voice and transfers style following a multi-dimensional template extracted from a source waveform of an unseen singer/speaker. The model is jointly conditioned with a single deep convolutional encoder on continuous data including pitch, intensity, harmonicity, formants, cepstral peak prominence and octaves. We extend the text-to-speech training objective with feature reconstruction, classification and speaker identification tasks that guide the model to an accurate result. In addition to multitasking, we also employ a Wasserstein GAN training scheme as well as new losses on the acoustic model's output to further refine the quality of the model.


title: Critical Tests of Leading Gamma Ray Burst Theories II

abstract: It has been observationally established that supernovae (SNe) of Type Ic produce long duration gamma ray bursts (GRBs) and that neutron star mergers generate short hard GRBs. SN-Less GRBs presumably originate in a phase transition of a neutron star in a high mass X-ray binary. How these phenomena actually generate GRBs is debated. The fireball and cannonball models of GRBs and their afterglows have been widely confronted with the huge observational data, with their defenders claiming success. The claims, however, may reflect multiple choices and the use of many adjustable parameters, rather than the validity of the models. Only a confrontation of key falsifiable predictions of the models with solid observational data can test their validity. Such critical tests are reviewed in this report.


title: The Lyapunov spectrum for conditioned random dynamical systems

abstract: We establish the existence of a full spectrum of Lyapunov exponents for memoryless random dynamical systems with absorption. To this end, we crucially embed the process conditioned to never being absorbed, the Q-process, into the framework of random dynamical systems, allowing us to study multiplicative ergodic properties. We show that the finite-time Lyapunov exponents converge in conditioned probability and apply our results to iterated function systems and stochastic differential equations.


title: Floquet theory of spin dynamics under circularly polarized light pulses

abstract: Within the Floquet theory of periodically driven quantum systems, the nonlinear single-spin dynamics under pulse of a circularly polarized electromagnetic field is analyzed. It is demonstrated that the field, first, lifts the spin degeneracy and, second, the field-induced spin splitting is accompanied by the photon emission at the spitting frequency. This two-stage process leads, particularly, to the polarization of spins along angular momentum of the circularly polarized field. As a result, the pulse-induced magnetization appears, what can be observed in state-of the-art measurements.


title: Tunnel configurations and seismic isolation optimization in underground gravitational wave detectors

abstract: Gravitational wave detectors like the Einstein Telescope will be built a few hundred meters under Earth's surface to reduce both direct seismic and Newtonian noise. Underground facilities must be designed to take full advantage of the shielding properties of the rock mass to maximize the detector's performance. A major issue with the Einstein Telescope design are the corner points, where caverns need to be excavated in stable, low permeability rock to host the sensitive measurement infrastructure. This paper proposes a new topology that moves the top stages of the seismic attenuation chains and Michelson beam re-combination in separate excavations far from the beam-line and equipment induced noise while the test mass mirrors remain in the main tunnels. Distributing the seismic attenuation chain components over multiple tunnel levels allows the use of arbitrarily long seismic attenuation chains that relegate the seismic noise at frequencies completely outside the low-frequency noise budget, thus keeping the door open for future Newtonian noise suppression methods. Separating the input-output and recombination optics of different detectors into separate caverns drastically improves the observatory detection efficiency and allows staged commissioning. The proposed scheme eliminates structural and instrumentation crowding while the reduced sizes of excavations require fewer support measures.


title: Local Ward identities for collective excitations in fermionic systems with spontaneously broken symmetries

abstract: We derive Ward identities for fermionic systems exhibiting a gauge symmetry that gets globally broken. In particular, we focus on the relation that connects the gauge field response functions to the transverse susceptibilities of the order parameter. We find that the long-wavelength and zero energy limit of the former are related to the coefficients of a low-energy expansion of the latter. We examine three physical cases: the superconductor, the N\'eel antiferromagnet and the spiral magnet. In the case of a metallic spiral magnet that completely breaks the SU(2) spin symmetry we explicitly show that the Ward identities are fulfilled within the random phase approximation. We subsequently derive microscopic expressions for the spin stiffnesses and spin wave velocities, which can be plugged into low energy models to study the effect of long-wavelength bosonic fluctuations on top of mean-field solutions.


title: On the supports in the Humili\`ere completion and $\gamma$-coisotropic sets

abstract: The symplectic spectral metric on the set of Lagrangian submanifolds or Hamiltonian maps can be used to define a completion of these spaces. For an element of such a completion, we define its $\gamma$-support. We also define the notion of $\gamma$-coisotropic set, and prove that a $\gamma$-support must be $\gamma$-coisotropic toghether with many properties of the $\gamma$-support and $\gamma$-coisotropic sets. We give examples of Lagrangians in the completion having large $\gamma$-support and we study those (called "regular Lagrangians") having small $\gamma$-support. We compare the notion of $\gamma$-coisotropy with other notions of isotropy.


title: Possible Implications of Relatively High Levels of Initial $^{60}$Fe in Iron Meteorites for the Non-Carbonaceous -- Carbonaceous Meteorite Dichotomy and Solar Nebula Formation

abstract: Cook et al. (2021) found that iron meteorites have an initial abundance ratio of the short-lived isotope $^{60}$Fe to the stable isotope $^{56}$Fe of $^{60}$Fe/$^{56}$Fe $\sim$ $(6.4 \pm 2.0) \times 10^{-7}$. This appears to require the injection of live $^{60}$Fe from a Type II supernova (SN II) into the presolar molecular cloud core, as the observed ratio is over a factor of ten times higher than would be expected to be found in the ambient interstellar medium (ISM) as a result of galactic chemical evolution. The supernova triggering and injection scenario offers a ready explanation for an elevated initial $^{60}$Fe level, and in addition provides a physical mechanism for explaining the non-carbonaceous -- carbonaceous (NC-CC) dichotomy of meteorites. The NC-CC scenario hypothesizes the solar nebula first accreted material that was enriched in supernova-derived nuclides, and then later accreted material depleted in supernova-derived nuclides. While the NC-CC dichotomy refers to stable nuclides, not short-lived isotopes like $^{60}$Fe, the SN II triggering hypothesis provides an explanation for the otherwise unexplained change in nuclides being accreted by the solar nebula. Three dimensional hydrodynamical models of SN II shock-triggered collapse show that after triggering collapse of the presolar cloud core, the shock front sweeps away the local ISM while accelerating the resulting protostar/disk to a speed of several km/s, sufficient for the protostar/disk system to encounter within $\sim$ 1 Myr the more distant regions of a giant molecular cloud complex that might be expected to have a depleted inventory of supernova-derived nuclides.


title: An XES Extension for Uncertain Event Data

abstract: Event data, often stored in the form of event logs, serve as the starting point for process mining and other evidence-based process improvements. However, event data in logs are often tainted by noise, errors, and missing data. Recently, a novel body of research has emerged, with the aim to address and analyze a class of anomalies known as uncertainty-imprecisions quantified with meta-information in the event log. This paper illustrates an extension of the XES data standard capable of representing uncertain event data. Such an extension enables input, output, and manipulation of uncertain data, as well as analysis through the process discovery and conformance checking approaches available in literature.


title: Individually-Fair Auctions for Multi-Slot Sponsored Search

abstract: We design fair sponsored search auctions that achieve a near-optimal tradeoff between fairness and quality. Our work builds upon the model and auction design of Chawla and Jagadeesan \cite{CJ22}, who considered the special case of a single slot. We consider sponsored search settings with multiple slots and the standard model of click through rates that are multiplicatively separable into an advertiser-specific component and a slot-specific component. When similar users have similar advertiser-specific click through rates, our auctions achieve the same near-optimal tradeoff between fairness and quality as in \cite{CJ22}. When similar users can have different advertiser-specific preferences, we show that a preference-based fairness guarantee holds. Finally, we provide a computationally efficient algorithm for computing payments for our auctions as well as those in previous work, resolving another open direction from \cite{CJ22}.


title: Shaping contactless forces through anomalous acoustic scattering

abstract: Waves impart momentum and exert force on obstacles in their path. The transfer of wave momentum is a fundamental mechanism for contactless manipulation, yet the rules of conventional scattering intrinsically limit the radiation force based on the shape and the size of the manipulated object. Here, we show that this intrinsic limit can be overcome for acoustic waves with subwavelength-structured metasurfaces, where the force becomes controllable by the arrangement of surface features, independent of the object's overall shape and size. Harnessing such anomalous metasurface scattering, we demonstrate complex actuation phenomena: self-guidance, where a metasurface object is autonomously guided by an acoustic wave, and contactless pulling, where a metasurface object is pulled by the wave. Our results show that bringing metasurface physics, and its full arsenal of tools, to the domain of mechanical manipulation opens the door to diverse actuation mechanisms that are beyond the limits of traditional wave-matter interactions.


title: EfficientFi: Towards Large-Scale Lightweight WiFi Sensing via CSI Compression

abstract: WiFi technology has been applied to various places due to the increasing requirement of high-speed Internet access. Recently, besides network services, WiFi sensing is appealing in smart homes since it is device-free, cost-effective and privacy-preserving. Though numerous WiFi sensing methods have been developed, most of them only consider single smart home scenario. Without the connection of powerful cloud server and massive users, large-scale WiFi sensing is still difficult. In this paper, we firstly analyze and summarize these obstacles, and propose an efficient large-scale WiFi sensing framework, namely EfficientFi. The EfficientFi works with edge computing at WiFi APs and cloud computing at center servers. It consists of a novel deep neural network that can compress fine-grained WiFi Channel State Information (CSI) at edge, restore CSI at cloud, and perform sensing tasks simultaneously. A quantized auto-encoder and a joint classifier are designed to achieve these goals in an end-to-end fashion. To the best of our knowledge, the EfficientFi is the first IoT-cloud-enabled WiFi sensing framework that significantly reduces communication overhead while realizing sensing tasks accurately. We utilized human activity recognition and identification via WiFi sensing as two case studies, and conduct extensive experiments to evaluate the EfficientFi. The results show that it compresses CSI data from 1.368Mb/s to 0.768Kb/s with extremely low error of data reconstruction and achieves over 98% accuracy for human activity recognition.


title: Sat2lod2: A Software For Automated Lod-2 Modeling From Satellite-Derived Orthophoto And Digital Surface Model

abstract: Deriving LoD2 models from orthophoto and digital surface models (DSM) reconstructed from satellite images is a challenging task. Existing solutions are mostly system approaches that require complicated step-wise processes, including not only heuristic geometric operations, but also high-level steps such as machine learning-based semantic segmentation and building detection. Here in this paper, we describe an open-source tool, called SAT2LOD2, built based on a minorly modified version of our recently published work. SAT2LoD2 is a fully open-source and GUI (Graphics User Interface) based software, coded in Python, which takes an orthophoto and DSM as inputs, and outputs individual building models, and it can additionally take road network shapefiles, and customized classification maps to further improve the reconstruction results. We further improve the robustness of the method by 1) intergrading building segmentation based on HRNetV2 into our software; and 2) having implemented a decision strategy to identify complex buildings and directly generate mesh to avoid erroneous LoD2 reconstruction from a system point of view. The software can process a moderate level of data (around 5000*5000 size of orthophoto and DSM) using a PC with a graphics card supporting CUDA. Furthermore, the GUI is self-contained and stores the intermediate processing results facilitating researchers to learn the process easily and reuse intermediate files as needed. The updated codes and software are available under this GitHub page: https://github.com/GDAOSU/LOD2BuildingModel.


title: Reproducibility and Baseline Reporting for Dynamic Multi-objective Benchmark Problems

abstract: Dynamic multi-objective optimization problems (DMOPs) are widely accepted to be more challenging than stationary problems due to the time-dependent nature of the objective functions and/or constraints. Evaluation of purpose-built algorithms for DMOPs is often performed on narrow selections of dynamic instances with differing change magnitude and frequency or a limited selection of problems. In this paper, we focus on the reproducibility of simulation experiments for parameters of DMOPs. Our framework is based on an extension of PlatEMO, allowing for the reproduction of results and performance measurements across a range of dynamic settings and problems. A baseline schema for dynamic algorithm evaluation is introduced, which provides a mechanism to interrogate performance and optimization behaviours of well-known evolutionary algorithms that were not designed specifically for DMOPs. Importantly, by determining the maximum capability of non-dynamic multi-objective evolutionary algorithms, we can establish the minimum capability required of purpose-built dynamic algorithms to be useful. The simplest modifications to manage dynamic changes introduce diversity. Allowing non-dynamic algorithms to incorporate mutated/random solutions after change events determines the improvement possible with minor algorithm modifications. Future expansion to include current dynamic algorithms will enable reproduction of their results and verification of their abilities and performance across DMOP benchmark space.


title: Investigating Spherical Epipolar Rectification for Multi-View Stereo 3D Reconstruction

abstract: Multi-view stereo (MVS) reconstruction is essential for creating 3D models. The approach involves applying epipolar rectification followed by dense matching for disparity estimation. However, existing approaches face challenges in applying dense matching for images with different viewpoints primarily due to large differences in object scale. In this paper, we propose a spherical model for epipolar rectification to minimize distortions caused by differences in principal rays. We evaluate the proposed approach using two aerial-based datasets consisting of multi-camera head systems. We show through qualitative and quantitative evaluation that the proposed approach performs better than frame-based epipolar correction by enhancing the completeness of point clouds by up to 4.05% while improving the accuracy by up to 10.23% using LiDAR data as ground truth.


title: A Novel Intrinsic Image Decomposition Method to Recover Albedo for Aerial Images in Photogrammetry Processing

abstract: Recovering surface albedos from photogrammetric images for realistic rendering and synthetic environments can greatly facilitate its downstream applications in VR/AR/MR and digital twins. The textured 3D models from standard photogrammetric pipelines are suboptimal to these applications because these textures are directly derived from images, which intrinsically embedded the spatially and temporally variant environmental lighting information, such as the sun illumination, direction, causing different looks of the surface, making such models less realistic when used in 3D rendering under synthetic lightings. On the other hand, since albedo images are less variable by environmental lighting, it can, in turn, benefit basic photogrammetric processing. In this paper, we attack the problem of albedo recovery for aerial images for the photogrammetric process and demonstrate the benefit of albedo recovery for photogrammetry data processing through enhanced feature matching and dense matching. To this end, we proposed an image formation model with respect to outdoor aerial imagery under natural illumination conditions; we then, derived the inverse model to estimate the albedo by utilizing the typical photogrammetric products as an initial approximation of the geometry. The estimated albedo images are tested in intrinsic image decomposition, relighting, feature matching, and dense matching/point cloud generation results. Both synthetic and real-world experiments have demonstrated that our method outperforms existing methods and can enhance photogrammetric processing.


title: Optical tracking in team sports

abstract: Sports analysis has gained paramount importance for coaches, scouts, and fans. Recently, computer vision researchers have taken on the challenge of collecting the necessary data by proposing several methods of automatic player and ball tracking. Building on the gathered tracking data, data miners are able to perform quantitative analysis on the performance of players and teams. With this survey, our goal is to provide a basic understanding for quantitative data analysts about the process of creating the input data and the characteristics thereof. Thus, we summarize the recent methods of optical tracking by providing a comprehensive taxonomy of conventional and deep learning methods, separately. Moreover, we discuss the preprocessing steps of tracking, the most common challenges in this domain, and the application of tracking data to sports teams. Finally, we compare the methods by their cost and limitations, and conclude the work by highlighting potential future research directions.


title: Beyond the ordinary acoustoelectric effect: superluminal phenomena in the acoustic realm and phonon-mediated Bloch gain

abstract: It has been shown that coherent phonons can be used as a potent tool for controlling and enhancing optoelectronic and transport properties of nanostructured materials. Recent studies revealed that interaction of acoustic phonons and fast-moving carriers in semiconductor heterostructures can be accompanied by electron-phonon instabilities that cause ordinary and induced Cherenkov effects. However, the development of such instabilities is still poorly understood. Our study shows that other supersonic phenomena, beyond the Cherenkov instability, are possible for non-equilibrium charge transport in the miniband semiconductor superlattices (SLs) driven by an acoustic plane wave. Using semiclassical nonperturbative methods and elements of the bifurcation theory, we find the conditions for the onset of dynamical instabilities (bifurcations) which are caused by the emission of specific SL phonons by supersonic electrons, and their back action on the electrons. Notably, the underlying radiation mechanism is connected either to normal or anomalous Doppler effects in full accordance with the Ginzburg-Frank-Tamm theory. The appearance of induced Doppler effects is also discussed in relation to the formation of electron bunches propagating through the spatially periodic structure of the SL. When the amplitude of the acoustic wave exceeds certain threshold, the dynamical instabilities developed in the system are manifested as drift velocity reversals, resonances in sound attenuation and absolute negative mobility. We demonstrate that the discovered superluminal Doppler phenomena can be utilized for tunable broadband amplification and generation of GHz-THz electromagnetic waves, which creates a ground for development of novel phononic devices.


title: Constrained Bundle Adjustment for Structure From Motion Using Uncalibrated Multi-Camera Systems

abstract: Structure from motion using uncalibrated multi-camera systems is a challenging task. This paper proposes a bundle adjustment solution that implements a baseline constraint respecting that these cameras are static to each other. We assume these cameras are mounted on a mobile platform, uncalibrated, and coarsely synchronized. To this end, we propose the baseline constraint that is formulated for the scenario in which the cameras have overlapping views. The constraint is incorporated in the bundle adjustment solution to keep the relative motion of different cameras static. Experiments were conducted using video frames of two collocated GoPro cameras mounted on a vehicle with no system calibration. These two cameras were placed capturing overlapping contents. We performed our bundle adjustment using the proposed constraint and then produced 3D dense point clouds. Evaluations were performed by comparing these dense point clouds against LiDAR reference data. We showed that, as compared to traditional bundle adjustment, our proposed method achieved an improvement of 29.38%.


title: Concentration in Lotka-Volterra parabolic equations: an asymptotic-preserving scheme

abstract: In this paper, we introduce and analyze an asymptotic-preserving scheme for Lotka-Volterra parabolic equations. It is a class of nonlinear and nonlocal stiff equations, which describes the evolution of a population structured with phenotypic trait. In a regime of long time and small mutations, the population concentrates at a set of dominant traits. The dynamics of this concentration is described by a constrained Hamilton-Jacobi equation, which is a system coupling a Hamilton-Jacobi equation with a Lagrange multiplier determined by a constraint. This coupling makes the equation nonlocal. Moreover, the constraint does not enjoy much regularity, since it can have jumps. The scheme we propose is convergent in all the regimes, and enjoys stability in the long time and small mutations limit. Moreover, we prove that the limiting scheme converges towards the viscosity solution of the constrained Hamilton-Jacobi equation, despite the lack of regularity of the constraint. The theoretical analysis of the schemes is illustrated and complemented with numerical simulations.


title: Viscoelastic Cahn--Hilliard models for tumour growth

abstract: We introduce a new phase field model for tumour growth where viscoelastic effects are taken into account. The model is derived from basic thermodynamical principles and consists of a convected Cahn--Hilliard equation with source terms for the tumour cells and a convected reaction-diffusion equation with boundary supply for the nutrient. Chemotactic terms, which are essential for the invasive behaviour of tumours, are taken into account. The model is completed by a viscoelastic system constisting of the Navier--Stokes equation for the hydrodynamic quantities, and a general constitutive equation with stress relaxation for the left Cauchy--Green tensor associated with the elastic part of the total mechanical response of the viscoelastic material. For a specific choice of the elastic energy density and with an additional dissipative term accounting for stress diffusion, we prove existence of global-in-time weak solutions of the viscoelastic model for tumour growth in two space dimensions $d=2$ by the passage to the limit in a fully-discrete finite element scheme where a CFL condition, i.e. $\Delta t\leq Ch^2$, is required. Moreover, in arbitrary dimensions $d\in\{2,3\}$, we show stability and existence of solutions for the fully-discrete finite element scheme, where positive definiteness of the discrete Cauchy--Green tensor is proved with a regularization technique that was first introduced by J. W. Barrett, S. Boyaval ("Existence and approximation of a (regularized) Oldroyd-B model". In: M3AS. 21.9 (2011), pp. 1783--1837). After that, we improve the regularity results in arbitrary dimensions $d\in\{2,3\}$ and in two dimensions $d=2$, where a CFL condition is required. Then, for $d=2$, we pass to the limit in the discretization parameters and show that subsequences of discrete solutions converge to a global-in-time weak solution. Finally, we present numerical results.


title: Process Mining on Uncertain Event Data

abstract: With the widespread adoption of process mining in organizations, the field of process science is seeing an increase in the demand for ad-hoc analysis techniques of non-standard event data. An example of such data are uncertain event data: events characterized by a described and quantified attribute imprecision. This paper outlines a research project aimed at developing process mining techniques able to extract insights from uncertain data. We set the basis for this research topic, recapitulate the available literature, and define a future outlook.


title: A Credible and Robust approach to Ego-Motion Estimation using an Automotive Radar

abstract: Consistent motion estimation is fundamental for all mobile autonomous systems. While this sounds like an easy task, often, it is not the case because of changing environmental conditions affecting odometry obtained from vision, Lidar, or the wheels themselves. Unsusceptible to challenging lighting and weather conditions, radar sensors are an obvious alternative. Usually, automotive radars return a sparse point cloud, representing the surroundings. Utilizing this information to motion estimation is challenging due to unstable and phantom measurements, which result in a high rate of outliers. We introduce a credible and robust probabilistic approach to estimate the ego-motion based on these challenging radar measurements; intended to be used within a loosely-coupled sensor fusion framework. Compared to existing solutions, evaluated on the popular nuScenes dataset and others, we show that our proposed algorithm is more credible while not depending on explicit correspondence calculation.


title: A cryogenic and superconducting inertial sensor for the Lunar Gravitational--Wave Antenna, the Einstein Telescope and Selene-physics

abstract: The Lunar Gravitational--Wave Antenna is a proposed low-frequency gravitational-wave detector on the Moon surface. It will be composed of an array of high-end cryogenic superconducting inertial sensors (CSISs). A cryogenic environment will be used in combination with superconducting materials to open up pathways to low-loss actuators and sensor mechanics. CSIS revolutionizes the (cryogenic) inertial sensor field with a modelled displacement sensitivity at 0.5 Hz of 3 orders of magnitude better than the current state-of-the-art. It will allow the Lunar Gravitational-Wave Antenna to be sensitive below 1 Hz, down to 1 mHz and it will also be employed in the forthcoming Einstein Telescope --a third-generation gravitational-wave detector which will make use of cryogenic technologies and that will have an enhanced sensitivity below 10 Hz. Moreover, CSIS seismic data could also be employed to obtain new insights about the Moon interior and what we can call the Selene-physics.


title: A Video Anomaly Detection Framework based on Appearance-Motion Semantics Representation Consistency

abstract: Video anomaly detection refers to the identification of events that deviate from the expected behavior. Due to the lack of anomalous samples in training, video anomaly detection becomes a very challenging task. Existing methods almost follow a reconstruction or future frame prediction mode. However, these methods ignore the consistency between appearance and motion information of samples, which limits their anomaly detection performance. Anomalies only occur in the moving foreground of surveillance videos, so the semantics expressed by video frame sequences and optical flow without background information in anomaly detection should be highly consistent and significant for anomaly detection. Based on this idea, we propose Appearance-Motion Semantics Representation Consistency (AMSRC), a framework that uses normal data's appearance and motion semantic representation consistency to handle anomaly detection. Firstly, we design a two-stream encoder to encode the appearance and motion information representations of normal samples and introduce constraints to further enhance the consistency of the feature semantics between appearance and motion information of normal samples so that abnormal samples with low consistency appearance and motion feature representation can be identified. Moreover, the lower consistency of appearance and motion features of anomalous samples can be used to generate predicted frames with larger reconstruction error, which makes anomalies easier to spot. Experimental results demonstrate the effectiveness of the proposed method.


title: Dusty circumbinary discs: inner cavity structures and stopping locations of migrating planets

abstract: We present the results of two-fluid hydrodynamical simulations of circumbinary discs consisting of gas and dust, with and without embedded planets, to examine the influence of the dust on the structure of the tidally truncated inner cavity and on the parking locations of migrating planets. In this proof-of-concept study, we consider Kepler-16 and -34 analogues, and examine dust fluids with Stokes numbers in the range $10^{-4} \le St \le 10^{-1}$ and dust-to-gas ratios of 0.01 and 1. For the canonical dust-to-gas ratio of 0.01, we find the inclusion of the dust has only a minor effect on the cavity and stopping locations of embedded planets compared to dust-free simulations. However, for the enhanced dust-to-gas ratio of unity, assumed to arise because of significant dust drift and accumulation, we find that the dust can have a dramatic effect by shrinking and circularising the inner cavity, which brings the parking locations of planets closer to the central binary. This work demonstrates the importance of considering both gas and dust in studies of circumbinary discs and planets, and provides a potential means of explaining the orbital properties of circumbinary planets such as Kepler-34b, which have hitherto been difficult to explain using gas-only hydrodynamical simulations.


title: Particle Video Revisited: Tracking Through Occlusions Using Point Trajectories

abstract: Tracking pixels in videos is typically studied as an optical flow estimation problem, where every pixel is described with a displacement vector that locates it in the next frame. Even though wider temporal context is freely available, prior efforts to take this into account have yielded only small gains over 2-frame methods. In this paper, we revisit Sand and Teller's "particle video" approach, and study pixel tracking as a long-range motion estimation problem, where every pixel is described with a trajectory that locates it in multiple future frames. We re-build this classic approach using components that drive the current state-of-the-art in flow and object tracking, such as dense cost maps, iterative optimization, and learned appearance updates. We train our models using long-range amodal point trajectories mined from existing optical flow data that we synthetically augment with multi-frame occlusions. We test our approach in trajectory estimation benchmarks and in keypoint label propagation tasks, and compare favorably against state-of-the-art optical flow and feature tracking methods.


title: EPASAD: Ellipsoid decision boundary based Process-Aware Stealthy Attack Detector

abstract: Due to the importance of Critical Infrastructure (CI) in a nation's economy, they have been lucrative targets for cyber attackers. These critical infrastructures are usually Cyber-Physical Systems (CPS) such as power grids, water, and sewage treatment facilities, oil and gas pipelines, etc. In recent times, these systems have suffered from cyber attacks numerous times. Researchers have been developing cyber security solutions for CIs to avoid lasting damages. According to standard frameworks, cyber security based on identification, protection, detection, response, and recovery are at the core of these research. Detection of an ongoing attack that escapes standard protection such as firewall, anti-virus, and host/network intrusion detection has gained importance as such attacks eventually affect the physical dynamics of the system. Therefore, anomaly detection in physical dynamics proves an effective means to implement defense-in-depth. PASAD is one example of anomaly detection in the sensor/actuator data, representing such systems' physical dynamics. We present EPASAD, which improves the detection technique used in PASAD to detect these micro-stealthy attacks, as our experiments show that PASAD's spherical boundary-based detection fails to detect. Our method EPASAD overcomes this by using Ellipsoid boundaries, thereby tightening the boundaries in various dimensions, whereas a spherical boundary treats all dimensions equally. We validate EPASAD using the dataset produced by the TE-process simulator and the C-town datasets. The results show that EPASAD improves PASAD's average recall by 5.8% and 9.5% for the two datasets, respectively.


title: Design of an Optimal Testbed for Tracking of Tagged Marine Megafauna

abstract: Underwater acoustic technologies are a key component for exploring the behavior of marine megafauna such as sea turtles, sharks, and seals. The animals are marked with acoustic devices (tags) that periodically emit signals encoding the device's ID along with sensor data such as depth, temperature, or the dominant acceleration axis - data that is collected by a network of deployed receivers. In this work, we aim to optimize the locations of receivers for best tracking of acoustically tagged marine megafauna. The outcomes of such tracking allows the evaluation of the animals' motion patterns, their hours of activity, and their social interactions. In particular, we focus on how to determine the receivers' deployment positions to maximize the coverage area in which the tagged animals can be tracked. For example, an overly-condensed deployment may not allow accurate tracking, whereas a sparse one, may lead to a small coverage area due to too few detections. We formalize the question of where to best deploy the receivers as a non-convex constraint optimization problem that takes into account the local environment and the specifications of the tags, and offer a sub-optimal, low-complexity solution that can be applied to large testbeds. Numerical investigation for three stimulated sea environments shows that our proposed method is able to increase the localization coverage area by 30%, and results from a test case experiment demonstrate similar performance in a real sea environment. We share the implementation of our work to help researchers set up their own acoustic observatory.


title: Optimal Lane-Free Crossing of CAVs through Intersections

abstract: Connected and autonomous vehicles (CAVs), unlike conventional cars, will utilise the whole space of intersections and cross in a lane-free order. This paper formulates such a lane-free crossing of intersections as a multi-objective optimal control problem (OCP) that minimises the overall crossing time, as well as the energy consumption of CAVs. The proposed OCP is convexified by applying the dual problem theory to the constraints that avoid collision of vehicles with each other and with road boundaries. The resulting OCP is smooth and solvable by gradient-based algorithms. Simulation results show that the proposed algorithm reduces the crossing time by an average of 40% and 41% as compared to, respectively, the state-of-the-art reservation-based and lane-free methods, whilst consuming the same amount of energy. Furthermore, it is shown that the resulting crossing time of the proposed algorithm is i) fixed to a constant value regardless of the number of CAVs, and ii) very close to its theoretical limit.


title: Custom Sine Waves Are Enough for Imitation Learning of Bipedal Gaits with Different Styles

abstract: Not until recently, robust bipedal locomotion has been achieved through reinforcement learning. However, existing implementations rely heavily on insights and efforts from human experts, which is costly for the iterative design of robot systems. Also, styles of the learned motion are strictly limited to that of the reference. In this paper, we propose a new way to learn bipedal locomotion from a simple sine wave as the reference for foot heights. With the naive human insight that the two feet should be lifted up alternatively and periodically, we experimentally demonstrate on the Cassie robot that, a simple reward function is able to make the robot learn to walk end-to-end and efficiently without any explicit knowledge of the model. With custom sine waves, the learned gait pattern can also have customized styles. Codes are released at github.com/WooQi57/sin-cassie-rl.


title: Hensel minimality: Geometric criteria for $\ell$-h-minimality

abstract: Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to mimic o-minimality in both strong consequences and wide applicability. In this article, we continue the study of Hensel minimality, in particular focusing on $\omega$-h-minimality and $\ell$-h-minimality, for $\ell$ a positive integer. Our main results include an analytic criterion for $\ell$-h-minimality, preservation of $\ell$-h-minimality under coarsening of the valuation and $\ell$-dimensional dimensional geometry.


title: Gravitational-wave matched filtering on a quantum computer

abstract: State of the art quantum computers have very limited applicability for accurate calculations. Here we report the first experimental demonstration of qubit-based matched filtering for a detection of the gravitational-wave signal from a binary black hole merger. With our implementation on noisy superconducting qubits, we obtained a similar signal-to-noise ratio for the binary black hole merger as achievable with classical computation, providing evidence for the utility of qubits for practically relevant tasks. The algorithm we invented for this application is a Monte Carlo algorithm which uses quantum and classical computation together. It provides a quasi-quadartic speed-up for time-domain convolution, similar to achievable with fast Fourier transform.

categories: quant-ph astro-ph.IM cs.CC cs.ET eess.SP


title: Leverage the Average: Averaged Sampling in Pre-Silicon Side-Channel Leakage Assessment

abstract: Pre-silicon side-channel leakage assessment is a useful tool to identify hardware vulnerabilities at design time, but it requires many high-resolution power traces and increases the power simulation cost of the design. By downsampling and averaging these high-resolution traces, we show that the power simulation cost can be considerably reduced without significant loss of side-channel leakage assessment quality. We introduce a theoretical basis for our claims. Our results demonstrate up to 6.5-fold power-simulation speed improvement on a gate-level side-channel leakage assessment of a RISC-V SoC. Furthermore, we clarify the conditions under which the averaged sampling technique can be successfully used.


title: Accelerating Stochastic Sequential Quadratic Programming for Equality Constrained Optimization using Predictive Variance Reduction

abstract: In this paper, we propose a stochastic method for solving equality constrained optimization problems that utilizes predictive variance reduction. Specifically, we develop a method based on the sequential quadratic programming paradigm that employs variance reduction in the gradient approximations. Under reasonable assumptions, we prove that a measure of first-order stationarity evaluated at the iterates generated by our proposed algorithm converges to zero in expectation from arbitrary starting points, for both constant and adaptive step size strategies. Finally, we demonstrate the practical performance of our proposed algorithm on constrained binary classification problems that arise in machine learning.


title: Stable Matching: Choosing Which Proposals to Make

abstract: To guarantee all agents are matched in general, the classic Deferred Acceptance algorithm needs complete preference lists. In practice, preference lists are short, yet stable matching still works well. This raises two questions: $\bullet$ Why does it work well? $\bullet$ Which proposals should agents include in their preference lists? We study these questions in a model, introduced by Lee [17], with preferences based on correlated cardinal utilities: these utilities are based on common public ratings of each agent together with individual private adjustments. Lee showed that for suitable utility functions, in large markets, with high probability, for most agents, all stable matchings yield similar valued utilities. By means of a new analysis, we strengthen Lee's result, showing that in large markets, with high probability, for $\it all$ but the agents with the lowest public ratings, all stable matchings yield similar valued utilities. We can then deduce that for $\it all$ but the agents with the lowest public ratings, each agent has an easily identified length $O(\log n)$ preference list that includes all of its stable matches, addressing the second question above. We note that this identification uses an initial communication phase. We extend these results to settings where the two sides have unequal numbers of agents, to many-to-one settings, e.g. employers and workers, and we also show the existence of an $\epsilon$-Bayes-Nash equilibrium in which every agent makes relatively few proposals. These results all rely on a new technique for sidestepping the conditioning between the tentative matching events that occur over the course of a run of the Deferred Acceptance algorithm. We complement these theoretical results with an experimental study.


title: Contextual Representation Learning beyond Masked Language Modeling

abstract: How do masked language models (MLMs) such as BERT learn contextual representations? In this work, we analyze the learning dynamics of MLMs. We find that MLMs adopt sampled embeddings as anchors to estimate and inject contextual semantics to representations, which limits the efficiency and effectiveness of MLMs. To address these issues, we propose TACO, a simple yet effective representation learning approach to directly model global semantics. TACO extracts and aligns contextual semantics hidden in contextualized representations to encourage models to attend global semantics when generating contextualized representations. Experiments on the GLUE benchmark show that TACO achieves up to 5x speedup and up to 1.2 points average improvement over existing MLMs. The code is available at https://github.com/FUZHIYI/TACO.


title: Uncertain Case Identifiers in Process Mining: A User Study of the Event-Case Correlation Problem on Click Data

abstract: Among the many sources of event data available today, a prominent one is user interaction data. User activity may be recorded during the use of an application or website, resulting in a type of user interaction data often called click data. An obstacle to the analysis of click data using process mining is the lack of a case identifier in the data. In this paper, we show a case and user study for event-case correlation on click data, in the context of user interaction events from a mobility sharing company. To reconstruct the case notion of the process, we apply a novel method to aggregate user interaction data in separate user sessions-interpreted as cases-based on neural networks. To validate our findings, we qualitatively discuss the impact of process mining analyses on the resulting well-formed event log through interviews with process experts.


title: Cohomological and motivic inclusion-exclusion

abstract: We categorify the inclusion-exclusion principle for partially ordered topological spaces and schemes to a filtration on the derived category of sheaves. As a consequence, we obtain functorial spectral sequences that generalize the two spectral sequences of a stratified space and certain Vassiliev-type spectral sequences; we also obtain Euler characteristic analogs in the Grothendieck ring of varieties. As an application, we give an algebro-geometric proof of Vakil and Wood's homological stability conjecture for the space of smooth hypersurface sections of a smooth projective variety. In characteristic zero this conjecture was previously established by Aumonier via topological methods.


title: Self-supervised Speaker Diarization

abstract: Over the last few years, deep learning has grown in popularity for speaker verification, identification, and diarization. Inarguably, a significant part of this success is due to the demonstrated effectiveness of their speaker representations. These, however, are heavily dependent on large amounts of annotated data and can be sensitive to new domains. This study proposes an entirely unsupervised deep-learning model for speaker diarization. Specifically, the study focuses on generating high-quality neural speaker representations without any annotated data, as well as on estimating secondary hyperparameters of the model without annotations. The speaker embeddings are represented by an encoder trained in a self-supervised fashion using pairs of adjacent segments assumed to be of the same speaker. The trained encoder model is then used to self-generate pseudo-labels to subsequently train a similarity score between different segments of the same call using probabilistic linear discriminant analysis (PLDA) and further to learn a clustering stopping threshold. We compared our model to state-of-the-art unsupervised as well as supervised baselines on the CallHome benchmarks. According to empirical results, our approach outperforms unsupervised methods when only two speakers are present in the call, and is only slightly worse than recent supervised models.


title: An ultra-deep multi-band VLA survey of the faint radio sky (COSMOS-XS): New constraints on the cosmic star formation history

abstract: We make use of ultra-deep 3 GHz Karl G. Jansky Very Large Array observations of the COSMOS field from the multi-band COSMOS-XS survey to infer radio luminosity functions (LFs) of star-forming galaxies (SFGs). Using $\sim$1300 SFGs with redshifts out to $z\sim4.6$, and fixing the faint and bright end shape of the radio LF to the local values, we find a strong redshift trend that can be fitted by pure luminosity evolution with the luminosity parameter given by $\alpha_L \propto (3.40 \pm 0.11) - (0.48 \pm 0.06)z$. We then combine the ultra-deep COSMOS-XS data-set with the shallower VLA-COSMOS $\mathrm{3\,GHz}$ large project data-set over the wider COSMOS field in order to fit for joint density+luminosity evolution, finding evidence for significant density evolution. By comparing the radio LFs to the observed far-infrared (FIR) and ultraviolet (UV) LFs, we find evidence of a significant underestimation of the UV LF by $21.6\%\, \pm \, 14.3 \, \%$ at high redshift ($3.3\,<\,z\,<\,4.6$, integrated down to $0.03\,L^{\star}_{z=3}$). We derive the cosmic star formation rate density (SFRD) by integrating the fitted radio LFs and find that the SFRD rises up to $z\,\sim\,1.8$ and then declines more rapidly than previous radio-based estimates. A direct comparison between the radio SFRD and a recent UV-based SFRD, where we integrate both LFs down to a consistent limit ($0.038\,L^{\star}_{z=3}$), reveals that the discrepancy between the radio and UV LFs translates to a significant ($\sim$1 dex) discrepancy in the derived SFRD at $z>3$, even assuming the latest dust corrections and without accounting for optically dark sources.


title: Ranking with submodular functions on a budget

abstract: Submodular maximization has been the backbone of many important machine-learning problems, and has applications to viral marketing, diversification, sensor placement, and more. However, the study of maximizing submodular functions has mainly been restricted in the context of selecting a set of items. On the other hand, many real-world applications require a solution that is a ranking over a set of items. The problem of ranking in the context of submodular function maximization has been considered before, but to a much lesser extent than item-selection formulations. In this paper, we explore a novel formulation for ranking items with submodular valuations and budget constraints. We refer to this problem as max-submodular ranking (MSR). In more detail, given a set of items and a set of non-decreasing submodular functions, where each function is associated with a budget, we aim to find a ranking of the set of items that maximizes the sum of values achieved by all functions under the budget constraints. For the MSR problem with cardinality- and knapsack-type budget constraints we propose practical algorithms with approximation guarantees. In addition, we perform an empirical evaluation, which demonstrates the superior performance of the proposed algorithms against strong baselines.


title: Plane wave implementation of the magnetic force theorem for magnetic exchange constants: Application to bulk Fe, Co and Ni

abstract: We present a plane wave implementation of the magnetic force theorem, which provides a first principles framework for extracting exchange constants parameterizing a classical Heisenberg model description of magnetic materials. It is shown that the full microscopic exchange tensor may be expressed in terms of the static Kohn-Sham susceptibility tensor and the exchange-correlation magnetic field. This formulation allows one to define arbitrary magnetic sites localized to predefined spatial regions, hence rendering the problem of finding Heisenberg parameters independent of any orbital decomposition of the problem. The susceptibility is calculated in a plane wave basis, which allows for systematic convergence with respect to unoccupied bands and spatial representation. We then apply the method to the well-studied problem of calculating adiabatic spin wave spectra for bulk Fe, Co and Ni, finding good agreement with previous calculations. In particular, we utilize the freedom of defining magnetic sites to show that the calculated Heisenberg parameters are robust towards changes in the definition of magnetic sites. This demonstrates that the magnetic sites can be regarded as well-defined and thus asserts the relevance of the Heisenberg model description despite the itinerant nature of the magnetic state.


title: Automatic Data Augmentation Selection and Parametrization in Contrastive Self-Supervised Speech Representation Learning

abstract: Contrastive learning enables learning useful audio and speech representations without ground-truth labels by maximizing the similarity between latent representations of similar signal segments. In this framework various data augmentation techniques are usually exploited to help enforce desired invariances within the learned representations, improving performance on various audio tasks thanks to more robust embeddings. Now, selecting the most relevant augmentations has proven crucial for better downstream performances. Thus, this work introduces a conditional independance-based method which allows for automatically selecting a suitable distribution on the choice of augmentations and their parametrization from a set of predefined ones, for contrastive self-supervised pre-training. This is performed with respect to a downstream task of interest, hence saving a costly hyper-parameter search. Experiments performed on two different downstream tasks validate the proposed approach showing better results than experimenting without augmentation or with baseline augmentations. We furthermore conduct a qualitative analysis of the automatically selected augmentations and their variation according to the considered final downstream dataset.


title: Brittle membranes in finite elasticity

abstract: This work is devoted to the variational derivation of a reduced model for brittle membranes in finite elasticity. The main mathematical tools we develop for our analysis are: (i) a new density result in $GSBV^{p}$ of functions satisfying a maximal-rank constraint on the subgradients, which can be approximated by $C^{1}$-local immersions on regular subdomains of the cracked set, and (ii) the construction of recovery sequences by means of suitable $W^{1,\infty}$ diffeomorphisms mapping the regular subdomains onto the fractured configuration.


title: Simplified Analysis on Filtering Sensitivity Trade-offs in Continuous- and Discrete-Time Systems

abstract: A simplified analysis is performed on the Bode-type filtering sensitivity trade-off integrals, which capture the sensitivity characteristics of the estimate and estimation error with respect to the process input and estimated signal in continuous- and discrete-time linear time-invariant filtering systems. Compared with the previous analyses based on complex analysis and Cauchy's residue theorem, the analysis results derived from the simplified method are more explicit, thorough, and require less restrictive assumptions. For continuous-time filtering systems, our simplified analysis reveals that apart from the non-minimum phase zero sets reported in the previous literature, the value and boundedness of filtering sensitivity integrals are also determined by the leading coefficients, relative degrees, minimum phase zeros, and poles of plants and filters. By invoking the simplified method, a comprehensive analysis on the discrete-time filtering sensitivity integrals is conducted for the first time. Numerical examples are provided to verify the validity and correctness of the simplified analysis.


title: Third-harmonic generation of spatially structured light in a quasi-periodically poled crystal

abstract: Nonlinear optical processes of spatially structured light, including optical vortex and vector optical fields, have stimulated a lot of interesting physical effects and found a variety of important applications ranging from optical imaging to quantum information processing. However, high harmonic generation of vector optical fields with space-varying polarization states is still a challenge. Here we demonstrate third harmonic generation of spatially structured light including vector optical fields, in a nonlinear Sagnac interferometer containing a carefully designed quasi-periodically poled potassium titanyl phosphate for the first time. The experimental results are in good agreement with the theoretical predictions. Our results will enable to manipulate spatially structured light or photons at new wavelengths and carrying higher orbital angular momentum. Our approach has the potential applications for the research of optical skyrmions and may open up new opportunities to produce spatially structured entangled photons for quantum communication and computation.


title: Calculus and fine properties of functions of bounded variation on RCD spaces

abstract: We generalize the classical calculus rules satisfied by functions of bounded variation to the framework of RCD spaces. In the infinite dimensional setting we are able to define an analogue of the distributional differential and on finite dimensional spaces we prove fine properties and suitable calculus rules, such as the Vol'pert chain rule for vector valued functions.


title: Nonlinear manipulation of orbital angular momentum spectra with second- and third- harmonic generation in a quasi-periodically poled crystal

abstract: Optical orbital angular momentum (OAM), as an important degree of freedom of light, has been attracted extensive attention, due to its intrinsic feature of natural discrete infinite dimension. Manipulation of OAM spectra is crucial for many impressive applications from classical to quantum realms, in particular, nonlinear manipulation of OAM spectra. Here we realized the nonlinear manipulation of OAM spectra by using the simultaneous second- and third-harmonic generation in a single nonlinear crystal of quasi-periodically poled potassium titanyl phosphate, for fundamental waves with a variety of OAM spectra, especially for customized OAM spectra of the second and third harmonics. The experimental results confirmed the theoretical predictions. Our approach not only provides a novel way to manipulate OAM spectra at new shorter wavelengths that are hard to be directly generated, but also may find new applications towards multiplexing in classical optics and high-dimensional information processing in quantum optics.


title: Path Defense in Dynamic Defender-Attacker Blotto Games (dDAB) with Limited Information

abstract: We consider a path guarding problem in dynamic Defender-Attacker Blotto games (dDAB), where a team of robots must defend a path in a graph against adversarial agents. Multi-robot systems are particularly well suited to this application, as recent work has shown the effectiveness of these systems in related areas such as perimeter defense and surveillance. When designing a defender policy that guarantees the defense of a path, information about the adversary and the environment can be helpful and may reduce the number of resources required by the defender to achieve a sufficient level of security. In this work, we characterize the necessary and sufficient number of assets needed to guarantee the defense of a shortest path between two nodes in dDAB games when the defender can only detect assets within $k$-hops of a shortest path. By characterizing the relationship between sensing horizon and required resources, we show that increasing the sensing capability of the defender greatly reduces the number of defender assets needed to defend the path.


title: Non-inertial quantum clock frames lead to non-Hermitian dynamics

abstract: The operational approach to time is a cornerstone of relativistic theories, as evidenced by the notion of proper time. In standard quantum mechanics, however, time is an external parameter. Recently, many attempts have been made to extend the notion of proper time to quantum mechanics within a relational framework. Here, we use similar ideas combined with the relativistic mass-energy equivalence to study an accelerating massive quantum particle with an internal clock system. We show that the ensuing evolution from the perspective of the particle's internal clock is non-Hermitian. This result does not rely on specific implementations of the clock. As a particular consequence, we prove that the effective Hamiltonian of two gravitationally interacting particles is non-Hermitian from the perspective of the clock of either particle.


title: Asymptotic behavior for anisotropic fractional energies

abstract: In this paper we investigate the asymptotic behavior of anisotropic fractional energies as the fractional parameter $s\in (0,1)$ approaches both $s\uparrow 1$ and $s\downarrow 0$ in the spirit of the celebrated papers of Bourgain-Brezis-Mironescu \cite{BBM} and Maz'ya-Shaposhnikova \cite{MS}. Then, focusing con the case $s\uparrow 1$ we analyze the behavior of solutions to the corresponding minimization problems and finally, we also study the problem where a homogenization effect is combined with the localization phenomena that occurs when $s\uparrow 1$.


title: GRAM: Fast Fine-tuning of Pre-trained Language Models for Content-based Collaborative Filtering

abstract: Content-based collaborative filtering (CCF) predicts user-item interactions based on both users' interaction history and items' content information. Recently, pre-trained language models (PLM) have been used to extract high-quality item encodings for CCF. However, it is resource-intensive to train a PLM-based CCF model in an end-to-end (E2E) manner, since optimization involves back-propagating through every content encoding within a given user interaction sequence. To tackle this issue, we propose GRAM (GRadient Accumulation for Multi-modality in CCF), which exploits the fact that a given item often appears multiple times within a batch of interaction histories. Specifically, Single-step GRAM aggregates each item encoding's gradients for back-propagation, with theoretic equivalence to the standard E2E training. As an extension of Single-step GRAM, we propose Multi-step GRAM, which increases the gradient update latency, achieving a further speedup with drastically less GPU memory. GRAM significantly improves training efficiency (up to 146x) on five datasets from two task domains of Knowledge Tracing and News Recommendation. Our code is available at https://github.com/yoonseok312/GRAM.


title: Transport coefficients of heavy quarkonia comparing with heavy quark coefficients

abstract: We revisit the transport coefficients of heavy quarkonia moving in high-temperature QCD plasmas. The thermal width and mass shift for heavy quarkonia are closely related to the momentum diffusion coefficient and its dispersive counterpart for heavy quarks, respectively. For quarkonium at rest in plasmas the longitudinal gluon part of the color-singlet self-energy diagram is sufficient to determine the leading-order thermal width, whereas the momentum dependence is obtained from the transverse gluon channel. Using the quarkonium-gluon effective vertex based on the dipole interaction of color charges, we discuss the damping rate, the effective rest and kinetic mass shifts of slowly moving quarkonia and compare with the corresponding coefficients of heavy quarks.


title: Superspace First-order Formalism for Massless Arbitrary Superspin Supermultiplets

abstract: A new description of free massless superfields of arbitrary superspin $Y$ ($Y>1/2$) is proposed. Following the first-order philosophy, we relax some of the properties (reality, gauge redundancy) of the unconstrained higher spin prepotentials and we construct first and half order invariants quantities. These are used to write trivially invariant actions. Additional auxiliary superfields that play the role of spin connections are used to enforce a new local symmetry that restores the degrees of freedom.


title: Towards Using Gameplay Videos for Detecting Issues in Video Games

abstract: Context. The game industry is increasingly growing in recent years. Every day, millions of people play video games, not only as a hobby, but also for professional competitions (e.g., e-sports or speed-running) or for making business by entertaining others (e.g., streamers). The latter daily produce a large amount of gameplay videos in which they also comment live what they experience. Since no software and, thus, no video game is perfect, streamers may encounter several problems (such as bugs, glitches, or performance issues). However, it is unlikely that they explicitly report such issues to developers. The identified problems may negatively impact the user's gaming experience and, in turn, can harm the reputation of the game and of the producer. Objective. We aim at proposing and empirically evaluating GELID, an approach for automatically extracting relevant information from gameplay videos by (i) identifying video segments in which streamers experienced anomalies; (ii) categorizing them based on their type and context in which appear (e.g., bugs or glitches appearing in a specific level or scene of the game); and (iii) clustering segments that regard the same specific issue. Method. We will build on top of existing approaches able to identify videos that are relevant for a specific video game. These represent the input of GELID that processes them to achieve the defined objectives. We will experiment GELID on several gameplay videos to understand the extent to which each of its steps is effective.


title: Is the $W$-boson mass enhanced by the axion-like particle, dark photon, or chameleon dark energy?

abstract: The $W$-boson mass ($m_{W}=80.4335 \pm 0.0094 \mathrm{GeV}$) measured by the Collider Detector at Fermilab collaboration is greater than the standard model (SM) prediction at a confidence level of $7\sigma$, strongly suggesting the presence of new particles or fields. In the literature, various new particles and/or fields have been introduced to explain the astrophysical and experimental data, and their presence, in principle, may also enhance the $W$-boson mass. In this study, we investigate axion-like particle (ALP), dark photon (DP), and chameleon dark energy (DE) models for a solution to the $W$-boson mass excess. We find that the ALP and DP interpretations have been significantly narrowed down by global electroweak fits. The possibility of attributing the $W-$boson mass anomaly to the chameleon DE is ruled out by other experiments.


title: Stress accumulation versus shape flattening in frustrated, warped-jigsaw particle assemblies

abstract: Geometrically frustrated assembly has emerged as an attractive paradigm for understanding and engineering assemblies with self-limiting, finite equilibrium dimensions. We propose and study a novel 2D particle based on a so-called "warped jigsaw" (WJ) shape design: directional bonds in a tapered particle favor curvature along multi-particle rows that frustrate 2D lattice order. We investigate how large-scale intra-assembly stress gradients emerge from the microscopic properties of the particles using a combination of numerical simulation and continuum elasticity. WJ particles can favor anisotropic ribbon assemblies, whose lateral width may be self-limiting depending on the relative strength of cohesive to elastic forces in the assembly, which we show to be controlled by the range of interactions and degree of shape misfit. The upper limits of self-limited size are controlled by the crossover between two elastic modes in assembly: the accumulation of shear with increasing width at small widths giving way to unbending of preferred row curvature, permitting assembly to grow to unlimited sizes. We show that the stiffness controlling distinct elastic modes is governed by combination and placement of repulsive and attractive binding regions, providing a means to extend the range of accumulating stress to sizes that are far in excess of the single particle size, which we corroborate via numerical studies of discrete particles of variable interactions. Lastly, we relate the ground-state energetics of the model to lower and upper limits on equilibrium assembly size control set by the fluctuations of width along the ribbon boundary.


title: Quantum Routing with Teleportation

abstract: We study the problem of implementing arbitrary permutations of qubits under interaction constraints in quantum systems that allow for arbitrarily fast local operations and classical communication (LOCC). In particular, we show examples of speedups over swap-based and more general unitary routing methods by distributing entanglement and using LOCC to perform quantum teleportation. We further describe an example of an interaction graph for which teleportation gives a logarithmic speedup in the worst-case routing time over swap-based routing. We also study limits on the speedup afforded by quantum teleportation - showing an $O(\sqrt{N \log N})$ upper bound on the separation in routing time for any interaction graph - and give tighter bounds for some common classes of graphs.


title: The Complexity of Infinite-Horizon General-Sum Stochastic Games

abstract: We study the complexity of computing stationary Nash equilibrium (NE) in n-player infinite-horizon general-sum stochastic games. We focus on the problem of computing NE in such stochastic games when each player is restricted to choosing a stationary policy and rewards are discounted. First, we prove that computing such NE is in PPAD (in addition to clearly being PPAD-hard). Second, we consider turn-based specializations of such games where at each state there is at most a single player that can take actions and show that these (seemingly-simpler) games remain PPAD-hard. Third, we show that under further structural assumptions on the rewards computing NE in such turn-based games is possible in polynomial time. Towards achieving these results we establish structural facts about stochastic games of broader utility, including monotonicity of utilities under single-state single-action changes and reductions to settings where each player controls a single state.


title: A Low-Cost Robot Science Kit for Education with Symbolic Regression for Hypothesis Discovery and Validation

abstract: The next generation of physical science involves robot scientists - autonomous physical science systems capable of experimental design, execution, and analysis in a closed loop. Such systems have shown real-world success for scientific exploration and discovery, including the first discovery of a best-in-class material. To build and use these systems, the next generation workforce requires expertise in diverse areas including ML, control systems, measurement science, materials synthesis, decision theory, among others. However, education is lagging. Educators need a low-cost, easy-to-use platform to teach the required skills. Industry can also use such a platform for developing and evaluating autonomous physical science methodologies. We present the next generation in science education, a kit for building a low-cost autonomous scientist. The kit was used during two courses at the University of Maryland to teach undergraduate and graduate students autonomous physical science. We discuss its use in the course and its greater capability to teach the dual tasks of autonomous model exploration, optimization, and determination, with an example of autonomous experimental "discovery" of the Henderson-Hasselbalch equation.


title: Improving VANET's Performance by Incorporated Fog-Cloud Layer (FCL)

abstract: Because of its usefulness in various fields including as safety applications, traffic control applications, and entertainment applications, VANET is an essential topic that is now being investigated intensively. VANET confronts numerous challenges in terms of reaction time, storage capacity, and reliability, particularly in real-time applications. As a result, merging cloud computing and cloud computing has recently been researched. The goal of this study is to develop a system that merges the fog and cloud layers into a single layer known as the included fog-cloud layer. To lower the time it takes for real-time applications on VANETs to respond while also improving data flow management over the Internet and achieving an efficient perception service while avoiding the high cost of cloud connectivity.


title: Internet of Things Protection and Encryption: A Survey

abstract: The Internet of Things (IoT) has enabled a wide range of sectors to interact effectively with their consumers in order to deliver seamless services and products. Despite the widespread availability of (IoT) devices and their Internet connectivity, they have a low level of information security integrity. A number of security methods were proposed and evaluated in our research, and comparisons were made in terms of energy and time in the encryption and decryption processes. A ratification procedure is also performed on the devices in the main manager, which is regarded as a full firewall for IoT devices. The suggested algorithm's success has been shown utilizing low-cost Adriano Uno and Raspberry Pi devices. Arduous Uno has been used to demonstrate the encryption process in low-energy devices using a variety of algorithms, including Enhanced Algorithm for Data Integrity and Authentication (EDAI) and raspberry, which serves as a safety manager in low-energy device molecules. A variety of enhanced algorithms used in conjunction with Blockchain software have also assured the security and integrity of the information. These findings and discussions are presented at the conclusion of the paper.


title: Internet of Robotic Things: Current Technologies and Applications

abstract: The Internet of Robotic Things (IoRT) is a new domain that aims to link the IoT environment with robotic systems and technologies. IoRT connects robotic systems, connects them to the cloud, and transfers critical information as well as knowledge exchange to conduct complicated and intricate activities that a human cannot readily perform. The pertinent notion of IoRT has been discussed in this paper, along with the issues that this area faces on a daily basis. Furthermore, technological applications have been examined in order to provide a better understanding of IoRT and its current development phenomenon. The study describes three layers of IoRT infrastructure: network and control, physical, and service and application layer. In the next section, IoRT problems have been presented, with a focus on data processing and the security and safety of IoRT technological systems. In addition to discussing the difficulties, appropriate solutions have been offered and recommended. IoRT is regarded as an essential technology with the ability to bring about a plethora of benefits in smart society upon adoption, contributing to the generation and development of smart cities and industries in the near future.


title: Interpreting electroweak precision data including the $W$-mass CDF anomaly

abstract: We perform a global fit of electroweak data, finding that the anomaly in the $W$ mass claimed by the CDF collaboration can be reproduced as a universal new-physics correction to the $T$ parameter or $| H^\dagger D_\mu H|^2$ operator. Contributions at tree-level from multi-TeV new physics can fit the anomaly compatibly with collider bounds: we explore which scalar vacuum expectation values (such as a triplet with zero hypercharge), $Z'$ vectors (such as a $Z'$ coupled to the Higgs only), little-Higgs models or higher-dimensional geometries provide good global fits. On the other hand, new physics that contributes at loop-level must be around the weak scale to fit the anomaly. Thereby it generically conflicts with collider bounds, that can be bypassed assuming special kinematics like quasi-degenerate particles that decay into Dark Matter (such as an inert Higgs doublet or appropriate supersymmetric particles).


title: Discrepancy in Grain Size Estimation of H${}_{2}$O Ice in the Outer Solar System and the Interstellar Medium

abstract: Widespread detection of amorphous and crystalline water (H${}_{2}$O) ice in the outer solar system bodies and the interstellar medium has been confirmed over the past decades. Radiative transfer models (RTMs) are used to estimate the grain sizes of H${}_{2}$O ice from near-infrared (NIR) wavelengths. Wide discrepancies in the estimation of H${}_{2}$O ice grain size on the Saturnian moons (Hansen, 2009), as well as nitrogen (N${}_{2}$) and methane (CH${}_{4}$) ices on Kuiper belt objects have been reported owing to different scattering models used (Emran and Chevrier, 2022). We assess the discrepancy in the grain size estimation of H${}_{2}$O ice at a temperature of 15, 40, 60, and 80 K (amorphous) and 20, 40, 60, and 80 K (crystalline) - relevant to the outer solar system and beyond. We compare the single scattering albedos of H${}_{2}$O ice phases using the Mie theory (Mie, 1908) and Hapke approximation models (Hapke, 1993) from the optical constant at NIR wavelengths (1 - 5 $\mu$m). This study reveals that the Hapke approximation models - Hapke slab and internal scattering model (ISM) - predict grain size of the crystalline phase, overall, much better compared to the amorphous phase at temperatures of 15 - 80 K. However, the Hapke slab model estimates much approximate grain sizes, in general, to that of the Mie model's prediction while ISM exhibits a higher uncertainty. We recommend using the Mie model for unknown spectra of outer solar system bodies and beyond in estimating H${}_{2}$O ice grain sizes. While choosing the approximation model for employing RTMs, we recommend using a Hapke slab approximation model over the internal scattering model.


title: Rotation rate of high latitude and near polar coronal holes

abstract: For the period of 1997-2006, coronal holes detected in the SOHO/EIT 195 $\AA$ full disk calibrated images are used to compute the rotation rates of high latitude and near polar coronal holes and, their latitudinal variation is investigated. We find that, for different latitude zones between $80^{o}$ north and $75^{o}$ south, for all their area, the number of days observed on the solar disk, and their latitudes, coronal holes rotate rigidly. Estimated magnitudes of sidereal rotation rate of the coronal holes are: $13.051 \pm 0.206$ deg/day for the equator, $12.993 \pm 0.064$ deg/day in the region of higher latitudes and, $12.999 \pm 0.329$ deg/day near the polar regions. For all the latitudes and the area, we have also investigated the annual variation of rotation rates of these coronal holes. We find that, for all the years, coronal holes rotate rigidly and their magnitude of equatorial, high latitude and polar region rotation rates are independent of magnitude of solar activity.


title: Nonequilibrium effects and transverse spherocity in ultra-relativistic proton-nucleus collisions

abstract: We investigate the effects of nonequilibrium dynamics in small colliding systems by comparing a nonequilibrium transport approach, the Parton-Hadron-String-Dynamics (PHSD), with a (2+1)D viscous hydrodynamic model, VISHNew. Focusing on p+Pb collisions at LHC energy, we extract the initial conditions for the hydrodynamic model from PHSD, in order to reduce the impact of the early out-of-equilibrium dynamics and focus on the traces of nonequilibiurm in the ensuing medium evolution. We find that in the transport approach quantities like energy density and bulk viscous pressure are highly inhomogeneous on the transverse plane during the whole evolution, whereas the hydrodynamic simulations dissolve more efficiently the initial spatial irregularities, still keeping a high degree of inhomogeneity due to the smaller size and lifetime of the medium produced in p+Pb collisions with respect to heavy-ion reactions. As a first step that will help to identify the impact of these nonequilibrium effects on final observables in proton-nucleus collisions, we perform an analysis of the transverse spherocity, an event-shape observable able to distinguish between jetty and isotropic configurations of transverse momenta. We found that the spherocity distribution in PHSD is slightly shifted towards the isotropic limit with respect to the hydrodynamic result. Even though this dissimilarity is partially due to the difference in the final charged particle production, it mainly comes from the different description within the two frameworks of the medium produced in small colliding systems. This finding supports the idea that multi-differential measurements, such as those based on event categorization according to multiplicity and spherocity, are useful to study final-state observables in ultrarelativistic proton-nucleus collisions.


title: Particle dynamics in non-rotating Konoplya and Zhidenko black hole immersed in an external uniform magnetic field

abstract: In this paper, we investigate the dynamics of particles in the background of non-rotating Konoplya and Zhidenko black hole that is immersed in an external uniform magnetic field. The work involves circular motion of electric and magnetic particles and particle acceleration. First the motion of electric charged particles is considered. The effective potential, energy and angular momentum expressions are obtained along with their graphs. The analysis of ISCO shows that radii of ISCO decrease with magnetic interaction parameter. Motion of magnetically charged particles has also been studied.


title: Efficient Feedback and Partial Credit Grading for Proof Blocks Problems

abstract: Proof Blocks is a software tool that allows students to practice writing mathematical proofs by dragging and dropping lines instead of writing proofs from scratch. Proof Blocks offers the capability of assigning partial credit and providing solution quality feedback to students. This is done by computing the edit distance from a student's submission to some predefined set of solutions. In this work, we propose an algorithm for the edit distance problem that significantly outperforms the baseline procedure of exhaustively enumerating over the entire search space. Our algorithm relies on a reduction to the minimum vertex cover problem. We benchmark our algorithm on thousands of student submissions from multiple courses, showing that the baseline algorithm is intractable, and that our proposed algorithm is critical to enable classroom deployment. Our new algorithm has also been used for problems in many other domains where the solution space can be modeled as a DAG, including but not limited to Parsons Problems for writing code, helping students understand packet ordering in networking protocols, and helping students sketch solution steps for physics problems. Integrated into multiple learning management systems, the algorithm serves thousands of students each year.