title: $1D$ to $nD$: A Meta Algorithm for Multivariate Global Optimization via Univariate Optimizers

abstract: In this work, we propose a meta algorithm that can solve a multivariate global optimization problem using univariate global optimizers. Although the univariate global optimization does not receive much attention compared to the multivariate case, which is more emphasized in academia and industry; we show that it is still relevant and can be directly used to solve problems of multivariate optimization. We also provide the corresponding regret bounds in terms of the time horizon $T$ and the average regret of the univariate optimizer, when it is robust against nonnegative noises with robust regret guarantees.


title: Some extensions of Krasnoselskii's fixed point result for real functions

abstract: We extend Krasnoselskii's fixed point result to non-self-real functions. We find a new and simple proof for Hillam's result. In our approach, we don't assume the image of the related mapping to be compact or bounded. In this way, we extend Hillam's result to self-mappings on $\mathbb R$. Finally, we present a new proof for the global convergence of the Newton-Raphson method.


title: Sparse Identification of Lagrangian for Nonlinear Dynamical Systems via Proximal Gradient Method

abstract: Distilling physical laws autonomously from data has been of great interest in many scientific areas. The sparse identification of nonlinear dynamics (SINDy) and its variations have been developed to extract the underlying governing equations from observation data. However, SINDy faces certain difficulties when the dynamics contain rational functions. The principle of the least action governs many mechanical systems, mathematically expressed in the Lagrangian formula. Compared to the actual equation of motions, the Lagrangian is much more concise, especially for complex systems, and does not usually contain rational functions for mechanical systems. Only a few methods have been proposed to extract the Lagrangian from measurement data so far. One of such methods, Lagrangian-SINDy, can extract the true form of Lagrangian of dynamical systems from data but suffers when noises are present. In this work, we develop an extended version of Lagrangian-SINDy (xL-SINDy) to obtain the Lagrangian of dynamical systems from noisy measurement data. We incorporate the concept of SINDy and utilize the proximal gradient method to obtain sparse expressions of the Lagrangian. We demonstrated the effectiveness of xL-SINDy against different noise levels with four nonlinear dynamics: a single pendulum, a cart-pendulum, a double pendulum, and a spherical pendulum. Furthermore, we also verified the performance of xL-SINDy against SINDy-PI (parallel, implicit), a recent robust variant of SINDy that can handle implicit dynamics and rational nonlinearities. Our experiment results show that xL-SINDy is 8-20 times more robust than SINDy-PI in the presence of noise.


title: Synchrotron Pair Production Equilibrium in Relativistic Magnetic Reconnection

abstract: Magnetic reconnection is ubiquitous in astrophysical systems, and in many such systems, the plasma suffers from significant cooling due to synchrotron radiation. We study relativistic magnetic reconnection in the presence of strong synchrotron cooling, where the ambient magnetization $\sigma$ is high and the magnetic compactness $\ell_{B}$ of the system is of order unity. In this regime, $e^{\pm}$ pair production from synchrotron photons is inevitable, and this process can regulate the magnetization $\sigma$ surrounding the current sheet. We investigate this self-regulation analytically and find a self-consistent steady state for a given magnetic compactness of the system and initial magnetization. This result helps estimate the self-consistent upstream magnetization in systems where plasma density is poorly constrained, and can be useful for a variety of astrophysical systems. As illustrative examples, we apply it to study the properties of reconnecting current sheets near the supermassive black hole of M87, as well as the equatorial current sheet outside the light cylinder of the Crab pulsar.


title: Adaptive Passivity-Based Pose Tracking Control of Cable-Driven Parallel Robots for Multiple Attitude Parameterizations

abstract: The proposed control method uses an adaptive feedforward-based controller to establish a passive input-output mapping for the CDPR that is used alongside a linear time-invariant strictly positive real feedback controller to guarantee robust closed-loop input-output stability and asymptotic pose trajectory tracking via the passivity theorem. A novelty of the proposed controller is its formulation for use with a range of payload attitude parameterizations, including any unconstrained attitude parameterization, the quaternion, or the direction cosine matrix (DCM). The performance and robustness of the proposed controller is demonstrated through numerical simulations of a CDPR with rigid and flexible cables. The results demonstrate the importance of carefully defining the CDPR's pose error, which is performed in multiplicative fashion when using the quaternion and DCM, and in a specific additive fashion when using unconstrained attitude parameters (e.g., an Euler-angle sequence).


title: Explicit Low-Bandwidth Evaluation Schemes for Weighted Sums of Reed-Solomon-Coded Symbols

abstract: Motivated by applications in distributed storage, distributed computing, and homomorphic secret sharing, we study communication-efficient schemes for computing linear combinations of coded symbols. Specifically, we design low-bandwidth schemes that evaluate the weighted sum of $\ell$ coded symbols in a codeword $\pmb{c}\in\mathbb{F}^n$, when we are given access to $d$ of the remaining components in $\pmb{c}$. Formally, suppose that $\mathbb{F}$ is a field extension of $\mathbb{B}$ of degree $t$. Let $\pmb{c}$ be a codeword in a Reed-Solomon code of dimension $k$ and our task is to compute the weighted sum of $\ell$ coded symbols. In this paper, for some $s<t$, we provide an explicit scheme that performs this task by downloading $d(t-s)$ sub-symbols in $\mathbb{B}$ from $d$ available nodes, whenever $d\geq \ell|\mathbb{B}|^s-\ell+k$. In many cases, our scheme outperforms previous schemes in the literature. Furthermore, we provide a characterization of evaluation schemes for general linear codes. Then in the special case of Reed-Solomon codes, we use this characterization to derive a lower bound for the evaluation bandwidth.


title: Neuromorphic computing using wavelength-division multiplexing

abstract: Optical neural networks (ONNs), or optical neuromorphic hardware accelerators, have the potential to dramatically enhance the computing power and energy efficiency of mainstream electronic processors, due to their ultralarge bandwidths of up to 10s of terahertz together with their analog architecture that avoids the need for reading and writing data back and forth. Different multiplexing techniques have been employed to demonstrate ONNs, amongst which wavelength division multiplexing (WDM) techniques make sufficient use of the unique advantages of optics in terms of broad bandwidths. Here, we review recent advances in WDM based ONNs, focusing on methods that use integrated microcombs to implement ONNs. We present results for human image processing using an optical convolution accelerator operating at 11 Tera operations per second. The open challenges and limitations of ONNs that need to be addressed for future applications are also discussed.


title: Analyzing Population-Level Trials as N-of-1 Trials: an Application to Gait

abstract: Studying individual causal effects of health interventions is of interest whenever intervention effects are heterogeneous between study participants. Conducting N-of-1 trials, which are single-person randomized controlled trials, is the gold standard for their analysis. In this study, we propose to re-analyze existing population-level studies as N-of-1 trials as an alternative, and we use gait as a use case for illustration. Gait data were collected from 16 young and healthy participants under fatigued and non-fatigued, as well as under single-task (only walking) and dual-task (walking while performing a cognitive task) conditions. We first computed standard population-level ANOVA models to evaluate differences in gait parameters (stride length and stride time) across conditions. Then, we estimated the effect of the interventions on gait parameters on the individual level through Bayesian linear mixed models, viewing each participant as their own trial, and compared the results. The results illustrated that while few overall population-level effects were visible, individual-level analyses showed nuanced differences between participants. Baseline values of the gait parameters varied largely among all participants, and the changes induced by fatigue and cognitive task performance were also highly heterogeneous, with some individuals showing effects in opposite direction. These differences between population-level and individual-level analyses were more pronounced for the fatigue intervention compared to the cognitive task intervention. Following our empirical analysis, we discuss re-analyzing population studies through the lens of N-of-1 trials more generally and highlight important considerations and requirements. Our work encourages future studies to investigate individual effects using population-level data.


title: 3D Textured Shape Recovery with Learned Geometric Priors

abstract: 3D textured shape recovery from partial scans is crucial for many real-world applications. Existing approaches have demonstrated the efficacy of implicit function representation, but they suffer from partial inputs with severe occlusions and varying object types, which greatly hinders their application value in the real world. This technical report presents our approach to address these limitations by incorporating learned geometric priors. To this end, we generate a SMPL model from learned pose prediction and fuse it into the partial input to add prior knowledge of human bodies. We also propose a novel completeness-aware bounding box adaptation for handling different levels of scales and partialness of partial scans.


title: Goldfish: No More Attacks on Ethereum?!

abstract: The LMD GHOST consensus protocol is a critical component of proof-of-stake Ethereum. In its current form, this protocol is brittle, as evidenced by recent attacks and patching attempts. We propose Goldfish, a new protocol that satisfies key properties required of a drop-in replacement for LMD GHOST: Goldfish is secure in the sleepy model, assuming a majority of the validators follows the protocol. Goldfish is reorg resilient so that honestly produced blocks are guaranteed inclusion in the ledger, and it supports fast confirmation with expected confirmation latency independent of the desired security level. Subsampling validators can improve the communication efficiency of Goldfish, and Goldfish is composable with finality/accountability gadgets. Crucially, Goldfish is structurally similar to LMD GHOST, providing a credible path to adoption in Ethereum. Attacks on LMD GHOST exploit lack of coordination among honest validators, typically provided by a locking mechanism in classical BFT protocols. However, locking requires votes from a quorum of all participants and is not compatible with fluctuating participation. Goldfish is powered by a novel coordination mechanism to synchronize the honest validators' actions. Experiments with our prototype implementation of Goldfish suggest practicality.


title: Bullseye dielectric cavities for photon collection from a surface-mounted quantum-light-emitter

abstract: Coupling light from a point source to a propagating mode is an important problem in nano-photonics and is essential for many applications in quantum optics. Circular "bullseye" cavities, consisting of concentric rings of alternating refractive index, are a promising technology that can achieve near-unity coupling into a first lens. Here we design a bullseye structure suitable for enhancing the emission from dye molecules, 2D materials and nano-diamonds positioned on the surface of these cavities. A periodic design of cavity, meeting the Bragg scattering condition, achieves a Purcell factor of 22.5 and collection efficiency of 80 %. We also tackle the more challenging task of designing a cavity for coupling to a low numerical aperture fibre in the near field. Using an iterative procedure, we show that apodized (non-periodic) rings can achieve a collection efficiency that exceeds the periodic Bragg cavity.


title: Low-energy nuclear physics and global neutron star properties

abstract: We address the question of the role of low-energy nuclear physics data in constraining neutron star global properties, e.g., masses, radii, angular momentum, and tidal deformability, in the absence of a phase transition in dense matter. To do so, we assess the capacity of 415 relativistic mean field and non-relativistic Skyrme-type interactions to reproduce the ground state binding energies, the charge radii and the giant monopole resonances of a set of spherical nuclei. The interactions are classified according to their ability to describe these characteristics and we show that a tight correlation between the symmetry energy and its slope is obtained providing $N=Z$ and $N\ne Z$ nuclei are described with the same accuracy (mainly driven by the charge radius data). By additionally imposing the constraints from isobaric analog states and neutron skin radius in $^{208}$Pb, we obtain the following estimates: $E_{sym,2}=31.8\pm 0.7$ MeV and $L_{sym,2}=58.1\pm 9.0$ MeV. We then analyze predictions of neutron star properties and we find that the 1.4$M_\odot$ neutron star (NS) radius lies between 12 and 14 km for the "better" nuclear interactions. We show that i) the better reproduction of low-energy nuclear physics data by the nuclear models only weakly impacts the global properties of canonical mass neutron stars and ii) the experimental constraint on the symmetry energy is the most effective one for reducing the uncertainties in NS matter. However, since the density region where constraints are required are well above densities in finite nuclei, the largest uncertainty originates from the density dependence of the EDF, which remains largely unknown.


title: A Test for FLOPs as a Discriminant for Linear Algebra Algorithms

abstract: Linear algebra expressions, which play a central role in countless scientific computations, are often computed via a sequence of calls to existing libraries of building blocks (such as those provided by BLAS and LAPACK). A sequence identifies a computing strategy, i.e., an algorithm, and normally for one linear algebra expression many alternative algorithms exist. Although mathematically equivalent, those algorithms might exhibit significant differences in terms of performance. Several high-level languages and tools for matrix computations such as Julia, Armadillo, Linnea, etc., make algorithmic choices by minimizing the number of Floating Point Operations (FLOPs). However, there can be several algorithms that share the same (or have nearly identical) number of FLOPs; in many cases, these algorithms exhibit execution times which are statistically equivalent and one could arbitrarily select one of them as the best algorithm. It is however not unlikely to find cases where the execution times are significantly different from one another (despite the FLOP count being almost the same). It is also possible that the algorithm that minimizes FLOPs is not the one that minimizes execution time. In this work, we develop a methodology to test the reliability of FLOPs as discriminant for linear algebra algorithms. Given a set of algorithms (for an instance of a linear algebra expression) as input, the methodology ranks them into performance classes; i.e., multiple algorithms are allowed to share the same rank. To this end, we measure the algorithms iteratively until the changes in the ranks converge to a value close to zero. FLOPs are a valid discriminant for an instance if all the algorithms with minimum FLOPs are assigned the best rank; otherwise, the instance is regarded as an anomaly, which can then be used in the investigation of the root cause of performance differences.


title: A Ridge-Regularised Jackknifed Anderson-Rubin Test

abstract: We consider hypothesis testing in instrumental variable regression models with few included exogenous covariates but many instruments -- possibly more than the number of observations. We show that a ridge-regularised version of the jackknifed Anderson Rubin (1949, henceforth AR) test controls asymptotic size in the presence of heteroskedasticity, and when the instruments may be arbitrarily weak. Asymptotic size control is established under weaker assumptions than those imposed for recently proposed jackknifed AR tests in the literature. Furthermore, ridge-regularisation extends the scope of jackknifed AR tests to situations in which there are more instruments than observations. Monte-Carlo simulations indicate that our method has favourable finite-sample size and power properties compared to recently proposed alternative approaches in the literature. An empirical application on the elasticity of substitution between immigrants and natives in the US illustrates the usefulness of the proposed method for practitioners.


title: VulCurator: A Vulnerability-Fixing Commit Detector

abstract: Open-source software (OSS) vulnerability management process is important nowadays, as the number of discovered OSS vulnerabilities is increasing over time. Monitoring vulnerability-fixing commits is a part of the standard process to prevent vulnerability exploitation. Manually detecting vulnerability-fixing commits is, however, time consuming due to the possibly large number of commits to review. Recently, many techniques have been proposed to automatically detect vulnerability-fixing commits using machine learning. These solutions either: (1) did not use deep learning, or (2) use deep learning on only limited sources of information. This paper proposes VulCurator, a tool that leverages deep learning on richer sources of information, including commit messages, code changes and issue reports for vulnerability-fixing commit classifica- tion. Our experimental results show that VulCurator outperforms the state-of-the-art baselines up to 16.1% in terms of F1-score. VulCurator tool is publicly available at https://github.com/ntgiang71096/VFDetector and https://zenodo.org/record/7034132#.Yw3MN-xBzDI, with a demo video at https://youtu.be/uMlFmWSJYOE.


title: Cooperative trajectory planning algorithm of USV-UAV with hull dynamic constraints

abstract: Efficient trajectory generation in complex dynamic environments remains an open problem in the unmanned surface vehicle (USV). The perception of the USV is usually interfered with by the swing of the hull and the ambient weather, making it challenging to plan the optimal USV trajectories. In this paper, a cooperative trajectory planning algorithm for the coupled USV-UAV system is proposed to ensure that USV can execute a safe and smooth path in the process of autonomous advance in multi-obstacle maps. Specifically, the unmanned aerial vehicle (UAV) plays the role of a flight sensor, providing real-time global map and obstacle information with a lightweight semantic segmentation network and 3D projection transformation. And then, an initial obstacle avoidance trajectory is generated by a graph-based search method. Concerning the unique under-actuated kinematic characteristics of the USV, a numerical optimization method based on hull dynamic constraints is introduced to make the trajectory easier to be tracked for motion control. Finally, a motion control method based on NMPC with the lowest energy consumption constraint during execution is proposed. Experimental results verify the effectiveness of the whole system, and the generated trajectory is locally optimal for USV with considerable tracking accuracy.


title: A solvable algebra for massless fermions

abstract: We derive the stabiliser group of the four-vector, also known as Wigner's little group, in case of massless particle states, as the maximal solvable subgroup of the proper orthochronous Lorentz group of dimension four, known as the Borel subgroup. In the absence of mass, particle states are disentangled into left- and right-handed chiral states, governed by the maximal solvable subgroups ${\rm sol}_2^\pm$ of order two. Induced Lorentz transformations are constructed and applied to general representations of particle states. Finally, in our conclusions it is argued how the spin-flip contribution might be closely related to the occurrence of nonphysical spin operators.


title: Sum-of-products form of the molecular electronic Hamiltonian and application within the MCTDH method

abstract: We introduce two different approaches to represent the second-quantized electronic Hamiltonian in a sum-of-products form. These procedures aim at mitigating the quartic scaling of the number of terms in the Hamiltonian with respect to the number of spin orbitals, and thus enable applications to larger molecular systems. Here we describe the application of these approaches within the multi-configuration time-dependent Hartree framework. This approach is applied to the calculation of eigen energies of LiH and electronic ionization spectrum of H2O.


title: Propagation of velocity moments and uniqueness for the magnetized Vlasov-Poisson system

abstract: We present two results regarding the three-dimensional Vlasov--Poisson system in the full space with an external magnetic field. First, we investigate the propagation of velocity moments for solutions to the system when the magnetic field is uniform and time-dependent. We combine the classical moment approach with an induction procedure depending on the cyclotron period $T_c=||B||_{\infty}^{-1}$. This allows us to obtain, like in the unmagnetized case, the propagation of velocity moments of order $k>2$ in the full space case and of order $k>3$ in the periodic case. Second, this time taking a general magnetic field that depends on both time and position, we manage to extend a result by Miot arXiv:1409.6988v1 [math.AP] regarding uniqueness for Vlasov--Poisson to the magnetized framework.


title: Quadratic sequences with prime power discriminators

abstract: The discriminator of an integer sequence $\textbf{s} = (s(i))_{i \geq 0}$, introduced by Arnold, Benkoski, and McCabe in 1985, is the function $D_{\textbf{s}} (n)$ that sends $n$ to the least integer $m$ such that the numbers $s(0), s(1), \ldots, s(n - 1)$ are pairwise incongruent modulo $m$. In this note, we try to determine all quadratic sequences whose discriminator is given by $p^{\lceil \log_p n \rceil}$ for prime $p$, i.e., the smallest power of $p$ which is $\geq n$. We determine all such sequences for $p = 2$, show that there are none for $p \geq 5$, and provide some partial results for $p = 3$.


title: The First-Order Theory of Binary Overlap-Free Words is Decidable

abstract: We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained about this class through tedious case- based proofs can now be proved "automatically", using a decision procedure.


title: Transport evidence for the surface state and spin-phonon interaction in FeTe$_{0.5}$Se$_{0.5}$

abstract: The iron chalcogenides have been proved to be intrinsic topological superconductors to implement quantum computation because of their unique electronic structures. The topologically nontrivial surface states of FeTe$_{0.5}$Se$_{0.5}$ have been predicted by several calculations and then confirmed by high-resolution photoemission and scanning tunneling experiments. However, so far, the shreds of the electrical transport evidence for topological surface states are still in absence. By carrying out electrical transport experiments, we observe a topological transition with a nonlinear Hall conductivity and simultaneous linear magnetoresistance near the superconducting transition temperature. Furthermore, we observe a sign reversal of the Hall coefficient accompanied by a concurrently softening of the ${A}_{1g}$ phonon mode at about 40 K, indicating a nematic transition. The synchronized phonon softening with nematicity manifests an enhanced fluctuation state through spin-phonon interaction. Our results solidly corroborate the topological surface states of FeTe$_{0.5}$Se$_{0.5}$ and provide an understanding of the mechanism of the superconductivity in iron chalcogenides.


title: Measuring the Interpretability of Unsupervised Representations via Quantized Reverse Probing

abstract: Self-supervised visual representation learning has recently attracted significant research interest. While a common way to evaluate self-supervised representations is through transfer to various downstream tasks, we instead investigate the problem of measuring their interpretability, i.e. understanding the semantics encoded in raw representations. We formulate the latter as estimating the mutual information between the representation and a space of manually labelled concepts. To quantify this we introduce a decoding bottleneck: information must be captured by simple predictors, mapping concepts to clusters in representation space. This approach, which we call reverse linear probing, provides a single number sensitive to the semanticity of the representation. This measure is also able to detect when the representation contains combinations of concepts (e.g., "red apple") instead of just individual attributes ("red" and "apple" independently). Finally, we propose to use supervised classifiers to automatically label large datasets in order to enrich the space of concepts used for probing. We use our method to evaluate a large number of self-supervised representations, ranking them by interpretability, highlight the differences that emerge compared to the standard evaluation with linear probes and discuss several qualitative insights. Code at: {\scriptsize{\url{https://github.com/iro-cp/ssl-qrp}}}.


title: Manifold Free Riemannian Optimization

abstract: Riemannian optimization is a principled framework for solving optimization problems where the desired optimum is constrained to a smooth manifold $\mathcal{M}$. Algorithms designed in this framework usually require some geometrical description of the manifold, which typically includes tangent spaces, retractions, and gradients of the cost function. However, in many cases, only a subset (or none at all) of these elements can be accessed due to lack of information or intractability. In this paper, we propose a novel approach that can perform approximate Riemannian optimization in such cases, where the constraining manifold is a submanifold of $\R^{D}$. At the bare minimum, our method requires only a noiseless sample set of the cost function $(\x_{i}, y_{i})\in {\mathcal{M}} \times \mathbb{R}$ and the intrinsic dimension of the manifold $\mathcal{M}$. Using the samples, and utilizing the Manifold-MLS framework (Sober and Levin 2020), we construct approximations of the missing components entertaining provable guarantees and analyze their computational costs. In case some of the components are given analytically (e.g., if the cost function and its gradient are given explicitly, or if the tangent spaces can be computed), the algorithm can be easily adapted to use the accurate expressions instead of the approximations. We analyze the global convergence of Riemannian gradient-based methods using our approach, and we demonstrate empirically the strength of this method, together with a conjugate-gradients type method based upon similar principles.

categories: math.OC cs.CG cs.NA math.DG math.NA stat.ML


title: A Comprehensive Study of Adjoint-Based Optimization of Non-Linear Systems with Application to Burgers' Equation

abstract: In the context of adjoint-based optimization, nonlinear conservation laws pose significant problems regarding the existence and uniqueness of both direct and adjoint solutions, as well as the well-posedness of the problem for sensitivity analysis and gradient-based optimization algorithms. In this paper we will analyze the convergence of the adjoint equations to known exact solutions of the inviscid Burgers' equation for a variety of numerical schemes. The effect of the non-differentiability of the underlying approximate Riemann solver, complete vs. incomplete differentiation of the discrete schemes and inconsistencies in time advancement will be discussed.


title: An edge CLT for the log determinant of Laguerre beta ensembles

abstract: We obtain a CLT for $\log|\det(M_n-s_n)|$ where $M_n$ is a scaled Laguerre $\beta$ ensemble and $s_n=d_++\sigma_n n^{-2/3}$ with $d_+$ denoting the upper edge of the limiting spectrum of $M_n$ and $\sigma_n$ a slowly growing function ($\log\log^2 n\ll\sigma_n\ll\log^2 n$). In the special cases of LUE and LOE, we prove that the CLT also holds for $\sigma_n$ of constant order. A similar result was proved for Wigner matrices by Johnstone, Klochkov, Onatski, and Pavlyshyn. Obtaining this type of CLT of Laguerre matrices is of interest for statistical testing of critically spiked sample covariance matrices as well as free energy of bipartite spherical spin glasses at critical temperature.


title: Compact and Robust Deep Learning Architecture for Fluorescence Lifetime Imaging and FPGA Implementation

abstract: This paper reported a bespoke adder-based deep learning network for time-domain fluorescence lifetime imaging (FLIM). By leveraging the l1-norm extraction method, we propose a 1-D Fluorescence Lifetime AdderNet (FLAN) without multiplication-based convolutions to reduce the computational complexity. Further, we compressed fluorescence decays in temporal dimension using a log-scale merging technique to discard redundant temporal information derived as log-scaling FLAN (FLAN+LS). FLAN+LS achieves 0.11 and 0.23 compression ratios compared with FLAN and a conventional 1-D convolutional neural network (1-D CNN) while maintaining high accuracy in retrieving lifetimes. We extensively evaluated FLAN and FLAN+LS using synthetic and real data. A traditional fitting method and other non-fitting, high-accuracy algorithms were compared with our networks for synthetic data. Our networks attained a minor reconstruction error in different photon-count scenarios. For real data, we used fluorescent beads' data acquired by a confocal microscope to validate the effectiveness of real fluorophores, and our networks can differentiate beads with different lifetimes. Additionally, we implemented the network architecture on a field-programmable gate array (FPGA) with a post-quantization technique to shorten the bit-width, thereby improving computing efficiency. FLAN+LS on hardware achieves the highest computing efficiency compared to 1-D CNN and FLAN. We also discussed the applicability of our network and hardware architecture for other time-resolved biomedical applications using photon-efficient, time-resolved sensors.


title: Optomechanical accelerometers for geodesy

abstract: We present a novel optomechanical inertial sensor for low frequency applications and corresponding acceleration measurements. This sensor has a resonant frequency of 4.7Hz, a mechanical quality factor of 476k, a test mass of 2.6 gram, and a projected noise floor of approximately 5E-11 m s-2. per root-Hz at 1Hz. Such performance, together with its small size, low weight, reduced power consumption, and low susceptibility to environmental variables such as magnetic field or drag conditions makes it an attractive technology for future geodesy missions. In this paper, we present an experimental demonstration of low-frequency ground seismic noise detection by direct comparison with a commercial seismometer, anda data analysis algorithms for the identification, characterization, and correction of several noise sources.

categories: physics.geo-ph physics.app-ph physics.ins-det physics.optics physics.space-ph


title: Separation cutoff for Activated Random Walks

abstract: We consider Activated Random Walks on arbitrary finite networks, with particles being inserted at random and absorbed at the boundary. Despite the non-reversibility of the dynamics and the lack of knowledge on the stationary distribution, we explicitly determine the relaxation time of the process, and prove that separation cutoff is equivalent to the product condition. We also provide sharp estimates on the center and width of the cutoff window. Finally, we illustrate those results by establishing explicit separation cutoffs on various networks, including: (i) large finite subgraphs of any fixed infinite non-amenable graph, with absorption at the boundary and (ii) large finite vertex-transitive graphs with absorption at a single vertex. The latter result settles a conjecture of Levine and Liang. Our proofs rely on the refined analysis of a strong stationary time recently discovered by Levine and Liang and involving the IDLA process.


title: Multimodal Speech Enhancement Using Burst Propagation

abstract: This paper proposes the MBURST, a novel multimodal solution for audio-visual speech enhancements that consider the most recent neurological discoveries regarding pyramidal cells of the prefrontal cortex and other brain regions. The so-called burst propagation implements several criteria to address the credit assignment problem in a more biologically plausible manner: steering the sign and magnitude of plasticity through feedback, multiplexing the feedback and feedforward information across layers through different weight connections, approximating feedback and feedforward connections, and linearizing the feedback signals. MBURST benefits from such capabilities to learn correlations between the noisy signal and the visual stimuli, thus attributing meaning to the speech by amplifying relevant information and suppressing noise. Experiments conducted over a Grid Corpus and CHiME3-based dataset show that MBURST can reproduce similar mask reconstructions to the multimodal backpropagation-based baseline while demonstrating outstanding energy efficiency management, reducing the neuron firing rates to values up to \textbf{$70\%$} lower. Such a feature implies more sustainable implementations, suitable and desirable for hearing aids or any other similar embedded systems.


title: Inverse modeling of nonisothermal multiphase poromechanics using physics-informed neural networks

abstract: We propose a solution strategy for parameter identification in multiphase thermo-hydro-mechanical (THM) processes in porous media using physics-informed neural networks (PINNs). We employ a dimensionless form of the THM governing equations that is particularly well suited for the inverse problem, and we leverage the sequential multiphysics PINN solver we developed in previous work. We validate the proposed inverse-modeling approach on multiple benchmark problems, including Terzaghi's isothermal consolidation problem, Barry-Mercer's isothermal injection-production problem, and nonisothermal consolidation of an unsaturated soil layer. We report the excellent performance of the proposed sequential PINN-THM inverse solver, thus paving the way for the application of PINNs to inverse modeling of complex nonlinear multiphysics problems.


title: K-VIL: Keypoints-based Visual Imitation Learning

abstract: Visual imitation learning provides efficient and intuitive solutions for robotic systems to acquire novel manipulation skills. However, simultaneously learning geometric task constraints and control policies from visual inputs alone remains a challenging problem. In this paper, we propose an approach for keypoint-based visual imitation (K-VIL) that automatically extracts sparse, object-centric, and embodiment-independent task representations from a small number of human demonstration videos. The task representation is composed of keypoint-based geometric constraints on principal manifolds, their associated local frames, and the movement primitives that are then needed for the task execution. Our approach is capable of extracting such task representations from a single demonstration video, and of incrementally updating them when new demonstrations become available. To reproduce manipulation skills using the learned set of prioritized geometric constraints in novel scenes, we introduce a novel keypoint-based admittance controller. We evaluate our approach in several real-world applications, showcasing its ability to deal with cluttered scenes, viewpoint mismatch, new instances of categorical objects, and large object pose and shape variations, as well as its efficiency and robustness in both one-shot and few-shot imitation learning settings. Videos and source code are available at https://sites.google.com/view/k-vil.


title: BRUTE, PSF Reconstruction for the SOUL pyramid-based Single Conjugate Adaptive Optics facility of the LBT

abstract: The astronomical applications greatly benefit from the knowledge of the instrument PSF. We describe the PSF Reconstruction algorithm developed for the LBT LUCI instrument assisted by the SOUL SCAO module. The reconstruction procedure considers only synchronous wavefront sensor telemetry data and a few asynchronous calibrations. We do not compute the Optical Transfer Function and corresponding filters. We compute instead a temporal series of wavefront maps and for each of these the corresponding instantaneous PSF. We tested the algorithm both in laboratory arrangement and in the nighttime for different SOUL configurations, adapting it to the guide star magnitudes and seeing conditions. We nick-named it "BRUTE", Blind Reconstruction Using TElemetry, also recalling the one-to-one approach, one slope-to one instantaneous PSF the algorithm applies.


title: Detectability of Rotational Modulation in Kepler Sun-like Stars as a Function of Age

abstract: We examine how the fraction $f$ of stars for which rotational modulation has been detected in Kepler light curves depends on the stellar mass $M_\star$ and age $t_\star$. Our sample consists of $\approx 850$ FGK stars hosting transiting planet candidates detected from the prime Kepler mission. For these stars, atmospheric parameters have been derived using high-resolution spectra from the California-Kepler survey, and rotational modulation has been searched in Kepler light curves homogeneously. We fit stellar models to the atmospheric parameters, Gaia parallax, and 2MASS magnitude of these stars and obtain samples drawn from the posterior probability distributions for their masses and ages under a given, uninformative prior. We combine them with the result of rotational modulation search to simultaneously infer the mass-age distribution of the sample as well as $f(M_\star, t_\star)$, in a manner that fully takes into account mass and age uncertainties of individual stars. We find that $f$ remains near unity up to $t_\star \sim 3\,\mathrm{Gyr}$ and drops to almost zero by $t_\star \sim 5\,\mathrm{Gyr}$, although the trend is less clearly detected for stars with $\lesssim 0.9\,M_\odot$ due to weaker age constraints. This finding is consistent with a view that the detection of rotational modulation is limited by photometric precision to younger stars that exhibit higher-amplitude modulation, and suggests that the detectability of rotational modulation in Kepler light curves is insensitive to metallicity and activity cycles for stars younger than the Sun.


title: Flavour anti-$k_\text{T}$ algorithm applied to $Wb\bar{b}$ production at the LHC

abstract: We apply the recently proposed flavoured anti-$k_{\text{T}}$ jet algorithm to $Wb\bar{b}$ production at the Large Hadron Collider at $\sqrt{s}=8$ TeV. We present results for the total cross section and differential distributions at the next-to-next-to-leading order (NNLO) in QCD. We discuss the effects of the remaining parametric freedom in the flavoured anti-$k_{\text{T}}$ prescription, and compare it against the standard flavour-$k_{\text{T}}$ algorithm. We compare the total cross section results against the CMS data, finding good agreement. The NNLO QCD corrections are significant, and their inclusion substantially improves the agreement with the data.


title: Center-of-mass energy determination using $e^+e^-$ to $\mu^+\mu^-$ $(\gamma)$ events at future $e^+e^-$ colliders

abstract: Methods for measuring the absolute center-of-mass energy, $\sqrt{s}$, and its distribution, are investigated for future $e^+e^-$ Higgs-factory colliders using in situ $e^+e^-$ collisions. We emphasize the potential of an estimator based on the measurement of muon momenta that we denote $\sqrt{s}_p$. It can be determined with high precision in $e^+e^-$ to $\mu^+\mu^-$($\gamma$) events while being sensitive to effects from beam energy spread, beamstrahlung, initial-state radiation (ISR), final-state radiation (FSR), crossing angle, and detector resolution. The measurement precision is enabled by a high-precision low-mass tracker; the reported performance estimates are based on full simulation of the tracker response of the ILD detector concept for the ILC operating at $\sqrt{s} = 250$ GeV. The underlying statistical precision is 1.9 ppm for a 2.0 ab$^{-1}$ dataset at ILC. The ultimate utility will depend largely on how well one can calibrate and maintain the tracker momentum scale.


title: Quadratic Gradient: Combining Gradient Algorithms and Newton's Method as One

abstract: It might be inadequate for the line search technique for Newton's method to use only one floating point number. A column vector of the same size as the gradient might be better than a mere float number to accelerate each of the gradient elements with different rates. Moreover, a square matrix of the same order as the Hessian matrix might be helpful to correct the Hessian matrix. Chiang applied something between a column vector and a square matrix, namely a diagonal matrix, to accelerate the gradient and further proposed a faster gradient variant called quadratic gradient. In this paper, we present a new way to build a new version of the quadratic gradient. This new quadratic gradient doesn't satisfy the convergence conditions of the fixed Hessian Newton's method. However, experimental results show that it sometimes has a better performance than the original one in convergence rate. Also, Chiang speculates that there might be a relation between the Hessian matrix and the learning rate for the first-order gradient descent method. We prove that the floating number $\frac{1}{\epsilon + \max \{| \lambda_i | \}}$ can be a good learning rate of the gradient methods, where $\epsilon$ is a number to avoid division by zero and $\lambda_i$ the eigenvalues of the Hessian matrix.


title: Quantitative theory of backscattering in topological HgTe and (Hg,Mn)Te quantum wells: acceptor states, Kondo effect, precessional dephasing, and bound magnetic polaron

abstract: We present the theory and numerical evaluations of the backscattering rate determined by acceptor holes or Mn spins in HgTe and (Hg,Mn)Te quantum wells in the quantum spin Hall regime. The role of anisotropic s-p and sp-d exchange interactions, Kondo coupling, Luttinger liquid effects, precessional dephasing, and bound magnetic polarons is quantified. The determined magnitude and temperature dependence of conductance are in accord with experimental results for HgTe and (Hg,Mn)Te quantum wells.


title: Entire functions with Cantor bouquet Julia sets

abstract: A hyperbolic transcendental entire function with connected Fatou set is said to be of disjoint type. It is known that the Julia set of a disjoint-type function of finite order is a Cantor bouquet; in particular, it is a collection of arcs (''hairs''), each connecting a finite endpoint to infinity. We show that the latter property is equivalent to the function being criniferous (a necessary condition for having a Cantor bouquet Julia set). On the other hand, we show that there is a criniferous disjoint-type entire function whose Julia set is not a Cantor bouquet. We also provide a new characterisation of Cantor bouquet Julia sets in terms of the existence of certain absorbing sets for the set of escaping points, and use this to give a new intrinsic description of a class of entire functions previously introduced by the first author. Finally, the main known sufficient condition for Cantor bouquet Julia sets is the so-called head-start condition of Rottenfusser et al. Under a mild geometric assumption, we prove that this condition is also necessary.


title: Performance of Localized-Orbital Coupled Cluster Approaches for the Conformational Energies of Longer n-alkane Chains

abstract: We report an update and enhancement of the ACONFL (conformer energies of large alkanes [Ehlert, S.; Grimme, S.; Hansen, A. J. Phys. Chem. A 2022, 126, 3521-3535]) dataset. For the ACONF12 (n-dodecane) subset, we report basis set limit canonical CCSD(T) reference data obtained from MP2-F12/cc-pV{T,Q}Z-F12 extrapolation, [CCSD(F12*)-MP2-F12]/aug-cc-pVTZ-F12, and a (T) correction from conventional CCSD(T)/aug-cc-pV{D,T}Z calculations. Then we explored the performance of a variety of single and composite localized-orbital CCSD(T) approximations, ultimately finding an affordable LNO-CCSD(T)-based post-MP2 correction that agrees to 0.008 kcal/mol MAD (mean absolute deviation) with the revised canonical reference data. In tandem with canonical MP2-F12/CBS extrapolation, this was then used to re-evaluate the ACONF16 and ACONF20 subsets for n-hexadecane and n-icosane, respectively. A revised ACONFL set was thus obtained. It was then used to assess the performance of different localized-orbital coupled cluster approaches, such as PNO-LCCSD(T) as implemented in MOLPRO, DLPNO-CCSD (T1) as implemented in ORCA, and LNO-CCSD(T) as implemented in MRCC, at their various accuracy settings. A three-tier LNO-CCSD(T)-based composite scheme disagrees by only 0.02 kcal/mol from the revised ACONFL reference data. When extrapolated to the complete PNO space limit, DLPNO-CCSD(T1, Tight) and a composite method are the best picks among all the localized coupled cluster methods tested for the dodecane conformers. Dispersion-corrected dRPA-based double hybrids perform remarkably well for the ACONFL set. While the revised reference data do not affect any conclusions on the less accurate methods, they may upend orderings for more accurate methods with error statistics on the same order as the difference between reference datasets.


title: Fairly Allocating (Contiguous) Dynamic Indivisible Items with Few Adjustments

abstract: We study the problem of dynamically allocating $T$ indivisible items to $n$ agents with the restriction that the allocation is fair all the time. Due to the negative results to achieve fairness when allocations are irrevocable, we allow adjustments to make fairness attainable with the objective to minimize the number of adjustments. For restricted additive or general identical valuations, we show that envy-freeness up to one item (EF1) can be achieved with no adjustments. For additive valuations, we give an EF1 algorithm that requires $O(mT)$ adjustments, improving the previous result of $O(nmT)$ adjustments, where $m$ is the maximum number of different valuations for items among all agents. We further impose the contiguity constraint on items such that items are arranged on a line by the order they arrive and require that each agent obtains a consecutive block of items. We present extensive results to achieve either proportionality with an additive approximate factor (PROPa) or EF1, where PROPa is a weaker fairness notion than EF1. In particular, we show that for identical valuations, achieving PROPa requires $\Theta(nT)$ adjustments. Moreover, we show that it is hopeless to make any significant improvement for either PROPa or EF1 when valuations are nonidentical. Our results exhibit a large discrepancy between the identical and nonidentical cases in both contiguous and noncontiguous settings. All our positive results are computationally efficient.


title: A multi-criterion simulation model to determine dengue outbreaks

abstract: In this study, we develop a multi criteria model to identify dengue outbreak periods. To validate the model, we performed a simulation using dengue transmission-related data in Sri Lanka's Western Province. Our results indicated that the developed model can be used to predict a dengue outbreak situation in a given region up to one month in advance.


title: Deep low-frequency radio observations of Abell 2256 II: The ultra-steep spectrum radio halo

abstract: We present the first detailed analysis of the radio halo in the merging galaxy cluster Abell 2256 using the LOFAR, uGMRT, and VLA. These observations combined with archival X-ray data allowed us to study the halo emission with unprecedented detail. The integrated radio emission from the entire halo is characterized by an ultra-steep spectrum, which can be described by a power law with $\alpha_{144 \rm MHz}^{1.5 \rm GHz}=-1.63\pm0.03$, and a radial steepening in the outer regions. The halo is significantly underluminous according to the scaling relations between radio power and mass at 1.4 GHz but not at 150 MHz; ultra-steep spectrum halos are predicted to be statistically underluminous. Despite the complex structure of this system, the radio halo morphology is remarkably similar to that of the X-ray emission. The radio surface brightness distribution across the halo is strongly correlated with the X-ray brightness of the intracluster medium. The derived correlations show sublinear slopes and there are distinct structures: the core is $\rm I_{R}\propto I_{X}^{1.51}$, the outermost region $\rm I_{R}\propto I_{X}^{0.41}$, and we find radio morphological connections with X-ray discontinuities. We also find a strong anti-correlation between the radio spectral index and the X-ray surface brightness, implying radial steepening. We suggests that the halo core is either related to old plasma from previous AGN activity, being advected, compressed and re-accelerated by mechanisms activated by the cold front or less turbulent with strong magnetic field in the core. The change in the radio vs X-ray correlation slopes in the outer regions of the halo could be due to a radial decline of magnetic field, increase in the number density of seed particles or increasing turbulence. Our findings suggest that that the emitting volume is not homogenous according to turbulence re-acceleration models.


title: Laboratory Constraints on the Neutron-Spin Coupling of feV-scale Axions

abstract: Ultralight axion-like particles can contribute to the dark matter near the Sun, leading to a distinct, stochastic signature in terrestrial experiments. We search for such particles through their neutron-spin coupling by re-analyzing approximately 40 days of data from a K-$^3$He co-magnetometer with a new frequency-domain likelihood-based formalism that properly accounts for stochastic effects over all axion coherence times relative to the experimental time span. Assuming that axions make up all of the dark matter in the Sun's vicinity, we find a median 95% upper limit on the neutron-spin coupling of $2.4 \times 10^{-10}$ GeV$^{{-1}}$ for axion masses from 0.4 to 4 feV, which is about five orders of magnitude more stringent than previous laboratory bounds in that mass range. Although several peaks in the experiment's magnetic power spectrum suggest the rejection of a white-noise null hypothesis, further analysis of their lineshapes yields no positive evidence for a dark matter axion.


title: Reconstruction of irregular flow dynamics around two square cylinders from sparse measurements using a data-driven algorithm

abstract: We propose a data-driven algorithm for reconstructing the irregular, chaotic flow dynamics around two side-by-side square cylinders from sparse, time-resolved, velocity measurements in the wake. We use Proper Orthogonal Decomposition (POD) to reduce the dimensionality of the problem and then explore two different reconstruction approaches: in the first approach, we use the subspace system identification algorithm n4sid to extract a linear dynamical model directly from the data (including the modelling and measurement error covariance matrices) and then employ Kalman filter theory to synthesize a linearly optimal estimator. In the second approach, the estimator matrices are directly identified using n4sid. A systematic study reveals that the first strategy outperforms the second in terms of reconstruction accuracy, robustness and computational efficiency. We also consider the problem of sensor placement. A greedy approach based on the QR pivoting algorithm is compared against sensors placed at the POD mode peaks; we show that the former approach is more accurate in recovering the flow characteristics away from the cylinders. We demonstrate that a linear dynamic model with a sufficiently large number of states and relatively few measurements, can recover accurately complex flow features, such as the interaction of the irregular flapping motion of the jet emanating from the gap with the vortices shed from the cylinders as well as the convoluted patterns downstream arising from the amalgamation of the individual wakes. The proposed methodology is entirely data-driven, does not have tunable parameters, and the resulting matrices are unique (to within a linear coordinate transformation of the state vector). The method can be applied directly to either experimental or computational data.


title: Limiting absorption principle and radiation conditions for Schr\"odinger operators with long-range potentials

abstract: We show Rellich's theorem, the limiting absorption principle, and a Sommerfeld uniqueness result for a wide class of one-body Schr\"odinger operators with long-range potentials, extending and refining previously known results. Our general method is based on elementary commutator estimates, largely following the scheme developed recently by Ito and Skibsted.


title: High-dimensional neural network potentials for accurate vibrational frequencies: The formic acid dimer benchmark

abstract: In recent years, machine learning potentials (MLP) for atomistic simulations have attracted a lot of attention in chemistry and materials science. Many new approaches have been developed with the primary aim to transfer the accuracy of electronic structure calculations to large condensed systems containing thousands of atoms. In spite of these advances, the reliability of modern MLPs in reproducing the subtle details of the multi-dimensional potential-energy surface is still difficult to assess for such systems. On the other hand, moderately sized systems enabling the application of tools for thorough and systematic quality-control are nowadays rarely investigated. In this work we use benchmark-quality harmonic and anharmonic vibrational frequencies as a sensitive probe for the validation of high-dimensional neural network potentials. For the case of the formic acid dimer, a frequently studied model system for which stringent spectroscopic data became recently available, we show that high-quality frequencies can be obtained from state-of-the-art calculations in excellent agreement with coupled cluster theory and experimental data.


title: Tunneling Potential Actions from Canonical Transformations

abstract: A new formulation for obtaining the tunneling action for vacuum decay based on the so-called tunneling potential was developed recently. In the original derivation, the new action was obtained by requiring that its variation led to the correct equations of motion and the same value for the action as evaluated on the Euclidean bounce. We present an alternative derivation of the tunneling potential action via canonical transformations. We discuss both single-field and multi-field cases as well as the case with gravity. We also comment on the possible application of the new approach to the calculation of the functional determinant prefactor in the tunneling rate.


title: Trading Strategies: Earning More in Investment

abstract: Gold and bitcoin are not new to us, but with limited cash and time, given only the past stream of the daily price of gold and bitcoin, it is a kind of new problem for us to develop a certain model and determine the best strategy to get the most return. Here, our team members analyzed the data provided and finally made a unified system of models to predict the price and evaluate the risk and return in our act of investment, and we name this series of models and measurements as CTP Model. This is a model which can determine and describe what transaction should the trader make each day and what is the certain maximum return he will get under different risk levels.


title: Floquet Hofstadter butterfly in trilayer graphene with a twisted top layer

abstract: The magnetic field generated Hofstadter butterfly in single-twist trilayer graphene (TLG) is investigated using circularly polarized light (CPL) and longitudinal light emanating from a waveguide. We show that single-twist TLG has two distinct chiral limits in the equilibrium state, and the central branch of the butterfly splits into two precisely degenerate components. The Hofstadter butterfly appears to be more discernible. We also discovered that CPL causes a large gap opening at the central branch of the Hofstadter butterfly energy spectrum and between the Landau levels, with a clear asymmetry corresponding to energy $E = 0$. We point out that for right-handed CPL, the central band shifts downward, in stark contrast to left-handed CPL, where the central band shifts upward. Finally, we investigated the effect of longitudinally polarized light, which originates from a waveguide. Interestingly, we observed that the chiral symmetries of the Hofstadter butterfly energy spectrum are broken for small driving strengths and get restored at large ones, contrary to what was observed in twisted bilayer graphene.


title: Ultrahigh breakdown current density of van der Waals One Dimensional $\mathrm{PdBr_2}$

abstract: One-dimensional (1D) van der Waals (vdW) materials offer nearly defect-free strands as channel material in the field-effect transistor (FET) devices and probably, a better interconnect than conventional copper with higher current density and resistance to electro-migration with sustainable down-scaling. We report a new halide based "truly" 1D few-chain atomic thread, PdBr$_2$, isolable from its bulk which crystallizes in a monoclinic space group C2/c. Liquid phase exfoliated nanowires with mean length (20$\pm$1)$\mu$m transferred onto SiO$_2$/Si wafer with a maximum aspect ratio of 5000 confirms the lower cleavage energy perpendicular to chain direction. Moreover, an isolated nanowire can also sustain current density of 200 MA/cm$^\mathrm{2}$ which is atleast one-order higher than typical copper interconnects. However, local transport measurement via conducting atomic force microscopy (CAFM) tip along the cross direction of the single chain records a much lower current density due to the anisotropic electronic band structure. While 1D nature of the nanoobject can be linked with non-trivial collective quantum behavior, vdW nature could be beneficial for the new pathways in interconnect fabrication strategy with better control of placement in an integrated circuit (IC).


title: Entanglement evolution after a global quench across a conformal defect

abstract: We study the evolution of entanglement after a global quench in a one-dimensional quantum system with a localized impurity. For systems described by a conformal field theory, the entanglement entropy between the two regions separated by the defect grows linearly in time. Introducing the notion of boundary twist fields, we show how the slope of this growth can be related to the effective central charge that emerges in the study of ground-state entropy in the presence of the defect. On the other hand, we also consider a particular lattice realization of the quench in a free-fermion chain with a conformal defect. Starting from a gapped initial state, we obtain the slope via a quasiparticle ansatz and observe small discrepancies between the field theory and lattice results, which persist even in the limit of a vanishing gap.


title: MaNGA 8313-1901: gas accretion observed in a blue compact dwarf galaxy?

abstract: Gas accretion is an important process in the evolution of galaxies, but it has limited direct observational evidences. In this paper, we report the detection of a possible ongoing gas accretion event in a Blue Compact Dwarf (BCD) galaxy, MaNGA 8313-1901, observed by the Mapping Nearby Galaxies and Apache Point Observatory (MaNGA) program. This galaxy has a distinct off-centered blue clump to the northeast (the NE clump) that shows low metallicity and enhanced star-formation. The kinematics of the gas in the NE clump also seems to be detached from the host BCD galaxy. Together with the metallicity drop of the NE clump, it suggests that the NE clump likely has an external origin, such as the gas accretion or galaxy interaction, rather than an internal origin, such as an \hii~complex in the disk. After removing the underlying host component, we find that the spectrum of the "pure" clump can match very well with a modeled spectrum containing a stellar population of the young stars ($\le 7$ Myr) only. This may imply that the galaxy is experiencing an accretion of cold gas, instead of a merger event involving galaxies with significant pre-existing old stars. We also find signs of another clump (the SW clump) at the south-west corner of the host galaxy, and the two clumps may share the same origin of gas accretion.


title: Multimodal learning with graphs

abstract: Artificial intelligence for graphs has achieved remarkable success in modeling complex systems, ranging from dynamic networks in biology to interacting particle systems in physics. However, the increasingly heterogeneous graph datasets call for multimodal methods that can combine different inductive biases: the set of assumptions that algorithms use to make predictions for inputs they have not encountered during training. Learning on multimodal datasets presents fundamental challenges because the inductive biases can vary by data modality and graphs might not be explicitly given in the input. To address these challenges, multimodal graph AI methods combine different modalities while leveraging cross-modal dependencies using graphs. Diverse datasets are combined using graphs and fed into sophisticated multimodal architectures, specified as image-intensive, knowledge-grounded and language-intensive models. Using this categorization, we introduce a blueprint for multimodal graph learning, use it to study existing methods and provide guidelines to design new models.


title: Spach Transformer: Spatial and Channel-wise Transformer Based on Local and Global Self-attentions for PET Image Denoising

abstract: Position emission tomography (PET) is widely used in clinics and research due to its quantitative merits and high sensitivity, but suffers from low signal-to-noise ratio (SNR). Recently convolutional neural networks (CNNs) have been widely used to improve PET image quality. Though successful and efficient in local feature extraction, CNN cannot capture long-range dependencies well due to its limited receptive field. Global multi-head self-attention (MSA) is a popular approach to capture long-range information. However, the calculation of global MSA for 3D images has high computational costs. In this work, we proposed an efficient spatial and channel-wise encoder-decoder transformer, Spach Transformer, that can leverage spatial and channel information based on local and global MSAs. Experiments based on datasets of different PET tracers, i.e., $^{18}$F-FDG, $^{18}$F-ACBC, $^{18}$F-DCFPyL, and $^{68}$Ga-DOTATATE, were conducted to evaluate the proposed framework. Quantitative results show that the proposed Spach Transformer framework outperforms state-of-the-art deep learning architectures. Our codes are available at https://github.com/sijang/SpachTransformer


title: On Abel's problem and Gauss congruences

abstract: A classical problem due to Abel is to determine if a differential equation $y'=\eta y$ admits a non-trivial solution $y$ algebraic over $\mathbb C(x)$ when $\eta$ is a given algebraic function over $\mathbb C(x)$. Risch designed an algorithm that, given $\eta$, determines whether there exists an algebraic solution or not. In this paper, we adopt a different point of view when $\eta$ admits a Puiseux expansion with rational coefficients at some point in $\mathbb C\cup \{\infty\}$, which can be assumed to be 0 without loss of generality. We prove the following arithmetic characterization: there exists a non-trivial algebraic solution of $y'=\eta y$ if and only if the coefficients of the Puiseux expansion of $x\eta(x)$ at $0$ satisfy Gauss congruences for almost all prime numbers. We then apply our criterion to hypergeometric series: we completely determine the equations $y'=\eta y$ with an algebraic solution when $x\eta(x)$ is an algebraic hypergeometric series with rational parameters, and this enables us to prove a prediction Golyshev made using the theory of motives. We also present three other applications, in particular to diagonals of rational fractions and to directed two-dimensional walks.


title: Quantifying Aleatoric and Epistemic Uncertainty in Machine Learning: Are Conditional Entropy and Mutual Information Appropriate Measures?

abstract: The quantification of aleatoric and epistemic uncertainty in terms of conditional entropy and mutual information, respectively, has recently become quite common in machine learning. While the properties of these measures, which are rooted in information theory, seem appealing at first glance, we identify various incoherencies that call their appropriateness into question. In addition to the measures themselves, we critically discuss the idea of an additive decomposition of total uncertainty into its aleatoric and epistemic constituents. Experiments across different computer vision tasks support our theoretical findings and raise concerns about current practice in uncertainty quantification.


title: Model-Agnostic Exploration of the Mass Reach of Precision Higgs Boson Coupling Measurements

abstract: To understand the possibility for precision Higgs boson coupling measurements to access effects of very heavy new particles, I present five scenarios in which significant deviations in Higgs boson couplings are produced by new particles with multi-TeV masses. These scenarios indicate that such precision measurements provide opportunities to reach well beyond the capabilities of direct particle searches at the HL-LHC.


title: Picking Up Speed: Continuous-Time Lidar-Only Odometry using Doppler Velocity Measurements

abstract: Frequency-Modulated Continuous-Wave (FMCW) lidar is a recently emerging technology that additionally enables per-return instantaneous relative radial velocity measurements via the Doppler effect. In this letter, we present the first continuous-time lidar-only odometry algorithm using these Doppler velocity measurements from an FMCW lidar to aid odometry in geometrically degenerate environments. We apply an existing continuous-time framework that efficiently estimates the vehicle trajectory using Gaussian process regression to compensate for motion distortion due to the scanning-while-moving nature of any mechanically actuated lidar (FMCW and non-FMCW). We evaluate our proposed algorithm on several real-world datasets, including publicly available ones and datasets we collected. Our algorithm outperforms the only existing method that also uses Doppler velocity measurements, and we study difficult conditions where including this extra information greatly improves performance. We additionally demonstrate state-of-the-art performance of lidar-only odometry with and without using Doppler velocity measurements in nominal conditions. Code for this project can be found at: https://github.com/utiasASRL/steam_icp.


title: UV/IR Mixing, Causal Diamonds and the Electroweak Hierarchy Problem

abstract: UV/IR Mixing is an umbrella term for phenomena in which high and low energy physics does not decouple as expected and may offer new perspectives on the electroweak hierarchy problem, i.e. the apparent unnaturally large hierarchy between the electroweak and the Planck scales. Based on how UV/IR mixing has been employed in the Cohen-Kaplan-Nelson bound and advocated as a solution to the cosmological constant problem, we argue that in the Higgs system causal diamonds replace the cosmic horizon as an infrared bound for effective field theory and show how this ansatz may help to explain the large hierarchy between the electroweak and the Planck scale.


title: Accurate Cooperative Sensor Fusion by Parameterized Covariance Generation for Sensing and Localization Pipelines in CAVs

abstract: A major challenge in cooperative sensing is to weight the measurements taken from the various sources to get an accurate result. Ideally, the weights should be inversely proportional to the error in the sensing information. However, previous cooperative sensor fusion approaches for autonomous vehicles use a fixed error model, in which the covariance of a sensor and its recognizer pipeline is just the mean of the measured covariance for all sensing scenarios. The approach proposed in this paper estimates error using key predictor terms that have high correlation with sensing and localization accuracy for accurate covariance estimation of each sensor observation. We adopt a tiered fusion model consisting of local and global sensor fusion steps. At the local fusion level, we add in a covariance generation stage using the error model for each sensor and the measured distance to generate the expected covariance matrix for each observation. At the global sensor fusion stage we add an additional stage to generate the localization covariance matrix from the key predictor term velocity and combines that with the covariance generated from the local fusion for accurate cooperative sensing. To showcase our method, we built a set of 1/10 scale model autonomous vehicles with scale accurate sensing capabilities and classified the error characteristics against a motion capture system. Results show an average and max improvement in RMSE when detecting vehicle positions of 1.42x and 1.78x respectively in a four-vehicle cooperative fusion scenario when using our error model versus a typical fixed error model.


title: A primer on perpetuals

abstract: We consider a continuous-time financial market with no arbitrage and no transactions costs. In this setting, we introduce two types of perpetual contracts, one in which the payoff to the long side is a fixed function of the underlyers and the long side pays a funding rate to the short side, the other in which the payoff to the long side is a fixed function of the underlyers times a discount factor that changes over time but no funding payments are required. Assuming asset prices are continuous and strictly positive, we derive model-free expressions for the funding rate and discount rate of these perpetual contracts as well as replication strategies for the short side. When asset prices can jump, we derive expressions for the funding and discount rates, which are semi-robust in the sense that they do not depend on the dynamics of the volatility process of the underlying risky assets, but do depend on the intensity of jumps under the market's pricing measure. When asset prices can jump and the volatility process is independent of the underlying risky assets, we derive an explicit replication strategy for the short side of a perpetual contract. Throughout the paper, we illustrate through examples how specific perpetual contracts relate to traditional financial instruments such as variance swaps and leveraged exchange traded funds.


title: Defect extensions and a characterization of tame fields

abstract: We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are exactly the valued fields for which all algebraic extensions are defectless fields. In general tame fields form a proper subclass of valued fields for which all algebraic extensions are defectless fields. We introduce a wider class of roughly tame fields and show that every algebraic extension of a given valued field is defectless if and only if its henselization is roughly tame. Proving the above results we also present constructions of Galois defect extensions in positive as well as mixed characteristic.


title: Space-time wave packets propagating a kilometer in air

abstract: We report on the diffraction-free propagation of space-time wave packets (STWPs) -- a class of propagation-invariant pulsed beams -- for $\sim\!1$ km in an open-air laser range in a low-turbulence scenario. Making use of $\approx\!100$-fs pulses (bandwidth $\sim\!25$ nm) at a wavelength of $\approx\!1$ $\mu$m, we construct an STWP with a transverse width of $\approx\!2$ mm that expands to $\approx\!3$ mm after $\sim\!500$ m, and another that expands from $\approx\!8$ mm to $\approx\!10$ mm after 1 km. The propagation of the STWPs is compared to Gaussian wave packets of the same transverse spatial width and bandwidth. We establish a theoretical model that accounts for the significant factors limiting the STWP propagation distance and suggests the path to further extending this distance.


title: Bayesian and Frequentist Semantics for Common Variations of Differential Privacy: Applications to the 2020 Census

abstract: The purpose of this paper is to guide interpretation of the semantic privacy guarantees for some of the major variations of differential privacy, which include pure, approximate, R\'enyi, zero-concentrated, and $f$ differential privacy. We interpret privacy-loss accounting parameters, frequentist semantics, and Bayesian semantics (including new results). The driving application is the interpretation of the confidentiality protections for the 2020 Census Public Law 94-171 Redistricting Data Summary File released August 12, 2021, which, for the first time, were produced with formal privacy guarantees.


title: SZZ in the time of Pull Requests

abstract: In the multi-commit development model, programmers complete tasks (e.g., implementing a feature) by organizing their work in several commits and packaging them into a commit-set. Analyzing data from developers using this model can be useful to tackle challenging developers' needs, such as knowing which features introduce a bug as well as assessing the risk of integrating certain features in a release. However, to do so one first needs to identify fix-inducing commit-sets. For such an identification, the SZZ algorithm is the most natural candidate, but its performance has not been evaluated in the multi-commit context yet. In this study, we conduct an in-depth investigation on the reliability and performance of SZZ in the multi-commit model. To obtain a reliable ground truth, we consider an already existing SZZ dataset and adapt it to the multi-commit context. Moreover, we devise a second dataset that is more extensive and directly created by developers as well as Quality Assurance (QA) engineers of Mozilla. Based on these datasets, we (1) test the performance of B-SZZ and its non-language-specific SZZ variations in the context of the multi-commit model, (2) investigate the reasons behind their specific behavior, and (3) analyze the impact of non-relevant commits in a commit-set and automatically detect them before using SZZ.


title: Koszul duality for simplicial restricted Lie algebras

abstract: Let $\mathsf{s}_0\mathsf{Lie}^r$ be the category of $0$-reduced simplicial restricted Lie algebras over a fixed perfect field of positive characteristic $p$. We prove that there is a full subcategory $\mathrm{Ho}(\mathsf{s}_0\mathsf{Lie}^r_{\xi})$ of the homotopy category $\mathrm{Ho}(\mathsf{s}_0\mathsf{Lie}^r)$ and an equivalence $\mathrm{Ho}(\mathsf{s}_0\mathsf{Lie}^r_{\xi})\simeq\mathrm{Ho}(\mathsf{s}_1\mathsf{CoAlg}^{tr})$. Here $\mathsf{s}_1\mathsf{CoAlg}^{tr}$ is the category of $1$-reduced simplicial truncated coalgebras; informally, a coaugmented cocommutative coalgebra $C$ is truncated if $x^p=0$ for any $x$ from the augmentation ideal of the dual algebra $C^*$. Moreover, we provide a sufficient and necessary condition in terms of the homotopy groups $\pi_*(L_\bullet)$ for $L_\bullet \in \mathrm{Ho}(\mathsf{s}_0\mathsf{Lie}^r)$ to lie in the full subcategory $\mathrm{Ho}(\mathsf{s}_0\mathsf{Lie}^r_{\xi})$. As an application of the equivalence above, we construct and examine an analog of the unstable Adams spectral sequence of A. K. Bousfield and D. Kan in the category $\mathsf{s}\mathsf{Lie}^r$. We use this spectral sequence to recompute the homotopy groups of a free simplicial restricted Lie algebra.


title: Universal scaling laws and density slope for dark matter haloes

abstract: Small scale challenges suggest some missing pieces in our understanding of dark matter. A cascade theory for dark matter is proposed to provide extra insights, similar to the cascade phenomenon in hydrodynamic turbulence. The kinetic energy is cascaded in dark matter from small to large scales involves a constant rate $\varepsilon_u$ ($\approx -4.6\times 10^{-7}m^2/s^3$). Confirmed by N-body simulations, energy cascade leads to a two-thirds law for kinetic energy $v_r^2$ on scale $r$ such that $v_r^2 \propto (\varepsilon_u r)^{2/3}$. A four-thirds law can be established for mean halo density $\rho_s$ enclosed in the scale radius $r_s$ such that $\rho_s \propto \varepsilon_u^{2/3}G^{-1}r_s^{-4/3}$, which was confirmed by galaxy rotation curves. Critical properties of dark matter might be obtained by identifying key constants on relevant scales. The largest halo scale $r_l$ can be determined by $-u_0^3/\varepsilon_u$, where $u_0$ is the velocity dispersion. The smallest scale $r_{\eta}$ is dependent on the nature of dark matter. For collisionless dark matter, $r_{\eta} \propto (-{G\hbar/\varepsilon_{u}}) ^{1/3}\approx 10^{-13}m$ is found along with the mass scale $m_X\propto (-\varepsilon_u\hbar^5G^{-4})^{1/9}\approx 10^{12}GeV$, where $\hbar$ is the Planck constant. An uncertainty principle for momentum and acceleration fluctuations is also postulated. For self-interacting dark matter, $r_{\eta} \propto \varepsilon_{u}^2 G^{-3}(\sigma/m)^3$, where $\sigma/m$ is the cross-section of interaction. On halo scale, the energy cascade leads to an asymptotic density slope $\gamma=-4/3$ for fully virialized haloes with a vanishing radial flow, which might explain the nearly universal halo density. Based on the continuity equation, halo density is analytically shown to be closely dependent on the radial flow and mass accretion, such that simulated haloes can have different limiting slopes.


title: Synthetic Axion Response with Spacetime Crystals

abstract: Here, we show that spacetime modulations provide an exciting route to realize complex nonreciprocal couplings, and in particular the elusive axion response. We develop an analytical formalism to homogenize anisotropic spacetime crystals in the long wavelength limit. It is found that spacetime crystals with suitable glide-rotation symmetry can have a giant axion-type response, several orders of magnitude larger than in natural materials. The nonreciprocal axion response may have interesting applications in optics, for example in electromagnetic isolation, and in addition may enable exciting new forms of light-wave interactions.


title: Riemannian optimization for non-centered mixture of scaled Gaussian distributions

abstract: This paper studies the statistical model of the non-centered mixture of scaled Gaussian distributions (NC-MSG). Using the Fisher-Rao information geometry associated to this distribution, we derive a Riemannian gradient descent algorithm. This algorithm is leveraged for two minimization problems. The first one is the minimization of a regularized negative log-likelihood (NLL). The latter makes the trade-off between a white Gaussian distribution and the NC-MSG. Conditions on the regularization are given so that the existence of a minimum to this problem is guaranteed without assumptions on the samples. Then, the Kullback-Leibler (KL) divergence between two NC-MSG is derived. This divergence enables us to define a minimization problem to compute centers of mass of several NC-MSGs. The proposed Riemannian gradient descent algorithm is leveraged to solve this second minimization problem. Numerical experiments show the good performance and the speed of the Riemannian gradient descent on the two problems. Finally, a Nearest centroid classifier is implemented leveraging the KL divergence and its associated center of mass. Applied on the large scale dataset Breizhcrops, this classifier shows good accuracies as well as robustness to rigid transformations of the test set.


title: On the Complementarity between Pre-Training and Random-Initialization for Resource-Rich Machine Translation

abstract: Pre-Training (PT) of text representations has been successfully applied to low-resource Neural Machine Translation (NMT). However, it usually fails to achieve notable gains (sometimes, even worse) on resource-rich NMT on par with its Random-Initialization (RI) counterpart. We take the first step to investigate the complementarity between PT and RI in resource-rich scenarios via two probing analyses, and find that: 1) PT improves NOT the accuracy, but the generalization by achieving flatter loss landscapes than that of RI; 2) PT improves NOT the confidence of lexical choice, but the negative diversity by assigning smoother lexical probability distributions than that of RI. Based on these insights, we propose to combine their complementarities with a model fusion algorithm that utilizes optimal transport to align neurons between PT and RI. Experiments on two resource-rich translation benchmarks, WMT'17 English-Chinese (20M) and WMT'19 English-German (36M), show that PT and RI could be nicely complementary to each other, achieving substantial improvements considering both translation accuracy, generalization, and negative diversity. Probing tools and code are released at: https://github.com/zanchangtong/PTvsRI.


title: The Role of Strong Magnetic Fields in Stabilizing Highly Luminous, Thin Disks

abstract: We present a set of three-dimensional, global, general relativistic radiation magnetohydrodynamic simulations of thin, radiation-pressure-dominated accretion disks surrounding a non-rotating, stellar-mass black hole. The simulations are initialized using the Shakura-Sunyaev model with a mass accretion rate of $\dot{M} = 3 L_\mathrm{Edd}/c^2$ (corresponding to $L=0.17 L_\mathrm{Edd}$). Our previous work demonstrated that such disks are thermally unstable when accretion is driven by an $\alpha$-viscosity. In the present work, we test the hypothesis that strong magnetic fields can both drive accretion through the magneto-rotational instability and restore stability to such disks. We test four initial magnetic field configurations: 1) a zero-net-flux case with a single, radially extended set of magnetic field loops (dipole); 2) a zero-net-flux case with two radially extended sets of magnetic field loops of opposite polarity stacked vertically (quadrupole); 3) a zero-net-flux case with multiple radially concentric rings of alternating polarity (multi-loop); and 4) a net-flux, vertical magnetic field configuration (vertical). In all cases, the fields are initially weak, with the gas-to-magnetic pressure ratio $\gtrsim 100$. Based on the results of these simulations, we find that the dipole and multi-loop configurations remain thermally unstable like their $\alpha$-viscosity counterpart, in our case collapsing vertically on the local thermal timescale and never fully recovering. The vertical case, on the other hand, stabilizes and remains so for the duration of our tests (many thermal timescales). The quadrupole case is intermediate, showing signs of both stability and instability. The key stabilizing criteria is, $P_\mathrm{mag} \gtrsim 0.5P_\mathrm{tot}$ with strong toroidal fields near the disk midplane. We also report a comparison of our models to the standard Shakura-Sunyaev disk.


title: On the Wasserstein median of probability measures

abstract: Measures of central tendency such as mean and median are a primary way to summarize a given collection of random objects. In the field of optimal transport, the Wasserstein barycenter corresponds to Fr\'{e}chet or geometric mean of a set of probability measures, which is defined as a minimizer of the sum of squared distances to each element in a given set when the order is 2. We present the Wasserstein median, an equivalent of Fr\'{e}chet median under the 2-Wasserstein metric, as a robust alternative to the Wasserstein barycenter. We first establish existence and consistency of the Wasserstein median. We also propose a generic algorithm that makes use of any established routine for the Wasserstein barycenter in an iterative manner and prove its convergence. Our proposal is validated with simulated and real data examples when the objects of interest are univariate distributions, centered Gaussian distributions, and discrete measures on regular grids.


title: Measurement of the Usage of Web Clips in Underground Economy

abstract: In this paper, we study the ecosystem of the abused Web Clips in underground economy. Through this study, we find the Web Clips is wildly used by perpetrators to penetrate iOS devices to gain profit. This work starts with 1,800 user complaint documents about cyber crimes over Web Clips. We firstly look into the ecosystem of abused Web Clips and point out the main participants and workflow. In addition, what is the Web Clips used for is demystified. Then the main participants, including creators, distributors, and operators are deeply studied based on our dataset. We try to reveal the prominent features of the illicit Web Clips and give some mitigation measures. Analysis reveals that 1) SSL certificate is overwhelmingly preferred for signing Web Clips instances compared with certificate issued by Apple. The wildly used SSL certificates can be aggregated into a limited group. 2) The content of the abused Web Clips falls into a few categories, `Gambling', `Fraud', and `Pornography' are among the top categories. 3) Instant messenger (IM) and live streaming platform are the most popular medium to trick victims into deploying the Web Clips. 4) The Web Clips are operated by a small amount of perpetrators, and the perpetrators tend to evade detection by taking technical approach, such as registering domain names through oversea domain name service provider, preferring easy-to-acquire new gTLD (global Top Level Domain), and deploying anti-crawler tricks. Our study gives hints on investigation of cyber crime over Web Clips, we hope that this work can help stakeholders to stay ahead of the threat.


title: What does a platypus look like? Generating customized prompts for zero-shot image classification

abstract: Open-vocabulary models are a promising new paradigm for image classification. Unlike traditional classification models, open-vocabulary models classify among any arbitrary set of categories specified with natural language during inference. This natural language, called "prompts", typically consists of a set of hand-written templates (e.g., "a photo of a {}") which are completed with each of the category names. This work introduces a simple method to generate higher accuracy prompts, without relying on any explicit knowledge of the task domain and with far fewer hand-constructed sentences. To achieve this, we combine open-vocabulary models with large language models (LLMs) to create Customized Prompts via Language models (CuPL, pronounced "couple"). In particular, we leverage the knowledge contained in LLMs in order to generate many descriptive sentences that contain important discriminating characteristics of the image categories. This allows the model to place a greater importance on these regions in the image when making predictions. We find that this straightforward and general approach improves accuracy on a range of zero-shot image classification benchmarks, including over one percentage point gain on ImageNet. Finally, this simple baseline requires no additional training and remains completely zero-shot. Code available at https://github.com/sarahpratt/CuPL.


title: Improved maximum-likelihood quantum amplitude estimation

abstract: Quantum amplitude estimation is a key subroutine in a number of powerful quantum algorithms, including quantum-enhanced Monte Carlo simulation and quantum machine learning. Maximum-likelihood quantum amplitude estimation (MLQAE) is one of a number of recent approaches that employ much simpler quantum circuits than the original algorithm based on quantum phase estimation. In this article, we deepen the analysis of MLQAE to put the algorithm in a more prescriptive form, including scenarios where quantum circuit depth is limited. In the process, we observe and explain particular ranges of `exceptional' values of the target amplitude for which the algorithm fails to achieve the desired precision. We then propose and numerically validate a heuristic modification to the algorithm to overcome this problem, bringing the algorithm even closer to being useful as a practical subroutine on near- and mid-term quantum hardware.


title: Joint Learning of Deep Texture and High-Frequency Features for Computer-Generated Image Detection

abstract: Distinguishing between computer-generated (CG) and natural photographic (PG) images is of great importance to verify the authenticity and originality of digital images. However, the recent cutting-edge generation methods enable high qualities of synthesis in CG images, which makes this challenging task even trickier. To address this issue, a joint learning strategy with deep texture and high-frequency features for CG image detection is proposed. We first formulate and deeply analyze the different acquisition processes of CG and PG images. Based on the finding that multiple different modules in image acquisition will lead to different sensitivity inconsistencies to the convolutional neural network (CNN)-based rendering in images, we propose a deep texture rendering module for texture difference enhancement and discriminative texture representation. Specifically, the semantic segmentation map is generated to guide the affine transformation operation, which is used to recover the texture in different regions of the input image. Then, the combination of the original image and the high-frequency components of the original and rendered images are fed into a multi-branch neural network equipped with attention mechanisms, which refines intermediate features and facilitates trace exploration in spatial and channel dimensions respectively. Extensive experiments on two public datasets and a newly constructed dataset with more realistic and diverse images show that the proposed approach outperforms existing methods in the field by a clear margin. Besides, results also demonstrate the detection robustness and generalization ability of the proposed approach to postprocessing operations and generative adversarial network (GAN) generated images.


title: The R\"uchardt experiment revisited: using simple theory, accurate measurement and python based data analysis

abstract: This project uses the R\"uchardt experiment to determine the ratio of specific heats and hence the number of degrees of freedom $f$ of different gases by measuring the frequency of damped simple harmonic motion where the gas provides the Hooke's law like spring of a cylinder-piston system. This project links mechanics, electromagnetism, thermodynamics, statistical mechanics and quantum mechanics making it an excellent synoptic experiment for a mid year undergraduate student. We present simple derivations of the main relationships that govern the experiment, a detailed data analysis of the physics of the apparatus and of the experimental data. We find $f(\textrm{He}) = 3.48 \pm 0.14$, $f(\textrm{N}_2) = 4.92 \pm 0.24$, $f(\textrm{Air}) = 4.96 \pm 0.25$, $f(\textrm{CO}_2) = 6.46 \pm 0.39$ at room temperature and atmospheric pressure. The results for CO$_2$ requires a statistical analysis of its vibrational modes. These results show that the expected results can be measured using fairly simple apparatus, coupled with careful analysis of large data sets.


title: Geometric Signatures of Switching Behavior in Mechanobiology

abstract: The proteins involved in cells' mechanobiological processes have evolved specialized and surprising responses to applied forces. Biochemical transformations that show catch-to-slip switching and force-induced pathway switching serve important functions in cell adhesion, mechano-sensing and signaling, and protein folding. We show that these switching behaviors are generated by singularities in the flow field that describes force-induced deformation of bound and transition states. These singularities allow for a complete characterization of switching mechanisms in 2-dimensional (2D) free energy landscapes, and provide a path toward elucidating novel forms of switching in higher dimensional models. Remarkably, the singularity that generates a catch-slip switch occurs in almost every 2D free energy landscape, implying that almost any bond admitting a 2D model will exhibit catch-slip behavior under appropriate force. We apply our analysis to models of P-selectin and antigen extraction to illustrate how these singularities provide an intuitive framework for explaining known behaviors and predicting new behaviors.


title: Pancyclicity of Hamiltonian graphs

abstract: An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices, and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. In 1972, Erd\H{o}s conjectured that every Hamiltonian graph with independence number at most $k$ and at least $n = \Omega(k^2)$ vertices is pancyclic. In this paper we prove this old conjecture in a strong form by showing that if such a graph has $n = (2+o(1))k^2$ vertices, it is already pancyclic, and this bound is asymptotically best possible.


title: On the Second Kahn--Kalai Conjecture

abstract: For any given graph $H$, we are interested in $p_\mathrm{crit}(H)$, the minimal $p$ such that the Erd\H{o}s-R\'enyi graph $G(n,p)$ contains a copy of $H$ with probability at least $1/2$. Kahn and Kalai (2007) conjectured that $p_\mathrm{crit}(H)$ is given up to a logarithmic factor by a simpler "subgraph expectation threshold" $p_\mathrm{E}(H)$, which is the minimal $p$ such that for every subgraph $H'\subseteq H$, the Erd\H{o}s-R\'enyi graph $G(n,p)$ contains \emph{in expectation} at least $1/2$ copies of $H'$. It is trivial that $p_\mathrm{E}(H) \le p_\mathrm{crit}(H)$, and the so-called "second Kahn-Kalai conjecture" states that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E}(H) \log e(H)$ where $e(H)$ is the number of edges in $H$. In this article, we present a natural modification $p_\mathrm{E, new}(H)$ of the Kahn--Kalai subgraph expectation threshold, which we show is sandwiched between $p_\mathrm{E}(H)$ and $p_\mathrm{crit}(H)$. The new definition $p_\mathrm{E, new}(H)$ is based on the simple observation that if $G(n,p)$ contains a copy of $H$ and $H$ contains \emph{many} copies of $H'$, then $G(n,p)$ must also contain \emph{many} copies of $H'$. We then show that $p_\mathrm{crit}(H) \lesssim p_\mathrm{E, new}(H) \log e(H)$, thus proving a modification of the second Kahn--Kalai conjecture. The bound follows by a direct application of the set-theoretic "spread" property, which led to recent breakthroughs in the sunflower conjecture by Alweiss, Lovett, Wu and Zhang and the first fractional Kahn--Kalai conjecture by Frankston, Kahn, Narayanan and Park.


title: Quantum computing teaching with CoSpaces

abstract: The first prototypes of quantum computers sparked interest in quantum computing and the basic principles of quantum mechanics. The education project on the physical bases of quantum computing is part of this context, based on the experimental description with virtual methods of the physical implementation of Di Vincenzo's first 5 principles. The computation process is implemented as transformations of qubits encoded in the polarization of optical photons. These transformations are implemented as quantum gates made as 3D virtual objects using Blender. In detail, the models of: Laser Ar +, PBS, HWP / QWP, BBO, APD, SMF, Control electronics are made. With the 3D models, a virtual laboratory has been created within CoSpaces where it is possible to become familiar with the basic processes of quantum computing: production of announced photons, transformation of a qubit, measurement of a qubit, production of entangled photons, transformation of two qubits, measure of two qubits. The realization of physical models to be used in the metaverse could fill the didactic void due to the absence of quantum optics laboratories.


abstract: In this work, we revisit Carrollian hydrodynamics, a type of non-Lorentzian hydrodynamics which has recently gained increasing attentions due to its underlying connection with dynamics of spacetime near null boundaries, and we aim at exploring symmetries associated with conservation laws of Carrollian fluids. With an elaborate construction of Carroll geometries, we generalize the Randers-Papapetrou metric by incorporating the fluid velocity field and the sub-leading components of the metric into our considerations and we argue that these two additional fields are compulsory phase space variables in the derivation of Carrollian hydrodynamics from symmetries. We then present a new notion of symmetry, called the near-Carrollian diffeomorphism, and demonstrate that this symmetry consistently yields a complete set of Carrollian hydrodynamic equations. Furthermore, due to the presence of the new phase space fields, our results thus generalize those already presented in the previous literatures. Lastly, the Noether charges associated with the near-Carrollian diffeomorphism and their time evolutions are also discussed.