title: Certain observations on tightness and topological games in bornology

abstract: This article is a continuation of our investigations in the function space $C(X)$ with respect to the topology $\tau^s_\mathfrak{B}$ of strong uniform convergence on $\mathfrak{B}$ in line of (Chandra et al. 2020 \cite{dcpdsd} and Das et al. 2022 \cite{pddcsd-3}) using the idea of strong uniform convergence (Beer and Levi, 2009 \cite{bl}) on a bornology. First we focus on the notion of tightness property of $(C(X),\tau^s_\mathfrak{B})$ and some of its variations such as supertightness, Id-fan tightness and $T$-tightness. Certain situations are discussed when $C(X)$ is a {\rm k}-space with respect to the topology $\tau^s_\mathfrak{B}$. Next the notions of strong $\mathfrak{B}$-open game and $\gamma_{\mathfrak{B}^s}$-open game on $X$ are introduced and some of its consequences are investigated. Finally, we consider discretely selective property and related games. On $(C(X),\tau^s_\mathfrak{B})$ several interactions between topological games related to discretely selective property, the Gruenhage game on $(C(X),\tau^s_\mathfrak{B})$ and certain games on $X$ are presented.


title: Quantitative homogenization of principal Dirichlet eigenvalue shape optimizers

abstract: We apply new results on free boundary regularity of one-phase almost minimizers in periodic media to obtain a quantitative convergence rate for the shape optimizers of the first Dirichlet eigenvalue in periodic homogenization. We obtain a linear (with logarithmic factors) convergence rate for the optimizing eigenvalue. Large scale Lipschitz free boundary regularity of almost minimizers is used to apply the optimal $L^2$ homogenization theory in Lipschitz domains of Kenig, Lin and Shen. A key idea, to deal with the hard constraint on the volume, is a combination of a large scale almost dilation invariance with a selection principle argument.


title: The extensible No-Three-In-Line problem

abstract: The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains $\Theta(n/\log^{1+\varepsilon}n)$ points in $[1,n]^{2}$ for all $n$, where $\varepsilon>0$ is an arbitrarily small real number. We also give computational evidence suggesting that a set of lattice points may exist that has at least $n/2$ points on every large enough $n\times n$ grid.


title: Rupture dynamics of flat colloidal films

abstract: Here, we report experimental results on the rupture of flat colloidal films over a large range of volume fractions, 0.00 $\le \phi\le$ 0.47. The films are formed using a constant fluid volume, ruptured with a needle, and recorded using a high-speed camera. We show that colloidal films rupture in a manner quantitatively similar to Newtonian fluids, even well into the shear thinning regime. These results are consistent with the well-known mechanism of the rupture of Newtonian films, where the rupture rim rolls outward collecting more fluid and thus film rupture is a shear-free process. However, in the case of spontaneous rupture under controlled humidity conditions, the same dense colloidal films show exotic instabilities reminiscent of a wrinkling fabric on the film surface. These instabilities were absent in manually ruptured films. We hypothesize that these instabilities occur when the film thickness becomes thin enough to compete with the colloidal particle size, due to film drainage before spontaneous rupture. Thus, although non-Newtonian flow properties do not influence film rupture dynamics for thick enough films, the effect of microstructure has dramatic consequences in thinner films.


title: Counting stabiliser codes for arbitrary dimension

abstract: In this work, we compute the number of $[[n,k]]_d$ stabilizer codes made up of $d$-dimensional qudits, for arbitrary positive integers $d$. In a seminal work by Gross (Ref. [23]) the number of $[[n,k]]_d$ stabilizer codes was computed for the case when $d$ is a prime (or the power of a prime, i.e., $d=p^m$, but when the qudits are Galois-qudits). The proof in Ref. Ref. [23] is inapplicable to the non-prime case. For our proof, we introduce a group structure to $[[n,k]]_d$ codes, and use this in conjunction with the Chinese remainder theorem to count the number of $[[n,k]]_d$ codes. Our work overlaps with Ref. Ref. [23] when $d$ is a prime and in this case our results match exactly, but the results differ for the more generic case. Despite that, the overall order of magnitude of the number of stabilizer codes scales agnostic of whether the dimension is prime or non-prime. This is surprising since the method employed to count the number of stabilizer states (or more generally stabilizer codes) depends on whether $d$ is prime or not. The cardinality of stabilizer states, which was so far known only for the prime-dimensional case (and the Galois qudit prime-power dimensional case) plays an important role as a quantifier in many topics in quantum computing. Salient among these are the resource theory of magic, design theory, de Finetti theorem for stabilizer states, the study and optimisation of the classical simulability of Clifford circuits, the study of quantum contextuality of small-dimensional systems and the study of Wigner-functions. Our work makes available this quantifier for the generic case, and thus is an important step needed to place results for quantum computing with non-prime dimensional quantum systems on the same pedestal as prime-dimensional systems.


title: Controlling 3D spin textures by manipulating sign and amplitude of interlayer DMI with electrical current

abstract: The recently discovered interlayer Dzyaloshinskii-Moriya interaction (IL-DMI) in multilayers with perpendicular magnetic anisotropy favors the canting of spins in the in-plane direction and could thus enable new exciting spin textures such as Hopfions in continuous multilayer films. A key requirement is to control the IL-DMI and so in this study, the influence of an electric current on the IL-DMI is investigated by out-of-plane hysteresis loops of the anomalous Hall effect under applied in-plane magnetic fields. The direction of the in-plane field is varied to obtain a full azimuthal dependence, which allows us to quantify the effect on the IL-DMI. We observe a shift in the azimuthal dependence of the IL-DMI with increasing current, which can be understood from the additional in-plane symmetry breaking introduced by the current flow. Using an empirical model of two superimposed cosine functions we demonstrate the presence of a current-induced term that linearly increases the IL-DMI in the direction of current flow. With this, a new easily accessible possibility to manipulate 3D spin textures by current is realized. As most spintronic devices employ spin-transfer or spin-orbit torques to manipulate spin textures, the foundation to implement current-induced IL-DMI into thin-film devices is broadly available.


title: A proof of the Generalized Jacobian conjecture

abstract: Based on the reduction of degree in polynomial mappings and some known results in algebraic geometry, by introducing the Brouwer degree, a tool from differential topology, algebraic topology and algebraic geometry, we completely prove the Generalized Jacobian conjecture in the field of real numbers, which implies the Generalized complex Jacobian conjecture. Also, for the strong real Jacobian conjecture, we present a newly sufficient and necessary condition.


title: Semiampleness for generalized pairs

abstract: We prove that if $(X, B+\mathbf{M})$ is a generalized klt pair with $K_X+B+\mathbf{M}_X$ nef and abundant, then $K_X+B+\mathbf{M}_X$ is semiample. More generally, we prove a generalized basepoint free theorem for generalized klt pairs.


title: Learning by Consuming: Optimal Pricing with Endogenous Information Provision

abstract: We study the revenue-maximizing mechanism when a buyer's value evolves endogenously because of learning-by-consuming. A seller sells one unit of a divisible good, while the buyer relies on his private, rough valuation to choose his first-stage consumption level. Consuming more leads to a more precise valuation estimate, after which the buyer determines the second-stage consumption level. The optimum is a menu of try-and-decide contracts, consisting of a first-stage price-quantity pair and a second-stage per-unit price for the remaining quantity. In equilibrium, a higher first-stage valuation buyer pays more for higher first-stage consumption and enjoys a lower second-stage per-unit price. Methodologically, we deal with the difficulty that due to the failure of single-crossing condition, monotonicity in allocation plus the envelope condition is insufficient for incentive compatibility. Our results help to understand contracts about sequential consumption with the learning feature; e.g., leasing contracts for experience goods and trial sessions for certain courses.


title: Phishing URL Detection: A Network-based Approach Robust to Evasion

abstract: Many cyberattacks start with disseminating phishing URLs. When clicking these phishing URLs, the victim's private information is leaked to the attacker. There have been proposed several machine learning methods to detect phishing URLs. However, it still remains under-explored to detect phishing URLs with evasion, i.e., phishing URLs that pretend to be benign by manipulating patterns. In many cases, the attacker i) reuses prepared phishing web pages because making a completely brand-new set costs non-trivial expenses, ii) prefers hosting companies that do not require private information and are cheaper than others, iii) prefers shared hosting for cost efficiency, and iv) sometimes uses benign domains, IP addresses, and URL string patterns to evade existing detection methods. Inspired by those behavioral characteristics, we present a network-based inference method to accurately detect phishing URLs camouflaged with legitimate patterns, i.e., robust to evasion. In the network approach, a phishing URL will be still identified as phishy even after evasion unless a majority of its neighbors in the network are evaded at the same time. Our method consistently shows better detection performance throughout various experimental tests than state-of-the-art methods, e.g., F-1 of 0.89 for our method vs. 0.84 for the best feature-based method.


title: Joint demosaicing and fusion of multiresolution coded acquisitions: A unified image formation and reconstruction method

abstract: Novel optical imaging devices allow for hybrid acquisition modalities such as compressed acquisitions with locally different spatial and spectral resolutions captured by a single focal plane array. In this work, we propose to model the capturing system of a multiresolution coded acquisition (MRCA) in a unified framework, which natively includes conventional systems such as those based on spectral/color filter arrays, compressed coded apertures, and multiresolution sensing. We also propose a model-based image reconstruction algorithm performing a joint demosaicing and fusion (JoDeFu) of any acquisition modeled in the MRCA framework. The JoDeFu reconstruction algorithm solves an inverse problem with a proximal splitting technique and is able to reconstruct an uncompressed image datacube at the highest available spatial and spectral resolution. An implementation of the code is available at https://github.com/danaroth83/jodefu.


title: A Proposal for a Metaphysics of Self-Subsisting Structures. I. Classical Physics

abstract: We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered -- and is thus susceptible to scientific progress -- , the empirically successful structural features of the framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space.


title: Estimating Demand for Online Delivery using Limited Historical Observations

abstract: Driven in part by the COVID-19 pandemic, the pace of online purchases for at-home delivery has accelerated significantly. However, responding to this development has been challenging given the lack of public data. The existing data may be infrequent, and a significant portion of data may be missing because of survey participant non-responses. This data paucity renders conventional predictive models unreliable. We address this shortcoming by developing algorithms for data imputation and synthetic demand estimation for future years without the actual ground truth data. We use 2017 Puget Sound Regional Council (PSRC) and National Household Travel Survey (NHTS) data and impute from the NHTS for the Seattle-Tacoma-Bellevue MSA where delivery data is relatively more frequent. Our imputation has the mean-squared error $\mathsf{MSE} \approx 0.65$ to NHTS with mean $\approx 1$ and standard deviation $\approx 3.5$ and provides a similarity matching between the two data sources' samples. Given the unavailability of NHTS data for 2021, we use the temporal fidelity of PSRC data sources (2017 and 2021) to project the resolution onto the NHTS providing a synthetic estimate of NHTS deliveries. Beyond the improved reliability of the estimates, we report explanatory variables that were relevant in determining the volume of deliveries. This work furthers existing methods in demand estimation for goods deliveries by maximizing available sparse data to generate reasonable estimates that could facilitate policy decisions.


title: A Markov Process Theory for Network Growth Processes of DAG-based Blockchain Systems

abstract: Note that the serial structure of blockchain has many essential pitfalls, thus a data network structure and its DAG-based blockchain are introduced to resolve the blockchain pitfalls. From such a network perspective, analysis of the DAG-based blockchain systems becomes interesting and challenging. So, the simulation models are adopted widely. In this paper, we first describe a simple Markov model for the DAG-based blockchain with IOTA Tangle by means of two layers of tips and internal tips' impatient connection behavior. Then we set up a continuous-time Markov process to analyze the DAG-based blockchain system and show that this Markov process is a level-dependent quasi-birth-and-death (QBD) process. Based on this, we prove that the QBD process must be irreducible and positive recurrent. Furthermore, once the stationary probability vector of the QBD process is given, we provide performance analysis of the DAG-based blockchain system. Next, we propose a new effective method for computing the average confirmation time of any arriving internal tip at this system by means of the first passage times and the PH distributions. Finally, we use numerical examples to check the validity of our theoretical results and indicate how some key system parameters influence the performance measures of this system. Therefore, we hope that the methodology and results developed in this paper can be applicable to deal with more general DAG-based blockchain systems such that a series of promising research can be developed potentially.


title: Scramble number and tree-cut decompositions

abstract: The scramble number of a graph is an invariant recently developed to study chip-firing games and divisorial gonality. In this paper we introduce the screewidth of a graph, based on a variation of the existing literature on tree-cut decompositions. We prove that this invariant serves as an upper bound on scramble number, though they are not always equal. We study properties of screewidth, and present results and conjectures on its connection to divisorial gonality.


title: Model Selection in High-Dimensional Block-Sparse Linear Regression

abstract: Model selection is an indispensable part of data analysis dealing very frequently with fitting and prediction purposes. In this paper, we tackle the problem of model selection in a general linear regression where the parameter matrix possesses a block-sparse structure, i.e., the non-zero entries occur in clusters or blocks and the number of such non-zero blocks is very small compared to the parameter dimension. Furthermore, a high-dimensional setting is considered where the parameter dimension is quite large compared to the number of available measurements. To perform model selection in this setting, we present an information criterion that is a generalization of the Extended Bayesian Information Criterion-Robust (EBIC-R) and it takes into account both the block structure and the high-dimensionality scenario. The analytical steps for deriving the EBIC-R for this setting are provided. Simulation results show that the proposed method performs considerably better than the existing state-of-the-art methods and achieves empirical consistency at large sample sizes and/or at high-SNR.


title: Modular Vehicle Routing for Combined Passenger and Freight Transport

abstract: The continuous increase in urban deliveries and the ongoing urbanization of large cities require the development of efficient and sustainable transportation solutions. This study investigates the impact of modular vehicle concepts and the consolidation of different demand types in the route planning on the efficiency of the urban freight and passenger transportation system. Modularity is achieved by connecting multiple vehicles together to form a platoon. The consolidation of different demand types is realized by simultaneously consider passenger and freight demand in the optimization algorithm. The considered vehicles are specific for each demand type by can be connected freely, hence it is possible to transport different demand types in the same platoon. The cost terms in the problem formulation are comprised of travel time costs, travel distance costs, fleet size costs, and cost considering unserved requests. The modular vehicle operations are modeled in a novel pickup and delivery problem which is solved using CPLEX and Adaptive Large Neighborhood Search. In an extensive scenario study and case study in Stockholm, the potentials of the new modular vehicle type are explored for different spatial and temporal demand distributions. A parameter study on vehicle capacity, vehicle range and cost saving assumptions is performed to study their influence on the efficiency. The experiments carried out indicate a general cost savings of 48% due to modularity and an additional 9% due to consolidation. The reduction mainly stems from reduced operating costs and reduced trip duration, while the same number of requests can be served in all cases. Empty vehicle kilometers are reduced by more than 60% by consolidation and modularity. The proposed model and optimization framework can be used by companies and policy makers to identify required fleet sizes, optimal vehicle routes and cost savings.


title: On functions with given boundary data and convex constraints on the gradient

abstract: Let $\Omega\subset\mathbb{R}^{d}$ be an open set. Given a boundary datum $g$ on $\partial\Omega$ and a function $K:\bar {\Omega} \to\mathcal{K}$, the family of all compact convex subsets of $\mathbb{R}^{d}$, we prove the existence of functions $u:\Omega\to\mathbb{R}$ such that $u=g$ on $\partial\Omega$ and $\nabla u(x)\in K(x)$ a.e. and we investigate the regularity of such solutions on the set $\mathcal{U} \subset \bar{\Omega}$ of points at which they all coincide.


title: Contextual unification of classical and quantum physics

abstract: Following an article by John von Neumann on infinite tensor products, we develop the idea that the usual formalism of quantum mechanics, associated with unitary equivalence of representations, stops working when countable infinities of particles (or degrees of freedom) are encountered. This is because the dimension of the corresponding Hilbert space becomes uncountably infinite, leading to the loss of unitary equivalence, and to sectorization. By interpreting physically this mathematical fact, we show that it provides a natural way to describe the "Heisenberg cut", as well as a unified mathematical model including both quantum and classical physics, appearing as required incommensurable facets in the description of nature.


title: Recent progress in intersection theory for Feynman integrals decomposition

abstract: High precision calculations in perturbative QFT often require evaluation of big collection of Feynman integrals. Complexity of this task can be greatly reduced via the usage of linear identities among Feynman integrals. Based on mathematical theory of intersection numbers, recently a new method for derivation of such identities and decomposition of Feynman integrals was introduced and applied to many non-trivial examples. In this note we discuss the latest developments in algorithms for the evaluation of intersection numbers, and their application to the reduction of Feynman integrals.


title: Periodic potential can enormously boost free particle transport induced by active fluctuations

abstract: Active fluctuations are detected in a growing number of systems due to self-propulsion mechanisms or collisions with active environment. They drive the system far from equilibrium and can induce phenomena which at equilibrium states are forbidden by e.g. fluctuation-dissipation relations and detailed balance symmetry. Understanding of their role in living matter is emerging as a challenge for physics. Here we demonstrate a paradoxical effect in which a free particle transport induced by active fluctuations can be boosted by many orders of magnitude when the particle is additionally subjected to a periodic potential. In contrast, within the realm of only thermal fluctuations the velocity of a free particle exposed to a bias is reduced when the periodic potential is switched on. The presented mechanism is significant for understanding nonequilibrium environments such as living cells where it can explain from a fundamental point of view why spatially periodic structures known as microtubules are necessary to generate impressively effective intracellular transport. Our findings can be readily corroborated experimentally e.g. in a setup comprising a colloidal particle in an optically generated periodic potential.


title: Age-Dependent Differential Privacy

abstract: The proliferation of real-time applications has motivated extensive research on analyzing and optimizing data freshness in the context of \textit{age of information}. However, classical frameworks of privacy (e.g., differential privacy (DP)) have overlooked the impact of data freshness on privacy guarantees, which may lead to unnecessary accuracy loss when trying to achieve meaningful privacy guarantees in time-varying databases. In this work, we introduce \textit{age-dependent DP}, taking into account the underlying stochastic nature of a time-varying database. In this new framework, we establish a connection between classical DP and age-dependent DP, based on which we characterize the impact of data staleness and temporal correlation on privacy guarantees. Our characterization demonstrates that \textit{aging}, i.e., using stale data inputs and/or postponing the release of outputs, can be a new strategy to protect data privacy in addition to noise injection in the traditional DP framework. Furthermore, to generalize our results to a multi-query scenario, we present a sequential composition result for age-dependent DP under any publishing and aging policies. We then characterize the optimal tradeoffs between privacy risk and utility and show how this can be achieved. Finally, case studies show that to achieve a target of an arbitrarily small privacy risk in a single-query case, combing aging and noise injection only leads to a bounded accuracy loss, whereas using noise injection only (as in the benchmark case of DP) will lead to an unbounded accuracy loss.


title: Lectures on families of Dirac operators and applications

abstract: These are the notes for a minicourse taught at the 2022 ICTP summer school `Frontiers in Geometry and Topology'. The goal is to introduce families of Dirac operators and how they can be used to study interactions between geometry and topology. In particular, we discuss the index theorem for families of twisted Dirac operators, and its applications to metrics of positive scalar curvature and the three-dimensional Weinstein conjecture.


title: Randomized Privacy Budget Differential Privacy

abstract: While pursuing better utility by discovering knowledge from the data, individual's privacy may be compromised during an analysis. To that end, differential privacy has been widely recognized as the state-of-the-art privacy notion. By requiring the presence of any individual's data in the input to only marginally affect the distribution over the output, differential privacy provides strong protection against adversaries in possession of arbitrary background. However, the privacy constraints (e.g., the degree of randomization) imposed by differential privacy may render the released data less useful for analysis, the fundamental trade-off between privacy and utility (i.e., analysis accuracy) has attracted significant attention in various settings. In this report we present DP mechanisms with randomized parameters, i.e., randomized privacy budget, and formally analyze its privacy and utility and demonstrate that randomizing privacy budget in DP mechanisms will boost the accuracy in a humongous scale.


title: Machine learning for dynamically predicting the onset of renal replacement therapy in chronic kidney disease patients using claims data

abstract: Chronic kidney disease (CKD) represents a slowly progressive disorder that can eventually require renal replacement therapy (RRT) including dialysis or renal transplantation. Early identification of patients who will require RRT (as much as 1 year in advance) improves patient outcomes, for example by allowing higher-quality vascular access for dialysis. Therefore, early recognition of the need for RRT by care teams is key to successfully managing the disease. Unfortunately, there is currently no commonly used predictive tool for RRT initiation. In this work, we present a machine learning model that dynamically identifies CKD patients at risk of requiring RRT up to one year in advance using only claims data. To evaluate the model, we studied approximately 3 million Medicare beneficiaries for which we made over 8 million predictions. We showed that the model can identify at risk patients with over 90% sensitivity and specificity. Although additional work is required before this approach is ready for clinical use, this study provides a basis for a screening tool to identify patients at risk within a time window that enables early proactive interventions intended to improve RRT outcomes.


title: Neural Sign Reenactor: Deep Photorealistic Sign Language Retargeting

abstract: In this paper, we introduce a neural rendering pipeline for transferring the facial expressions, head pose, and body movements of one person in a source video to another in a target video. We apply our method to the challenging case of Sign Language videos: given a source video of a sign language user, we can faithfully transfer the performed manual (e.g., handshape, palm orientation, movement, location) and non-manual (e.g., eye gaze, facial expressions, mouth patterns, head, and body movements) signs to a target video in a photo-realistic manner. Our method can be used for Sign Language Anonymization, Sign Language Production (synthesis module), as well as for reenacting other types of full body activities (dancing, acting performance, exercising, etc.). We conduct detailed qualitative and quantitative evaluations and comparisons, which demonstrate the particularly promising and realistic results that we obtain and the advantages of our method over existing approaches.


title: Topologically localized excitons in single graphene nanoribbons

abstract: Excitonic emission from atomically precise graphene nanoribbons (GNRs) synthesised on a metal surface is probed with atomic-scale spatial resolution using a scanning tunneling microscopy (STM) approach. A STM-based strategy to transfer the GNRs to a partially insulating surface is used to prevent light emission quenching of the ribbons by the metal substrate. Sub-nanometer resolved STM-induced fluorescence spectra reveal emission from localized dark excitons build upon the topological end states of the GNRs. A low frequency vibronic emission comb whose characteristics change with the GNR length is attributed to longitudinal acoustic modes confined to a finite box. Overall, our study provides a novel path to investigate the interplay between excitons, vibrons and topology in atomically precise graphene nanostructures.


title: Extremely Inclined Orbit of S-type Planet $\gamma$ Cep Ab Induced by Eccentric Kozai-Lidov Mechanism

abstract: $\gamma$ Cep Ab is a typical S-type planet, which occupies a nearly perpendicular planetary orbit relative to the binary. Here we use the Markov Chain Monte Carlo (MCMC) sampler to conduct full N-body fitting and derive self-consistent orbital solutions for this hierarchical system. Then we employ the Eccentric Kozai-Lidov (EKL) mechanism to explain the extremely inclined orbit of S-type planet $\gamma$ Cep Ab. The EKL mechanism plays an essential role in exploring significant oscillations of the mutual inclination $i_{\mathrm{mut}}$ between the planet and the secondary star. We perform qualitative analysis and extensive numerical integrations to investigate the flip conditions and timescales of $\gamma$ Cep Ab's orbit. When the planetary mass is 15 $M_{\mathrm{Jup}}$, the planet can reach $i_{\mathrm{mut}} \sim$ 113$^{\circ}$ with the critical initial conditions of $i_{\mathrm{mut}} < 60^{\circ}$ and $e_1<0.7$. The timescale for the first orbital flip decreases with the increase of the perturbation Hamiltonian. Flipping orbits of $\gamma$ Cep Ab are confirmed to have a large possibility to retain stable based on surfaces of section and the secular stability criterion. Furthermore, we extend the application of EKL to general S-type planetary systems with $a_1/a_2\leq0.1$, where the most intense excitation of $i_{\mathrm{mut}}$ occurs when $a_1/a_2=0.1$ and $e_2 \sim 0.8$, and the variation of planetary mass mainly affect the flip possibility where $e_1\leq 0.3$.


title: Model-based Analysis and Specification of Functional Requirements and Tests for Complex Automotive Systems

abstract: The specification of requirements and tests are crucial activities in automotive development projects. However, due to the increasing complexity of automotive systems, practitioners fail to specify requirements and tests for distributed and evolving systems with complex interactions when following traditional development processes. To address this research gap, we propose a technique that starts with the early identification of validation concerns from a stakeholder perspective, which we use to systematically design tests that drive a scenario-based modeling and analysis of system requirements. To ensure complete and consistent requirements and test specifications in a form that is required in automotive development projects, we develop a Model-Based Systems Engineering (MBSE) methodology. This methodology supports system architects and test designers in the collaborative application of our technique and in maintaining a central system model, in order to automatically derive the required specifications. We evaluate our methodology by applying it at KOSTAL (Tier1 supplier) and within student projects as part of the masters program Embedded Systems Engineering. Our study corroborates that our methodology is applicable and improves existing requirements and test specification processes by supporting the integrated and stakeholder-focused modeling of product and validation systems, where the early definition of stakeholder and validation concerns fosters a problem-oriented, iterative and test-driven requirements modeling.


title: Cutoff for a class of auto-regressive models with vanishing additive noise

abstract: We analyze the convergence rates for a family of auto-regressive Markov chains $(X^{(n)}_k)_{k\geq 0}$ on $\mathbb R^d$, where at each step a randomly chosen coordinate is replaced by a noisy damped weighted average of the others. The interest in the model comes from the connection with a certain Bayesian scheme introduced by de Finetti in the analysis of partially exchangeable data. Our main result shows that, when $n$ gets large (corresponding to a vanishing noise), a cutoff phenomenon occurs.


title: Geometric interpretation of quantitative instability

abstract: Given a real algebraic group $G$ acting on a linear space $V$, a vector $v\in V$ is called unstable if $0\in \overline{Gv}-Gv$, where the closure is taken with respect to the Zariski topology. A fundamental theorem of Kempf in geometric invariant theory states that $v$ is unstable if and only if there is a one-parameter subgroup $A$ of $G$ such that $Av$ is unstable. Assuming $G$ is a semisimple real algebraic $\mathbb{Q}$-group, we give a new proof to this result using a geometric interpretation of the setting. In the process, we also give a new proof of an effective version of this result by Shah and Yang. Our interpretation involves relating the length of vectors under a linear action to convex functions on certain $\cat$-spaces, and bound the later from below by Busemann functions.


title: Learning the Dynamics of Particle-based Systems with Lagrangian Graph Neural Networks

abstract: Physical systems are commonly represented as a combination of particles, the individual dynamics of which govern the system dynamics. However, traditional approaches require the knowledge of several abstract quantities such as the energy or force to infer the dynamics of these particles. Here, we present a framework, namely, Lagrangian graph neural network (LGnn), that provides a strong inductive bias to learn the Lagrangian of a particle-based system directly from the trajectory. We test our approach on challenging systems with constraints and drag -- LGnn outperforms baselines such as feed-forward Lagrangian neural network (Lnn) with improved performance. We also show the zero-shot generalizability of the system by simulating systems two orders of magnitude larger than the trained one and also hybrid systems that are unseen by the model, a unique feature. The graph architecture of LGnn significantly simplifies the learning in comparison to Lnn with ~25 times better performance on ~20 times smaller amounts of data. Finally, we show the interpretability of LGnn, which directly provides physical insights on drag and constraint forces learned by the model. LGnn can thus provide a fillip toward understanding the dynamics of physical systems purely from observable quantities.


title: Irreducible Contact Curves via Graph Stratification

abstract: We prove that the moduli space of contact stable maps to $\mathbb{P}^{2n+1}$ of degree $d$ admits a stratification parameterized by graphs. We use it to determine the number of irreducible rational contact curves in $\mathbb{P}^{2n+1}$ with any Schubert condition. We give explicitely some of these invariants for $\mathbb{P}^{3}$ and $\mathbb{P}^{5}$. We give another proof of the formula for the number of plane contact curves in $\mathbb{P}^{3}$ meeting the appropriate number of lines.


title: Equivariant Self-Supervision for Musical Tempo Estimation

abstract: Self-supervised methods have emerged as a promising avenue for representation learning in the recent years since they alleviate the need for labeled datasets, which are scarce and expensive to acquire. Contrastive methods are a popular choice for self-supervision in the audio domain, and typically provide a learning signal by forcing the model to be invariant to some transformations of the input. These methods, however, require measures such as negative sampling or some form of regularisation to be taken to prevent the model from collapsing on trivial solutions. In this work, instead of invariance, we propose to use equivariance as a self-supervision signal to learn audio tempo representations from unlabelled data. We derive a simple loss function that prevents the network from collapsing on a trivial solution during training, without requiring any form of regularisation or negative sampling. Our experiments show that it is possible to learn meaningful representations for tempo estimation by solely relying on equivariant self-supervision, achieving performance comparable with supervised methods on several benchmarks. As an added benefit, our method only requires moderate compute resources and therefore remains accessible to a wide research community.


title: Evaluation of Model-Based PM$_{2.5}$ Estimates for Exposure Assessment During Wildfire Smoke Episodes in the Western U.S

abstract: Investigating the health impacts of wildfire smoke requires data on people's exposure to fine particulate matter (PM$_{2.5}$) across space and time. In recent years, it has become common to use machine learning models to fill gaps in monitoring data. However, it remains unclear how well these models are able to capture spikes in PM$_{2.5}$ during and across wildfire events. Here, we evaluate the accuracy of two sets of high-coverage and high-resolution machine learning-derived PM$_{2.5}$ data sets created by Di et al. (2021) and Reid et al. (2021). In general, the Reid estimates are more accurate than the Di estimates when compared to independent validation data from mobile smoke monitors deployed by the US Forest Service. However, both models tend to severely under-predict PM$_{2.5}$ on high-pollution days. Our findings complement other recent studies calling for increased air pollution monitoring in the western US and support the inclusion of wildfire-specific monitoring observations and predictor variables in model-based estimates of PM$_{2.5}$. Lastly, we call for more rigorous error quantification of machine-learning derived exposure data sets, with special attention to extreme events.


title: Stochastic magnetic actuated random transducer devices based on perpendicular magnetic tunnel junctions

abstract: True random number generators are of great interest in many computing applications such as cryptography, neuromorphic systems and Monte Carlo simulations. Here we investigate perpendicular magnetic tunnel junction nanopillars (pMTJs) activated by short duration (ns) pulses in the ballistic limit for such applications. In this limit, a pulse can transform the Boltzmann distribution of initial free layer magnetization states into randomly magnetized down or up states, i.e. a bit that is 0 or 1, easily determined by measurement of the junction's tunnel resistance. It is demonstrated that bitstreams with millions of events: 1) are very well described by the binomial distribution; 2) can be used to create a uniform distribution of 8-bit random numbers; 3) pass multiple statistical tests for true randomness, including all the National Institute of Standards tests for random number generators with only one XOR operation; and 4) can have no drift in the bit probability with time. The results presented here show that pMTJs operated in the ballistic regime can generate true random numbers at GHz bitrates, while being more robust to environmental changes, such as their operating temperature, compared to other stochastic nanomagnetic devices.


title: Decomposition of Frobenius pushforwards of line bundles on wonderful compactifications

abstract: De Concini-Procesi introduced varieties known as wonderful compactifications, which are smooth projective compactifications of semisimple adjoint groups $G$. We study the Frobenius pushforwards of invertible sheaves on the wonderful compactifications, and in particular its decomposition into locally free subsheaves. We give necessary and sufficient conditions for a specific line bundle to be a direct summand of the Frobenius pushforward of another line bundle, formulated in terms of the weight lattice of $\widetilde{G}$, the universal cover of $G$ (identified with the Picard group of the wonderful compactification). In the case of $G=\mathsf{PSL}_n$, we offer lower bounds on the multiplicities (as direct summands) for those line bundles satisfying the sufficient conditions. We also decompose Frobenius pushforwards of line bundles into a direct sum of vector subbundles, whose ranks are determined by invariants on the weight lattice of $G$. We study a particular block which decomposes as a direct sum of line bundles, and identify the line bundles which appear in this block. Finally, we present two approaches to compute the class of the Frobenius pushforward of line bundles on wonderful compactifications in the rational Grothendieck group and in the rational Chow group.


title: A Novel Knowledge-Based Genetic Algorithm for Robot Path Planning in Complex Environments

abstract: In this paper, a novel knowledge-based genetic algorithm for path planning of a mobile robot in unstructured complex environments is proposed, where five problem-specific operators are developed for efficient robot path planning. The proposed genetic algorithm incorporates the domain knowledge of robot path planning into its specialized operators, some of which also combine a local search technique. A unique and simple representation of the robot path is proposed and a simple but effective path evaluation method is developed, where the collisions can be accurately detected and the quality of a robot path is well reflected. The proposed algorithm is capable of finding a near-optimal robot path in both static and dynamic complex environments. The effectiveness and efficiency of the proposed algorithm are demonstrated by simulation studies. The irreplaceable role of the specialized genetic operators in the proposed genetic algorithm for solving the robot path planning problem is demonstrated through a comparison study.


title: Spatially multiplexed dielectric tensor tomography

abstract: Dielectric tensor tomography (DTT) enables the reconstruction of three-dimensional (3D) dielectric tensors, which provides a physical measure of 3D optical anisotropy. Herein, we present a cost-effective and robust method for DTT measurement using a multiplexing approach. By exploiting two orthogonally polarized reference beams with different angles in an off-axis interferometer, two polarization-sensitive interferograms were overlapped and recorded using a single camera. Then, the two multiplexed interferograms were separated in the Fourier domain, enabling the reconstruction of polarization-sensitive fields. Finally, by measuring the polarization-sensitive fields for various illumination angles, 3D dielectric tensor tomograms were reconstructed. The proposed method was experimentally demonstrated by reconstructing the 3D dielectric tensors of various liquid crystal particles with radial and bipolar orientational configurations.


title: A Hybrid Tracking Control Strategy for an Unmanned Underwater Vehicle Aided with Bioinspired Neural Dynamics

abstract: Tracking control has been a vital research topic in robotics. This paper presents a novel hybrid control strategy for an unmanned underwater vehicle (UUV) based on a bioinspired neural dynamics model. An enhanced backstepping kinematic control strategy is first developed to avoid sharp velocity jumps and provides smooth velocity commands relative to conventional methods. Then, a novel sliding mode control is proposed, which is capable of providing smooth and continuous torque commands free from chattering. In comparative studies, the proposed combined hybrid control strategy has ensured control signals smoothness, which is critical in real world applications, especially for an unmanned underwater vehicle that needs to operate in complex underwater environments.


title: Maxwell theory of fractons

abstract: We show that the main properties of the fracton quasiparticles can be derived from a generalized covariant Maxwell-like action. Starting from a rank-2 symmetric tensor field $A_{\mu\nu}(x)$, we build a partially symmetric rank-3 tensor field strength $F_{\mu\nu\rho}(x)$ which obeys a kind of Bianchi identity. The most general action invariant under the covariant ``fracton'' transformation $\delta_{fract}A_{\mu\nu}(x)=\partial_\mu\partial_\nu\Lambda(x)$ consists of two independent terms: one describing Linearized Gravity (LG) and the other referable to fractons. The whole action can be written in terms of $F_{\mu\nu\rho}(x)$, and the fracton part of the invariant Lagrangian writes as $F^2(x)$, in analogy with Maxwell theory. The canonical momentum derived from the fracton Lagrangian coincides with the tensor electric field appearing in the fracton Literature, and the field equations of motion, which have the same form as the covariant Maxwell equations ($\partial^\mu F_{\alpha\beta\mu}(x)=0$), can be written in terms of the generalized electric and magnetic fields and yield two of the four Maxwell equations (generalized electric Gauss and Amp\`ere laws), while the other two (generalized magnetic Gauss and Faraday laws) are consequences of the ``Bianchi identity'' for the tensor $F_{\mu\nu\rho}(x)$, as in Maxwell theory. In the covariant generalization of the fracton theory, the equations describing the fracton limited mobility, $i.e.$ the charge and dipole conservation, are not external constraints, but rather consequences of the field equations of motion, hence of the invariant action and, ultimately, of the fracton covariant symmetry. Finally, we increase the known analogies between LG and fracton theory by noting that both satisfy the generalized Gauss constraint which underlies the limited mobility property, which one would not expect in LG.


title: Differentially-private Distributed Algorithms for Aggregative Games with Guaranteed Convergence

abstract: The distributed computation of a Nash equilibrium in aggregative games is gaining increased traction in recent years. Of particular interest is the mediator-free scenario where individual players only access or observe the decisions of their neighbors due to practical constraints. Given the competitive rivalry among participating players, protecting the privacy of individual players becomes imperative when sensitive information is involved. We propose a fully distributed equilibrium-computation approach for aggregative games that can achieve both rigorous differential privacy and guaranteed computation accuracy of the Nash equilibrium. This is in sharp contrast to existing differential-privacy solutions for aggregative games that have to either sacrifice the accuracy of equilibrium computation to gain rigorous privacy guarantees, or allow the cumulative privacy budget to grow unbounded, hence losing privacy guarantees, as iteration proceeds. Our approach uses independent noises across players, thus making it effective even when adversaries have access to all shared messages as well as the underlying algorithm structure. The encryption-free nature of the proposed approach, also ensures efficiency in computation and communication. The approach is also applicable in stochastic aggregative games, able to ensure both rigorous differential privacy and guaranteed computation accuracy of the Nash equilibrium when individual players only have stochastic estimates of their pseudo-gradient mappings. Numerical comparisons with existing counterparts confirm the effectiveness of the proposed approach.


title: Data needs for integrated economic-epidemiological models of pandemic mitigation policies

abstract: The COVID-19 pandemic and the mitigation policies implemented in response to it have resulted in economic losses worldwide. Attempts to understand the relationship between economics and epidemiology has lead to a new generation of integrated mathematical models. The data needs for these models transcend those of the individual fields, especially where human interaction patterns are closely linked with economic activity. In this article, we reflect upon modelling efforts to date, discussing the data needs that they have identified, both for understanding the consequences of the pandemic and policy responses to it through analysis of historic data and for the further development of this new and exciting interdisciplinary field.


title: Understanding the Quality Factor of Mass-Loaded Tensioned Resonators

abstract: Mechanical resonators featuring large tensile stress have enabled a range of experiments in quantum optomechanics and novel sensing. Many sensing applications require functionalizing tensioned resonators by appending additional mass to them. However, this may dramatically change the resonator mode quality factor, and hence its sensitivity. In this work, we investigate the effect of the crossover from no mass load to a large mass load on the mode shape and quality factor of a tensioned resonator. We show through an analytical model and finite element analysis that as the load mass increases, surprisingly, the resonator mode shape becomes independent of the exact load mass, and therefore, its quality factor saturates. We validate this saturation effect experimentally by measuring the quality factor of a silicon nitride trampoline resonator while varying the load mass in a controlled manner.


title: A Chain Rule for Strict Twice Epi-Differentiability and its Applications

abstract: The presence of second-order smoothness for objective functions of optimization problems can provide valuable information about their stability properties and help us design efficient numerical algorithms for solving these problems. Such second-order information, however, cannot be expected in various constrained and composite optimization problems since we often have to express their objective functions in terms of extended-real-valued functions for which the classical second derivative may not exist. One powerful geometrical tool to use for dealing with such functions is the concept of twice epi-differentiability. In this paper, we are going to study a stronger version of this concept, called strict twice epi-differentiability. We characterize this concept for certain composite functions and use it to establish the equivalence of metric regularity and strong metric regularity for a class of generalized equations at their nondegenerate solutions. Finally, we present a characterization of continuous differentiability of the proximal mapping of our composite functions.


title: Model-Free Deep Reinforcement Learning in Software-Defined Networks

abstract: This paper compares two deep reinforcement learning approaches for cyber security in software defined networking. Neural Episodic Control to Deep Q-Network has been implemented and compared with that of Double Deep Q-Networks. The two algorithms are implemented in a format similar to that of a zero-sum game. A two-tailed T-test analysis is done on the two game results containing the amount of turns taken for the defender to win. Another comparison is done on the game scores of the agents in the respective games. The analysis is done to determine which algorithm is the best in game performer and whether there is a significant difference between them, demonstrating if one would have greater preference over the other. It was found that there is no significant statistical difference between the two approaches.


title: Learning Differential Operators for Interpretable Time Series Modeling

abstract: Modeling sequential patterns from data is at the core of various time series forecasting tasks. Deep learning models have greatly outperformed many traditional models, but these black-box models generally lack explainability in prediction and decision making. To reveal the underlying trend with understandable mathematical expressions, scientists and economists tend to use partial differential equations (PDEs) to explain the highly nonlinear dynamics of sequential patterns. However, it usually requires domain expert knowledge and a series of simplified assumptions, which is not always practical and can deviate from the ever-changing world. Is it possible to learn the differential relations from data dynamically to explain the time-evolving dynamics? In this work, we propose an learning framework that can automatically obtain interpretable PDE models from sequential data. Particularly, this framework is comprised of learnable differential blocks, named $P$-blocks, which is proved to be able to approximate any time-evolving complex continuous functions in theory. Moreover, to capture the dynamics shift, this framework introduces a meta-learning controller to dynamically optimize the hyper-parameters of a hybrid PDE model. Extensive experiments on times series forecasting of financial, engineering, and health data show that our model can provide valuable interpretability and achieve comparable performance to state-of-the-art models. From empirical studies, we find that learning a few differential operators may capture the major trend of sequential dynamics without massive computational complexity.


title: First Observation of Large Missing-Momentum (e,e'p) Cross-Section Scaling and the onset of Correlated-Pair Dominance in Nuclei

abstract: We report the first measurement of $x_B$-scaling in $(e,e'p)$ cross-section ratios off nuclei relative to deuterium at large missing-momentum of $350 \leq p_{miss} \leq 600$ MeV/c. The observed scaling extends over a kinematic range of $0.7 \leq x_B \leq 1.8$, which is significantly wider than $1.4 \leq x_B \leq 1.8$ previously observed for inclusive $(e,e')$ cross-section ratios. The $x_B$-integrated cross-section ratios become constant (i.e., scale) beginning at $p_{miss}\approx k_F$, the nuclear Fermi momentum. Comparing with theoretical calculations we find good agreement with Generalized Contact Formalism calculations for high missing-momentum ($> 375$ MeV/c), suggesting the observed scaling results from interacting with nucleons in short-range correlated (SRC) pairs. For low missing-momenta, mean-field calculations show good agreement with the data for $p_{miss}\le k_F$, and suggest that contributions to the measured cross-section ratios from scattering off single, un-correlated, nucleons are non-negligible up to $p_{miss}\approx 350$ MeV/c. Therefore, SRCs become dominant in nuclei at $p_{miss}\approx 350$ MeV/c, well above the nuclear Fermi Surface of $k_F \approx 250$ MeV/c.


title: Forbidden Knowledge and Specialized Training: A Versatile Solution for the Two Main Sources of Overfitting in Linear Regression

abstract: Overfitting in linear regression is broken down into two main causes. First, the formula for the estimator includes 'forbidden knowledge' about training observations' residuals, and it loses this advantage when deployed out-of-sample. Second, the estimator has 'specialized training' that makes it particularly capable of explaining movements in the predictors that are idiosyncratic to the training sample. An out-of-sample counterpart is introduced to the popular 'leverage' measure of training observations' importance. A new method is proposed to forecast out-of-sample fit at the time of deployment, when the values for the predictors are known but the true outcome variable is not. In Monte Carlo simulations and in an empirical application using MRI brain scans, the proposed estimator performs comparably to Predicted Residual Error Sum of Squares (PRESS) for the average out-of-sample case and unlike PRESS, also performs consistently across different test samples, even those that differ substantially from the training set.


title: Representability of relatively free affine algebras over a Noetherian ring

abstract: Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric group. But this technique is unavailable in characteristic $p>0$. An alternative method, which succeeds, is the process of ``hiking'' a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial that contains Capelli polynomials, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper we develop hiking further to nonhomogeneous polynomials, to apply to the representability question. Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In the appendix we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems.


title: Single photon controlled steady state electron transport through a resonance DQD-Cavity system in a strong coupling regime

abstract: We perform theoretical calculations to study steady-state electron transport in a double quantum dot, DQD, coupled to a quantized cavity photon field both in resonance and off-resonance regimes considering weak and strong coupling. In the resonant strong coupling regime, photon exchanges between the energy states of the DQD and the cavity are found reflecting multiple Rabi-resonances. The electron occupation of the states and the transport current can be smoothly increased by tuning the cavity-environment coupling strength. Making the system off-resonant, but still in the strong coupling regime, the photon exchange is diminished and the electron occupation of the system and the transport current through it are prominent for high cavity-environment coupling strength. In the weak coupling regime between the DQD and the cavity, the system has almost the same response in the resonant and the off-resonant regimes at high values of the cavity-environment coupling strength.


title: InfiniStore: Elastic Serverless Cloud Storage

abstract: Cloud object storage such as AWS S3 is cost-effective and highly elastic but relatively slow, while high-performance cloud storage such as AWS ElastiCache is expensive and provides limited elasticity. We present a new cloud storage service called ServerlessMemory, which stores data using the memory of serverless functions. ServerlessMemory employs a sliding-window-based memory management strategy inspired by the garbage collection mechanisms used in the programming language to effectively segregate hot/cold data and provides fine-grained elasticity, good performance, and a pay-per-access cost model with extremely low cost. We then design and implement InfiniStore, a persistent and elastic cloud storage system, which seamlessly couples the function-based ServerlessMemory layer with a persistent, inexpensive cloud object store layer. InfiniStore enables durability despite function failures using a fast parallel recovery scheme built on the autoscaling functionality of a FaaS (Function-as-a-Service) platform. We evaluate InfiniStore extensively using both microbenchmarking and two real-world applications. Results show that InfiniStore has more performance benefits for objects larger than 10 MB compared to AWS ElastiCache and Anna, and InfiniStore achieves 26.25% and 97.24% tenant-side cost reduction compared to InfiniCache and ElastiCache, respectively.


title: A descriptive analysis of olfactory sensation and memory in Drosophila and its relation to artificial neural networks

abstract: This article provides a background and descriptive analysis of insect memory and the coding of olfactory sensation in Drosophila, presenting graphs and summary statistics from a large dataset of neurons and synapses that was recently made publicly available and also discussing findings from the existing empirical literature. Some general principles from Drosophila olfaction are discussed as they apply to the design of analogous systems in artificial neural networks: (1) the networks used for coding are shallow; (2) the level of connectedness varies widely across neurons in the same layer; (3) much communication is between neurons in the same layer; (4) in most olfactory learning, the manner in which sensory inputs are represented in stored memory is largely fixed, and the learning process involves developing positive or negative associations with existing categories of inputs.


title: StreamNet: A WAE for White Matter Streamline Analysis

abstract: We present StreamNet, an autoencoder architecture for the analysis of the highly heterogeneous geometry of large collections of white matter streamlines. This proposed framework takes advantage of geometry-preserving properties of the Wasserstein-1 metric in order to achieve direct encoding and reconstruction of entire bundles of streamlines. We show that the model not only accurately captures the distributive structures of streamlines in the population, but is also able to achieve superior reconstruction performance between real and synthetic streamlines. Experimental model performance is evaluated on white matter streamlines resulting from T1-weighted diffusion imaging of 40 healthy controls using recent state of the art bundle comparison metric that measures fiber-shape similarities.


title: The icosahedral line configuration and Waldschmidt constants

abstract: There is a highly special point configuration in $\mathbb{P}^2$ of 31 points, naturally arising from the geometry of the icosahedron. The 15 planes of symmetry of the icosahedron projectivize to 15 lines in $\mathbb{P}^2$, whose points of intersections yield the 31 points. Each point corresponds to an opposite pair of vertices, faces or edges of the icosahedron. The symmetry group of the icosahedron is $G=A_5\times \mathbb{Z}_2$, one of finitely many exceptional complex reflection groups. The action of $G$ on the icosahedron descends onto an action on the line configuration. We blow up $\mathbb{P}^2$ at the 31 points to study the line configuration. The Waldschmidt constant is a measure of how special a collection of points in $\mathbb{P}^2$. In this paper, we study negative $G$-invariant curves on this blow-up in order to compute the Waldschmidt constant of the ideal of the $31$ singularities.


title: Entropy-regularized Wasserstein distributionally robust shape and topology optimization

abstract: This brief note aims to introduce the recent paradigm of distributional robustness in the field of shape and topology optimization. Acknowledging that the probability law of uncertain physical data is rarely known beyond a rough approximation constructed from observed samples, we optimize the worst-case value of the expected cost of a design when the probability law of the uncertainty is ``close'' to the estimated one up to a prescribed threshold. The ``proximity'' between probability laws is quantified by the Wasserstein distance, a notion pertaining to optimal transport theory. The combination of the classical entropic regularization technique in this field with recent results from convex duality theory allows to reformulate the distributionally robust optimization problem in a way which is tractable for computations. Two numerical examples are presented, in the different settings of density-based topology optimization and geometric shape optimization. They exemplify the relevance and applicability of the proposed formulation regardless of the selected optimal design framework.


title: Meta-Learning with Less Forgetting on Large-Scale Non-Stationary Task Distributions

abstract: The paradigm of machine intelligence moves from purely supervised learning to a more practical scenario when many loosely related unlabeled data are available and labeled data is scarce. Most existing algorithms assume that the underlying task distribution is stationary. Here we consider a more realistic and challenging setting in that task distributions evolve over time. We name this problem as Semi-supervised meta-learning with Evolving Task diStributions, abbreviated as SETS. Two key challenges arise in this more realistic setting: (i) how to use unlabeled data in the presence of a large amount of unlabeled out-of-distribution (OOD) data; and (ii) how to prevent catastrophic forgetting on previously learned task distributions due to the task distribution shift. We propose an OOD Robust and knowleDge presErved semi-supeRvised meta-learning approach (ORDER), to tackle these two major challenges. Specifically, our ORDER introduces a novel mutual information regularization to robustify the model with unlabeled OOD data and adopts an optimal transport regularization to remember previously learned knowledge in feature space. In addition, we test our method on a very challenging dataset: SETS on large-scale non-stationary semi-supervised task distributions consisting of (at least) 72K tasks. With extensive experiments, we demonstrate the proposed ORDER alleviates forgetting on evolving task distributions and is more robust to OOD data than related strong baselines.


title: Watermelons on the half-plane

abstract: We study the watermelon probabilities in the uniform spanning forests on the two-dimensional semi-infinite square lattice near either open or closed boundary to which the forests can or cannot be rooted, respectively. We derive universal power laws describing the asymptotic decay of these probabilities with the distance between the reference points growing to infinity, as well as their non-universal constant prefactors. The obtained exponents match with the previous predictions made for the related dense polymer models using the Coulomb Gas technique and Conformal Field Theory, as well as with the lattice calculations made by other authors in different settings. We also discuss the logarithmic corrections some authors argued to appear in the watermelon correlation functions on the infinite lattice. We show that the full account for diverging terms of the lattice Green function, which ensures the correct probability normalization, provides the pure power law decay in the case of semi-infinite lattice with closed boundary studied here, as well as in the case of infinite lattice discussed elsewhere. The solution is based on the all-minors generalization of the Kirchhoff matrix tree theorem, the image method and the developed asymptotic expansion of the Kirchhoff determinants.


title: From pinned billiard balls to partial differential equations

abstract: We discuss the propagation of kinetic energy through billiard balls fixed in place along a one-dimensional segment. The number of billiard balls is assumed to be large but finite and we assume kinetic energy propagates following the usual collision laws of physics. Assuming an underlying stochastic mean-field for the expectation and the variance of the kinetic energy, we derive a coupled system of nonlinear partial differential equations assuming a stochastic energy re-distribution procedure. The system of PDEs has a number of interesting dynamical properties some of which are numerically simulated.


title: Locally-verifiable sufficient conditions for exactness of the hierarchical B-spline discrete de Rham complex in $\mathbb{R}^n$

abstract: Given a domain $\Omega \subset \mathbb{R}^n$, the de Rham complex of differential forms arises naturally in the study of problems in electromagnetism and fluid mechanics defined on $\Omega$, and its discretization helps build stable numerical methods for such problems. For constructing such stable methods, one critical requirement is ensuring that the discrete subcomplex is cohomologically equivalent to the continuous complex. When $\Omega$ is a hypercube, we thus require that the discrete subcomplex be exact. Focusing on such $\Omega$, we theoretically analyze the discrete de Rham complex built from hierarchical B-spline differential forms, i.e., the discrete differential forms are smooth splines and support adaptive refinements - these properties are key to enabling accurate and efficient numerical simulations. We provide locally-verifiable sufficient conditions that ensure that the discrete spline complex is exact. Numerical tests are presented to support the theoretical results, and the examples discussed include complexes that satisfy our prescribed conditions as well as those that violate them.


title: The Gaussian product inequality conjecture for multinomial covariances

abstract: In this short note, we find an equivalent combinatorial condition only involving finite sums under which a centered Gaussian random vector with multinomial covariance matrix satisfies the Gaussian product inequality (GPI) conjecture. These covariance matrices are relevant since their off-diagonal elements are negative, which is the hardest case to cover for the GPI conjecture, as mentioned by [Russell, O., \& Sun, W. 2022. Some new {G}aussian product inequalities. {\em J. Math. Anal. Appl.}, {\bf 515}(2), Paper No. 126439, 21 pp.].


title: Neural Networks for Chess

abstract: AlphaZero, Leela Chess Zero and Stockfish NNUE revolutionized Computer Chess. This book gives a complete introduction into the technical inner workings of such engines. The book is split into four main chapters -- excluding chapter 1 (introduction) and chapter 6 (conclusion): Chapter 2 introduces neural networks and covers all the basic building blocks that are used to build deep networks such as those used by AlphaZero. Contents include the perceptron, back-propagation and gradient descent, classification, regression, multilayer perceptron, vectorization techniques, convolutional networks, squeeze and excitation networks, fully connected networks, batch normalization and rectified linear units, residual layers, overfitting and underfitting. Chapter 3 introduces classical search techniques used for chess engines as well as those used by AlphaZero. Contents include minimax, alpha-beta search, and Monte Carlo tree search. Chapter 4 shows how modern chess engines are designed. Aside from the ground-breaking AlphaGo, AlphaGo Zero and AlphaZero we cover Leela Chess Zero, Fat Fritz, Fat Fritz 2 and Efficiently Updatable Neural Networks (NNUE) as well as Maia. Chapter 5 is about implementing a miniaturized AlphaZero. Hexapawn, a minimalistic version of chess, is used as an example for that. Hexapawn is solved by minimax search and training positions for supervised learning are generated. Then as a comparison, an AlphaZero-like training loop is implemented where training is done via self-play combined with reinforcement learning. Finally, AlphaZero-like training and supervised training are compared.


title: Low-Power Hardware-Based Deep-Learning Diagnostics Support Case Study

abstract: Deep learning research has generated widespread interest leading to emergence of a large variety of technological innovations and applications. As significant proportion of deep learning research focuses on vision based applications, there exists a potential for using some of these techniques to enable low-power portable health-care diagnostic support solutions. In this paper, we propose an embedded-hardware-based implementation of microscopy diagnostic support system for PoC case study on: (a) Malaria in thick blood smears, (b) Tuberculosis in sputum samples, and (c) Intestinal parasite infection in stool samples. We use a Squeeze-Net based model to reduce the network size and computation time. We also utilize the Trained Quantization technique to further reduce memory footprint of the learned models. This enables microscopy-based detection of pathogens that classifies with laboratory expert level accuracy as a standalone embedded hardware platform. The proposed implementation is 6x more power-efficient compared to conventional CPU-based implementation and has an inference time of $\sim$ 3 ms/sample.


title: Optimal Mitigation of SIR Epidemics Under Model Uncertainty

abstract: We study the impact of model parameter uncertainty on optimally mitigating the spread of epidemics. We capture the epidemic spreading process using a susceptible-infected-removed (SIR) epidemic model and consider testing for isolation as the control strategy. We use a testing strategy to remove (isolate) a portion of the infected population. Our goal is to maintain the daily infected population below a certain level, while minimizing the total number of tests. Distinct from existing works on leveraging control strategies in epidemic spreading, we propose a testing strategy by overestimating the seriousness of the epidemic and study the feasibility of the system under the impact of model parameter uncertainty. Compared to the optimal testing strategy, we establish that the proposed strategy under model parameter uncertainty will flatten the curve effectively but require more tests and a longer time period.


title: Core orientations and magnetic fields in isolated molecular clouds

abstract: Molecular clouds are sites of star formation. Magnetic fields are believed to play an important role in their dynamics and shaping morphology. We aim to study any possible correlation that might exist between the magnetic fields orientation inside the clouds and the magnetic fields at envelope scales and their connection with respect to the observed morphology of the selected clouds. We examine the magnetic field orientation towards the clouds L1512, L1523, L1333, L1521E, L1544, L1517, L1780, and L183 using optical and \textit{Planck} polarization observations. We also found the correlation between the ambient magnetic field and core orientations derived using \textit{Astrodendrogram} on the \textit{Herschel} 250 $\mu$m data. We find that the magnetic fields derived from optical and \textit{Planck} agree with each other. The derived magnetic fields are aligned along the observed emission of each cloud as seen in \textit{Herschel} 250 $\mu$m data. We also find that the relative orientation between the cores and the magnetic fields is random. This lack of correlation may arise due to the fact that the core orientation could also be influenced by the different magnetization within individual clouds at higher densities or the feedback effects which may vary from cloud to cloud. The estimated magnetic field strength and the mass-to-flux ratio suggest that all the clouds are in a magnetically critical state except L1333, L1521E, and L183 where the cloud envelope could be strongly supported by the magnetic field lines.


title: Marangoni-Induced Reversal of Meniscus-Climbing Microdroplets

abstract: Small water droplets or particles located at an oil meniscus typically climb the meniscus due to unbalanced capillary forces. Here, we introduce a size-dependent reversal of this meniscus-climbing behavior, where upon cooling of the underlying substrate, droplets of different sizes concurrently ascend and descend the meniscus. We show that microscopic Marangoni convection cells within the oil meniscus are responsible for this phenomenon. While dynamics of relatively larger water microdroplets are still dominated by unbalanced capillary forces and hence ascend the meniscus, smaller droplets are carried by the surface flow and consequently descend the meniscus. We further demonstrate that the magnitude and direction of the convection cells depend on the meniscus geometry and the substrate temperature and introduce a modified Marangoni number that well predicts their strength. Our findings provide a new approach to manipulating droplets on a liquid meniscus that could have applications in material self-assembly, biological sensitive sensing and testing, or phase change heat transfer.


title: Transfer Learning of an Ensemble of DNNs for SSVEP BCI Spellers without User-Specific Training

abstract: Objective: Steady-state visually evoked potentials (SSVEPs), measured with EEG (electroencephalogram), yield decent information transfer rates (ITR) in brain-computer interface (BCI) spellers. However, the current high performing SSVEP BCI spellers in the literature require an initial lengthy and tiring user-specific training for each new user for system adaptation, including data collection with EEG experiments, algorithm training and calibration (all are before the actual use of the system). This impedes the widespread use of BCIs. To ensure practicality, we propose a highly novel target identification method based on an ensemble of deep neural networks (DNNs), which does not require any sort of user-specific training. Method: We exploit already-existing literature datasets from participants of previously conducted EEG experiments to train a global target identifier DNN first, which is then fine-tuned to each participant. We transfer this ensemble of fine-tuned DNNs to the new user instance, determine the k most representative DNNs according to the participants' statistical similarities to the new user, and predict the target character through a weighted combination of the ensemble predictions. Results: On two large-scale benchmark and BETA datasets, our method achieves impressive 155.51 bits/min and 114.64 bits/min ITRs. Code is available for reproducibility: https://github.com/osmanberke/Ensemble-of-DNNs Conclusion: The proposed method significantly outperforms all the state-of-the-art alternatives for all stimulation durations in [0.2-1.0] seconds on both datasets. Significance: Our Ensemble-DNN method has the potential to promote the practical widespread deployment of BCI spellers in daily lives as we provide the highest performance while enabling the immediate system use without any user-specific training.


title: Inverse estimation of the transfer velocity of money

abstract: Monitoring the money supply is an important prerequisite for conducting sound monetary policy, yet monetary indicators are conventionally estimated in aggregate. This paper proposes a new methodology that is able to leverage micro-level transaction data from real-world payment systems. We apply a novel computational technique to measure the durations for which money is held in individual accounts, and compute the transfer velocity of money from its inverse. Our new definition reduces to existing definitions under conventional assumptions. However, inverse estimation remains suitable for payment systems where the total balance fluctuates and spending patterns change in time. Our method is applied to study Sarafu, a small digital community currency in Kenya, where transaction data is available from 25 January 2020 to 15 June 2021. We find that the transfer velocity of Sarafu was higher than it would seem, in aggregate, because not all units of Sarafu remained in active circulation. Moreover, inverse estimation reveals strong heterogineities and enables comparisons across subgroups of spenders. Some units of Sarafu were held for minutes, others for months, and spending patterns differed across communities using Sarafu. The rate of circulation and the effective balance of Sarafu changed substantially over time, as these communities experienced economic disruptions related to the COVID-19 pandemic and seasonal food insecurity. These findings contribute to a growing body of literature documenting the heterogeneous patterns underlying headline macroeconomic indicators and their relevance for policy. Inverse estimation may be especially useful in studying the response of spenders to targeted monetary operations.


title: An interpretative and adaptive MPC for nonlinear systems

abstract: Model predictive control (MPC) for nonlinear systems suffers a trade-off between the model accuracy and real-time computational burden. One widely used approximation method is the successive linearization MPC (SL-MPC) with EKF method, in which the EKF algorithm is to handle unmeasured disturbances and unavailable full states information. Inspired by this, an interpretative and adaptive MPC (IA-MPC) method, is presented in this paper. In our IA-MPC method, a linear state-space model is firstly obtained by performing the linearization of a first-principle-based model at the initial point, and then this linear state-space model is transformed into an equivalent ARX model. This interpretative ARX model is then updated online by the EKF algorithm, which is modified as a decoupled one without matrix-inverse operator. The corresponding ARX-based MPC problem are solved by our previous construction-free, matrix-free and library-free CDAL-ARX algorithm. This simple library-free C-code implementation would significantly reduce the difficulty in deploying nonlinear MPC on embedded platforms. The performance of the IA-MPC method is tested against the nonlinear MPC with EKF and SL-MPC with EKF method in four typical nonlinear benchmark examples, which show the effectiveness of our IA-MPC method.


title: A Novel Nearest Neighbors Algorithm Based on Power Muirhead Mean

abstract: This paper introduces the innovative Power Muirhead Mean K-Nearest Neighbors (PMM-KNN) algorithm, a novel data classification approach that combines the K-Nearest Neighbors method with the adaptive Power Muirhead Mean operator. The proposed methodology aims to address the limitations of traditional KNN by leveraging the Power Muirhead Mean for calculating the local means of K-nearest neighbors in each class to the query sample. Extensive experimentation on diverse benchmark datasets demonstrates the superiority of PMM-KNN over other classification methods. Results indicate statistically significant improvements in accuracy on various datasets, particularly those with complex and high-dimensional distributions. The adaptability of the Power Muirhead Mean empowers PMM-KNN to effectively capture underlying data structures, leading to enhanced accuracy and robustness. The findings highlight the potential of PMM-KNN as a powerful and versatile tool for data classification tasks, encouraging further research to explore its application in real-world scenarios and the automation of Power Muirhead Mean parameters to unleash its full potential.


title: Do Large Language Models know what humans know?

abstract: Humans can attribute beliefs to others. However, it is unknown to what extent this ability results from an innate biological endowment or from experience accrued through child development, particularly exposure to language describing others' mental states. We test the viability of the language exposure hypothesis by assessing whether models exposed to large quantities of human language display sensitivity to the implied knowledge states of characters in written passages. In pre-registered analyses, we present a linguistic version of the False Belief Task to both human participants and a Large Language Model, GPT-3. Both are sensitive to others' beliefs, but while the language model significantly exceeds chance behavior, it does not perform as well as the humans, nor does it explain the full extent of their behavior -- despite being exposed to more language than a human would in a lifetime. This suggests that while statistical learning from language exposure may in part explain how humans develop the ability to reason about the mental states of others, other mechanisms are also responsible.


title: Generalized Bernoulli Process and Fractional Binomial Distribution

abstract: Recently, a generalized Bernoulli process (GBP) was developed as a stationary binary sequence whose covariance function obeys a power law. In this paper, we further develop generalized Bernoulli processes, reveal their asymptotic behaviors, and find applications. We show that a GBP can have the same scaling limit as the fractional Poisson process. Considering that the Poisson process approximates the Bernoulli process under certain conditions, the connection we found between GBP and the fractional Poisson process is thought of as its counterpart under long-range dependence. When applied to indicator data, a GBP outperforms a Markov chain in the presence of long-range dependence. Fractional binomial models are defined as the sum in GBPs, and it is shown that when applied to count data with excess zeros, a fractional binomial model outperforms zero-inflated models that are used extensively for such data in current literature.


title: Joint Prediction of Meningioma Grade and Brain Invasion via Task-Aware Contrastive Learning

abstract: Preoperative and noninvasive prediction of the meningioma grade is important in clinical practice, as it directly influences the clinical decision making. What's more, brain invasion in meningioma (i.e., the presence of tumor tissue within the adjacent brain tissue) is an independent criterion for the grading of meningioma and influences the treatment strategy. Although efforts have been reported to address these two tasks, most of them rely on hand-crafted features and there is no attempt to exploit the two prediction tasks simultaneously. In this paper, we propose a novel task-aware contrastive learning algorithm to jointly predict meningioma grade and brain invasion from multi-modal MRIs. Based on the basic multi-task learning framework, our key idea is to adopt contrastive learning strategy to disentangle the image features into task-specific features and task-common features, and explicitly leverage their inherent connections to improve feature representation for the two prediction tasks. In this retrospective study, an MRI dataset was collected, for which 800 patients (containing 148 high-grade, 62 invasion) were diagnosed with meningioma by pathological analysis. Experimental results show that the proposed algorithm outperforms alternative multi-task learning methods, achieving AUCs of 0:8870 and 0:9787 for the prediction of meningioma grade and brain invasion, respectively. The code is available at https://github.com/IsDling/predictTCL.


title: An Empirical Study of Automation in Software Security Patch Management

abstract: Several studies have shown that automated support for different activities of the security patch management process has great potential for reducing delays in installing security patches. However, it is also important to understand how automation is used in practice, its limitations in meeting real-world needs and what practitioners really need, an area that has not been empirically investigated in the existing software engineering literature. This paper reports an empirical study aimed at investigating different aspects of automation for security patch management using semi-structured interviews with 17 practitioners from three different organisations in the healthcare domain. The findings are focused on the role of automation in security patch management for providing insights into the as-is state of automation in practice, the limitations of current automation, how automation support can be enhanced to effectively meet practitioners' needs, and the role of the human in an automated process. Based on the findings, we have derived a set of recommendations for directing future efforts aimed at developing automated support for security patch management.


title: Quantitative Stopword Generation for Sentiment Analysis via Recursive and Iterative Deletion

abstract: Stopwords carry little semantic information and are often removed from text data to reduce dataset size and improve machine learning model performance. Consequently, researchers have sought to develop techniques for generating effective stopword sets. Previous approaches have ranged from qualitative techniques relying upon linguistic experts, to statistical approaches that extract word importance using correlations or frequency-dependent metrics computed on a corpus. We present a novel quantitative approach that employs iterative and recursive feature deletion algorithms to see which words can be deleted from a pre-trained transformer's vocabulary with the least degradation to its performance, specifically for the task of sentiment analysis. Empirically, stopword lists generated via this approach drastically reduce dataset size while negligibly impacting model performance, in one such example shrinking the corpus by 28.4% while improving the accuracy of a trained logistic regression model by 0.25%. In another instance, the corpus was shrunk by 63.7% with a 2.8% decrease in accuracy. These promising results indicate that our approach can generate highly effective stopword sets for specific NLP tasks.


title: L\'evy flights as an emergent phenomenon in a spatially extended system

abstract: Anomalous diffusion and L\'evy flights, which are characterized by the occurrence of random discrete jumps of all scales, have been observed in a plethora of natural and engineered systems, ranging from the motion of molecules to climate signals. Mathematicians have recently unveiled mechanisms to generate anomalous diffusion, both stochastically and deterministically. However, there exists to the best of our knowledge no explicit example of a spatially extended system which exhibits anomalous diffusion without being explicitly driven by L\'evy noise. We show here that the Landau-Lifshitz-Gilbert equation, a stochastic partial differential equation (SPDE), despite only driven by Gaussian white noise, exhibits superdiffusive behaviour. The anomalous diffusion is an entirely emergent behaviour and manifests itself in jumps in the location of its travelling front solution. Using a collective coordinate approach we reduce the SPDE to a set of stochastic differential equations (SDEs) driven by Gaussian white noise. This allows us to identify the mechanism giving rise to the anomalous diffusion as random widening events of the front interface.

categories: math.DS math.PR nlin.PS physics.class-ph


title: Symplectically Integrated Symbolic Regression of Hamiltonian Dynamical Systems

abstract: Here we present Symplectically Integrated Symbolic Regression (SISR), a novel technique for learning physical governing equations from data. SISR employs a deep symbolic regression approach, using a multi-layer LSTM-RNN with mutation to probabilistically sample Hamiltonian symbolic expressions. Using symplectic neural networks, we develop a model-agnostic approach for extracting meaningful physical priors from the data that can be imposed on-the-fly into the RNN output, limiting its search space. Hamiltonians generated by the RNN are optimized and assessed using a fourth-order symplectic integration scheme; prediction performance is used to train the LSTM-RNN to generate increasingly better functions via a risk-seeking policy gradients approach. Employing these techniques, we extract correct governing equations from oscillator, pendulum, two-body, and three-body gravitational systems with noisy and extremely small datasets.


title: Laser-induced forces on atoms during ultrafast demagnetization

abstract: Laser-induced femtosecond demagnetization has attracted a broad attention as a possible candidate for information storage technology. However, whether or not lattice vibration directly participates in demagnetization has been highly controversial over a decade. A recent electron diffraction experiment attributed the demagnetization to the polarized phonon effect, but a similar x-ray diffraction experiment attributed it to the Einstein-de Haas effect. Common to both experiments is that neither the angular momentum of the lattice nor the rotation of the sample was directly probed. Here, we report our first first-principles calculation of forces on atoms induced by an ultrafast laser during ultrafast demagnetization. We employ two complementary methods: (i) the frozen lattice with electronic excitation and (ii) frozen excitation but moving the lattice. We find that the forces on atoms start at -50 fs and peak around 30 fs. The magnitude of the force is far smaller than the empirical estimates. Within the limit of our theory, our results suggest that the polarized phonon effect and the Einstein-de Haas effect are unlikely to be the main course of demagnetization. We expect that our finding has a profound impact on the future direction of laser-induced dynamics in magnetic and quantum materials.


title: On the Perturbed Second Painlev\'{e} Equation

abstract: We consider a perturbed version of the second Painlev\'{e} equation ($\textrm{P}_{\textrm{II}}$), which arises in applications, and show that it possesses solutions analogous to the celebrated Hastings-McLeod and tritronqu\'ee solutions of $\textrm{P}_{\textrm{II}}$. The Hastings-McLeod-type solution of the perturbed equation is holomorphic, real-valued and positive on the whole real-line, while the tritronqu\'ee-type solution is holomorphic in a large sector of the complex plane. These properties also characterise the corresponding solutions of $\textrm{P}_{\textrm{II}}$ and are surprising because the perturbed equation does not possess additional distinctive properties that characterise $\textrm{P}_{\textrm{II}}$, particularly the Painlev\'e property.


title: Disentangled Graph Contrastive Learning for Review-based Recommendation

abstract: User review data is helpful in alleviating the data sparsity problem in many recommender systems. In review-based recommendation methods, review data is considered as auxiliary information that can improve the quality of learned user/item or interaction representations for the user rating prediction task. However, these methods usually model user-item interactions in a holistic manner and neglect the entanglement of the latent factors behind them, e.g., price, quality, or appearance, resulting in suboptimal representations and reducing interpretability. In this paper, we propose a Disentangled Graph Contrastive Learning framework for Review-based recommendation (DGCLR), to separately model the user-item interactions based on different latent factors through the textual review data. To this end, we first model the distributions of interactions over latent factors from both semantic information in review data and structural information in user-item graph data, forming several factor graphs. Then a factorized message passing mechanism is designed to learn disentangled user/item representations on the factor graphs, which enable us to further characterize the interactions and adaptively combine the predicted ratings from multiple factors via a devised attention mechanism. Finally, we set two factor-wise contrastive learning objectives to alleviate the sparsity issue and model the user/item and interaction features pertinent to each factor more accurately. Empirical results over five benchmark datasets validate the superiority of DGCLR over the state-of-the-art methods. Further analysis is offered to interpret the learned intent factors and rating prediction in DGCLR.


title: Quickest Anomaly Detection in Sensor Networks With Unlabeled Samples

abstract: The problem of quickest anomaly detection in networks with unlabeled samples is studied. At some unknown time, an anomaly emerges in the network and changes the data-generating distribution of some unknown sensor. The data vector received by the fusion center at each time step undergoes some unknown and arbitrary permutation of its entries (unlabeled samples). The goal of the fusion center is to detect the anomaly with minimal detection delay subject to false alarm constraints. With unlabeled samples, existing approaches that combines local cumulative sum (CuSum) statistics cannot be used anymore. Several major questions include whether detection is still possible without the label information, if so, what is the fundamental limit and how to achieve that. Two cases with static and dynamic anomaly are investigated, where the sensor affected by the anomaly may or may not change with time. For the two cases, practical algorithms based on the ideas of mixture likelihood ratio and/or maximum likelihood estimate are constructed. Their average detection delays and false alarm rates are theoretically characterized. Universal lower bounds on the average detection delay for a given false alarm rate are also derived, which further demonstrate the asymptotic optimality of the two algorithms.


title: Hybrid mixed discontinuous Galerkin finite element method for incompressible miscible displacement problem

abstract: A new hybrid mixed discontinuous Galerkin finite element (HMDGFE) method is constructed for incompressible miscible displacement problem. In this method, the hybrid mixed finite element (HMFE) procedure is considered to solve pressure and velocity equations, and a new hybrid mixed discontinuous Galerkin procedure is constructed to solve the concentration equation with upwind technique. Compared with other traditional discontinuous Galerkin methods, the new method can reach global systems with less unknowns and sparser stencils. The consistency and conservation of the method are analyzed, the stability and optimal error estimates are also derived by the new technique.