title: Non-uniqueness for the hypo-viscous compressible Navier-Stokes equations

abstract: We study the Cauchy problem for the isentropic hypo-viscous compressible Navier-Stokes equations (CNS) under general pressure laws in all dimensions $d\geq 2$. For all hypo-viscosities $(-\Delta)^\alpha$ with $\alpha\in (0,1)$, we prove that there exist infinitely many weak solutions with the same initial data. This provides the first non-uniqueness result of weak solutions to viscous compressible fluid. Our proof features new constructions of building blocks for both the density and momentum, which respect the compressible structure. It also applies to the compressible Euler equations and the hypo-viscous incompressible Navier-Stokes equations (INS). In particular, in view of the Lady\v{z}enskaja-Prodi-Serrin criteria, the obtained non-uniqueness of $L^2_tC_x$ weak solutions to the hypo-viscous INS is sharp, and reveals that $\alpha =1$ is the sharp viscosity threshold for the well-posedness in $L^2_tC_x$. Furthermore, we prove that the H\"older continuous weak solutions to the compressible Euler equations may be obtained as a strong vanishing viscosity limit of a sequence of weak solutions to the hypo-viscous CNS.


title: CbwLoss: Constrained Bidirectional Weighted Loss for Self-supervised Learning of Depth and Pose

abstract: Photometric differences are widely used as supervision signals to train neural networks for estimating depth and camera pose from unlabeled monocular videos. However, this approach is detrimental for model optimization because occlusions and moving objects in a scene violate the underlying static scenario assumption. In addition, pixels in textureless regions or less discriminative pixels hinder model training. To solve these problems, in this paper, we deal with moving objects and occlusions utilizing the difference of the flow fields and depth structure generated by affine transformation and view synthesis, respectively. Secondly, we mitigate the effect of textureless regions on model optimization by measuring differences between features with more semantic and contextual information without adding networks. In addition, although the bidirectionality component is used in each sub-objective function, a pair of images are reasoned about only once, which helps reduce overhead. Extensive experiments and visual analysis demonstrate the effectiveness of the proposed method, which outperform existing state-of-the-art self-supervised methods under the same conditions and without introducing additional auxiliary information.


title: Stabilization of the astropause by periodic fluctuations of the stellar wind

abstract: The main goal of the paper is to explore why observations of many astrospheres (or circumstellar bubbles) show quite stable and smooth structures of astropauses - the tangential discontinuities separating the stellar and interstellar winds, - while both theory and numerical simulations suggest that tangential discontinuities are unstable due to well known Kelvin-Helmholtz (K-H) instability. It was recognized before that magnetic fields may stabilize the astropauses. In this paper, we explore another mechanism to reduce the K-H instability of the astropauses. This mechanism is a periodic change of the stellar wind dynamic pressure. Fluctuations of the stellar wind parameters are quite expected. For example, the Sun has an 11-year cycle of global activity although there are also shorter periods of the solar wind fluctuations. We performed the parametric numerical study and demonstrate that the development of the K-H instability depends on the dimensionless parameter $\chi$ which is the ratio of the stellar wind terminal speed and interstellar flow speed. The larger the parameter $\chi$, the larger the fluctuations caused by the K-H instability. It has been shown that the K-H instability is convective which agrees with the previous linear analysis. The stabilization of the astropause by the periodic fluctuations in the stellar wind lead is demonstrated. It is shown that for the solar wind the most effective stabilization occurs when the period of stellar parameter change is about 1-4 years. For the eleven year solar cycle, the stabilization effect is weaker.


title: Resolving non-perturbative renormalization of a microwave-dressed weakly anharmonic superconducting qubit

abstract: Microwave driving is a ubiquitous technique for superconducting qubits (SCQs), but the dressed states description based on the conventionally used perturbation theory cannot fully capture the dynamics in the strong driving limit. Comprehensive studies beyond these approximations applicable to transmon-based circuit quantum electrodynamics (QED) systems are unfortunately rare as the relevant works have been mainly limited to single-mode or two-state systems. In this work, we investigate a microwave-dressed transmon coupled to a single quantized mode over a wide range of driving parameters. We reveal that the interaction between the transmon and resonator as well as the properties of each mode is significantly renormalized in the strong driving limit. Unlike previous theoretical works, we establish a non-recursive, and non-Floquet theory beyond the perturbative regimes, which excellently quantifies the experiments. This work expands our fundamental understanding of dressed cavity QED-like systems beyond the conventional approximations. Our work will also contribute to fast quantum gate implementation, qubit parameter engineering, and fundamental studies on driven nonlinear systems.


title: The universal vector extension of an abeloid variety

abstract: Let $A$ be an abelian variety over a complete non-Archimedean field $K$. The universal cover of the Berkovich space attached to $A$ reflects the reduction behaviour of $A$. In this paper the universal cover of the universal vector extension $E(A)$ of $A$ is described. In a forthcoming paper ( arXiv:2007.04659), this will be one of the crucial tools to show that rigid analytic functions on $E(A)$ are all constant.


title: Isomorphism between the Bialynicki-Birula and the Landau-Peierls Fock space quantization of the electromagnetic field in position representation

abstract: We first present a summary of the quantization of the electromagnetic field in position space representation, using two main approaches: the Landau-Peierls approach in the Coulomb gauge and the Bialynicki-Birula approach, based on the Riemann-Silberstein vector. We describe both in a framework that starts with a classical Hamiltonian structure and builds the quantum model in a bosonic Fock space by a precisely defined principle of correspondence. We show that the two approches are completly equivalent. This is formulated by showing that there is a unitary map between the Fock spaces that makes them isomorphic. Since all the physically measurable quantities can be expressed in terms of scalar products, this implies that the two quantizations lead to exactly the same physical properties. We show furthemore that the isomorphism is preserved in the time evolutions. To show the equivalence, we use the concepts of helicity and frequency operators. The combination of these two operators provides a formulation that allows one to make the link between these two methods of quantization in a precise way. We also show that the construction in the Bialynicki-Birula quantization that avoids the presence of negative eigenvalues in the Hamiltonian, in analogy with the one for the Dirac equation for electrons and positrons, can be performed through an alternative choice of the canonical variables for Maxwell's equations.


title: Differential codimensions and exponential growth

abstract: Let $A$ be a finite dimensional associative algebra with derivations over a field of characteristic zero, i.e., an algebra whose structure is enriched by the action of a Lie algebra $L$ by derivations, and let $c_n^L(A),$ $n\geq 1,$ be its differential codimension sequence. Such sequence is exponentially bounded and $\exp^L(A) = \lim_{n\to \infty}\sqrt[n]{c_n^L(A)}$ is an integer that can be computed, called differential PI-exponent of $A$. In this paper we prove that for any Lie algebra $L$, $\exp^L(A)$ coincides with $\exp(A)$, the ordinary PI-exponent of $A$. Furthermore, in case $L$ is a solvable Lie algebra, we apply such result to classify varieties of $L$-algebras of almost polynomial growth, i.e., varieties of exponential growth such that any proper subvariety has polynomial growth.


title: The stochastic gravitational-wave background exists permanently and demonstrates time-domain asymmetry

abstract: Analyzing the records of Advanced LIGO and Virgo gravitational observatories, we found a permanent time-domain asymmetry inherent only to the signals of their gravitational detectors. Experiments with different periodic signals, Gaussian and non-Gaussian noises, made it possible to conclude that the noise of gravitational detectors is an unusual mixture of signals. We also developed a specialized Pearson correlation analyzer to detect gravitational-wave (GW) events. It turned out that the LIGO and Virgo detectors' output signals contain a significant (-6dB) component demonstrating the properties of records of confirmed resolved GW events. It allows us to argue that the gravitational background is largely due to the processes of stellar masses merging. Since the specific signal is registered by the detectors continuously, we can consider the sub-kilohertz band gravitational background field as discovered. Our analysis method also allows us to estimate the contribution of the gravitational background component to the total signal energy. With its help, it will be possible not only to provide the radio-frequency estimation of the magnitude of gravitational disturbances but also to obtain the GW background sky map.


title: Sub-0.1 degree phase locking of a single-photon interferometer

abstract: We report a single-photon Mach-Zehnder interferometer stabilized to a phase precision of 0.05 degrees over 15 hours. To lock the phase, we employ an auxiliary reference light at a different wavelength than the quantum signal. The developed phase locking operates continuously, with negligible crosstalk, and for an arbitrary phase of the quantum signal. Moreover, its performance is independent of intensity fluctuations of the reference. Since the presented method can be used in a vast majority of quantum interferometric networks it can significantly improve phase-sensitive applications in quantum communication and quantum metrology.


title: DeepCut: Unsupervised Segmentation using Graph Neural Networks Clustering

abstract: Image segmentation is a fundamental task in computer vision. Data annotation for training supervised methods can be labor-intensive, motivating unsupervised methods. Current approaches often rely on extracting deep features from pre-trained networks to construct a graph, and classical clustering methods like k-means and normalized-cuts are then applied as a post-processing step. However, this approach reduces the high-dimensional information encoded in the features to pair-wise scalar affinities. To address this limitation, this study introduces a lightweight Graph Neural Network (GNN) to replace classical clustering methods while optimizing for the same clustering objective function. Unlike existing methods, our GNN takes both the pair-wise affinities between local image features and the raw features as input. This direct connection between the raw features and the clustering objective enables us to implicitly perform classification of the clusters between different graphs, resulting in part semantic segmentation without the need for additional post-processing steps. We demonstrate how classical clustering objectives can be formulated as self-supervised loss functions for training an image segmentation GNN. Furthermore, we employ the Correlation-Clustering (CC) objective to perform clustering without defining the number of clusters, allowing for k-less clustering. We apply the proposed method for object localization, segmentation, and semantic part segmentation tasks, surpassing state-of-the-art performance on multiple benchmarks.


title: IRS-Assisted Millimeter-wave Massive MIMO with Transmit Antenna Selection for IoT Networks

abstract: An intelligent reflecting surface (IRS)-assisted millimeter-wave (mmWave) massive multiple input multiple output (MIMO) system with transmit antenna selection (TAS) using orthogonal space-time block codes (OSTBC) scheme is proposed in this paper. This system combines TAS and IRS with hybrid analog-digital beamforming (HBF) for 60 GHz mmWave communications in order to exploit the benefits of TAS, OSTBC, analog beamforming (ABF), and transmit digital precoding techniques. The proposed system, however, benefits from the transmit diversity gain of OSTBC scheme as well as from the signal-to-noise ratio (SNR) gains of both the beamformer and the IRS technology. The simulation results demonstrate that TAS-OSTBC system with zero-forcing precoding technique outperforms the conventional TAS system with OSTBC scheme. Furthermore, the bit error rate (BER) performance significantly im-proves as the number of antenna array elements increases due to providing a beamforming gain. In addition, increasing the number of reflecting elements further enhances the error performance. It is also found from the simulation results that the TAS-OSTBC system with hybrid precoding has better BER performance than that of TAS-OSTBC with ABF, and IRS-assisted systems significantly outperform the conventional systems without the IRS technology. This makes the proposed IRS-assisted system an appealing solution for internet-of-things (IoT) networks.


title: BeautyREC: Robust, Efficient, and Content-preserving Makeup Transfer

abstract: In this work, we propose a Robust, Efficient, and Component-specific makeup transfer method (abbreviated as BeautyREC). A unique departure from prior methods that leverage global attention, simply concatenate features, or implicitly manipulate features in latent space, we propose a component-specific correspondence to directly transfer the makeup style of a reference image to the corresponding components (e.g., skin, lips, eyes) of a source image, making elaborate and accurate local makeup transfer. As an auxiliary, the long-range visual dependencies of Transformer are introduced for effective global makeup transfer. Instead of the commonly used cycle structure that is complex and unstable, we employ a content consistency loss coupled with a content encoder to implement efficient single-path makeup transfer. The key insights of this study are modeling component-specific correspondence for local makeup transfer, capturing long-range dependencies for global makeup transfer, and enabling efficient makeup transfer via a single-path structure. We also contribute BeautyFace, a makeup transfer dataset to supplement existing datasets. This dataset contains 3,000 faces, covering more diverse makeup styles, face poses, and races. Each face has annotated parsing map. Extensive experiments demonstrate the effectiveness of our method against state-of-the-art methods. Besides, our method is appealing as it is with only 1M parameters, outperforming the state-of-the-art methods (BeautyGAN: 8.43M, PSGAN: 12.62M, SCGAN: 15.30M, CPM: 9.24M, SSAT: 10.48M).


title: "I think this is the most disruptive technology": Exploring Sentiments of ChatGPT Early Adopters using Twitter Data

abstract: Large language models have recently attracted significant attention due to their impressive performance on a variety of tasks. ChatGPT developed by OpenAI is one such implementation of a large, pre-trained language model that has gained immense popularity among early adopters, where certain users go to the extent of characterizing it as a disruptive technology in many domains. Understanding such early adopters' sentiments is important because it can provide insights into the potential success or failure of the technology, as well as its strengths and weaknesses. In this paper, we conduct a mixed-method study using 10,732 tweets from early ChatGPT users. We first use topic modelling to identify the main topics and then perform an in-depth qualitative sentiment analysis of each topic. Our results show that the majority of the early adopters have expressed overwhelmingly positive sentiments related to topics such as Disruptions to software development, Entertainment and exercising creativity. Only a limited percentage of users expressed concerns about issues such as the potential for misuse of ChatGPT, especially regarding topics such as Impact on educational aspects. We discuss these findings by providing specific examples for each topic and then detail implications related to addressing these concerns for both researchers and users.


title: Automated ICD Coding using Extreme Multi-label Long Text Transformer-based Models

abstract: Background: Encouraged by the success of pretrained Transformer models in many natural language processing tasks, their use for International Classification of Diseases (ICD) coding tasks is now actively being explored. In this study, we investigate three types of Transformer-based models, aiming to address the extreme label set and long text classification challenges that are posed by automated ICD coding tasks. Methods: The Transformer-based model PLM-ICD achieved the current state-of-the-art (SOTA) performance on the ICD coding benchmark dataset MIMIC-III. It was chosen as our baseline model to be further optimised. XR-Transformer, the new SOTA model in the general extreme multi-label text classification domain, and XR-LAT, a novel adaptation of the XR-Transformer model, were also trained on the MIMIC-III dataset. XR-LAT is a recursively trained model chain on a predefined hierarchical code tree with label-wise attention, knowledge transferring and dynamic negative sampling mechanisms. Results: Our optimised PLM-ICD model, which was trained with longer total and chunk sequence lengths, significantly outperformed the current SOTA PLM-ICD model, and achieved the highest micro-F1 score of 60.8%. The XR-Transformer model, although SOTA in the general domain, did not perform well across all metrics. The best XR-LAT based model obtained results that were competitive with the current SOTA PLM-ICD model, including improving the macro-AUC by 2.1%. Conclusion: Our optimised PLM-ICD model is the new SOTA model for automated ICD coding on the MIMIC-III dataset, while our novel XR-LAT model performs competitively with the previous SOTA PLM-ICD model.


title: Synchronization transitions and sensitivity to asymmetry in the bimodal Kuramoto systems with Cauchy noise

abstract: We analyze the synchronization dynamics of the thermodynamically large systems of globally coupled phase oscillators under Cauchy noise forcings with bimodal distribution of frequencies and asymmetry between two distribution components. The systems with the Cauchy noise admit the application of the Ott-Antonsen ansatz, which has allowed us to study analytically synchronization transitions both in the symmetric and asymmetric cases. The dynamics and the transitions between various synchronous and asynchronous regimes are shown to be very sensitive to the asymmetry degree whereas the scenario of the symmetry breaking is universal and does not depend on the particular way to introduce asymmetry, be it the unequal populations of modes in bimodal distribution, the phase delay of the Kuramoto-Sakaguchi model, the different values of the coupling constants, or the unequal noise levels in two modes. In particular, we found that even small asymmetry may stabilize the stationary partially synchronized state, and this may happen even for arbitrarily large frequency difference between two distribution modes (oscillator subgroups). This effect also results in the new type of bistability between two stationary partially synchronized states: one with large level of global synchronization and synchronization parity between two subgroups and another with lower synchronization where the one subgroup is dominant, having higher internal (subgroup) synchronization level and enforcing its oscillation frequency on the second subgroup. For the four asymmetry types, the critical values of asymmetry parameters were found analytically above which the bistability between incoherent and partially synchronized states is no longer possible.


title: On Rigid Manifolds of Kodaira Dimension 1

abstract: We discuss rigid compact complex manifolds of Kodaira dimension 1, arising as product-quotient varieties. First, we show that there is no free rigid action on the product of $(n-1)$ elliptic curves and a curve of genus at least two. Then, we describe the occurring groups, study the quotients and prove that there is always a suitable resolution of singularities preserving rigidity. Finally, we give a complete classification of the cases arising for minimal group orders.


title: Two-dimensional sloshing: domains with interior `high spots'

abstract: Considering the two-dimensional sloshing problem, our main focus is to construct domains with interior high spots; that is, points, where the free surface elevation for the fundamental eigenmode attains its critical values. The so-called semi-inverse procedure is applied for this purpose. The existence of high spots is proved rigorously for some domains. Many of the constructed domains have multiple interior high spots and all of them are bulbous at least on one side.


title: Joint Counting, Detection and Re-Identification for Multi-Object Tracking

abstract: The recent trend in 2D multiple object tracking (MOT) is jointly solving detection and tracking, where object detection and appearance feature (or motion) are learned simultaneously. Despite competitive performance, in crowded scenes, joint detection and tracking usually fail to find accurate object associations due to missed or false detections. In this paper, we jointly model counting, detection and re-identification in an end-to-end framework, named CountingMOT, tailored for crowded scenes. By imposing mutual object-count constraints between detection and counting, the CountingMOT tries to find a balance between object detection and crowd density map estimation, which can help it to recover missed detections or reject false detections. Our approach is an attempt to bridge the gap of object detection, counting, and re-Identification. This is in contrast to prior MOT methods that either ignore the crowd density and thus are prone to failure in crowded scenes,or depend on local correlations to build a graphical relationship for matching targets. The proposed MOT tracker can perform online and real-time tracking, and achieves the state-of-the-art results on public benchmarks MOT16 (MOTA of 79.7), MOT17 (MOTA of 81.3%) and MOT20 (MOTA of 78.9%).


title: Dense nitrogen-enriched circumnuclear region of the new high-redshift quasar ULAS J0816+2134 at z=7.46

abstract: We present the 0.85-2.5-micron discovery spectrum and multi-epoch photometry of the new high-redshift quasar ULAS J081621.47+213442.6 obtained using the GNIRS spectrograph of the Gemini North and near-infrared wide-field camera of the 4-m UKIRT telescopes. The redshift of ULAS J081621.47+213442.6 measured from the MgII 2799 emission line is z=7.461. The absolute magnitude of the quasar is M1450=-25.33. The black hole mass estimated using the MgII 2799 line and Eddington accretion rate are ~5x10^8Msun and ~0.7. The spectrum of ULAS J081621.47+213442.6 exhibits strong NIII] 1750 emission line of a rest-frame equivalent width of ~12.5 A. The high abundance of nitrogen suggests that ULAS J081621.47+213442.6 may be at the peak of the nitrogen enrichment of the circumnuclear region by the asymptotic giant branch stars, which is expected ~0.25 Gyr after the bulk of star formation. The age of the starburst of ULAS J081621.47+213442.6 implied by the high nitrogen abundance, indicates that the active phase of the black hole growth of the quasar may have lasted only ~0.25 Gyr, favoring a massive initial black hole seed. We also observed the flux variations of the UV continuum of ULAS J081621.47+213442.6 caused by the variation in the line-of-sight absorbing column density on a rest-frame timescale of ~47 d. The estimated hydrogen column density of the gas cloud responsible for this variation is N~10^{23.5} cm^{-2}, consistent with the typical column density of mostly neutral, gravitationally bound clouds of the broad line region of quasars.


title: Topological insulating phase arising in transition metal dichalcogenide alloy

abstract: Transition metal dichalcogenides have been the subject of numerous studies addressing technological applications and fundamental issues. Single-layer PtSe2 is a semiconductor with a trivial bandgap, in contrast, its counterpart with 25% of Se atoms substituted by Hg, Pt2HgSe3 (jacutingaite, a naturally occurring mineral), is a 2D topological insulator with a large bandgap. Based on ab-initio calculations, we investigate the energetic stability, and the topological transition in Pt(HgxSe1-x)2 as a function of alloy concentration, and the distribution of Hg atoms embedded in the PtSe2 host. Our findings reveal the dependence of the topological phase with respect to the alloy concentration and robustness with respect distribution of Hg. Through a combination of our ab-initio results and a defect wave function percolation model, we estimate the random alloy concentration threshold for the topological transition to be only 9%. Our results expand the possible search for non-trivial topological phases in random alloy systems.


title: Dirac Points Embedded in the Continuum

abstract: Dirac points (DP) in Hermitian systems play a key role in topological phenomena. Their existence in non-Hermitian systems is then desirable, but the addition of loss or gain transforms DPs into pairs of Exceptional Points (EPs) joined by a Fermi arc, which exhibit interesting but different properties. When the transition to a non-Hermitian system results from the opening of a radiation channel, the system can also support bound states in the continuum (BICs), which are non-radiative resonant states that appear within the band of radiation states. We theoretically show that simultaneous band-crossing of two BICs can prevent the formation of EPs and Fermi arcs, resulting in genuine Hermitian DPs, which are nonetheless embedded in the continuum of radiation states. Dirac points embedded in the continuum (DECs) are a new topological entity that combines the rich physics associated with DPs with the ideal resonant properties of BICs in non-Hermitian systems.


title: CoVRage: Millimeter-Wave Beamforming for Mobile Interactive Virtual Reality

abstract: Contemporary Virtual Reality (VR) setups often include an external source delivering content to a Head-Mounted Display (HMD). "Cutting the wire" in such setups and going truly wireless will require a wireless network capable of delivering enormous amounts of video data at an extremely low latency. The massive bandwidth of higher frequencies, such as the millimeter-wave (mmWave) band, can meet these requirements. Due to high attenuation and path loss in the mmWave frequencies, beamforming is essential. In wireless VR, where the antenna is integrated into the HMD, any head rotation also changes the antenna's orientation. As such, beamforming must adapt, in real-time, to the user's head rotations. An HMD's built-in sensors providing accurate orientation estimates may facilitate such rapid beamforming. In this work, we present coVRage, a receive-side beamforming solution tailored for VR HMDs. Using built-in orientation prediction present on modern HMDs, the algorithm estimates how the Angle of Arrival (AoA) at the HMD will change in the near future, and covers this AoA trajectory with a dynamically shaped oblong beam, synthesized using sub-arrays. We show that this solution can cover these trajectories with consistently high gain, even in light of temporally or spatially inaccurate orientational data.


title: Measuring the Driving Forces of Predictive Performance: Application to Credit Scoring

abstract: In credit scoring, machine learning models are known to outperform standard parametric models. As they condition access to credit, banking supervisors and internal model validation teams need to monitor their predictive performance and to identify the features with the highest impact on performance. To facilitate this, we introduce the XPER methodology to decompose a performance metric (e.g., AUC, $R^2$) into specific contributions associated with the various features of a classification or regression model. XPER is theoretically grounded on Shapley values and is both model-agnostic and performance metric-agnostic. Furthermore, it can be implemented either at the model level or at the individual level. Using a novel dataset of car loans, we decompose the AUC of a machine-learning model trained to forecast the default probability of loan applicants. We show that a small number of features can explain a surprisingly large part of the model performance. Furthermore, we find that the features that contribute the most to the predictive performance of the model may not be the ones that contribute the most to individual forecasts (SHAP). We also show how XPER can be used to deal with heterogeneity issues and significantly boost out-of-sample performance.


title: ALSO: Automotive Lidar Self-supervision by Occupancy estimation

abstract: We propose a new self-supervised method for pre-training the backbone of deep perception models operating on point clouds. The core idea is to train the model on a pretext task which is the reconstruction of the surface on which the 3D points are sampled, and to use the underlying latent vectors as input to the perception head. The intuition is that if the network is able to reconstruct the scene surface, given only sparse input points, then it probably also captures some fragments of semantic information, that can be used to boost an actual perception task. This principle has a very simple formulation, which makes it both easy to implement and widely applicable to a large range of 3D sensors and deep networks performing semantic segmentation or object detection. In fact, it supports a single-stream pipeline, as opposed to most contrastive learning approaches, allowing training on limited resources. We conducted extensive experiments on various autonomous driving datasets, involving very different kinds of lidars, for both semantic segmentation and object detection. The results show the effectiveness of our method to learn useful representations without any annotation, compared to existing approaches. Code is available at https://github.com/valeoai/ALSO


title: J-PLUS DR3: Galaxy-Star-Quasar classification

abstract: The Javalambre Photometric Local Universe Survey (J-PLUS) is a 12-band photometric survey using the 83-cm JAST telescope. Data Release 3 includes 47.4 million sources. J-PLUS DR3 only provides star-galaxy classification so that quasars are not identified from the other sources. Given the size of the dataset, machine learning methods could provide a valid alternative classification and a solution to the classification of quasars. Our objective is to classify J-PLUS DR3 sources into galaxies, stars and quasars, outperforming the available classifiers in each class. We use an automated machine learning tool called TPOT to find an optimized pipeline to perform the classification. The supervised machine learning algorithms are trained on the crossmatch with SDSS DR18, LAMOST DR8 and Gaia. We checked that the training set of about 660 thousand galaxies, 1.2 million stars and 270 thousand quasars is both representative and contain a minimal presence of contaminants (less than 1%). We considered 37 features: the twelve photometric bands with respective errors, six colors, four morphological parameters, galactic extinction with its error and the PSF relative to the corresponding pointing. With TPOT genetic algorithm, we found that XGBoost provides the best performance: the AUC for galaxies, stars and quasars is above 0.99 and the average precision is above 0.99 for galaxies and stars and 0.96 for quasars. XGBoost outperforms the classifiers already provided in J-PLUS DR3 and also classifies quasars.


title: Metrology and Many-Body Physics with Ultracold Metastable Helium

abstract: Ultracold dilute gases provide ideal settings for measurements of atomic structure. Helium has an internal structure sufficiently simple to permit highly accurate predictions of its resonances and transition rates. Precise laser spectroscopy of helium thus yields empirical constraints on such calculations. These are desirable in the ongoing investigations seeking to reconcile the disagreement between independent determinations of nuclear charge radius data in both hydrogenic and helium atoms. Either the size of these particles are truly constant and quantum electrodynamics (QED) is flawed, or the theory is correct and some new physics is at play at the atomic scale. Ultracold bose gases also serve as ideal testing ground to better understand the physics of Bose-Einstein condensation, superfluidity, and the effects of weak interactions in condensed-matter systems. The large internal energy of helium's metastable excited state enables the measurement of the momentum of single atoms, providing a new lens through which to examine both weakly-interacting and strongly-correlated systems. This feature is employed to investigate the quantum depletion of a BEC after expansion into the far-field. Finally, the appendix reports on early progress towards the realization of an optical lattice trap for helium.


title: Version 2.0.0 -- M-SPARC: Matlab-Simulation Package for Ab-initio Real-space Calculations

abstract: M-SPARC is a Matlab code for performing ab initio Kohn-Sham Density Functional Theory simulations. Version 2.0.0 of the software further extends its capability to include relativistic effects, dispersion interactions, and advanced semilocal/nonlocal exchange-correlation functionals. These features significantly increase the fidelity of first principles calculations that can be performed using M-SPARC.


title: \v{C}ech complexes of hypercube graphs

abstract: A \v{C}ech complex of a finite simple graph $G$ is a nerve complex of balls in the graph, with one ball centered at each vertex. More precisely, let the \v{C}ech complex $\mathcal{N}(G,r)$ be the nerve of all closed balls of radius $\frac{r}{2}$ centered at vertices of $G$, where these balls are drawn in the geometric realization of the graph $G$ (equipped with the shortest path metric). The simplicial complex $\mathcal{N}(G,r)$ is equal to the graph $G$ when $r=1$, and homotopy equivalent to the graph $G$ when $r$ is smaller than half the length of the shortest loop in $G$. For higher values of $r$, the topology of $\mathcal{N}(G,r)$ is not well-understood. We consider the $n$-dimensional hypercube graphs $\mathbb{I}_n$ with $2^n$ vertices. Our main results are as follows. First, when $r=2$, we show that the \v{C}ech complex $\mathcal{N}(\mathbb{I}_n,2)$ is homotopy equivalent to a wedge of 2-spheres for all $n\ge 1$, and we count the number of 2-spheres appearing in this wedge sum. Second, when $r=3$, we show that $\mathcal{N}(\mathbb{I}_n,3)$ is homotopy equivalent to a simplicial complex of dimension at most 4, and that for $n\ge 4$ the reduced homology of $\mathcal{N}(\mathbb{I}_n, 3)$ is nonzero in dimensions 3 and 4, and zero in all other dimensions. Finally, we show that for all $n\ge 1$ and $r\ge 0$, the inclusion $\mathcal{N}(\mathbb{I}_n, r)\hookrightarrow \mathcal{N}(\mathbb{I}_n, r+2)$ is null-homotopic, providing a bound on the length of bars in the persistent homology of \v{C}ech complexes of hypercube graphs.


title: Concentration and non-concentration of eigenfunctions of second-order elliptic operators in layered media

abstract: This work is concerned with operators of the type A = --c$\Delta$ acting in domains $\Omega$ := $\Omega$ ' x (0, H) $\subseteq$ R^d x R ^+. The diffusion coefficient c > 0 depends on one coordinate y $\in$ (0, H) and is bounded but may be discontinuous. This corresponds to the physical model of ''layered media'', appearing in acoustics, elasticity, optical fibers... Dirichlet boundary conditions are assumed. In general, for each $\epsilon$ > 0, the set of eigenfunctions is divided into a disjoint union of three subsets : Fng (non-guided), Fg (guided) and Fres (residual). The residual set shrinks as $\epsilon$ $\rightarrow$ 0. The customary physical terminology of guided/non-guided is often replaced in the mathematical literature by concentrating/non-concentrating solutions, respectively. For guided waves, the assumption of ''layered media'' enables us to obtain rigorous estimates of their exponential decay away from concentration zones. The case of non-guided waves has attracted less attention in the literature. While it is not so closely connected to physical models, it leads to some very interesting questions concerning oscillatory solutions and their asymptotic properties. Classical asymptotic methods are available for c(y) $\in$ C 2 but a lesser degree of regularity excludes such methods. The associated eigenfunctions (in Fng) are oscillatory. However, this fact by itself does not exclude the possibility of ''flattening out'' of the solution between two consecutive zeros, leading to concentration in the complementary segment. Here we show it cannot happen when c(y) is of bounded variation, by proving a ''minimal amplitude hypothesis''. However the validity of such results when c(y) is not of bounded variation (even if it is continuous) remains an open problem.


title: Circular Polarization in two Active Repeating Fast Radio Bursts

abstract: Fast radio bursts (FRBs) are bright millisecond radio bursts at cosmological distances. Only a small fraction of FRBs apparently repeat. Polarization, a fundamental property of electromagnetic signals, often carries critical information about the radiation processes, the environment, and the intervening medium of FRBs. Here we report circular polarization detections of two active repeating FRBs, namely FRBs 20121102A and 20190520B, with the Five-hundred-meter Aperture Spherical radio Telescope. We detect circular polarization in both active repeating FRBs, which increases the number of repeating FRBs with circular polarization to three. In one of the bursts of FRB 20121102A, we detect 64% degree of circular polarization. The observed circular polarization is unlikely induced by multipath propagation. Our observations favor circular polarization induced by Faraday conversion or radiation mechanism intrinsic to the FRB source. The conditions to generate circular polarization have to be rare in either case.


title: Whole Brain Network Dynamics of Epileptic Seizures at Single Cell Resolution

abstract: Epileptic seizures are characterised by abnormal brain dynamics at multiple scales, engaging single neurons, neuronal ensembles and coarse brain regions. Key to understanding the cause of such emergent population dynamics, is capturing the collective behaviour of neuronal activity at multiple brain scales. In this thesis I make use of the larval zebrafish to capture single cell neuronal activity across the whole brain during epileptic seizures. Firstly, I make use of statistical physics methods to quantify the collective behaviour of single neuron dynamics during epileptic seizures. Here, I demonstrate a population mechanism through which single neuron dynamics organise into seizures: brain dynamics deviate from a phase transition. Secondly, I make use of single neuron network models to identify the synaptic mechanisms that actually cause this shift to occur. Here, I show that the density of neuronal connections in the network is key for driving generalised seizure dynamics. Interestingly, such changes also disrupt network response properties and flexible dynamics in brain networks, thus linking microscale neuronal changes with emergent brain dysfunction during seizures. Thirdly, I make use of non-linear causal inference methods to study the nature of the underlying neuronal interactions that enable seizures to occur. Here I show that seizures are driven by high synchrony but also by highly non-linear interactions between neurons. Interestingly, these non-linear signatures are filtered out at the macroscale, and therefore may represent a neuronal signature that could be used for microscale interventional strategies. This thesis demonstrates the utility of studying multi-scale dynamics in the larval zebrafish, to link neuronal activity at the microscale with emergent properties during seizures.


title: String-scale Gauge Coupling Relations in the Supersymmetric Pati-Salam Models from Intersecting D6-branes

abstract: We have constructed all the three-family ${\cal N} = 1$ supersymmetric Pati-Salam models from intersecting D6-branes, and obtained 33 independent models in total. But how to realize the string-scale gauge coupling relations in these models is a big challenge. We first discuss how to decouple the exotic particles in these models. In addition, we consider the adjoint chiral mulitplets for $SU(4)_C$ and $SU(2)_L$ gauge symmetries, the Standard Model (SM) vector-like particles from D6-brane intersections, as well as the vector-like particles from the ${\cal N}=2$ subsector. We show that the gauge coupling relations at string scale can be achieved via two-loop renormalization group equation running for all these supersymmetric Pati-Salam models. Therefore, we propose a concrete way to obtain the string-scale gauge coupling realtions for the generic intersecting D-brane models.


title: Fast nuclear-spin gates and electrons-nuclei entanglement of neutral atoms in weak magnetic fields

abstract: We present fast Rydberg-mediated entanglement involving nuclear spins of divalent atoms with $^{171}$Yb as an example. First, we show a nuclear-spin controlled phase gate of an arbitrary phase realizable either with two laser pulses when assisted by Stark shifts, or with three pulses. Second, we propose to create a state $(\lvert\text{cc}\rangle_{\text{e}} \otimes \lvert\Phi\rangle_{\text{n}} + \lvert\Phi\rangle_{\text{e}} \otimes \lvert\Psi\rangle_{\text{n}} )/\sqrt{2}$ entangled between the electrons~(e) and nuclear spins~(n) of two atoms, where $\lvert\Phi\rangle$ and $\lvert\Psi\rangle$ are two orthogonal Bell states and $\lvert \text{c}\rangle_{\text{e}}$ denotes the clock state. For want of a better term, it is called a Super Bell State for it mimics a ``large'' Bell state incorporating three ``smaller'' Bell states. Third, we show a protocol to create a three-atom state $(\sqrt{3}\lvert\text{ccc}\rangle_{\text{e}} \otimes \lvert\Lambda\rangle_{\text{n}} + \lvert \text{W}\rangle_{\text{e}} \otimes \lvert \text{GHZ}\rangle_{\text{n}} )/2$, where $\lvert\Lambda\rangle_{\text{n}}$ is a nuclear-spin state, $\lvert \text{W}\rangle_{\text{e}}$ is a W state in the ground-clock state space, and $\lvert \text{GHZ}\rangle_{\text{n}}$ is the Greenberger-Horne-Zeilinger~(GHZ) state in the nuclear-spin state space. The four protocols possess high intrinsic fidelities, do not require single-site Rydberg addressing, and can be executed with large $\Omega_{\text{m}}$ in a weak, Gauss-scale magnetic field for they involve Rydberg excitation of both nuclear-spin qubit states in each atom. The latter two protocols can enable measurement-based preparation of Bell, hyperentangled, and GHZ states.

categories: quant-ph physics.app-ph physics.atom-ph physics.optics


title: A proof for string three-point functions in AdS$_3$

abstract: Correlation functions of the $\text{SL}(2,\mathbb{R})$-WZW model involving spectrally flowed vertex operators are notoriously difficult to compute. An explicit integral expression for the corresponding three-point functions was recently conjectured in [arXiv:2105.12130v2]. In this paper, we provide a proof for this conjecture. For this, we extend the methods of [arXiv:2208.00978] based on the so-called $\text{SL}(2,\mathbb{R})$ series identifications, which relate vertex operators belonging to different spectral flow sectors. We also highlight the role of holomorphic covering maps in this context. Our results constitute an important milestone for proving this instance of the AdS$_3$/CFT$_2$ holographic duality at finite 't Hooft coupling.


title: Exciton condensation in strongly correlated quantum spin Hall insulators

abstract: Time reversal symmetric topological insulators are generically robust with respect to weak local interaction, unless symmetry breaking transitions take place. Using dynamical mean-field theory we solve an interacting model of quantum spin Hall insulators and show the existence, at intermediate coupling, of a symmetry breaking transition to a non-topological insulator characterised by exciton condensation. This transition is of first order. For a larger interaction strength the insulator evolves into a Mott one. The transition is continuous if magnetic order is prevented, and notably, for any finite Hund's exchange it progresses through a Mott localization before the condensate coherence is lost. We show that the correlated excitonic state corresponds to a magneto-electric insulator which allows for direct experimental probing. Finally, we discuss the fate of the helical edge modes across the excitonic transition.


title: Symmetrization Techniques in Image Deblurring

abstract: This paper presents a couple of preconditioning techniques that can be used to enhance the performance of iterative regularization methods applied to image deblurring problems with a variety of point spread functions (PSFs) and boundary conditions. More precisely, we first consider the anti-identity preconditioner, which symmetrizes the coefficient matrix associated to problems with zero boundary conditions, allowing the use of MINRES as a regularization method. When considering more sophisticated boundary conditions and strongly nonsymmetric PSFs, the anti-identity preconditioner improves the performance of GMRES. We then consider both stationary and iteration-dependent regularizing circulant preconditioners that, applied in connection with the anti-identity matrix and both standard and flexible Krylov subspaces, speed up the iterations. A theoretical result about the clustering of the eigenvalues of the preconditioned matrices is proved in a special case. The results of many numerical experiments are reported to show the effectiveness of the new preconditioning techniques, including when considering the deblurring of sparse images.


title: MiNAA: Microbiome Network Alignment Algorithm

abstract: Our Microbiome Network Alignment Algorithm (MiNAA) aligns two microbial networks using a combination of the GRAph ALigner (GRAAL) algorithm and the Hungarian algorithm. Network alignment algorithms find pairs of nodes (one node from the first network and the other node from the second network) that have the highest similarity. Traditionally, similarity has been defined as topological similarity such that the neighborhoods around the two nodes are similar. Recent implementations of network alignment methods such as NETAL and L-GRAAL also include measures of biological similarity, yet these methods are restricted to one specific type of biological similarity (e.g. sequence similarity in L-GRAAL). Our work extends existing network alignment implementations by allowing any type of biological similarity to be input by the user. This flexibility allows the user to choose whatever measure of biological similarity is suitable for the study at hand. In addition, unlike most existing network alignment methods that are tailored for protein or gene interaction networks, our work is the first one suited for microbiome networks.


title: TE and TM Modes in Metallic Waveguide Filled With a Lossless and Fully Anisotropic Medium

abstract: This letter gives a condition for the existence of the pure TE and TM modes in the metallic waveguide filled with a homogeneous, fully anisotropic and lossless medium. The condition is a relation between the permittivity and permeability tensors of the fully anisotropic medium. The theory given in the letter is the extension of the classic electromagnetic waveguide theory. At last, we employ the commercial software COMSOL Multiphysics to simulate the metallic waveguide problem filled with a homogeneous, fully anisotropic and lossless medium. Numerical experiment shows that the condition supported in the letter does confirm the existence of the pure TE and TM modes in the anisotropic waveguide.


title: Nonequilibrium thermodynamics of DNA nanopore unzipping

abstract: Using theory and simulations, we carried out a first systematic characterization of DNA unzipping via nanopore translocation. Starting from partially unzipped states, we found three dynamical regimes depending on the applied force, f: (i) heterogeneous DNA retraction and rezipping (f < 17pN), (ii) normal (17pN < f < 60pN) and (iii) anomalous (f > 60pN) drift-diffusive behavior. We show that the normal drift-diffusion regime can be effectively modelled as a one-dimensional stochastic process in a tilted periodic potential. We use the theory of stochastic processes to recover the potential from nonequilibrium unzipping trajectories and show that it corresponds to the free-energy landscape for single base-pairs unzipping. Applying this general approach to other single-molecule systems with periodic potentials ought to yield detailed free-energy landscapes from out-of-equilibrium trajectories.


title: The free group in R

abstract: Here I present the freegroup package for working with the free group on a finite set of symbols. The package is vectorised; internally it uses an efficient matrix-based representation for free group objects but uses a configurable print method. A range of R-centric functionality is provided. It is available on CRAN at https://CRAN.R-project.org/package=freegroup.


title: Finger-NestNet: Interpretable Fingerphoto Verification on Smartphone using Deep Nested Residual Network

abstract: Fingerphoto images captured using a smartphone are successfully used to verify the individuals that have enabled several applications. This work presents a novel algorithm for fingerphoto verification using a nested residual block: Finger-NestNet. The proposed Finger-NestNet architecture is designed with three consecutive convolution blocks followed by a series of nested residual blocks to achieve reliable fingerphoto verification. This paper also presents the interpretability of the proposed method using four different visualization techniques that can shed light on the critical regions in the fingerphoto biometrics that can contribute to the reliable verification performance of the proposed method. Extensive experiments are performed on the fingerphoto dataset comprised of 196 unique fingers collected from 52 unique data subjects using an iPhone6S. Experimental results indicate the improved verification of the proposed method compared to six different existing methods with EER = 1.15%.


title: Image-based Artificial Intelligence empowered surrogate model and shape morpher for real-time blank shape optimisation in the hot stamping process

abstract: As the complexity of modern manufacturing technologies increases, traditional trial-and-error design, which requires iterative and expensive simulations, becomes unreliable and time-consuming. This difficulty is especially significant for the design of hot-stamped safety-critical components, such as ultra-high-strength-steel (UHSS) B-pillars. To reduce design costs and ensure manufacturability, scalar-based Artificial-Intelligence-empowered surrogate modelling (SAISM) has been investigated and implemented, which can allow real-time manufacturability-constrained structural design optimisation. However, SAISM suffers from low accuracy and generalisability, and usually requires a high volume of training samples. To solve this problem, an image-based Artificial-intelligence-empowered surrogate modelling (IAISM) approach is developed in this research, in combination with an auto-decoder-based blank shape generator. The IAISM, which is based on a Mask-Res-SE-U-Net architecture, is trained to predict the full thinning field of the as-formed component given an arbitrary blank shape. Excellent prediction performance of IAISM is achieved with only 256 training samples, which indicates the small-data learning nature of engineering AI tasks using structured data representations. The trained auto-decoder, trained Mask-Res-SE-U-Net, and Adam optimiser are integrated to conduct blank optimisation by modifying the latent vector. The optimiser can rapidly find blank shapes that satisfy manufacturability criteria. As a high-accuracy and generalisable surrogate modelling and optimisation tool, the proposed pipeline is promising to be integrated into a full-chain digital twin to conduct real-time, multi-objective design optimisation.


title: A closure operator on the subgroup lattice of $\mathrm{GL}(n,q)$ and $\mathrm{PGL}(n,q)$ in relation to the zeros of the M\"obius function

abstract: Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $\mu$ denote the M\"obius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $\mu(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.


title: Thin Sidon sets and the nonlinearity of vectorial Boolean functions

abstract: The vectorial nonlinearity of a vector valued function is its distance from the set of affine functions. In 2017, Liu, Mesnager and Chen conjectured a general upper bound for the vectorial linearity. Recently, Carlet proved a lower bound in terms of the differential uniformity. In this paper, we improve Carlet's lower bound. Our method is elementary, it relies on the fact that the level sets of an APN functions are Sidon sets. We give a survey on Sidon sets in elementary abelian 2-groups. We study the completeness problem of Sidon sets obtained from hyperbolas and ellipses of the finite affine plane.


title: Thermal transport properties of the nanocomposite system "porous silicon/ionic liquid"

abstract: This paper investigates thermal transport in a nanocomposite system "porous silicon matrix filled with ionic liquid". First, the thermal conductivity and heat capacity of two imidazolium and one ammonium ionic liquids were evaluated using the photoacoustic approach in piezoelectric configuration and differential scanning calorimetry, respectively. Then, the thermal transport properties of the composite system "ionic liquid confined inside porous silicon matrix" were investigated with the photoacoustic approach in gas-microphone configuration. It was found that a significant enhancement of the thermal conductivity of the composite when compared to the individual components, i.e. (i) more than two times for pristine porous silicon and (ii) more than eight times for ionic liquids. These results provide new paths for innovative solutions in the field of thermal management in highly efficient energy storage devices.


title: Inequalities between the lowest eigenvalues of Laplacians with mixed boundary conditions

abstract: The eigenvalue problem for the Laplacian on bounded, planar, convex domains with mixed boundary conditions is considered, where a Dirichlet boundary condition is imposed on a part of the boundary and a Neumann boundary condition on its complement. Given two different such choices of boundary conditions for the same domain, we prove inequalities between their lowest eigenvalues. As a special case, we prove parts of a conjecture on the order of mixed eigenvalues of triangles.


title: MFV approach to robust estimate of neutron lifetime

abstract: Aiming at evaluating the lifetime of the neutron, we introduce a novel statistical method to analyse the updated compilation of precise measurements including the 2022 dataset of Particle Data Group (PDG). Based on the minimization for the information loss principle, unlike the median statistics method, we apply the most frequent value (MFV) procedure to estimate the neutron lifetime, irrespective of the Gaussian or non-Gaussian distributions. Providing a more robust way, the calculated result of the MFV is $\tau_n=881.16^{+2.25}_{-2.35}$ s with statistical bootstrap errors, while the result of median statistics is $\tau_n=881.5^{+5.5}_{-3}$ s according to the binomial distribution. Using the different central estimates, we also construct the error distributions of neutron lifetime measurements and find the non-Gaussianity, which is still meaningful.


title: Text Mining-Based Patent Analysis for Automated Rule Checking in AEC

abstract: Automated rule checking (ARC), which is expected to promote the efficiency of the compliance checking process in the architecture, engineering, and construction (AEC) industry, is gaining increasing attention. Throwing light on the ARC application hotspots and forecasting its trends are useful to the related research and drive innovations. Therefore, this study takes the patents from the database of the Derwent Innovations Index database (DII) and China national knowledge infrastructure (CNKI) as data sources and then carried out a three-step analysis including (1) quantitative characteristics (i.e., annual distribution analysis) of patents, (2) identification of ARC topics using a latent Dirichlet allocation (LDA) and, (3) SNA-based co-occurrence analysis of ARC topics. The results show that the research hotspots and trends of Chinese and English patents are different. The contributions of this study have three aspects: (1) an approach to a comprehensive analysis of patents by integrating multiple text mining methods (i.e., SNA and LDA) is introduced ; (2) the application hotspots and development trends of ARC are reviewed based on patent analysis; and (3) a signpost for technological development and innovation of ARC is provided.


title: A physics-informed search for metric solutions to Ricci flow, their embeddings, and visualisation

abstract: Neural networks with PDEs embedded in their loss functions (physics-informed neural networks) are employed as a function approximators to find solutions to the Ricci flow (a curvature based evolution) of Riemannian metrics. A general method is developed and applied to the real torus. The validity of the solution is verified by comparing the time evolution of scalar curvature with that found using a standard PDE solver, which decreases to a constant value of 0 on the whole manifold. We also consider certain solitonic solutions to the Ricci flow equation in two real dimensions. We create visualisations of the flow by utilising an embedding into $\mathbb{R}^3$. Snapshots of highly accurate numerical evolution of the toroidal metric over time are reported. We provide guidelines on applications of this methodology to the problem of determining Ricci flat Calabi--Yau metrics in the context of String theory, a long standing problem in complex geometry.


title: Deontic Paradoxes in Library Lending Regulations: A Case Study in Flint

abstract: Flint is a frame-based and action-centered language developed by Van Doesburg et al. to capture and compare different interpretations of sources of norms (e.g. laws or regulations). The aim of this research is to investigate whether Flint is susceptible to paradoxes that are known to occur in normative systems. The example of library lending regulations -- first introduced by Sergot to argue for including deontic concepts in legal knowledge representation -- is central to this analysis. The hypothesis is that Flint is capable of expressing Sergot's library example without the occurrence of deontic paradoxes (most notably: the Chisholm paradox). This research is a first step towards a formal analysis of the expressive power of Flint as a language and furthers understanding of the relation between Flint and existing deontic logics.


title: Design, optimization and experimental characterization of RF injectors for high brightness electron beams and plasma acceleration

abstract: In this article, we share our experience related to the new photo-injector commissioning at the SPARC\_LAB test facility. The new photo-injector was installed into an existing machine and our goal was not only to improve the final beam parameters themselves but to improve the machine handling in day-to-day operations as well. Thus, besides the pure beam characterization, this article contains information about the improvements, that were introduced into the new photo-injector design from the machine maintenance point of view, and the benefits, that we gained by using the new technique to assemble the gun itself.


title: Diff-Font: Diffusion Model for Robust One-Shot Font Generation

abstract: Font generation is a difficult and time-consuming task, especially in those languages using ideograms that have complicated structures with a large number of characters, such as Chinese. To solve this problem, few-shot font generation and even one-shot font generation have attracted a lot of attention. However, most existing font generation methods may still suffer from (i) large cross-font gap challenge; (ii) subtle cross-font variation problem; and (iii) incorrect generation of complicated characters. In this paper, we propose a novel one-shot font generation method based on a diffusion model, named Diff-Font, which can be stably trained on large datasets. The proposed model aims to generate the entire font library by giving only one sample as the reference. Specifically, a large stroke-wise dataset is constructed, and a stroke-wise diffusion model is proposed to preserve the structure and the completion of each generated character. To our best knowledge, the proposed Diff-Font is the first work that developed diffusion models to handle the font generation task. The well-trained Diff-Font is not only robust to font gap and font variation, but also achieved promising performance on difficult character generation. Compared to previous font generation methods, our model reaches state-of-the-art performance both qualitatively and quantitatively.


title: A CLT for the LSS of large dimensional sample covariance matrices with diverging spikes

abstract: In this paper, we establish the central limit theorem (CLT) for linear spectral statistics (LSSs) of a large-dimensional sample covariance matrix when the population covariance matrices are involved with diverging spikes. This constitutes a nontrivial extension of the Bai-Silverstein theorem (BST) (Ann Probab 32(1):553--605, 2004), a theorem that has strongly influenced the development of high-dimensional statistics, especially in the applications of random matrix theory to statistics. Recently, there has been a growing realization that the assumption of uniform boundedness of the population covariance matrices in the BST is not satisfied in some fields, such as economics, where the variances of principal components may diverge as the dimension tends to infinity. Therefore, in this paper, we aim to eliminate this obstacle to applications of the BST. Our new CLT accommodates spiked eigenvalues, which may either be bounded or tend to infinity. A distinguishing feature of our result is that the variance in the new CLT is related to both spiked eigenvalues and bulk eigenvalues, with dominance being determined by the divergence rate of the largest spiked eigenvalues. The new CLT for LSS is then applied to test the hypothesis that the population covariance matrix is the identity matrix or a generalized spiked model. The asymptotic distributions of the corrected likelihood ratio test statistic and the corrected Nagao's trace test statistic are derived under the alternative hypothesis. Moreover, we present power comparisons between these two LSSs and Roy's largest root test. In particular, we demonstrate that except for the case in which the number of spikes is equal to one, the LSSs could exhibit higher asymptotic power than Roy's largest root test.


title: MultiAct: Long-Term 3D Human Motion Generation from Multiple Action Labels

abstract: We tackle the problem of generating long-term 3D human motion from multiple action labels. Two main previous approaches, such as action- and motion-conditioned methods, have limitations to solve this problem. The action-conditioned methods generate a sequence of motion from a single action. Hence, it cannot generate long-term motions composed of multiple actions and transitions between actions. Meanwhile, the motion-conditioned methods generate future motions from initial motion. The generated future motions only depend on the past, so they are not controllable by the user's desired actions. We present MultiAct, the first framework to generate long-term 3D human motion from multiple action labels. MultiAct takes account of both action and motion conditions with a unified recurrent generation system. It repetitively takes the previous motion and action label; then, it generates a smooth transition and the motion of the given action. As a result, MultiAct produces realistic long-term motion controlled by the given sequence of multiple action labels. Codes are available here at https://github.com/TaeryungLee/MultiAct_RELEASE.


title: A study of enhancing the power of a CW Ti:sapphire laser by cryogenic cooling

abstract: In this article, we explore how cryogenic cooling of the Ti:sapphire laser crystal greatly reduces thermal lensing by over an order of magnitude because of two factors: (i) the increase in the thermal conductivity of the crystal, and (ii) the decrease in the temperature dependence of the refractive index. We obtained analytical expression of the focal length of thermal lens for the pump inside the laser crystal being a Gaussian beam. Through analysis of the laser cavity stability, we found that in order for the relative difference between the optimal laser cavity path lengths in the horizontal and vertical directions to be less than 0.1%, the focal length of thermal lens should be longer than 0.5 m. Such a requirement can be met if the laser crystal is cooled to temperatures below 100 K while being pumped at a power that is enough to produce 100 W output. Therefore, it is very likely that an output power of 100 W can be achieved on a single Ti:sapphire laser by cryogenic cooling of the laser crystal.


title: Modified Makar-Limanov and Derksen invariants

abstract: We investigate modified Makar-Limanov and Derksen invariants of an affine algebraic variety. The modified Makar-Limanov invariant is the intersection of kernels of all locally nilpotent derivations with slices and the modified Derksen invariant is the subalgebra generated by these kernels. We prove that modified Makar-Limanov invariant coincide with Makar-Limanov invariant if there exists a locally nilpotent derivation with a slice. Also we construct an example of a variety admitting a locally nilpotent derivation with a slice such that modified Derksen invariant does not coincide with Derksen invariant.


title: Deep learning-based Subtyping of Atypical and Normal Mitoses using a Hierarchical Anchor-Free Object Detector

abstract: Mitotic activity is key for the assessment of malignancy in many tumors. Moreover, it has been demonstrated that the proportion of abnormal mitosis to normal mitosis is of prognostic significance. Atypical mitotic figures (MF) can be identified morphologically as having segregation abnormalities of the chromatids. In this work, we perform, for the first time, automatic subtyping of mitotic figures into normal and atypical categories according to characteristic morphological appearances of the different phases of mitosis. Using the publicly available MIDOG21 and TUPAC16 breast cancer mitosis datasets, two experts blindly subtyped mitotic figures into five morphological categories. Further, we set up a state-of-the-art object detection pipeline extending the anchor-free FCOS approach with a gated hierarchical subclassification branch. Our labeling experiment indicated that subtyping of mitotic figures is a challenging task and prone to inter-rater disagreement, which we found in 24.89% of MF. Using the more diverse MIDOG21 dataset for training and TUPAC16 for testing, we reached a mean overall average precision score of 0.552, a ROC AUC score of 0.833 for atypical/normal MF and a mean class-averaged ROC-AUC score of 0.977 for discriminating the different phases of cells undergoing mitosis.


title: Parameter-Efficient Finetuning of Transformers for Source Code

abstract: Pretrained Transformers achieve state-of-the-art performance in various code-processing tasks but may be too large to be deployed. As software development tools often incorporate modules for various purposes which may potentially use a single instance of the pretrained model, it appears relevant to utilize parameter-efficient fine-tuning for the pretrained models of code. In this work, we test two widely used approaches, adapters and LoRA, which were initially tested on NLP tasks, on four code-processing tasks. We find that though the efficient fine-tuning approaches may achieve comparable or higher performance than the standard, full, fine-tuning in code understanding tasks, they underperform full fine-tuning in code-generative tasks. These results underline the importance of testing efficient fine-tuning approaches on other domains than NLP and motivate future research in efficient fine-tuning for source code.


title: Holographic complexity of rotating black holes with conical deficits

abstract: Based on the complexity equals action (CA) and complexity equals volume (CV) conjectures, we investigate the holographic complexity of a slowly accelerating Kerr-AdS black hole in the bulk Einstein gravity theory which is dual to holographic states with rotation and conical deficits in the boundary quantum system. Upon obtaining an implicit form of the Wheeler-DeWitt patch, we evaluate the action and show that the growth rate of the CA complexity violates volume-scaling formulation in large black hole limit due to the non-trivial contribution from the not-too-small acceleration of the black hole. Moreover, in an ensemble with fixed entropy, pressure, and angular momentum, we also find that complexity of formation decreases with both the average and difference of the conical deficits on the poles when the black hole is close to the static limit but increases with the deficits when the black hole is close to the extremal regime.


title: SyReC Synthesizer: An MQT tool for synthesis of reversible circuits

abstract: Reversible circuits form the backbone for many promising emerging technologies such as quantum computing, low power/adiabatic design, encoder/decoder devices, and several other applications. In the recent years, the scalable synthesis of such circuits has gained significant attention. In this work, we present the SyReC Synthesizer, a synthesis tool for reversible circuits based on the hardware description language SyReC. SyReC allows to describe reversible functionality at a high level of abstraction. The provided SyReC Synthesizer then realizes this functionality in a push-button fashion. Corresponding options allow for a trade-off between the number of needed circuit signals/lines (relevant, e.g., for quantum computing in which every circuit line corresponds to a qubit) and the respectively needed gates (corresponding to the circuit's costs). Furthermore, the tool allows to simulate the resulting circuit as well as to determine the gate costs of it. The SyReC Synthesizer is available as an open-source software package at https://github.com/cda-tum/syrec as part of the Munich Quantum Toolkit (MQT).


title: Chiral Metafilms and Surface Enhanced Raman Scattering For Enantiomeric Discrimination of Helicoid Nanoparticles

abstract: Chiral nanophotonic platforms provide a means of creating near fields with both enhanced asymmetric properties and intensities. They can be exploited for optical measurements that allow enantiomeric discrimination at detection levels greater than 6 orders of magnitude than is achieved with conventional chirally sensitive spectroscopic methods based on circularly polarized light. The optimal approach for exploiting nanophotonic platforms for chiral detection would be to use spectroscopic methods that provide a local probe of changes in the near field environment induced by the presence of chiral species. Here we show that surface enhanced Raman spectroscopy (SERS) is such a local probe of the near field environment. We have used it to achieve enantiomeric discrimination of chiral helicoid nanoparticles deposited on left and right-handed enantiomorphs of a chiral metafilm. Hotter electromagnetic hotspots are created for matched combinations of helicoid and metafilms (left-left and right-right), while mismatched combinations leads to significantly cooler electromagnetic hotspots. This large enantiomeric dependency on hotspot intensity is readily detected using SERS with the aid of an achiral Raman reporter molecule. In effect we have used SERS to distinguish between the different EM environments of the plasmonic diastereomers produced by mixing chiral nanoparticles and metafilms. The work demonstrates that by combining chiral nanophotonic platforms with established SERS strategies new avenues in ultrasensitive chiral detection can be opened.


title: Twisted Harnack inequality and approximation of variational problems with a convexity constraint by singular Abreu equations

abstract: We show in all dimensions that minimizers of variational problems with a convexity constraint, which arise from the Rochet-Chon\'e model with a quadratic cost in the monopolist's problem in economics, can be approximated in the uniform norm by solutions of singular Abreu equations. The difficulty of our Abreu equations consists of having singularities that occur only in a proper subdomain and they cannot be completely removed by any transformations. To solve them, we rely on a new tool which we establish here: a Harnack inequality for singular linearized Monge-Amp\`ere type equations that satisfy certain twisted conditions.


title: Research on College Students' Innovation and Entrepreneurship Education from The Perspective of Artificial Intelligence Knowledge-Based Crowdsourcing

abstract: Based on the practical process of innovation and entrepreneurship education for college students in the author's university, this study analyzes and deconstructs the key concepts of AI knowledge-based crowdsourcing on the basis of literature research, and analyzes the objective fitting needs of combining AI knowledge-based crowdsourcing with college students' innovation and entrepreneurship education practice through a survey and research of a random sample of college students, and verifies that college students' knowledge and application of AI knowledge-based crowdsourcing in the learning and practice of innovation and entrepreneurship The study also verifies the awareness and application of AI knowledge-based crowdsourcing knowledge by university students in the learning and practice of innovation and entrepreneurship.


title: Scale-free graphs with many edges

abstract: We develop tail estimates for the number of edges in a Chung-Lu random graph with regularly varying weight distribution. Our results show that the most likely way to have an unusually large number of edges is through the presence of one or more hubs, i.e.\ vertices with degree of order $n$.


title: Instance-Conditional Timescales of Decay for Non-Stationary Learning

abstract: Slow concept drift is a ubiquitous, yet under-studied problem in practical machine learning systems. In such settings, although recent data is more indicative of future data, naively prioritizing recent instances runs the risk of losing valuable information from the past. We propose an optimization-driven approach towards balancing instance importance over large training windows. First, we model instance relevance using a mixture of multiple timescales of decay, allowing us to capture rich temporal trends. Second, we learn an auxiliary scorer model that recovers the appropriate mixture of timescales as a function of the instance itself. Finally, we propose a nested optimization objective for learning the scorer, by which it maximizes forward transfer for the learned model. Experiments on a large real-world dataset of 39M photos over a 9 year period show upto 15% relative gains in accuracy compared to other robust learning baselines. We replicate our gains on two collections of real-world datasets for non-stationary learning, and extend our work to continual learning settings where, too, we beat SOTA methods by large margins.


title: NFResNet: Multi-scale and U-shaped Networks for Deblurring

abstract: Multi-Scale and U-shaped Networks are widely used in various image restoration problems, including deblurring. Keeping in mind the wide range of applications, we present a comparison of these architectures and their effects on image deblurring. We also introduce a new block called as NFResblock. It consists of a Fast Fourier Transformation layer and a series of modified Non-Linear Activation Free Blocks. Based on these architectures and additions, we introduce NFResnet and NFResnet+, which are modified multi-scale and U-Net architectures, respectively. We also use three different loss functions to train these architectures: Charbonnier Loss, Edge Loss, and Frequency Reconstruction Loss. Extensive experiments on the Deep Video Deblurring dataset, along with ablation studies for each component, have been presented in this paper. The proposed architectures achieve a considerable increase in Peak Signal to Noise (PSNR) ratio and Structural Similarity Index (SSIM) value.


title: Self-dual matroids from canonical curves

abstract: Self-dual configurations of 2n points in a projective space of dimension n-1 were studied by Coble, Dolgachev-Ortland, and Eisenbud-Popescu. We examine the self-dual matroids and self-dual valuated matroids defined by such configurations, with a focus on those arising from hyperplane sections of canonical curves. These objects are parametrized by the self-dual Grassmannian and its tropicalization. We tabulate all self-dual matroids up to rank 5 and investigate their realization spaces. Following Bath, Mukai, and Petrakiev, we explore algorithms for recovering a curve from the configuration. A detailed analysis is given for self-dual matroids arising from graph curves.


abstract: Deep learning has emerged as an effective solution for solving the task of object detection in images but at the cost of requiring large labeled datasets. To mitigate this cost, semi-supervised object detection methods, which consist in leveraging abundant unlabeled data, have been proposed and have already shown impressive results. However, most of these methods require linking a pseudo-label to a ground-truth object by thresholding. In previous works, this threshold value is usually determined empirically, which is time consuming, and only done for a single data distribution. When the domain, and thus the data distribution, changes, a new and costly parameter search is necessary. In this work, we introduce our method Adaptive Self-Training for Object Detection (ASTOD), which is a simple yet effective teacher-student method. ASTOD determines without cost a threshold value based directly on the ground value of the score histogram. To improve the quality of the teacher predictions, we also propose a novel pseudo-labeling procedure. We use different views of the unlabeled images during the pseudo-labeling step to reduce the number of missed predictions and thus obtain better candidate labels. Our teacher and our student are trained separately, and our method can be used in an iterative fashion by replacing the teacher by the student. On the MS-COCO dataset, our method consistently performs favorably against state-of-the-art methods that do not require a threshold parameter, and shows competitive results with methods that require a parameter sweep search. Additional experiments with respect to a supervised baseline on the DIOR dataset containing satellite images lead to similar conclusions, and prove that it is possible to adapt the score threshold automatically in self-training, regardless of the data distribution. The code is available at https:// github.com/rvandeghen/ASTOD


title: A machine learning approach to support decision in insider trading detection

abstract: Identifying market abuse activity from data on investors' trading activity is very challenging both for the data volume and for the low signal to noise ratio. Here we propose two complementary unsupervised machine learning methods to support market surveillance aimed at identifying potential insider trading activities. The first one uses clustering to identify, in the vicinity of a price sensitive event such as a takeover bid, discontinuities in the trading activity of an investor with respect to his/her own past trading history and on the present trading activity of his/her peers. The second unsupervised approach aims at identifying (small) groups of investors that act coherently around price sensitive events, pointing to potential insider rings, i.e. a group of synchronised traders displaying strong directional trading in rewarding position in a period before the price sensitive event. As a case study, we apply our methods to investor resolved data of Italian stocks around takeover bids.


title: The architectural application of shells whose boundaries subtend a constant solid angle

abstract: Surface geometry plays a central role in the design of bridges, vaults and shells, using various techniques for generating a geometry which aims to balance structural, spatial, aesthetic and construction requirements. In this paper we propose the use of surfaces defined such that given closed curves subtend a constant solid angle at all points on the surface and form its boundary. Constant solid angle surfaces enable one to control the boundary slope and hence achieve an approximately constant span-to-height ratio as the span varies, making them structurally viable for shell structures. In addition, when the entire surface boundary is in the same plane, the slope of the surface around the boundary is constant and thus follows a principal curvature direction. Such surfaces are suitable for surface grids where planar quadrilaterals meet the surface boundaries. They can also be used as the Airy stress function in the form finding of shells having forces concentrated at the corners. Our technique employs the Gauss-Bonnet theorem to calculate the solid angle of a point in space and Newton's method to move the point onto the constant solid angle surface. We use the Biot-Savart law to find the gradient of the solid angle. The technique can be applied in parallel to each surface point without an initial mesh, opening up for future studies and other applications when boundary curves are known but the initial topology is unknown. We show the geometrical properties, possibilities and limitations of surfaces of constant solid angle using examples in three dimensions.


title: On the Asymptotic Capacity of Information Theoretical Privacy-preserving Epidemiological Data Collection

abstract: We formulate a new secure distributed computation problem, where a simulation center can require any linear combination of $ K $ users' data through a caching layer consisting of $ N $ servers. The users, servers, and data collector do not trust each other. For users, any data is required to be protected from up to $ E $ servers; for servers, any more information than the desired linear combination cannot be leaked to the data collector; and for the data collector, any single server knows nothing about the coefficients of the linear combination. Our goal is to find the optimal download cost, which is defined as the size of message uploaded to the simulation center by the servers, to the size of desired linear combination. We proposed a scheme with the optimal download cost when $E < N-1$. We also prove that when $E\geq N-1$, the scheme is not feasible.


title: Thermal resistance from non-equilibrium phonons at Si-Ge interface

abstract: As nanostructured devices become prevalent, interfaces often play an important role in thermal transport phenomena. However, interfacial thermal transport remains poorly understood due to complex physics across a wide range of length scales from atomistic to microscale. Past studies on interfacial thermal resistance have focused on interface-phonon scattering at the atomistic scale but overlooked the complex interplay of phonon-interface and phonon-phonon scattering at microscale. Here, we use the Peierls-Boltzmann transport equation to show that the resistance from the phonon-phonon scattering of non-equilibrium phonons near a Si-Ge interface is much larger than that directly caused by the interface scattering. We report that non-equilibrium in phonon distribution leads to significant entropy generation and thermal resistance upon three-phonon scattering by the Boltzmann's H-theorem. The physical origin of non-equilibrium phonons in Ge is explained with the mismatch of phonon dispersion, density-of-states, and group velocity, which serve as general guidance for estimating the non-equilibrium effect on interfacial thermal resistance. Our study bridges a gap between atomistic scale and less studied microscale phenomena, providing comprehensive understanding of overall interfacial thermal transport and the significant role of phonon-phonon scattering.


title: NETpred: Network-based modeling and prediction of multiple connected market indices

abstract: Market prediction plays a major role in supporting financial decisions. An emerging approach in this domain is to use graphical modeling and analysis to for prediction of next market index fluctuations. One important question in this domain is how to construct an appropriate graphical model of the data that can be effectively used by a semi-supervised GNN to predict index fluctuations. In this paper, we introduce a framework called NETpred that generates a novel heterogeneous graph representing multiple related indices and their stocks by using several stock-stock and stock-index relation measures. It then thoroughly selects a diverse set of representative nodes that cover different parts of the state space and whose price movements are accurately predictable. By assigning initial predicted labels to such a set of nodes, NETpred makes sure that the subsequent GCN model can be successfully trained using a semi-supervised learning process. The resulting model is then used to predict the stock labels which are finally aggregated to infer the labels for all the index nodes in the graph. Our comprehensive set of experiments shows that NETpred improves the performance of the state-of-the-art baselines by 3%-5% in terms of F-score measure on different well-known data sets.


title: SRoUDA: Meta Self-training for Robust Unsupervised Domain Adaptation

abstract: As acquiring manual labels on data could be costly, unsupervised domain adaptation (UDA), which transfers knowledge learned from a rich-label dataset to the unlabeled target dataset, is gaining increasing popularity. While extensive studies have been devoted to improving the model accuracy on target domain, an important issue of model robustness is neglected. To make things worse, conventional adversarial training (AT) methods for improving model robustness are inapplicable under UDA scenario since they train models on adversarial examples that are generated by supervised loss function. In this paper, we present a new meta self-training pipeline, named SRoUDA, for improving adversarial robustness of UDA models. Based on self-training paradigm, SRoUDA starts with pre-training a source model by applying UDA baseline on source labeled data and taraget unlabeled data with a developed random masked augmentation (RMA), and then alternates between adversarial target model training on pseudo-labeled target data and finetuning source model by a meta step. While self-training allows the direct incorporation of AT in UDA, the meta step in SRoUDA further helps in mitigating error propagation from noisy pseudo labels. Extensive experiments on various benchmark datasets demonstrate the state-of-the-art performance of SRoUDA where it achieves significant model robustness improvement without harming clean accuracy. Code is available at https://github.com/Vision.


title: Measuring the Overall Complexity of Graphical and Textual IEC 61131-3 Control Software

abstract: Software implements a significant proportion of functionality in factory automation. Thus, efficient development and the reuse of software parts, so-called units, enhance competitiveness. Thereby, complex control software units are more difficult to understand, leading to increased development, testing and maintenance costs. However, measuring complexity is challenging due to many different, subjective views on the topic. This paper compares different complexity definitions from literature and considers with a qualitative questionnaire study the complexity perception of domain experts, who confirm the importance of objective measures to compare complexity. The paper proposes a set of metrics that measure various classes of software complexity to identify the most complex software units as a prerequisite for refactoring. The metrics include complexity caused by size, data structure, control flow, information flow and lexical structure. Unlike most literature approaches, the metrics are compliant with graphical and textual languages from the IEC 61131-3 standard. Further, a concept for interpreting the metric results is presented. A comprehensive evaluation with industrial software from two German plant manufacturers validates the metrics' suitability to measure complexity.


title: Quotient branching law for $p$-adic $(\mathrm{GL}_{n+1}, \mathrm{GL}_n)$ I: generalized Gan-Gross-Prasad relevant pairs

abstract: Let $G_n=\mathrm{GL}_n(F)$ be the general linear group over a non-Archimedean local field $F$. We formulate and prove a necessary and sufficient condition on determining when \[ \mathrm{Hom}_{G_n}(\pi, \pi') \neq 0 \] for irreducible smooth representations $\pi$ and $\pi'$ of $G_{n+1}$ and $G_n$ respectively. This resolves the problem of the quotient branching law. We also prove that any simple quotient of a Bernstein-Zelevinsky derivative of an irreducible representation can be constructed by a sequence of derivatives of essentially square-integrable representations. This result transferred to affine Hecke algebras of type A gives a generalization of the classical Pieri's rule of symmetric groups. One key new ingredient is a characterization of the layer in the Bernstein-Zelevinsky filtration that contributes to the branching law, obtained by the multiplicity one theorem for standard representations, which also gives a refinement of the branching law. Another key new ingredient is constructions of some branching laws and simple quotients of Bernstein-Zelevinsky derivatives by taking certain highest derivatives.


title: A probabilistic language-free proof of an explicit Croot-Laba-Sisask Lemma

abstract: This note proposes a probabilistic language-free proof of the famous Croot-Laba-Sisask Lemma. In between, we do the same for the Khintchine and Marcinkiewicz-Zygmund inequalities and explicitate the implied constants.


title: Rings whose ideals are close to automorphism-invariant

abstract: We consider rings whose one-sided ideals are close to automorphism-invariant modules. We study rings in which every (finitely generated) right ideal is automorphism invariant and rings in which every right ideal is a finite direct sum of automorphism invariant ideals. Connections between these classes of rings, $q$-ring and $\Sigma$-$q$-rings are also considered


title: Audiovisual Masked Autoencoders

abstract: Can we leverage the audiovisual information already present in video to improve self-supervised representation learning? To answer this question, we study various pretraining architectures and objectives within the masked autoencoding framework, motivated by the success of similar methods in natural language and image understanding. We show that we can achieve significant improvements on audiovisual downstream classification tasks, surpassing the state-of-the-art on VGGSound and AudioSet. Furthermore, we can leverage our audiovisual pretraining scheme for multiple unimodal downstream tasks using a single audiovisual pretrained model. We additionally demonstrate the transferability of our representations, achieving state-of-the-art audiovisual results on Epic Kitchens without pretraining specifically for this dataset.


title: Self-Supervised Object Goal Navigation with In-Situ Finetuning

abstract: A household robot should be able to navigate to target objects without requiring users to first annotate everything in their home. Most current approaches to object navigation do not test on real robots and rely solely on reconstructed scans of houses and their expensively labeled semantic 3D meshes. In this work, our goal is to build an agent that builds self-supervised models of the world via exploration, the same as a child might - thus we (1) eschew the expense of labeled 3D mesh and (2) enable self-supervised in-situ finetuning in the real world. We identify a strong source of self-supervision (Location Consistency - LocCon) that can train all components of an ObjectNav agent, using unannotated simulated houses. Our key insight is that embodied agents can leverage location consistency as a self-supervision signal - collecting images from different views/angles and applying contrastive learning. We show that our agent can perform competitively in the real world and simulation. Our results also indicate that supervised training with 3D mesh annotations causes models to learn simulation artifacts, which are not transferrable to the real world. In contrast, our LocCon shows the most robust transfer in the real world among the set of models we compare to, and that the real-world performance of all models can be further improved with self-supervised LocCon in-situ training.


title: The effect of temperature and excitation energy on Raman scattering in bulk HfS$_2$

abstract: Raman scattering (RS) in bulk hafnium disulfide (HfS$_2$) is investigated as a function of temperature (5 K $-$ 350 K) with polarization resolution and excitation of several laser energies. An unexpected temperature dependence of the energies of the main Raman-active (A$_{\textrm{1g}}$ and E$_{\textrm{g}}$) modes with the temperature-induced blueshift in the low-temperature limit is observed. The low-temperature quenching of a mode $\omega_1$ (134 cm$^{-1}$) and the emergence of a new mode at approx. 184 cm$^{-1}$, labeled Z, is reported. The optical anisotropy of the RS in HfS$_2$ is also reported, which is highly susceptible to the excitation energy. The apparent quenching of the A$_{\textrm{1g}}$ mode at $T$=5 K and of the E$_{\textrm{g}}$ mode at $T$=300 K in the RS spectrum excited with 3.06~eV excitation is also observed. We discuss the results in the context of possible resonant character of light-phonon interactions. Analyzed is also a possible effect of the iodine molecules intercalated in the van der Waals gaps between neighboring HfS$_2$ layers, which inevitably result from the growth procedure.


title: CausalEGM: a general causal inference framework by encoding generative modeling

abstract: Although understanding and characterizing causal effects have become essential in observational studies, it is challenging when the confounders are high-dimensional. In this article, we develop a general framework $\textit{CausalEGM}$ for estimating causal effects by encoding generative modeling, which can be applied in both binary and continuous treatment settings. Under the potential outcome framework with unconfoundedness, we establish a bidirectional transformation between the high-dimensional confounders space and a low-dimensional latent space where the density is known (e.g., multivariate normal distribution). Through this, CausalEGM simultaneously decouples the dependencies of confounders on both treatment and outcome and maps the confounders to the low-dimensional latent space. By conditioning on the low-dimensional latent features, CausalEGM can estimate the causal effect for each individual or the average causal effect within a population. Our theoretical analysis shows that the excess risk for CausalEGM can be bounded through empirical process theory. Under an assumption on encoder-decoder networks, the consistency of the estimate can be guaranteed. In a series of experiments, CausalEGM demonstrates superior performance over existing methods for both binary and continuous treatments. Specifically, we find CausalEGM to be substantially more powerful than competing methods in the presence of large sample sizes and high dimensional confounders. The software of CausalEGM is freely available at https://github.com/SUwonglab/CausalEGM.


title: LAMBRETTA: Learning to Rank for Twitter Soft Moderation

abstract: To curb the problem of false information, social media platforms like Twitter started adding warning labels to content discussing debunked narratives, with the goal of providing more context to their audiences. Unfortunately, these labels are not applied uniformly and leave large amounts of false content unmoderated. This paper presents LAMBRETTA, a system that automatically identifies tweets that are candidates for soft moderation using Learning To Rank (LTR). We run LAMBRETTA on Twitter data to moderate false claims related to the 2020 US Election and find that it flags over 20 times more tweets than Twitter, with only 3.93% false positives and 18.81% false negatives, outperforming alternative state-of-the-art methods based on keyword extraction and semantic search. Overall, LAMBRETTA assists human moderators in identifying and flagging false information on social media.