title: Wave propagation in anisotropic crystal using point contact excitation and detection method

abstract: Lithium Niobate (LiNbO$_3$) is a piezoelectric crystal with a high electromechanical coupling coefficient. The development and miniaturization of acousto-electronics, and acousto-optics modulation filters, are primarily based on surface acoustic waves (SAWs) and bulk wave propagation in anisotropic crystals, such as LiNbO$_3$, Lithium Tantalate, and Quartz). It has the potential to be used in nanoscale acoustics. The mechanical properties of the piezoelectric materials depend on the chemical compositions and crystal growth conditions. These excellent features are due to higher second-order optoacoustic nonlinearity with low losses in the broadband spectrum.


title: Analyzing Deep Learning Based Brain Tumor Segmentation with Missing MRI Modalities

abstract: This technical report presents a comparative analysis of existing deep learning (DL) based approaches for brain tumor segmentation with missing MRI modalities. Approaches evaluated include the Adversarial Co-training Network (ACN) and a combination of mmGAN and DeepMedic. A more stable and easy-to-use version of mmGAN is also open-sourced at a GitHub repository. Using the BraTS2018 dataset, this work demonstrates that the state-of-the-art ACN performs better especially when T1c is missing. While a simple combination of mmGAN and DeepMedic also shows strong potentials when only one MRI modality is missing. Additionally, this work initiated discussions with future research directions for brain tumor segmentation with missing MRI modalities.


title: Oversquashing in GNNs through the lens of information contraction and graph expansion

abstract: The quality of signal propagation in message-passing graph neural networks (GNNs) strongly influences their expressivity as has been observed in recent works. In particular, for prediction tasks relying on long-range interactions, recursive aggregation of node features can lead to an undesired phenomenon called "oversquashing". We present a framework for analyzing oversquashing based on information contraction. Our analysis is guided by a model of reliable computation due to von Neumann that lends a new insight into oversquashing as signal quenching in noisy computation graphs. Building on this, we propose a graph rewiring algorithm aimed at alleviating oversquashing. Our algorithm employs a random local edge flip primitive motivated by an expander graph construction. We compare the spectral expansion properties of our algorithm with that of an existing curvature-based non-local rewiring strategy. Synthetic experiments show that while our algorithm in general has a slower rate of expansion, it is overall computationally cheaper, preserves the node degrees exactly and never disconnects the graph.


title: Engineering monstar polarization disclination through geometric phase

abstract: We present a method to generate monstar singularities via Pancharatnam-Berry phase by the coherent collinear superposition of two Free-Form Dark Hollow beams, $FFDH^{m}_{q}$, of topological charge $q$, and order of symmetry $m$. FFDH beams are generated with the geometrical parameters of a closed curve exploited to obtain a nonuniform rotation rate of the local polarization azimuth and generate monstar patterns. We report space-variant polarization patterns: radial- and azimuthal-like, lemon- and star-like for symmetric disclinations, and the asymmetric monstar disclination. We present theory and measurements, and find excellent agreement between the two.


title: Learning Human Cognitive Appraisal Through Reinforcement Memory Unit

abstract: We propose a novel memory-enhancing mechanism for recurrent neural networks that exploits the effect of human cognitive appraisal in sequential assessment tasks. We conceptualize the memory-enhancing mechanism as Reinforcement Memory Unit (RMU) that contains an appraisal state together with two positive and negative reinforcement memories. The two reinforcement memories are decayed or strengthened by stronger stimulus. Thereafter the appraisal state is updated through the competition of positive and negative reinforcement memories. Therefore, RMU can learn the appraisal variation under violent changing of the stimuli for estimating human affective experience. As shown in the experiments of video quality assessment and video quality of experience tasks, the proposed reinforcement memory unit achieves superior performance among recurrent neural networks, that demonstrates the effectiveness of RMU for modeling human cognitive appraisal.


title: Variance estimation for logistic regression in case-cohort studies

abstract: The logistic regression analysis proposed by Schouten et al. (Stat Med. 1993;12:1733-1745) has been a standard method in current statistical analysis of case-cohort studies, and it enables effective estimation of risk ratio from selected subsamples. Schouten et al. (1993) also proposed the standard error estimate of the risk ratio estimator can be calculated by the robust variance estimator. In this article, however, we show that the robust variance estimator does not account for the duplications of case and subcohort samples and generally has certain bias, i.e., inaccurate confidence intervals and P-values are possibly obtained. To address the invalid statistical inference problem, we provide an alternative bootstrap-based valid variance estimator. Through simulation studies, the bootstrap method consistently provided more precise confidence intervals compared with those provided by the robust variance method, while retaining adequate coverage probabilities. The conventional robust variance estimator has certain bias, and inadequate conclusions might be deduced. The bootstrap method would be an alternative effective approach in practice to provide accurate evidence.


title: Peng: A program for transport properties of low-density binary gas mixtures

abstract: The fundamental properties of molecules bridge experiment and theory. Transport properties (diffusion, thermal diffusion, thermal conductivity and viscosity) of binary mixtures are measurable in experiments, and well-defined in theory, but difficult to compute with high accuracy. In addition to high-accuracy inter-molecular potential energy curves (PECs), a reliable and high-order solution program that compute the properties based on the PECs is required. In this work, we present a computer program called Peng that performs the collision integration numerically, and solves the Boltzmann equation in Chapman-Enskog fashion. The program has been devised to perform both parts of the solution procedure to arbitrary order, so that no hard-coded limitation will prevent a user from computing at higher precision, except the amount of RAM and the required computational time. Peng is well-designed in an Object-Oriented Programming (OOP) fashion, which make the program clear and easy to modify. In addition to the end-user oriented program, Peng is also compiled as a dynamic shared library that may readily be extended and embedded in users' programs.


title: Compositional Controller Synthesis for Interconnected Stochastic Systems with Markovian Switching

abstract: In this work, we propose a compositional scheme for the safety controller synthesis of interconnected discrete-time stochastic systems with Markovian switching signals. Our proposed approach is based on a notion of so-called control storage certificates computed for individual subsystems, by leveraging which, one can synthesize state-feedback controllers for interconnected systems to enforce safety specifications over finite time horizons. To do so, we employ a sum-of-squares (SOS) optimization approach to search for multiple storage certificates of each switching subsystem while synthesizing its corresponding safety controller. We then utilize dissipativity theory to compositionally construct barrier certificates for interconnected systems based on storage certificates of individual subsystems. The proposed dissipativity-type compositional conditions can leverage the structure of the interconnection topology and be fulfilled independently of the number or gains of subsystems. We eventually employ the constructed barrier certificate and quantify upper bounds on the probability that the interconnected system reaches certain unsafe regions in a finite time horizon. We apply our results to a room temperature network of 200 rooms with Markovian switching signals while accepting multiple storage certificates. We compositionally synthesize safety controllers to maintain the temperature of each room in a comfort zone for a bounded time horizon.


title: On the wave equation with space dependent coefficients: singularities and lower order terms

abstract: This paper complements the study of the wave equation with discontinuous coefficients initiated in \cite{DGL:22} in the case of time-dependent coefficients. Here we assume that the equation coefficients are depending on space only and we formulate Levi conditions on the lower order terms to guarantee the existence of a very weak solution as defined in \cite{GR:14}. As a toy model we study the wave equation in conservative form with discontinuous velocity and we provide a qualitative analysis of the corresponding very weak solution via numerical methods.


title: Safety Barrier Certificates for Stochastic Hybrid Systems

abstract: This work is concerned with the safety controller synthesis of stochastic hybrid systems, in which continuous evolutions are described by stochastic differential equations with both Brownian motions and Poisson processes, and instantaneous jumps are governed by stochastic difference equations with additive noises. Our proposed framework leverages the notion of control barrier certificates (CBC), as a discretization-free approach, to synthesize safety controllers for stochastic hybrid systems while providing safety guarantees in finite time horizons. In our proposed scheme, we first provide an augmented framework to characterize each stochastic hybrid system containing continuous evolutions and instantaneous jumps with a unified system covering both scenarios. We then introduce an augmented control barrier certificate (ACBC) for augmented systems and propose sufficient conditions to construct an ACBC based on CBC of original hybrid systems. By utilizing the constructed ACBC, we quantify upper bounds on the probability that the stochastic hybrid system reaches certain unsafe regions in a finite time horizon. The proposed approach is verified over a nonlinear case study.


title: Analysing the Memorability of a Procedural Crime-Drama TV Series, CSI

abstract: We investigate the memorability of a 5-season span of a popular crime-drama TV series, CSI, through the application of a vision transformer fine-tuned on the task of predicting video memorability. By investigating the popular genre of crime-drama TV through the use of a detailed annotated corpus combined with video memorability scores, we show how to extrapolate meaning from the memorability scores generated on video shots. We perform a quantitative analysis to relate video shot memorability to a variety of aspects of the show. The insights we present in this paper illustrate the importance of video memorability in applications which use multimedia in areas like education, marketing, indexing, as well as in the case here namely TV and film production.


title: Theoretical studies on switching of magnetisation in thin film

abstract: In the present chapter, we focus on the switching of magnetisation, or the metastable lifetime of a ferromagnetic system. In this regard, particularly the Ising model and the Blume-Capel model, have been simulated in the presence of an externally applied magnetic field by the Monte-Carlo simulation technique based on the Metropolis algorithm. Magnetisation switching is found to be faster in the presence of disorder, modelled here by a quenched random field. The strength of the random field is observed to play a similar role to that played by temperature. Becker-D\"oring theory of classical nucleation (originally proposed for the spin-1/2 Ising system) has been verified in the random field Ising model. However, a stronger random field affects the nucleation regime. In a cubic Ising lattice, surface reversal time is found to be different from the bulk reversal time. That distinct behaviour of the surface in contrast to the bulk has been studied here by introducing a relative interfacial interaction strength ($R$). Depending on $R$, temperature, and applied field, a competitive switching of magnetisation of surface and bulk is noticed. The effect of anisotropy ($D$) on the metastable lifetime has been investigated. We report a linear dependency of the mean macroscopic reversal time on a suitably defined microscopic reversal time. The saturated magnetisation $M_f$, after the reversal, is noticed to be strongly dependent on $D$. $M_f$, $D$, and $h$ (field) are found to follow a proposed scaling relation. Finally, Becker-D\"oring theory as well as Avrami's law are verified in spin-$s$ Ising and Blume-Capel models. The switching time depends on the number of accessible spin states.


abstract: An explicit Wigner formulation of Minkowski particle states for non-inertial observers is unknown. Here, we derive a general prescription to compute the characteristic function for Minkowski-Fock states in accelerated frames. For the special case of single-particle and two-particle states, this method enables to derive mean values of particle numbers and correlation function in the momentum space, and the way they are affected by the acceleration of the observer. We show an indistinguishability between Minkowski single-particle and two-particle states in terms of Rindler particle distribution that can be regarded as a way for the observer to detect any acceleration of the frame. We find that for two-particle states the observer is also able to detect acceleration by measuring the correlation between Rindler particles with different momenta.


title: Supercurrent Noise in a Phase-Biased Superconductor-Normal Ring in Thermal Equilibrium

abstract: In superconductor-normal-superconductor (SNS) junctions, dissipationless supercurrent is mediated via Andreev bound states (ABSs) controlled by the phase difference between the two superconductors. Theory has long predicted significant fluctuations, and thus a noise, of such supercurrent in equilibrium, due to the thermal excitation between the ABSs. Via the fluctuation-dissipation theorem (FDT), this leads paradoxically to a dissipative conductance even in the zero frequency limit. In this article, we directly measure the supercurrent noise in a phase-biased SNS ring inductively coupled to a superconducting resonator. Using the same setup, we also measure its admittance and quantitatively demonstrate the FDT for any phase. The dissipative conductance shows an 1/T temperature dependence, in contrast to the Drude conductance of unproximitized metal. This is true even at phase $\pi$ where the Andreev spectrum is gapless. Supported by linear response theory, we attribute this to the enhanced current correlation between the ABSs symmetrical across the Fermi level. Our results provide insight into the origin of noise in hydrid superconducting devices which may be useful for probing topologically protected ABSs.


title: Generalized Glauber dynamics for inference in biology

abstract: Large interacting systems in biology often exhibit emergent dynamics, such as coexistence of multiple time scales, manifested by fat tails in the distribution of waiting times. While existing tools in statistical inference, such as maximum entropy models, reproduce the empirical steady state distributions, it remains challenging to learn dynamical models. We present a novel inference method, called generalized Glauber dynamics. Constructed through a non-Markovian fluctuation dissipation theorem, generalized Glauber dynamics tunes the dynamics of an interacting system, while keeping the steady state distribution fixed. We motivate the need for the method on real data from Eco-HAB, an automated habitat for testing behavior in groups of mice under semi-naturalistic conditions, and present it on simple Ising spin systems. We show its applicability for experimental data, by inferring dynamical models of social interactions in a group of mice that reproduce both its collective behavior and the long tails observed in individual dynamics.


title: Towards Interdependent Safety Security Assessments using Bowties

abstract: We present a way to combine security and safety assessments using Bowtie Diagrams. Bowties model both the causes leading up to a central failure event and consequences which arise from that event, as well as barriers which impede events. Bowties have previously been used separately for security and safety assessments, but we suggest that a unified treatment in a single model can elegantly capture safety-security interdependencies of several kinds. We showcase our approach with the example of the October 2021 Facebook DNS shutdown, examining the chains of events and the interplay between the security and safety barriers which caused the outage.


title: Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems

abstract: We propose a compositional approach to synthesize policies for networks of continuous-space stochastic control systems with unknown dynamics using model-free reinforcement learning (RL). The approach is based on implicitly abstracting each subsystem in the network with a finite Markov decision process with unknown transition probabilities, synthesizing a strategy for each abstract model in an assume-guarantee fashion using RL, and then mapping the results back over the original network with approximate optimality guarantees. We provide lower bounds on the satisfaction probability of the overall network based on those over individual subsystems. A key contribution is to leverage the convergence results for adversarial RL (minimax Q-learning) on finite stochastic arenas to provide control strategies maximizing the probability of satisfaction over the network of continuous-space systems. We consider finite-horizon properties expressed in the syntactically co-safe fragment of linear temporal logic. These properties can readily be converted into automata-based reward functions, providing scalar reward signals suitable for RL. Since such reward functions are often sparse, we supply a potential-based reward shaping technique to accelerate learning by producing dense rewards. The effectiveness of the proposed approaches is demonstrated via two physical benchmarks including regulation of a room temperature network and control of a road traffic network.


title: HaloAE: An HaloNet based Local Transformer Auto-Encoder for Anomaly Detection and Localization

abstract: Unsupervised anomaly detection and localization is a crucial task as it is impossible to collect and label all possible anomalies. Many studies have emphasized the importance of integrating local and global information to achieve accurate segmentation of anomalies. To this end, there has been a growing interest in Transformer, which allows modeling long-range content interactions. However, global interactions through self attention are generally too expensive for most image scales. In this study, we introduce HaloAE, the first auto-encoder based on a local 2D version of Transformer with HaloNet. With HaloAE, we have created a hybrid model that combines convolution and local 2D block-wise self-attention layers and jointly performs anomaly detection and segmentation through a single model. We achieved competitive results on the MVTec dataset, suggesting that vision models incorporating Transformer could benefit from a local computation of the self-attention operation, and pave the way for other applications.


title: Bogoliubov Transformations Beyond Shale-Stinespring: Generic $ v^* v $ for bosons

abstract: We construct an extension of Fock space and prove that it allows for implementing bosonic Bogoliubov transformations in a certain extended sense. While an implementation in the regular sense on Fock space is only possible if a certain operator $ v^* v $ is trace class (this is the well-known Shale-Stinespring condition), the extended implementation works without any restrictions on this operator. This generalizes a recent result of extended implementability, which required $ v^* v $ to have discrete spectrum.


title: One-loop radiative correction to the Toshev relation for neutrino oscillations in matter

abstract: The one-loop electroweak radiative corrections to coherent forward neutrino scattering in a medium slightly violates the tree-level universality of neutral-current contributions of three neutrino flavors to the matter potential that is relevant to neutrino oscillations in matter. We examine this small but nontrivial quantum effect by deriving the differential equations of those effective neutrino oscillation quantities with respect to the electron number density of matter. The tree-level Toshev relation $\sin 2\tilde{\theta}_{23} \sin\tilde{\delta} = \sin 2\theta_{23} \sin\delta$, which links the fundamental flavor-mixing and CP-violating parameters


title: Forecasting Algorithms for Causal Inference with Panel Data

abstract: Conducting causal inference with panel data is a core challenge in social science research. We adapt a deep neural architecture for time series forecasting (the N-BEATS algorithm) to more accurately impute the counterfactual evolution of a treated unit had treatment not occurred. Across a range of settings, the resulting estimator (``SyNBEATS'') significantly outperforms commonly employed methods (synthetic controls, two-way fixed effects), and attains comparable or more accurate performance compared to recently proposed methods (synthetic difference-in-differences, matrix completion). An implementation of this estimator is available for public use. Our results highlight how advances in the forecasting literature can be harnessed to improve causal inference in panel data settings.


title: Left seminear-rings, groups semidirect products and left cancellative left semi-braces

abstract: We study some relations between left cancellative left semi-braces and other existing algebraic structures. In particular, we show that every left semi-brace arises from a left seminear-ring, extending the correspondence given by Rump between skew left braces and left near-rings in \cite{rump2019set}. Moreover, we show a correspondence between certain groups semidirect products and left cancellative left semi-braces satisfying an additional hypothesis on the set of idempotents. As an application, we classify left cancellative left semi-braces of size $pq$ and $2p^2$ such that the set of idempotents $E$ is a Sylow subgroup of the multiplicative group. Finally, we study various type of nilpotency, recently introduced in \cite{catino2022nilpotency}, of these left semi-braces.


title: Parameterized Algorithms for Locally Minimal Defensive Alliance

abstract: A set $D$ of vertices of a graph is a \emph{defensive alliance} if, for each element of $D$, the majority of its neighbours are in $D$. We consider the notion of local minimality in this paper. We are interested in finding a locally minimal defensive alliance of maximum size. In Locally Minimal Defensive Alliance problem, given an undirected graph $G$, a positive integer $k$, the question is to check whether $G$ has a locally minimal defensive alliance of size at least $k$. This problem is known to be NP-hard, but its parameterized complexity remains open until now. We enhance our understanding of the problem from the viewpoint of parameterized complexity. The main results of the paper are the following: (1) Locally Minimal Defensive Alliance restricted to the graphs of minimum degree at least 2 is fixed-parameter tractable (FPT) when parameterized by the combined parameters solution size $k$, and maximum degree $\Delta$ of the input graph, (2) Locally Minimal Defensive Alliance on the graphs of minimum degree at least 2, admits a kernel with at most $k^{k^{\mathcal{O}(k)}}$ vertices. In particular, the problem parameterized by $k$ restricted to $C_3$-free and $C_4$-free graphs of minimum degree at least 2, admits a kernel with at most $k^{\mathcal{O}(k)}$ vertices. Moreover, we prove that the problem on planar graphs of minimum degree at least 2, admits an FPT algorithm with running time $\mathcal{O}^{*}(k^{2^{\mathcal{O}(\sqrt{k})}})$. Finally, we prove that (4) Locally Minimal Defensive Alliance Extension is NP-complete.


title: Pitching strategy evaluation via stratified analysis using propensity score

abstract: Recent measurement technologies enable us to analyze baseball at higher levels. There are, however, still many unclear points around the pitching strategy. The two elements make it difficult to measure the effect of pitching strategy. First, most public datasets do not include location data where the catcher demands a ball, which is essential information to obtain the battery's intent. Second, there are many confounders associated with pitching/batting results when evaluating pitching strategy. We here clarify the effect of pitching attempts to a specific location, e.g., inside or outside. We employ a causal inference framework called stratified analysis using a propensity score to evaluate the effects while removing the effect of disturbing factors. We used a pitch-by-pitch dataset of Japanese professional baseball games held in 2014-2019, which includes location data where the catcher demands a ball. The results reveal that an outside pitching attempt is more effective than an inside one to minimize allowed run on average. Besides, the stratified analysis shows that the outside pitching attempt was always effective despite the magnitude of the estimated batter's ability, and the ratio of pitched inside for pitcher/batter. Our analysis would provide practical insights into selecting a pitching strategy to minimize allowed runs.


title: A unified framework for linear thermo-visco-elastic wave propagation including the effects of stress-relaxation

abstract: We present a unified framework for the study of wave propagation in homogeneous linear thermo-visco-elastic (TVE) continua, starting from conservation laws. In free-space such media admit two thermo-compressional modes and a shear mode. We provide asymptotic approximations to the corresponding wavenumbers which facilitate the understanding of dispersion of these modes, and consider common solids and fluids as well as soft materials where creep compliance and stress relaxation are important. We further illustrate how commonly used simpler acoustic/elastic dissipative theories can be derived via particular limits of this framework. Consequently, our framework allows us to: i) simultaneously model interfaces involving both fluids and solids, and ii) easily quantify the influence of thermal or viscous losses in a given configuration of interest. As an example, the general framework is applied to the canonical problem of scattering from an interface between two TVE half spaces in perfect contact. To illustrate, we provide results for fluid-solid interfaces involving air, water, steel and rubber, paying particular attention to the effects of stress relaxation.


title: Investigation of variable temperature M\"ossbauer spectrum of YFe$_{0.5}$Cr$_{0.5}$O$_3$ perovskite

abstract: In this paper, we reported the preparation of YFe$_{0.5}$Cr$_{0.5}$O$_3$ by the sol-gel method and studied its structure and M\"ossbauer spectrum at variable temperatures. X-ray diffraction(XRD) analysis exhibits that the sample has the orthorhombic structure with the Pnma space group, and the energy dispersive spectroscopy (EDS) analysis shows that the sample has Fe/Cr = 1:1, indicating that the sample is Fe half-doped YCrO$_3$. The hyperfine parameters of the M\"ossbauer spectrum at room temperature confirm that the characteristics of 57Fe in the sample were trivalent hexacoordinated high-spin(s=5/2), and the coexistence of doublet and the sextets at 250K indicate that the sample has superparamagnetic relaxation. The M\"ossbauer spectrum records the magnetic phase transition in the temperature range of 250K-300K.


title: Hardy inequalities on constant-order noncommutative Vilenkin groups

abstract: In this note we extend several integral inequalities to the context of noncommutative Vilenkin groups. We prove some sharp weak and strong type estimates for the Hardy operator and the Hardy-Littlewood-P{\'o}lya operator on constant-order noncommutative Vilenkin groups. In particular for graded $\K$-Lie groups, where $\K$ is a non-archimedean local field, we additionally provide some functional inequalities, like the Hardy-Littlewood-Sobolev unequality and the Stein-Weiss inequality, linking some classes of homogeneous pseudo-differential operators, like the Vladimirov-Taibleson operator and the Vladimirov Laplacian, with Hardy inequalities.


title: Smart Explorer: Recognizing Objects in Dense Clutter via Interactive Exploration

abstract: Recognizing objects in dense clutter accurately plays an important role to a wide variety of robotic manipulation tasks including grasping, packing, rearranging and many others. However, conventional visual recognition models usually miss objects because of the significant occlusion among instances and causes incorrect prediction due to the visual ambiguity with the high object crowdedness. In this paper, we propose an interactive exploration framework called Smart Explorer for recognizing all objects in dense clutters. Our Smart Explorer physically interacts with the clutter to maximize the recognition performance while minimize the number of motions, where the false positives and negatives can be alleviated effectively with the optimal accuracy-efficiency trade-offs. Specifically, we first collect the multi-view RGB-D images of the clutter and reconstruct the corresponding point cloud. By aggregating the instance segmentation of RGB images across views, we acquire the instance-wise point cloud partition of the clutter through which the existed classes and the number of objects for each class are predicted. The pushing actions for effective physical interaction are generated to sizably reduce the recognition uncertainty that consists of the instance segmentation entropy and multi-view object disagreement. Therefore, the optimal accuracy-efficiency trade-off of object recognition in dense clutter is achieved via iterative instance prediction and physical interaction. Extensive experiments demonstrate that our Smart Explorer acquires promising recognition accuracy with only a few actions, which also outperforms the random pushing by a large margin.


title: Contrastive Positive Mining for Unsupervised 3D Action Representation Learning

abstract: Recent contrastive based 3D action representation learning has made great progress. However, the strict positive/negative constraint is yet to be relaxed and the use of non-self positive is yet to be explored. In this paper, a Contrastive Positive Mining (CPM) framework is proposed for unsupervised skeleton 3D action representation learning. The CPM identifies non-self positives in a contextual queue to boost learning. Specifically, the siamese encoders are adopted and trained to match the similarity distributions of the augmented instances in reference to all instances in the contextual queue. By identifying the non-self positive instances in the queue, a positive-enhanced learning strategy is proposed to leverage the knowledge of mined positives to boost the robustness of the learned latent space against intra-class and inter-class diversity. Experimental results have shown that the proposed CPM is effective and outperforms the existing state-of-the-art unsupervised methods on the challenging NTU and PKU-MMD datasets.


title: Deep Learning Closure Models for Large-Eddy Simulation of Flows around Bluff Bodies

abstract: A deep learning (DL) closure model for large-eddy simulation (LES) is developed and evaluated for incompressible flows around a rectangular cylinder at moderate Reynolds numbers. Near-wall flow simulation remains a central challenge in aerodynamic modeling: RANS predictions of separated flows are often inaccurate, while LES can require prohibitively small near-wall mesh sizes. The DL-LES model is trained using adjoint PDE optimization methods to match, as closely as possible, direct numerical simulation (DNS) data. It is then evaluated out-of-sample (i.e., for new aspect ratios and Reynolds numbers not included in the training data) and compared against a standard LES model (the dynamic Smagorinsky model). The DL-LES model outperforms dynamic Smagorinsky and is able to achieve accurate LES predictions on a relatively coarse mesh (downsampled from the DNS grid by a factor of four in each Cartesian direction). We study the accuracy of the DL-LES model for predicting the drag coefficient, mean flow, and Reynolds stress. A crucial challenge is that the LES quantities of interest are the steady-state flow statistics; for example, the time-averaged mean velocity $\bar{u}(x) = \displaystyle \lim_{t \rightarrow \infty} \frac{1}{t} \int_0^t u(s,x) ds$. Calculating the steady-state flow statistics therefore requires simulating the DL-LES equations over a large number of flow times through the domain; it is a non-trivial question whether an unsteady partial differential equation model whose functional form is defined by a deep neural network can remain stable and accurate on $t \in [0, \infty)$. Our results demonstrate that the DL-LES model is accurate and stable over large physical time spans, enabling the estimation of the steady-state statistics for the velocity, fluctuations, and drag coefficient of turbulent flows around bluff bodies relevant to aerodynamic applications.


title: Evaluation of the response of plastic scintillator bars and measurement of neutron capture time in non-reactor environment for the ISMRAN experiment

abstract: We present a detailed study on detector response to different radioactive sources and the measurements of non-reactor environmental backgrounds with the Indian Scintillator Matrix for Reactor Anti-Neutrinos (ISMRAN) detector setup consisting of 9$\times$10 Plastic Scintillator Bars (PSBs) array at BARC, Mumbai. These measurements are useful in the context of the ISMRAN detector setup, which will be used to detect the reactor anti-neutrinos (${\bar{\ensuremath{\nu}}}_{e}$) and measure its energy spectra, through the inverse beta decay (IBD) process. A GEANT4 based Monte Carlo (MC) simulation is used to understand the optical transmission, energy resolution and energy non-linearity of the ISMRAN detector. A detailed analysis procedure has been developed to understand the natural radioactive, cosmogenic and cosmic muon-induced backgrounds with the ISMRAN detector setup in a non-reactor environment, based on their energy deposition, number of bars hit as well as topological event selection criteria in position and time for triggered events. Data and MC simulated distributions of reconstructed sum energy and number of bars hit has been compared for the radioactive $\gamma$ + positron source such as $\mathrm{{}^{22}Na}$ placed at the center of the ISMRAN array. Fast neutron energy response and capture time distribution in ISMRAN array has been studied using a novel technique involving Time of Flight (TOF) of the measured fast neutrons. The observed characteristic neutron capture time ( $\tau$ ) of 68.29 $\pm$ 9.48 $\mu$s is in good agreement with $\sim$65 $\mu$s obtained from MC simulation. These experimentally measured results will be useful for discriminating the correlated and uncorrelated background events from the true IBD events in reactor ON and OFF conditions inside the reactor hall.


title: NeuCASL: From Logic Design to System Simulation of Neuromorphic Engines

abstract: With Moore's law saturating and Dennard scaling hitting its wall, traditional Von Neuman systems cannot offer the GFlops/watt for compute-intensive algorithms such as CNN. Recent trends in unconventional computing approaches give us hope to design highly energy-efficient computing systems for such algorithms. Neuromorphic computing is a promising such approach with its brain-inspired circuitry, use of emerging technologies, and low-power nature. Researchers use a variety of novel technologies such as memristors, silicon photonics, FinFET, and carbon nanotubes to demonstrate a neuromorphic computer. However, a flexible CAD tool to start from neuromorphic logic design and go up to architectural simulation is yet to be demonstrated to support the rise of this promising paradigm. In this project, we aim to build NeuCASL, an opensource python-based full system CAD framework for neuromorphic logic design, circuit simulation, and system performance and reliability estimation. This is a first of its kind to the best of our knowledge.


title: A gradient method exploiting the two dimensional quadratic termination property

abstract: The quadratic termination property is important to the efficiency of gradient methods. We consider equipping a family of gradient methods, where the stepsize is given by the ratio of two norms, with two dimensional quadratic termination. Such a desired property is achieved by cooperating with a new stepsize which is derived by maximizing the stepsize of the considered family in the next iteration. It is proved that each method in the family will asymptotically alternate in a two dimensional subspace spanned by the eigenvectors corresponding to the largest and smallest eigenvalues. Based on this asymptotic behavior, we show that the new stepsize converges to the reciprocal of the largest eigenvalue of the Hessian. Furthermore, by adaptively taking the long Barzilai--Borwein stepsize and reusing the new stepsize with retard, we propose an efficient gradient method for unconstrained quadratic optimization. We prove that the new method is $R$-linearly convergent with a rate of $1-1/\kappa$, where $\kappa$ is the condition number of Hessian. Numerical experiments show the efficiency of our proposed method.


title: Representing the stress and strain energy of elastic solids with initial stress and transverse texture anisotropy

abstract: Real-world solids, such as rocks, soft tissues, and engineering materials, are often under some form of stress. Most real materials are also, to some degree, anisotropic due to their microstructure, a characteristic often called the `texture anisotropy'. This anisotropy can stem from preferential grain alignment in polycrystalline materials, aligned micro-cracks, or structural reinforcement, such as collagen bundles in biological tissues, steel rods in prestressed concrete and reinforcing fibres in composites. Here we establish a framework for initially stressed solids with transverse texture anisotropy. We consider that the strain energy per unit mass of the reference is an explicit function of the elastic deformation gradient, the initial stress tensor, and the texture anisotropy. We determine the corresponding constitutive relations and develop examples of nonlinear strain energies which depend explicitly on the initial stress and direction of texture anisotropy. As an application, we then employ these models to analyse the stress distribution of an inflated initially stressed cylinder with texture anisotropy, and the tension of a welded metal plate. We also deduce the elastic moduli needed to describe linear elasticity from stress reference with transverse texture anisotropy. As an example we show how to measure the stress with small-amplitude shear waves.


title: The Schur multiplier of some finite multiplicative Lie algebras

abstract: The main aim of the article is to find the Schur multiplier and the Lie exterior square of some finite multiplicative Lie algebras. For a non abelian simple group $K$ with trivial Schur multiplier, we see that the Schur multiplier of multiplicative Lie algebra $K$ is trivial and the Lie exterior square of $K$ is an improper multiplicative Lie algebra $K.$


title: On the parabolic Donaldson's equation over a compact complex manifold

abstract: We prove the uniqueness and long time existence of the smooth solution to a parabolic Donaldson's equation on a compact complex manifold $M$.Then we show that a suitably normalized solution converges to a smooth function on $M$ in $C^\infty$ topology as $t\rightarrow\infty$.


title: "All of them claim to be the best": Multi-perspective study of VPN users and VPN providers

abstract: As more users adopt VPNs for a variety of reasons, it is important to develop empirical knowledge of their needs and mental models of what a VPN offers. Moreover, studying VPN users alone is not enough because, by using a VPN, a user essentially transfers trust, say from their network provider, onto the VPN provider. To that end, we are the first to study the VPN ecosystem from both the users' and the providers' perspectives. In this paper, we conduct a quantitative survey of 1,252 VPN users in the U.S. and qualitative interviews of nine providers to answer several research questions regarding the motivations, needs, threat model, and mental model of users, and the key challenges and insights from VPN providers. We create novel insights by augmenting our multi-perspective results, and highlight cases where the user and provider perspectives are misaligned. Alarmingly, we find that users rely on and trust VPN review sites, but VPN providers shed light on how these sites are mostly motivated by money. Worryingly, we find that users have flawed mental models about the protection VPNs provide, and about data collected by VPNs. We present actionable recommendations for technologists and security and privacy advocates by identifying potential areas on which to focus efforts and improve the VPN ecosystem.


title: Multi-Task Transformer with uncertainty modelling for Face Based Affective Computing

abstract: Face based affective computing consists in detecting emotions from face images. It is useful to unlock better automatic comprehension of human behaviours and could pave the way toward improved human-machines interactions. However it comes with the challenging task of designing a computational representation of emotions. So far, emotions have been represented either continuously in the 2D Valence/Arousal space or in a discrete manner with Ekman's 7 basic emotions. Alternatively, Ekman's Facial Action Unit (AU) system have also been used to caracterize emotions using a codebook of unitary muscular activations. ABAW3 and ABAW4 Multi-Task Challenges are the first work to provide a large scale database annotated with those three types of labels. In this paper we present a transformer based multi-task method for jointly learning to predict valence arousal, action units and basic emotions. From an architectural standpoint our method uses a taskwise token approach to efficiently model the similarities between the tasks. From a learning point of view we use an uncertainty weighted loss for modelling the difference of stochasticity between the three tasks annotations.


title: Tunable two-dimensional superconductivity and spin-orbit coupling at the EuO/KTaO3(110) interface

abstract: Unconventional quantum states, most notably the two-dimensional (2D) superconductivity, have been realized at the interfaces of oxide heterostructures where they can be effectively tuned by the gate voltage ($V_G$). Here we report that the interface between high-quality EuO (111) thin film and KTaO3 (KTO) (110) substrate shows superconductivity with onset transition temperature $T_c^{onset}$ = 1.35 K. The 2D nature of superconductivity is verified by the large anisotropy of the upper critical field and the characteristics of a Berezinskii-Kosterlitz-Thouless transition. By applying $V_G$, $T_c^{onset}$ can be tuned from ~ 1 to 1.7 K; such an enhancement can be possibly associated with a boosted spin-orbit energy ${\epsilon}_{so}$ = $\hbar$ / ${\tau}_{so}$, where ${\tau}_{so}$ is the spin-orbit relaxation time. Further analysis of ${\tau}_{so}$ based on the upper critical field ($H_{c2}$) and magnetoconductance reveals complex nature of spin-orbit coupling (SOC) at the EuO/KTO(110) interface with different mechanisms dominate the influence of SOC effects for the superconductivity and the magnetotransport in the normal state. Our results demonstrate that the SOC should be considered as an important factor determining the 2D superconductivity at oxide interfaces.


title: FRBSTATS: A web-based platform for visualization of fast radio burst properties

abstract: The study of fast radio bursts (FRBs) is of great importance, and is a topic that has been extensively researched, particularly in recent years. While the extreme nature of FRBs can serve as a tool for researchers to probe the intergalactic medium and study exotic aspects of the Universe, keeping track of FRB properties is challenged by the frequent detection of new bursts. We introduce the FRBSTATS platform, which provides an up-to-date and user-friendly web interface to an open-access catalogue of published FRBs, along with a statistical overview of the observed events. The platform supports the retrieval of fundamental FRB data either directly through the FRBSTATS API, or in the form of a CSV/JSON-parsed database, while enabling the plotting of parameters and their distributions, for a variety of visualizations. These features allow researchers to conduct population studies and comparisons with astrophysical models, describing the origin and emission mechanism behind these sources. So far, the inferred redshift estimates of 813 bursts have been computed, providing the first public database that includes redshift estimates inferred from dispersion measure entries for nearly all observed FRBs, as well as host redshifts (where available). Lastly, the platform provides a visualization tool that illustrates associations between primary bursts and repeaters, complementing basic repeater information provided by the Transient Name Server. In this work, we present the structure of the platform, the established version control system, as well as the strategy for keeping such an open database up to date. Additionally, we introduce a novel, computationally-efficient, clustering-based approach that enables unsupervised classification of hundreds of bursts into repeaters and non-repeaters, resulting in the discovery of one new FRB repeater.


title: Inflation Alternative via the Gravitational Field of a Singularity

abstract: We explore the scenario that the observable universe emerged from the vicinity of a negative mass ring singularity, and all content of the universe travels at the same group velocity close to the speed of light on a geodesic trajectory along the axis of rotation of the singularity. In appropriate coordinate parametrization and evaluated on the trajectory, we find that the metric tensor in the vicinity of the trajectory exhibits a conformal scale factor $a(\eta)$ with contraction and subsequent expansion properties that solve the horizon problem. We then introduce a static flow of gravitating radiation along the trajectory (perturbatively with respect to the mass scale of the singularity) to model a homogeneous radiation dominated universe. Solving the Einstein field equations with a physically motivated ansatz of metric perturbation then reveals that the effective conformal scale factor indeed grows asymptotically with the same power law as expected in a conventional radiation dominated universe.


title: Two-loop mixed QCD-EW corrections to neutral current Drell-Yan

abstract: We present the mixed QCD-EW two-loop virtual amplitudes for the neutral current Drell-Yan production, one of the bottlenecks for the complete calculation of the NNLO mixed QCD-EW corrections. We present the computational details and the first steps towards their automation. We describe the evaluation of all the relevant two-loop Feynman integrals using analytical and semi-analytical methods, the subtraction of the universal infrared singularities and present the numerical evaluation of the finite remainder.


title: Transport in electron-photon systems

abstract: We review the description and modeling of transport phenomena among the electron systems coupled via scalar or vector photons. It consists of three parts. The first part is about scalar photons, i.e., Coulomb interactions. The second part is with transverse photons described by vector potentials. The third part is on $\phi=0$ or temporal gauge, which is a full theory of the electrodynamics. We use the nonequilibrium Green's function (NEGF) formalism as a basic tool to study steady-state transport. Although with local equilibrium it is equivalent to the fluctuational electrodynamics (FE), the advantage of NEGF is that it can go beyond FE due to its generality. We have given a few examples in the review, such as transfer of heat between graphene sheets driven by potential bias, emission of light by a double quantum dot, and emission of energy, momentum, and angular momentum from a graphene nanoribbon. All of these calculations are based on a generalization of the Meir-Wingreen formula commonly used in electronic transport in mesoscopic systems, with materials properties represented by photon self-energy, coupled with the Keldysh equation and the solution to the Dyson equation.


title: Migration-Contagion Processes

abstract: Consider a migration process based on a closed network of N stations with K_N customers. Each station is a ./M/\infty queue with service (migration) rate mu. Upon departure, a customer is routed at random to another station. In addition to migration, these customers are subject to an SIS (Susceptible, Infected, Susceptible) dynamics: customers are either I for infected, or S for susceptible. They can swap their state either from I to S or from S to I only in stations. At any station, each S customer becomes I with rate alpha Y if there are Y infected customers in the station, and each I customer recovers and becomes S with rate beta. We let N tend to infinity and assume that lim_{N\to infty} K_N/N= eta>0. The main problem is about the set of parameters for which there exists a stationary regime where the epidemic survives in the thermodynamic limit. We establish several structural properties of the system, which allow us to give the phase transition diagram of this thermodynamic limit w.r.t. eta. The analysis of the SIS model reduces to that of a wave-type PDE for which we found no explicit solution. This SIS model is one among several companion stochastic processes with migration and contagion. Two of them are discussed as they provide some bounds and approximations to SIS. These two variants are the DOCS (Departure On Change of State) and the AIR (Averaged Infection Rate), which both admit closed-form solutions. The AIR system is a mean-field model where the infection mechanism is based on the empirical average of the number of infected customers in all stations. The latter admits a product-form solution. DOCS features accelerated migration in that each change of SIS state implies an immediate departure. It leads to another wave-type PDE that admits a closed-form solution.


title: Group structure of the $p$-adic ball and dynamical system of isometry on a sphere

abstract: In this paper the group structure of the $p$-adic ball and sphere are studied. The dynamical system of isometry defined on invariant sphere is investigated. We define the binary operations $\oplus$ and $\odot$ on a ball and sphere respectively, and prove that this sets are compact topological abelian group with respect to the operations. Then we show that any two balls (spheres) with positive radius are isomorphic as groups. We prove that the Haar measure introduced in $\mathbb Z_p$ is also a Haar measure on an arbitrary balls and spheres. We study the dynamical system generated by the isometry defined on a sphere, and show that the trajectory of any initial point that is not a fixed point isn't convergent. We study ergodicity of this $p$-adic dynamical system with respect to normalized Haar measure reduced on the sphere. For $p\geq 3$ we prove that the dynamical systems are not ergodic. But for $p=2$ under some conditions the dynamical system may be ergodic.


title: Semiconductor Defect Detection by Hybrid Classical-Quantum Deep Learning

abstract: With the rapid development of artificial intelligence and autonomous driving technology, the demand for semiconductors is projected to rise substantially. However, the massive expansion of semiconductor manufacturing and the development of new technology will bring many defect wafers. If these defect wafers have not been correctly inspected, the ineffective semiconductor processing on these defect wafers will cause additional impact to our environment, such as excessive carbon dioxide emission and energy consumption. In this paper, we utilize the information processing advantages of quantum computing to promote the defect learning defect review (DLDR). We propose a classical-quantum hybrid algorithm for deep learning on near-term quantum processors. By tuning parameters implemented on it, quantum circuit driven by our framework learns a given DLDR task, include of wafer defect map classification, defect pattern classification, and hotspot detection. In addition, we explore parametrized quantum circuits with different expressibility and entangling capacities. These results can be used to build a future roadmap to develop circuit-based quantum deep learning for semiconductor defect detection.


title: A classical approach to relative quadratic extensions

abstract: We show that we can develop from scratch and using only classical language a theory of relative quadratic extensions of a given number field $K$ which is as explicit and easy as for the well-known case that $K$ is the field of rational numbers. As an application we prove a reciprocity law which expresses the number of solutions of a given quadratic equation modulo an integral ideal $\mathfrak{a}$ of $K$ in terms of $\mathfrak{a}$ modulo the discriminant of the equation. We study various $L$-functions associated to relative quadratic extensions. In particular, we define, for totally negative algebraic integers $\Delta$ of a totally real number field $K$ which are squares modulo~$4$, numbers $H(\Delta,K)$, which share important properties of classical Hurwitz class numbers. In an appendix we give a quick elementary proof of certain deeper properties of the Hilbert symbol on higher unit groups of dyadic local number fields.


title: Follow Me: Conversation Planning for Target-driven Recommendation Dialogue Systems

abstract: Recommendation dialogue systems aim to build social bonds with users and provide high-quality recommendations. This paper pushes forward towards a promising paradigm called target-driven recommendation dialogue systems, which is highly desired yet under-explored. We focus on how to naturally lead users to accept the designated targets gradually through conversations. To this end, we propose a Target-driven Conversation Planning (TCP) framework to plan a sequence of dialogue actions and topics, driving the system to transit between different conversation stages proactively. We then apply our TCP with planned content to guide dialogue generation. Experimental results show that our conversation planning significantly improves the performance of target-driven recommendation dialogue systems.


title: On equidistribution theorem for multi-sequences of holomorphic line bundles

abstract: Given several sequences of Hermitian holomorphic line bundles $\{(L_{kp}, h_{kp})\}_{p=1}^{\infty}$, we establish the distribution of common zeros of random holomorphic sections of $L_{kp}$ with respect to singular measures. We also study the dimension growth for a sequence of pseudo-effective line bundles.


title: A Set-Theoretic Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers

abstract: Let $\mathcal{L}_{\mathcal{X}}$ be the language of first-order, decidable theory $\mathcal{X}$. Consider the language, $\mathcal{L}_{\mathcal{RQ}}(\mathcal{X})$, that extends $\mathcal{L}_{\mathcal{X}}$ with formulas of the form $\forall x \in A: \phi$ (restricted universal quantifier, RUQ) and $\exists x \in A: \phi$ (restricted existential quantifier, REQ), where $A$ is a finite set and $\phi$ is a formula made of $\mathcal{X}$-formulas, RUQ and REQ. That is, $\mathcal{L}_{\mathcal{RQ}}(\mathcal{X})$ admits nested restricted quantifiers. In this paper we present a decision procedure for $\mathcal{L}_{\mathcal{RQ}}(\mathcal{X})$ based on the decision procedure already defined for the Boolean algebra of finite sets extended with restricted intensional sets ($\mathcal{L}_\mathcal{RIS}$). The implementation of the decision procedure as part of the $\{log\}$ (`setlog') tool is also introduced. The usefulness of the approach is shown through a number of examples drawn from several real-world case studies.


title: Non-solvable groups whose character degree graph has a cut-vertex. II

abstract: Let $G$ be a finite group, and let ${\rm{cd}}(G)$ denote the set of degrees of the irreducible complex characters of $G$. Define then the character degree graph $\Delta(G)$ as the (simple undirected) graph whose vertices are the prime divisors of the numbers in ${\rm{cd}}(G)$, and two distinct vertices $p$, $q$ are adjacent if and only if $pq$ divides some number in ${\rm{cd}}(G)$. This paper continues the work, started in [7], toward the classification of the finite non-solvable groups whose degree graph possesses a cut-vertex, i.e., a vertex whose removal increases the number of connected components of the graph. While, in [7], groups with no composition factors isomorphic to ${\rm{PSL}}_2(t^a)$ (for any prime power $t^a\geq 4$) were treated, here we consider the complementary situation in the case when $t$ is odd and $t^a> 5$. The proof of this classification will be then completed in the third and last paper of this series ([8]), that deals with the case $t=2$.


title: Recurrent networks, hidden states and beliefs in partially observable environments

abstract: Reinforcement learning aims to learn optimal policies from interaction with environments whose dynamics are unknown. Many methods rely on the approximation of a value function to derive near-optimal policies. In partially observable environments, these functions depend on the complete sequence of observations and past actions, called the history. In this work, we show empirically that recurrent neural networks trained to approximate such value functions internally filter the posterior probability distribution of the current state given the history, called the belief. More precisely, we show that, as a recurrent neural network learns the Q-function, its hidden states become more and more correlated with the beliefs of state variables that are relevant to optimal control. This correlation is measured through their mutual information. In addition, we show that the expected return of an agent increases with the ability of its recurrent architecture to reach a high mutual information between its hidden states and the beliefs. Finally, we show that the mutual information between the hidden states and the beliefs of variables that are irrelevant for optimal control decreases through the learning process. In summary, this work shows that in its hidden states, a recurrent neural network approximating the Q-function of a partially observable environment reproduces a sufficient statistic from the history that is correlated to the relevant part of the belief for taking optimal actions.


title: Characterizing the Daytime Sextantids Meteor Shower and Unveiling the Nature of the Phaethon-Geminid Stream Complex

abstract: The Daytime Sextantids meteor shower, part of the Phaethon-Geminid Stream Complex (PGC), is closely related to the Geminids, currently the strongest meteor shower visible at the Earth. The DSX share a similar orbit to asteroid 2005 UD, but the nature of the association remains unclear. From optical data we find that DSX meteors ablate similarly to Geminids, suggesting that they are also high density and consistent with a common origin. From radar data we have isolated 19,007 DSX orbits through application of a novel convex hull approach to determine stream membership. We find at the peak the mean semi-major axis is near 1 AU, eccentricity is 0.86 and that both decrease as a function of solar longitude. The inclination averages 25 degrees at the peak but increases over time. Noticeable DSX activity extends from solar longitude 173-196$^{\circ}$ with a flux plateau between 186 - 189$^{\circ}$. The peak flux is $2 \pm 0.05 \times 10^{-3}$ km$^{-2}$ hr$^{-1}$, equivalent to a ZHR of 20. We estimate a true differential mass index for the shower of $s = 1.64 \pm 0.06$ at the time of peak and an average of $1.70 \pm 0.07$ for days surrounding the peak. The mass of the DSX stream is estimated to be $10^{16}$ g, the same order as 2005 UD, suggesting the stream is too massive to have been created by recent meteoroid production from 2005 UD. We propose that the DSX and 2005 UD were created in the same break-up event that created 3200 Phaethon.


title: Integers for Radical Extensions of Odd Prime Degree as Product of Subrings

abstract: For a radical extension K of odd prime degree the ring O_K of integers is constructed as a product of subrings with the following property: for all prime divisors q of the discriminant of O_K there is a q-maximal factor. The discriminant of O_K is the greatest common divisor of the discriminants of all factors. The results are applied to give a criterion for the monogeneity of K where the opposite is not true.


title: Generalizing Downsampling from Regular Data to Graphs

abstract: Downsampling produces coarsened, multi-resolution representations of data and it is used, for example, to produce lossy compression and visualization of large images, reduce computational costs, and boost deep neural representation learning. Unfortunately, due to their lack of a regular structure, there is still no consensus on how downsampling should apply to graphs and linked data. Indeed reductions in graph data are still needed for the goals described above, but reduction mechanisms do not have the same focus on preserving topological structures and properties, while allowing for resolution-tuning, as is the case in regular data downsampling. In this paper, we take a step in this direction, introducing a unifying interpretation of downsampling in regular and graph data. In particular, we define a graph coarsening mechanism which is a graph-structured counterpart of controllable equispaced coarsening mechanisms in regular data. We prove theoretical guarantees for distortion bounds on path lengths, as well as the ability to preserve key topological properties in the coarsened graphs. We leverage these concepts to define a graph pooling mechanism that we empirically assess in graph classification tasks, providing a greedy algorithm that allows efficient parallel implementation on GPUs, and showing that it compares favorably against pooling methods in literature.


title: Deep Learning-enabled Spatial Phase Unwrapping for 3D Measurement

abstract: In terms of 3D imaging speed and system cost, the single-camera system projecting single-frequency patterns is the ideal option among all proposed Fringe Projection Profilometry (FPP) systems. This system necessitates a robust spatial phase unwrapping (SPU) algorithm. However, robust SPU remains a challenge in complex scenes. Quality-guided SPU algorithms need more efficient ways to identify the unreliable points in phase maps before unwrapping. End-to-end deep learning SPU methods face generality and interpretability problems. This paper proposes a hybrid method combining deep learning and traditional path-following for robust SPU in FPP. This hybrid SPU scheme demonstrates better robustness than traditional quality-guided SPU methods, better interpretability than end-to-end deep learning scheme, and generality on unseen data. Experiments on the real dataset of multiple illumination conditions and multiple FPP systems differing in image resolution, the number of fringes, fringe direction, and optics wavelength verify the effectiveness of the proposed method.


title: Stochastic MPC with Dual Control for Autonomous Driving with Multi-Modal Interaction-Aware Predictions

abstract: We propose a Stochastic MPC (SMPC) approach for autonomous driving which incorporates multi-modal, interaction-aware predictions of surrounding vehicles. For each mode, vehicle motion predictions are obtained by a control model described using a basis of fixed features with unknown weights. The proposed SMPC formulation finds optimal controls which serves two purposes: 1) reducing conservatism of the SMPC by optimizing over parameterized control laws and 2) prediction and estimation of feature weights used in interaction-aware modeling using Kalman filtering. The proposed approach is demonstrated on a longitudinal control example, with uncertainties in predictions of the autonomous and surrounding vehicles.


title: Multiplex-detection Based Multiple Instance Learning Network for Whole Slide Image Classification

abstract: Multiple instance learning (MIL) is a powerful approach to classify whole slide images (WSIs) for diagnostic pathology. A fundamental challenge of MIL on WSI classification is to discover the \textit{critical instances} that trigger the bag label. However, previous methods are primarily designed under the independent and identical distribution hypothesis (\textit{i.i.d}), ignoring either the correlations between instances or heterogeneity of tumours. In this paper, we propose a novel multiplex-detection-based multiple instance learning (MDMIL) to tackle the issues above. Specifically, MDMIL is constructed by the internal query generation module (IQGM) and the multiplex detection module (MDM) and assisted by the memory-based contrastive loss during training. Firstly, IQGM gives the probability of instances and generates the internal query (IQ) for the subsequent MDM by aggregating highly reliable features after the distribution analysis. Secondly, the multiplex-detection cross-attention (MDCA) and multi-head self-attention (MHSA) in MDM cooperate to generate the final representations for the WSI. In this process, the IQ and trainable variational query (VQ) successfully build up the connections between instances and significantly improve the model's robustness toward heterogeneous tumours. At last, to further enforce constraints in the feature space and stabilize the training process, we adopt a memory-based contrastive loss, which is practicable for WSI classification even with a single sample as input in each iteration. We conduct experiments on three computational pathology datasets, e.g., CAMELYON16, TCGA-NSCLC, and TCGA-RCC datasets. The superior accuracy and AUC demonstrate the superiority of our proposed MDMIL over other state-of-the-art methods.


title: Conjectural positivity of Chern-Schwartz-MacPherson classes for Richardson cells

abstract: Following some work of Aluffi-Mihalcea-Sch\"{u}rmann-Su for the CSM classes of Schubert cells and some elaborate computer calculations by R. Rimanyi and L. Mihalcea, I conjecture that the CSM classes of the Richardson cells expressed in the Schubert basis have nonnegative coefficients. This conjecture was principally motivated by a new product $\square$ coming from the Segre classes in the cohomology of flag varieties (such that the associated Gr of this product is the standard cup product) and the conjecture that the structure constants of this new product $\square$ in the standard Schubert basis have alternating sign behavior. I prove that this conjecture on the sign of the structure constants of $\square$ would follow from my above positivity conjecture about the CSM classes of Richardson cells.


title: MetaEmu: An Architecture Agnostic Rehosting Framework for Automotive Firmware

abstract: In this paper we present MetaEmu, an architecture-agnostic emulator synthesizer geared towards rehosting and security analysis of automotive firmware. MetaEmu improves over existing rehosting environments in two ways: Firstly, it solves the hitherto open-problem of a lack of generic Virtual Execution Environments (VXEs) for rehosting by synthesizing processor simulators from Ghidra's language definitions. In doing so, MetaEmu can simulate any processor supported by a vast and growing library of open-source definitions. In MetaEmu, we use a specification-based approach to cover peripherals, execution models, and analyses, which allows our framework to be easily extended. Secondly, MetaEmu can rehost and analyze multiple targets, each of different architecture, simultaneously, and share analysis facts between each target's analysis environment, a technique we call inter-device analysis. We show that the flexibility afforded by our approach does not lead to a performance trade-off -- MetaEmu lifts rehosted firmware to an optimized intermediate representation, and provides performance comparable to existing emulation tools, such as Unicorn. Our evaluation spans five different architectures, bare-metal and RTOS-based firmware, and three kinds of automotive Electronic Control Unit (ECU) from four distinct vendors -- none of which can be rehosted or emulated by current tools, due to lack of processor support. Further, we show how MetaEmu enables a diverse set of analyses by implementing a fuzzer, a symbolic executor for solving peripheral access checks, a CAN ID reverse engineering tool, and an inter-device coverage tracker.


title: Collision Avoidance for Dynamic Obstacles with Uncertain Predictions using Model Predictive Control

abstract: We propose a Model Predictive Control (MPC) for collision avoidance between an autonomous agent and dynamic obstacles with uncertain predictions. The collision avoidance constraints are imposed by enforcing positive distance between convex sets representing the agent and the obstacles, and tractably reformulating them using Lagrange duality. This approach allows for smooth collision avoidance constraints even for polytopes, which otherwise require mixed-integer or non-smooth constraints. We consider three widely used descriptions of the uncertain obstacle position: 1) Arbitrary distribution with polytopic support, 2) Gaussian distributions and 3) Arbitrary distribution with first two moments known. For each case we obtain deterministic reformulations of the collision avoidance constraints. The proposed MPC formulation optimizes over feedback policies to reduce conservatism in satisfying the collision avoidance constraints. The proposed approach is validated using simulations of traffic intersections in CARLA.


title: Bounds on ultralight bosons from the Event Horizon Telescope observation of Sgr A$^*$

abstract: Recent observation of Sagittarius A$^*$ (Sgr A$^*$) by the Event Horizon Telescope (EHT) collaboration has uncovered various unanswered questions in black hole (BH) physics. Besides, it may also probe various beyond the Standard Model (BSM) scenarios. One of the most profound possibilities is the search for ultralight bosons (ULBs) using BH superradiance (SR). EHT observations imply that Sgr A$^*$ has a non-zero spin. Using this observation, we derive bounds on the mass of ULBs with purely gravitational interactions. Considering self-interacting ultralight axions, we constrain new regions in the parameter space of decay constant, for a certain spin of Sgr A$^*$. Future observations of various spinning BHs can improve the present constraints on ULBs.

categories: astro-ph.HE astro-ph.CO gr-qc hep-ph hep-th


title: Astrochemical model to study the abundances of branched carbon-chain molecules in a hot molecular core with realistic binding energies

abstract: Straight-chain (normal-propyl cyanide, n - C3H7CN) and branched-chain (iso-propyl cyanide, i - C3H7CN) alkyl cyanides are recently identified in the massive star-forming regions (Sgr B2(N) and Orion). These branched-chain molecules indicate that the key amino acids (side-chain structures) may also be present in a similar region. The process by which this branching could propagate towards the higher-order (butyl cyanide, C4H9CN) is an active field of research. Since the grain catalysis process could have formed a major portion of these species, considering a realistic set of binding energies are indeed essential. We employ quantum chemical calculations to estimate the binding energy of these species considering water as a substrate because water is the principal constituent of this interstellar ice. We find significantly lower binding energy values for these species than were previously used. It is noticed that the use of realistic binding energy values can significantly change the abundance of these species. The branching is more favorable for the higher-order alkyl cyanides with the new binding energies. With the inclusion of our new binding energy values and one essential destruction reaction (i - C3H7CN + H -> CH3C(CH3)CN + H2, having an activation barrier of 947 K), abundances of t - C4H9CN dramatically increased.


title: On Rate-Splitting With Non-unique Decoding In Multi-cell Massive MIMO Systems

abstract: We consider the downlink of a multi-cell massive MIMO system suffering from asymptotic rate saturation due to pilot contamination. As opposed to treating pilot contamination interference as noise (TIN), we study the performance of decoding the pilot contamination interference. We model pilot-sharing users as an interference channel (IC) and study the performance of schemes that decode this interference partially based on rate-splitting (RS), and compare the performance to schemes that decode the interference in its entirety based on simultaneous unique decoding (SD) or non-unique decoding (SND). For RS, we non-uniquely decode each layer of the pilot contamination interference and use one common power splitting coefficient per IC. Additionally, we establish an achievable region for this RS scheme. Solving a maximum symmetric rate allocation problem based on linear programming (LP), we show that for zero-forcing (ZF) with spatially correlated/uncorrelated channels and with a practical number of BS antennas, RS achieves significantly higher spectral efficiencies than TIN, SD and SND. Furthermore, we numerically examine the impact of increasing the correlation of the channel across antennas, the number of users as well as the degree of shadow fading. In all cases, we show that RS maintains significant gain over TIN, SD and SND.


title: Pattern alternations induced by nonlocal interactions

abstract: Pattern formation is a visual understanding of the dynamics of complex systems. Patterns arise in many ways, such as the segmentation of animals, bacterial colonies during growth, vegetation, chemical reactions, etc. In most cases, the long-range diffusion occurs, and the usual reaction-diffusion (RD) model can not capture such phenomena. The nonlocal RD model, on the other hand, can fill the gap. Analytical derivation of the amplitude equations (AE) for an RD system is a valuable tool to predict the pattern selections, in particular, the stationary Turing patterns when they occur. In this paper, we analyze the conditions for the Turing bifurcation for the nonlocal model and also derive the AE for the nonlocal RD model near the Turing bifurcation threshold to describe the reason behind the pattern selections. This derivation of the AE is not only limited to the nonlocal prey-predator model, as shown in our representative example but also can be applied to other nonlocal models near the Turing bifurcation threshold. The analytical prediction agrees with numerical simulation near the Turing bifurcation threshold. Moreover, the analytical and numerical results fit each other well even more remote from the Turing bifurcation threshold for the small values of the nonlocal parameter but not for the higher values.


title: The Nielsen identities in screened theories

abstract: One-loop explicit expressions are derived for the gluon Nielsen identity in the formalism of the screened massive expansion for Yang-Mills theory. The gauge-parameter-independence of the poles and residues is discussed in a strict perturbative context and, more generally, in extended resummation schemes. No exact formal proof was reached by the approximate resummation schemes, but some evidence is gathered in favor of an exact invariance of the phase, consistently with previous numerical studies.


title: A Successful Integration of the Robotic Technology Kernel (RTK) for a By-Wire Electric Vehicle System with a Mobile App Interface

abstract: We were able to complete the full integration of the Robotic Technology Kernel (RTK) into an electric vehicle by-wire system using lidar and GPS sensors. The solution included a mobile application to interface with the RTK-enabled autonomous vehicle. Altogether the system was designed to be modular, using the concepts of message-based software design that is built into the Robot Operating System (ROS), which is at the foundation of RTK. The team worked incrementally to develop working software to demonstrate each milestone on the path to successfully completing the RTK integration for the development of an application called the Vehicle Summoning System (VSS).


title: Effect of the Heliospheric State on CME Evolution

abstract: The culmination of solar cycle 24 by the end of 2019 has created the opportunity to compare the differing properties of coronal mass ejections (CMEs) between two whole solar cycles: Solar cycle 23 (SC 23) and Solar cycle 24 (SC 24). We report on the width evolution of limb CMEs in SC 23 and 24 in order to test the suggestion by Gopalswamy et al. (2015a) that CME flux ropes attain pressure balance at larger heliocentric distances in SC 24. We measure CME width as a function of heliocentric distance for a significantly large number of limb CMEs (~1000) and determine the distances where the CMEs reach constant width in each cycle. We introduced a new parameter: the transition height (hc) of a CME defined as the critical heliocentric distance beyond which the CME width stabilizes to a quasi-constant value. Cycle and phase-to-phase comparisons are based on this new parameter. We find that the average value of hc in SC 24 is 62% higher than in SC 23. SC 24 CMEs attain their peak width at larger distances from the Sun as compared to SC 23 CMEs. The enhanced transition height in SC 24 is new observational ratification of the anomalous expansion. The anomalous expansion of SC 24 CMEs which is caused by the weak state of the heliosphere, accounts for the larger heliocentric distance where the pressure balance between CME flux rope and the ambient medium is attained.


title: Swimming in Complex Fluids

abstract: We review the literature on swimming in complex fluids. A classification is proposed by comparing the length and time scales of a swimmer with those of nearby obstacles, interpreted broadly, extending from rigid or soft confining boundaries to molecules which confer the bulk fluid with complex stresses. A third dimension in the classification is the concentration of swimmers, which incorporates fluids whose complexity arises purely by the collective motion of swimming organisms. For each of the eight system classes which we identify we provide a background and describe modern research findings. While some classes have seen a great deal of attention for decades, others remain uncharted waters still open and awaiting exploration.

categories: physics.flu-dyn cond-mat.soft physics.bio-ph q-bio.CB


title: Generative Models of Multi-channel Data from a Single Example -- Application to Dust Emission

abstract: The quest for primordial $B$-modes in the cosmic microwave background has emphasized the need for refined models of the Galactic dust foreground. Here, we aim at building a realistic statistical model of the multi-frequency dust emission from a single example. We introduce a generic methodology relying on microcanonical gradient descent models conditioned by an extended family of wavelet phase harmonic (WPH) statistics. To tackle the multi-channel aspect of the data, we define cross-WPH statistics, quantifying non-Gaussian correlations between maps. Our data-driven methodology could apply to various contexts, and we have updated the software PyWPH, on which this work relies, accordingly. Applying this to dust emission maps built from a magnetohydrodynamics simulation, we construct and assess two generative models of: 1) a $(I, E, B)$ multi-observable input, 2) a $\{I_\nu\}_\nu$ multi-frequency input. The samples exhibit consistent features compared to the original maps. A statistical analysis of 1) shows that the power spectra, distributions of pixels, and Minkowski functionals are captured to a good extent. We analyze 2) by fitting the spectral energy distribution (SED) of both the synthetic and original maps with a modified blackbody (MBB) law. The maps are equally well fitted, and a comparison of the MBB parameters shows that our model succeeds in capturing the spatial variations of the SED from the data. Besides the perspectives of this work for dust emission modeling, the introduction of cross-WPH statistics opens a new avenue to characterize non-Gaussian interactions across different maps, which we believe will be fruitful for astrophysics.


title: Multiple orthogonal polynomials associated with branched continued fractions for ratios of hypergeometric series

abstract: The main objects of the investigation presented in this paper are branched-continued-fraction representations of ratios of contiguous hypergeometric series and type II multiple orthogonal polynomials on the step-line with respect to linear functionals or measures whose moments are ratios of products of Pochhammer symbols. This is an interesting case study of the recently found connection between multiple orthogonal polynomials and branched continued fractions that gives a clear example of how this connection leads to considerable advances on both topics. We obtain new results about generating polynomials of lattice paths and total positivity of matrices and give new contributions to the general theory of the connection between multiple orthogonal polynomials and branched continued fractions. We construct new branched continued fractions for ratios of contiguous hypergeometric series. We give conditions for positivity of the coefficients of these branched continued fractions and we show that the ratios of products of Pochhammer symbols are generating polynomials of lattice paths for a special case of the same branched continued fractions. We introduce a family of type II multiple orthogonal polynomials on the step-line associated with those branched continued fractions. We present a formula as terminating hypergeometric series for these polynomials, we study their differential properties, and we explicitly find their recurrence relation coefficients. Finally, we focus the analysis of the multiple orthogonal polynomials to the cases where the corresponding branched-continued-fraction coefficients are all positive. In those cases, the orthogonality conditions can be written using measures on the positive real line involving Meijer G-functions and we obtain results about the location of the zeros and the asymptotic behaviour of the polynomials.


title: Non-Markovian behaviour and the dual role of astrocytes in Alzheimer's disease development and propagation

abstract: Alzheimer's disease (AD) is a common neurodegenerative disorder nowadays. Amyloid-beta (A$\beta$) and tau proteins are among the main contributors to the development or propagation of AD. In AD, A$\beta$ proteins clump together to form plaques and disrupt cell functions. On the other hand, the abnormal chemical change in the brain helps to build sticky tau tangles that block the neuron's transport system. Astrocytes generally maintain a healthy balance in the brain by clearing the A$\beta$ plaques (toxic A$\beta$). However, over-activated astrocytes release chemokines and cytokines in the presence of A$\beta$ and react to pro-inflammatory cytokines, further increasing the production of A$\beta$. In this paper, we construct a mathematical model that can capture astrocytes' dual behaviour. Furthermore, we reveal that the disease propagation depends on the current time instance and the disease's earlier status, called the ``memory effect''. We consider a fractional order network mathematical model to capture the influence of such memory effect on AD propagation. We have integrated brain connectome data into the model and studied the memory effect, the dual role of astrocytes, and the brain's neuronal damage. Based on the pathology, primary, secondary, and mixed tauopathies parameters are considered in the model. Due to the mixed tauopathy, different brain nodes or regions in the brain connectome accumulate different toxic concentrations of A$\beta$ and tau proteins. Finally, we explain how the memory effect can slow down the propagation of such toxic proteins in the brain, decreasing the rate of neuronal damage.


title: Strong authentication on smart wireless devices

abstract: The rapid deployment of wireless technologies has given rise to the current situation where mobile phones and other wireless devices have become essential elements in all types of activities, including in the home. In particular, smartphones and laptops are used for wirelessly sharing photos and documents, playing games, browsing websites, and viewing multimedia, for example. This work describes a proposal for both desktop and mobile applications that use Identity-Based Cryptography (IBC) to protect communications between smart wireless devices in the home. It combines the use of IBC for Wi-Fi and Bluetooth communication, with the promising Near Field Communication (NFC) technology for secure authentication. The proposed scheme involves NFC pairing to establish as public key a piece of information linked to the device, such as a phone number or an IP address. In this way, such information can be then used in an IBC scheme for peer-to-peer communication. This is a work in progress, but preliminary implementations of prototypes on several mobile platforms have already produced promising results.


title: Velocity Reconstruction in Puffing Pool Fires with Physics-Informed Neural Networks

abstract: Pool fires are canonical representations of many accidental fires, which can exhibit an unstable unsteady behaviour, known as puffing, which involves a strong coupling between the temperature and velocity fields. Despite their practical relevance to fire research, their experimental study can be limited due to the complexity of measuring relevant quantities in parallel. In this work, we analyse the use of a recent physics-informed machine learning approach, called Hidden Fluid Mechanics (HFM), to reconstruct unmeasured quantities in a puffing pool fire from measured quantities. The HFM framework relies on a Physics-Informed Neural Network (PINN) for this task. A PINN is a neural network that uses both the available data, here the measured quantities, and the physical equations governing the system, here the reacting Navier-Stokes equations, to infer the full fluid dynamic state. This framework is used to infer the velocity field in a puffing pool fire from measurements of density, pressure and temperature. In this work, the dataset used for this test was generated from numerical simulations. It is shown that the PINN is able to reconstruct the velocity field accurately and to infer most features of the velocity field. In addition, it is shown that the reconstruction accuracy is robust with respect to noisy data, and a reduction in the number of measured quantities is explored and discussed. This study opens up the possibility of using PINNs for the reconstruction of unmeasured quantities from measured ones, providing the potential groundwork for their use in experiments for fire research.


title: MonoViT: Self-Supervised Monocular Depth Estimation with a Vision Transformer

abstract: Self-supervised monocular depth estimation is an attractive solution that does not require hard-to-source depth labels for training. Convolutional neural networks (CNNs) have recently achieved great success in this task. However, their limited receptive field constrains existing network architectures to reason only locally, dampening the effectiveness of the self-supervised paradigm. In the light of the recent successes achieved by Vision Transformers (ViTs), we propose MonoViT, a brand-new framework combining the global reasoning enabled by ViT models with the flexibility of self-supervised monocular depth estimation. By combining plain convolutions with Transformer blocks, our model can reason locally and globally, yielding depth prediction at a higher level of detail and accuracy, allowing MonoViT to achieve state-of-the-art performance on the established KITTI dataset. Moreover, MonoViT proves its superior generalization capacities on other datasets such as Make3D and DrivingStereo.


title: Floquet topological phase transitions in a periodically quenched dimer

abstract: We report on the theoretical investigation of the topological properties of a periodically quenched one-dimensional dimerized lattice where a piece-wise constant Hamiltonian switches from $h_1$ to $h_2$ at a partition time $t_p$ within each driving period $T$. We examine different dimerization patterns for $h_1$ and $h_2$ and the interplay with the driving parameters that lead to the emergence of topological states both at zero energy and at the edge of the Brillouin-Floquet quasi-energy zone. We illustrate different phenomena, including the occurrence of both edge states in a semimetal spectrum, the topological transitions, and the generation of zero-energy topological states from trivial snapshots. The role of the different symmetries in our results is also discussed.


title: An Accurate and Explainable Deep Learning System Improves Interobserver Agreement in the Interpretation of Chest Radiograph

abstract: Recent artificial intelligence (AI) algorithms have achieved radiologist-level performance on various medical classification tasks. However, only a few studies addressed the localization of abnormal findings from CXR scans, which is essential in explaining the image-level classification to radiologists. We introduce in this paper an explainable deep learning system called VinDr-CXR that can classify a CXR scan into multiple thoracic diseases and, at the same time, localize most types of critical findings on the image. VinDr-CXR was trained on 51,485 CXR scans with radiologist-provided bounding box annotations. It demonstrated a comparable performance to experienced radiologists in classifying 6 common thoracic diseases on a retrospective validation set of 3,000 CXR scans, with a mean area under the receiver operating characteristic curve (AUROC) of 0.967 (95% confidence interval [CI]: 0.958-0.975). The VinDr-CXR was also externally validated in independent patient cohorts and showed its robustness. For the localization task with 14 types of lesions, our free-response receiver operating characteristic (FROC) analysis showed that the VinDr-CXR achieved a sensitivity of 80.2% at the rate of 1.0 false-positive lesion identified per scan. A prospective study was also conducted to measure the clinical impact of the VinDr-CXR in assisting six experienced radiologists. The results indicated that the proposed system, when used as a diagnosis supporting tool, significantly improved the agreement between radiologists themselves with an increase of 1.5% in mean Fleiss' Kappa. We also observed that, after the radiologists consulted VinDr-CXR's suggestions, the agreement between each of them and the system was remarkably increased by 3.3% in mean Cohen's Kappa.


title: Entropy dissipation estimates for the Boltzmann equation without cut-off

abstract: We prove a bound on the entropy dissipation for the Boltzmann collision operator from below by a weighted $L^p$-Norm. The estimate holds for a wide range of potentials including soft potentials as well as very soft potentials. As an application, we study weak solutions to the spatially homogeneous Boltzmann equation and prove a weighted $L^1_t(L^p_v)$ estimate.


title: Tunable Electromagnetically Induced Multi-Transparencies in Hybrid Optomechanical system Incorporating Atomic Medium

abstract: We consider a hybrid atom-optomechanical system incorporating N identical $\Lambda$-type atoms. The system is subjected to dual optical and phononic drives. We show that by exploiting the optomechanical linear and quadratic interactions, multiple electromagnetic transparency windows are attained. Furthermore, owing to the incorporated mechanical pump, the transparency windows are controlled and tuned. For instance, by adjusting the phase of the external mechanical pump, additional controlling parameters are enabled, and the absorption/emission profiles are enhanced. Our present study provides an efficient approach to modifying propagating signals inside the quantum devices incorporating cavity-optomechanical systems.


title: Mutually Unbiased Bases In 3 and 4 Dimensions Semi-quantum Key Distribution Protocol

abstract: Semi-quantum key distribution is traditionally based on two-level quantum systems. In this paper, an unconditional security of a semi quantum key distribution protocol based on higher-dimensional systems using various mutually unbiased bases is presented. We first consider the three dimensional case using three and four mutually unbiased bases and derive a lower bound for the key rate as a function of the quantum channel's noise. We then generalize the result to a semi-quantum key distribution protocol that employs different number of mutually unbiased bases for four-dimensional states. It is found that basing the semi-quantum key distribution protocol on higher-dimensional mutually unbiased bases can increase the tolerable threshold of the noise and the maximum achievable value of the secret key rate.


title: Effects of Tunable Hydrophobicity on the Collective Hydrodynamics of Janus Particles under Flows

abstract: Active colloidal systems with non-equilibrium self-organization is a long-standing, challenging area in biology. To understand how hydrodynamic flow may be used to actively control self-assembly of Janus particles (JPs), we use a model recently developed for the many-body hydrodynamics of amphiphilic JPs suspended in a viscous background flow (JFM, 941, 2022). We investigate how various morphologies arise from tuning the hydrophobic distribution of the JP-solvent interface. We find JPs assembled into uni-lamella, multi-lamella and striated structures. To introduce dynamics, we include a linear shear flow and a steady Taylor-Green mixing flow, and measure the collective dynamics of JP particles in terms of their (a) free energy from the hydrophobic interactions between the JPs, (b) order parameter for the ordering of JPs in terms of alignment of their directors, and (c) strain parameter that captures the deformation in the assembly. We characterize the effective material properties of the JP structures and find that the uni-lamellar structures increases orientation order under shear flow, the multilamellar structure behaves as a shear thinning fluid, and the striated structure possesses a yield stress. These numerical results provide insights into dynamic control of non-equilibrium active biological systems with similar self-organization.


title: Frozen CLIP Models are Efficient Video Learners

abstract: Video recognition has been dominated by the end-to-end learning paradigm -- first initializing a video recognition model with weights of a pretrained image model and then conducting end-to-end training on videos. This enables the video network to benefit from the pretrained image model. However, this requires substantial computation and memory resources for finetuning on videos and the alternative of directly using pretrained image features without finetuning the image backbone leads to subpar results. Fortunately, recent advances in Contrastive Vision-Language Pre-training (CLIP) pave the way for a new route for visual recognition tasks. Pretrained on large open-vocabulary image-text pair data, these models learn powerful visual representations with rich semantics. In this paper, we present Efficient Video Learning (EVL) -- an efficient framework for directly training high-quality video recognition models with frozen CLIP features. Specifically, we employ a lightweight Transformer decoder and learn a query token to dynamically collect frame-level spatial features from the CLIP image encoder. Furthermore, we adopt a local temporal module in each decoder layer to discover temporal clues from adjacent frames and their attention maps. We show that despite being efficient to train with a frozen backbone, our models learn high quality video representations on a variety of video recognition datasets. Code is available at https://github.com/OpenGVLab/efficient-video-recognition.


title: Polyhedral Relaxations for Optimal Pump Scheduling of Potable Water Distribution Networks

abstract: The classic pump scheduling or Optimal Water Flow (OWF) problem for water distribution networks (WDNs) minimizes the cost of power consumption for a given WDN over a fixed time horizon. In its exact form, the OWF is a computationally challenging mixed-integer nonlinear program (MINLP). It is complicated by nonlinear equality constraints that model network physics, discrete variables that model operational controls, and intertemporal constraints that model changes to storage devices. To address the computational challenges of the OWF, this paper develops tight polyhedral relaxations of the original MINLP, derives novel valid inequalities (or cuts) using duality theory, and implements novel optimization-based bound tightening and cut generation procedures. The efficacy of each new method is rigorously evaluated by measuring empirical improvements in OWF primal and dual bounds over forty-five literature instances. The evaluation suggests that our relaxation improvements, model strengthening techniques, and a thoughtfully selected polyhedral relaxation partitioning scheme can substantially improve OWF primal and dual bounds, especially when compared with similar relaxation-based techniques that do not leverage these new methods.