title: Sagnac interference in integrated photonics for reflection mirrors, gyroscopes, filters, and wavelength interleavers

abstract: As a fundamental optical approach to interferometry, Sagnac interference has been widely used for reflection manipulation, precision measurements, and spectral engineering in optical systems. Compared to other interferometry configurations, it offers attractive advantages by yielding a reduced system complexity without the need for phase control between different pathways, thus offering a high degree of stability against external disturbance and a low wavelength dependence. The advance of integration fabrication techniques has enabled chip-scale Sagnac interferometers with greatly reduced footprint and improved scalability compared to more conventional approaches implemented by spatial light or optical fiber devices. This facilitates a variety of integrated photonic devices with bidirectional light propagation, showing new features and capabilities compared to unidirectional-light-propagation devices such as Mach-Zehnder interferometers (MZIs) and ring resonators (RRs). Here, we present our latest results for functional integrated photonic devices based on Sagnac interference. We outline the theory of integrated Sagnac interference devices with comparisons to other integrated photonic building blocks such as MZIs, RRs, photonic crystal cavities, and Bragg gratings. We present our latest results for Sagnac interference devices realized in integrated photonic chips, including reflection mirrors, optical gyroscopes, basic filters, wavelength (de)interleavers, and optical analogues of quantum physics.


title: Joint User Scheduling and Precoding for XL-MIMO Systems with Imperfect CSI

abstract: We propose an algorithm for joint precoding and user selection in multiple-input multiple-output systems with extremely-large aperture arrays, assuming realistic channel conditions and imperfect channel estimates. The use of long-term channel state information (CSI) for user scheduling, and a proper selection of the set of users for which CSI is updated allow for obtaining an improved achievable sum spectral efficiency. We also confirm that the effect of imperfect CSI in the precoding vector design and the cost of training must be taken into consideration for realistic performance prediction.


title: Future High-Resolution and High-Cadence Observations for Unraveling Small-Scale Explosive Solar Features

abstract: Solar coronal jets are frequently occurring collimated ejections of solar plasma, originating from magnetically mixed polarity locations on the Sun of size scale comparable to that of a supergranule. Many, if not most, coronal jets are produced by eruptions of small-scale filaments, or minifilaments, whose magnetic field reconnects both with itself and also with surrounding coronal field. There is evidence that minifilament eruptions are a scaled-down version of typical filament eruptions that produce solar flares and coronal mass ejections (CMEs). Moreover, the magnetic processes building up to and triggering minifilament eruptions, which is often flux cancelation, might similarly build up and trigger the larger filaments to erupt. Thus, detailed study of coronal jets will inform us of the physics leading to, triggering, and driving the larger eruptions. Additionally, such studies potentially can inform us of smaller-scale coronal-jet-like features, such as jetlets and perhaps some spicules, that might work the same way as coronal jets. We propose a high-resolution (~0.1 pixels), high-cadence (~5 seconds) EUV-solar-imaging mission for the upcoming decades, that would be dedicated to observations of features of the coronal-jet size scale, and smaller-scale solar features produced by similar physics. Such a mission could provide invaluable insight into the operation of larger features such as CMEs that produce significant Space Weather disturbances, and also smaller-scale features that could be important for coronal heating, solar wind acceleration, and heliospheric features such as the magnetic switchbacks that are frequently observed in the solar wind.


title: The Second Order Scattering Fading Model with Fluctuating Line-of-Sight

abstract: We present a generalization of the notoriously unwieldy second-order scattering fading model, which is helpful to alleviate its mathematical complexity while providing an additional degree of freedom. This is accomplished by allowing its dominant specular component associated to line-of-sight propagation to randomly fluctuate. The statistical characterization of the newly proposed model is carried out, providing closed-form expressions for its probability and cumulative distribution functions, as well as for its generalized Laplace-domain statistics and raw moments. We exemplify how performance analysis can be done in this scenario, and discuss the role of the fading model parameters on system performance.


title: Data-Copying in Generative Models: A Formal Framework

abstract: There has been some recent interest in detecting and addressing memorization of training data by deep neural networks. A formal framework for memorization in generative models, called "data-copying," was proposed by Meehan et. al. (2020). We build upon their work to show that their framework may fail to detect certain kinds of blatant memorization. Motivated by this and the theory of non-parametric methods, we provide an alternative definition of data-copying that applies more locally. We provide a method to detect data-copying, and provably show that it works with high probability when enough data is available. We also provide lower bounds that characterize the sample requirement for reliable detection.


title: On residues and conjugacies for germs of 1-D parabolic diffeomorphisms in finite regularity

abstract: We study conjugacy classes of germs of non-flat diffeomorphisms of the real line fixing the origin. Based on the work of Takens and Yoccoz, we establish results that are sharp in terms of differentiability classes and order of tangency to the identity. The core of all of this lies in the invariance of residues under low-regular conjugacies. This may be seen as an extension of the fact (also proved in this article) that the value of the Schwarzian derivative at the origin for germs of $C^3$ parabolic diffeomorphisms is invariant under $C^2$ parabolic conjugacy, though it may vary arbitrarily under parabolic $C^1$ conjugacy.


title: On Deep Generative Models for Approximation and Estimation of Distributions on Manifolds

abstract: Generative networks have experienced great empirical successes in distribution learning. Many existing experiments have demonstrated that generative networks can generate high-dimensional complex data from a low-dimensional easy-to-sample distribution. However, this phenomenon can not be justified by existing theories. The widely held manifold hypothesis speculates that real-world data sets, such as natural images and signals, exhibit low-dimensional geometric structures. In this paper, we take such low-dimensional data structures into consideration by assuming that data distributions are supported on a low-dimensional manifold. We prove statistical guarantees of generative networks under the Wasserstein-1 loss. We show that the Wasserstein-1 loss converges to zero at a fast rate depending on the intrinsic dimension instead of the ambient data dimension. Our theory leverages the low-dimensional geometric structures in data sets and justifies the practical power of generative networks. We require no smoothness assumptions on the data distribution which is desirable in practice.


title: Hypergeometric Feynman Integrals

abstract: In this thesis we will study Feynman integrals from the perspective of A-hypergeometric functions, a generalization of hypergeometric functions which goes back to Gelfand, Kapranov, Zelevinsky (GKZ) and their collaborators. This point of view was recently initiated by the works [74] and [150]. Inter alia, we want to provide here a concise summary of the mathematical foundations of A-hypergeometric theory in order to substantiate this viewpoint. This overview will concern aspects of polytopal geometry, multivariate discriminants as well as holonomic D-modules. As we will subsequently show, every scalar Feynman integral is an A-hypergeometric function. Furthermore, all coefficients of the Laurent expansion as appearing in dimensional and analytical regularization can be expressed by A-hypergeometric functions as well. Moreover, we can derive an explicit formula for series representations of each Feynman integrals, which is in particular suitable for an algorithmic approach. In addition, the A-hypergeometric theory enables us to give a mathematically rigorous description of the analytic structure of Feynman integrals (also known as Landau variety) by means of principal A-determinants and A-discriminants. This description of the singular locus will also comprise the various second-type singularities. Furthermore, we will find contributions to the singular locus occurring in higher loop diagrams, which seem to have been overlooked in previous approaches. By means of the Horn-Kapranov-parameterization we also provide a very efficient way to determine parameterizations of Landau varieties. We furthermore present a new approach to study the sheet structure of multivalued Feynman integrals by use of coamoebas.


title: Finite-momentum Cooper pairing in proximitized altermagnets

abstract: Finite-momentum Cooper pairing is an unconventional form of superconductivity that is widely believed to require finite magnetization. Altermagnetism is an emerging magnetic phase with highly anisotropic spin-splitting of specific symmetries, but zero net magnetization. Here, we study Cooper pairing in metallic altermagnets connected to conventional $s$-wave superconductors. Remarkably, we find that the Cooper pairs induced in the altermagnets acquire a finite centre-of-mass momentum, despite the \textit{zero} net magnetization in the system. This anomalous Cooper-pair momentum strongly depends on the propagation direction and exhibits unusual symmetric patterns. Furthermore, it yields several unique features: (i) highly orientation-dependent oscillations in the order parameter, (ii) controllable 0-$\pi$ transitions in the Josephson supercurrent, (iii) large-oblique-angle Cooper-pair transfer trajectories in junctions parallel with the direction where spin splitting vanishes, and (iv) distinct Fraunhofer patterns in junctions oriented along different directions. Finally, we discuss the implementation of our predictions in candidate materials such as RuO$_{2}$ and KRu$_{4}$O$_{8}$.


title: Construction numbers: How to build a graph?

abstract: Counting the number of linear extensions of a partial order was considered by Stanley about 50 years ago. For the partial order on the vertices and edges of a graph given by inclusion, we call a linear extension a {\it construction sequence} for the graph as each edge follows the vertices where it is attached. The number of these c-sequences is counted for various graph families. We also consider the set of all length-$n$ c-sequences produced by the graphs with $n$ elements, simplified to their structural skeleton: vertex or edge, and further allow the generating graph to be structurally constrained. Efficiency is analyzed.


title: Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL

abstract: The tractability of the lightweight description logic EL has allowed for the construction of large and widely used ontologies that support semantic interoperability. However, comprehensive domains with a broad user base are often at odds with strong axiomatisations otherwise useful for inferencing, since these are usually context-dependent and subject to diverging perspectives. In this paper we introduce Standpoint EL, a multi-modal extension of EL that allows for the integrated representation of domain knowledge relative to diverse, possibly conflicting standpoints (or contexts), which can be hierarchically organised and put in relation to each other. We establish that Standpoint EL still exhibits EL's favourable PTime standard reasoning, whereas introducing additional features like empty standpoints, rigid roles, and nominals makes standard reasoning tasks intractable.


title: Branch cuts and Riemann surfaces

abstract: The plotting of Riemann surfaces by computational software is discussed. The link between the branches of a multi-valued function $g(z)$, defined on the range of $g(z)$, and a Riemann surface, defined on the domain of $g(z)$, is emphasized. The connection between the two is clarified by defining the \textit{charisma} of the argument $z$ to the function. This approach is used to plot several surfaces using Maple.


title: Vagueness in Predicates and Objects

abstract: Classical semantics assumes that one can model reference, predication and quantification with respect to a fixed domain of precise referent objects. Non-logical terms and quantification are then interpreted directly in terms of elements and subsets of this domain. We explore ways to generalise this classical picture of precise predicates and objects to account for variability of meaning due to factors such as vagueness, context and diversity of definitions or opinions. Both names and predicative expressions can be given either multiple semantic referents or be associated with semantic referents that incorporate some model of variability. We present a semantic framework, Variable Reference Semantics, that can accommodate several modes of variability in relation to both predicates and objects.


title: Magnonic Hall Effect and Magnonic Holography of Hopfions

abstract: Hopfions are localized and topologically non-trivial magnetic configurations that have received considerable attention in recent years. Through a micromagnetic approach, we analyze the scattering of spin waves by magnetic hopfions. We show that the spin waves experience an emergent electromagnetic field related to the topological properties of the hopfion. We find that spin waves propagating along the hopfion symmetry axis are deflected by the magnetic texture, which acts as a convergent or divergent lens, depending on the spin wave propagation direction. The effect differs for spin waves propagating along the plane perpendicular to the symmetry axis. In the last case, they respond with a skew scattering and a closely related Aharonov-Bohm effect. This allows probing the existence of a magnetic hopfion by magnonic holography.


title: DeepCPG Policies for Robot Locomotion

abstract: Central Pattern Generators (CPGs) form the neural basis of the observed rhythmic behaviors for locomotion in legged animals. The CPG dynamics organized into networks allow the emergence of complex locomotor behaviors. In this work, we take this inspiration for developing walking behaviors in multi-legged robots. We present novel DeepCPG policies that embed CPGs as a layer in a larger neural network and facilitate end-to-end learning of locomotion behaviors in deep reinforcement learning (DRL) setup. We demonstrate the effectiveness of this approach on physics engine-based insectoid robots. We show that, compared to traditional approaches, DeepCPG policies allow sample-efficient end-to-end learning of effective locomotion strategies even in the case of high-dimensional sensor spaces (vision). We scale the DeepCPG policies using a modular robot configuration and multi-agent DRL. Our results suggest that gradual complexification with embedded priors of these policies in a modular fashion could achieve non-trivial sensor and motor integration on a robot platform. These results also indicate the efficacy of bootstrapping more complex intelligent systems from simpler ones based on biological principles. Finally, we present the experimental results for a proof-of-concept insectoid robot system for which DeepCPG learned policies initially using the simulation engine and these were afterwards transferred to real-world robots without any additional fine-tuning.


title: Reinforcement Learning based Autonomous Multi-Rotor Landing on Moving Platforms

abstract: Multi-rotor UAVs suffer from a restricted range and flight duration due to limited battery capacity. Autonomous landing on a 2D moving platform offers the possibility to replenish batteries and offload data, thus increasing the utility of the vehicle. Classical approaches rely on accurate, complex and difficult-to-derive models of the vehicle and the environment. Reinforcement learning (RL) provides an attractive alternative due to its ability to learn a suitable control policy exclusively from data during a training procedure. However, current methods require several hours to train, have limited success rates and depend on hyperparameters that need to be tuned by trial-and-error. We address all these issues in this work. First, we decompose the landing procedure into a sequence of simpler, but similar learning tasks. This is enabled by applying two instances of the same RL based controller trained for 1D motion for controlling the multi-rotor's movement in both the longitudinal and the lateral directions. Second, we introduce a powerful state space discretization technique that is based on i) kinematic modeling of the moving platform to derive information about the state space topology and ii) structuring the training as a sequential curriculum using transfer learning. Third, we leverage the kinematics model of the moving platform to also derive interpretable hyperparameters for the training process that ensure sufficient maneuverability of the multi-rotor vehicle. The training is performed using the tabular RL method Double Q-Learning. Through extensive simulations we show that the presented method significantly increases the rate of successful landings, while requiring less training time compared to other deep RL approaches. Finally, we deploy and demonstrate our algorithm on real hardware. For all evaluation scenarios we provide statistics on the agent's performance.


title: Exceptional set estimates in finite fields

abstract: We study the exceptional set estimate for projections in $\mathbb{F}_q^n$. For each $V\in G(k,\mathbb{F}^n_q)$, let $$ \pi_V: \mathbb{F}_q^n\rightarrow V $$ be the projection map. We prove the following result: If $A\subset \mathbb{F}_q^n$ with $\#A=q^a$ ($n-1\le a\le n$) and $0< s<\frac{a+n-2}{2}$, then $$ \# \{V\in G(n-1,\mathbb{F}^n_q): \#\pi_V(A)< q^s \}\lessapprox q^{n-2}.$$ This improves the previous range $0<s<\frac{n-1}{n}a$. Also, our range of $s$ is sharp in the sense that if $s>\frac{a+n-2}{2}$, then the right hand side above should be at least $q^t$ for some $t>n-2$.


title: Observation of optical de Broglie-Mackinnon wave packets

abstract: de Broglie wave packets accompanying moving particles are dispersive and lack an intrinsic length scale dictated solely by the particle mass and velocity. Mackinnon proposed almost 45~years ago a localized non-dispersive wave packet constructed out of dispersive de Broglie phase waves via a Copernican inversion of the roles of particle and observer, whereupon an intrinsic length scale emerges by accounting for every possible observer -- rather than by introducing an \textit{ad hoc} uncertainty in the particle velocity. The de Broglie-Mackinnon (dBM) wave packet has nevertheless remained to date a theoretical entity. Here, we report the observation of optical dBM wave packets using paraxial space-time-coupled pulsed laser fields in presence of anomalous group-velocity dispersion. Crucially, the bandwidth of dBM wave packets has an upper limit that is compatible with the wave-packet group velocity and equivalent mass. In contrast to previously observed linear propagation-invariant wave packets whose spatio-temporal profiles at any axial plane are X-shaped, those for dBM wave packets are uniquely O-shaped (circularly symmetric with respect to space and time). By sculpting their spatio-temporal spectral structure, we produce dispersion-free dBM wave packets in the dispersive medium, observe their circularly symmetric spatio-temporal profiles, and tune the field parameters corresponding to particle mass and velocity that uniquely determine the wave-packet length scale.


title: nnUNet RASPP for Retinal OCT Fluid Detection, Segmentation and Generalisation over Variations of Data Sources

abstract: Retinal Optical Coherence Tomography (OCT), a noninvasive cross-sectional scan of the eye with qualitative 3D visualization of the retinal anatomy is use to study the retinal structure and the presence of pathogens. The advent of the retinal OCT has transformed ophthalmology and it is currently paramount for the diagnosis, monitoring and treatment of many eye pathogens including Macular Edema which impairs vision severely or Glaucoma that can cause irreversible blindness. However the quality of retinal OCT images varies among device manufacturers. Deep Learning methods have had their success in the medical image segmentation community but it is still not clear if the level of success can be generalised across OCT images collected from different device vendors. In this work we propose two variants of the nnUNet [8]. The standard nnUNet and an enhanced vision call nnUnet_RASPP (nnU-Net with residual and Atrous Spatial Pyramid Pooling) both of which are robust and generalise with consistent high performance across images from multiple device vendors. The algorithm was validated on the MICCAI 2017 RETOUCH challenge dataset [1] acquired from 3 device vendors across 3 medical centers from patients suffering from 2 retinal disease types. Experimental results show that our algorithms outperform the current state-of-the-arts algorithms by a clear margin for segmentation obtaining a mean Dice Score (DS) of 82.3% for the 3 retinal fluids scoring 84.0%, 80.0%, 83.0% for Intraretinal Fluid (IRF), Subretinal Fluid (SRF), and Pigment Epithelium Detachments (PED) respectively on the testing dataset. Also we obtained a perfect Area Under the Curve (AUC) score of 100% for the detection of the presence of fluid for all 3 fluid classes on the testing dataset.


title: Groups with flat-rank greater than 1

abstract: A general method for finding subgroups of a totally disconnected, locally compact groups having flat-rank greater than 1 is described. This method uses the internal structure of the group, notably the Levi subgroup of a given flat group, in order to produce a new flat group that, under an additional hypothesis, has flat-rank one greater than that of the given group.


title: On the Multigraph Overfull Conjecture

abstract: A subgraph $H$ of a multigraph $G$ is overfull if $ |E(H) | > \Delta(G) \lfloor |V(H)|/2 \rfloor$. Analogous to the Overfull Conjecture proposed by Chetwynd and Hilton in 1986, Stiebitz et al. in 2012 formed the multigraph version of the conjecture as follows: Let $G$ be a multigraph with maximum multiplicity $r$ and maximum degree $\Delta>\frac{1}{3} r|V(G)|$. Then $G$ has chromatic index $\Delta(G)$ if and only if $G$ contains no overfull subgraph. In this paper, we prove the following three results toward the Multigraph Overfull Conjecture for sufficiently large and even $n$. (1) If $G$ is $k$-regular with $k\ge r(n/2+18)$, then $G$ has a 1-factorization. This result also settles a conjecture of the first author and Tipnis from 2001 up to a constant error in the lower bound of $k$. (2) If $G$ contains an overfull subgraph and $\delta(G)\ge r(n/2+18)$, then $\chi'(G)=\lceil \chi'_f(G) \rceil$, where $\chi'_f(G)$ is the fractional chromatic index of $G$. (3) If the minimum degree of $G$ is at least $(1+\varepsilon)rn/2$ for any $0<\varepsilon<1$ and $G$ contains no overfull subgraph, then $\chi'(G)=\Delta(G)$. The proof is based on the decomposition of multigraphs into simple graphs and we prove a slightly weak version of a conjecture due to the first author and Tipnis from 1991 on decomposing a multigraph into constrained simple graphs. The result is of independent interests.


title: Automated and Systematic Digital Twins Testing for Industrial Processes

abstract: Digital twins (DT) of industrial processes have become increasingly important. They aim to digitally represent the physical world to help evaluate, optimize, and predict physical processes and behaviors. Therefore, DT is a vital tool to improve production automation through digitalization and becomes more sophisticated due to rapidly evolving simulation and modeling capabilities, integration of IoT sensors with DT, and high-capacity cloud/edge computing infrastructure. However, the fidelity and reliability of DT software are essential to represent the physical world. This paper shows an automated and systematic test architecture for DT that correlates DT states with real-time sensor data from a production line in the forging industry. Our evaluation shows that the architecture can significantly accelerate the automatic DT testing process and improve its reliability. A systematic online DT testing method can significantly detect the performance shift and continuously improve the DT's fidelity. The snapshot creation methodology and testing agent architecture can be an inspiration and can be generally applicable to other industrial processes that use DT to generalize their automated testing.


title: MoReVis: A Visual Summary for Spatiotemporal Moving Regions

abstract: Spatial and temporal interactions are central and fundamental in many activities in our world. A common problem faced when visualizing this type of data is how to provide an overview that helps users navigate efficiently. Traditional approaches use coordinated views or 3D metaphors like the Space-time cube to tackle this problem. However, they suffer from overplotting and often lack spatial context, hindering data exploration. More recent techniques, such as MotionRugs, propose compact temporal summaries based on 1D projection. While powerful, these techniques do not support the situation for which the spatial extent of the objects and their intersections is relevant, such as the analysis of surveillance videos or tracking weather storms. In this paper, we propose MoReVis, a visual overview of spatiotemporal data that considers the objects' spatial extent and strives to show spatial interactions among these objects by displaying spatial intersections. Like previous techniques, our method involves projecting the spatial coordinates to 1D to produce compact summaries. However, our solution's core consists of performing a layout optimization step that sets the size and positions of the visual marks on the summary to resemble the actual values on the original space. We also provide multiple interactive mechanisms to make interpreting the results more straightforward for the user. We perform an extensive experimental evaluation and usage scenarios. Moreover, we evaluated the usefulness of MoReVis in a study with 9 participants. The results point out the effectiveness and suitability of our method in representing different datasets compared to traditional techniques.


title: Interactions between two adjacent convection rolls in turbulent Rayleigh-Benard convection

abstract: Rayleigh-B{\'e}nard convection experiments were done with two adjacent cubic cells with a partial wall in between to force the generation of two interacting convection rolls. Observed stable states include both counter-rotating and co-rotating states. The stability of each of these states and their dynamics were modeled by stochastic ordinary differential equations of motion in terms of the orientation, amplitude, and mean temperature of each convection roll. The form of the interaction terms is predicted based on an effective turbulent diffusion of temperature between the adjacent rolls. Predictions are made for stable fixed points of the co- and counter-rotating states. This suggests that the same turbulent thermal diffusivity that describes macroscopically averaged heat transport also controls the interactions between neighboring convection rolls. The surprising stability of co-rotating states is due to the temperature difference between the neighboring rolls becoming large enough that the heat flux between the rolls stabilizes the temperature profile of aligned co-rotating states. This temperature difference can be driven by heating the plates of the two cells to different mean temperatures. This shifts the orientations of the rolls of counter-rotating states in opposite directions, and for large temperature differences only co-rotating states are stable Spontaneous switching between co-rotating and counter-rotating states is also observed. Switching to counter-rotating states occurs mainly due to cessation (a significant weakening of a convection roll), which reduces damping on changes in orientation, allowing the orientation to change rapidly due to diffusive fluctuations. Switching to co-rotating states is mainly driven by smaller diffusive fluctuations, which have a positive feedback that destabilizes the counter-rotating state.


title: CLICKER: Attention-Based Cross-Lingual Commonsense Knowledge Transfer

abstract: Recent advances in cross-lingual commonsense reasoning (CSR) are facilitated by the development of multilingual pre-trained models (mPTMs). While mPTMs show the potential to encode commonsense knowledge for different languages, transferring commonsense knowledge learned in large-scale English corpus to other languages is challenging. To address this problem, we propose the attention-based Cross-LIngual Commonsense Knowledge transfER (CLICKER) framework, which minimizes the performance gaps between English and non-English languages in commonsense question-answering tasks. CLICKER effectively improves commonsense reasoning for non-English languages by differentiating non-commonsense knowledge from commonsense knowledge. Experimental results on public benchmarks demonstrate that CLICKER achieves remarkable improvements in the cross-lingual CSR task for languages other than English.


title: New type of hydrogenlike charm-pion or charm-kaon matter

abstract: Borrowing the structures of the hydrogen atom, molecular ion, and diatomic molecule, we predict the nature of a new type of hydrogenlike charm-pion or charm-kaon matter that could be obtained by replacing the proton and electron in hydrogen matter with a charmed meson and a pion or a kaon, respectively. We find that the spectra of the atom, molecular ion, and diatomic molecule can be obtained simultaneously with the Coulomb potential for the hydrogen, the charm-pion, and the charm-kaon systems. The predicted charm-pion matter also allows us to explore the mass shift mediated by the strong interaction. For the charm-pion and charm-kaon systems, the strong interactions could lead to binding energy shifts. Our calculations suggests that the binding energy shifts in charm-pion systems are in the order of several to tens of eV. For the charm-kaon systems, the results are in the order of tens to hundreds of eV. Exploring hydrogenlike charm-pion matter must lead to new demands for high-precision experiments.


title: A Finite Sample Complexity Bound for Distributionally Robust Q-learning

abstract: We consider a reinforcement learning setting in which the deployment environment is different from the training environment. Applying a robust Markov decision processes formulation, we extend the distributionally robust $Q$-learning framework studied in Liu et al. [2022]. Further, we improve the design and analysis of their multi-level Monte Carlo estimator. Assuming access to a simulator, we prove that the worst-case expected sample complexity of our algorithm to learn the optimal robust $Q$-function within an $\epsilon$ error in the sup norm is upper bounded by $\tilde O(|S||A|(1-\gamma)^{-5}\epsilon^{-2}p_{\wedge}^{-6}\delta^{-4})$, where $\gamma$ is the discount rate, $p_{\wedge}$ is the non-zero minimal support probability of the transition kernels and $\delta$ is the uncertainty size. This is the first sample complexity result for the model-free robust RL problem. Simulation studies further validate our theoretical results.


title: Effects of detuning on $\mathcal{PT}$-symmetric, tridiagonal, tight-binding models

abstract: Non-Hermitian, tight-binding $\mathcal{PT}$-symmetric models are extensively studied in the literature. Here, we investigate two forms of non-Hermitian Hamiltonians to study the $\mathcal{PT}$-symmetry breaking thresholds and features of corresponding surfaces of exceptional points (EPs). They include one-dimensional chains with uniform or 2-periodic tunnelling amplitudes, one pair of balanced gain and loss potentials $\Delta\pm\i\gamma$ at parity-symmetric sites, and periodic or open boundary conditions. By introducing a Hermitian detuning potential, we obtain the dependence of the $\mathcal{PT}$-threshold, and therefore the exceptional-point curves, in the parameter space of detuning and gain-loss strength. By considering several such examples, we show that EP curves of a given order generically have cusp-points where the order of the EP increases by one. In several cases, we obtain explicit analytical expressions for positive-definite intertwining operators that can be used to construct a complex extension of quantum theory by re-defining the inner product. Taken together, our results provide a detailed understanding of detuned tight-binding models with a pair of gain-loss potentials.


title: Diffusion of oxygen vacancies formed at the anatase (101) surface: An activation-relaxation technique study

abstract: TiO2 is a technologically important material. In particular, its anatase polymorph plays a major role in photocatalysis, which can also accommodate charged and neutral vacancies. There is, however, scant theoretical work on the vacancy charge and associated diffusion from surface to subsurface and bulk in the literature. Here, we aim to understand +2 charge and neutral vacancy diffusion on anatase (101) surface using 72 and 216 atoms surface slabs employing a semi-local density functional and the Hubbard model. The activation-relaxation technique nouveau (ARTn) coupled with Quantum Espresso is used to investigate the activated mechanisms responsible for the diffusion of oxygen vacancies. The small slab model over-stabilizes the +2 charged topmost surface vacancy, which is attributed to the strong Coulomb repulsion between vacancy and neighboring Ti+4 ions. The larger slab allows atoms to relax parallel to the surface, decreasing the +2 charged topmost surface vacancy stability. The calculated surface-to-subsurface barriers for the +2 charged vacancy and diffusion of the neutral vacancy on a slab of 216 atoms are 0.82 eV and 0.52 eV, respectively. Furthermore, the bulk vacancy prefers to migrate toward the subsurface with relatively low activation barriers 0.19 eV and 0.27 eV and the reverse process has to overcome 0.38 eV and 0.40 eV barriers for the +2 charged and the neutral vacancies. This explains the experimentally observed high concentration of vacancies at the subsurface sites rather than in the bulk, and the dynamic diffusion of vacancies from the bulk to the subsurface and from the subsurface to the bulk is highly likely on the surface of anatase (101). Finally, we provide a plausible explanation for the origin of recently observed subsurface-to-surface diffusion of oxygen vacancy from the calculated results.


title: Semi-supervised Gaussian mixture modelling with a missing-data mechanism in R

abstract: Semi-supervised learning is being extensively applied to estimate classifiers from training data in which not all the labels of the feature vectors are available. We present gmmsslm, an R package for estimating the Bayes' classifier from such partially classified data in the case where the feature vector has a multivariate Gaussian (normal) distribution in each of the predefined classes. Our package implements a recently proposed Gaussian mixture modelling framework that incorporates a missingness mechanism for the missing labels in which the probability of a missing label is represented via a logistic model with covariates that depend on the entropy of the feature vector. Under this framework, it has been shown that the accuracy of the Bayes' classifier formed from the Gaussian mixture model fitted to the partially classified training data can even have lower error rate than if it were estimated from the sample completely classified. This result was established in the particular case of two Gaussian classes with a common covariance matrix. Here, we focus on the effective implementation of an algorithm for multiple Gaussian classes with arbitrary covariance matrices. A strategy for initialising the algorithm is discussed and illustrated. The new package is demonstrated on some real data.


title: Stereo X-ray Tomography

abstract: X-ray tomography is a powerful volumetric imaging technique, but detailed three dimensional (3D) imaging requires the acquisition of a large number of individual X-ray images, which is time consuming. For applications where spatial information needs to be collected quickly, for example, when studying dynamic processes, standard X-ray tomography is therefore not applicable. Inspired by stereo vision, in this paper, we develop X-ray imaging methods that work with two X-ray projection images. In this setting, without the use of additional strong prior information, we no longer have enough information to fully recover the 3D tomographic images. However, up to a point, we are nevertheless able to extract spatial locations of point and line features. From stereo vision, it is well known that, for a known imaging geometry, once the same point is identified in two images taken from different directions, then the point's location in 3D space is exactly specified. The challenge is the matching of points between images. As X-ray transmission images are fundamentally different from the surface reflection images used in standard computer vision, we here develop a different feature identification and matching approach. In fact, once point like features are identified, if there are limited points in the image, then they can often be matched exactly. In fact, by utilising a third observation from an appropriate direction, matching becomes unique. Once matched, point locations in 3D space are easily computed using geometric considerations. Linear features, with clear end points, can be located using a similar approach.


title: The wave operator representation of quantum and classical dynamics

abstract: The choice of mathematical representation when describing physical systems is of great consequence, and this choice is usually determined by the properties of the problem at hand. Here we examine the little-known wave operator representation of quantum dynamics, and explore its connection to standard methods of quantum dynamics. This method takes as its central object the square root of the density matrix, and consequently enjoys several unusual advantages over standard representations. By combining this with purification techniques imported from quantum information, we are able to obtain a number of results. Not only is this formalism able to provide a natural bridge between phase and Hilbert space representations of both quantum and classical dynamics, we also find the waveoperator representation leads to novel semiclassical approximations of both real and imaginary time dynamics, as well as a transparent correspondence to the classical limit. This is demonstrated via the example of quadratic and quartic Hamiltonians, while the potential extensions of the waveoperator and its application to quantum-classical hybrids is discussed. We argue that the wave operator provides a new perspective that links previously unrelated representations, and is a natural candidate model for scenarios (such as hybrids) in which positivity cannot be otherwise guaranteed.


title: I-MSV 2022: Indic-Multilingual and Multi-sensor Speaker Verification Challenge

abstract: Speaker Verification (SV) is a task to verify the claimed identity of the claimant using his/her voice sample. Though there exists an ample amount of research in SV technologies, the development concerning a multilingual conversation is limited. In a country like India, almost all the speakers are polyglot in nature. Consequently, the development of a Multilingual SV (MSV) system on the data collected in the Indian scenario is more challenging. With this motivation, the Indic- Multilingual Speaker Verification (I-MSV) Challenge 2022 has been designed for understanding and comparing the state-of-the-art SV techniques. For the challenge, approximately $100$ hours of data spoken by $100$ speakers has been collected using $5$ different sensors in $13$ Indian languages. The data is divided into development, training, and testing sets and has been made publicly available for further research. The goal of this challenge is to make the SV system robust to language and sensor variations between enrollment and testing. In the challenge, participants were asked to develop the SV system in two scenarios, viz. constrained and unconstrained. The best system in the constrained and unconstrained scenario achieved a performance of $2.12\%$ and $0.26\%$ in terms of Equal Error Rate (EER), respectively.


title: AutoML for neuromorphic computing and application-driven co-design: asynchronous, massively parallel optimization of spiking architectures

abstract: In this work we have extended AutoML inspired approaches to the exploration and optimization of neuromorphic architectures. Through the integration of a parallel asynchronous model-based search approach with a simulation framework to simulate spiking architectures, we are able to efficiently explore the configuration space of neuromorphic architectures and identify the subset of conditions leading to the highest performance in a targeted application. We have demonstrated this approach on an exemplar case of real time, on-chip learning application. Our results indicate that we can effectively use optimization approaches to optimize complex architectures, therefore providing a viable pathway towards application-driven codesign.


title: Root finding via local measurement

abstract: We consider the problem of numerically identifying roots of a target function - under the constraint that we can only measure the derivatives of the function at a given point, not the function itself. We describe and characterize two methods for doing this: (1) a local-inversion "inching process", where we use local measurements to repeatedly identify approximately how far we need to move to drop the target function by the initial value over N, an input parameter, and (2) an approximate Newton's method, where we estimate the current function value at a given iteration via estimation of the integral of the function's derivative, using N samples. When applicable, both methods converge algebraically with N, with the power of convergence increasing with the number of derivatives applied in the analysis.


title: Implicit Contact-Rich Manipulation Planning for a Manipulator with Insufficient Payload

abstract: This paper uses a mobile manipulator with a collaborative robotic arm to manipulate objects beyond the robot's maximum payload. It proposes a single-shot probabilistic roadmap-based method to plan and optimize manipulation motion with environment support. The method uses an expanded object mesh model to examine contact and randomly explores object motion while keeping contact and securing affordable grasping force. It generates robotic motion trajectories after obtaining object motion using an optimization-based algorithm. With the proposed method's help, we can plan contact-rich manipulation without particularly analyzing an object's contact modes and their transitions. The planner and optimizer determine them automatically. We conducted experiments and analyses using simulations and real-world executions to examine the method's performance. It can successfully find manipulation motion that met contact, force, and kinematic constraints, thus allowing a mobile manipulator to move heavy objects while leveraging supporting forces from environmental obstacles. The mehtod does not need to explicitly analyze contact states and build contact transition graphs, thus providing a new view for robotic grasp-less manipulation, non-prehensile manipulation, manipulation with contact, etc.


title: Symmetric non-Hermitian skin effect with emergent nonlocal correspondence

abstract: The non-Hermitian skin effect (NHSE) refers to that an extensive number of eigenstates of a non-Hermitian system are localized in open boundaries. Here we predict a universal phenomenon that with local particle-hole(-like) symmetry (PHS) the skin modes must be equally distributed on different boundaries, manifesting a novel nonlocalization of the local PHS, which is unique to non-Hermitian systems. We develop a generic theory for the emergent nonlocal symmetry-protected NHSE by connecting the non-Hermitian system to an extended Hermitian Hamiltonian in a quadruplicate Hilbert space, which maps the skin modes to the topological zero modes and the PHS to an emergent nonlocal symmetry in the perspective of many body physics. The predicted NHSE is robust against perturbations. We propose optical Raman lattice models to observe the predicted phenomena in all physical dimensions, which are accessible with cold-atom experiments.

categories: cond-mat.mes-hall cond-mat.quant-gas physics.optics quant-ph


title: Fast Attention Requires Bounded Entries

abstract: In modern machine learning, inner product attention computation is a fundamental task for training large language models such as Transformer, GPT-1, BERT, GPT-2, GPT-3 and ChatGPT. Formally, in this problem, one is given as input three matrices $Q, K, V \in [-B,B]^{n \times d}$, and the goal is to construct the matrix $\mathrm{Att}(Q,K,V) := \mathrm{diag}(A {\bf 1}_n)^{-1} A V \in \mathbb{R}^{n \times d}$, where $A = \exp(QK^\top/d)$ is the `attention matrix', and $\exp$ is applied entry-wise. Straightforward methods for this problem explicitly compute the $n \times n$ attention matrix $A$, and hence require time $\Omega(n^2)$ even when $d = n^{o(1)}$ is small. In this paper, we investigate whether faster algorithms are possible by implicitly making use of the matrix $A$. We present two results, showing that there is a sharp transition at $B = \Theta(\sqrt{\log n})$. $\bullet$ If $d = O(\log n)$ and $B = o(\sqrt{\log n})$, there is an $n^{1+o(1)}$ time algorithm to approximate $\mathrm{Att}(Q,K,V)$ up to $1/\mathrm{poly}(n)$ additive error. $\bullet$ If $d = O(\log n)$ and $B = \Theta (\sqrt{\log n})$, assuming the Strong Exponential Time Hypothesis from fine-grained complexity theory, it is impossible to approximate $\mathrm{Att}(Q,K,V)$ up to $1/\mathrm{poly}(n)$ additive error in truly subquadratic time $n^{2 - \Omega(1)}$. This gives a theoretical explanation for the phenomenon observed in practice that attention computation is much more efficient when the input matrices have smaller entries.


title: Demonstration of a Polarization-Agnostic Geometric Phase in Nonlocal Metasurfaces

abstract: Symmetry-driven phenomena arising in nonlocal metasurfaces supporting quasi-bound states in the continuum (q-BICs) have been opening new avenues to tailor enhanced light-matter interactions via perturbative design principles. Geometric phase concepts - observed in many physical systems - are particularly useful in nonlocal metasurfaces, as they enable to locally pattern the q-BIC scattering rate and phase across the metasurface aperture without affecting the delocalized nature of the q-BIC resonance. However, this control typically comes with stringent limitations in terms of efficiency and/or of polarization operation. Here, we unveil a new form of geometric phase control, accumulated along a continuous contour of geometric perturbations that parametrically encircle a singularity associated with a bound state. This response is obtained regardless of the chosen polarization state, which can be rationally specified by a judicious choice of the perturbation geometry. Our findings extend geometric phase concepts to arbitrary polarizations, including linear and elliptical states, with near-unity scattering efficiency. This polarization-agnostic geometric phase offers new opportunities for wavefront manipulation, multifunctional operation and light emission, with applications in augmented reality, secure communications, wireless systems, imaging, lasing, nonlinear and quantum optics.


title: Koszul duality, minimal model and $L_\infty$-structure for differential algebras with weight

abstract: A differential algebra with weight is an abstraction of both the derivation (weight zero) and the forward and backward difference operators (weight $\pm 1$). In 2010 Loday established the Koszul duality for the operad of differential algebras of weight zero. He did not treat the case of nonzero weight, noting that new techniques are needed since the operad is no longer quadratic. This paper continues Loday's work and establishes the Koszul duality in the case of nonzero weight. In the process, the minimal model and the Koszul dual homotopy cooperad of the operad governing differential algebras with weight are determined. As a consequence, a notion of homotopy differential algebras with weight is obtained and the deformation complex as well as its $L_\infty$-algebra structure for differential algebras with weight are deduced.


title: Hyperbolic band topology with non-trivial second Chern numbers

abstract: Topological band theory establishes a standardized framework for classifying different types of topological matters. Recent investigations have shown that hyperbolic lattices in non-Euclidean space can also be characterized by hyperbolic Bloch theorem. This theory promotes the investigation of hyperbolic band topology, where hyperbolic topological band insulators protected by first Chern numbers have been proposed. Here, we report a new finding on the construction of hyperbolic topological band insulators with a vanished first Chern number but a non-trivial second Chern number. Our model possesses the non-abelian translational symmetry of {8,8} hyperbolic tiling. By engineering intercell couplings and onsite potentials of sublattices in each unit cell, the non-trivial bandgaps with quantized second Chern numbers can appear. In experiments, we fabricate two types of finite hyperbolic circuit networks with periodic boundary conditions and partially open boundary conditions to detect hyperbolic topological band insulators. Our work suggests a new way to engineer hyperbolic topological states with higher-order topological invariants.


title: Schr\"odinger equation with finitely many $\delta$-interactions: closed form, integral and series representations for solutions

abstract: A closed form solution for the one-dimensional Schr\"{o}dinger equation with a finite number of $\delta$-interactions \[ \mathbf{L}_{q,\mathfrak{I}_{N}}y:=-y^{\prime\prime}+\left( q(x)+\sum _{k=1}^{N}\alpha_{k}\delta(x-x_{k})\right) y=\lambda y,\quad0<x<b,\;\lambda \in\mathbb{C}% \] is presented in terms of the solution of the unperturbed equation \[ \mathbf{L}_{q}y:=-y^{\prime\prime}+q(x)y=\lambda y,\quad0<x<b,\;\lambda \in\mathbb{C}% \] and a corresponding transmutation operator $\mathbf{T}_{\mathfrak{I}_{N}}^{f}$ is obtained in the form of a Volterra integral operator. With the aid of the spectral parameter power series method, a practical construction of the image of the transmutation operator on a dense set is presented, and it is proved that the operator $\mathbf{T}_{\mathfrak{I}_{N}}^{f}$ transmutes the second derivative into the Schr\"{o}dinger operator $\mathbf{L}_{q,\mathfrak{I}_{N}}$ on a Sobolev space $H^{2}$. A Fourier-Legendre series representation for the integral transmutation kernel is developed, from which a new representation for the solutions and their derivatives, in the form of a Neumann series of Bessel functions, is derived.


title: Autonomous Intelligent Navigation for Flexible Endoscopy Using Monocular Depth Guidance and 3-D Shape Planning

abstract: Recent advancements toward perception and decision-making of flexible endoscopes have shown great potential in computer-aided surgical interventions. However, owing to modeling uncertainty and inter-patient anatomical variation in flexible endoscopy, the challenge remains for efficient and safe navigation in patient-specific scenarios. This paper presents a novel data-driven framework with self-contained visual-shape fusion for autonomous intelligent navigation of flexible endoscopes requiring no priori knowledge of system models and global environments. A learning-based adaptive visual servoing controller is proposed to online update the eye-in-hand vision-motor configuration and steer the endoscope, which is guided by monocular depth estimation via a vision transformer (ViT). To prevent unnecessary and excessive interactions with surrounding anatomy, an energy-motivated shape planning algorithm is introduced through entire endoscope 3-D proprioception from embedded fiber Bragg grating (FBG) sensors. Furthermore, a model predictive control (MPC) strategy is developed to minimize the elastic potential energy flow and simultaneously optimize the steering policy. Dedicated navigation experiments on a robotic-assisted flexible endoscope with an FBG fiber in several phantom environments demonstrate the effectiveness and adaptability of the proposed framework.


title: Combining Graphical and Algebraic Approaches for Parameter Identification in Latent Variable Structural Equation Models

abstract: Measurement error is ubiquitous in many variables - from blood pressure recordings in physiology to intelligence measures in psychology. Structural equation models (SEMs) account for the process of measurement by explicitly distinguishing between latent variables and their measurement indicators. Users often fit entire SEMs to data, but this can fail if some model parameters are not identified. The model-implied instrumental variables (MIIVs) approach is a more flexible alternative that can estimate subsets of model parameters in identified equations. Numerous methods to identify individual parameters also exist in the field of graphical models (such as DAGs), but many of these do not account for measurement effects. Here, we take the concept of "latent-to-observed" (L2O) transformation from the MIIV approach and develop an equivalent graphical L2O transformation that allows applying existing graphical criteria to latent parameters in SEMs. We combine L2O transformation with graphical instrumental variable criteria to obtain an efficient algorithm for non-iterative parameter identification in SEMs with latent variables. We prove that this graphical L2O transformation with the instrumental set criterion is equivalent to the state-of-the-art MIIV approach for SEMs, and show that it can lead to novel identification strategies when combined with other graphical criteria.


title: Beyond Discrete Selection: Continuous Embedding Space Optimization for Generative Feature Selection

abstract: The goal of Feature Selection - comprising filter, wrapper, and embedded approaches - is to find the optimal feature subset for designated downstream tasks. Nevertheless, current feature selection methods are limited by: 1) the selection criteria of these methods are varied for different domains, making them hard to generalize; 2) the selection performance of these approaches drops significantly when processing high-dimensional feature space coupled with small sample size. In light of these challenges, we pose the question: can selected feature subsets be more robust, accurate, and input dimensionality agnostic? In this paper, we reformulate the feature selection problem as a deep differentiable optimization task and propose a new research perspective: conceptualizing discrete feature subsetting as continuous embedding space optimization. We introduce a novel and principled framework that encompasses a sequential encoder, an accuracy evaluator, a sequential decoder, and a gradient ascent optimizer. This comprehensive framework includes four important steps: preparation of features-accuracy training data, deep feature subset embedding, gradient-optimized search, and feature subset reconstruction. Specifically, we utilize reinforcement feature selection learning to generate diverse and high-quality training data and enhance generalization. By optimizing reconstruction and accuracy losses, we embed feature selection knowledge into a continuous space using an encoder-evaluator-decoder model structure. We employ a gradient ascent search algorithm to find better embeddings in the learned embedding space. Furthermore, we reconstruct feature selection solutions using these embeddings and select the feature subset with the highest performance for downstream tasks as the optimal subset.


title: Speech Corpora Divergence Based Unsupervised Data Selection for ASR

abstract: Selecting application scenarios matching data is important for the automatic speech recognition (ASR) training, but it is difficult to measure the matching degree of the training corpus. This study proposes a unsupervised target-aware data selection method based on speech corpora divergence (SCD), which can measure the similarity between two speech corpora. We first use the self-supervised Hubert model to discretize the speech corpora into label sequence and calculate the N-gram probability distribution. Then we calculate the Kullback-Leibler divergence between the N-grams as the SCD. Finally, we can choose the subset which has minimum SCD to the target corpus for annotation and training. Compared to previous data selection method, the SCD data selection method can focus on more acoustic details and guarantee the diversity of the selected set. We evaluate our method on different accents from Common Voice. Experiments show that the proposed SCD data selection can realize 14.8% relative improvements to the random selection, comparable or even superior to the result of supervised selection.


title: Optimal free-surface pumping by an undulating carpet

abstract: Examples of fluid flows driven by undulating boundaries are found in nature across many different length scales. Even though different driving mechanisms have evolved in distinct environments, they perform essentially the same function: directional transport of liquid. Nature-inspired strategies have been adopted in engineered devices to manipulate and direct flow. Here, we demonstrate how an undulating boundary generates large-scale pumping of a thin liquid near the liquid-air interface. Two dimensional traveling waves on the undulator, a canonical strategy to transport fluid at low Reynolds numbers, surprisingly lead to flow rates that depend non-monotonically on the wave speed. Through an asymptotic analysis of the thin-film equations that account for gravity and surface tension, we predict the observed optimal speed that maximizes pumping. Our findings reveal a novel mode of pumping with less energy dissipation near a free surface compared to a rigid boundary.


title: MMS Allocations of Chores with Connectivity Constraints: New Methods and New Results

abstract: We study the problem of allocating indivisible chores to agents under the Maximin share (MMS) fairness notion. The chores are embedded on a graph and each bundle of chores assigned to an agent should be connected. Although there is a simple algorithm for MMS allocations of goods on trees, it remains open whether MMS allocations of chores on trees always exist or not, which is a simple but annoying problem in chores allocation. In this paper, we introduce a new method for chores allocation with connectivity constraints, called the group-satisfied method, that can show the existence of MMS allocations of chores on several subclasses of trees. Even these subcases are non-trivial and our results can be considered as a significant step to the open problem. We also consider MMS allocations of chores on cycles where we get the tight approximation ratio for three agents. Our result was obtained via the linear programming (LP) method, which enables us not only to compute approximate MMS allocations but also to construct tight examples of the nonexistence of MMS allocations without complicated combinatorial analysis. These two proposed methods, the group-satisfied method and the LP method, have the potential to solve more related problems.


title: Towards Tackling MaxSAT by Combining Nested Monte Carlo with Local Search

abstract: Recent work proposed the UCTMAXSAT algorithm to address Maximum Satisfiability Problems (MaxSAT) and shown improved performance over pure Stochastic Local Search algorithms (SLS). UCTMAXSAT is based on Monte Carlo Tree Search but it uses SLS instead of purely random playouts. In this work, we introduce two algorithmic variations over UCTMAXSAT. We carry an empirical analysis on MaxSAT benchmarks from recent competitions and establish that both ideas lead to performance improvements. First, a nesting of the tree search inspired by the Nested Monte Carlo Search algorithm is effective on most instance types in the benchmark. Second, we observe that using a static flip limit in SLS, the ideal budget depends heavily on the instance size and we propose to set it dynamically. We show that it is a robust way to achieve comparable performance on a variety of instances without requiring additional tuning.


title: Spin-Orbit Coupling of Europa's Ice Shell and Interior

abstract: Europa is an icy ocean world, differentiated into a floating ice shell and solid interior, separated by a global ocean. The classical spin-orbit coupling problem considers a satellite as a single rigid body, but in the case of Europa, the existence of the subsurface ocean enables independent motion of the ice shell and solid interior. This paper explores the spin-orbit coupling problem for Europa from a dynamical perspective, yielding illuminating analytical and numerical results. We determine that the spin behavior of Europa is influenced by processes not captured by the classical single rigid body spin-orbit coupling analysis. The tidal locking process for Europa is governed by the strength of gravity-gradient coupling between the ice shell and solid interior, with qualitatively different behavior depending on the scale of this effect. In this coupled rigid model, the shell can potentially undergo large angular displacements from the solid interior, and the coupling plays an outsize role in the dynamical evolution of the moon, even without incorporating the dissipative effects of shell non-rigidity. We additionally discuss the effects of a realistic viscoelastic shell, and catalogue other torques that we expect to be sub-dominant in Europa's spin dynamics, or whose importance is unknown. Finally, we explore how the choice of tidal model affects the resulting equilibrium spin state.


title: Highly Tunable Intrinsic Exchange Bias from Interfacial Reconstruction in Epitaxial NixCoyFe3-x-yO4(111)/{\alpha}-Al2O3(0001) Thin Films

abstract: Intrinsic exchange bias up to 12.6 kOe is observed in NixCoyFe3-x-yO4(111)/{\alpha}-Al2O3(0001) (0<=x+y<=3) epitaxial thin films where 0.15<=y<=2. An interfacial layer of rock-salt structure emerges between NixCoyFe3-x-yO4 thin films and {\alpha}-Al2O3 substrates and is proposed as the antiferromagnetic layer unidirectionally coupled with ferrimagnetic NixCoyFe3-x-yO4. In NiCo2O4(111)/{\alpha}-Al2O3(0001) films, results of reflection high energy electron diffraction, X-ray photoelectron spectroscopy, X-ray reflectometry, and polarized neutron reflectometry support that the interfacial layer is antiferromagnetic NixCo1-xO (0.32<=x<=0.49) of rock-salt structure; the interfacial layer and exchange bias can be controlled by growth oxygen pressure revealing the key role of oxygen in the mechanism of the interfacial reconstruction. This work establishes a family of intrinsic exchange bias materials with great tunability by stoichiometry and growth parameters and emphasizes the strategy of interface engineering in controlling material functionalities.


title: Bochner integrals and neural networks

abstract: A Bochner integral formula is derived that represents a function in terms of weights and a parametrized family of functions. Comparison is made to pointwise formulations, norm inequalities relating pointwise and Bochner integrals are established, variation-spaces and tensor products are studied, and examples are presented. The paper develops a functional analytic theory of neural networks and shows that variation spaces are Banach spaces.


title: Artificial Intelligence Impact On The Labour Force -- Searching For The Analytical Skills Of The Future Software Engineers

abstract: This systematic literature review aims to investigate the impact of artificial intelligence (AI) on the labour force in software engineering, with a particular focus on the skills needed for future software engineers, the impact of AI on the demand for software engineering skills, and the future of work for software engineers. The review identified 42 relevant publications through a comprehensive search strategy and analysed their findings. The results indicate that future software engineers will need to be competent in programming and have soft skills such as problem-solving and interpersonal communication. AI will have a significant impact on the software engineering workforce, with the potential to automate many jobs currently done by software engineers. The role of a software engineer is changing and will continue to change in the future, with AI-assisted software development posing challenges for the software engineering profession. The review suggests that the software engineering profession must adapt to the changing landscape to remain relevant and effective in the future.


title: Heterogeneous robot teams with unified perception and autonomy: How Team CSIRO Data61 tied for the top score at the DARPA Subterranean Challenge

abstract: The DARPA Subterranean Challenge was designed for competitors to develop and deploy teams of autonomous robots to explore difficult unknown underground environments. Categorised in to human-made tunnels, underground urban infrastructure and natural caves, each of these subdomains had many challenging elements for robot perception, locomotion, navigation and autonomy. These included degraded wireless communication, poor visibility due to smoke, narrow passages and doorways, clutter, uneven ground, slippery and loose terrain, stairs, ledges, overhangs, dripping water, and dynamic obstacles that move to block paths among others. In the Final Event of this challenge held in September 2021, the course consisted of all three subdomains. The task was for the robot team to perform a scavenger hunt for a number of pre-defined artefacts within a limited time frame. Only one human supervisor was allowed to communicate with the robots once they were in the course. Points were scored when accurate detections and their locations were communicated back to the scoring server. A total of 8 teams competed in the finals held at the Mega Cavern in Louisville, KY, USA. This article describes the systems deployed by Team CSIRO Data61 that tied for the top score and won second place at the event.


title: A Synthetic Texas Backbone Power System with Climate-Dependent Spatio-Temporal Correlated Profiles

abstract: Most power system test cases only have electrical parameters and can be used only for studies based on a snapshot of system profiles. To facilitate more comprehensive and practical studies, a synthetic power system including spatio-temporal correlated profiles for the entire year of 2019 at one-hour resolution has been created in this work. This system, referred to as the synthetic Texas 123-bus backbone transmission (TX-123BT) system, has very similar temporal and spatial characteristics with the actual Electric Reliability Council of Texas (ERCOT) system. It has a backbone network consisting of only high-voltage transmission lines in Texas, which is obtained by the K-medoids clustering method. The climate data extracted from the North American Land Data Assimilation System (NLDAS) are used to create the climate-dependent profiles of renewable generation and transmission thermal limits. Two climate-dependent models are implemented to determine wind and solar power production pro-files respectively. In addition, two sets of climate-dependent dy-namic line rating (DLR) profiles are created with the actual climate information: (i) daily DLR and (ii) hourly DLR. Simulation results of security-constrained unit commitment (SCUC) conducted on each of the daily system profiles have validated the developed one-year hourly time series dataset.


title: Data Structures for Deviation Payoffs

abstract: We present new data structures for representing symmetric normal-form games. These data structures are optimized for efficiently computing the expected utility of each unilateral pure-strategy deviation from a symmetric mixed-strategy profile. The cumulative effect of numerous incremental innovations is a dramatic speedup in the computation of symmetric mixed-strategy Nash equilibria, making it practical to represent and solve games with dozens to hundreds of players. These data structures naturally extend to role-symmetric and action-graph games with similar benefits.


title: The misuse of the nonlinear field normalization method: Nonlinear field normalization citation counts at the paper level cannot be added or averaged

abstract: There is a very important problem that has not attracted sufficient attention in academia, i.e., nonlinear field normalization citation counts at the paper level obtained using nonlinear field normalization methods cannot be added or averaged. Unfortunately, there are many cases adding or averaging the nonlinear normalized citation counts of individual papers that can be found in the academic literature, indicating that nonlinear field normalization methods have long been misused in academia. In this paper, we performed the following two research works. First, we analyzed why the nonlinear normalized citation counts of individual papers cannot be added or averaged from the perspective of theoretical analysis in mathematics: we provide mathematical proofs for the crucial steps of the analysis. Second, we systematically classified the existing main field normalization methods into linear and nonlinear field normalization methods. The above two research works provide a theoretical basis for the proper use of field normalization methods in the future, avoiding the continued misuse of nonlinear data. Furthermore, because our mathematical proof is applicable to all nonlinear data in the entire real number domain, our research works are also meaningful for the whole field of data and information science.


title: APT Encrypted Traffic Detection Method based on Two-Parties and Multi-Session for IoT

abstract: APT traffic detection is an important task in network security domain, which is of great significance in the field of enterprise security. Most APT traffic uses encrypted communication protocol as data transmission medium, which greatly increases the difficulty of detection. This paper analyzes the existing problems of current APT encrypted traffic detection methods based on machine learning, and proposes an APT encrypted traffic detection method based on two parties and multi-session. This method only needs to extract a small amount of features, such as session sequence, session time interval, upstream and downstream data size, and convert them into images. Then convolutional neural network method can be used to realize image recognition. Thus, network traffic identification can be realized too. In the preliminary test of five experiments, this method achieves good experimental results, which verifies the effectiveness of the method.


title: Quasi-F-splittings in birational geometry II

abstract: Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal.


title: Autonomous Search of Semantic Objects in Unknown Environments

abstract: This paper addresses the problem of enabling a robot to search for a semantic object, i.e., an object with a semantic label, in an unknown and GPS-denied environment. For the robot in the unknown environment to detect and find the target semantic object, it must perform simultaneous localization and mapping (SLAM) at both geometric and semantic levels using its onboard sensors while planning and executing its motion based on the ever-updated SLAM results. In other words, the robot must be able to conduct simultaneous localization, semantic mapping, motion planning, and execution in real-time in the presence of sensing and motion uncertainty. This is an open problem as it combines semantic SLAM based on perception and real-time motion planning and execution under uncertainty. Moreover, the goals of the robot motion change on the fly depending on whether and how the robot can detect the target object. We propose a novel approach to tackle the problem, leveraging semantic SLAM, Bayesian Networks, Markov Decision Process, and Real-Time Dynamic Programming. The results in simulation and real experiments demonstrate the effectiveness and efficiency of our approach.


title: Embedding hypercubes into torus and Cartesian product of paths and cycles for minimizing wirelength

abstract: Though embedding problems have been considered for several regular graphs, it is still an open problem for hypercube into torus. In the paper, we prove the conjecture mathematically and obtain the minimum wirelength of embedding for hypercube into Cartesian product of paths and/or cycles. In addition, we explain that Gray code embedding is an optimal strategy in such embedding problems.


title: Statdepth: a package for analysis of functional and pointcloud data using statistical depth

abstract: Laboratory scientists are well equipped with statistical tools for univariate data, yet many phenomena of scientific interest are time-variant or otherwise multidimensional. Functional data analysis is one way of approaching such data: by representing these more complex data as single data points in a mathematical space of functions. The mathematical concept of functional depth provides a notion of centrality which allows for descriptive statistics and some comparative statistics on these data. Here, we present statdepth, a Python package for functional depth-based analyses which naturally extends familiar single-data-point L-statistics and related methods to time-variant data trajectories or multidimensional data.


title: Evaluation of the Radius of Maximum Wind over the North Indian Basin with the help of Tropical Cyclone characteristics

abstract: Tropical Cyclones (TCs) have devastating effects on several coastal regions worldwide. Precautionary knowledge about TC characteristics such as wind direction, wind speed, epicenter position, condensed vapor pressure measure, and radius of maximum can be highly valuable in disaster management and economic planning. Existing literature has focused on TC wind direction, intensity, cloud shape, and epicenter position, but there has been limited research on estimation of the Radius of Maximum Wind (RMW). Accurate estimation of RMW is crucial as errors can significantly impact wind and storm surge assessments and forecasts. In this study, our objective is to determine the RMW over the North Indian Ocean (NIO). We chose this region due to its location surrounded by the Bay of Bengal and Arabian Sea, making it one of the six globally prominent areas prone to TCs. Our study is on the relationship between the center of the TC, the estimated pressure drop at the center, and the RMW, using historical observations and mathematical correlations. To address missing parameters in the best track database of the Indian Meteorological Department, we employ a local regression model. We validate the accuracy of our developed method using two statistical measures: error percentage and T-test. Numerous TC cases are discussed in the paper over the NIO. Our findings indicates that the suggested method exhibits an error percentage ranging from approximately $-63\%$ to $50\%$ when compared to the best track data provided by the Indian Meteorological Department (IMD). In contrast, the error percentages for two other references \cite{bib21, bib22} with the same best track data range from approximately $-26\%$ to $200\%$. Moreover, the T-test results demonstrate that our method outperforms than the other approaches in terms of statistical significance.


title: Q-Cogni: An Integrated Causal Reinforcement Learning Framework

abstract: We present Q-Cogni, an algorithmically integrated causal reinforcement learning framework that redesigns Q-Learning with an autonomous causal structure discovery method to improve the learning process with causal inference. Q-Cogni achieves optimal learning with a pre-learned structural causal model of the environment that can be queried during the learning process to infer cause-and-effect relationships embedded in a state-action space. We leverage on the sample efficient techniques of reinforcement learning, enable reasoning about a broader set of policies and bring higher degrees of interpretability to decisions made by the reinforcement learning agent. We apply Q-Cogni on the Vehicle Routing Problem (VRP) and compare against state-of-the-art reinforcement learning algorithms. We report results that demonstrate better policies, improved learning efficiency and superior interpretability of the agent's decision making. We also compare this approach with traditional shortest-path search algorithms and demonstrate the benefits of our causal reinforcement learning framework to high dimensional problems. Finally, we apply Q-Cogni to derive optimal routing decisions for taxis in New York City using the Taxi & Limousine Commission trip record data and compare with shortest-path search, reporting results that show 85% of the cases with an equal or better policy derived from Q-Cogni in a real-world domain.


title: Cross-Lingual Question Answering over Knowledge Base as Reading Comprehension

abstract: Although many large-scale knowledge bases (KBs) claim to contain multilingual information, their support for many non-English languages is often incomplete. This incompleteness gives birth to the task of cross-lingual question answering over knowledge base (xKBQA), which aims to answer questions in languages different from that of the provided KB. One of the major challenges facing xKBQA is the high cost of data annotation, leading to limited resources available for further exploration. Another challenge is mapping KB schemas and natural language expressions in the questions under cross-lingual settings. In this paper, we propose a novel approach for xKBQA in a reading comprehension paradigm. We convert KB subgraphs into passages to narrow the gap between KB schemas and questions, which enables our model to benefit from recent advances in multilingual pre-trained language models (MPLMs) and cross-lingual machine reading comprehension (xMRC). Specifically, we use MPLMs, with considerable knowledge of cross-lingual mappings, for cross-lingual reading comprehension. Existing high-quality xMRC datasets can be further utilized to finetune our model, greatly alleviating the data scarcity issue in xKBQA. Extensive experiments on two xKBQA datasets in 12 languages show that our approach outperforms various baselines and achieves strong few-shot and zero-shot performance. Our dataset and code are released for further research.


title: Generation of Vortex N2+ Lasing

abstract: Harnessing structured light is fascinating for its multi-disciplinary applications, e.g., in remote driving microrobots, sensing, communications, and ultrahigh resolution imaging. Here we experimentally demonstrated the generation of a vortex N2+ lasing pumped by a wavefront structured near-infrared femtosecond pulse with an orbital angular momentum. The topological charge of the new-born N2+ lasing is measured to be twofold that of the pump beam. As compared to the case with pump beam of plane wavefront, the N2+ lasing generation efficiency is much higher for the vortex pump beam at high pumping energy which has a higher clamping intensity by reducing the on-axis plasma density. Our results herald a stirring marching into the territory of remote structured N2+ lasing.


title: Quantum $z=2$ Lifshitz criticality in one-dimensional interacting fermions

abstract: We consider Lifshitz criticality (LC) with the dynamical critical exponent $z=2$ in one-dimensional interacting fermions with a filled Dirac Sea. We report that interactions have crucial effects on Lifshitz criticality. Single particle excitations are destabilized by interaction and decay into the particle-hole continuum, which is reflected in the logarithmic divergence in the imaginary part of one-loop self-energy. We show that the system is sensitive to the sign of interaction. Random-phase approximation (RPA) shows that the collective particle-hole excitations emerge only when the interaction is repulsive. The dispersion of collective modes is gapless and linear. If the interaction is attractive, the one-loop renormalization group (RG) shows that there may exist a stable RG fixed point described by two coupling constants. We also show that the on-site interaction (without any other perturbations at the UV scale) would always turn on the relevant velocity perturbation to the quadratic Lagrangian in the RG flow, driving the system flow to the conformal-invariant criticality. In the numerical simulations of the lattice model at the half-filling, we find that, for either on-site positive or negative interactions, the dynamical critical exponent becomes $z=1$ in the infrared (IR) limit and the entanglement entropy is a logarithmic function of the system size $L$. The work paves the way to study one-dimensional interacting LCs.


title: Twisted virtual braids and twisted links

abstract: Twisted knot theory introduced by M. Bourgoin is a generalization of knot theory. It leads us to the notion of twisted virtual braids. In this paper we show theorems for twisted links corresponding to the Alexander theorem and the Markov theorem in knot theory. We also provide a group presentation and a reduced group presentation of the twisted virtual braid group.


title: Physical Momentum in the Indian Stock Market

abstract: Our study focuses on determining the presence of abnormal returns for physical momentum portfolios in the context of the Indian market. The physical momentum portfolios, comprising stocks from the NSE 500, are constructed for the daily, weekly, monthly, and yearly timescales. In the aforementioned timescales, we empirically evaluate the historical returns and varied risk profiles of these portfolios for the years 2014-2021. It has been observed that the best-performing physical momentum portfolios from each of the four timescales achieved higher returns and better risk measures when compared to the benchmark NIFTY 50 portfolio. We further find that the high-frequency daily time scale exhibits the strongest reversal in the physical momentum effect, wherein the portfolio yielded a 16-fold profit over the initial investment.


title: PDFO: A Cross-Platform Package for Powell's Derivative-Free Optimization Solvers

abstract: The late Professor M. J. D. Powell devised five trust-region methods for derivative-free optimization, namely COBYLA, UOBYQA, NEWUOA, BOBYQA, and LINCOA. He carefully implemented them into publicly available solvers, renowned for their robustness and efficiency. However, the solvers were implemented in Fortran 77 and hence may not be easily accessible to some users. We introduce the PDFO package, which provides user-friendly Python and MATLAB interfaces to Powell's code. With PDFO, users of such languages can call Powell's Fortran solvers easily without dealing with the Fortran code. Moreover, PDFO includes bug fixes and improvements, which are particularly important for handling problems that suffer from ill-conditioning or failures of function evaluations. In addition to the PDFO package, we provide an overview of Powell's methods, sketching them from a uniform perspective, summarizing their main features, and highlighting the similarities and interconnections among them. We also present experiments on PDFO to demonstrate its stability under noise, tolerance of failures in function evaluations, and potential to solve certain hyperparameter optimization problems.


title: The leptonic di-flavor and di-number violation processes at high energy $\mu^\pm\mu^\pm $ colliders

abstract: The leptonic di-flavor violation (LFV) processes $\mu^\pm \mu^\pm \rightarrow e^\pm e^\pm $, $\mu^\pm \mu^\pm \rightarrow \tau^\pm \tau^\pm $ and the leptonic di-number violation (LNV) processes $\mu^\pm \mu^\pm \rightarrow W^\pm _iW^\pm _j$ ($i,\;j=1,\;2$) at the same-sign high energy $\mu^\pm \mu^\pm $ colliders are studied. The new physics (NP) factors that may play roles in these processes are highlighted by cataloging them into three types. Taking into account the experimental constraints, the processes at $\mu^\pm\mu^\pm$ colliders are computed and the results are presented properly. The results lead to the conclusion that observing the NP factors through the LFV and LNV processes at TeV-energy $\mu^\pm\mu^\pm$ colliders has significant advantages that cannot be achieved elsewhere. Therefore, in developing the techniques of muon acceleration and collisions, the option of building the same-sign muon high-energy colliders should be considered seriously too.


title: Quantum theory of the Intrinsic Orbital Magnetoelectric Effect in itinerant electron systems at finite temperatures

abstract: Magnetization can be induced by an electric field in systems without inversion symmetry $\mathcal{P}$ and time-reversal symmetry $\mathcal{T}$. This phenomenon is called the magnetoelectric (ME) effect. The spin ME effect has been actively studied in multiferroics. The orbital ME effect also exists and has been mainly discussed in topological insulators at zero temperature. In this paper, we study the intrinsic orbital ME response in metals at finite temperature using the Kubo formula. The intrinsic response originates from the Fermi sea and does not depend on the dissipation. Especially in systems with $\mathcal{PT}$-symmetry, the extrinsic orbital ME effect becomes zero, and the intrinsic ME effect is dominant. We apply the response tensor obtained in this work to a $\mathcal{PT}$-symmetric model Hamiltonian with antiferromagnetic loop current order demonstrating that the intrinsic ME effect is enhanced around the Dirac points.


title: Quantization of the minimal nilpotent orbits and the quantum Hikita conjecture

abstract: We show that the specialized quantum D-module of the equivariant quantum cohomology ring of the minimal resolution of an ADE singularity is isomorphic to the D-module of graded traces on the minimal nilpotent orbit in the Lie algebra of the same type. This generalizes a recent result of Shlykov [Hikita conjecture for the minimal nilpotent orbit, to appear in Proc. AMS, https://doi.org/10.1090/proc/15281] and hence verifies in this case the quantum version of Hikita's conjecture, proposed by Kamnitzer, McBreen and Proudfoot [The quantum Hikita conjecture, Advances in Mathematics 390 (2021) 107947]. We also show analogous isomorphisms for singularities of BCFG type.


title: Finite groups in which generalized normality is a transitive relation

abstract: In this paper, we discuss some well-known results and some open problems of the theory of $\sigma$-properties of a group related to the study of generalized $T$-groups.


title: Unsupervised Domain Adaptation for Low-dose CT Reconstruction via Bayesian Uncertainty Alignment

abstract: Low-dose computed tomography (LDCT) image reconstruction techniques can reduce patient radiation exposure while maintaining acceptable imaging quality. Deep learning is widely used in this problem, but the performance of testing data (a.k.a. target domain) is often degraded in clinical scenarios due to the variations that were not encountered in training data (a.k.a. source domain). Unsupervised domain adaptation (UDA) of LDCT reconstruction has been proposed to solve this problem through distribution alignment. However, existing UDA methods fail to explore the usage of uncertainty quantification, which is crucial for reliable intelligent medical systems in clinical scenarios with unexpected variations. Moreover, existing direct alignment for different patients would lead to content mismatch issues. To address these issues, we propose to leverage a probabilistic reconstruction framework to conduct a joint discrepancy minimization between source and target domains in both the latent and image spaces. In the latent space, we devise a Bayesian uncertainty alignment to reduce the epistemic gap between the two domains. This approach reduces the uncertainty level of target domain data, making it more likely to render well-reconstructed results on target domains. In the image space, we propose a sharpness-aware distribution alignment to achieve a match of second-order information, which can ensure that the reconstructed images from the target domain have similar sharpness to normal-dose CT images from the source domain. Experimental results on two simulated datasets and one clinical low-dose imaging dataset show that our proposed method outperforms other methods in quantitative and visualized performance.


title: No-Regret Linear Bandits beyond Realizability

abstract: We study linear bandits when the underlying reward function is not linear. Existing work relies on a uniform misspecification parameter $\epsilon$ that measures the sup-norm error of the best linear approximation. This results in an unavoidable linear regret whenever $\epsilon > 0$. We describe a more natural model of misspecification which only requires the approximation error at each input $x$ to be proportional to the suboptimality gap at $x$. It captures the intuition that, for optimization problems, near-optimal regions should matter more and we can tolerate larger approximation errors in suboptimal regions. Quite surprisingly, we show that the classical LinUCB algorithm -- designed for the realizable case -- is automatically robust against such gap-adjusted misspecification. It achieves a near-optimal $\sqrt{T}$ regret for problems that the best-known regret is almost linear in time horizon $T$. Technically, our proof relies on a novel self-bounding argument that bounds the part of the regret due to misspecification by the regret itself.


title: Bayesian Networks for Named Entity Prediction in Programming Community Question Answering

abstract: Within this study, we propose a new approach for natural language processing using Bayesian networks to predict and analyze the context and how this approach can be applied to the Community Question Answering domain. We discuss how Bayesian networks can detect semantic relationships and dependencies between entities, and this is connected to different score-based approaches of structure-learning. We compared the Bayesian networks with different score metrics, such as the BIC, BDeu, K2 and Chow-Liu trees. Our proposed approach out-performs the baseline model at the precision metric. We also discuss the influence of penalty terms on the structure of Bayesian networks and how they can be used to analyze the relationships between entities. In addition, we examine the visualization of directed acyclic graphs to analyze semantic relationships. The article further identifies issues with detecting certain semantic classes that are separated in the structure of directed acyclic graphs. Finally, we evaluate potential improvements for the Bayesian network approach.


title: On Minimax Detection of Gaussian Stochastic Sequences with Imprecisely Known Means and Covariance Matrices

abstract: We consider the problem of detecting (testing) Gaussian stochastic sequences (signals) with imprecisely known means and covariance matrices. The alternative is independent identically distributed zero-mean Gaussian random variables with unit variances. For a given false alarm (1st-kind error) probability, the quality of minimax detection is given by the best miss probability (2nd-kind error probability) exponent over a growing observation horizon. We explore the maximal set of means and covariance matrices (composite hypothesis) such that its minimax testing can be replaced with testing a single particular pair consisting of a mean and a covariance matrix (simple hypothesis) without degrading the detection exponent. We completely describe this maximal set.


title: A proof of N\'eron--Ogg--Shafarevich criterion via its archimedean analogue

abstract: In this short note, we deduce the classical N\'eron--Ogg--Shafarevich criterion on good reduction of abelian varieties from its archimedean analogue: a holomorphic family of abelian varieties over a punctured disc extends to the whole unit disc if and only if the topological monodromy representation is trivial.


title: Continuous Space-Time Video Super-Resolution Utilizing Long-Range Temporal Information

abstract: In this paper, we consider the task of space-time video super-resolution (ST-VSR), namely, expanding a given source video to a higher frame rate and resolution simultaneously. However, most existing schemes either consider a fixed intermediate time and scale in the training stage or only accept a preset number of input frames (e.g., two adjacent frames) that fails to exploit long-range temporal information. To address these problems, we propose a continuous ST-VSR (C-STVSR) method that can convert the given video to any frame rate and spatial resolution. To achieve time-arbitrary interpolation, we propose a forward warping guided frame synthesis module and an optical-flow-guided context consistency loss to better approximate extreme motion and preserve similar structures among input and prediction frames. In addition, we design a memory-friendly cascading depth-to-space module to realize continuous spatial upsampling. Meanwhile, with the sophisticated reorganization of optical flow, the proposed method is memory friendly, making it possible to propagate information from long-range neighboring frames and achieve better reconstruction quality. Extensive experiments show that the proposed algorithm has good flexibility and achieves better performance on various datasets compared with the state-of-the-art methods in both objective evaluations and subjective visual effects.


title: Towards Carrollian quantization: renormalization of Carrollian electrodynamics

abstract: Field-theoretic description of Carrollian theories has largely remained classical so far. In this paper, we attempt to study the renormalization of Carrollian gauge field theories via path integral techniques. The case of Carrollian electrodynamics minimally coupled to a massive Carrollian scalar is considered. We report potential problems such as IR divergences and mass shell singularity cropping up at the first order in the perturbation. Perhaps, the most important result that we report is how conventional arguments for gauge independence for mass and coupling are invalidated for a gauge theory in a Carrollian setting. As of now, the renormalization of Carrollian gauge field theories seems to suffer from unphysical ramifications. Possible cures to resolve these issues are suggested.


title: Post Quantum Secure Blockchain-based Federated Learning for Mobile Edge Computing

abstract: Mobile Edge Computing (MEC) has been a promising paradigm for communicating and edge processing of data on the move. We aim to employ Federated Learning (FL) and prominent features of blockchain into MEC architecture such as connected autonomous vehicles to enable complete decentralization, immutability, and rewarding mechanisms simultaneously. FL is advantageous for mobile devices with constrained connectivity since it requires model updates to be delivered to a central point instead of substantial amounts of data communication. For instance, FL in autonomous, connected vehicles can increase data diversity and allow model customization, and predictions are possible even when the vehicles are not connected (by exploiting their local models) for short times. However, existing synchronous FL and Blockchain incur extremely high communication costs due to mobility-induced impairments and do not apply directly to MEC networks. We propose a fully asynchronous Blockchained Federated Learning (BFL) framework referred to as BFL-MEC, in which the mobile clients and their models evolve independently yet guarantee stability in the global learning process. More importantly, we employ post-quantum secure features over BFL-MEC to verify the client's identity and defend against malicious attacks. All of our design assumptions and results are evaluated with extensive simulations.


title: Can we avoid Double Descent in Deep Neural Networks?

abstract: Finding the optimal size of deep learning models is very actual and of broad impact, especially in energy-saving schemes. Very recently, an unexpected phenomenon, the ``double descent'', has caught the attention of the deep learning community. As the model's size grows, the performance gets first worse, and then goes back to improving. It raises serious questions about the optimal model's size to maintain high generalization: the model needs to be sufficiently over-parametrized, but adding too many parameters wastes training resources. Is it possible to find, in an efficient way, the best trade-off? Our work shows that the double descent phenomenon is potentially avoidable with proper conditioning of the learning problem, but a final answer is yet to be found. We empirically observe that there is hope to dodge the double descent in complex scenarios with proper regularization, as a simple $\ell_2$ regularization is already positively contributing to such a perspective.


title: A combinatorial proof of the general identity of He-Nie-Yu

abstract: We give a uniform and combinatorial proof of the general identity appearing in the work of He-Nie-Yu on the affine Deligne-Lusztig varieties with finite Coxeter part.