title: Automatic differentiation and the optimization of differential equation models in biology

abstract: A computational revolution unleashed the power of artificial neural networks. At the heart of that revolution is automatic differentiation, which calculates the derivative of a performance measure relative to a large number of parameters. Differentiation enhances the discovery of improved performance in large models, an achievement that was previously difficult or impossible. Recently, a second computational advance optimizes the temporal trajectories traced by differential equations. Optimization requires differentiating a measure of performance over a trajectory, such as the closeness of tracking the environment, with respect to the parameters of the differential equations. Because model trajectories are usually calculated numerically by multistep algorithms, such as Runge-Kutta, the automatic differentiation must be passed through the numerical algorithm. This article explains how such automatic differentiation of trajectories is achieved. It also discusses why such computational breakthroughs are likely to advance theoretical and statistical studies of biological problems, in which one can consider variables as dynamic paths over time and space. Many common problems arise between improving success in computational learning models over performance landscapes, improving evolutionary fitness over adaptive landscapes, and improving statistical fits to data over information landscapes.


title: APX-Hardness of the Minimum Vision Points Problem

abstract: Placing a minimum number of guards on a given watchman route in a polygonal domain is called the {\em minimum vision points problem}. We prove that finding the minimum number of vision points on a shortest watchman route in a simple polygon is APX-Hard. We then extend the proof to the class of rectilinear polygons having at most three dent orientations.


title: Excited-State Quantum Phase Transitions in the Anharmonic Lipkin-Meshkov-Glick Model: Dynamical Aspects

abstract: The standard Lipkin-Meshkov-Glick (LMG) model undergoes a second-order ground-state quantum phase transition (QPT) and an excited-state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the LMG Hamiltonian gives rise to a second ESQPT that alters the static properties of the model [Phys. Rev. E 106, 044125 (2022)]. In the present work, the dynamical implications associated to this new ESQPT are analyzed. For that purpose, a quantum quench protocol is defined on the system Hamiltonian that takes an initial state, usually the ground state, into a complex excited state that evolves on time. The impact of the new ESQPT on the time evolution of the survival probability and the local density of states after the quantum quench, as well as on the Loschmidt echoes and the microcanonical out-of-time-order correlator (OTOC) are discussed. The anharmonity-induced ESQPT, despite having a different physical origin, has dynamical consequences similar to those observed in the ESQPT already present in the standard LMG model.


title: A New Weighted Time Window-based Method to Detect B-point in Impedance Cardiogram

abstract: Background: Impedance Cardiogram (ICG) has impressive number of applications in healthcare. However, its wider adoption is excessively limited due to the well recognized challenges in ICG delineation. We present a simple, adaptive, and efficient method for the most demanding ICG delineation task - detection of less distinct B-point that marks the onset of the left ventricular ejection. Method: The core of the new method is transformation of ICG time series by weighted time window of an ICG segment preceding the maximal ICG peak (the C-point) aiming at the B-point enhancement. The resulting Modified B-point (MB-point) is then easily delineated. To evaluate the proposed workflow, the dataset comprising 20 healthy participants and 21065 B-points are manually annotated and openly shared with the software code. To the best of our knowledge, our ICG dataset has the largest number of annotated B-points. Detector performance is evaluated on two recorded segments with distinct noises, as well as on an open dataset comprising ICG recorded in another set of 24 healthy subjects. Results: The results showed that the method was superior to the competing methods when the tolerance for B-point detection was set to +/-150 ms in all cases and for both datasets (>99.4%). Conclusions: Proposed approach based on the weighted time windows presents a promising technique for reliable ICG delineation that is instrumental for appropriate feature extraction and ICG characterization. Further customization could incorporate labeling of other pathological ICG segments, other biomedical signals, as well as additional enhancements for improving robustness to noise.


title: DPText-DETR: Towards Better Scene Text Detection with Dynamic Points in Transformer

abstract: Recently, Transformer-based methods, which predict polygon points or Bezier curve control points for localizing texts, are popular in scene text detection. However, these methods built upon detection transformer framework might achieve sub-optimal training efficiency and performance due to coarse positional query modeling.In addition, the point label form exploited in previous works implies the reading order of humans, which impedes the detection robustness from our observation. To address these challenges, this paper proposes a concise Dynamic Point Text DEtection TRansformer network, termed DPText-DETR. In detail, DPText-DETR directly leverages explicit point coordinates to generate position queries and dynamically updates them in a progressive way. Moreover, to improve the spatial inductive bias of non-local self-attention in Transformer, we present an Enhanced Factorized Self-Attention module which provides point queries within each instance with circular shape guidance. Furthermore, we design a simple yet effective positional label form to tackle the side effect of the previous form. To further evaluate the impact of different label forms on the detection robustness in real-world scenario, we establish an Inverse-Text test set containing 500 manually labeled images. Extensive experiments prove the high training efficiency, robustness, and state-of-the-art performance of our method on popular benchmarks. The code and the Inverse-Text test set are available at https://github.com/ymy-k/DPText-DETR.


title: On finite termination of the generalized Newton method for solving absolute value equations

abstract: Motivated by the framework constructed by Brugnano and Casulli $[$SIAM J. Sci. Comput. 30: 463--472, 2008$]$, we analyze the finite termination property of the generalized Netwon method (GNM) for solving the absolute value equation (AVE). More precisely, for some special matrices, GNM is terminated in at most $2n + 2$ iterations. A new result for the unique solvability and unsolvability of the AVE is obtained. Numerical experiments are given to demonstrate the theoretical analysis.


title: Construction of Symmetric Cubic Surfaces

abstract: We consider the action of the group $\mathrm{PGL}_4(K)$ on the smooth cubic surfaces of $\mathbb{P}^3_K$ ($K$ an algebraically closed field of characteristic zero). We classify, in an explicit way, all the smooth cubic surfaces with non trivial stabilizer, the corresponding stabilizers and obtain a geometric description of each group in terms of permutations of the Eckardt points, of the $27$ lines or of the $45$ tritangent planes.


title: Towards Adaptive Unknown Authentication for Universal Domain Adaptation by Classifier Paradox

abstract: Universal domain adaptation (UniDA) is a general unsupervised domain adaptation setting, which addresses both domain and label shifts in adaptation. Its main challenge lies in how to identify target samples in unshared or unknown classes. Previous methods commonly strive to depict sample "confidence" along with a threshold for rejecting unknowns, and align feature distributions of shared classes across domains. However, it is still hard to pre-specify a "confidence" criterion and threshold which are adaptive to various real tasks, and a mis-prediction of unknowns further incurs misalignment of features in shared classes. In this paper, we propose a new UniDA method with adaptive Unknown Authentication by Classifier Paradox (UACP), considering that samples with paradoxical predictions are probably unknowns belonging to none of the source classes. In UACP, a composite classifier is jointly designed with two types of predictors. That is, a multi-class (MC) predictor classifies samples to one of the multiple source classes, while a binary one-vs-all (OVA) predictor further verifies the prediction by MC predictor. Samples with verification failure or paradox are identified as unknowns. Further, instead of feature alignment for shared classes, implicit domain alignment is conducted in output space such that samples across domains share the same decision boundary, though with feature discrepancy. Empirical results validate UACP under both open-set and universal UDA settings.


title: Syzygies for the vector invariants of the dihedral group

abstract: The problem of finding generators of the $GL$-ideal of the relations between the generators of the algebra of invariants of the dihedral group acting on $m$-tuples of vectors from its defining $2$-dimensional representation is studied. It is shown that this $GL$-ideal is generated by relations depending on no more than $3$ vector variables. A minimal $GL$-ideal generating system is found for the case when $m=2$, and for the case of the dihedral group of order $8$ and arbitrary $m$.


title: A Forward Propagation Algorithm for Online Optimization of Nonlinear Stochastic Differential Equations

abstract: Optimizing over the stationary distribution of stochastic differential equations (SDEs) is computationally challenging. A new forward propagation algorithm has been recently proposed for the online optimization of SDEs. The algorithm solves an SDE, derived using forward differentiation, which provides a stochastic estimate for the gradient. The algorithm continuously updates the SDE model's parameters and the gradient estimate simultaneously. This paper studies the convergence of the forward propagation algorithm for nonlinear dissipative SDEs. We leverage the ergodicity of this class of nonlinear SDEs to characterize the convergence rate of the transition semi-group and its derivatives. Then, we prove bounds on the solution of a Poisson partial differential equation (PDE) for the expected time integral of the algorithm's stochastic fluctuations around the direction of steepest descent. We then re-write the algorithm using the PDE solution, which allows us to characterize the parameter evolution around the direction of steepest descent. Our main result is a convergence theorem for the forward propagation algorithm for nonlinear dissipative SDEs.


title: One-shot Neural Backdoor Erasing via Adversarial Weight Masking

abstract: Recent studies show that despite achieving high accuracy on a number of real-world applications, deep neural networks (DNNs) can be backdoored: by injecting triggered data samples into the training dataset, the adversary can mislead the trained model into classifying any test data to the target class as long as the trigger pattern is presented. To nullify such backdoor threats, various methods have been proposed. Particularly, a line of research aims to purify the potentially compromised model. However, one major limitation of this line of work is the requirement to access sufficient original training data: the purifying performance is a lot worse when the available training data is limited. In this work, we propose Adversarial Weight Masking (AWM), a novel method capable of erasing the neural backdoors even in the one-shot setting. The key idea behind our method is to formulate this into a min-max optimization problem: first, adversarially recover the trigger patterns and then (soft) mask the network weights that are sensitive to the recovered patterns. Comprehensive evaluations of several benchmark datasets suggest that AWM can largely improve the purifying effects over other state-of-the-art methods on various available training dataset sizes.


title: Multi-UAV Collaborative Sensing and Communication: Joint Task Allocation and Power Optimization

abstract: Compared to a single UAV with limited sensing coverage and communication capability, multi-UAV cooperation is able to provide more effective sensing and transmission (S&T) services. Nevertheless, most existing works on multi-UAV sensing mainly focus on mutually exclusive task allocation and independent data transmission, which did not fully exploit the benefit of multi-UAV sensing and communication. Motivated by this, we propose a novel multi-UAV cooperative S&T scheme with replicated sensing task allocation. Although replicated task allocation may sound counter-intuitive, it can actually foster cooperative transmission among multiple UAVs and thus reduce the overall sensing mission completion time. To obtain the optimal task allocation and transmit power of the proposed scheme, a mission completion time minimization problem is formulated. To solve this problem, a necessary condition for replicated sensing task allocation is derived. For the cases of replicated sensing, the considered problem is transformed into a monotonic optimization and is solved by the generic Polyblock algorithm. To efficiently evaluate the mission completion time in each iteration of the Polyblock algorithm, new auxiliary variables are introduced to decouple the otherwise sophisticated joint optimization of transmission time and power. While for the degenerated case of non-replicated sensing, the closed-form expression of the optimal transmission time is derived


title: Elastic Temporal Waveguiding

abstract: We provide a theoretical framework to mold time-modulated lattices with frequency conversion and wave-steering capabilities. We initially focus on 1D lattices, whereby a sufficiently slow time-modulation of the stiffness is employed to convert the frequency content of impinging waves. Based on the adiabatic theorem, we demonstrate that undesired reflections, which emerge in time-discontinuous materials, can be eliminated by a careful choice of the modulation velocity. The concept is later explored in the context of 2D lattices, whereby a slow time modulation of the stiffness not only induces frequency conversion without back-scattering, but also serves as a mechanism to steer waves. Our paper explores a new and exciting way to control wave propagation in elastodynamics with scattering-free guiding capabilities, and may open new avenues for the manipulation and transport of information through elastic waves.


title: FIB: A Method for Evaluation of Feature Impact Balance in Multi-Dimensional Data

abstract: Errors might not have the same consequences depending on the task at hand. Nevertheless, there is limited research investigating the impact of imbalance in the contribution of different features in an error vector. Therefore, we propose the Feature Impact Balance (FIB) score. It measures whether there is a balanced impact of features in the discrepancies between two vectors. We designed the FIB score to lie in [0, 1]. Scores close to 0 indicate that a small number of features contribute to most of the error, and scores close to 1 indicate that most features contribute to the error equally. We experimentally study the FIB on different datasets, using AutoEncoders and Variational AutoEncoders. We show how the feature impact balance varies during training and showcase its usability to support model selection for single output and multi-output tasks.


title: Gravitational lensing by traversable wormholes supported by three-form fields

abstract: In this paper, we study the deflection angle of light by traversable wormholes, which are supported by the three-form fields. The specific forms of the redshift and shape functions that produce results compatible with the energy conditions at throat of the wormholes are used. Having used the well-defined parameter sets of the three-form wormholes, we investigate the photon geodesic motion under the effective potential of the wormhole background. As a result, we discover that the radius of the photon sphere is a very useful observable that is used to analyze the geometrical structures of a physical wormhole.


title: Building Open Knowledge Graph for Metal-Organic Frameworks (MOF-KG): Challenges and Case Studies

abstract: Metal-Organic Frameworks (MOFs) are a class of modular, porous crystalline materials that have great potential to revolutionize applications such as gas storage, molecular separations, chemical sensing, catalysis, and drug delivery. The Cambridge Structural Database (CSD) reports 10,636 synthesized MOF crystals which in addition contains ca. 114,373 MOF-like structures. The sheer number of synthesized (plus potentially synthesizable) MOF structures requires researchers pursue computational techniques to screen and isolate MOF candidates. In this demo paper, we describe our effort on leveraging knowledge graph methods to facilitate MOF prediction, discovery, and synthesis. We present challenges and case studies about (1) construction of a MOF knowledge graph (MOF-KG) from structured and unstructured sources and (2) leveraging the MOF-KG for discovery of new or missing knowledge.


title: BotNet Intrusion Detection System in Internet of Things with Developed Deep Learning

abstract: The rapid growth of technology has led to the creation of computing networks. The applications of the Internet of Things are becoming more and more visible with the expansion and development of sensors and the use of a series of equipment to connect to the Internet. Of course, the growth of any network will also provide some challenges. The main challenge of IoT like any other network is its security. In the field of security, there are issues such as attack detection, authentication, encryption and the so on. One of the most important attack is cyber-attacks that disrupt the network usage. One of the most important attacks on the IoT is BotNet attack. The most important challenges of this topic include very high computational complexity, lack of comparison with previous methods, lack of scalability, high execution time, lack of review of the proposed approach in terms of accuracy to detect and classify attacks and intrusions. Using intrusion detection systems for the IoT is an important step in identifying and detecting various attacks. Therefore, an algorithm that can solve these challenges has provided a near-optimal method. Using training-based models and algorithms such as Deep Dearning-Reinforcement Learning and XGBoost learning in combination (DRL-XGBoost) models can be an interesting approach to overcoming previous weaknesses. The data of this research is Bot-IoT-2018.


title: Majorana zero modes in a magnetic and superconducting hybrid vortex

abstract: We propose and investigate a new platform for the realization of Majorana zero modes in a thin-film heterostructure composed of an easy-plane ferromagnet and a superconductor with spin-orbit coupling. The system can support an energetically favorable bound state comprising a magnetic and a superconducting vortex. We show that a hybrid vortex thus created can host a robust zero-energy Majorana bound state at its core over a wide range of parameters, with its partner zero mode located at the outer boundary of a disk-shaped topological region. We identify a novel mechanism underlying the formation of the topological phase that, remarkably, relies on the orbital effect of the magnetization field and not on the usual Zeeman effect. The in-plane components of magnetization couple to electrons as a gauge potential with non-zero curl, thus creating an emergent magnetic field responsible for the gapped topologically non-trivial region surrounding the vortex core. Our construction allows the mobility of magnetic vortices to be imposed on the Majorana zero mode at the core of the superconducting vortex. In addition, the system shows a rich interplay between magnetism and superconductivity which might aid in developing future devices and technologies.


title: On the properties of path additions for traffic routing

abstract: In this paper we investigate the impact of path additions to transport networks with optimised traffic routing. In particular, we study the behaviour of total travel time, and consider both self-interested routing paradigms, such as User Equilibrium (UE) routing, as well as cooperative paradigms, such as classic Multi-Commodity (MC) network flow and System Optimal (SO) routing. We provide a formal framework for designing transport networks through iterative path additions, introducing the concepts of trip spanning tree and trip path graph. Using this formalisation, we prove multiple properties of the objective function for transport network design. Since the underlying routing problem is NP-Hard, we investigate properties that provide guarantees in approximate algorithm design. Firstly, while Braess' paradox has shown that total travel time is not monotonic non-increasing with respect to path additions under self-interested routing (UE), we prove that, instead, monotonicity holds for cooperative routing (MC and SO). This result has the important implication that cooperative agents make the best use of redundant infrastructure. Secondly, we prove via a counterexample that the intuitive statement `adding a path to a transport network always grants greater or equal benefit to users than adding it to a superset of that network' is false. In other words we prove that, for all the routing formulations studied, total travel time is not supermodular with respect to path additions. While this counter-intuitive result yields a hardness property for algorithm design, we provide particular instances where, instead, the property of supermodularity holds. Our study on monotonicity and supermodularity of total travel time with respect to path additions provides formal proofs and scenarios that constitute important insights for transport network designers.


title: A Proposed Alternative Dynamical History for 2P/Encke which Explains the Taurid Meteoroid Complex

abstract: The Taurid Meteoroid Complex (TMC) is a broad stream of meteoroids that produces several annual meteor showers on Earth. If the linkage between these showers and 2P/Encke is at the centre of most TMC models, the small size and low activity of the comet suggest that 2P/Encke is not the unique parent body of the Taurids. Here we simulate the formation of the TMC from 2P/Encke and several NEAs. In total, we explored more than a hundred stream formation scenarios using clones of 2P/Encke. Each modelled stream was integrated and compared with present-day Taurid observations. As previously reported, we find that even slight variations of 2P/Encke's orbit modifies considerably the characteristics of the simulated showers. Most of the comet's clones, including the nominal one, appear to reproduce the radiant structure of the Taurid meteors but do not match the observed time and duration of the showers. However, the radiants and timing of most Taurid showers are well reproduced by a particular clone of the comet. Our analysis thus suggest that with this specific dynamical history, 2P/Encke is the sole parent of the four major TMC showers which have ages from 7-21 ka. Our modelling also predicts that the 2022 Taurid Resonant Swarm return will be comparable in strength to the 1998, 2005 and 2015 returns. While purely dynamical models of Encke's orbit -- limited by chaos -- may fail to reveal the comet's origin, its meteor showers may provide the trail of breadcrumbs needed to backtrack our way out of the labyrinth.


title: Closing the Gap Between Directed Hopsets and Shortcut Sets

abstract: For an n-vertex directed graph $G = (V,E)$, a $\beta$-\emph{shortcut set} $H$ is a set of additional edges $H \subseteq V \times V$ such that $G \cup H$ has the same transitive closure as $G$, and for every pair $u,v \in V$, there is a $uv$-path in $G \cup H$ with at most $\beta$ edges. A natural generalization of shortcut sets to distances is a $(\beta,\epsilon)$-\emph{hopset} $H \subseteq V \times V$, where the requirement is that $H$ and $G \cup H$ have the same shortest-path distances, and for every $u,v \in V$, there is a $(1+\epsilon)$-approximate shortest path in $G \cup H$ with at most $\beta$ edges. There is a large literature on the tradeoff between the size of a shortcut set / hopset and the value of $\beta$. We highlight the most natural point on this tradeoff: what is the minimum value of $\beta$, such that for any graph $G$, there exists a $\beta$-shortcut set (or a $(\beta,\epsilon)$-hopset) with $O(n)$ edges? Not only is this a natural structural question in its own right, but shortcuts sets / hopsets form the core of many distributed, parallel, and dynamic algorithms for reachability / shortest paths. Until very recently the best known upper bound was a folklore construction showing $\beta = O(n^{1/2})$, but in a breakthrough result Kogan and Parter [SODA 2022] improve this to $\beta = \tilde{O}(n^{1/3})$ for shortcut sets and $\tilde{O}(n^{2/5})$ for hopsets. Our result is to close the gap between shortcut sets and hopsets. That is, we show that for any graph $G$ and any fixed $\epsilon$ there is a $(\tilde{O}(n^{1/3}),\epsilon)$ hopset with $O(n)$ edges. More generally, we achieve a smooth tradeoff between hopset size and $\beta$ which exactly matches the tradeoff of Kogan and Parter for shortcut sets (up to polylog factors). Using a very recent black-box reduction of Kogan and Parter, our new hopset implies improved bounds for approximate distance preservers.


title: Adaptive Virtual Neuroarchitecture

abstract: Our surrounding environment impacts our cognitive-emotional processes on a daily basis and shapes our physical, psychological and social wellbeing. Although the effects of the built environment on our psycho-physiological processes are well studied, virtual environment design with a potentially similar impact on the user, has received limited attention. Based on the influence of space design on a user and combining that with the dynamic affordances of virtual spaces, we present the idea of adaptive virtual neuroarchitecture (AVN), where virtual environments respond to the user and the user's real world context while simultaneously influencing them both in realtime. To show how AVN has been explored in current research, we present a sampling of recent work that demonstrates reciprocal relationships using physical affordances (space, objects), the user's state (physiological, cognitive, emotional), and the virtual world used in the design of novel virtual reality experiences. We believe AVN has the potential to help us learn how to design spaces and environments that can enhance the wellbeing of their inhabitants.


title: A note on starshaped hypersurfaces with almost constant mean curvature in space forms

abstract: We show that closed starshaped hypersurfaces of space forms with almost constant mean curvature or almost constant higher order mean curvature are closed to geodesic spheres.


title: Reilly-type upper bounds for the $p$-Steklov problem on submanifolds

abstract: We prove Reilly-type upper bounds for the first non-zero eigenvalue of the Steklov problem associated with the $p$-Laplace operator on submanifolds of manifolds with sectional curvature bounded form above by a non-negative constant.


title: Quantum walk for SU(1,1)

abstract: We propose a scheme to implement the quantum walk for SU(1,1) in the phase space, which generalizes those associated with the Heisenberg-Weyl group. The movement of the walker described by the SU(1,1) coherent states can be visualized on the hyperboloid or the Poincar\'{e} disk. In both one-mode and two-mode realizations, we introduce the corresponding coin-flip and conditional-shift operators for the SU(1,1) group, whose relations with those for Heisenberg-Weyl group are analyzed. The probability distribution, standard deviation and the von Neumann entropy are employed to describe the walking process. The nonorthogonality of the SU(1,1) coherent states precludes the quantum walk for SU(1,1) from the idealized one. However, the overlap between different SU(1,1) coherent states can be reduced by increasing the Bargmann index $k$, which indicates that the two-mode realization provides more possibilities to simulate the idealized quantum walk.


title: Learning-based Monocular 3D Reconstruction of Birds: A Contemporary Survey

abstract: In nature, the collective behavior of animals, such as flying birds is dominated by the interactions between individuals of the same species. However, the study of such behavior among the bird species is a complex process that humans cannot perform using conventional visual observational techniques such as focal sampling in nature. For social animals such as birds, the mechanism of group formation can help ecologists understand the relationship between social cues and their visual characteristics over time (e.g., pose and shape). But, recovering the varying pose and shapes of flying birds is a highly challenging problem. A widely-adopted solution to tackle this bottleneck is to extract the pose and shape information from 2D image to 3D correspondence. Recent advances in 3D vision have led to a number of impressive works on the 3D shape and pose estimation, each with different pros and cons. To the best of our knowledge, this work is the first attempt to provide an overview of recent advances in 3D bird reconstruction based on monocular vision, give both computer vision and biology researchers an overview of existing approaches, and compare their characteristics.


title: A stochastic Galerkin method with adaptive time-stepping for the Navier-Stokes equations

abstract: We study the time-dependent Navier-Stokes equations in the context of stochastic finite element discretizations. Specifically, we assume that the viscosity is a random field given in the form of a generalized polynomial chaos expansion, and we use the stochastic Galerkin method to extend the methodology from [D. A. Kay et al., \textit{SIAM J. Sci. Comput.} 32(1), pp. 111--128, 2010] into this framework. For the resulting stochastic problem, we explore the properties of the resulting stochastic solutions, and we also compare the results with that of Monte Carlo and stochastic collocation. Since the time-stepping scheme is fully implicit, we also propose strategies for efficient solution of the stochastic Galerkin linear systems using a preconditioned Krylov subspace method. The effectiveness of the stochastic Galerkin method is illustrated by numerical experiments.


title: Large independent sets in recursive Markov random graphs

abstract: Computing the maximum size of an independent set in a graph is a famously hard combinatorial problem that has been well-studied for various classes of graphs. When it comes to random graphs, only the classical Erd\H{o}s-R\'enyi-Gilbert random graph $G_{n,p}$ has been analysed and shown to have largest independent sets of size $\Theta(\log{n})$ w.h.p. This classical model does not capture any dependency structure between edges that can appear in real-world networks. We initiate study in this direction by defining random graphs $G^{r}_{n,p}$ whose existence of edges is determined by a Markov process that is also governed by a decay parameter $r\in(0,1]$. We prove that w.h.p. $G^{r}_{n,p}$ has independent sets of size $(\frac{1-r}{2+\epsilon}) \frac{n}{\log{n}}$ for arbitrary $\epsilon > 0$, which implies an asymptotic lower bound of $\Omega(\pi(n))$ where $\pi(n)$ is the prime-counting function. This is derived using bounds on the terms of a harmonic series, Tur\'an bound on stability number, and a concentration analysis for a certain sequence of dependent Bernoulli variables that may also be of independent interest. Since $G^{r}_{n,p}$ collapses to $G_{n,p}$ when there is no decay, it follows that having even the slightest bit of dependency (any $r < 1$) in the random graph construction leads to the presence of large independent sets and thus our random model has a phase transition at its boundary value of $r=1$. For the maximal independent set output by a greedy algorithm, we deduce that it has a performance ratio of at most $1 + \frac{\log{n}}{(1-r)}$ w.h.p. when the lowest degree vertex is picked at each iteration, and also show that under any other permutation of vertices the algorithm outputs a set of size $\Omega(n^{1/1+\tau})$, where $\tau=1/(1-r)$, and hence has a performance ratio of $O(n^{\frac{1}{2-r}})$.


title: Developing an AI-enabled IIoT platform -- Lessons learned from early use case validation

abstract: For a broader adoption of AI in industrial production, adequate infrastructure capabilities are crucial. This includes easing the integration of AI with industrial devices, support for distributed deployment, monitoring, and consistent system configuration. Existing IIoT platforms still lack required capabilities to flexibly integrate reusable AI services and relevant standards such as Asset Administration Shells or OPC UA in an open, ecosystem-based manner. This is exactly what our next level Intelligent Industrial Production Ecosphere (IIP-Ecosphere) platform addresses, employing a highly configurable low-code based approach. In this paper, we introduce the design of this platform and discuss an early evaluation in terms of a demonstrator for AI-enabled visual quality inspection. This is complemented by insights and lessons learned during this early evaluation activity.


title: Solar $\bar{\nu}_e$ flux: Revisiting bounds on neutrino magnetic moments and solar magnetic field

abstract: The interaction of neutrino transition magnetic dipole moments with magnetic fields can give rise to the phenomenon of neutrino spin-flavour precession (SFP). For Majorana neutrinos, the combined action of SFP of solar neutrinos and flavour oscillations would manifest itself as a small, yet potentially detectable, flux of electron antineutrinos coming from the Sun. Non-observation of such a flux constrains the product of the neutrino magnetic moment $\mu$ and the strength of the solar magnetic field $B$. We derive a simple analytical expression for the expected $\bar{\nu}_e$ appearance probability in the three-flavour framework and we use it to revisit the existing experimental bounds on $\mu B$. A full numerical calculation has also been performed to check the validity of the analytical result. We also present our numerical results in energy-binned form, convenient for analyses of the data of the current and future experiments searching for the solar $\bar{\nu}_e$ flux. In addition, we give a comprehensive compilation of other existing limits on neutrino magnetic moments and of the expressions for the probed effective magnetic moments in terms of the fundamental neutrino magnetic moments and leptonic mixing parameters.


title: Propagating single photons from an open cavity: Description from universal quantization

abstract: Over the last decades, quantum optics has evolved from high quality factor cavities in the early experiments toward new cavity designs involving leaky modes. Despite very reliable models, in the concepts of cavity quantum electrodynamics, photon leakage is most of the time treated phenomenologically. Here, we take a different approach, and starting from first principles, we define an inside-outside representation which is derived from the original true-mode representation, in which one can determine effective Hamiltonian and Poynting vector. Contrary to the phenomenological model, they allow a full description of a leaking single photon produced in the cavity and propagating in free space. This is applied for a laser-driven atom-cavity system. In addition, we propose an atom-cavity non-resonant scheme for single photon generation, and we rigorously analyze the outgoing single photon in time and frequency domains for different coupling regimes. Finally, we introduce a particular coupling regime ensuring adiabatic elimination for which the pulse shape of the outgoing single photon is tailored using a specifically designed driving field envelope.


title: Generation and delivery of free hydroxyl radicals using a remote plasma

abstract: We demonstrate a new gas-based OH generation source using a low power RF-driven atmospheric pressure plasma configured to deliver the radical flux into the far effluent region, well away from interference from other plasma factors such as electric fields, currents, and UV radiation. Using He-H2O gas chemistry isolated from the laboratory air, the plasma generated flux consists of H2O2 and OH, varying with H2O vapour content and absorbed power density. Peak flux values were 2.3 nmol s-1 and 0.23 nmol s-1 for H2O2 and OH respectively at a distance of 50 mm from the plasma, with 790 ppmv H2O and a power density of 1E8 W m-3. The maximum OH flux density was 4.5 x 1E19 m-2 s-1 falling to 1.7 x 1E19 m-2 s-1 at 110 mm, equivalent to generation rates of 74 uM s-1 and 28 uM s-1. Despite high OH recombination rates at the plasma exit, the escaping flux is still significant, indicating a viable delivery capability to downstream targets. Its performance with regard to OH generation rates compares well with traditional OH generation techniques such as radiolysis, advanced oxidation processes and enhanced Fenton-chemistry approaches where OH production rates are sub-uM s-1. Delivering precisely quantifiable OH fluxes provides new opportunities for scientific studies and technological opportunities in cell biology, atmospheric chemistry, protein unfolding and systematic dose studies for plasma-based and other OH related potential medical treatments.


title: A multi-cubic-kilometre neutrino telescope in the western Pacific Ocean

abstract: Next-generation neutrino telescopes with significantly improved sensitivity are required to pinpoint the sources of the diffuse astrophysical neutrino flux detected by IceCube and uncover the century-old puzzle of cosmic ray origins. A detector near the equator will provide a unique viewpoint of the neutrino sky, complementing IceCube and other neutrino telescopes in the Northern Hemisphere. Here we present results from an expedition to the north-eastern region of the South China Sea, in the western Pacific Ocean. A favorable neutrino telescope site was found on an abyssal plain at a depth of $\sim$ 3.5km. At depths below 3km, the sea current speed, water absorption and scattering lengths for Cherenkov light, were measured to be $v_{\mathrm{c}}<$10cm/s, $\lambda_{\mathrm{abs} }\simeq$ 27m and $\lambda_{\mathrm{sca} }\simeq$ 63m, respectively. Accounting for these measurements, we present the design and expected performance of a next-generation neutrino telescope, TRopIcal DEep-sea Neutrino Telescope (TRIDENT). With its advanced photon-detection technology and large dimensions, TRIDENT expects to observe the IceCube steady source candidate NGC 1068 with 5$\sigma$ significance within 1 year of operation. This level of sensitivity will open a new arena for diagnosing the origin of cosmic rays and probing fundamental physics over astronomical baselines.


title: Local Area Routes for Vehicle Routing Problems

abstract: We consider an approach for improving the efficiency of column generation (CG) methods for solving vehicle routing problems. We introduce Local Area (LA) route relaxations, an alternative/complement to the commonly used ng-route relaxations and Decremental State Space Relaxations (DSSR) inside of CG formulations. LA routes are a subset of ng-routes and a super-set of elementary routes. Normally, the pricing stage of CG must produce elementary routes, which are routes without repeated customers, using processes which can be computationally expensive. Non-elementary routes visit at least one customer more than once, creating a cycle. LA routes relax the constraint of being an elementary route in such a manner as to permit efficient pricing. LA routes are best understood in terms of ng-route relaxations. Ng-routes are routes which are permitted to have non-localized cycles in space; this means that at least one intermediate customer (called a breaker) in the cycle must consider the starting customer in the cycle to be spatially far away. LA routes are described using a set of special indexes corresponding to customers on the route ordered from the start to the end of the route. LA route relaxations further restrict the set of permitted cycles beyond that of ng-routes by additionally enforcing that the breaker must be a located at a special index where the set of special indexes is defined recursively as follows. The first special index in the route is at index 1 meaning that it is associated with the first customer in the route. The k'th special index corresponds to the first customer after the k-1'th special index, that is not considered to be a neighbor of (considered spatially far from) the customer located at the k-1'th special index. We demonstrate that LA route relaxations can significantly improve the computational speed of pricing when compared to the standard DSSR.


title: Information-Theoretic Bounds for Steganography in Multimedia

abstract: Steganography in multimedia aims to embed secret data into an innocent looking multimedia cover object. This embedding introduces some distortion to the cover object and produces a corresponding stego object. The embedding distortion is measured by a cost function that determines the detection probability of the existence of the embedded secret data. A cost function related to the maximum embedding rate is typically employed to evaluate a steganographic system. In addition, the distribution of multimedia sources follows the Gibbs distribution which is a complex statistical model that restricts analysis. Thus, previous multimedia steganographic approaches either assume a relaxed distribution or presume a proposition on the maximum embedding rate and then try to prove it is correct. Conversely, this paper introduces an analytic approach to determining the maximum embedding rate in multimedia cover objects through a constrained optimization problem concerning the relationship between the maximum embedding rate and the probability of detection by any steganographic detector. The KL-divergence between the distributions for the cover and stego objects is used as the cost function as it upper bounds the performance of the optimal steganographic detector. An equivalence between the Gibbs and correlated-multivariate-quantized-Gaussian distributions is established to solve this optimization problem. The solution provides an analytic form for the maximum embedding rate in terms of the WrightOmega function. Moreover, it is proven that the maximum embedding rate is in agreement with the commonly used Square Root Law (SRL) for steganography, but the solution presented here is more accurate. Finally, the theoretical results obtained are verified experimentally.


title: Accelerating Polarization via Alphabet Extension

abstract: Polarization is an unprecedented coding technique in that it not only achieves channel capacity, but also does so at a faster speed of convergence than any other coding technique. This speed is measured by the ``scaling exponent'' and its importance is three-fold. Firstly, estimating the scaling exponent is challenging and demands a deeper understanding of the dynamics of communication channels. Secondly, scaling exponents serve as a benchmark for different variants of polar codes that helps us select the proper variant for real-life applications. Thirdly, the need to optimize for the scaling exponent sheds light on how to reinforce the design of polar codes. In this paper, we generalize the binary erasure channel (BEC), the simplest communication channel and the protagonist of many coding theory studies, to the ``tetrahedral erasure channel'' (TEC). We then invoke Mori--Tanaka's $2 \times 2$ matrix over GF$(4)$ to construct polar codes over TEC. Our main contribution is showing that the dynamic of TECs converges to an almost--one-parameter family of channels, which then leads to an upper bound of $3.328$ on the scaling exponent. This is the first non-binary matrix whose scaling exponent is upper-bounded. It also polarizes BEC faster than all known binary matrices up to $23 \times 23$ in size. Our result indicates that expanding the alphabet is a more effective and practical alternative to enlarging the matrix in order to achieve faster polarization.


title: Facilitated machine learning for image-based fruit quality assessment

abstract: Image-based machine learning models can be used to make the sorting and grading of agricultural products more efficient. In many regions, implementing such systems can be difficult due to the lack of centralization and automation of postharvest supply chains. Stakeholders are often too small to specialize in machine learning, and large training data sets are unavailable. We propose a machine learning procedure for images based on pre-trained Vision Transformers. It is easier to implement than the current standard approach of training Convolutional Neural Networks (CNNs) as we do not (re-)train deep neural networks. We evaluate our approach based on two data sets for apple defect detection and banana ripeness estimation. Our model achieves a competitive classification accuracy equal to or less than one percent below the best-performing CNN. At the same time, it requires three times fewer training samples to achieve a 90% accuracy.


title: Correlations between X-ray spectral parameters of Mkn 421 using long-term Swift-XRT data

abstract: We have performed a detailed analysis of the X-ray spectra of the blazar Mkn 421 using Swift-XRT observations taken between 2005 and 2020, to quantify the correlations between spectral parameters for different models. In an earlier work, it has been shown that such spectral parameter correlations obtained from a single short flare of duration $\sim$ 5-days of Mkn 421, can be used to distinguish spectrally degenerate models and provide estimates of physical quantities. In this work, we show that the results from the long-term spectral parameter correlations are consistent with those obtained from the single flare. In particular, that the observed spectral curvature is due to maximum cutoff energy in the particle distribution is ruled out. Instead, models where the curvature is due to the energy dependence of escape or acceleration time-scale of the particles are favored. The estimated values of the physical parameters for these models are similar to the ones obtained from the single flare analysis and are somewhat incompatible with the physical assumption of the models, suggesting that more complex physical models are required. The consistency of the results obtained from the long and short-term evolution of the source, underlines the reliability of the technique to use spectral parameter correlations to distinguish physical models.


title: Uniform profile near the point defect of Landau-de Gennes model

abstract: For the Landau-de Gennes functional on 3D domains, \begin{equation*} I_{\varepsilon}(Q,\Omega):=\int_{\Omega}\left\{\frac{1}{2}|\nabla Q|^2+\frac{1}{\varepsilon^2}\left( -\frac{a^2}{2}\mathrm{tr}(Q^2)-\frac{b^2}{3}\mathrm{tr}(Q^3)+\frac{c^2}{4}[\mathrm{tr}(Q^2)]^2 \right) \right\}\,dx, \end{equation*} it is well-known that under suitable boundary conditions, the global minimizer $Q_\varepsilon$ converges strongly in $H^1(\Omega)$ to a uniaxial minimizer $Q_*=s_+(n_*\otimes n_*-\frac{1}{3}\mathrm{Id})$ up to some subsequence $\varepsilon_n\rightarrow\infty$ , where $n_*\in H^1(\Omega,\mathbb{S}^2)$ is a minimizing harmonic map. In this paper we further investigate the structure of $Q_{\varepsilon}$ near the core of a point defect $x_0$ which is a singular point of the map $n_*$. The main strategy is to study the blow-up profile of $Q_{\varepsilon_n}(x_n+\varepsilon_n y)$ where $\{x_n\}$ are carefully chosen and converge to $x_0$. We prove that $Q_{\varepsilon_n}(x_n+\varepsilon_n y)$ converges in $C^2_{loc}(\mathbb{R}^n)$ to a tangent map $Q(x)$ which at infinity behaves like a "hedgehog" solution that coincides with the asymptotic profile of $n_*$ near $x_0$. Moreover, such convergence result implies that the minimizer $Q_{\varepsilon_n}$ can be well approximated by the Oseen-Frank minimizer $n_*$ outside the $O(\varepsilon_n)$ neighborhood of the point defect.


title: Efficient Multi-Task RGB-D Scene Analysis for Indoor Environments

abstract: Semantic scene understanding is essential for mobile agents acting in various environments. Although semantic segmentation already provides a lot of information, details about individual objects as well as the general scene are missing but required for many real-world applications. However, solving multiple tasks separately is expensive and cannot be accomplished in real time given limited computing and battery capabilities on a mobile platform. In this paper, we propose an efficient multi-task approach for RGB-D scene analysis~(EMSANet) that simultaneously performs semantic and instance segmentation~(panoptic segmentation), instance orientation estimation, and scene classification. We show that all tasks can be accomplished using a single neural network in real time on a mobile platform without diminishing performance - by contrast, the individual tasks are able to benefit from each other. In order to evaluate our multi-task approach, we extend the annotations of the common RGB-D indoor datasets NYUv2 and SUNRGB-D for instance segmentation and orientation estimation. To the best of our knowledge, we are the first to provide results in such a comprehensive multi-task setting for indoor scene analysis on NYUv2 and SUNRGB-D.


title: Stability of exact solutions of the $(2+1)$-dimensional nonlinear Schr\"odinger equation with arbitrary nonlinearity parameter $\kappa$

abstract: In this work, we consider the nonlinear Schr\"odinger equation (NLSE) in $2+1$ dimensions with arbitrary nonlinearity exponent $\kappa$ in the presence of an external confining potential. Exact solutions to the system are constructed, and their stability over their "mass" (i.e., the $L^2$ norm) and the parameter $\kappa$ is explored. We observe both theoretically and numerically that the presence of the confining potential leads to wider domains of stability over the parameter space compared to the unconfined case. Our analysis suggests the existence of a stable regime of solutions for all $\kappa$ as long as their mass is less than a critical value $M^{\ast}(\kappa)$. Furthermore, we find that there are two different critical masses, one corresponding to width perturbations and the other one to translational perturbations. The results of Derrick's theorem are also obtained by studying the small amplitude regime of a four-parameter collective coordinate (4CC) approximation. A numerical stability analysis of the NLSE shows that the instability curve $M^{\ast}(\kappa)$ vs. $\kappa$ lies below the two curves found by Derrick's theorem and the 4CC approximation. In the absence of the external potential, $\kappa=1$ demarcates the separation between the blowup regime and the stable regime. In this 4CC approximation, for $\kappa<1$, when the mass is above the critical mass for the translational instability, quite complicated motions of the collective coordinates are possible. Energy conservation prevents the blowup of the solution as well as confines the center of the solution to a finite spatial domain. We call this regime the "frustrated" blowup regime and give some illustrations. In an appendix, we show how to extend these results to arbitrary initial ground state solution data and arbitrary spatial dimension $d$.


title: Market mechanism to enable grid-aware dispatch of Aggregators in radial distribution networks

abstract: This paper presents a market-based optimization framework wherein Aggregators can compete for nodal capacity across a distribution feeder and guarantee that allocated flexible capacity cannot cause overloads or congestion. This mechanism, thus, allows Aggregators with allocated capacity to pursue a number of services at the whole-sale market level to maximize revenue of flexible resources. Based on Aggregator bids of capacity (MW) and network access price ($/MW), the distribution system operator (DSO) formulates an optimization problem that prioritizes capacity to the different Aggregators across the network while implicitly considering AC network constraints. This grid-aware allocation is obtained by incorporating a convex inner approximation into the optimization framework that prioritizes hosting capacity to different Aggregators. We adapt concepts from transmission-level capacity market clearing, utility demand charges, and Internet-like bandwidth allocation rules to distribution system operations by incorporating nodal voltage and transformer constraints into the optimization framework. Simulation based results on IEEE distribution networks showcase the effectiveness of the approach.


title: Configuration spaces, graded spaces, and polysymmetric functions

abstract: This paper presents techniques for computing motivic measures of configuration spaces when points of the base space are weighted. This generality allows for a more flexible notion of configuration space which can be useful in applications, and subsumes some disparate problems that were previously given ad-hoc treatments. The space of effective zero-cycles of given weight generalizes the ordinary symmetric product and has a canonical stratification by splitting type. We prove formulas for the motivic measures of open and closed strata of the space of zero-cycles of given weight on a quasiprojective variety with an arbitrary grading by natural numbers. This lets us compute, among other things, the motive of the space of geometrically irreducible hypersurfaces in projective space. We introduce a general form of plethysm suitable for the graded situation which makes use of a new generalization of symmetric functions. Our main formula solves a motivic formulation of the inverse problem to P\'olya enumeration.


title: Measuring differential flow angle fluctuations in relativistic nuclear collisions

abstract: Recently studies of the differential nature of the flow angle fluctuations, known as event plane angular decorrelation, indicated that measurements that assume a common symmetry plane may need to consider the flow angle fluctuations effect. Using the HIJING and AMPT models, it is shown that the flow angle fluctuations measurements, obtained with the two- and three-subevents correlation method, could have significant non-flow effects associated with long- and short-range non-flow correlations. The current study demonstrates the four-subevents cumulant methods' ability to reduce the non-flow effects. It is further argued that the measurements using the four-subevents correlation method can be used to provide accurate quantification of the differential flow angle fluctuations.


title: Exceptionally simple super-PDE for $F(4)$

abstract: For the largest exceptional simple Lie superalgebra $F(4)$, having dimension $(24|16)$, we provide two explicit geometric realizations as supersymmetries, namely as the symmetry superalgebra of super-PDE systems of second and third order respectively.


title: Stationary Anisotropic Stokes, Oseen, and Navier-Stokes Systems: Periodic Solutions in $\R^n$

abstract: First, the solution uniqueness, existence and regularity for stationary anisotropic (linear) Stokes and generalised Oseen systems with constant viscosity coefficients in a compressible framework are analysed in a range of periodic Sobolev (Bessel-potential) spaces on $n$-dimensional flat torus. By the Galerkin algorithm, the linear results are employed to show existence of solution to the stationary anisotropic (non-linear) Navier-Stokes incompressible system on torus in a periodic Sobolev space for any $n\ge 2$. Then the solution uniqueness and regularity results for stationary anisotropic Navier-Stokes system on torus are established for $n\in\{2,3,4\}$.


title: Lorentz Tests with Astrophysical Photons

abstract: Astrophysical polarization measurements provide some of the strongest constraints on the photon sector of the non-minimal Standard-Model Extension. This paper reviews some recent results obtained by combining optical linear and circular polarization data from a large number of astrophysical objects.


title: An Open-Source Tool for Longitudinal Whole-Brain and White Matter Lesion Segmentation

abstract: In this paper we describe and validate a longitudinal method for whole-brain segmentation of longitudinal MRI scans. It builds upon an existing whole-brain segmentation method that can handle multi-contrast data and robustly analyze images with white matter lesions. This method is here extended with subject-specific latent variables that encourage temporal consistency between its segmentation results, enabling it to better track subtle morphological changes in dozens of neuroanatomical structures and white matter lesions. We validate the proposed method on multiple datasets of control subjects and patients suffering from Alzheimer's disease and multiple sclerosis, and compare its results against those obtained with its original cross-sectional formulation and two benchmark longitudinal methods. The results indicate that the method attains a higher test-retest reliability, while being more sensitive to longitudinal disease effect differences between patient groups. An implementation is publicly available as part of the open-source neuroimaging package FreeSurfer.


title: Depthformer : Multiscale Vision Transformer For Monocular Depth Estimation With Local Global Information Fusion

abstract: Attention-based models such as transformers have shown outstanding performance on dense prediction tasks, such as semantic segmentation, owing to their capability of capturing long-range dependency in an image. However, the benefit of transformers for monocular depth prediction has seldom been explored so far. This paper benchmarks various transformer-based models for the depth estimation task on an indoor NYUV2 dataset and an outdoor KITTI dataset. We propose a novel attention-based architecture, Depthformer for monocular depth estimation that uses multi-head self-attention to produce the multiscale feature maps, which are effectively combined by our proposed decoder network. We also propose a Transbins module that divides the depth range into bins whose center value is estimated adaptively per image. The final depth estimated is a linear combination of bin centers for each pixel. Transbins module takes advantage of the global receptive field using the transformer module in the encoding stage. Experimental results on NYUV2 and KITTI depth estimation benchmark demonstrate that our proposed method improves the state-of-the-art by 3.3%, and 3.3% respectively in terms of Root Mean Squared Error (RMSE). Code is available at https://github.com/ashutosh1807/Depthformer.git.


title: Microcanonical and Canonical Fluctuations in Bose-Einstein Condensates -- Fock state sampling approach

abstract: The fluctuations of the atom number between a Bose-Einstein condensate and the surrounding thermal gas have been the subject of a long standing theoretical debate. This discussion is centered around the appropriate thermodynamic ensemble to be used for theoretical predictions and the effect of interactions on the observed fluctuations. Here we introduce the so-called Fock state sampling method to solve this classic problem of current experimental interest for weakly interacting gases. A suppression of the predicted peak fluctuations is observed when using a microcanonical with respect to a canonical ensemble. Moreover, interactions lead to a shift of the temperature of peak fluctuations for harmonically trapped gases. The absolute size of the fluctuations furthermore depends on the total number of atoms and the aspect ratio of the trapping potential. Due to the interplay of these effect, there is no universal suppression or enhancement of fluctuations.


title: Representation ring of Levi subgroups versus cohomology ring of flag varieties III

abstract: For any reductive group $G$ and a parabolic subgroup $P$ with its Levi subgroup $L$, the first author [Ku2] introduced a ring homomorphism $ \xi^P_\lambda: Rep^\mathbb{C}_{\lambda-poly}(L) \to H^*(G/P, \mathbb{C})$, where $ Rep^\mathbb{C}_{\lambda-poly}(L)$ is a certain subring of the complexified representation ring of $L$ (depending upon the choice of an irreducible representation $V(\lambda)$ of $G$ with highest weight $\lambda$). In this paper we study this homomorphism for $G=SO(2n)$ and its maximal parabolic subgroups $P_{n-k}$ for any $2\leq k\leq n-1$ (with the choice of $V(\lambda) $ to be the defining representation $V(\omega_1) $ in $\mathbb{C}^{2n}$). Thus, we obtain a $\mathbb{C}$-algebra homomorphism $ \xi_{n,k}^D: Rep^\mathbb{C}_{\omega_1-poly}(SO(2k)) \to H^*(OG(n-k, 2n), \mathbb{C})$. We determine this homomorphism explicitly in the paper. We further analyze the behavior of $ \xi_{n,k}^D$ when $n$ tends to $\infty$ keeping $k$ fixed and show that $ \xi_{n,k}$ becomes injective in the limit. We also determine explicitly (via some computer calculation) the homomorphism $ \xi^P_\lambda$ for all the exceptional groups $G$ (with a specific `minimal' choice of $\lambda$) and all their maximal parabolic subgroups except $E_8$.


title: Lift at low Reynolds number

abstract: Lift forces are widespread in hydrodynamics. These are typically observed for big and fast objects, and are often associated with a combination of fluid inertia (i.e. large Reynolds numbers) and specific symmetry-breaking mechanisms. In contrast, the properties of viscosity-dominated (i.e. low Reynolds numbers) flows make it more difficult for such lift forces to emerge. However, the inclusion of boundary effects qualitatively changes this picture. Indeed, in the context of soft and biological matter, recent studies have revealed the emergence of novel lift forces generated by boundary softness, flow gradients and/or surface charges. The aim of the present review is to gather and analyse this corpus of literature, in order to identify and unify the questioning within the associated communities, and pave the way towards future research.

categories: cond-mat.soft cond-mat.mtrl-sci physics.bio-ph physics.chem-ph physics.flu-dyn


title: Multi-task Envisioning Transformer-based Autoencoder for Corporate Credit Rating Migration Early Prediction

abstract: Corporate credit ratings issued by third-party rating agencies are quantified assessments of a company's creditworthiness. Credit Ratings highly correlate to the likelihood of a company defaulting on its debt obligations. These ratings play critical roles in investment decision-making as one of the key risk factors. They are also central to the regulatory framework such as BASEL II in calculating necessary capital for financial institutions. Being able to predict rating changes will greatly benefit both investors and regulators alike. In this paper, we consider the corporate credit rating migration early prediction problem, which predicts the credit rating of an issuer will be upgraded, unchanged, or downgraded after 12 months based on its latest financial reporting information at the time. We investigate the effectiveness of different standard machine learning algorithms and conclude these models deliver inferior performance. As part of our contribution, we propose a new Multi-task Envisioning Transformer-based Autoencoder (META) model to tackle this challenging problem. META consists of Positional Encoding, Transformer-based Autoencoder, and Multi-task Prediction to learn effective representations for both migration prediction and rating prediction. This enables META to better explore the historical data in the training stage for one-year later prediction. Experimental results show that META outperforms all baseline models.


title: Multi-Frequency Information Enhanced Channel Attention Module for Speaker Representation Learning

abstract: Recently, attention mechanisms have been applied successfully in neural network-based speaker verification systems. Incorporating the Squeeze-and-Excitation block into convolutional neural networks has achieved remarkable performance. However, it uses global average pooling (GAP) to simply average the features along time and frequency dimensions, which is incapable of preserving sufficient speaker information in the feature maps. In this study, we show that GAP is a special case of a discrete cosine transform (DCT) on time-frequency domain mathematically using only the lowest frequency component in frequency decomposition. To strengthen the speaker information extraction ability, we propose to utilize multi-frequency information and design two novel and effective attention modules, called Single-Frequency Single-Channel (SFSC) attention module and Multi-Frequency Single-Channel (MFSC) attention module. The proposed attention modules can effectively capture more speaker information from multiple frequency components on the basis of DCT. We conduct comprehensive experiments on the VoxCeleb datasets and a probe evaluation on the 1st 48-UTD forensic corpus. Experimental results demonstrate that our proposed SFSC and MFSC attention modules can efficiently generate more discriminative speaker representations and outperform ResNet34-SE and ECAPA-TDNN systems with relative 20.9% and 20.2% reduction in EER, without adding extra network parameters.


title: Engineering underdoped CuO$_2$ nanoribbons in nm-thick $a$-axis YBa$_2$Cu$_3$O$_{7-\delta}$ films

abstract: In underdoped cuprate high $T_{\mathrm{c}}$ superconductors, various local orders and symmetry breaking states, in addition to superconductivity, reside in the CuO$_2$ planes. The confinement of the CuO$_2$ planes can therefore play a fundamental role in modifying the hierarchy between the various orders and their intertwining with superconductivity. Here we present the growth of $a$-axis oriented YBa$_2$Cu$_3$O$_{7-\delta}$ films, spanning the whole underdoped side of the phase diagram. In these samples, the CuO$_2$ planes are confined by the film thickness, effectively forming unit-cell-thick nanoribbons. The unidirectional confinement at the nanoscale enhances the in-plane anisotropy of the films. By X-ray diffraction and resistance vs temperature measurements, we have discovered the suppression of the orthorhombic-to-tetragonal transition at low dopings, and a very high anisotropy of the normal state resistance in the $b$-$c$ plane, the latter being connected to a weak coupling between adjacent CuO$_2$ nanoribbons. These findings show that the samples we have grown represent a novel system, different from the bulk, where future experiments can possibly shed light on the rich and mysterious physics occurring within the CuO$_2$ planes.


title: Chemical Cartography with LAMOST and Gaia Reveal Azimuthal and Spiral Structure in the Galactic Disk

abstract: Chemical Cartography, or mapping, of our Galaxy has the potential to fully transform our view of its structure and formation. In this work, we use chemical cartography to explore the metallicity distribution of OBAF-type disk stars from the LAMOST survey and a complementary sample of disk giant stars from Gaia DR3. We use these samples to constrain the radial and vertical metallicity gradients across the Galactic disk. We also explore whether there are detectable azimuthal variations in the metallicity distribution on top of the radial gradient. For the OBAF-type star sample from LAMOST, we find a radial metallicity gradient of $\Delta$[Fe/H]/$\Delta$R $\sim -0.078 \pm 0.001$ dex/kpc in the plane of the disk and a vertical metallicity gradient of $\Delta$[Fe/H]/$\Delta$Z $\sim -0.15 \pm 0.01$ dex/kpc in the solar neighborhood. The radial gradient becomes shallower with increasing vertical height while the vertical gradient becomes shallower with increasing Galactocentric radius, consistent with other studies. We also find detectable spatially-dependent azimuthal variations on top of the radial metallicity gradient at the level of $\sim$0.10 dex. Interestingly, the azimuthal variations appear be close to the Galactic spiral arms in one dataset (Gaia DR3) but not the other (LAMOST). These results suggest that there is azimuthal structure in the Galactic metallicity distribution and that in some cases it is co-located with spiral arms.


title: Challenging Common Assumptions about Catastrophic Forgetting

abstract: Building learning agents that can progressively learn and accumulate knowledge is the core goal of the continual learning (CL) research field. Unfortunately, training a model on new data usually compromises the performance on past data. In the CL literature, this effect is referred to as catastrophic forgetting (CF). CF has been largely studied, and a plethora of methods have been proposed to address it on short sequences of non-overlapping tasks. In such setups, CF always leads to a quick and significant drop in performance in past tasks. Nevertheless, despite CF, recent work showed that SGD training on linear models accumulates knowledge in a CL regression setup. This phenomenon becomes especially visible when tasks reoccur. We might then wonder if DNNs trained with SGD or any standard gradient-based optimization accumulate knowledge in such a way. Such phenomena would have interesting consequences for applying DNNs to real continual scenarios. Indeed, standard gradient-based optimization methods are significantly less computationally expensive than existing CL algorithms. In this paper, we study the progressive knowledge accumulation (KA) in DNNs trained with gradient-based algorithms in long sequences of tasks with data re-occurrence. We propose a new framework, SCoLe (Scaling Continual Learning), to investigate KA and discover that catastrophic forgetting has a limited effect on DNNs trained with SGD. When trained on long sequences with data sparsely re-occurring, the overall accuracy improves, which might be counter-intuitive given the CF phenomenon. We empirically investigate KA in DNNs under various data occurrence frequencies and propose simple and scalable strategies to increase knowledge accumulation in DNNs.


title: Multilateration and Signal Matching with Unknown Emission Times

abstract: Assume that a source emits a signal in $3$-dimensional space at an unknown time, which is received by at least~$5$ sensors. In almost all cases the emission time and source position can be worked out uniquely from the knowledge of the times when the sensors receive the signal. The task to do so is the multilateration problem. But when there are several emission events originating from several sources, the received signals must first be matched in order to find the emission times and source positions. In this paper, we propose to use algebraic relations between reception times to achieve this matching. A special case occurs when the signals are actually echoes from a single emission event. In this case, solving the signal matching problem allows one to reconstruct the positions of the reflecting walls. We show that, no matter where the walls are situated, our matching algorithm works correctly for almost all positions of the sensors. In the first section of this paper we consider the multilateration problem, which is equivalent to the GPS-problem, and give a simple algebraic solution that applies in all dimensions.


title: Electromagnetic Flavor-Changing Lepton Decays from Lorentz and CPT Violation

abstract: Lorentz- and CPT-violating effects initiating two-body electromagnetic flavor-changing decays of charged leptons are studied in the framework of Lorentz-violating effective field theory. An analysis of data from experiments at the Paul Scherrer Institute and at the Stanford Linear Accelerator measuring the branching ratios of these decays provides 576 constraints on independent flavor-changing effects in the charged-lepton sector, consistent with no Lorentz and CPT violation at the level of parts in $10^{-13}$ GeV$^{-1}$ to $10^{-9}$ GeV$^{-1}$.


title: FairDistillation: Mitigating Stereotyping in Language Models

abstract: Large pre-trained language models are successfully being used in a variety of tasks, across many languages. With this ever-increasing usage, the risk of harmful side effects also rises, for example by reproducing and reinforcing stereotypes. However, detecting and mitigating these harms is difficult to do in general and becomes computationally expensive when tackling multiple languages or when considering different biases. To address this, we present FairDistillation: a cross-lingual method based on knowledge distillation to construct smaller language models while controlling for specific biases. We found that our distillation method does not negatively affect the downstream performance on most tasks and successfully mitigates stereotyping and representational harms. We demonstrate that FairDistillation can create fairer language models at a considerably lower cost than alternative approaches.


title: Wi-Fi Assist: Enhancing Vehicular Wi-Fi Connectivity with an Infrastructure-driven Approach

abstract: Vehicles access the Internet via cellular networks, instead of Wi-Fi networks. This choice has been mostly justified by the ubiquitous coverage of cellular networks: Wi-Fi coverage has been shown to be inadequate in the past, even in urban areas. We argue that providing Internet connectivity to vehicles via Wi-Fi is worth a revisit. Motivated by improvements in Wi-Fi network coverage in recent years, we propose Wi-Fi Assist, an add-on to current Wi-Fi infrastructures which differs from existing solutions in two key ways: (1) it is heavily infrastructure-driven; and (2) defines an interface for low-latency cooperation between different WLAN service sets, managed by different service providers.


title: Differential Imaging Forensics: A Feasibility Study

abstract: We motivate and develop a new line of digital forensics. In the meanwhile, we propose a novel approach to photographer identification, a rarely explored authorship attribution problem. We report a proof-of-concept study, which shows the feasibility of our method. Our contributions include a new forensic method for photographer de-anonymization and revealing a novel privacy threat which had been ignored before. The success of our creation builds on top of a new optical side-channel which we have discovered, as well as on how to exploit it effectively. We also make the first attempt to bridge side channels and inverse problems, two fields that appear to be completely isolated from each other but have deep connections.


title: Spin-flip Bethe-Salpeter equation approach for ground and excited states of open-shell molecules and defects in solids

abstract: Open-shell systems such as magnetic molecules or defects with a triplet ground state are challenging to describe in electronic structure methods, but are of great interest for quantum information applications. We demonstrate a spin-flip approach within the Bethe-Salpeter equation to calculate ground and excited states of open-shell molecules and defected solids. The approach works in periodic boundary conditions without any need for embedding or selection of a subspace. Our benchmark results for the torsion potential-energy surface of ethylene and the optical excitations of the diamond NV$^{-}$ center show excellent agreement with the literature, and a low or moderate level of spin contamination.


title: Learning to Order for Inventory Systems with Lost Sales and Uncertain Supplies

abstract: We consider a stochastic lost-sales inventory control system with a lead time $L$ over a planning horizon $T$. Supply is uncertain, and is a function of the order quantity (due to random yield/capacity, etc). We aim to minimize the $T$-period cost, a problem that is known to be computationally intractable even under known distributions of demand and supply. In this paper, we assume that both the demand and supply distributions are unknown and develop a computationally efficient online learning algorithm. We show that our algorithm achieves a regret (i.e. the performance gap between the cost of our algorithm and that of an optimal policy over $T$ periods) of $O(L+\sqrt{T})$ when $L\geq\log(T)$. We do so by 1) showing our algorithm cost is higher by at most $O(L+\sqrt{T})$ for any $L\geq 0$ compared to an optimal constant-order policy under complete information (a well-known and widely-used algorithm) and 2) leveraging its known performance guarantee from the existing literature. To the best of our knowledge, a finite-sample $O(\sqrt{T})$ (and polynomial in $L$) regret bound when benchmarked against an optimal policy is not known before in the online inventory control literature. A key challenge in this learning problem is that both demand and supply data can be censored; hence only truncated values are observable. We circumvent this challenge by showing that the data generated under an order quantity $q^2$ allows us to simulate the performance of not only $q^2$ but also $q^1$ for all $q^1<q^2$, a key observation to obtain sufficient information even under data censoring. By establishing a high probability coupling argument, we are able to evaluate and compare the performance of different order policies at their steady state within a finite time horizon. Since the problem lacks convexity, we develop an active elimination method that adaptively rules out suboptimal solutions.


abstract: This paper aims to tackle Multiple Object Tracking (MOT), an important problem in computer vision but remains challenging due to many practical issues, especially occlusions. Indeed, we propose a new real-time Depth Perspective-aware Multiple Object Tracking (DP-MOT) approach to tackle the occlusion problem in MOT. A simple yet efficient Subject-Ordered Depth Estimation (SODE) is first proposed to automatically order the depth positions of detected subjects in a 2D scene in an unsupervised manner. Using the output from SODE, a new Active pseudo-3D Kalman filter, a simple but effective extension of Kalman filter with dynamic control variables, is then proposed to dynamically update the movement of objects. In addition, a new high-order association approach is presented in the data association step to incorporate first-order and second-order relationships between the detected objects. The proposed approach consistently achieves state-of-the-art performance compared to recent MOT methods on standard MOT benchmarks.


title: Entire $\sigma_k$ curvature flow in Minkowski space

abstract: In this paper, we study the $\sigma_k$ curvature flow of noncompact spacelike hypersurfaces in Minkowski space. We prove that if the initial hypersurface satisfies certain conditions, then the flow exists for all time. Moreover, we show that after rescaling, the flow converges to a self-expander.


title: Properties of Primitive Galaxies

abstract: We report on a study of 9 nearby star-forming, very low-metallicity galaxies observed by Hubble's COS far-UV spectrograph that can serve as templates of high-z galaxies to be observed by JWST. We find that the nebular spectra of these primitive galaxies show evidence of irradiation by X-ray emitters. Following Thuan et al. (2004), we identify the sources of X-ray emission as massive X-ray binaries containing a massive accreting stellar black hole. We further find that the lower the metallicity, the higher the probability of strong X-irradiation. Following Heger et al. (2003), we suggest that these accreting black holes are produced by direct collapse of stars having initial masses greater than $\sim50\, M_\odot$. Our models of young star clusters with an embedded stellar black hole produce effects on the surrounding gaseous medium that are consistent with the observed spectra. We conclude that primitive galaxies are qualitatively different from more metal-rich galaxies in showing evidence of hard radiation that can best be explained by the presence of one or more embedded stellar black holes.


title: $S$-arithmetic (co)homology and $p$-adic automorphic forms

abstract: We study the $S$-arithmetic (co)homology of reductive groups over number fields with coefficients in (duals of) certain locally algebraic and locally analytic representations for finite sets of primes $S$. We use our results to construct eigenvarieties associated to parabolic subgroups at places in $S$ and certain classes of supercuspidal and algebraic representations of their Levi factors. We show that these agree with eigenvarieties constructed using overconvergent homology and that for definite unitary groups they are closely related to the Bernstein eigenvarieties constructed by Breuil-Ding.


title: Decentralized Strongly-Convex Optimization with Affine Constraints: Primal and Dual Approaches

abstract: Decentralized optimization is a common paradigm used in distributed signal processing and sensing as well as privacy-preserving and large-scale machine learning. It is assumed that several computational entities locally hold objective functions and are connected by a network. The agents aim to commonly minimize the sum of the local objectives subject by making gradient updates and exchanging information with their immediate neighbors. Theory of decentralized optimization is pretty well-developed in the literature. In particular, it includes lower bounds and optimal algorithms. In this paper, we assume that along with an objective, each node also holds affine constraints. We discuss several primal and dual approaches to decentralized optimization problem with affine constraints.


title: Strong Ill-Posedness in $L^\infty$ for the Riesz Transform Problem

abstract: We prove strong ill-posedness in $L^{\infty}$ for linear perturbations of the 2d Euler equations of the form: \[\partial_t \omega + u\cdot\nabla\omega = R(\omega),\] where $R$ is any non-trivial second order Riesz transform. Namely, we prove that there exist smooth solutions that are initially small in $L^{\infty}$ but become arbitrarily large in short time. Previous works in this direction relied on the strong ill-posedness of the linear problem, viewing the transport term perturbatively, which only led to mild growth. In this work we derive a nonlinear model taking all of the leading order effects into account to determine the precise pointwise growth of solutions for short time. Interestingly, the Euler transport term does counteract the linear growth so that the full nonlinear equation grows an order of magnitude less than the linear one. In particular, the (sharp) growth rate we establish is consistent with the global regularity of smooth solutions.


title: Mechanisms that Incentivize Data Sharing in Federated Learning

abstract: Federated learning is typically considered a beneficial technology which allows multiple agents to collaborate with each other, improve the accuracy of their models, and solve problems which are otherwise too data-intensive / expensive to be solved individually. However, under the expectation that other agents will share their data, rational agents may be tempted to engage in detrimental behavior such as free-riding where they contribute no data but still enjoy an improved model. In this work, we propose a framework to analyze the behavior of such rational data generators. We first show how a naive scheme leads to catastrophic levels of free-riding where the benefits of data sharing are completely eroded. Then, using ideas from contract theory, we introduce accuracy shaping based mechanisms to maximize the amount of data generated by each agent. These provably prevent free-riding without needing any payment mechanism.


title: Force field optimization by imposing kinetic constraints with path reweighting

abstract: Empirical force fields employed in molecular dynamics simulations of complex systems can be optimised to reproduce experimentally determined structural and thermodynamic properties. In contrast, experimental knowledge about the rates of interconversion between metastable states in such systems, is hardly ever incorporated in a force field, due to a lack of an efficient approach. Here, we introduce such a framework, based on the relationship between dynamical observables such as rate constants, and the underlying force field parameters, using the statistical mechanics of trajectories. Given a prior ensemble of molecular trajectories produced with imperfect force field parameters, the approach allows the optimal adaption of these parameters, such that the imposed constraint of equal predicted and experimental rate constant is obeyed. To do so, the method combines the continuum path ensemble Maximum Caliber approach with path reweighting methods for stochastic dynamics. When multiple solutions are found, the method selects automatically the combination that corresponds to the smallest perturbation of the entire path ensemble, as required by the Maximum Entropy principle. To show the validity of the approach we illustrate the method on simple test systems undergoing rare event dynamics. Next to simple 2D potentials we explore particle models representing molecular isomerisation reactions as well as protein-ligand unbinding. Besides optimal interaction parameters the methodology gives physical insight into what parts of the model are most sensitive to the kinetics. We discuss the generality and broad implications of the methodology.


title: On quantum traversability of wormholes

abstract: In this paper we study the possibility of non-relativistic quantum particles to traverse the generalized Ellis-Bronnikov wormholes by considering quantum effects, such as tunneling. We have used the generalized Ellis-Bronnikov wormhole metric and found that for $n=2$ we have a single barrier shaped effective potential centered at the throat of the wormhole for any value of orbital angular momentum. For $n\neq2$ we have a symmetric double barrier shaped potential when the orbital angular momentum is zero and a single barrier for nonzero angular orbital momentum. Analytical solutions for the Schr\"{o}dinger equation in the generalized Ellis-Bronnikov spacetime could be found only for $n=2$. Such solutions were given in terms of the confluent Heun functions. Finally, by using a delta-barrier approximation we could find the transmission and reflection coefficients for a non-relativistic particle to traverse the generalized Ellis-Bronnikov wormhole.


title: A polynomial-time approximation to a minimum dominating set in a graph

abstract: A {\em dominating set} of a graph $G=(V,E)$ is a subset of vertices $S\subseteq V$ such that every vertex $v\in V\setminus S$ has at least one neighbor in $S$. Finding a dominating set with the minimum cardinality in a connected graph $G=(V,E)$ is known to be NP-hard. A polynomial-time approximation algorithm for this problem, described here, works in two stages. At the first stage a dominant set is generated by a greedy algorithm, and at the second stage this dominating set is purified (reduced). The reduction is achieved by the analysis of the flowchart of the algorithm of the first stage and a special kind of clustering of the dominating set generated at the first stage. The clustering of the dominating set naturally leads to a special kind of a spanning forest of graph $G$, which serves as a basis for the second purification stage. We expose some types of graphs for which the algorithm of the first stage already delivers an optimal solution and derive sufficient conditions when the overall algorithm constructs an optimal solution. We give three alternative approximation ratios for the algorithm of the first stage, two of which are expressed in terms of solely invariant problem instance parameters, and we also give one additional approximation ratio for the overall two-stage algorithm. The greedy algorithm of the first stage turned out to be essentially the same as the earlier known state-of-the-art algorithms for the set cover and dominating set problem Chv\'atal \cite{chvatal} and Parekh \cite{parekh}. The second purification stage results in a significant reduction of the dominant set created at the first stage, in practice. The practical behavior of both stages was verified for randomly generated problem instances. The computational experiments emphasize the gap between a solution of Stage 1 and a solution of Stage 2.


title: New Optimal Periodic Control Policy for the Optimal Periodic Performance of a Chemostat Using a Fourier-Gegenbauer-Based Predictor-Corrector Method

abstract: In its simplest form, a chemostat consists of microorganisms or cells that grow continually in a specific phase of growth while competing for a single limiting nutrient. Under certain conditions of the cell growth rate, substrate concentration, and dilution rate, the theory predicts and numerical experiments confirm that a periodically operated chemostat exhibits an "overyielding" state in which the performance becomes higher than that at steady-state operation. In this paper, we show that an optimal periodic control policy for maximizing chemostat performance can be accurately and efficiently derived numerically using a novel class of integral pseudospectral (IPS) methods and adaptive h-IPS methods composed through a predictor-corrector algorithm. New formulas for the construction of Fourier pseudospectral (PS) integration matrices and barycentric-shifted Gegenbauer (SG) quadratures are derived. A rigorous study of the errors and convergence rates of SG quadratures, as well as the truncated Fourier series, interpolation operators, and integration operators for nonsmooth and generally T-periodic functions, is presented. We also introduce a novel adaptive scheme for detecting jump discontinuities and reconstructing a piecewise analytic function from PS data. An extensive set of numerical simulations is presented to support the derived theoretical foundations.


title: Broken living layers: dislocations in active smectics

abstract: We show that dislocations in active 2d smectics with underlying rotational symmetry are always unbound in the presence of noise, meaning the active smectic phase does not exist for non-zero noise in $d=2$. The active smectic phase can, like equilibrium smectics in 2d, be stabilized by applying rotational symmetry breaking fields; however, even in the presence of such fields, active smectics are still much less stable against noise than equilibrium ones, when the symmetry breaking field(s) are weak.


title: Quantum Optomagnetics in Graphene

abstract: Graphene can be magnetized through nonlinear response of its orbital angular momentum to an intense circularly polarized light. This optomagnetic effect can be well exemplified by the Inverse Faraday Effect (IFE) where an optically-generated DC magnetization leads to graphene's optical activity. We provide a single-particle quantum mechanical model of an IFE in graphene by solving Schr\"odinger's equation in the presence of a renormalized Hamiltonian near a Dirac point in the presence of circularly polarized monochromatic light. We derive an analytical expression for DC magnetization based on non-perturbative and dressed states of quasi-electrons where their energy spectrum is isotropically gapped by the circularly polarized light. Optical rotatory power is then computed through the gyroelectric birefringence where a measurable polarization rotation angle under moderate and intense optical radiations is predicted.


title: Domain Confused Contrastive Learning for Unsupervised Domain Adaptation

abstract: In this work, we study Unsupervised Domain Adaptation (UDA) in a challenging self-supervised approach. One of the difficulties is how to learn task discrimination in the absence of target labels. Unlike previous literature which directly aligns cross-domain distributions or leverages reverse gradient, we propose Domain Confused Contrastive Learning (DCCL) to bridge the source and the target domains via domain puzzles, and retain discriminative representations after adaptation. Technically, DCCL searches for a most domain-challenging direction and exquisitely crafts domain confused augmentations as positive pairs, then it contrastively encourages the model to pull representations towards the other domain, thus learning more stable and effective domain invariances. We also investigate whether contrastive learning necessarily helps with UDA when performing other data augmentations. Extensive experiments demonstrate that DCCL significantly outperforms baselines.


title: Automating Detection of Papilledema in Pediatric Fundus Images with Explainable Machine Learning

abstract: Papilledema is an ophthalmic neurologic disorder in which increased intracranial pressure leads to swelling of the optic nerves. Undiagnosed papilledema in children may lead to blindness and may be a sign of life-threatening conditions, such as brain tumors. Robust and accurate clinical diagnosis of this syndrome can be facilitated by automated analysis of fundus images using deep learning, especially in the presence of challenges posed by pseudopapilledema that has similar fundus appearance but distinct clinical implications. We present a deep learning-based algorithm for the automatic detection of pediatric papilledema. Our approach is based on optic disc localization and detection of explainable papilledema indicators through data augmentation. Experiments on real-world clinical data demonstrate that our proposed method is effective with a diagnostic accuracy comparable to expert ophthalmologists.


title: A Probabilistic Model Of Interaction Dynamics for Dyadic Face-to-Face Settings

abstract: Natural conversations between humans often involve a large number of non-verbal nuanced expressions, displayed at key times throughout the conversation. Understanding and being able to model these complex interactions is essential for creating realistic human-agent communication, whether in the virtual or physical world. As social robots and intelligent avatars emerge in popularity and utility, being able to realistically model and generate these dynamic expressions throughout conversations is critical. We develop a probabilistic model to capture the interaction dynamics between pairs of participants in a face-to-face setting, allowing for the encoding of synchronous expressions between the interlocutors. This interaction encoding is then used to influence the generation when predicting one agent's future dynamics, conditioned on the other's current dynamics. FLAME features are extracted from videos containing natural conversations between subjects to train our interaction model. We successfully assess the efficacy of our proposed model via quantitative metrics and qualitative metrics, and show that it successfully captures the dynamics of a pair of interacting dyads. We also test the model with a never-before-seen parent-infant dataset comprising of two different modes of communication between the dyads, and show that our model successfully delineates between the modes, based on their interacting dynamics.


title: A discontinuous Galerkin based multiscale method for heterogeneous elastic wave equations

abstract: In this paper, we develop a local multiscale model reduction strategy for the elastic wave equation in strongly heterogeneous media, which is achieved by solving the problem in a coarse mesh with multiscale basis functions. We use the interior penalty discontinuous Galerkin (IPDG) to couple the multiscale basis functions that contain important heterogeneous media information. The construction of efficient multiscale basis functions starts with extracting dominant modes of carefully defined spectral problems to represent important media feature, which is followed by solving a constraint energy minimization problems. Then a Petrov-Galerkin projection and systematization onto the coarse grid is applied. As a result, an explicit and energy conserving scheme is obtained for fast online simulation. The method exhibits both coarse-mesh and spectral convergence as long as one appropriately chose the oversampling size. We rigorously analyze the stability and convergence of the proposed method. Numerical results are provided to show the performance of the multiscale method and confirm the theoretical results.


title: Stochastic dynamics and ribosome-RNAP interactions in Transcription-Translation Coupling

abstract: Under certain cellular conditions, transcription and mRNA translation in prokaryotes appear to be "coupled," in which the formation of mRNA transcript and production of its associated protein are temporally correlated. Such transcription-translation coupling (TTC) has been evoked as a mechanism that speeds up the overall process, provides protection during the transcription, and/or regulates the timing of transcript and protein formation. What molecular mechanisms underlie ribosome-RNAP coupling and how they can perform these functions have not been explicitly modeled. We develop and analyze a continuous-time stochastic model that incorporates ribosome and RNAP elongation rates, initiation and termination rates, RNAP pausing, and direct ribosome and RNAP interactions (exclusion and binding). Our model predicts how distributions of delay times depend on these molecular features of transcription and translation. We also propose additional measures for TTC: a direct ribosome-RNAP binding probability and the fraction of time the translation-transcription process is "protected" from attack by transcription-terminating proteins. These metrics quantify different aspects of TTC and differentially depend on parameters of known molecular processes. We use our metrics to reveal how and when our model can exhibit either acceleration or deceleration of transcription, as well as protection from termination. Our detailed mechanistic model provides a basis for designing new experimental assays that can better elucidate the mechanisms of TTC.


title: FedSS: Federated Learning with Smart Selection of clients

abstract: Federated learning provides the ability to learn over heterogeneous user data in a distributed manner while preserving user privacy. However, its current client selection technique is a source of bias as it discriminates against slow clients. For starters, it selects clients that satisfy certain network and system-specific criteria, thus not selecting slow clients. Even when such clients are included in the training process, they either struggle with the training or are dropped altogether for being too slow. Our proposed idea looks to find a sweet spot between fast convergence and heterogeneity by looking at smart client selection and scheduling techniques.