title: Data-driven Estimation, Tracking, and System Identification of Deterministic and Stochastic Optical Spot Dynamics

abstract: Stabilization, disturbance rejection, and control of optical beams and optical spots are ubiquitous problems that are crucial for the development of optical systems for ground and space telescopes, free-space optical communication terminals, precise beam steering systems, and other types of optical systems. High-performance disturbance rejection and control of optical spots require the development of disturbance estimation and data-driven Kalman filter methods. Motivated by this, we propose a unified and experimentally verified data-driven framework for optical-spot disturbance modeling and tuning of covariance matrices of Kalman filters. Our approach is based on covariance estimation, nonlinear optimization, and subspace identification methods. Also, we use spectral factorization methods to emulate optical-spot disturbances with a desired power spectral density in an optical laboratory environment. We test the effectiveness of the proposed approaches on an experimental setup consisting of a piezo tip-tilt mirror, piezo linear actuator, and a CMOS camera.

categories: eess.SY cs.SY math.OC physics.ins-det physics.optics


title: Decoherence and thermalization of Unruh-DeWitt detector in arbitrary dimensions

abstract: We study the decoherence and thermalization of an Unruh-DeWitt detector linearly coupled to the free massless scalar field in flat spacetime of arbitrary dimensions ($d\geq 2$). The initial state of the detector is chosen to be a pure state consisting of a linear superposition of ground and excited states, and we calculate the time evolution of reduced density matrix of the detector. Using perturbation method, we analytically derive the transition rate of the detector (the rate of change of the diagonal elements in the density matrix) and the decoherence rate (the rate of change of the off-diagonal elements in the density matrix). We find that the results are not the same in odd and even dimensional spacetimes, but the unitarity of the qubit is preserved in both cases. The real part of the decoherence rate is related to the transition rate, while the imaginary part may contain different forms of divergence terms in different dimensions due to the temporal order product operator and the singularities of the Wightman function for quantum field theory. We derive the recurrence formula to obtain the divergence terms in each dimension and analyze the renormalization problem.


title: Data-driven intelligent computational design for products: Method, techniques, and applications

abstract: Data-driven intelligent computational design (DICD) is a research hotspot emerged under the context of fast-developing artificial intelligence. It emphasizes on utilizing deep learning algorithms to extract and represent the design features hidden in historical or fabricated design process data, and then learn the combination and mapping patterns of these design features for the purposes of design solution retrieval, generation, optimization, evaluation, etc. Due to its capability of automatically and efficiently generating design solutions and thus supporting human-in-the-loop intelligent and innovative design activities, DICD has drawn the attentions from both academic and industrial fields. However, as an emerging research subject, there are still many unexplored issues that limit the development and application of DICD, such as specific dataset building, engineering design related feature engineering, systematic methods and techniques for DICD implementation in the entire product design process, etc. In this regard, a systematic and operable road map for DICD implementation from full-process perspective is established, including a general workflow for DICD project planning, an overall framework for DICD project implementation, the computing mechanisms for DICD implementation, key enabling technologies for detailed DICD implementation, and three application scenarios of DICD. The road map reveals the common mechanisms and calculation principles of existing DICD researches, and thus it can provide systematic guidance for the possible DICD applications that have not been explored.


title: On Heterogeneous Treatment Effects in Heterogeneous Causal Graphs

abstract: Heterogeneity and comorbidity are two interwoven challenges associated with various healthcare problems that greatly hampered research on developing effective treatment and understanding of the underlying neurobiological mechanism. Very few studies have been conducted to investigate heterogeneous causal effects (HCEs) in graphical contexts due to the lack of statistical methods. To characterize this heterogeneity, we first conceptualize heterogeneous causal graphs (HCGs) by generalizing the causal graphical model with confounder-based interactions and multiple mediators. Such confounders with an interaction with the treatment are known as moderators. This allows us to flexibly produce HCGs given different moderators and explicitly characterize HCEs from the treatment or potential mediators on the outcome. We establish the theoretical forms of HCEs and derive their properties at the individual level in both linear and nonlinear models. An interactive structural learning is developed to estimate the complex HCGs and HCEs with confidence intervals provided. Our method is empirically justified by extensive simulations and its practical usefulness is illustrated by exploring causality among psychiatric disorders for trauma survivors.


title: Persistent Shadowing For Actions Of Some Finitely Generated Groups and Related Measures

abstract: In this paper, $\varphi:G\times X\to X$ is a continuous action of finitely generated group $G$ on compact metric space $(X, d)$ without isolated point. We introduce the notion of persistent shadowing property for $\varphi:G\times X\to X$ and study it via measure theory. Indeed, we introduce the notion of compatibility the Borel probability measure $\mu$ with respect persistent shadowing property of $\varphi:G\times X\to X$ and denote it by $\mu\in\mathcal{M}_{PSh}(X, \varphi)$. We show $\mu\in\mathcal{M}_{PSh}(X, \varphi)$ if and only if $supp(\mu)\subseteq PSh(\varphi)$, where $PSh(\varphi)$ is the set of all persistent shadowable points of $\varphi$. This implies that if every non-atomic Borel probability measure $\mu$ is compatible with persistent shadowing property for $\varphi:G\times X\to X$, then $\varphi$ does have persistent shadowing property. We prove that $\overline{PSh(\varphi)}=PSh(\varphi)$ if and only if $\overline{\mathcal{M}_{PSh}(X, \varphi)}= \mathcal{M}_{PSh}(X, \varphi)$. Also, $\mu(\overline{PSh(\varphi)})=1$ if and only if $\mu\in\overline{\mathcal{M}_{PSh}(X, \varphi)}$. Finally, we show that $\overline{\mathcal{M}_{PSh}(X, \varphi)}=\mathcal{M}(X)$ if and only if $\overline{PSh(\varphi)}=X$. For study of persistent shadowing property, we introduce the notions of uniformly $\alpha$-persistent point, uniformly $\beta$-persistent point and recall notions of shadowing property, $\alpha$-persistent, $\beta$-persistent and we give some further results about them.


title: Symplectic Double Extensions for Restricted Quasi-Frobenius Lie (Super)Algebras

abstract: In this paper, we present a method of symplectic double extensions for restricted quasi-Frobenius Lie superalgebras. Certain cocycles in the restricted cohomology represent obstructions to symplectic double extension, which we fully describe. We found a necessary condition for which a restricted quasi-Frobenius Lie superalgebras is a symplectic double extension of a smaller restricted Lie superalgebra. The constructions are illustrated with a few examples.


title: Plugin estimators for selective classification with out-of-distribution detection

abstract: Real-world classifiers can benefit from the option of abstaining from predicting on samples where they have low confidence. Such abstention is particularly useful on samples which are close to the learned decision boundary, or which are outliers with respect to the training sample. These settings have been the subject of extensive but disjoint study in the selective classification (SC) and out-of-distribution (OOD) detection literature. Recent work on selective classification with OOD detection (SCOD) has argued for the unified study of these problems; however, the formal underpinnings of this problem are still nascent, and existing techniques are heuristic in nature. In this paper, we propose new plugin estimators for SCOD that are theoretically grounded, effective, and generalise existing approaches from the SC and OOD detection literature. In the course of our analysis, we formally explicate how na\"{i}ve use of existing SC and OOD detection baselines may be inadequate for SCOD. We empirically demonstrate that our approaches yields competitive SC and OOD detection performance compared to baselines from both literatures.


title: Camera update for GONG refurbishment: Development and validation

abstract: This report provides a brief summary of the properties of new cameras selected for NSF's Global Oscillations Network Group (GONG) facilities operated by the NSO Integrated Synoptic Program (NISP). These camera replacements are part of a GONG refurbishment project aimed to extend GONG operations through roughly FY 2030. Testing has confirmed the suitability of the new cameras and that current data products would be largely unchanged. GONG magnetograms show approximately one-to-one scaling with old data, and the helioseismology data (l-nu diagrams) are nearly identical without any identifiable artifacts. A number of tests were also conducted for GONG processing pipelines and have demonstrated that the modified NISP data center pipelines can transition smoothly to processing observations taken with the new cameras


title: Charmonium mass shifts in an unquenched quark model

abstract: In this paper, we performed a coupled-channel calculation and evaluated the mass shifts for all $1S$, $2S$, $1P$, $2P$ and $1D$ charmonium valence states below 4 GeV, by incorporating the four-quark components ($D$, $D^*$, $D_s$ and $D_s^*$ meson pairs) into the quark model. The valence-continuum coupling is provided by the $^3P_0$ quark-pair creation model. The induced mass shifts appear to be large and negative with the original transition operator in $^3P_0$ model, which raised up challenges for the valence quark model. More QCD-motivated models should be employed for the quark-pair creation Hamiltonian. So herein, we recalculated the mass shifts with the improved $^3P_0$ transition operator introduced in our previous work and the mass shifts are reduced by $75\%$ averagely. Besides, as a exercise, we adjust the confinement parameter $\Delta$ and recalculate the spectrum of the charmonium states. The masses of some charmonium states are reproduced well.


title: On Learning Necessary and Sufficient Causal Graphs

abstract: The causal revolution has stimulated interest in understanding complex relationships in various fields. Most of the existing methods aim to discover causal relationships among all variables within a complex large-scale graph. However, in practice, only a small subset of variables in the graph are relevant to the outcomes of interest. Consequently, causal estimation with the full causal graph -- particularly given limited data -- could lead to numerous falsely discovered, spurious variables that exhibit high correlation with, but exert no causal impact on, the target outcome. In this paper, we propose learning a class of necessary and sufficient causal graphs (NSCG) that exclusively comprises causally relevant variables for an outcome of interest, which we term causal features. The key idea is to employ probabilities of causation to systematically evaluate the importance of features in the causal graph, allowing us to identify a subgraph relevant to the outcome of interest. To learn NSCG from data, we develop a necessary and sufficient causal structural learning (NSCSL) algorithm, by establishing theoretical properties and relationships between probabilities of causation and natural causal effects of features. Across empirical studies of simulated and real data, we demonstrate that NSCSL outperforms existing algorithms and can reveal crucial yeast genes for target heritable traits of interest.


title: Enhancing Efficiency in Parallel Louvain Algorithm for Community Detection

abstract: Community detection is a key aspect of network analysis, as it allows for the identification of groups and patterns within a network. With the ever-increasing size of networks, it is crucial to have fast algorithms to analyze them efficiently. It is a modularity-based greedy algorithm that divides a network into disconnected communities better over several iterations. Even in big, dense networks, it is renowned for establishing high-quality communities. However it can be at least a factor of ten slower than community discovery techniques that rely on label-propagation, which are generally extremely fast but obtain communities of lower quality. The researchers have suggested a number of methods for parallelizing and improving the Louvain algorithm. To decide which strategy is generally the best fit and which parameter values produce the highest performance without compromising community quality, it is critical to assess the performance and accuracy of these existing approaches. As we implement the single-threaded and multi-threaded versions of the static Louvain algorithm in this report, we carefully examine the method's specifics, make the required tweaks and optimizations, and determine the right parameter values. The tolerance between each pass can be changed to adjust the method's performance. With an initial tolerance of 0.01 and a tolerance decline factor of 10, an asynchronous version of the algorithm produced the best results. Generally speaking, according to our findings, the approach is not well suited for shared-memory parallelism; however, one potential workaround is to break the graph into manageable chunks that can be independently executed and then merged back together.


title: Shedding New Light on ${\cal R} (D_{(s)}^{(\ast)} )$ and $|V_{cb}|$ from Semileptonic $\bar B_{(s)} \to D_{(s)}^{(\ast)} \ell \bar {\nu}_{\ell}$ Decays

abstract: We compute for the first time the next-to-leading-order QCD corrections to the $\bar B_{(s)} \to D_{(s)}^{(\ast)}$ form factors at large hadronic recoil. Both the charm-quark-mass and the strange-quark-mass dependent pieces can generate the leading-power contributions to these form factors. Including further various power-suppressed contributions, we perform the combined fits of the considered form factors to both our large-recoil theory predictions and the lattice QCD results, thus improving upon the previous determinations of the lepton-flavour-universality ratios ${\cal R} (D^{(\ast)})$ significantly.


title: Prismatization over $\mathbf{Z}$

abstract: The aim of this article is to given an extension of the prismatization functor for $p$-adic formal schemes (whose construction was first sketched by Drinfeld and then given by Bhatt-Lurie) to all schemes over $\mathrm{Spec}(\mathbf{Z})$. We then prove some basic properties of this extension (algebraicity, flatness for syntomic morphisms, perfectness of cohomology) and show that for smooth schemes over $\mathbf{Q}$ this construction recovers (a version of) the filtered de Rham stack.


title: Logical qubit implementation for quantum annealing: augmented Lagrangian approach

abstract: Solving optimization problems on quantum annealers usually requires each variable of the problem to be represented by a connected set of qubits called a logical qubit or a chain. Chain weights, in the form of ferromagnetic coupling between the chain qubits, are applied so that the physical qubits in a chain favor taking the same value in low energy samples. Assigning a good chain-strength value is crucial for the ability of quantum annealing to solve hard problems, but there are no general methods for computing such a value and, even if an optimal value is found, it may still not be suitable by being too large for accurate annealing results. In this paper, we propose an optimization-based approach for producing suitable logical qubits representations that results in smaller chain weights and show that the resulting optimization problem can be successfully solved using the augmented Lagrangian method. Experiments on the D-Wave Advantage system and the maximum clique problem on random graphs show that our approach outperforms both the default D-Wave method for chain-strength assignment as well as the quadratic penalty method.


title: DocILE 2023 Teaser: Document Information Localization and Extraction

abstract: The lack of data for information extraction (IE) from semi-structured business documents is a real problem for the IE community. Publications relying on large-scale datasets use only proprietary, unpublished data due to the sensitive nature of such documents. Publicly available datasets are mostly small and domain-specific. The absence of a large-scale public dataset or benchmark hinders the reproducibility and cross-evaluation of published methods. The DocILE 2023 competition, hosted as a lab at the CLEF 2023 conference and as an ICDAR 2023 competition, will run the first major benchmark for the tasks of Key Information Localization and Extraction (KILE) and Line Item Recognition (LIR) from business documents. With thousands of annotated real documents from open sources, a hundred thousand of generated synthetic documents, and nearly a million unlabeled documents, the DocILE lab comes with the largest publicly available dataset for KILE and LIR. We are looking forward to contributions from the Computer Vision, Natural Language Processing, Information Retrieval, and other communities. The data, baselines, code and up-to-date information about the lab and competition are available at https://docile.rossum.ai/.


title: J-PLUS: Towards an homogeneous photometric calibration using Gaia BP/RP low-resolution spectra

abstract: We present the photometric calibration of the twelve optical passbands for the Javalambre Photometric Local Universe Survey (J-PLUS) third data release (DR3), comprising 1642 pointings of two square degrees each. We selected nearly 1.5 million main sequence stars with a signal-to-noise ratio larger than ten in the twelve J-PLUS passbands and available low-resolution (R = 20-80) spectrum from the blue and red photometers (BP/RP) in Gaia DR3. We compared the synthetic photometry from BP/RP spectra with the J-PLUS instrumental magnitudes, after correcting for the magnitude and color terms between both systems, to obtain an homogeneous photometric solution for J-PLUS. To circumvent the current limitations in the absolute calibration of the BP/RP spectra, the absolute color scale was derived using the locus of 109 white dwarfs closer than 100 pc with a negligible interstellar extinction. Finally, the absolute flux scale was anchored to the Panoramic Survey Telescope and Rapid Response System (Pan-STARRS) photometry in the r band. The precision of the J-PLUS photometric calibration, estimated from duplicated objects observed in adjacent pointings and by comparison with the spectro-photometric standard star GD 153, is ~12 mmag in u, J0378, and J0395; and ~7 mmag in J0410, J0430, g, J0515, r, J0660, i, J0861, and z. The estimated accuracy in the calibration along the surveyed area is better than 1% for all the passbands. The Gaia BP/RP spectra provide a high-quality, homogeneous photometric reference in the optical range across the full-sky, in spite of their current limitations as an absolute reference. The calibration method for J-PLUS DR3 reaches an absolute precision and accuracy of 1% in the twelve optical filters within an area of 3284 square degrees.


title: Sensitivity Analysis of Causal Treatment Effect Estimation for Clustered Observational Data with Unmeasured Confounding

abstract: Identifying causal treatment (or exposure) effects in observational studies requires the data to satisfy the unconfoundedness assumption which is not testable using the observed data. With sensitivity analysis, one can determine how the conclusions might change if assumptions are violated to a certain degree. In this paper, we propose a new technique for sensitivity analysis applicable to clusters observational data with a normally distributed or binary outcome. The proposed methods aim to assess the robustness of estimated treatment effects in a single study as well as in multiple studies, i.e., meta-analysis, against unmeasured confounders. Simulations with various underlying scenarios were conducted to assess the performance of our methods. Unlike other existing sensitivity analysis methods, our methods have no restrictive assumptions on the number of unmeasured confounders or on the relationship between measured and unmeasured confounders, and do not exclude possible interactions between measured confounders and the treatment. Our methods are easy to implement using standard statistical software packages.


title: Finite groups with a soluble group of coprime automorphisms whose fixed points have bounded Engel sinks

abstract: Suppose that a finite group $G$ admits a soluble group of coprime automorphisms $A$. We prove that if, for some positive integer $m$, every element of the centralizer $C_G(A )$ has a left Engel sink of cardinality at most $m$ (or a right Engel sink of cardinality at most $m$), then $G$ has a subgroup of $(|A|,m)$-bounded index which has Fitting height at most $2\alpha (A)+2$, where $\alpha (A)$ is the composition length of $A$. We also prove that if, for some positive integer $r$, every element of the centralizer $C_G(A )$ has a left Engel sink of rank at most $r$ (or a right Engel sink of rank at most $r$), then $G$ has a subgroup of $(|A|,r)$-bounded index which has Fitting height at most $4^{\alpha (A)}+4\alpha (A)+3$. Here, a left Engel sink of an element $g$ of a group $G$ is a set ${\mathscr E}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[x,g],g],\dots ,g]$ belong to ${\mathscr E}(g)$. (Thus, $g$ is a left Engel element precisely when we can choose ${\mathscr E}(g)=\{ 1\}$.) A right Engel sink of an element $g$ of a group $G$ is a set ${\mathscr R}(g)$ such that for every $x\in G$ all sufficiently long commutators $[...[[g,x],x],\dots ,x]$ belong to ${\mathscr R}(g)$. (Thus, $g$ is a right Engel element precisely when we can choose ${\mathscr R}(g)=\{ 1\}$.)


title: Permanence based Hidden Community and Graph Recovery in Social Networks

abstract: Due to the recent development of data analysis techniques, technologies for detecting communities through information expressed in social networks have been developed. Although it has several advantages, including the ability to effectively share recommended items through an estimated community, it may cause personal privacy issues. Therefore, recently, the problem of hiding the real community well is being studied at the same time. As an example, Mittal \etal, proposed an algorithm called NEURAL that can hide this community well based on a metric called permanence. Based on this, in this study, we propose a Reverse NEURAL (R-NEURAL) algorithm that restores the community as well as the original graph structure using permanence. The proposed algorithm includes a method for well restoring not only the community hidden by the NEURAL algorithm but also the original graph structure modified by recovered edges. We conduct experiments on real-world graphs and found that the proposed algorithm recovers well the hidden community as well as the graph structure.


title: Learning Analytics from Spoken Discussion Dialogs in Flipped Classroom

abstract: The flipped classroom is a new pedagogical strategy that has been gaining increasing importance recently. Spoken discussion dialog commonly occurs in flipped classroom, which embeds rich information indicating processes and progression of students' learning. This study focuses on learning analytics from spoken discussion dialog in the flipped classroom, which aims to collect and analyze the discussion dialogs in flipped classroom in order to get to know group learning processes and outcomes. We have recently transformed a course using the flipped classroom strategy, where students watched video-recorded lectures at home prior to group-based problem-solving discussions in class. The in-class group discussions were recorded throughout the semester and then transcribed manually. After features are extracted from the dialogs by multiple tools and customized processing techniques, we performed statistical analyses to explore the indicators that are related to the group learning outcomes from face-to-face discussion dialogs in the flipped classroom. Then, machine learning algorithms are applied to the indicators in order to predict the group learning outcome as High, Mid or Low. The best prediction accuracy reaches 78.9%, which demonstrates the feasibility of achieving automatic learning outcome prediction from group discussion dialog in flipped classroom.


title: HeroNet: A Hybrid Retrieval-Generation Network for Conversational Bots

abstract: Using natural language, Conversational Bot offers unprecedented ways to many challenges in areas such as information searching, item recommendation, and question answering. Existing bots are usually developed through retrieval-based or generative-based approaches, yet both of them have their own advantages and disadvantages. To assemble this two approaches, we propose a hybrid retrieval-generation network (HeroNet) with the three-fold ideas: 1). To produce high-quality sentence representations, HeroNet performs multi-task learning on two subtasks: Similar Queries Discovery and Query-Response Matching. Specifically, the retrieval performance is improved while the model size is reduced by training two lightweight, task-specific adapter modules that share only one underlying T5-Encoder model. 2). By introducing adversarial training, HeroNet is able to solve both retrieval\&generation tasks simultaneously while maximizing performance of each other. 3). The retrieval results are used as prior knowledge to improve the generation performance while the generative result are scored by the discriminator and their scores are integrated into the generator's cross-entropy loss function. The experimental results on a open dataset demonstrate the effectiveness of the HeroNet and our code is available at https://github.com/TempHero/HeroNet.git


title: Reduced Basis, Embedded Methods and Parametrized Levelset Geometry

abstract: In this chapter we examine reduced order techniques for geometrical parametrized heat exchange systems, Poisson, and flows based on Stokes, steady and unsteady incompressible Navier-Stokes and Cahn-Hilliard problems. The full order finite element methods, employed in an embedded and/or immersed geometry framework, are the Shifted Boundary (SBM) and the Cut elements (CutFEM) methodologies, with applications mainly focused in fluids. We start by introducing the Nitsche's method, for both SBM/CutFEM and parametrized physical problems as well as the high fidelity approximation. We continue with the full order parameterized Nitsche shifted boundary variational weak formulation, and the reduced order modeling ideas based on a Proper Orthogonal Decomposition Galerkin method and geometrical parametrization, quoting the main differences and advantages with respect to a reference domain approach used for classical finite element methods, while stability issues may overcome employing supremizer enrichment methodologies. Numerical experiments verify the efficiency of the introduced ``hello world'' problems considering reduced order results in several cases for one, two, three and four dimensional geometrical kind of parametrization. We investigate execution times, and we illustrate transport methods and improvements. A list of important references related to unfitted methods and reduced order modeling are [11, 8, 9, 10, 7, 6, 12].


title: Decision-Making Context Interaction Network for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction is crucial in recommendation and online advertising systems. Existing methods usually model user behaviors, while ignoring the informative context which influences the user to make a click decision, e.g., click pages and pre-ranking candidates that inform inferences about user interests, leading to suboptimal performance. In this paper, we propose a Decision-Making Context Interaction Network (DCIN), which deploys a carefully designed Context Interaction Unit (CIU) to learn decision-making contexts and thus benefits CTR prediction. In addition, the relationship between different decision-making context sources is explored by the proposed Adaptive Interest Aggregation Unit (AIAU) to improve CTR prediction further. In the experiments on public and industrial datasets, DCIN significantly outperforms the state-of-the-art methods. Notably, the model has obtained the improvement of CTR+2.9%/CPM+2.1%/GMV+1.5% for online A/B testing and served the main traffic of Meituan Waimai advertising system.


title: Specification Inference for Evolving Systems

abstract: In this paper, we propose an assertion-based approach to capture software evolution, through the notion of commit-relevant specification. A commit-relevant specification summarises the program properties that have changed as a consequence of a commit (understood as a specific software modification), via two sets of assertions, the delta-added assertions, properties that did not hold in the pre-commit version but hold on the post-commit, and the delta-removed assertions, those that were valid in the pre-commit, but no longer hold after the code change. We also present DeltaSpec, an approach that combines test generation and dynamic specification inference to automatically compute commit-relevant specifications from given commits. We evaluate DeltaSpec on two datasets that include a total of 57 commits (63 classes and 797 methods). We show that commit-relevant assertions can precisely describe the semantic deltas of code changes, providing a useful mechanism for validating the behavioural evolution of software. We also show that DeltaSpec can infer 88% of the manually written commit-relevant assertions expressible in the language supported by the tool. Moreover, our experiments demonstrate that DeltaSpec's inferred assertions are effective to detect regression faults. More precisely, we show that commit-relevant assertions can detect, on average, 78.3% of the artificially seeded faults that interact with the code changes. We also show that assertions in the delta are 58.3% more effective in detecting commit-relevant mutants than assertions outside the delta, and that it takes on average 169% fewer assertions when these are commit-relevant, compared to using general valid assertions, to achieve a same commit-relevant mutation score.


title: The role of radial migration on tracing lithium evolution in the Galactic disk

abstract: With the calculated guiding center radius $R_{guiding}$ and birth radius $R_{birth}$, we investigate the role of radial migration on the description of lithium evolution in the Galactic disk based on the upper envelope of the A(Li) vs. [Fe/H] diagram. Using migration distances, we find that stars in the solar neighborhood are born at different locations in the galactic disk, and cannot all be explained by models of chemical evolution in the solar neighborhood. It is found that the upper envelope of the A(Li) vs. [Fe/H] diagram varies significantly with $R_{birth}$, which explains the decrease of Li for super-metal-rich (SMR) stars because they are non-young stars born in the inner disk. The upper envelope of Li-$R_{birth}$ plane fits very well with chemical evolution models by Grisoni et al. for $R_{birth} = 7 - 12$ kpc, outside which young stars generally lack sufficient time to migrate to the solar neighborhood. For stars born in the solar neighborhood, the young open clusters and the upper envelope of field stars with age $<$ 3 Gyr fit well with theoretical prediction. We find that calculations using stars with ages less than 3 Gyr are necessary to obtain an undepleted Li upper envelope, and that stars with solar age (around 4.5 Gyr) have depleted around 0.3 dex from the original value based on the chemical evolution model of Grisoni et al.


title: Domain Theory in Constructive and Predicative Univalent Foundations

abstract: We develop domain theory in constructive and predicative univalent foundations (also known as homotopy type theory). That we work predicatively means that we do not assume Voevodsky's propositional resizing axioms. Our work is constructive in the sense that we do not rely on excluded middle or the axiom of (countable) choice. Domain theory studies so-called directed complete posets (dcpos) and Scott continuous maps between them and has applications in programming language semantics, higher-type computability and topology. A common approach to deal with size issues in a predicative foundation is to work with information systems, abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuous functions. In our type-theoretic approach, we instead accept that dcpos may be large and work with type universes to account for this. A priori one might expect that complex constructions of dcpos result in a need for ever-increasing universes and are predicatively impossible. We show that such constructions can be carried out in a predicative setting. We illustrate the development with applications in the semantics of programming languages: the soundness and computational adequacy of the Scott model of PCF and Scott's $D_\infty$ model of the untyped $\lambda$-calculus. We also give a predicative account of continuous and algebraic dcpos, and of the related notions of a small basis and its rounded ideal completion. The fact that nontrivial dcpos have large carriers is in fact unavoidable and characteristic of our predicative setting, as we explain in a complementary chapter on the constructive and predicative limitations of univalent foundations. Our account of domain theory in univalent foundations is fully formalised with only a few minor exceptions. The ability of the proof assistant Agda to infer universe levels has been invaluable for our purposes.


title: Anisotropic magnetic and magnetotransport properties in morphologically distinct Nd0.6Sr0.4MnO3 thin films

abstract: We investigate the magnetic and magnetotransport properties of nanostructured Nd0.6Sr0.4MnO3 (NSMO) thin films grown on (100) oriented SrTiO3 (STO) substrates. The thin films fabricated using the pulsed laser deposition technique have been found to possess two distinct surface morphologies: granular and nano rod type. Magnetization measurements have revealed that the films with rod-type morphology exhibit improved in-plane magnetic anisotropy. Magnetotransport studies have revealed that the granular thin films display a characteristic butterfly-shaped low-field magneto-resistive (LFMR) behavior. Furthermore, we investigate the anisotropic magneto-resistive (AMR) phenomenon in the samples and we find that morphology greatly affects AMR. Thin films with rod-type morphology show an enhanced AMR %. Such morphology dependent tunability in magnetoresistance properties over a wide temperature range is potentially interesting for developing oxide-based sensors and devices.


title: FedEBA+: Towards Fair and Effective Federated Learning via Entropy-Based Model

abstract: Ensuring fairness is a crucial aspect of Federated Learning (FL), which enables the model to perform consistently across all clients. However, designing an FL algorithm that simultaneously improves global model performance and promotes fairness remains a formidable challenge, as achieving the latter often necessitates a trade-off with the former. To address this challenge, we propose a new FL algorithm, FedEBA+, which enhances fairness while simultaneously improving global model performance. FedEBA+ incorporates a fair aggregation scheme that assigns higher weights to underperforming clients and an alignment update method. In addition, we provide theoretical convergence analysis and show the fairness of FedEBA+. Extensive experiments demonstrate that FedEBA+ outperforms other SOTA fairness FL methods in terms of both fairness and global model performance.


title: Lifts of Brauer characters in characteristic two

abstract: A conjecture raised by Cossey in 2007 asserts that if $G$ is a finite $p$-solvable group and $\varphi$ is an irreducible $p$-Brauer character of $G$ with vertex $Q$, then the number of lifts of $\varphi$ is at most $|Q:Q'|$. This conjecture is now known to be true in several situations for $p$ odd, but there has been little progress for $p$ even. The main obstacle appeared in characteristic two is that all the vertex pairs of a lift are neither linear nor conjugate. In this paper we show that if $\chi$ is a lift of an irreducible $2$-Brauer character in a solvable group, then $\chi$ has a linear Navarro vertex if and only if all the vertex pairs of $\chi$ are linear, and in that case all of the twisted vertices of $\chi$ are conjugate. Our result can also be used to study other lifting problems of Brauer characters in characteristic two. As an application, we prove a weaker form of Cossey's conjecture for $p=2$ "one vertex at a time".


title: A counterexample on polynomial multiple convergence without commutativity

abstract: It is shown that for polynomials $p_1, p_2 \in {\mathbb Z}[t]$ with ${\rm deg}\ p_1, {\rm deg}\ p_2\ge 5$ there exist a probability space $(X,{\mathcal X},\mu)$, two ergodic measure preserving transformations $T,S$ acting on $(X,{\mathcal X},\mu)$ with $h_\mu(X,T)=h_\mu(X,S)=0$, and $f, g \in L^\infty(X,\mu)$ such that the limit \begin{equation*} \lim_{N\to\infty}\frac{1}{N}\sum_{n=0}^{N-1} f(T^{p_1(n)}x)g(S^{p_2(n)}x) \end{equation*} does not exist in $L^2(X,\mu)$, which in some sense answers a question by Frantzikinakis and Host.


title: Prospects for future studies using deep imaging: Analysis of individual Galactic cirrus filaments

abstract: The presence of Galactic cirrus is an obstacle for studying both faint objects in our Galaxy and low surface brightness extragalactic structures. With the aim of studying individual cirrus filaments in SDSS Stripe 82 data, we develop techniques based on machine learning and neural networks that allow one to isolate filaments from foreground and background sources in the entirety of Stripe 82 with a precision similar to that of the human expert. Our photometric study of individual filaments indicates that only those brighter than 26 mag arcsec$^{-2}$ in the SDSS $r$ band are likely to be identified in SDSS Stripe~82 data by their distinctive colours in the optical bands. We also show a significant impact of data processing (e.g. flat-fielding, masking of bright stars, and sky subtraction) on colour estimation. Analysing the distribution of filaments' colours with the help of mock simulations, we conclude that most filaments have colours in the following ranges: $0.55 \leq g-r \leq 0.73$ and $0.01 \leq r-i \leq 0.33$. Our work provides a useful framework for an analysis of all types of low surface brightness features (cirri, tidal tails, stellar streams, etc.) in existing and future deep optical surveys. For practical purposes, we provide the catalogue of dust filaments.


title: The phase transition of Rastall AdS black hole with cloud of strings and quintessence

abstract: In this paper, we introduce the black hole solution in Rastall theory of gravity in the presence of quintessence and the cloud of strings. Our investigations show that this model meets only second-order phase transition in four dimensions. While both the first and second order phase transitions are seen in five dimensions. Therefore, according to the AdS/CFT duality, the confinement-deconfinement phase transition only occurs in five dimensions for this model.


title: Contextual Causal Bayesian Optimisation

abstract: Causal Bayesian optimisation (CaBO) combines causality with Bayesian optimisation (BO) and shows that there are situations where the optimal reward is not achievable if causal knowledge is ignored. While CaBO exploits causal relations to determine the set of controllable variables to intervene on, it does not exploit purely observational variables and marginalises them. We show that, in general, utilising a subset of observational variables as a context to choose the values of interventional variables leads to lower cumulative regrets. We propose a general framework of contextual causal Bayesian optimisation that efficiently searches through combinations of controlled and contextual variables, known as policy scopes, and identifies the one yielding the optimum. We highlight the difficulties arising from the application of the causal acquisition function currently used in CaBO to select the policy scope in contextual settings and propose a multi-armed bandits based selection mechanism. We analytically show that well-established methods, such as contextual BO (CoBO) or CaBO, are not able to achieve the optimum in some cases, and empirically show that the proposed method achieves sub-linear regret in various environments and under different configurations.


title: An almost strong relation

abstract: Let $\mu$ be a strong limit singular cardinal. We prove that if $2^{\mu} > \mu^+$ then $\binom{\mu^+}{\mu}\to \binom{\tau}{\mu}_{<{\rm cf}(\mu)}$ for every ordinal $\tau<\mu^+$. We obtain an optimal positive relation under $2^\mu = \mu^+$, as after collapsing $2^\mu$ to $\mu^+$ this positive relation is preserved.


title: Evidence of The Anomalous Fluctuating Magnetic State by Pressure Driven 4f Valence Change in EuNiGe$_3$

abstract: In rare-earth compounds with valence fluctuation, the proximity of the 4f level to the Fermi energy leads to instabilities of the charge configuration and the magnetic moment. Here, we provide direct experimental evidence for an induced magnetic polarization of the Eu$^{3+}$ atomic shell with J=0, due to intra-atomic exchange and spin-orbital coupling interactions with Eu$^{2+}$ atomic shell. By applying external pressure, a transition from antiferromagnetic to a fluctuating behavior in a EuNiGe$_3$ single crystals is probed. Magnetic polarization is observed for both valence states of Eu$^{2+}$ and Eu$^{3+}$ across the entire pressure range. The anomalous magnetism is discussed in terms of a homogeneous intermediate valence state where frustrated Dzyaloshinskii-Moriya couplings are enhanced by the onset of spin-orbital interaction and engender a chiral spin-liquid-like precursor.


title: Localized-Diffusive and Ballistic-Diffusive Transitions in Kicked Incommensurate lattice

abstract: By using the kicked Harper model, the effect of dynamical perturbations to the localized and ballistic phases in aperiodic lattice systems is investigated. The transition from the localized phase to diffusive phase via a critical sub-diffusion $t^\alpha$($t$:time) with $0<\alpha<1$ is observed. In addition, we first confirmed the existence of the transition from the ballistic phase to the diffusive phase via a critical super-diffusion with $1<\alpha<2$.


title: Deep Learning for Human Parsing: A Survey

abstract: Human parsing is a key topic in image processing with many applications, such as surveillance analysis, human-robot interaction, person search, and clothing category classification, among many others. Recently, due to the success of deep learning in computer vision, there are a number of works aimed at developing human parsing algorithms using deep learning models. As methods have been proposed, a comprehensive survey of this topic is of great importance. In this survey, we provide an analysis of state-of-the-art human parsing methods, covering a broad spectrum of pioneering works for semantic human parsing. We introduce five insightful categories: (1) structure-driven architectures exploit the relationship of different human parts and the inherent hierarchical structure of a human body, (2) graph-based networks capture the global information to achieve an efficient and complete human body analysis, (3) context-aware networks explore useful contexts across all pixel to characterize a pixel of the corresponding class, (4) LSTM-based methods can combine short-distance and long-distance spatial dependencies to better exploit abundant local and global contexts, and (5) combined auxiliary information approaches use related tasks or supervision to improve network performance. We also discuss the advantages/disadvantages of the methods in each category and the relationships between methods in different categories, examine the most widely used datasets, report performances, and discuss promising future research directions in this area.


title: Syrupy Mouthfeel and Hints of Chocolate -- Predicting Coffee Review Scores using Text Based Sentiment

abstract: This paper uses textual data contained in certified (q-graded) coffee reviews to predict corresponding scores on a scale from 0-100. By transforming this highly specialized and standardized textual data in a predictor space, we construct regression models which accurately capture the patterns in corresponding coffee bean scores.


title: The Covariant Phase Space of Gravity with Boundaries

abstract: This thesis investigates how the metric and tetrad formulations of three gravitational field theories in manifolds with timelike boundaries within the covariant phase space program. With the recently developed relative bicomplex framework, we explore the space of solutions and presymplectic structures associated with each action principle and analyse their equivalence. In this way, the relative bicomplex surpasses traditional covariant phase space methods, which are only suited for boundary-free field theories.


title: Horocycle dynamics in rank one invariant subvarieties I: weak measure classification and equidistribution

abstract: Let M be an invariant subvariety in the moduli space of translation surfaces. We contribute to the study of the dynamical properties of the horocycle flow on M. In the context of dynamics on the moduli space of translation surfaces, we introduce the notion of a 'weak classification of horocycle invariant measures' and we study its consequences. Among them, we prove genericity of orbits and related uniform equidistribution results, asymptotic equidistribution of sequences of pushed measures, and counting of saddle connection holonomies. As an example, we show that invariant varieties of rank one, Rel-dimension one and related spaces obtained by adding marked points satisfy the 'weak classification of horocycle invariant measures'. Our results extend prior results obtained by Eskin-Masur-Schmoll, Eskin-Marklof-Morris, and Bainbridge-Smillie-Weiss.


title: Conditional generalized quantiles based on expected utility model and equivalent characterization of properties

abstract: As a counterpart to the (static) risk measures of generalized quantiles and motivated by Bellini et al. (2018), we propose a new kind of conditional risk measure called conditional generalized quantiles. We first show their well-definedness and they can be equivalently characterised by a conditional first order condition. We also discuss their main properties, and, especially, We give the characterization of coherency/convexity. For potential applications as a dynamic risk measure, we study their time consistency properties, and establish their equivalent characterizations among conditional generalized quantiles.


title: On Easton support iteration of Prikry type forcing notions

abstract: We consider here Easton support iterations of Prikry type forcing notions. New ways of constructing normal ultrafilters in extensions are presented. It turns out that, in contrast with other supports, seemingly unrelated measures or extenders can be involved here.


title: PhaVIP: Phage VIrion Protein classification based on chaos game representation and Vision Transformer

abstract: Motivation: As viruses that mainly infect bacteria, phages are key players across a wide range of ecosystems. Analyzing phage proteins is indispensable for understanding phages' functions and roles in microbiomes. High-throughput sequencing enables us to obtain phages in different microbiomes with low cost. However, compared to the fast accumulation of newly identified phages, phage protein classification remains difficult. In particular, a fundamental need is to annotate virion proteins, the structural proteins such as major tail, baseplate etc. Although there are experimental methods for virion protein identification, they are too expensive or time-consuming, leaving a large number of proteins unclassified. Thus, there is a great demand to develop a computational method for fast and accurate phage virion protein classification. Results: In this work, we adapted the state-of-the-art image classification model, Vision Transformer, to conduct virion protein classification. By encoding protein sequences into unique images using chaos gaming representation, we can leverage Vision Transformer to learn both local and global features from sequence ``images''. Our method, PhaVIP, has two main functions: classifying PVP and non-PVP sequences and annotating the types of PVP, such as capsid and tail. We tested PhaVIP on several datasets with increasing difficulty and benchmarked it against alternative tools. The experimental results show that PhaVIP has superior performance. After validating the performance of PhaVIP, we investigated two applications that can use the output of PhaVIP: phage taxonomy classification and phage host prediction. The results show the benefit of using classified proteins rather than all proteins.


title: All-speed numerical methods for the Euler equations via a sequential explicit time integration

abstract: This paper presents a new strategy to deal with the excessive diffusion that standard finite volume methods for compressible Euler equations display in the limit of low Mach number. The strategy can be understood as using centered discretizations for the acoustic part of the Euler equations and stabilizing them with a leap-frog-type ("sequential explicit") time integration, a fully explicit method. This time integration takes inspiration from time-explicit staggered grid numerical methods. In this way, advantages of staggered methods carry over to collocated methods. The paper provides a number of new collocated schemes for linear acoustic/Maxwell equations that are inspired by the Yee scheme. They are then extended to an all-speed method for the full Euler equations on Cartesian grids. By taking the opposite view and taking inspiration from collocated methods, the paper also suggests a new way of staggering the variables which increases the stability as compared to the traditional Yee scheme.


title: Role of a capping layer on the crystalline structure of Sn thin films grown at cryogenic temperatures on InSb substrates

abstract: Metal deposition with cryogenic cooling is widely utilized in the condensed matter community for producing ultra-thin epitaxial superconducting layers on semiconductors. However, a drawback arises when these films return to room temperature, as they tend to undergo dewetting. This issue is mitigated by capping the films with an amorphous layer. In this study, we examined the impact of different in-situ fabricated caps on the structural characteristics of Sn thin films deposited at 80 K on InSb substrates. Regardless of the type of capping, we observed that the films remained smooth upon returning to room temperature and were epitaxial on InSb in the cubic Sn ($\alpha$-Sn) phase. However, we noted a correlation between alumina capping with an electron beam evaporator and an increased presence of tetragonal Sn ($\beta$-Sn) grains. This suggests that heating from the alumina source may contribute to a partial phase transition in the Sn layer. The existence of the $\beta$-Sn phase induced superconducting behavior of the films by percolation effect. This study highlights the potential for modifying the structural properties of cryogenic Sn thin films through in-situ capping, paving the way for precise control in the production of superconducting Sn films for integration into quantum computing platforms.


title: Fermion scattering on topological solitons in the $\mathbb{CP}^{N-1}$ model

abstract: The scattering of Dirac fermions in the background fields of topological solitons of the $(2+1)$-dimensional $\mathbb{CP}^{N-1}$ model is studied using analytical and numerical methods. It is shown that the exact solutions for fermionic wave functions can be expressed in terms of the confluent Heun functions. The question of the existence of bound states for the fermion-soliton system is then investigated. General formulae describing fermion scattering are obtained, and a symmetry property for the partial phase shifts is derived. The amplitudes and cross-sections of the fermion-soliton scattering are obtained in an analytical form within the framework of the Born approximation, and the symmetry properties and asymptotic forms of the Born amplitudes are investigated. The dependences of the first few partial phase shifts on the fermion momentum are obtained by numerical methods, and some of their properties are investigated and discussed.


title: Strongly nonfinitely based monoids

abstract: We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite semigroup.


title: Basic Commutators in n-Lie Algebras

abstract: In this paper, we give the structure of free n-Lie algebras. Next, we introduce basic commutators in n-Lie algebras and generalize the Witt formula to calculate the number of the basic commutators. Also, we prove that the set of all of the basic commutators of weight w and length n+(w-2)(n-1) is a basis for Fw, where Fw is the wth term of the lower central series in the free n-Lie algebra F.


title: Surgery equivalence relations for 3-manifolds

abstract: By classical results of Rochlin, Thom, Wallace and Lickorish, it is well-known that any two 3-manifolds (with diffeomorphic boundaries) are related one to the other by surgery operations. Yet, by restricting the type of the surgeries, one can define several families of non-trivial equivalence relations on the sets of (diffeomorphism classes of) 3-manifolds. In this expository paper, which is based on lectures given at the school ``Winter Braids XI'' (Dijon, December 2021), we explain how certain filtrations of mapping class groups of surfaces enter into the definitions and the mutual comparison of these surgery equivalence relations. We also survey the ways in which concrete invariants of 3-manifolds (such as finite-type invariants) can be used to characterize such relations.


title: Debiased Fine-Tuning for Vision-language Models by Prompt Regularization

abstract: We present a new paradigm for fine-tuning large-scale visionlanguage pre-trained models on downstream task, dubbed Prompt Regularization (ProReg). Different from traditional fine-tuning which easily overfits to the downstream task data, ProReg uses the prediction by prompting the pretrained model to regularize the fine-tuning. The motivation is: by prompting the large model "a photo of a [CLASS]", the fil-lin answer is only dependent on the pretraining encyclopedic knowledge while independent of the task data distribution, which is usually biased. Specifically, given a training sample prediction during fine-tuning, we first calculate its KullbackLeibler loss of the prompt prediction and Cross-Entropy loss of the ground-truth label, and then combine them with a proposed sample-wise adaptive trade-off weight, which automatically adjusts the transfer between the pretrained and downstream domains. On various out-of-distribution benchmarks, we show the consistently strong performance of ProReg compared with conventional fine-tuning, zero-shot prompt, prompt tuning, and other state-of-the-art methods.


title: Cosmic Background Neutrinos Deflected by Gravity: DEMNUni Simulation Analysis

abstract: The local supercluster acts as a gravity deflection source for cosmic background neutrinos. This deflection by gravity changes the neutrino helicity and therefore has important consequences for ground based tritium capture experiments aimed at determining if the neutrino is Dirac or Majorana. Here we explore the deflection effect of the local supercluster using the higher resolution DEMNUni simulation suite and reaffirm our previous results. We show that the lightest neutrinos are ultra-relativistic enough to suffer little deflection by gravity and at the same time not relativistic enough to achieve the same capture rate for Dirac and Majorana cases. This means that the capture rate in Ptolemy-like experiments will be sensitive to the neutrino nature and that gravity deflection enlarges the difference between Majorana and Dirac rates. Moreover, using the relation between mass and momentum of the neutrinos frozen Fermi-Dirac distribution, we are able to calculate the deflection angle for different neutrino masses from the same set of neutrinos obtained from the simulation. Doing so, we provide a formula to compute the deflection angle for any neutrino mass, such that when cosmology detects an absolute neutrino mass, precise predictions can be made for tritium ground-based detectors on Earth aimed to determine neutrinos nature.


title: Electronic structure of a Josephson vortex in a SIS junction

abstract: The Josephson vortex formed in a superconductor-insulator-superconductor (SIS) junction can affect the quantum mechanics of quasiparticles by creating an effective adiabatic potential determined by the inhomogeneous distribution of the phase difference of the order parameter along the junction. Starting from the quasiclassical version of the Bogoliubov-de Gennes (BdG) theory, we found the quasiparticle spectrum and the local density of states (DOS) both for the isolated Josephson vortex and the vortex chain. The spatially resolved DOS reveals a peculiar two-peak structure for each Josephson vortex, which can be detected experimentally using the scanning tunneling microscopy/spectroscopy techniques.


title: All-optical generation of Abrikosov vortices by the Inverse Faraday Effect

abstract: Within the framework of the time-dependent Ginzburg-Landau theory we show that circularly polarized THz or far-infrared radiation induces a dc supercurrent that influences the dynamics of vortex-antivortex pair formation in a mesoscopic superconductor undergoing rapid thermal quenching. The Lorentz force arising from the supercurrents promotes vortex-antivortex separation and allows survival of the vortex polarity defined by the helicity of light. Based on this idea, we propose a two-stage irradiation scheme that provides a powerful method for controlled all-optical generation of Abrikosov vortices.


title: Spherical harmonics for fractional quantum numbers l=1/n

abstract: The angular momentum quantum number L of spherical harmonic Y_l_,_m based on an associated Legendre polynomial is nonnegative integer 0 1 2 ... and must never be a fraction. But the study in this paper found that the quantum number L corresponding to other series of solutions of the associated Legendre equation should be fractions. This paper not only proposed the spherical harmonics Y for L=1/2, but also spherical harmonics Y for L = 1/n = 1/3 1/4 1/5 ... In addition to the spin s=1/2 of electron-like particles, the fractional spin such as 1/3, 1/4, 1/5,...were boldly speculated to be verified in this paper. Setting the spin of a particle with only two spin components of up and down to s = 1/2 is not necessarily correct. Based on the symmetry of the plots of Ys, three different spin classes of particles are predicted. The first class of particles s = 1/2 1/6 ... resembles electrons, particles with the parallel spins tend to move away from each other, and the second class of particles s = 1/3 1/5 ... does not repel each other regardless of whether their spins are parallel or not, and the third class of particles s = 1/4 1/8 ... always repels each other and tend to move away regardless of whether their spins are parallel or not. The use of fractional spin can be well illustrated for electrons and protons as reported in the literature. This view may be important for the study of quantum mechanics and elementary practices.


title: Multidimensional Backward Stochastic Differential Equations with Rough Drifts

abstract: In this paper, we study a multidimensional backward stochastic differential equation (BSDE) with an additional rough drift (rough BSDE), and give the existence and uniqueness of the adapted solution, either when the terminal value and the geometric rough path are small, or when each component of the rough drift only depends on the corresponding component of the first unknown variable (but dropped is the one-dimensional assumption of Diehl and Friz [Ann. Probab. 40 (2012), 1715-1758]). We also introduce a new notion of the $p$-rough stochastic integral for $p \in \left[2, 3\right)$, and then succeed in giving -- through a fixed-point argument -- a general existence and uniqueness result on a multidimensional rough BSDE with a general square-integrable terminal value, allowing the rough drift to be random and time-varying but having to be linear; furthermore, we connect it to a system of rough partial differential equations.


title: Statistical evaluation of a long-memory process using the generalized entropic Value-at-Risk

abstract: The modeling and identification of time series data with a long memory are important in various fields. The streamflow discharge is one such example that can be reasonably described as an aggregated stochastic process of randomized affine processes where the probability measure, we call it reversion measure, for the randomization is not directly observable. Accurate identification of the reversion measure is critical because of its omnipresence in the aggregated stochastic process. However, the modeling accuracy is commonly limited by the available real-world data. One approach to this issue is to evaluate the upper and lower bounds of a statistic of interest subject to ambiguity of the reversion measure. Here, we use the Tsallis Value-at-Risk (TsVaR) as a convex risk measure to generalize the widely used entropic Value-at-Risk (EVaR) as a sharp statistical indicator. We demonstrate that the EVaR cannot be used for evaluating key statistics, such as mean and variance, of the streamflow discharge due to the blowup of some exponential integrand. In contrast, the TsVaR avoids this issue because it requires only the existence of some polynomial, not exponential moment. As a demonstration, we apply the semi-implicit gradient descent method to calculate the TsVaR and corresponding Radon-Nikodym derivative for time series data of actual streamflow discharges in mountainous river environments.


title: Team VI-I2R Technical Report on EPIC-KITCHENS-100 Unsupervised Domain Adaptation Challenge for Action Recognition 2022

abstract: In this report, we present the technical details of our submission to the EPIC-KITCHENS-100 Unsupervised Domain Adaptation (UDA) Challenge for Action Recognition 2022. This task aims to adapt an action recognition model trained on a labeled source domain to an unlabeled target domain. To achieve this goal, we propose an action-aware domain adaptation framework that leverages the prior knowledge induced from the action recognition task during the adaptation. Specifically, we disentangle the source features into action-relevant features and action-irrelevant features using the learned action classifier and then align the target features with the action-relevant features. To further improve the action prediction performance, we exploit the verb-noun co-occurrence matrix to constrain and refine the action predictions. Our final submission achieved the first place in terms of top-1 action recognition accuracy.


title: Oscillating behavior of a compartmental model with retarded noisy dynamic infection rate

abstract: Our study is based on an epidemiological compartmental model, the SIRS model. In the SIRS model, each individual is in one of the states susceptible (S), infected(I) or recovered (R), depending on its state of health. In compartment R, an individual is assumed to stay immune within a finite time interval only and then transfers back to the S compartment. We extend the model and allow for a feedback control of the infection rate by mitigation measures which are related to the number of infections. A finite response time of the feedback mechanism is supposed that changes the low-dimensional SIRS model into an infinite-dimensional set of integro-differential (delay-differential) equations. It turns out that the retarded feedback renders the originally stable endemic equilibrium of SIRS (stable focus) into an unstable focus if the delay exceeds a certain critical value. Nonlinear solutions show persistent regular oscillations of the number of infected and susceptible individuals. In the last part we include noise effects from the environment and allow for a fluctuating infection rate. This results in multiplicative noise terms and our model turns into a set of stochastic nonlinear integro-differential equations. Numerical solutions reveal an irregular behavior of repeated disease outbreaks in the form of infection waves with a variety of frequencies and amplitudes.


title: Defining an universal "sign" to strictly probe phase transition

abstract: The mystery of the infamous sign problem in quantum Monte Carlo (QMC) simulations mightily restricts applications of the method in fermionic and frustrated systems. A recent work [Science \textbf{375}, 418 (2022)] made a remarkable breakthrough in the sign problem by pointing out that the sign can be used to probe phase transition. In this work, we proposed a general argument based on the definition of the sign that is related to the difference in free energy between the original and reference systems to clarify that the sign problem and phase transition cannot always be strictly related. The sign can exactly probe phase transition only if the free energy in the reference system is flat under variable parameters, which is almost impossible to design. Generally speaking, the conclusion that the sign can probe phase transition is survivorship bias without universality. To solve this problem, we define a modified sign that excludes the influence of the reference system, which can probe the phase transition strictly. The work gives an unbiased solution for detecting phase transition by the new modified sign.


title: Unsupervised Domain Adaptation on Person Re-Identification via Dual-level Asymmetric Mutual Learning

abstract: Unsupervised domain adaptation person re-identification (Re-ID) aims to identify pedestrian images within an unlabeled target domain with an auxiliary labeled source-domain dataset. Many existing works attempt to recover reliable identity information by considering multiple homogeneous networks. And take these generated labels to train the model in the target domain. However, these homogeneous networks identify people in approximate subspaces and equally exchange their knowledge with others or their mean net to improve their ability, inevitably limiting the scope of available knowledge and putting them into the same mistake. This paper proposes a Dual-level Asymmetric Mutual Learning method (DAML) to learn discriminative representations from a broader knowledge scope with diverse embedding spaces. Specifically, two heterogeneous networks mutually learn knowledge from asymmetric subspaces through the pseudo label generation in a hard distillation manner. The knowledge transfer between two networks is based on an asymmetric mutual learning manner. The teacher network learns to identify both the target and source domain while adapting to the target domain distribution based on the knowledge of the student. Meanwhile, the student network is trained on the target dataset and employs the ground-truth label through the knowledge of the teacher. Extensive experiments in Market-1501, CUHK-SYSU, and MSMT17 public datasets verified the superiority of DAML over state-of-the-arts.


title: On the status of channeling radiation and laser based radiation sources

abstract: A unified description of channeling radiation (CR) in oriented crystals (OC) and radiation in the field of an intense plane wave (laser radiation sources - LRS) is proposed in terms of two Lorentz-invariant parameters. The case of planar positron channeling (quasi-channeling) and linearly polarized laser wave is considered in detail up to TeV energies. The crucial difference between LRS and CR is that in the former case both invariants are independent, while in channeling they are linearly related to each other. This leads to a strong limitation on the range of possible values of these invariants in OC. On the other hand, OC make it possible to study QED processes in strong non-uniform external fields.


title: Long Rayleigh length confocal microscope: A fast evaluation tool for obtaining quantum properties of color centers

abstract: Color centers in wide band-gap semiconductors, which have superior quantum properties even at room temperature and atmospheric pressure, have been actively applied to quantum sensing devices. Characterization of the quantum properties of the color centers in the semiconductor materials and ensuring that these properties are uniform over a wide area are key issues for developing quantum sensing devices based on color center. In this article, we will describe the principle and performance of a newly developed confocal microscope system with a long Rayleigh length (LRCFM). This system can characterize a wider area faster than the confocal microscope systems commonly used for color center evaluation.


title: Enhancement of the Kondo effect in a quantum dot formed in a full-shell nanowire

abstract: We analyze results of a recent experiment [D. Razmadze et al., Phys. Rev. Lett., 125, 116803 (2020)] on transport through a quantum dot between two full-shell nanowires and show that the observed effects are caused by the Kondo effect enhancement due to a nontrivial geometry (magnetic flux in a full-shell nanowire) rather than the presence of Majorana bound states. Moreover, we propose that such a setup presents a unique and convenient system to study the competition between superconductivity and the Kondo effect and has significant advantages in comparison to other known approaches, as the important parameter is controlled by the magnetic flux through the full-shell nanowire, which can be significantly varied with small changes of magnetic field, and does not require additional gates. This competition is of fundamental interest as it results in a quantum phase transition between an unscreened doublet and a many-body Kondo singlet ground states of the system.


title: Pipe-BD: Pipelined Parallel Blockwise Distillation

abstract: Training large deep neural network models is highly challenging due to their tremendous computational and memory requirements. Blockwise distillation provides one promising method towards faster convergence by splitting a large model into multiple smaller models. In state-of-the-art blockwise distillation methods, training is performed block-by-block in a data-parallel manner using multiple GPUs. To produce inputs for the student blocks, the teacher model is executed from the beginning until the current block under training. However, this results in a high overhead of redundant teacher execution, low GPU utilization, and extra data loading. To address these problems, we propose Pipe-BD, a novel parallelization method for blockwise distillation. Pipe-BD aggressively utilizes pipeline parallelism for blockwise distillation, eliminating redundant teacher block execution and increasing per-device batch size for better resource utilization. We also extend to hybrid parallelism for efficient workload balancing. As a result, Pipe-BD achieves significant acceleration without modifying the mathematical formulation of blockwise distillation. We implement Pipe-BD on PyTorch, and experiments reveal that Pipe-BD is effective on multiple scenarios, models, and datasets.


title: Exploring Attention Map Reuse for Efficient Transformer Neural Networks

abstract: Transformer-based deep neural networks have achieved great success in various sequence applications due to their powerful ability to model long-range dependency. The key module of Transformer is self-attention (SA) which extracts features from the entire sequence regardless of the distance between positions. Although SA helps Transformer performs particularly well on long-range tasks, SA requires quadratic computation and memory complexity with the input sequence length. Recently, attention map reuse, which groups multiple SA layers to share one attention map, has been proposed and achieved significant speedup for speech recognition models. In this paper, we provide a comprehensive study on attention map reuse focusing on its ability to accelerate inference. We compare the method with other SA compression techniques and conduct a breakdown analysis of its advantages for a long sequence. We demonstrate the effectiveness of attention map reuse by measuring the latency on both CPU and GPU platforms.


title: Gradient-enhanced stochastic optimization of high-fidelity simulations

abstract: Optimization and control of complex unsteady flows remains an important challenge due to the large cost of performing a function evaluation, i.e. a full computational fluid dynamics (CFD) simulation. Reducing the number of required function evaluations would help to decrease the computational cost of the overall optimization procedure. In this article, we consider the stochastic derivative-free surrogate-model based Dynamic COordinate search using Response Surfaces (DYCORS) algorithm and propose several enhancements: First, the gradient information is added to the surrogate model to improve its accuracy and enhance the convergence rate of the algorithm. Second, the internal parameters of the radial basis function employed to generate the surrogate model are optimized by minimizing the leave-one-out error in the case of the original algorithm and by using the gradient information in the case of the gradient-enhanced version. We apply the resulting optimization algorithm to the minimization of the total pressure loss through a linear cascade of blades, and we compare the results obtained with the stochastic algorithms at different Reynolds numbers with a gradient-based optimization algorithm. The results show that stochastic optimization outperforms gradient-based optimization even at very low $Re$ numbers, and that the proposed gradient-enhanced version improves the convergence rate of the original algorithm. An open-source implementation of the gradient-enhanced version of the algorithm is available.


title: The escape transition in a self-avoiding walk model of linear polymers

abstract: A linear polymer grafted to a hard wall and underneath an AFM tip can be modelled in a lattice as a grafted lattice polymer (or self-avoiding walk) compressed underneath a piston approaching the wall. As the piston approaches the wall the increasingly confined polymer escapes from the confined region to explore conformations beside the piston. This conformational change is believed to be a phase transition in the thermodynamic limit, and has been argued to be first order, based on numerical results in reference [12]. In this paper a lattice self-avoiding walk model of the escape transition is constructed. It is proven that this model has a critical point in the thermodynamic limit corresponding to the escape transition of compressed grafted linear polymers. This result relies on the analysis of ballistic self-avoiding walks in slits and slabs in the square and cubic lattices. Additionally, numerical estimates of the location of the escape transition critical point is reported based on Monte Carlo simulations of self-avoiding walks in slits and in slabs.


title: Homotopy types of diffeomorphisms groups of simplest Morse-Bott foliations on lens spaces, 2

abstract: Let $\mathcal{F}$ be a Morse-Bott foliation on the solid torus $T=S^1\times D^2$ into $2$-tori parallel to the boundary and one singular central circle. Gluing two copies of $T$ by some diffeomorphism between their boundaries, one gets a lens space $L_{p,q}$ with a Morse-Bott foliation $\mathcal{F}_{p,q}$ obtained from $\mathcal{F}$ on each copy of $T$ and thus consisting of two singluar circles and parallel $2$-tori. In the previous paper [O. Khokliuk, S. Maksymenko, Journ. Homot. Rel. Struct., 2024, 18, 313-356] there were computed weak homotopy types of the groups $\mathcal{D}^{lp}(\mathcal{F}_{p,q})$ of leaf preserving (i.e. leaving invariant each leaf) diffeomorphisms of such foliations. In the present paper it is shown that the inclusion of these groups into the corresponding group $\mathcal{D}_{+}^{fol}(\mathcal{F}_{p,q})$ of foliated (i.e. sending leaves to leaves) diffeomorphisms which do not interchange singular circles are homotopy equivalences.


title: Construction of Non-Hermitian Parent Hamiltonian from Matrix Product States

abstract: There are various research strategies used for non-Hermitian systems, which typically involve introducing non-Hermitian terms to pre-existing Hermitian Hamiltonians. It can be challenging to directly design non-Hermitian many-body models that exhibit unique features not found in Hermitian systems. In this Letter, we propose a new method to construct non-Hermitian many-body systems by generalizing the parent Hamiltonian method into non-Hermitian regimes. This allows us to build a local Hamiltonian using given matrix product states as its left and right ground states. We demonstrate this method by constructing a non-Hermitian spin-$1$ model from the asymmetric Affleck-Kennedy-Lieb-Tasaki (AKLT) state, which preserves both chiral order and symmetry-protected topological order. Our approach opens up a new paradigm for systematically constructing and studying non-Hermitian many-body systems, providing guiding principles to explore new properties and phenomena in non-Hermitian physics.


title: Representations and identities of hypoplactic monoids with involution

abstract: Let $(\mathsf{hypo}_n,~^\sharp)$ be the hypoplactic monoid of finite rank $n$ with Sch\"{u}tzenberger's involution $^{\sharp}$. In this paper, we exhibit a faithful representation of $(\mathsf{hypo}_n,~^\sharp)$ as an involution monoid of upper triangular matrices over any semiring from a large class including the tropical semiring under the skew transposition. We then give a transparent combinatorial characterization of the word identities satisfied by $(\mathsf{hypo}_n,~^\sharp)$. Further, we prove that $(\mathsf{hypo}_n,~^\sharp)$ is non-finitely based if and only if $n=2, 3$ and give a polynomial time algorithm to check whether a given word identity holds in $(\mathsf{hypo}_n,~^\sharp)$.


title: Persistent nonequilibrium effects in generalized Langevin dynamics of nonrelativistic and relativistic particles

abstract: Persistent nonequilibrium effects such as the memory of the initial state, the ballistic diffusion, and the break of the equipartition theorem and the ergodicity in Brownian motions are investigated by analytically solving the generalized Langevin equation of nonrelativistic Brownian particles with colored noise. These effects can also be observed in the Brownian motion of relativistic particles by numerically solving the generalized Langevin equation for specially chosen memory kernels. Our analyses give rise to think about the possible anomalous motion of heavy quarks in relativistic heavy-ion collisions.


title: The invariant subspaces of periodic Fourier multipliers with application to abstract evolution equations

abstract: By methods of harmonic analysis, we identify large classes of Banach spaces invariant of periodic Fourier multipliers with symbols satisfying the classical Marcinkiewicz type conditions. Such classes include general (vector-valued) Banach function spaces $\Phi$ and/or the scales of Besov and Triebel-Lizorkin spaces defined on the basis of $\Phi$. We apply these results to the study of the well-posedness and maximal regularity property of an abstract second-order integro-differential equation, which models various types of elliptic and parabolic problems arising in different areas of applied mathematics. In particular, under suitable conditions imposed on a convolutor $c$ and the geometry of an underlying Banach space $X$, we characterize the conditions on the operators $A$, $B$ and $P$ on $X$ such that the following periodic problem ${\partial P} {\partial u} + B {\partial u} + A u + c \ast u = f \qquad \textrm{in } \mathcal{D}'(\mathbb{T}; X)$ is well-posed with respect to large classes of function spaces. The obtained results extend the known theory on the maximal regularity of such problem.


title: Cox rings of morphisms and resolution of singularities

abstract: We extend the Cox-Hu-Keel construction of the Cox rings to any proper birational morphisms of normal noetherian schemes. It allows the representation of any proper birational morphism by a map of schemes with mild singularities with torus actions. In a particular case, the notion generalizes the combinatorial construction of Satriano and the recent construction of multiple weighted blow-ups on Artin-stacks by Abramovich-Quek. The latter can be viewed as an extension of stack theoretic blow-ups by Abramovich, Temkin, and Wlodarczyk, a similar construction of McQuillan and the author's recent cobordant blow-ups at weighted centers to a more general situation of arbitrary locally monomial centers. We show some applications of this operation to the resolution of singularities over a field of any characteristic.


title: APPT: Boosting Automated Patch Correctness Prediction via Fine-tuning Pre-trained Models

abstract: Automated program repair (APR) aims to fix software bugs automatically without human debugging efforts and plays a crucial role in software development and maintenance. Despite promising, APR is still challenged by a long-standing overfitting problem (i.e., the generated patch is plausible but overfitting). Various techniques have thus been proposed to address the overfitting problem. Recently, researchers have employed BERT to extract code features, which are then used to train a classifier for patch correctness prediction. However, BERT is restricted to feature extraction for classifier training without benefiting from the training process, potentially generating sub-optimal vector representations for patched code snippets. In this paper, we propose APPT, a pre-trained model-based automated patch correctness assessment technique by both pre-training and fine-tuning. APPT adopts a pre-trained model as the encoder stack, followed by an LSTM stack and a deep learning classifier. More importantly, the pre-trained model is fine-tuned in conjunction with other components as a whole pipeline to fully adapt it specifically for reasoning about patch correctness. We conduct an extensive experiment on 1,183 Defects4J patches and the experimental results show that APPT achieves prediction accuracy of 79.7% and recall of 83.2%, outperforming CACHE by 4.3% and 6.7%. Our additional investigation on 49,694 real-world patches shows that APPT achieves the optimum performance compared with existing representation learning techniques. We further investigate the impact of each component and find that they all positively contribute to APPT, e.g., the fine-tuning process and the LSTM stack increase F1-score by 10.22% and 4.11%, respectively. We also prove that adopting advanced pre-trained models can further provide substantial advancement, highlighting the generalizability of APPT.


title: Large-scale Data Modelling in Hive and Distributed Query Processing using MapReduce and Tez

abstract: Huge amounts of data being generated continuously by digitally interconnected systems of humans, organizations and machines. Data comes in variety of formats including structured, unstructured and semi-structured, what makes it impossible to apply the same standard approaches, techniques and algorithms to manage and process this data. Fortunately, the enterprise level distributed platform named Hadoop Ecosystem exists. This paper explores Apache Hive component that provides full stack data managements functionality in terms of Data Definition, Data Manipulation and Data Processing. Hive is a data warehouse system, which works with structured data stored in tables. Since, Hive works on top the Hadoop HDSFS, it benefits from extraordinary feature of HDFS including Fault Tolerance, Reliability, High Availability, Scalability, etc. In addition, Hive can take advantage of distributed computing power of the cluster through assigning jobs to MapReduce, Tez and Spark engines to run complex queries. The paper is focused on studying of Hive Data Model and analysis of processing performance done by MapReduce and Tez.


title: Axiomatic Quantum Field Theory in Discrete Spacetime via Multiway Causal Structure: The Case of Entanglement Entropies

abstract: The causal set and Wolfram model approaches to discrete quantum gravity both permit the formulation of a manifestly covariant notion of entanglement entropy for quantum fields. In the causal set case, this is given by a construction (due to Sorkin and Johnston) of a 2-point correlation function for a Gaussian scalar field from causal set Feynman propagators and Pauli-Jordan functions, from which an eigendecomposition, and hence an entanglement entropy, can be computed. In the Wolfram model case, it is given instead in terms of the Fubini-Study metric on branchial graphs, whose tensor product structure is inherited functorially from that of finite-dimensional Hilbert spaces. In both cases, the entanglement entropies in question are most naturally defined over an extended spacetime region (hence the manifest covariance), in contrast to the generically non-covariant definitions over single spacelike hypersurfaces common to most continuum quantum field theories. In this article, we show how an axiomatic field theory for a free, massless scalar field (obeying the appropriate bosonic commutation relations) may be rigorously constructed over multiway causal graphs: a combinatorial structure sufficiently general as to encompass both causal sets and Wolfram model evolutions as special cases. We proceed to show numerically that the entanglement entropies computed using both the Sorkin-Johnston approach and the branchial graph approach are monotonically related for a large class of Wolfram model evolution rules. We also prove a special case of this monotonic relationship using a recent geometrical entanglement monotone proposed by Cocchiarella et al.


title: Towards Verifying the Geometric Robustness of Large-scale Neural Networks

abstract: Deep neural networks (DNNs) are known to be vulnerable to adversarial geometric transformation. This paper aims to verify the robustness of large-scale DNNs against the combination of multiple geometric transformations with a provable guarantee. Given a set of transformations (e.g., rotation, scaling, etc.), we develop GeoRobust, a black-box robustness analyser built upon a novel global optimisation strategy, for locating the worst-case combination of transformations that affect and even alter a network's output. GeoRobust can provide provable guarantees on finding the worst-case combination based on recent advances in Lipschitzian theory. Due to its black-box nature, GeoRobust can be deployed on large-scale DNNs regardless of their architectures, activation functions, and the number of neurons. In practice, GeoRobust can locate the worst-case geometric transformation with high precision for the ResNet50 model on ImageNet in a few seconds on average. We examined 18 ImageNet classifiers, including the ResNet family and vision transformers, and found a positive correlation between the geometric robustness of the networks and the parameter numbers. We also observe that increasing the depth of DNN is more beneficial than increasing its width in terms of improving its geometric robustness. Our tool GeoRobust is available at https://github.com/TrustAI/GeoRobust.


title: EvoX: A Distributed GPU-accelerated Framework for Scalable Evolutionary Computation

abstract: Inspired by natural evolutionary processes, Evolutionary Computation (EC) has established itself as a cornerstone of Artificial Intelligence. Recently, with the surge in data-intensive applications and large-scale complex systems, the demand for scalable EC solutions has grown significantly. However, most existing EC infrastructures fall short of catering to the heightened demands of large-scale problem solving. While the advent of some pioneering GPU-accelerated EC libraries is a step forward, they also grapple with some limitations, particularly in terms of flexibility and architectural robustness. In response, we introduce EvoX: a computing framework tailored for automated, distributed, and heterogeneous execution of EC algorithms. At the core of EvoX lies a unique programming model to streamline the development of parallelizable EC algorithms, complemented by a computation model specifically optimized for distributed GPU acceleration. Building upon this foundation, we have crafted an extensive library comprising a wide spectrum of 50+ EC algorithms for both single- and multi-objective optimization. Furthermore, the library offers comprehensive support for a diverse set of benchmark problems, ranging from dozens of numerical test functions to hundreds of reinforcement learning tasks. Through extensive experiments across a range of problem scenarios and hardware configurations, EvoX demonstrates robust system and model performances. EvoX is open-source and accessible at: https://github.com/EMI-Group/EvoX.


title: SeeGera: Self-supervised Semi-implicit Graph Variational Auto-encoders with Masking

abstract: Generative graph self-supervised learning (SSL) aims to learn node representations by reconstructing the input graph data. However, most existing methods focus on unsupervised learning tasks only and very few work has shown its superiority over the state-of-the-art graph contrastive learning (GCL) models, especially on the classification task. While a very recent model has been proposed to bridge the gap, its performance on unsupervised learning tasks is still unknown. In this paper, to comprehensively enhance the performance of generative graph SSL against other GCL models on both unsupervised and supervised learning tasks, we propose the SeeGera model, which is based on the family of self-supervised variational graph auto-encoder (VGAE). Specifically, SeeGera adopts the semi-implicit variational inference framework, a hierarchical variational framework, and mainly focuses on feature reconstruction and structure/feature masking. On the one hand, SeeGera co-embeds both nodes and features in the encoder and reconstructs both links and features in the decoder. Since feature embeddings contain rich semantic information on features, they can be combined with node embeddings to provide fine-grained knowledge for feature reconstruction. On the other hand, SeeGera adds an additional layer for structure/feature masking to the hierarchical variational framework, which boosts the model generalizability. We conduct extensive experiments comparing SeeGera with 9 other state-of-the-art competitors. Our results show that SeeGera can compare favorably against other state-of-the-art GCL methods in a variety of unsupervised and supervised learning tasks.


title: The Influences of Color and Shape Features in Visual Contrastive Learning

abstract: In the field of visual representation learning, performance of contrastive learning has been catching up with the supervised method which is commonly a classification convolutional neural network. However, most of the research work focuses on improving the accuracy of downstream tasks such as image classification and object detection. For visual contrastive learning, the influences of individual image features (e.g., color and shape) to model performance remain ambiguous. This paper investigates such influences by designing various ablation experiments, the results of which are evaluated by specifically designed metrics. While these metrics are not invented by us, we first use them in the field of representation evaluation. Specifically, we assess the contribution of two primary image features (i.e., color and shape) in a quantitative way. Experimental results show that compared with supervised representations, contrastive representations tend to cluster with objects of similar color in the representation space, and contain less shape information than supervised representations. Finally, we discuss that the current data augmentation is responsible for these results. We believe that exploring an unsupervised augmentation method that


title: Grothendieck--Serre for constant reductive group schemes

abstract: The Grothendieck--Serre conjecture asserts that on a regular local ring, there is no nontrivial reductive torsor that becomes trivial over the fraction field. This conjecture is answered in the affirmative in the equicharacteristic case but is still open in the mixed characteristic case. In this article, we establish its generalized version over Prufer bases for constant reductive group schemes. In particular, the Noetherian restriction of our main result settles a new case of the Grothendieck--Serre conjecture. Subsequently, we use this as a key input to resolve the variant of Bass--Quillen conjecture for torsors under constant reductive group schemes in our Pruferian context. Along the way, inspired by the recent preprint of Cesnavicius, we also prove several versions of the Nisnevich conjecture in our context.


title: Stochastic Wasserstein Gradient Flows using Streaming Data with an Application in Predictive Maintenance

abstract: We study estimation problems in safety-critical applications with streaming data. Since estimation problems can be posed as optimization problems in the probability space, we devise a stochastic projected Wasserstein gradient flow that keeps track of the belief of the estimated quantity and can consume samples from online data. We show the convergence properties of our algorithm. Our analysis combines recent advances in the Wasserstein space and its differential structure with more classical stochastic gradient descent. We apply our methodology for predictive maintenance of safety-critical processes: Our approach is shown to lead to superior performance when compared to classical least squares, enabling, among others, improved robustness for decision-making.


title: Combinatorial Pen Testing (or Consumer Surplus of Deferred-Acceptance Auctions)

abstract: Pen testing is the problem of selecting high-capacity resources when the only way to measure the capacity of a resource expends its capacity. We have a set of $n$ pens with unknown amounts of ink and our goal is to select a feasible subset of pens maximizing the total ink in them. We are allowed to gather more information by writing with them, but this uses up ink that was previously in the pens. Algorithms are evaluated against the standard benchmark, i.e, the optimal pen testing algorithm, and the omniscient benchmark, i.e, the optimal selection if the quantity of ink in the pens are known. We identify optimal and near optimal pen testing algorithms by drawing analogues to auction theoretic frameworks of deferred-acceptance auctions and virtual values. Our framework allows the conversion of any near optimal deferred-acceptance mechanism into a near optimal pen testing algorithm. Moreover, these algorithms guarantee an additional overhead of at most $(1+o(1)) \ln n$ in the approximation factor of the omniscient benchmark. We use this framework to give pen testing algorithms for various combinatorial constraints like matroid, knapsack, and general downward-closed constraints and also for online environments.


title: Linguistic Analysis using Paninian System of Sounds and Finite State Machines

abstract: The study of spoken languages comprises phonology, morphology, and grammar. Analysis of a language can be based on its syntax, semantics, and pragmatics. The languages can be classified as root languages, inflectional languages, and stem languages. All these factors lead to the formation of vocabulary which has commonality/similarity as well as distinct and subtle differences across languages. In this paper, we make use of Paninian system of sounds to construct a phonetic map and then words are represented as state transitions on the phonetic map. Each group of related words that cut across languages is represented by a m-language (morphological language). Morphological Finite Automata (MFA) are defined that accept the words belonging to a given m-language. This exercise can enable us to better understand the inter-relationships between words in spoken languages in both language-agnostic and language-cognizant manner. Based on our study and analysis, we propose an Ecosystem Model for Linguistic Development with Sanskrit at the core, in place of the widely accepted family tree model.


title: Using cosmological perturbation theory to distinguish between General Relativity and Unimodular Gravity

abstract: Unimodular Gravity is one of the oldest geometric gravity theory alternative to General Relativity. Essentially, it is based on the Einstein-Hilbert Lagrangian with an additional constraint on the determinant of the metric. It can be explicitly shown that Unimodular Gravity can be recast as General Relativity in presence of a cosmological constant. This fact has led to many discussions on the equivalence of both theories at classical and quantum levels. Here we present an analysis focused on the classical scalar perturbations around a cosmological background. The discussion is extended for the case where a non-minimal coupled scalar field is introduced. Our results indicate that the equivalence is not verified completely at perturbative level.