title: Tensor algebras of subproduct systems and noncommutative function theory

abstract: We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly continuous noncommutative functions on a noncommutative homogeneous variety or, equivalently, when it is residually finite dimensional: this happens precisely when the closed homogeneous ideal associated to the subproduct system satisfies a Nullstellensatz with respect to the algebra of uniformly continuous noncommutative functions on the noncommutative closed unit ball. We show that - in contrast to the finite dimensional case - in the case of infinite dimensional fibers this Nullstellensatz may fail. Finally, we also resolve the isomorphism problem for tensor algebras of subproduct systems: two such tensor algebras are (isometrically) isomorphic if and only if their subproduct systems are isomorphic in an appropriate sense.


title: Place & Play SERS: sample collection and preparation-free surface-enhanced Raman spectroscopy

abstract: The ability to perform sensitive, real-time, in situ, multiplex chemical analysis is indispensable for diverse applications such as human health monitoring, food safety testing, forensic analysis, environmental sensing, and homeland security. Surface-enhanced Raman spectroscopy (SERS) is an effective tool to offer the ability by virtue of its high sensitivity and rapid label-free signal detection as well as the availability of portable Raman spectrometers. Unfortunately, the practical utility of SERS is limited because it generally requires sample collection and preparation, namely, collecting a sample from an object of interest and placing the sample on top of a SERS substrate to perform a SERS measurement. In fact, not all analytes can satisfy this requirement because the sample collection and preparation process may be undesirable, laborious, difficult, dangerous, costly, or time-consuming. Here we introduce "Place & Play SERS" based on an ultrathin, flexible, stretchable, adhesive, biointegratable gold-deposited polyvinyl alcohol (PVA) nanomesh substrate that enables placing the substrate on top of an object of interest and performing a SERS measurement of the object by epi-excitation without the need for touching, destroying, and sampling it. Specifically, we characterized the sensitivity of the gold/PVA nanomesh substrate in the Place & Play SERS measurement scheme and then used the scheme to conduct SERS measurements of both wet and dry objects under nearly real-world conditions. To show the practical utility of Place & Play SERS, we demonstrated two examples of its application: food safety testing and forensic analysis. Our results firmly verified the new measurement scheme of SERS and are expected to extend the potential of SERS by opening up untapped applications of sensitive, real-time, in situ multiplex chemical analysis.


title: Forecasting through deep learning and modal decomposition in two-phase concentric jets

abstract: This work aims to improve fuel chamber injectors' performance in turbofan engines, thus implying improved performance and reduction of pollutants. This requires the development of models that allow real-time prediction and improvement of the fuel/air mixture. However, the work carried out to date involves using experimental data (complicated to measure) or the numerical resolution of the complete problem (computationally prohibitive). The latter involves the resolution of a system of partial differential equations (PDE). These problems make difficult to develop a real-time prediction tool. Therefore, in this work, we propose using machine learning in conjunction with (complementarily cheaper) single-phase flow numerical simulations in the presence of tangential discontinuities to estimate the mixing process in two-phase flows. In this meaning we study the application of two proposed neural network (NN) models as PDE surrogate models. Where the future dynamics is predicted by the NN, given some preliminary information. We show the low computational cost required by these models, both in their training and inference phases. We also show how NN training can be improved by reducing data complexity through a modal decomposition technique called higher order dynamic mode decomposition (HODMD), which identifies the main structures inside flow dynamics and reconstructs the original flow using only these main structures. This reconstruction has the same number of samples and spatial dimension as the original flow, but with a less complex dynamics and preserving its main features. The core idea of this work is to test the limits of applicability of deep learning models to data forecasting in complex fluid dynamics problems. Generalization capabilities of the models are demonstrated by using the same NN architectures to forecast the future dynamics of four different two-phase flows.


title: Frequency Regularization for Improving Adversarial Robustness

abstract: Deep neural networks are incredibly vulnerable to crafted, human-imperceptible adversarial perturbations. Although adversarial training (AT) has proven to be an effective defense approach, we find that the AT-trained models heavily rely on the input low-frequency content for judgment, accounting for the low standard accuracy. To close the large gap between the standard and robust accuracies during AT, we investigate the frequency difference between clean and adversarial inputs, and propose a frequency regularization (FR) to align the output difference in the spectral domain. Besides, we find Stochastic Weight Averaging (SWA), by smoothing the kernels over epochs, further improves the robustness. Among various defense schemes, our method achieves the strongest robustness against attacks by PGD-20, C\&W and Autoattack, on a WideResNet trained on CIFAR-10 without any extra data.


title: Artificial Pupil Dilation for Data Augmentation in Iris Semantic Segmentation

abstract: Biometrics is the science of identifying an individual based on their intrinsic anatomical or behavioural characteristics, such as fingerprints, face, iris, gait, and voice. Iris recognition is one of the most successful methods because it exploits the rich texture of the human iris, which is unique even for twins and does not degrade with age. Modern approaches to iris recognition utilize deep learning to segment the valid portion of the iris from the rest of the eye, so it can then be encoded, stored and compared. This paper aims to improve the accuracy of iris semantic segmentation systems by introducing a novel data augmentation technique. Our method can transform an iris image with a certain dilation level into any desired dilation level, thus augmenting the variability and number of training examples from a small dataset. The proposed method is fast and does not require training. The results indicate that our data augmentation method can improve segmentation accuracy up to 15% for images with high pupil dilation, which creates a more reliable iris recognition pipeline, even under extreme dilation.


title: DDH-QA: A Dynamic Digital Humans Quality Assessment Database

abstract: In recent years, large amounts of effort have been put into pushing forward the real-world application of dynamic digital human (DDH). However, most current quality assessment research focuses on evaluating static 3D models and usually ignores motion distortions. Therefore, in this paper, we construct a large-scale dynamic digital human quality assessment (DDH-QA) database with diverse motion content as well as multiple distortions to comprehensively study the perceptual quality of DDHs. Both model-based distortion (noise, compression) and motion-based distortion (binding error, motion unnaturalness) are taken into consideration. Ten types of common motion are employed to drive the DDHs and a total of 800 DDHs are generated in the end. Afterward, we render the video sequences of the distorted DDHs as the evaluation media and carry out a well-controlled subjective experiment. Then a benchmark experiment is conducted with the state-of-the-art video quality assessment (VQA) methods and the experimental results show that existing VQA methods are limited in assessing the perceptual loss of DDHs.


title: An Adaptive Deep RL Method for Non-Stationary Environments with Piecewise Stable Context

abstract: One of the key challenges in deploying RL to real-world applications is to adapt to variations of unknown environment contexts, such as changing terrains in robotic tasks and fluctuated bandwidth in congestion control. Existing works on adaptation to unknown environment contexts either assume the contexts are the same for the whole episode or assume the context variables are Markovian. However, in many real-world applications, the environment context usually stays stable for a stochastic period and then changes in an abrupt and unpredictable manner within an episode, resulting in a segment structure, which existing works fail to address. To leverage the segment structure of piecewise stable context in real-world applications, in this paper, we propose a \textit{\textbf{Se}gmented \textbf{C}ontext \textbf{B}elief \textbf{A}ugmented \textbf{D}eep~(SeCBAD)} RL method. Our method can jointly infer the belief distribution over latent context with the posterior over segment length and perform more accurate belief context inference with observed data within the current context segment. The inferred belief context can be leveraged to augment the state, leading to a policy that can adapt to abrupt variations in context. We demonstrate empirically that SeCBAD can infer context segment length accurately and outperform existing methods on a toy grid world environment and Mujuco tasks with piecewise-stable context.


title: Global Weinstein Type Theorem on Multiple Rotating Periodic Solutions for Hamiltonian Systems

abstract: This paper concerns the existence of multiple rotating periodic solutions for $2n$ dimensional convex Hamiltonian systems. For the symplectic orthogonal matrix $Q$, the rotating periodic solution has the form of $z(t+T)=Qz(t)$, which might be periodic, anti-periodic, subharmonic or quasi-periodic according to the structure of $Q$. It is proved that there exist at least $n$ geometrically distinct rotating periodic solutions on a given $Q$ invariant convex energy surface under a pinching condition. As a result, it is proved that if the symmetric energy surface admits a nonsymmetric periodic solution, it has infinitely many periodic orbits. In order to prove the result, we introduce a new index on rotating periodic orbits.


title: Reconstructing Kernel-based Machine Learning Force Fields with Super-linear Convergence

abstract: Kernel machines have sustained continuous progress in the field of quantum chemistry. In particular, they have proven to be successful in the low-data regime of force field reconstruction. This is because many equivariances and invariances due to physical symmetries can be incorporated into the kernel function to compensate for much larger datasets. So far, the scalability of kernel machines has however been hindered by its quadratic memory and cubical runtime complexity in the number of training points. While it is known, that iterative Krylov subspace solvers can overcome these burdens, their convergence crucially relies on effective preconditioners, which are elusive in practice. Effective preconditioners need to partially pre-solve the learning problem in a computationally cheap and numerically robust manner. Here, we consider the broad class of Nystr\"om-type methods to construct preconditioners based on successively more sophisticated low-rank approximations of the original kernel matrix, each of which provides a different set of computational trade-offs. All considered methods aim to identify a representative subset of inducing (kernel) columns to approximate the dominant kernel spectrum.

categories: physics.chem-ph cs.LG physics.comp-ph stat.ML


title: T2-GNN: Graph Neural Networks for Graphs with Incomplete Features and Structure via Teacher-Student Distillation

abstract: Graph Neural Networks (GNNs) have been a prevailing technique for tackling various analysis tasks on graph data. A key premise for the remarkable performance of GNNs relies on complete and trustworthy initial graph descriptions (i.e., node features and graph structure), which is often not satisfied since real-world graphs are often incomplete due to various unavoidable factors. In particular, GNNs face greater challenges when both node features and graph structure are incomplete at the same time. The existing methods either focus on feature completion or structure completion. They usually rely on the matching relationship between features and structure, or employ joint learning of node representation and feature (or structure) completion in the hope of achieving mutual benefit. However, recent studies confirm that the mutual interference between features and structure leads to the degradation of GNN performance. When both features and structure are incomplete, the mismatch between features and structure caused by the missing randomness exacerbates the interference between the two, which may trigger incorrect completions that negatively affect node representation. To this end, in this paper we propose a general GNN framework based on teacher-student distillation to improve the performance of GNNs on incomplete graphs, namely T2-GNN. To avoid the interference between features and structure, we separately design feature-level and structure-level teacher models to provide targeted guidance for student model (base GNNs, such as GCN) through distillation. Then we design two personalized methods to obtain well-trained feature and structure teachers. To ensure that the knowledge of the teacher model is comprehensively and effectively distilled to the student model, we further propose a dual distillation mode to enable the student to acquire as much expert knowledge as possible.


title: Finite size effects on hinge states in three-dimensional second-order topological insulators

abstract: We investigate the finite size effects of a three-dimensional second-order topological insulator with fourfold rotational symmetry and time-reversal symmetry. Starting from the effective Hamiltonian of the three-dimensional second-order topological insulator, we derive the effective Hamiltonian of four two-dimensional surface states with gaps derived by perturbative methods. Then, the sign alternation of the mass term of the effective Hamiltonian on the adjacent surface leads to the hinge state. In addition, we obtain the effective Hamiltonian and its wave function of one-dimensional gapless hinge states with semi-infinite boundary conditions based on the effective Hamiltonian of two-dimensional surface states. In particular, we find that the hinge states on the two sides of the same surface can couple to produce a finite energy gap.


title: Harnessing Elastic Energy to Transfer Reciprocating Actuation into Rotary Motion

abstract: The ability to convert reciprocating, i.e., alternating, actuation into rotary motion using linkages is hindered fundamentally by their poor torque transmission capability around kinematic singularity configurations. Here, we harness the elastic potential energy of a linear spring attached to the coupler link of four-bar mechanisms to manipulate force transmission around the kinematic singularities. We developed a theoretical model to explore the parameter space for proper force transmission in slider-crank and rocker-crank four-bar kinematics. Finally, we verified the proposed model and methodology by building and testing a macro-scale prototype of a slider-crank mechanism. We expect this approach to enable the development of small-scale rotary engines and robotic devices with closed kinematic chains dealing with serial kinematic singularities, such as linkages and parallel manipulators.


title: LMFLOSS: A Hybrid Loss For Imbalanced Medical Image Classification

abstract: Automatic medical image classification is a very important field where the use of AI has the potential to have a real social impact. However, there are still many challenges that act as obstacles to making practically effective solutions. One of those is the fact that most of the medical imaging datasets have a class imbalance problem. This leads to the fact that existing AI techniques, particularly neural network-based deep-learning methodologies, often perform poorly in such scenarios. Thus this makes this area an interesting and active research focus for researchers. In this study, we propose a novel loss function to train neural network models to mitigate this critical issue in this important field. Through rigorous experiments on three independently collected datasets of three different medical imaging domains, we empirically show that our proposed loss function consistently performs well with an improvement between 2%-10% macro f1 when compared to the baseline models. We hope that our work will precipitate new research toward a more generalized approach to medical image classification.


title: Global LCOEs of decentralized off-grid renewable energy systems

abstract: Recent global events emphasize the importance of a reliable energy supply. One way to increase energy supply security is through decentralized off-grid renewable energy systems, for which a growing number of case studies are researched. This review gives a global overview of the levelized cost of electricity (LCOE) for these autonomous energy systems, which range from 0.03 \$_{2021}/kWh to over 1.00 \$_{2021}/kWh worldwide. The average LCOEs for 100% renewable energy systems have decreased by 9% annually between 2016 and 2021 from 0.54 \$_{2021}/kWh to 0.29 \$_{2021}/kWh, presumably due to cost reductions in renewable energy and storage technologies. Furthermore, we identify and discuss seven key reasons why LCOEs are frequently overestimated or underestimated in literature, and how this can be prevented in the future. Our overview can be employed to verify findings on off-grid systems, to assess where these systems might be deployed and how costs evolve.


title: Automated Gadget Discovery in Science

abstract: In recent years, reinforcement learning (RL) has become increasingly successful in its application to science and the process of scientific discovery in general. However, while RL algorithms learn to solve increasingly complex problems, interpreting the solutions they provide becomes ever more challenging. In this work, we gain insights into an RL agent's learned behavior through a post-hoc analysis based on sequence mining and clustering. Specifically, frequent and compact subroutines, used by the agent to solve a given task, are distilled as gadgets and then grouped by various metrics. This process of gadget discovery develops in three stages: First, we use an RL agent to generate data, then, we employ a mining algorithm to extract gadgets and finally, the obtained gadgets are grouped by a density-based clustering algorithm. We demonstrate our method by applying it to two quantum-inspired RL environments. First, we consider simulated quantum optics experiments for the design of high-dimensional multipartite entangled states where the algorithm finds gadgets that correspond to modern interferometer setups. Second, we consider a circuit-based quantum computing environment where the algorithm discovers various gadgets for quantum information processing, such as quantum teleportation. This approach for analyzing the policy of a learned agent is agent and environment agnostic and can yield interesting insights into any agent's policy.


title: Energy Efficiency Maximization in IRS-Aided Cell-Free Massive MIMO System

abstract: In this paper, we consider an intelligent reflecting surface (IRS)-aided cell-free massive multiple-input multiple-output system, where the beamforming at access points and the phase shifts at IRSs are jointly optimized to maximize energy efficiency (EE). To solve EE maximization problem, we propose an iterative optimization algorithm by using quadratic transform and Lagrangian dual transform to find the optimum beamforming and phase shifts. However, the proposed algorithm suffers from high computational complexity, which hinders its application in some practical scenarios. Responding to this, we further propose a deep learning based approach for joint beamforming and phase shifts design. Specifically, a two-stage deep neural network is trained offline using the unsupervised learning manner, which is then deployed online for the predictions of beamforming and phase shifts. Simulation results show that compared with the iterative optimization algorithm and the genetic algorithm, the unsupervised learning based approach has higher EE performance and lower running time.


title: GraffMatch: Global Matching of 3D Lines and Planes for Wide Baseline LiDAR Registration

abstract: Using geometric landmarks like lines and planes can increase navigation accuracy and decrease map storage requirements compared to commonly-used LiDAR point cloud maps. However, landmark-based registration for applications like loop closure detection is challenging because a reliable initial guess is not available. Global landmark matching has been investigated in the literature, but these methods typically use ad hoc representations of 3D line and plane landmarks that are not invariant to large viewpoint changes, resulting in incorrect matches and high registration error. To address this issue, we adopt the affine Grassmannian manifold to represent 3D lines and planes and prove that the distance between two landmarks is invariant to rotation and translation if a shift operation is performed before applying the Grassmannian metric. This invariance property enables the use of our graph-based data association framework for identifying landmark matches that can subsequently be used for registration in the least-squares sense. Evaluated on a challenging landmark matching and registration task using publicly-available LiDAR datasets, our approach yields a 1.7x and 3.5x improvement in successful registrations compared to methods that use viewpoint-dependent centroid and "closest point" representations, respectively.


title: Universal Relation between Entropy and Kinetics

abstract: Relating thermodynamic and kinetic properties is a conceptual challenge with many practical benefits. Here, based on first principles, we derive a rigorous inequality relating the entropy and the dynamic propagator of particle configurations. It is universal and applicable to steady states arbitrarily far from thermal equilibrium. Applying the general relation to diffusive dynamics yields a relation between the entropy and the (normal or anomalous) diffusion coefficient. The relation can be used to obtain useful bounds for the late-time diffusion coefficient from the calculated steady-state entropy or, conversely, to estimate the entropy based on measured diffusion coefficients. We demonstrate the validity and usefulness of the relation through several examples and discuss its broad range of applications, in particular, for systems far from equilibrium.


title: Cylindrical Algebraic Decomposition With Frontier Condition

abstract: A Cylindrical Algebraic Decomposition (CAD) is a decomposition of R^n into a finite collection of semialgebraic cells. A CAD satisfies the "frontier condition" if, for every cell C, there is a collection of cells of the decomposition whose union is the closure of C. This property is referred to in other literature as "closure finiteness" or "boundary coherence". This paper proves the existence of, and presents an algorithm to construct, a CAD satisfying the frontier condition without a preliminary change of coordinates, e.g., in the potential presence of blow-ups. The algorithm has elementary (in the sense of L. Kalmar) complexity. This also provides an upper bound on the number of cells in a CAD with this property. The frontier condition can be useful in computing topological properties of semialgebraic sets defined by first-order formulas, in solving motion planning problems and in triangulations of definable monotone families. The algorithm presented takes a novel approach in that it uses a recursion on the lexicographical order of cell indices in the initial decomposition.


title: Non-degeneracy of critical points of the squared norm of the second fundamental form on manifolds with minimal boundary

abstract: Let $(M,\bar g)$ be a compact Riemannian manifold with minimal boundary such that the second fundamental form is nowhere vanishing on $\partial M$. We show that for a generic Riemannian metric $\bar g$, the squared norm of the second fundamental form is a Morse function, i.e. all its critical points are non-degenerate. We show that the generality of this property holds when we restrict ourselves to the conformal class of the initial metric on $M$.


title: Deep Latent State Space Models for Time-Series Generation

abstract: Methods based on ordinary differential equations (ODEs) are widely used to build generative models of time-series. In addition to high computational overhead due to explicitly computing hidden states recurrence, existing ODE-based models fall short in learning sequence data with sharp transitions - common in many real-world systems - due to numerical challenges during optimization. In this work, we propose LS4, a generative model for sequences with latent variables evolving according to a state space ODE to increase modeling capacity. Inspired by recent deep state space models (S4), we achieve speedups by leveraging a convolutional representation of LS4 which bypasses the explicit evaluation of hidden states. We show that LS4 significantly outperforms previous continuous-time generative models in terms of marginal distribution, classification, and prediction scores on real-world datasets in the Monash Forecasting Repository, and is capable of modeling highly stochastic data with sharp temporal transitions. LS4 sets state-of-the-art for continuous-time latent generative models, with significant improvement of mean squared error and tighter variational lower bounds on irregularly-sampled datasets, while also being x100 faster than other baselines on long sequences.


title: Search for effective Lorentz and CPT violation using ZEUS data

abstract: Lorentz and CPT symmetry in the quark sector of the Standard Model are studied in the context of an effective field theory using ZEUS $e^{\pm} p$ data. Symmetry-violating effects can lead to time-dependent oscillations of otherwise time-independent observables, including scattering cross sections. An analysis using five years of inclusive neutral-current deep inelastic scattering events corresponding to an integrated HERA luminosity of $372\; \text{pb}^{-1}$ at $\sqrt{s} = 318$ Gev has been performed. No evidence for oscillations in sidereal time has been observed within statistical and systematic uncertainties. Constraints, most for the first time, are placed on 42 coefficients parameterising dominant CPT-even dimension-four and CPT-odd dimension-five spin-independent modifications to the propagation and interaction of light quarks.


title: Planar Tur\'{a}n number of disjoint union of $C_3$ and $C_4$

abstract: The {\em planar Tur\'{a}n number} of $H$, denoted by $ex_{\mathcal{P}}(n,H)$, is the maximum number of edges in an $H$-free planar graph. The planar Tur\'{a}n number of $k\geq 3$ vertex-disjoint union of cycles is a trivial value $3n-6$. Lan, Shi and Song determine the exact value of $ex_{\mathcal{P}}(n,2C_3)$. We continue to study planar Tur\'{a}n number of vertex-disjoint union of cycles and obtain the exact value of $ex_{\mathcal{P}}(n,H)$, where $H$ is vertex-disjoint union of $C_3$ and $C_4$. The extremal graphs are also characterized. We also improve the lower bound of $ex_{\mathcal{P}}(n,2C_k)$ when $k$ is sufficiently large.


title: HD 213258: a new rapidly oscillating, super-slowly rotating, strongly magnetic Ap star in a spectroscopic binary

abstract: We report about HD 213258, an Ap star that we recently identified as presenting a unique combination of rare, remarkable properties. Our study of this star is based on ESPaDOnS Stokes I and V data obtained at 7 epochs spanning a time interval slightly shorter than 2 years, on TESS data, and on radial velocity measurements from the CORAVEL data base. We confirm that HD 213258 is definitely an Ap star. We found that, in its spectrum, the Fe II {\lambda}6149.2 {\AA} line is resolved into its two magnetically split components. The mean magnetic field modulus of HD 213258, <B> ~ 3.8 kG does not show significant variations over ~2 years. Comparing our mean longitudinal field determinations with a couple of measurements from the literature, we show that the stellar rotation period must likely be of the order of 50 years, with a reversal of the field polarity. Moreover, HD 213258 is a rapidly oscillating Ap (roAp) star, in which high overtone pulsations with a period of 7.58 min are detected. Finally, we confirm that HD 213258 has a mean radial velocity exceeding (in absolute value) that of at least 99% of the Ap stars. The radial velocity shows low amplitude variations, which suggests that the star is a single-line spectroscopic binary. It is also a known astrometric binary. While its orbital elements remain to be determined, its orbital period likely is one of the shortest known for a binary roAp star. Its secondary is close to the borderline between stellar and substellar objects. There is a significant probability that it may be a brown dwarf. While most of the above-mentioned properties, taken in isolation, are observed in a small fraction of the whole population of Ap stars, the probability that a single star possesses all of them is extremely low. This makes HD 213258 an exceptionally interesting object that deserves to be studied in detail in the future.


title: Uniform Approximation of 2D Navier-Stokes Equations with Vorticity Creation by Stochastic Interacting Particle Systems

abstract: We consider a stochastic interacting particle system in a bounded domain with reflecting boundary, including creation of new particles on the boundary prescribed by a given source term. We show that such particle system approximates 2d Navier-Stokes equations in vorticity form and impermeable boundary, the creation of particles modeling vorticity creation at the boundary. Kernel smoothing, more specifically smoothing by means of the Neumann heat semigroup on the space domain, allows to establish uniform convergence of regularized empirical measures to (weak solutions of) Navier-Stokes equations.


title: S\'ark\"ozy's Theorem in Various Finite Field Settings

abstract: In this paper, we strengthen a result by Green about an analogue of Sarkozy's theorem in the setting of polynomial rings $\mathbb{F}_q[x]$. In the integer setting, for a given polynomial $F \in \mathbb{Z}[x]$ with constant term zero, (a generalization of) Sarkozy's theorem gives an upper bound on the maximum size of a subset $A \subset \{1, \ldots, n \}$ that does not contain distinct $a_1,a_2 \in A$ satisfying $a_1 - a_2 = F(b)$ for some $ b \in \mathbb{Z}$. Green proved an analogous result with much stronger bounds in the setting of subsets $A \subset \mathbb{F}_q[x]$ of the polynomial ring $\mathbb{F}_q[x]$, but required the additional condition that the number of roots of the polynomial $F \in \mathbb{F}_q[x]$ is coprime to $q$. We generalize Green's result, removing this condition. As an application, we also obtain a version of Sarkozy's theorem with similarly strong bounds for subsets $A \subset \mathbb{F}_q$ for $q = p^n$ for a fixed prime $p$ and large $n$.


title: Coherent states with minimum Gini uncertainty for finite quantum systems

abstract: Uncertainty relations $\Delta(\rho)\ge \eta_d$ in terms of the Gini index are studied. The `Gini uncertainty constant' $\eta_d$ is estimated numerically and compared to an upper bound $\tilde \eta_d\ge \eta_d$. It is shown that for large $d$ we get $\tilde \eta_d\approx \eta_d$. States $\ket{g}$ with minimum Gini uncertainty and displacement transformations are used to define coherent states $\ket{\alpha, \beta}_g$ (where $\alpha, \beta \in {\mathbb Z}_d$) with minimum Gini uncertainty ($\Delta[\ket{\alpha, \beta}_g\;_g\bra{\alpha, \beta}]\approx \eta_d$). The $\ket{\alpha, \beta}_g$ resolve the identity, and therefore an arbitrary state can be expanded in terms of them. This expansion is robust in the presence of noise.


title: Computational Complexity of Minimal Trap Spaces in Boolean Networks

abstract: A Boolean network (BN) is a discrete dynamical system defined by a Boolean function that maps to the domain itself. A trap space of a BN is a generalization of a fixed point, which is defined as the sub-hypercubes closed by the function of the BN. A trap space is minimal if it does not contain any smaller trap space. Minimal trap spaces have applications for the analysis of attractors of BNs with various update modes. This paper establishes the computational complexity results of three decision problems related to minimal trap spaces: the decision of the trap space property of a sub-hypercube, the decision of its minimality, and the decision of the membership of a given configuration to a minimal trap space. Under several cases on Boolean function representations, we investigate the computational complexity of each problem. In the general case, we demonstrate that the trap space property is coNP-complete, and the minimality and the membership properties are $\Pi_2^{\text P}$-complete. The complexities drop by one level in the polynomial hierarchy whenever the local functions of the BN are either unate, or are represented using truth-tables, binary decision diagrams, or double DNFs (Petri net encoding): the trap space property can be decided in a polynomial time, whereas deciding the minimality and the membership are coNP- complete. When the BN is given as its functional graph, all these problems are in P.


title: An optimized fuzzy logic model for proactive maintenance

abstract: Fuzzy logic has been proposed in previous studies for machine diagnosis, to overcome different drawbacks of the traditional diagnostic approaches used. Among these approaches Failure Mode and Effect Critical Analysis method(FMECA) attempts to identify potential modes and treat failures before they occur based on subjective expert judgments. Although several versions of fuzzy logic are used to improve FMECA or to replace it, since it is an extremely cost-intensive approach in terms of failure modes because it evaluates each one of them separately, these propositions have not explicitly focused on the combinatorial complexity nor justified the choice of membership functions in Fuzzy logic modeling. Within this context, we develop an optimization-based approach referred to Integrated Truth Table and Fuzzy Logic Model (ITTFLM) that smartly generates fuzzy logic rules using Truth Tables. The ITTFLM was tested on fan data collected in real-time from a plant machine. In the experiment, three types of membership functions (Triangular, Trapezoidal, and Gaussian) were used. The ITTFLM can generate outputs in 5ms, the results demonstrate that this model based on the Trapezoidal membership functions identifies the failure states with high accuracy, and its capability of dealing with large numbers of rules and thus meets the real-time constraints that usually impact user experience.


title: Speeding up Krylov subspace methods for computing f(A)b via randomization

abstract: This work is concerned with the computation of the action of a matrix function f(A), such as the matrix exponential or the matrix square root, on a vector b. For a general matrix A, this can be done by computing the compression of A onto a suitable Krylov subspace. Such compression is usually computed by forming an orthonormal basis of the Krylov subspace using the Arnoldi method. In this work, we propose to compute (non-orthonormal) bases in a faster way and to use a fast randomized algorithm for least-squares problems to compute the compression of A onto the Krylov subspace. We present some numerical examples which show that our algorithms can be faster than the standard Arnoldi method while achieving comparable accuracy.


title: Bernoulli honeywords

abstract: Decoy passwords, or "honeywords," planted in a credential database can alert a site to its breach if ever submitted in a login attempt. To be effective, some honeywords must appear at least as likely to be user-chosen passwords as the real ones, and honeywords must be very difficult to guess without having breached the database, to prevent false breach alarms. These goals have proved elusive, however, for heuristic honeyword generation algorithms. In this paper we explore an alternative strategy in which the defender treats honeyword selection as a Bernoulli process in which each possible password (except the user-chosen one) is selected as a honeyword independently with some fixed probability. We show how Bernoulli honeywords can be integrated into two existing system designs for leveraging honeywords: one based on a honeychecker that stores the secret index of the user-chosen password in the list of account passwords, and another that does not leverage secret state at all. We show that Bernoulli honeywords enable analytic derivation of false breach-detection probabilities irrespective of what information the attacker gathers about the sites' users; that their true and false breach-detection probabilities demonstrate compelling efficacy; and that Bernoulli honeywords can even enable performance improvements in modern honeyword system designs.


title: Agent-based Modeling and Simulation of Human Muscle For Development of Human Gait Analyzer Application

abstract: Despite the fact that only a small portion of muscles are affected in motion disease and disorders, medical therapies do not distinguish between healthy and unhealthy muscles. In this paper, a method is devised in order to calculate the neural stimuli of the lower body during gait cycle and check if any group of muscles are not acting properly. For this reason, an agent-based model of human muscle is proposed. The agent is able to convert neural stimuli to force generated by the muscle and vice versa. It can be used in many researches including medical education and research and prosthesis development. Then, Boots algorithm is designed based on a biomechanical model of human lower body to do a reverse dynamics of human motion by computing the forces generated by each muscle group. Using the agent-driven model of human muscle and boots algorithm, a user-friendly application is developed which can calculate the number of neural stimuli received by each muscle during gait cycle. The application can be used by clinical experts to distinguish between healthy and unhealthy muscles.


title: Global solutions to the Nernst-Planck-Euler system on bounded domain

abstract: We show that the Nernst-Planck-Euler system, which models ionic electrodiffusion in fluids, has global strong solutions for arbitrarily large data in the two dimensional bounded domains. The assumption on species is either there are two species or the diffusivities and the absolute values of ionic valences are the same if the species are arbitrarily many. In particular, the boundary conditions for the ions are allowed to be inhomogeneous. The proof is based on the energy estimates, integration along the characteristic line and the regularity theory of elliptic and parabolic equations.


title: On generalized Gorenstein local rings

abstract: In this paper, we introduce generalized Gorenstein local (GGL) rings. The notion of GGL rings is a natural generalization of the notion of almost Gorenstein rings, which can thus be treated as part of the theory of GGL rings. For a Cohen-Macaulay local ring $R$, we explore the endomorphism algebra of the maximal ideal, the trace ideal of the canonical module, Ulrich ideals, and Rees algebras of parameter ideals in connection with the GGL property. We also give numerous examples of numerical semigroup rings, idealizations, and determinantal rings of certain matrices.


title: On Lagrangian Coherent Structures in Laparoscopy

abstract: Laparoscopy is an electrosurgical medical operation often involving an application of high-frequency alternating current to remove undesired biological tissue from the insufflated abdomen accessible through inlet and outlets trocars. One of the main byproducts in this process are the gaseous particles, called surgical smoke, which is found hazardous for both the patient and the operating room staff. The elimination of this hazardous material is an area of active research in the medical community. Thus, understanding dynamics influenced by the underlying flow inside the abdomen is crucial. In this article, we propose a computational fluid dynamics model and analyse the velocity field in an insufflated abdomen shaped domain by identifying the Lagrangian Coherent Structures (LCS) that are responsible for the transportation, mixing and accumulation of the material particles in the flow. By calculating the mixing strength we show that the regions revealed by these material curves are dependent on the angle, positions and number of the outlets and inlets. Hence, a novel utility of LCS in medical surgery is presented that can detail the dynamics of surgical smoke informing better design of effective smoke removal technologies.


title: A Result on the Small Quasi-Kernel Conjecture

abstract: Any directed graph $D=(V(D),A(D))$ in this work is assumed to be finite and without self-loops. A source in a directed graph is a vertex having at least one ingoing arc. A quasi-kernel $Q\subseteq V(D)$ is an independent set in $D$ such that every vertex in $V(D)$ can be reached in at most two steps from a vertex in $Q$. It is an open problem whether every source-free directed graph has a quasi-kernel of size at most $|V(D)|/2$, a problem known as the small quasi-kernel conjecture (SQKC). The aim of this paper is to prove the SQKC under the assumption of a structural property of directed graphs. This relates the SQKC to the existence of a vertex $u\in V(D)$ and a bound on the number of new sources emerging when $u$ and its out-neighborhood are removed from $D$. The results in this work are of technical nature and therefore additionally verified by means of the Coq proof-assistant.


title: Triplet Reconstruction and all other Phylogenetic CSPs are Approximation Resistant

abstract: We study the natural problem of Triplet Reconstruction (also Rooted Triplets Consistency or Triplet Clustering), originally motivated in computational biology and relational databases (Aho, Sagiv, Szymanski, and Ullman, 1981): given $n$ points, we want to embed them onto the $n$ leaves of a rooted binary tree (a hierarchical clustering or ultrametric embedding) such that a given set of $m$ triplet constraints is satisfied. Triplet $ij|k$ indicates that ``$i, j$ are more closely related to each other than to $k$'' and a tree satisfies $ij|k$ if $d(i,j)$ is the smallest among the 3 distances. Aho et al. (1981) gave an elegant efficient algorithm to find a tree respecting all constraints (if it exists) and it is easy to see that a random binary tree is a 1/3-approximation. Unfortunately, despite more than four decades of research, no better approximation is known. Our main theorem--which captures Triplet Reconstruction as a special case--is a general hardness of approximation result about Constraint Satisfaction Problems (CSPs) over infinite domains (the variables are mapped to any of the $n$ leaves of a tree). Specifically, we prove, under Unique Games (Khot, 2002), that Triplet Reconstruction and more generally, every CSP over hierarchies is approximation resistant (there is no polynomial-time algorithm that does asymptotically better than a biased random assignment). This settles the approximability for many interesting Subtree or Supertree Aggregation Problems. More broadly, our result significantly extends the list of approximation resistant predicates and is a generalization of Guruswami, Hastad, Manokaran, Raghavendra, and Charikar (2011), who showed that ordering CSPs are approximation resistant. The main challenge in our analyses stems from the fact that trees have topology which is what determines whether a given triplet constraint on the leaves is satisfied or not.


title: Symmetric periods for automorphic forms on unipotent groups

abstract: Let $k$ be a number field and $\mathbb{A}$ be its ring of adeles. Let $U$ be a unipotent group defined over $k$, and $\sigma$ a $k$-rational involution of $U$ with fixed points $U^+$. As a consequence of the results of C. Moore, the space $L^2(U(k)\backslash U_{\mathbb{A}})$ is multiplicity free as a representation of $U_{\mathbb{A}}$. Setting $p^+:\phi\mapsto \int_{U^+(k)\backslash {U}_{\mathbb{A}}^+} \phi(u)du$ to be the period integral attached to $\sigma$ on the space of smooth vectors of $L^2(U(k)\backslash U_{\mathbb{A}})$, we prove that if $\Pi$ is a topologically irreducible subspace of $L^2(U(k)\backslash U_{\mathbb{A}})$, then $p^+$ is nonvanishing on the subspace $\Pi^\infty$ of smooth vectors in $\Pi$ if and only if $\Pi^\vee=\Pi^\sigma$. This is a global analogue of local results due to Y. Benoist and the author, on which the proof relies.


title: Streaming Traffic Flow Prediction Based on Continuous Reinforcement Learning

abstract: Traffic flow prediction is an important part of smart transportation. The goal is to predict future traffic conditions based on historical data recorded by sensors and the traffic network. As the city continues to build, parts of the transportation network will be added or modified. How to accurately predict expanding and evolving long-term streaming networks is of great significance. To this end, we propose a new simulation-based criterion that considers teaching autonomous agents to mimic sensor patterns, planning their next visit based on the sensor's profile (e.g., traffic, speed, occupancy). The data recorded by the sensor is most accurate when the agent can perfectly simulate the sensor's activity pattern. We propose to formulate the problem as a continuous reinforcement learning task, where the agent is the next flow value predictor, the action is the next time-series flow value in the sensor, and the environment state is a dynamically fused representation of the sensor and transportation network. Actions taken by the agent change the environment, which in turn forces the agent's mode to update, while the agent further explores changes in the dynamic traffic network, which helps the agent predict its next visit more accurately. Therefore, we develop a strategy in which sensors and traffic networks update each other and incorporate temporal context to quantify state representations evolving over time.


title: The Effective Fluid approach for Modified Gravity and its applications

abstract: In this review we briefly summarize the so-called effective fluid approach, which is a compact framework that can be used to describe a plethora of different modified gravity models as general relativity (GR) and a dark energy (DE) fluid. This approach, which is complementary to the cosmological effective field theory, has several benefits as it allows for the easier inclusion of most modified gravity models into the state-of-the-art Boltzmann codes, that are typically hard-coded for GR and DE. Furthermore, it can also provide theoretical insights into their behavior, since in linear perturbation theory it is easy to derive physically motivated quantities such as the DE anisotropic stress or the DE sound speed. We also present some explicit applications of the effective fluid approach with $f(R)$, Horndeski and Scalar-Vector-Tensor models, namely how this approach can be used to easily solve the perturbation equations and incorporate the aforementioned modified gravity models into Boltzmann codes so as to obtain cosmological constraints using Monte Carlo analyses.


title: Stochastic doubly nonlinear PDE: Large Deviation Principles and existence of Invariant measure

abstract: In this paper, we establish large deviation principle for the strong solution of a doubly nonlinear PDE driven by small multiplicative Brownian noise. Motononicity arguments and the weak convergence approach have been exploited in the proof. Moreover, by using certain a-priori estimates and sequentially weakly Feller property of the associated Markov semigroup, we show existence of invariant probability measure for the strong solution of the underlying problem.


title: COLT: Cyclic Overlapping Lottery Tickets for Faster Pruning of Convolutional Neural Networks

abstract: Pruning refers to the elimination of trivial weights from neural networks. The sub-networks within an overparameterized model produced after pruning are often called Lottery tickets. This research aims to generate winning lottery tickets from a set of lottery tickets that can achieve similar accuracy to the original unpruned network. We introduce a novel winning ticket called Cyclic Overlapping Lottery Ticket (COLT) by data splitting and cyclic retraining of the pruned network from scratch. We apply a cyclic pruning algorithm that keeps only the overlapping weights of different pruned models trained on different data segments. Our results demonstrate that COLT can achieve similar accuracies (obtained by the unpruned model) while maintaining high sparsities. We show that the accuracy of COLT is on par with the winning tickets of Lottery Ticket Hypothesis (LTH) and, at times, is better. Moreover, COLTs can be generated using fewer iterations than tickets generated by the popular Iterative Magnitude Pruning (IMP) method. In addition, we also notice COLTs generated on large datasets can be transferred to small ones without compromising performance, demonstrating its generalizing capability. We conduct all our experiments on Cifar-10, Cifar-100 & TinyImageNet datasets and report superior performance than the state-of-the-art methods.


title: Unsupervised Instance and Subnetwork Selection for Network Data

abstract: Unlike tabular data, features in network data are interconnected within a domain-specific graph. Examples of this setting include gene expression overlaid on a protein interaction network (PPI) and user opinions in a social network. Network data is typically high-dimensional (large number of nodes) and often contains outlier snapshot instances and noise. In addition, it is often non-trivial and time-consuming to annotate instances with global labels (e.g., disease or normal). How can we jointly select discriminative subnetworks and representative instances for network data without supervision? We address these challenges within an unsupervised framework for joint subnetwork and instance selection in network data, called UISS, via a convex self-representation objective. Given an unlabeled network dataset, UISS identifies representative instances while ignoring outliers. It outperforms state-of-the-art baselines on both discriminative subnetwork selection and representative instance selection, achieving up to 10% accuracy improvement on all real-world data sets we use for evaluation. When employed for exploratory analysis in RNA-seq network samples from multiple studies it produces interpretable and informative summaries.


title: Manipulating Spin-Lattice Coupling in Layered Magnetic Topological Insulator Heterostructure $via$ Interface Engineering

abstract: Induced magnetic order in a topological insulator (TI) can be realized either by depositing magnetic adatoms on the surface of a TI or engineering the interface with epitaxial thin film or stacked assembly of two-dimensional (2D) van der Waals (vdW) materials. Herein, we report the observation of spin-phonon coupling in the otherwise non-magnetic TI Bi$_\mathrm{2}$Te$_\mathrm{3}$, due to the proximity of FePS$_\mathrm{3}$ (an antiferromagnet (AFM), $T_\mathrm{N}$ $\sim$ 120 K), in a vdW heterostructure framework. Temperature-dependent Raman spectroscopic studies reveal deviation from the usual phonon anharmonicity originated from spin-lattice coupling at the Bi$_{2}$Te$_{3}$/FePS$_{3}$ interface at/below 60 K in the peak position (self-energy) and linewidth (lifetime) of the characteristic phonon modes of Bi$_{2}$Te$_{3}$ (106 cm$^{-1}$ and 138 cm$^{-1}$) in the stacked heterostructure. The Ginzburg-Landau (GL) formalism, where the respective phonon frequencies of Bi$_{2}$Te$_{3}$ couple to phonons of similar frequencies of FePS$_{3}$ in the AFM phase, has been adopted to understand the origin of the hybrid magneto-elastic modes. At the same time, the reduction of characteristic $T_\mathrm{N}$ of FePS$_3$ from 120 K in isolated flakes to 65 K in the heterostructure, possibly due to the interfacial strain, which leads to smaller Fe-S-Fe bond angles as corroborated by computational studies using density functional theory (DFT). Besides, inserting hexagonal boron nitride within Bi$_{2}$Te$_{3}$/FePS$_{3}$ stacking regains the anharmonicity in Bi$_{2}$Te$_{3}$. Controlling interfacial spin-phonon coupling in stacked heterostructure can have potential application in surface code spin logic devices.


title: A Large-scale Friend Suggestion Architecture

abstract: Online social as an extension of traditional life plays an important role in our daily lives. Users often seek out new friends that have significant similarities such as interests and habits, motivating us to exploit such online information to suggest friends to users. In this work, we focus on friend suggestion in online game platforms because in-game social quality significantly correlates with player engagement, determining game experience. Unlike a typical recommendation system that depends on item-user interactions, in our setting, user-user interactions do not depend on each other. Meanwhile, user preferences change rapidly due to fast changing game environment. There has been little work on designing friend suggestion when facing these difficulties, and for the first time we aim to tackle this in large scale online games. Motivated by the fast changing online game environment, we formulate this problem as friend ranking by modeling the evolution of similarity among users, exploiting the long-term and short-term feature of users in games. Our experiments on large-scale game datasets with several million users demonstrate that our proposed model achieves superior performance over other competing baselines.


title: Knowledge Management in Management of Social and Economic Development of Municipalities: Highlights

abstract: The paper discusses the process of social and economic development of municipalities. A conclusion is made that developing an adequate model of social and economic development using conventional approaches presents a considerable challenge. It is proposed to use semantic modeling to represent the social and economic development of municipalities, and cognitive mapping to identify the set of connections that occur among indicators and that have a direct impact on social and economic development.


title: DEC-QED: A flux-based 3D electrodynamic modeling approach to superconducting circuits and materials

abstract: Modeling the behavior of superconducting electronic circuits containing Josephson junctions is crucial for the design of superconducting information processors and devices. In this paper, we introduce DEC-QED, a computational approach for modeling the electrodynamics of superconducting electronic circuits containing Josephson junctions in arbitrary three-dimensional electromagnetic environments. DEC-QED captures the non-linear response and induced currents in BCS superconductors and accurately captures phenomena such as the Meissner effect, flux quantization and Josephson effects. Using a spatial coarse-graining formulation based on Discrete Exterior Calculus (DEC), DEC-QED can accurately simulate transient and long-time dynamics in superconductors. The expression of the entire electrodynamic problem in terms of the gauge-invariant flux field and charges makes the resulting classical field theory suitable for second quantization.


title: Group invariants for Feynman diagrams

abstract: It is well-known that the symmetry group of a Feynman diagram can give important information on possible strategies for its evaluation, and the mathematical objects that will be involved. Motivated by ongoing work on multi-loop multi-photon amplitudes in quantum electrodynamics, here I will discuss the usefulness of introducing a polynomial basis of invariants of the symmetry group of a diagram in Feynman-Schwinger parameter space.


title: Directionality between driven-dissipative resonators

abstract: The notion of nonreciprocity, in essence when going forwards is different from going backwards, emerges in all branches of physics from cosmology to electromagnetism. Intriguingly, the breakdown of reciprocity is typically associated with extraordinary phenomena, which may be readily capitalized on in the design of (for example) nontrivial electromagnetic devices when Lorentz reciprocity is broken. However, in order to enable the exploitation of nonreciprocal-like effects in the next generation of quantum technologies, basic quantum optical theories are required. Here we present a versatile model describing a pair of driven-dissipative quantum resonators, where the relative phase difference between the coherent and incoherent couplings induces an asymmetry. The interplay between the diverse dissipative landscape - which encompasses both intrinsic losses and dissipative couplings - and the coherent interactions leads to some remarkable consequences including highly directional (or even one-way) energy transport. Our work proffers the tantalizing prospect of observing dissipation-induced quantum directionality in areas like photonics or cavity magnonics (spin waves), which may aid the design of unconventional nanoscopic devices.


title: Surface areas of equifacetal polytopes inscribed in the unit sphere $\mathbb{S}^2$

abstract: This article is concerned with the problem of placing seven or eight points on the unit sphere $\mathbb{S}^2$ in $\mathbb{R}^3$ so that the surface area of the convex hull of the points is maximized. In each case, the solution is given for convex hulls with congruent isosceles or congruent equilateral triangular facets.


title: Four-point functions of gravitons and conserved currents of CFT in momentum space: testing the nonlocal action with the TTJJ

abstract: We present an analysis of the perturbative realization of the $TTJJ$ correlator, with two stress energy tensors and two conserved currents, using free field theory realizations, integrating out conformal sectors in the quantum corrections. This allows defining, around flat space, an exact perturbative expansion of the complete anomaly effective action - up to 4-point functions - whose predictions can be compared against those of the anomaly induced action. The latter is a variational solution of the conformal anomaly constraint at $d=4$ in the form of a nonlocal Wess-Zumino action. The renormalization procedure and the degeneracies of the tensor structures of this correlator are discussed, valid for a generic conformal field theory, deriving its anomalous trace Ward identities (WIs). In this application, we also illustrate a general procedure that identifies the minimal number of tensorial structures and corresponding form factors for the $TTJJ$ and any $4$-point function. The result of the direct computation is compared against the expression of the same 4-point function derived from the nonlocal anomaly induced action. We show that the prediction for the anomalous part of the $TTJJ$ derived from such action, evaluated in two different conformal decompositions, the Riegert and Fradkin-Vilkovisky (FV) choices, differ from the anomaly part identified in the perturbative $TTJJ$, in the flat spacetime limit. The anomaly part of the correlator computed with the Riegert choice is affected by double poles, while the one computed with the FV choice does not satisfy the conservation WIs. We present the correct form of the expansion of the anomaly induced action at the second order in the metric perturbations around flat space that reproduces the perturbative result.


title: Some applications of the Eikonal model with Coulomb and curvature corrections in $pp$ and $\bar{p}p$ scattering

abstract: Using a simple eikonal approach to the treatment of Coulomb-nuclear interference and form-factors effects and taking into account the curvature effects in high-energy $pp$ and $\bar{p}p$ scattering, we determine the basic parameters $B$, $\rho$ and $\sigma_{\rm tot}$ from fits to experiment at $W=\sqrt s=$ 53 GeV, 62.3 GeV, 8 TeV, and 13 TeV. We then investigate the differential cross sections in the dip region for $pp$ and $\bar{p}p$ elastic scattering at $W=$ 53 GeV and 1.96 TeV. We find that the results of the basic parameters calculated using the simple eikonal approach agree well with the values determined in other analyses. We find that Coulomb effects are significant in the dip region at 53 GeV and 1.96 TeV, and must be taken into account in searches for odderon effects through cross section differences in that energy region.


title: Calorimetry of photon gases in nonlinear multimode optical fibers

abstract: Because of their massless nature, photons do not interact in linear optical media. However, light beam propagation in nonlinear media permits to break this paradigm, and makes it possible to observe photon-photon interactions. Based on this principle, a beam of light propagating in a nonlinear multimode optical system can be described as a gas of interacting particles. As a consequence, the spatio-temporal evolution of this photon gas is expressed in terms of macroscopic thermodynamic variables, e.g., temperature and chemical potential. Moreover, the gas evolution is subject to experiencing typical thermodynamic phenomena, such as thermalization. The meaning of thermodynamic variables associated with the photon gas must not be confused with their classical counterparts, e.g., the gas temperature cannot be measured by means of standard thermometers. Although the thermodynamic parameters of a multimode photon gas result from a rigorous mathematical derivation, their physical meaning is still unclear. In this work, we report on optical calorimetric measurements, which exploit nonlinear beam propagation in multimode optical fibers. Our results show that, indeed, heat only flows from a hot to a cold photon gas subsystem. This provides an unequivocal demonstration that nonlinear multimode wave propagation phenomena are governed by the second law of thermodynamics. In addition to be fundamental, our findings provide a new approach to light-by-light activated management of laser beams.


title: Tightrope-walking rationality in action: Feyerabendian insights for the foundations of quantum mechanics

abstract: We scan Paul K. Feyerabend's work in philosophy of physics and of science more generally for insights that could be useful for the contemporary debate on the foundations of quantum mechanics. We take as our starting point what Feyerabend has actually written about quantum mechanics, but we extend our analysis to his general views on realism, objectivity, pluralism, and the relation between physics and philosophy, finding that these more general views could in fact offer many interesting insights for physicists and philosophers working on quantum foundations.


title: An $L^p$-primal-dual finite element method for first-order transport problems

abstract: A new $L^p$-primal-dual weak Galerkin method ($L^p$-PDWG) with $p>1$ is proposed for the first-order transport problems. The existence and uniqueness of the $L^p$-PDWG numerical solutions is established. In addition, the $L^p$-PDWG method offers a numerical solution which retains mass conservation locally on each element. An optimal order error estimate is established for the primal variable. A series of numerical results are presented to verify the efficiency and accuracy of the proposed $L^p$-PDWG scheme.


title: Generation of semigroups associated to strongly coupled elliptic operator in $L^p(\mathbb R^d;\mathbb R^m)$

abstract: A class of vector-valued elliptic operators with unbounded coefficients, coupled up to the second-order is investigated in the Lebesgue space $L^p(\mathbb R^d;\mathbb R^m)$ with $p \in (1,\infty)$, providing sufficient conditions for the generation of an analytic $C_0$-semigroup $T(t)$. Under further assumptions, a characterization of the domain of the infinitesimal generator is given.


title: zkFaith: Soonami's Zero-Knowledge Identity Protocol

abstract: Individuals are encouraged to prove their eligibility to access specific services regularly. However, providing various organizations with personal data spreads sensitive information and endangers people's privacy. Hence, privacy-preserving identification systems that enable individuals to prove they are permitted to use specific services are required to fill the gap. Cryptographic techniques are deployed to construct identity proofs across the internet; nonetheless, they do not offer complete control over personal data or prevent users from forging and submitting fake data. In this paper, we design a privacy-preserving identity protocol called "zkFaith." A new approach to obtain a verified zero-knowledge identity unique to each individual. The protocol verifies the integrity of the documents provided by the individuals and issues a zero-knowledge-based id without revealing any information to the authenticator or verifier. The zkFaith leverages an aggregated version of the Camenisch-Lysyanskaya (CL) signature scheme to sign the user's commitment to the verified personal data. Then the users with a zero-knowledge proof system can prove that they own the required attributes of the access criterion of the requested service providers. Vector commitment and their position binding property enables us to, later on, update the commitments based on the modification of the personal data; hence update the issued zkFaith id with no requirement of initiating the protocol from scratch. We show that the design and implementation of the zkFaith with the generated proofs in real-world scenarios are scalable and comparable with the state-of-the-art schemes.


title: SHIRO: Soft Hierarchical Reinforcement Learning

abstract: Hierarchical Reinforcement Learning (HRL) algorithms have been demonstrated to perform well on high-dimensional decision making and robotic control tasks. However, because they solely optimize for rewards, the agent tends to search the same space redundantly. This problem reduces the speed of learning and achieved reward. In this work, we present an Off-Policy HRL algorithm that maximizes entropy for efficient exploration. The algorithm learns a temporally abstracted low-level policy and is able to explore broadly through the addition of entropy to the high-level. The novelty of this work is the theoretical motivation of adding entropy to the RL objective in the HRL setting. We empirically show that the entropy can be added to both levels if the Kullback-Leibler (KL) divergence between consecutive updates of the low-level policy is sufficiently small. We performed an ablative study to analyze the effects of entropy on hierarchy, in which adding entropy to high-level emerged as the most desirable configuration. Furthermore, a higher temperature in the low-level leads to Q-value overestimation and increases the stochasticity of the environment that the high-level operates on, making learning more challenging. Our method, SHIRO, surpasses state-of-the-art performance on a range of simulated robotic control benchmark tasks and requires minimal tuning.


title: A Bayesian Robust Regression Method for Corrupted Data Reconstruction

abstract: Because of the widespread existence of noise and data corruption, recovering the true regression parameters with a certain proportion of corrupted response variables is an essential task. Methods to overcome this problem often involve robust least-squares regression, but few methods perform well when confronted with severe adaptive adversarial attacks. In many applications, prior knowledge is often available from historical data or engineering experience, and by incorporating prior information into a robust regression method, we develop an effective robust regression method that can resist adaptive adversarial attacks. First, we propose the novel TRIP (hard Thresholding approach to Robust regression with sImple Prior) algorithm, which improves the breakdown point when facing adaptive adversarial attacks. Then, to improve the robustness and reduce the estimation error caused by the inclusion of priors, we use the idea of Bayesian reweighting to construct the more robust BRHT (robust Bayesian Reweighting regression via Hard Thresholding) algorithm. We prove the theoretical convergence of the proposed algorithms under mild conditions, and extensive experiments show that under different types of dataset attacks, our algorithms outperform other benchmark ones. Finally, we apply our methods to a data-recovery problem in a real-world application involving a space solar array, demonstrating their good applicability.


title: Analysis of the Single Reference Coupled Cluster Method for Electronic Structure Calculations: The Full Coupled Cluster Equations

abstract: The central problem in electronic structure theory is the computation of the eigenvalues of the electronic Hamiltonian -- an unbounded, self-adjoint operator acting on a Hilbert space of antisymmetric functions. Coupled cluster (CC) methods, which are based on a non-linear parameterisation of the sought-after eigenfunction and result in non-linear systems of equations, are the method of choice for high accuracy quantum chemical simulations but their numerical analysis is underdeveloped. The existing numerical analysis relies on a local, strong monotonicity property of the CC function that is valid only in a perturbative regime, i.e., when the sought-after ground state CC solution is sufficiently close to zero. In this article, we introduce a new well-posedness analysis for the single reference coupled cluster method based on the invertibility of the CC derivative. Under the minimal assumption that the sought-after eigenfunction is intermediately normalisable and the associated eigenvalue is isolated and non-degenerate, we prove that the continuous (infinite-dimensional) CC equations are always locally well-posed. Under the same minimal assumptions and provided that the discretisation is fine enough, we prove that the discrete Full-CC equations are locally well-posed, and we derive residual-based error estimates with guaranteed positive constants. Preliminary numerical experiments indicate that the constants that appear in our estimates are a significant improvement over those obtained from the local monotonicity approach.

categories: math.NA cs.NA physics.atom-ph physics.chem-ph quant-ph


title: Boundedness in a taxis-consumption system involving signal-dependent motilities and concurrent enhancement of density-determined diffusion and cross-diffusion

abstract: This paper is concerned with the migration-consumption taxis system involving signal-dependent motilities $$\left\{ \begin{array}{l} u_t = \Delta \big(u^m\phi(v)\big), \\[1mm] v_t = \Delta v-uv, \end{array} \right. \qquad \qquad (\star)$$ in smoothly bounded domains $\Omega\subset\mathbb{R}^n$, where $m>1$ and $n\ge2$. It is shown that if $\phi\in C^3([0,\infty))$ is strictly positive on $[0,\infty)$, for all suitably regular initial data an associated no-flux type initial-boundary value problem possesses a globally defined bounded weak solution, provided $m>\frac{n}{2}$, which is consistent with the restriction imposed on $m$ in corresponding signal production counterparts of $(\star)$ so as to establish the similar result.


title: Phenomena in bubbles cluster

abstract: Following some previous papers, we continue in this paper to give proof of the analogy between the acoustic world and the electromagnetic world. Hence we derive the expressions for: the scattering-scattering force (the electro-acoustic force) between the bubbles found in the inner cluster and the bubble found out of the cluster, the scattering-absorption force (the gravito-acoustic forces) between the bubbles found in the inner cluster, the gravito-acoustic forces between the cluster as a whole and an outer bubble, the temperature corresponding to the translational motion of the bubbles in the inner cluster and the average pressure of the acoustic radiation. The results of our calculus led us to find out that the absolute value of the average pressure of the acoustic radiation around a bubble is equal to the density of the energy of the electro-acoustic field, Eq. (10). This is the most important result of this paper. These densities are the densities of the energy corresponding to the oscillation of the bubble (the liquid around the bubble) that are involved in the interaction phenomenon between two oscillating bubbles. We have also demonstrated that the gravito-acoustic forces, at resonance, between the bubbles inside the cluster, generated by the absorption of energy in the bubbles, are proportional to the square of the virtual masses of the bubbles, Eqs. (29) and (30).


title: CUBES: a UV spectrograph for the future

abstract: In spite of the advent of extremely large telescopes in the UV/optical/NIR range, the current generation of 8-10m facilities is likely to remain competitive at ground-UV wavelengths for the foreseeable future. The Cassegrain U-Band Efficient Spectrograph (CUBES) has been designed to provide high-efficiency (>40%) observations in the near UV (305-400 nm requirement, 300-420 nm goal) at a spectral resolving power of R>20,000, although a lower-resolution, sky-limited mode of R ~ 7,000 is also planned. CUBES will offer new possibilities in many fields of astrophysics, providing access to key lines of stellar spectra: a tremendous diversity of iron-peak and heavy elements, lighter elements (in particular Beryllium) and light-element molecules (CO, CN, OH), as well as Balmer lines and the Balmer jump (particularly important for young stellar objects). The UV range is also critical in extragalactic studies: the circumgalactic medium of distant galaxies, the contribution of different types of sources to the cosmic UV background, the measurement of H2 and primordial Deuterium in a regime of relatively transparent intergalactic medium, and follow-up of explosive transients. The CUBES project completed a Phase A conceptual design in June 2021 and has now entered the Phase B dedicated to detailed design and construction. First science operations are planned for 2028. In this paper, we briefly describe the CUBES project development and goals, the main science cases, the instrument design and the project organization and management.


title: From integrals to combinatorial formulas of finite type invariants -- a case study

abstract: We obtain a localized version of the configuration space integral for the Casson knot invariant, where the standard symmetric Gauss form is replaced with a locally supported form. An interesting technical difference between the arguments presented here and the classical arguments is that the vanishing of integrals over hidden and anomalous faces does not require the well-known ``involution tricks''. Further, the integral formula easily yields the well-known arrow diagram expression for the invariant, first presented in the work of Polyak and Viro. We also take the next step of extending the arrow diagram expression to multicrossing knot diagrams and obtain a lower bound for the {\em {\"u}bercrossing number}. The primary motivation is to better understand a connection between the classical configuration space integrals and the arrow diagram expressions for finite type invariants.


title: On the path partition of graphs

abstract: Let $G$ be a graph of order $n$. The maximum and minimum degree of $G$ are denoted by $\Delta$ and $\delta$ respectively. The \emph{path partition number} $\mu (G)$ of a graph $G$ is the minimum number of paths needed to partition the vertices of $G$. Magnant, Wang and Yuan conjectured that $\mu (G)\leq \max \left \{ \frac{n}{\delta +1}, \frac{\left( \Delta -\delta \right) n}{\left( \Delta +\delta \right) }\right \} .$ In this work, we give a positive answer to this conjecture, for $ \Delta \geq 2 \delta $.\medskip \end{abstract}


title: GraphCast: Learning skillful medium-range global weather forecasting

abstract: Global medium-range weather forecasting is critical to decision-making across many social and economic domains. Traditional numerical weather prediction uses increased compute resources to improve forecast accuracy, but cannot directly use historical weather data to improve the underlying model. We introduce a machine learning-based method called "GraphCast", which can be trained directly from reanalysis data. It predicts hundreds of weather variables, over 10 days at 0.25 degree resolution globally, in under one minute. We show that GraphCast significantly outperforms the most accurate operational deterministic systems on 90% of 1380 verification targets, and its forecasts support better severe event prediction, including tropical cyclones, atmospheric rivers, and extreme temperatures. GraphCast is a key advance in accurate and efficient weather forecasting, and helps realize the promise of machine learning for modeling complex dynamical systems.


title: Development of a Thermodynamics of Human Cognition and Human Culture

abstract: Inspired by foundational studies in classical and quantum physics, and by information retrieval studies in quantum information theory, we prove that the notions of 'energy' and 'entropy' can be consistently introduced in human language and, more generally, in human culture. More explicitly, if energy is attributed to words according to their frequency of appearance in a text, then the ensuing energy levels are distributed non-classically, namely, they obey Bose-Einstein, rather than Maxwell-Boltzmann, statistics, as a consequence of the genuinely 'quantum indistinguishability' of the words that appear in the text. Secondly, the 'quantum entanglement' due to the way meaning is carried by a text reduces the (von Neumann) entropy of the words that appear in the text, a behaviour which cannot be explained within classical (thermodynamic or information) entropy. We claim here that this 'quantum-type behaviour is valid in general in human language', namely, any text is conceptually more concrete than the words composing it, which entails that the entropy of the overall text decreases. In addition, we provide examples taken from cognition, where quantization of energy appears in categorical perception, and from culture, where entities collaborate, thus 'entangle', to decrease overall entropy. We use these findings to propose the development of a new 'non-classical thermodynamic theory' for human cognition, which also covers broad parts of human culture and its artefacts and bridges concepts with quantum physics entities.


title: Violence in Guatemala pushes adults and children to seek work in Mexico

abstract: This article estimates the impact of violence on emigration crossings from Guatemala to Mexico as final destination during 2009-2017. To identify causal effects, we use as instruments the variation in deforestation in Guatemala, and the seizing of cocaine in Colombia. We argue that criminal organizations deforest land in Guatemala, fueling violence and leading to emigration, particularly during exogenous supply shocks to cocaine. A one-point increase in the homicide rate differential between Guatemalan municipalities and Mexico, leads to 211 additional emigration crossings made by male adults. This rise in violence, also leads to 20 extra emigration crossings made by children.


title: New trends in South-South migration: The economic impact of COVID-19 and immigration enforcement

abstract: This paper evaluates the impact of the pandemic and enforcement at the US and Mexican borders on the emigration of Guatemalans during 2017-2020. During this period, the number of crossings from Guatemala fell by 10%, according to the Survey of Migration to the Southern Border of Mexico. Yet, there was a rise of nearly 30% in the number of emigration crossings of male adults travelling with their children. This new trend was partly driven by the recent reduction in the number of children deported from the US. For a one-point reduction in the number of children deported from the US to Guatemalan municipalities, there was an increase of nearly 14 in the number of crossings made by adult males leaving from Guatemala for Mexico; and nearly 0.5 additional crossings made by male adults travelling with their children. However, the surge of emigrants travelling with their children was also driven by the acute economic shock that Guatemala experienced during the pandemic. During this period, air pollution in the analysed Guatemalan municipalities fell by 4%, night light per capita fell by 15%, and homicide rates fell by 40%. Unlike in previous years, emigrants are fleeing poverty rather than violence. Our findings suggest that a reduction in violence alone will not be sufficient to reduce emigration flows from Central America, but that economic recovery is needed.


title: Towards Long-term Autonomy: A Perspective from Robot Learning

abstract: In the future, service robots are expected to be able to operate autonomously for long periods of time without human intervention. Many work striving for this goal have been emerging with the development of robotics, both hardware and software. Today we believe that an important underpinning of long-term robot autonomy is the ability of robots to learn on site and on-the-fly, especially when they are deployed in changing environments or need to traverse different environments. In this paper, we examine the problem of long-term autonomy from the perspective of robot learning, especially in an online way, and discuss in tandem its premise "data" and the subsequent "deployment".


title: A Comprehensive Study of Gender Bias in Chemical Named Entity Recognition Models

abstract: Chemical named entity recognition (NER) models are used in many downstream tasks, from adverse drug reaction identification to pharmacoepidemiology. However, it is unknown whether these models work the same for everyone. Performance disparities can potentially cause harm rather than the intended good. This paper assesses gender-related performance disparities in chemical NER systems. We develop a framework for measuring gender bias in chemical NER models using synthetic data and a newly annotated corpus of over 92,405 words with self-identified gender information from Reddit. Our evaluation of multiple biomedical NER models reveals evident biases. For instance, synthetic data suggests female-related names are frequently misclassified as chemicals, especially for brand name mentions. Additionally, we observe performance disparities between female- and male-associated data in both datasets. Many systems fail to detect contraceptives such as birth control. Our findings emphasize the biases in chemical NER models, urging practitioners to account for these biases in downstream applications.


title: A Marker-based Neural Network System for Extracting Social Determinants of Health

abstract: Objective. The impact of social determinants of health (SDoH) on patients' healthcare quality and the disparity is well-known. Many SDoH items are not coded in structured forms in electronic health records. These items are often captured in free-text clinical notes, but there are limited methods for automatically extracting them. We explore a multi-stage pipeline involving named entity recognition (NER), relation classification (RC), and text classification methods to extract SDoH information from clinical notes automatically. Materials and Methods. The study uses the N2C2 Shared Task data, which was collected from two sources of clinical notes: MIMIC-III and University of Washington Harborview Medical Centers. It contains 4480 social history sections with full annotation for twelve SDoHs. In order to handle the issue of overlapping entities, we developed a novel marker-based NER model. We used it in a multi-stage pipeline to extract SDoH information from clinical notes. Results. Our marker-based system outperformed the state-of-the-art span-based models at handling overlapping entities based on the overall Micro-F1 score performance. It also achieved state-of-the-art performance compared to the shared task methods. Conclusion. The major finding of this study is that the multi-stage pipeline effectively extracts SDoH information from clinical notes. This approach can potentially improve the understanding and tracking of SDoHs in clinical settings. However, error propagation may be an issue, and further research is needed to improve the extraction of entities with complex semantic meanings and low-resource entities using external knowledge.


title: Linguistic Elements of Engaging Customer Service Discourse on Social Media

abstract: Customers are rapidly turning to social media for customer support. While brand agents on these platforms are motivated and well-intentioned to help and engage with customers, their efforts are often ignored if their initial response to the customer does not match a specific tone, style, or topic the customer is aiming to receive. The length of a conversation can reflect the effort and quality of the initial response made by a brand toward collaborating and helping consumers, even when the overall sentiment of the conversation might not be very positive. Thus, through this study, we aim to bridge this critical gap in the existing literature by analyzing language's content and stylistic aspects such as expressed empathy, psycho-linguistic features, dialogue tags, and metrics for quantifying personalization of the utterances that can influence the engagement of an interaction. This paper demonstrates that we can predict engagement using initial customer and brand posts.


title: Testing Distributions of Huge Objects

abstract: We initiate a study of a new model of property testing that is a hybrid of testing properties of distributions and testing properties of strings. Specifically, the new model refers to testing properties of distributions, but these are distributions over huge objects (i.e., very long strings). Accordingly, the model accounts for the total number of local probes into these objects (resp., queries to the strings) as well as for the distance between objects (resp., strings), and the distance between distributions is defined as the earth mover's distance with respect to the relative Hamming distance between strings. We study the query complexity of testing in this new model, focusing on three directions. First, we try to relate the query complexity of testing properties in the new model to the sample complexity of testing these properties in the standard distribution testing model. Second, we consider the complexity of testing properties that arise naturally in the new model (e.g., distributions that capture random variations of fixed strings). Third, we consider the complexity of testing properties that were extensively studied in the standard distribution testing model: Two such cases are uniform distributions and pairs of identical distributions.


title: Extraction of entanglement from quantum fields with entangled particle detectors

abstract: We consider two initially entangled Unruh-DeWitt particle detectors and examine how the initial entanglement changes after interacting with a quantum scalar field. As initially nonentangled detectors extract entanglement from the field, entangled detectors also can gain more entanglement so long as they are weakly correlated at the beginning. For initially sufficiently entangled detectors, only degradation takes place. We then apply our analysis to a gravitational shockwave spacetime and show that a shockwave could enhance the initial entanglement of weakly entangled detectors. Moreover, we find that this enhancement can occur for greater detector separations than in Minkowski spacetime.


title: Can Cosmological Simulations Reproduce the Spectroscopically Confirmed Galaxies Seen at $z\geq 10$?

abstract: Recent photometric detections of extreme $(z>10)$ redshift galaxies from the JWST have been shown to be in strong tension with existing simulation models for galaxy formation, and in the most acute case, in tension with $\Lambda CDM$ itself. These results, however, all rest on the confirmation of these distances by spectroscopy. Recently, the JADES survey has detected the most distant galaxies with spectroscopically confirmed redshifts, with four galaxies found with redshifts between $z=10.38$ and $z=13.2$. In this paper, we compare simulation predictions from four large cosmological volumes and two zoom-in protoclusters with the JADES observations to determine whether these spectroscopically confirmed galaxy detections are in tension with existing models for galaxy formation, or with $\Lambda CDM$ more broadly. We find that existing models for cosmological galaxy formation can generally reproduce the observations for JADES, in terms of galaxy stellar masses, star formation rates, and the number density of galaxies at $z>10$.


title: Stability of the Spacetime Penrose Inequality in Spherical Symmetry

abstract: We formulate and prove the stability statement associated with the spacetime Penrose inequality for $n$-dimensional spherically symmetric, asymptotically flat initial data satisfying the dominant energy condition. We assume that the ADM mass is close to the half area radius of the outermost apparent horizon and, following the generalized Jang equation approach, show that the initial data must arise from an isometric embedding into a static spacetime close to to the exterior region of a Schwarzschild spacetime in the following sense. Namely, the time slice is close to the Schwarzschild time slice in the volume preserving intrinsic flat distance, the static potentials are close in $L_{loc}^2$, and the initial data extrinsic curvature is close to the second fundamental form of the embedding in $L^2$.


title: How close are cone singularities on a random flat surface?

abstract: We study the shortest geodesics on flat cone spheres, i.e. flat metrics on the sphere with conical singularities. The length of the shortest geodesic between two singular points can be treated as a function on the moduli space of flat cone spheres with prescribed angle defects. We prove a recurrent relation on the distribution of this function with respect to Thurston's volume form on the moduli space.


title: Milnor Fiber Consistency via Flatness

abstract: We describe a new algebro-geometric perspective on the study of the Milnor fibration and, as a first step toward putting it into practice, prove powerful criteria for a deformation of a holomorphic function germ to admit a Thom stratification and, more generally, to preserve the Milnor fibration in an appropriate sense. As corollaries, we obtain a method of partitioning the space of homogeneous polynomials of a fixed degree into finitely many locally closed subsets such that the fiber diffeomorphism type of the Milnor fibration is constant along each subset and a criterion under which deformations of a function with critical locus a complete intersection will be well-behaved.


title: A Comprehensive Review on Autonomous Navigation

abstract: The field of autonomous mobile robots has undergone dramatic advancements over the past decades. Despite achieving important milestones, several challenges are yet to be addressed. Aggregating the achievements of the robotic community as survey papers is vital to keep the track of current state-of-the-art and the challenges that must be tackled in the future. This paper tries to provide a comprehensive review of autonomous mobile robots covering topics such as sensor types, mobile robot platforms, simulation tools, path planning and following, sensor fusion methods, obstacle avoidance, and SLAM. The urge to present a survey paper is twofold. First, autonomous navigation field evolves fast so writing survey papers regularly is crucial to keep the research community well-aware of the current status of this field. Second, deep learning methods have revolutionized many fields including autonomous navigation. Therefore, it is necessary to give an appropriate treatment of the role of deep learning in autonomous navigation as well which is covered in this paper. Future works and research gaps will also be discussed.


title: Understanding the Complexity Gains of Single-Task RL with a Curriculum

abstract: Reinforcement learning (RL) problems can be challenging without well-shaped rewards. Prior work on provably efficient RL methods generally proposes to address this issue with dedicated exploration strategies. However, another way to tackle this challenge is to reformulate it as a multi-task RL problem, where the task space contains not only the challenging task of interest but also easier tasks that implicitly function as a curriculum. Such a reformulation opens up the possibility of running existing multi-task RL methods as a more efficient alternative to solving a single challenging task from scratch. In this work, we provide a theoretical framework that reformulates a single-task RL problem as a multi-task RL problem defined by a curriculum. Under mild regularity conditions on the curriculum, we show that sequentially solving each task in the multi-task RL problem is more computationally efficient than solving the original single-task problem, without any explicit exploration bonuses or other exploration strategies. We also show that our theoretical insights can be translated into an effective practical learning algorithm that can accelerate curriculum learning on simulated robotic tasks.


title: Hybrid Representation Learning for Cognitive Diagnosis in Late-Life Depression Over 5 Years with Structural MRI

abstract: Late-life depression (LLD) is a highly prevalent mood disorder occurring in older adults and is frequently accompanied by cognitive impairment (CI). Studies have shown that LLD may increase the risk of Alzheimer's disease (AD). However, the heterogeneity of presentation of geriatric depression suggests that multiple biological mechanisms may underlie it. Current biological research on LLD progression incorporates machine learning that combines neuroimaging data with clinical observations. There are few studies on incident cognitive diagnostic outcomes in LLD based on structural MRI (sMRI). In this paper, we describe the development of a hybrid representation learning (HRL) framework for predicting cognitive diagnosis over 5 years based on T1-weighted sMRI data. Specifically, we first extract prediction-oriented MRI features via a deep neural network, and then integrate them with handcrafted MRI features via a Transformer encoder for cognitive diagnosis prediction. Two tasks are investigated in this work, including (1) identifying cognitively normal subjects with LLD and never-depressed older healthy subjects, and (2) identifying LLD subjects who developed CI (or even AD) and those who stayed cognitively normal over five years. To the best of our knowledge, this is among the first attempts to study the complex heterogeneous progression of LLD based on task-oriented and handcrafted MRI features. We validate the proposed HRL on 294 subjects with T1-weighted MRIs from two clinically harmonized studies. Experimental results suggest that the HRL outperforms several classical machine learning and state-of-the-art deep learning methods in LLD identification and prediction tasks.


title: Bounding Real Tensor Optimizations via the Numerical Range

abstract: We show how the numerical range of a matrix can be used to bound the optimal value of certain optimization problems over real tensor product vectors. Our bound is stronger than the trivial bounds based on eigenvalues, and can be computed significantly faster than bounds provided by semidefinite programming relaxations. We discuss numerous applications to other hard linear algebra problems, such as showing that a real subspace of matrices contains no rank-one matrix, and showing that a linear map acting on matrices is positive.


title: Ising Model Partition Function Computation as a Weighted Counting Problem

abstract: While the Ising model remains essential to understand physical phenomena, its natural connection to combinatorial reasoning makes it also one of the best models to probe complex systems in science and engineering. We bring a computational lens to the study of Ising models, where our computer-science perspective is two-fold: On the one hand, we consider the computational complexity of the Ising partition-function problem, or #Ising, and relate it to the logic-based counting of constraint-satisfaction problems, or #CSP. We show that known dichotomy results for #CSP give an easy proof of the hardness of #Ising and provide new intuition on where the difficulty of #Ising comes from. On the other hand, we also show that #Ising can be reduced to Weighted Model Counting (WMC). This enables us to take off-the-shelf model counters and apply them to #Ising. We show that this WMC approach outperforms state-of-the-art specialized tools for #Ising, thereby expanding the range of solvable problems in computational physics.