title: The Exoplanet Modeling and Analysis Center at NASA Goddard

abstract: The Exoplanet Modeling and Analysis Center (EMAC) at NASA Goddard Space Flight Center is a web-based catalog, repository, and integration platform for modeling and analysis resources focused on the study of exoplanet characteristics and environments. EMAC hosts user-submitted resources ranging in category from planetary interior models to data visualization tools. Other features of EMAC include integrated web tools developed by the EMAC team in collaboration with the tools' original author(s) and video demonstrations of a growing number of hosted tools. EMAC aims to be a comprehensive repository for researchers to access a variety of exoplanet resources that can assist them in their work, and currently hosts a growing number of code bases, models, and tools. EMAC is a key project of the NASA GSFC Sellers Exoplanet Environments Collaboration (SEEC) and can be accessed at https://emac.gsfc.nasa.gov.


title: What is Software Supply Chain Security?

abstract: The software supply chain involves a multitude of tools and processes that enable software developers to write, build, and ship applications. Recently, security compromises of tools or processes has led to a surge in proposals to address these issues. However, these proposals commonly overemphasize specific solutions or conflate goals, resulting in unexpected consequences, or unclear positioning and usage. In this paper, we make the case that developing practical solutions is not possible until the community has a holistic view of the security problem; this view must include both the technical and procedural aspects. To this end, we examine three use cases to identify common security goals, and present a goal-oriented taxonomy of existing solutions demonstrating a holistic overview of software supply chain security.


title: FedDAR: Federated Domain-Aware Representation Learning

abstract: Cross-silo Federated learning (FL) has become a promising tool in machine learning applications for healthcare. It allows hospitals/institutions to train models with sufficient data while the data is kept private. To make sure the FL model is robust when facing heterogeneous data among FL clients, most efforts focus on personalizing models for clients. However, the latent relationships between clients' data are ignored. In this work, we focus on a special non-iid FL problem, called Domain-mixed FL, where each client's data distribution is assumed to be a mixture of several predefined domains. Recognizing the diversity of domains and the similarity within domains, we propose a novel method, FedDAR, which learns a domain shared representation and domain-wise personalized prediction heads in a decoupled manner. For simplified linear regression settings, we have theoretically proved that FedDAR enjoys a linear convergence rate. For general settings, we have performed intensive empirical studies on both synthetic and real-world medical datasets which demonstrate its superiority over prior FL methods.


title: A Multiport Approach to Thermal Noise and Scattering Parameter Simulation of Cryogenic Experiments

abstract: In this paper, a simple algorithm for detailed system-level thermal noise analysis is developed, demonstrated, and verified. This method uses noise-wave theory and noise covariance matrices to cascade noise and scattering parameters of multiport devices at different temperatures. This method addresses the effects of return loss, multiport isolation/coupling, and static temperature differentials between components, and will work in cases where the noise temperature is at or near the quantum noise limit. An ideal multidevice network will first be demonstrated to show that this method's results are consistent with the Friis cascade when component parameters such as return loss and isolation are ideal. Following the ideal multidevice example, a cryogenic experiment is conducted to demonstrate that the proposed simulation method is successful when real data are used.


title: Ultimate Limit of Future Colliders

abstract: With seven operational colliders in the world and two under construction, the international particle physics community not only actively explores options for the next facilities for detailed studies of the Higgs/electroweak physics and beyond-the-LHC energy frontier, but also seeks a clear picture of the limits of the colliding beams method. In this paper, we try to consolidate various recent efforts in identifying physics limits of colliders in conjunction with societal sustainability, and share our thoughts about the perspective of reaching the ultimate collider that is at the quantum limit.


title: Effects of the local chemical environment on vacancy diffusion in multi-principal element alloys

abstract: Multi-principal element alloys (MPEAs) are exciting systems showing remarkable properties compared to conventional materials due to their exceedingly large compositional space and spatially varying chemical environment. However, predicting fundamental properties from the local chemical environment is challenging due to the large scale of the problem. To investigate this fundamental problem, we employ a combination of atomistic simulations (using ab-initio and molecular dynamics) and convolutional neural networks (CNNs) to evaluate point defect and migration energies in an equimolar CoFeCrNi MPEA. We show how energies of point defects can be predicted with reasonable accuracy using a small subset of local chemical environments. Using the CNNs, we develop a lattice Monte Carlo simulation that computes the migration path and diffusivities of vacancies. Remarkably, our work illustrates how the local chemical environment leads rise to a distribution function of the point defect energies, which is responsible for the macroscopic diffusivity of vacancies. In particular, we observed that vacancies get trapped in super basins surrounded by large migration and connected with low migration energy states. As a result, vacancy diffusivity is highly dependent on the environment and could change several orders of magnitude for a given temperature. Our works illustrate the importance of understanding properties in MPEAs depending on the local chemical environment and the ability of CNN to provide a model for computing energies in high-dimensional spaces, which can be used to scale things up to higher-order models.


title: RecSys Fairness Metrics: Many to Use But Which One To Choose?

abstract: In recent years, recommendation and ranking systems have become increasingly popular on digital platforms. However, previous work has highlighted how personalized systems might lead to unintentional harms for users. Practitioners require metrics to measure and mitigate these types of harms in production systems. To meet this need, many fairness definitions have been introduced and explored by the RecSys community. Unfortunately, this has led to a proliferation of possible fairness metrics from which practitioners can choose. The increase in volume and complexity of metrics creates a need for practitioners to deeply understand the nuances of fairness definitions and implementations. Additionally, practitioners need to understand the ethical guidelines that accompany these metrics for responsible implementation. Recent work has shown that there is a proliferation of ethics guidelines and has pointed to the need for more implementation guidance rather than principles alone. The wide variety of available metrics, coupled with the lack of accepted standards or shared knowledge in practice leads to a challenging environment for practitioners to navigate. In this position paper, we focus on this widening gap between the research community and practitioners concerning the availability of metrics versus the ability to put them into practice. We address this gap with our current work, which focuses on developing methods to help ML practitioners in their decision-making processes when picking fairness metrics for recommendation and ranking systems. In our iterative design interviews, we have already found that practitioners need both practical and reflective guidance when refining fairness constraints. This is especially salient given the growing challenge for practitioners to leverage the correct metrics while balancing complex fairness contexts.


title: From Shapley Values to Generalized Additive Models and back

abstract: In explainable machine learning, local post-hoc explanation algorithms and inherently interpretable models are often seen as competing approaches. This work offers a partial reconciliation between the two by establishing a correspondence between Shapley Values and Generalized Additive Models (GAMs). We introduce $n$-Shapley Values, a parametric family of local post-hoc explanation algorithms that explain individual predictions with interaction terms up to order $n$. By varying the parameter $n$, we obtain a sequence of explanations that covers the entire range from Shapley Values up to a uniquely determined decomposition of the function we want to explain. The relationship between $n$-Shapley Values and this decomposition offers a functionally-grounded characterization of Shapley Values, which highlights their limitations. We then show that $n$-Shapley Values, as well as the Shapley Taylor- and Faith-Shap interaction indices, recover GAMs with interaction terms up to order $n$. This implies that the original Shapely Values recover GAMs without variable interactions. Taken together, our results provide a precise characterization of Shapley Values as they are being used in explainable machine learning. They also offer a principled interpretation of partial dependence plots of Shapley Values in terms of the underlying functional decomposition. A package for the estimation of different interaction indices is available at \url{https://github.com/tml-tuebingen/nshap}.


title: Trajectory Range Visibility

abstract: Consider two entities with constant but not necessarily equal velocities, moving on two given piece-wise linear trajectories inside a simple polygon $P$. The Trajectory Range Visibility problem deals with determining the sub-trajectories on which two entities become visible to each other. A more straightforward decision version of this problem is called Trajectory Visibility, where the trajectories are line segments. The decision version specifies whether the entities can see one another. This version was studied by P. Eades et al. in 2020, where they supposed given constant velocities for the entities. However, the approach presented in this paper supports non-constant complexity trajectories. Furthermore, we report every pair of constant velocities with which the entities can see each other. In particular, for every constant velocity of a moving entity, we specify: $(1)$ All visible parts of the other entity's trajectory. $(2)$ All possible constant velocities of the other entity to become visible. Regarding line-segment trajectories, we present $\mathcal{O}(n \log n)$ running time algorithm which obtains all pairs of sub-trajectories on which the moving entities become visible to one another, where $n$ is the complexity of $P$. Regarding the general case, we provide an algorithm with $\mathcal{O}(n \log n + m(\log m + \log n))$ running time, where $m$ indicates the complexity of both trajectories. We offer $\mathcal{O}(\log n)$ query time for line segment trajectories and $\mathcal{O}(\log m + k)$ for the non-constant complexity ones s.t. $k$ is the number of velocity ranges reported in the output. Interestingly, our results require only $\mathcal{O}(n + m)$ space for non-constant complexity trajectories.


title: Electron Cooling Experiment for Proton Beams with Intense Space-charge in IOTA

abstract: Electron cooling as a method of creating intense ion beams has a practical upper limit when it comes to the peak phase space density of ion beams which can be achieved in practice. We describe a new experiment to study electron cooling of 2.5 MeV protons at the intensity limit using the Integrable Optics Test Accelerator (IOTA), which is a storage ring dedicated to beam physics research at Fermilab. This system will enable the study of magnetized electron cooling of a proton beam with transverse incoherent tune shifts approaching -0.5 due to the presence of intense space-charge forces. We present an overview of the hardware design, simulations and specific experiments planned for this project.


title: ipie: A Python-based Auxiliary-Field Quantum Monte Carlo Program with Flexibility and Efficiency on CPUs and GPUs

abstract: We report the development of a python-based auxiliary-field quantum Monte Carlo (AFQMC) program, ipie, with preliminary timing benchmarks and new AFQMC results on the isomerization of [Cu$_2$O$_2$$]^{2+}$. We demonstrate how implementations for both central and graphical processing units (CPUs and GPUs) are achieved in ipie. We show an interface of ipie with PySCF as well as a straightforward template for adding new estimators to ipie. Our timing benchmarks against other C++ codes, QMCPACK and Dice, suggest that ipie is faster or similarly performing for all chemical systems considered on both CPUs and GPUs. Our results on [Cu$_2$O$_2$$]^{2+}$ using selected configuration interaction trials show that it is possible to converge the ph-AFQMC isomerization energy between bis($\mu$-oxo) and $\mu$-$\eta^2$:$\eta^2$ peroxo configurations to the exact known results for small basis sets with $10^5$ to $10^6$ determinants. We also report the isomerization energy with a quadruple-zeta basis set with an estimated error less than a kcal/mol, which involved 52 electrons and 290 orbitals with $10^6$ determinants in the trial wavefunction. These results highlight the utility of ph-AFQMC and ipie for systems with modest strong correlation and large-scale dynamic correlation.

categories: physics.chem-ph cond-mat.str-el physics.comp-ph quant-ph


title: Analytical Formulation and Field-Theoretic Simulation of Sequence-Specific Phase Separation of Proteinlike Heteropolymers with Short- and Long-Spatial-Range Interactions

abstract: A theory for sequence dependent liquid-liquid phase separation (LLPS) of intrinsically disordered proteins (IDPs) in the study of biomolecular condensates is formulated by extending the random phase approximation (RPA) and field-theoretic simulation (FTS) of heteropolymers with spatially long-range Coulomb interactions to include the fundamental effects of short-range, hydrophobic-like interactions between amino acid residues. To this end, short-range effects are modeled by Yukawa interactions between multiple nonelectrostatic charges derived from an eigenvalue decomposition of pairwise residue-residue contact energies. Chain excluded volume is afforded by incompressibility constraints. A mean-field approximation leads to an effective Flory $\chi$ parameter, which, in conjunction with RPA, accounts for the contact-interaction effects of amino acid composition and the sequence-pattern effects of long-range electrostatics in IDP LLPS, whereas FTS based on the formulation provides full sequence dependence for both short- and long-range interactions. This general approach is illustrated here by applications to variants of a natural IDP in the context of several different amino-acid interaction schemes as well as a set of different model hydrophobic-polar sequences sharing the same composition. Effectiveness of the methodology is verified by coarse-grained explicit-chain molecular dynamics simulations.


title: Enhanced OSL emission from $\alpha$-Al$_2$O$_3$ produced in the presence of halloysite nanocrystals

abstract: This paper developed a seed-mediated synthesis of $\alpha$-Al$_2$O$_3$ by the combustion method using halloysite nanocrystals as seeds and analyzed the dosimetric characteristics of these samples, including radioluminescence (RL), thermoluminescence (TL), and optically stimulated luminescence (OSL). Both SEM images and XRD pointed to the halloysite nanotubes acting as heterogeneous nucleation seeds. RL spectra indicate the presence of Cr$^{3+}$ ions due to impurities from the precursors. However, besides acting as nucleation seeds, the halloysite nanotubes were still able to adsorb the Cr$^{3+}$ ions, as evidenced by the decreased RL emission attributed to the Cr$^{3+}$ luminescent centers. Decreased TL intensity upon increasing HNT content together with the RL data suggested that the Cr$^{3+}$ ions have strong participation in the TL emission process as a luminescent center. Surprisingly, the samples with HNT showed up to 6-fold enhanced OSL area intensity and 69-fold OSL initial intensity enhancement, revealing that, by scavenging Cr$^{3+}$, the HNT eliminated a luminescent center that competes with the OSL emission. Therefore, HNTs are promising nanomaterial to enhance the sensitivity of $\alpha$-Al$_2$O$_3$ dosimeters with potential application in medical physics, revealing that the presence of HNT in Al$_2$O$_3$ decreased the density of competing for luminescent centers and increased OSL intensity.


title: Controllability and Positivity Constraints in Population Dynamics with age, size Structuring and Diffusion

abstract: In this article, we consider the infinite dimensional linear control system describing the Population Models Structured by Age, Size, and Spatial Position. The control is localized in the space variable as well as with respect to the age and size. For each control support, we give an estimate of the time needed to control the system to zero. We prove the null controllability of the model, using a technique avoids the explicit use of parabolic Carleman estimates. Indeed, this method combines final-state observability estimates with the use of characteristics and with $L^{\infty}$ estimates of the associated semigroup.


title: Morse flows with fixed points on the boundary of 3-manifold

abstract: The paper is devoted to the study of topological properties, structure and classification of Morse flows with fixed points on the boundary of three-dimensional manifolds. We construct a complete topological invariant of a Morse flow, Pr-diagram, which is similar to the Heegaard diagram of a closed 3-manifold.


title: Chandrasekhar-mass white dwarfs are the progenitors of a small fraction of Type Ia supernovae according to nucleosythesis constraints

abstract: The precise progenitor system of type Ia supernovae (SNe Ia), whether it is a white dwarf (WD) close to the Chandrasekhar limit or substantially less massive, has been a matter of debate for decades. Recent research by our group on the accretion and simmering phases preceding the explosion of a massive WD has shown that the central density at thermal runaway lies in the range $(3.6-6.3)\times10^9$ g cm$^{-3}$ for reasonable choices of accretion rate onto the WD and progenitor metallicity. In this work, we have computed one-dimensional simulations of the explosion of such WDs, with special emphasis on the chemical composition of the ejecta, which in all cases is extremely rich in neutronized isotopes of chromium ($^{54}$Cr) and titanium ($^{50}$Ti). We show that, in order to reconcile such a nucleosynthesis with the isotopic abundances of the Solar System, Chandrasekhar-mass white dwarfs can account for at most 26 per cent of normal-luminosity SNe Ia, or at most 20 per cent of all SNe Ia.


title: Radiant toric varieties and unipotent group actions

abstract: We consider complete toric varieties $X$ such that a maximal unipotent subgroup $U$ of the automorphism group $\text{Aut}(X)$ acts on $X$ with an open orbit. It turns out that such varieties can be characterized by several remarkable properties. We study the set of Demazure roots of the corresponding complete fan, describe the structure of a maximal unipotent subgroup $U$ in $\text{Aut}(X)$, and find all regular subgroups in $U$ that act on $X$ with an open orbit.


title: Privacy of Autonomous Vehicles: Risks, Protection Methods, and Future Directions

abstract: Recent advances in machine learning have enabled its wide application in different domains, and one of the most exciting applications is autonomous vehicles (AVs), which have encouraged the development of a number of ML algorithms from perception to prediction to planning. However, training AVs usually requires a large amount of training data collected from different driving environments (e.g., cities) as well as different types of personal information (e.g., working hours and routes). Such collected large data, treated as the new oil for ML in the data-centric AI era, usually contains a large amount of privacy-sensitive information which is hard to remove or even audit. Although existing privacy protection approaches have achieved certain theoretical and empirical success, there is still a gap when applying them to real-world applications such as autonomous vehicles. For instance, when training AVs, not only can individually identifiable information reveal privacy-sensitive information, but also population-level information such as road construction within a city, and proprietary-level commercial secrets of AVs. Thus, it is critical to revisit the frontier of privacy risks and corresponding protection approaches in AVs to bridge this gap. Following this goal, in this work, we provide a new taxonomy for privacy risks and protection methods in AVs, and we categorize privacy in AVs into three levels: individual, population, and proprietary. We explicitly list out recent challenges to protect each of these levels of privacy, summarize existing solutions to these challenges, discuss the lessons and conclusions, and provide potential future directions and opportunities for both researchers and practitioners. We believe this work will help to shape the privacy research in AV and guide the privacy protection technology design.


title: An Efficient, Scalable IO Framework for Sparse Data: larcv3

abstract: Neutrino physics is one of the fundamental areas of research into the origins and properties of the Universe. Many experimental neutrino projects use sophisticated detectors to observe properties of these particles, and have turned to deep learning and artificial intelligence techniques to analyze their data. From this, we have developed \texttt{larcv}, a \texttt{C++} and \texttt{Python} based framework for efficient IO of sparse data with particle physics applications in mind. We describe in this paper the \texttt{larcv} framework and some benchmark IO performance tests. \texttt{larcv} is designed to enable fast and efficient IO of ragged and irregular data, at scale on modern HPC systems, and is compatible with the most popular open source data analysis tools in the Python ecosystem.


title: Evaluating the statistical similarity of neural network activity and connectivity via eigenvector angles

abstract: Neural systems are networks, and strategic comparisons between multiple networks are a prevalent task in many research scenarios. In this study, we construct a statistical test for the comparison of matrices representing pairwise aspects of neural networks, in particular, the correlation between spiking activity and connectivity. The "eigenangle test" quantifies the similarity of two matrices by the angles between their ranked eigenvectors. We calibrate the behavior of the test for use with correlation matrices using stochastic models of correlated spiking activity and demonstrate how it compares to classical two-sample tests, such as the Kolmogorov-Smirnov distance, in the sense that it is able to evaluate also structural aspects of pairwise measures. Furthermore, the principle of the eigenangle test can be applied to compare the similarity of adjacency matrices of certain types of networks. Thus, the approach can be used to quantitatively explore the relationship between connectivity and activity with the same metric. By applying the eigenangle test to the comparison of connectivity matrices and correlation matrices of a random balanced network model before and after a specific synaptic rewiring intervention, we gauge the influence of connectivity features on the correlated activity. Potential applications of the eigenangle test include simulation experiments, model validation, and data analysis.


title: Gravity from Transactions: Fulfilling the Entropic Gravity Program

abstract: This is a review of new developments in entropic gravity in light of the Relativistic Transactional Interpretation (RTI). A transactional approach to spacetime events can give rise in a natural way to entropic gravity (in the way originally proposed by Erik Verlinde) while also overcoming extant objections to that research program. The theory also naturally gives rise to a Cosmological Constant and to Modified Newtonian Dynamics (MOND) and thus provides a physical explanation for the phenomena historically attributed to "dark energy" and "dark matter".


title: SPIDER: A Practical Fuzzing Framework to Uncover Stateful Performance Issues in SDN Controllers

abstract: Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. We specifically consider stateful performance issues, where a sequence of initial input messages drives an SDN controller into a state such that its performance degrades pathologically when processing subsequent messages. We identify key challenges in applying canonical program analysis techniques: large input space of messages (e.g., stateful OpenFlow protocol), complex code base and software architecture (e.g., OSGi framework with dynamic launch), and the semantic dependencies between the internal state and external inputs. We design SPIDER, a practical fuzzing workflow that tackles these challenges and automatically uncovers such issues in SDN controllers. SPIDER's design entails a careful synthesis and extension of semantic fuzzing, performance fuzzing, and static analysis, taken together with domain-specific insights to tackle these challenges. We show that our design workflow is robust across two controllers -- ONOS and OpenDaylight -- with very different internal implementations. Using SPIDER, we were able to identify and confirm multiple stateful performance issues.


title: Cross-Modal Knowledge Transfer Without Task-Relevant Source Data

abstract: Cost-effective depth and infrared sensors as alternatives to usual RGB sensors are now a reality, and have some advantages over RGB in domains like autonomous navigation and remote sensing. As such, building computer vision and deep learning systems for depth and infrared data are crucial. However, large labeled datasets for these modalities are still lacking. In such cases, transferring knowledge from a neural network trained on a well-labeled large dataset in the source modality (RGB) to a neural network that works on a target modality (depth, infrared, etc.) is of great value. For reasons like memory and privacy, it may not be possible to access the source data, and knowledge transfer needs to work with only the source models. We describe an effective solution, SOCKET: SOurce-free Cross-modal KnowledgE Transfer for this challenging task of transferring knowledge from one source modality to a different target modality without access to task-relevant source data. The framework reduces the modality gap using paired task-irrelevant data, as well as by matching the mean and variance of the target features with the batch-norm statistics that are present in the source models. We show through extensive experiments that our method significantly outperforms existing source-free methods for classification tasks which do not account for the modality gap.


title: Evaluating the Security of Aircraft Systems

abstract: The sophistication and complexity of cyber attacks and the variety of targeted platforms have been growing in recent years. Various adversaries are abusing an increasing range of platforms, e.g., enterprise platforms, mobile phones, PCs, transportation systems, and industrial control systems. In recent years, we have witnessed various cyber attacks on transportation systems, including attacks on ports, airports, and trains. It is only a matter of time before transportation systems become a more common target of cyber attackers. Due to the enormous potential damage inherent in attacking vehicles carrying many passengers and the lack of security measures applied in traditional airborne systems, the vulnerability of aircraft systems is one of the most concerning topics in the vehicle security domain. This paper provides a comprehensive review of aircraft systems and components and their various networks, emphasizing the cyber threats they are exposed to and the impact of a cyber attack on these components and networks and the essential capabilities of the aircraft. In addition, we present a comprehensive and in-depth taxonomy that standardizes the knowledge and understanding of cyber security in the avionics field from an adversary's perspective. The taxonomy divides techniques into relevant categories (tactics) reflecting the various phases of the adversarial attack lifecycle and maps existing attacks according to the MITRE ATT&CK methodology. Furthermore, we analyze the security risks among the various systems according to the potential threat actors and categorize the threats based on STRIDE threat model. Future work directions are presented as guidelines for industry and academia.


title: Module structure of the $K$-theory of polynomial-like rings

abstract: Suppose $\Gamma$ is a submonoid of a lattice, not containing a line. In this note, we use the natural $\Gamma$-grading on the monoid algebra $R[\Gamma]$ to prove structural results about the relative $K$-theory $K(R[\Gamma], R)$. When $R$ contains a field, we prove a decomposition indexed by the rays in $\Gamma$, and a compatible action by the Witt vectors of $R$ for each $\mathbf N$-grading of $\Gamma$. In characteristic zero, there is additionally an action by Witt vectors for the truncation set $\Gamma$. Finally, we apply this to get a ray-like description of $K_*(R[x_1,...,x_n])$ proposed by J.\,Davis.


title: Unraveling the Connections between Privacy and Certified Robustness in Federated Learning Against Poisoning Attacks

abstract: Federated learning (FL) provides an efficient paradigm to jointly train a global model leveraging data from distributed users. As local training data comes from different users who may not be trustworthy, several studies have shown that FL is vulnerable to poisoning attacks. Meanwhile, to protect the privacy of local users, FL is usually trained in a differentially private way (DPFL). Thus, in this paper, we ask: What are the underlying connections between differential privacy and certified robustness in FL against poisoning attacks? Can we leverage the innate privacy property of DPFL to provide certified robustness for FL? Can we further improve the privacy of FL to improve such robustness certification? We first investigate both user-level and instance-level privacy of FL and provide formal privacy analysis to achieve improved instance-level privacy. We then provide two robustness certification criteria: certified prediction and certified attack inefficacy for DPFL on both user and instance levels. Theoretically, we provide the certified robustness of DPFL based on both criteria given a bounded number of adversarial users or instances. Empirically, we conduct extensive experiments to verify our theories under a range of poisoning attacks on different datasets. We find that increasing the level of privacy protection in DPFL results in stronger certified attack inefficacy; however, it does not necessarily lead to a stronger certified prediction. Thus, achieving the optimal certified prediction requires a proper balance between privacy and utility loss.


title: Change of polytope volumes under M\"{o}bius transformations and the circumcenter of mass

abstract: The circumcenter of mass of a simplicial polytope $P$ is defined as follows: triangulate $P$, assign to each simplex its circumcenter taken with weight equal to the volume of the simplex, and then find the center of mass of the resulting system of point masses. The so obtained point is independent of the triangulation. The aim of the present note is to give a definition of the circumcenter of mass that does not rely on a triangulation. To do so we investigate how volumes of polytopes change under M\"{o}bius transformations.


title: Faster and more accurate geometrical-optics optical force calculation using neural networks

abstract: Optical forces are often calculated by discretizing the trapping light beam into a set of rays and using geometrical optics to compute the exchange of momentum. However, the number of rays sets a trade-off between calculation speed and accuracy. Here, we show that using neural networks permits one to overcome this limitation, obtaining not only faster but also more accurate simulations. We demonstrate this using an optically trapped spherical particle for which we obtain an analytical solution to use as ground truth. Then, we take advantage of the acceleration provided by neural networks to study the dynamics of an ellipsoidal particle in a double trap, which would be computationally impossible otherwise.


abstract: In this research we introduce the Banach space valued $H^p$ spaces with $A_p$ weight, and prove the following results: Let $\mathbb{A}$ and $\mathbb{B}$ Banach spaces, and $T$ be a convolution operator mapping $\mathbb{A}$-valued functions into $\mathbb{B}$-valued functions, i.e., $$Tf(x)=\int_{\mathbb{R}^n}K(x-y)\cdot f(y)\, dy,$$ where $K$ is a strongly measurable function defined on $\mathbb{R}^n$ such that $\|K(x)\|_{\mathbb{B}}$ is locally integrable away from the origin. Suppose that $w$ is a positive weight function defined on $\mathbb{R}^n$, and that i) For some $q\in [1, \infty ]$, there exists a positive constant $C_1$ such that $$\int_{\mathbb{R}^n}\|Tf(x)\|^q_{\mathbb{B}}w(x)\, dx\leq C_1\int_{\mathbb{R}^n}\|f(x)\|_{\mathbb{A}}^q w(x)\,dx$$ for all $f\in L^q_{\mathbb{A}}(\mathbb{R}^n)$. ii) There exists a positive constant $C_2$ independent of $y\in\mathbb{R}^n$ such that $$\int_{|x|>2|y|}\|K(x-y)-K(x)\|_{\mathbb{B}}\, dx<C_2.$$ Then there exists a positive constant $C_3$ such that $$\|Tf\|_{L^1_{\mathbb{B}}(w)}\leq C_3\|f\|_{H^1_{\mathbb{A}}(w)}$$ for all $f\in H^1_{\mathbb{A}}(w)$. Let $w\in A_1$. Assume that $K\in L_{\rm{loc}}(\mathbb{R}^n\backslash \{0\})$ satisfies $$\|K\ast f\|_{L^2_{\mathbb{B}}(w)}\leq C_1\|f\|_{L^2_{\mathbb{A}}(w)}$$ and $$\int_{|x|\geq C_2|y|}\|K(x-y)-K(x)\|_{\mathbb{B}}w(x+h)\, dx\leq C_3w(y+h)\;\;\;(\forall y\neq 0, \forall h\in\mathbb{R}^n) $$ for certain absolute constants $C_1$, $C_2$, and $C_3$. Then there exists a positive constant $C$ independent of $f$ such that $$\|K\ast f\|_{L^1_{\mathbb{B}}(w)}\leq C\|f\|_{H^1_{\mathbb{A}}(w)}$$ for all $f\in H^1_{\mathbb{A}}(w)$.


title: Platform-agnostic waveguide integration of high-speed photodetectors with evaporated tellurium thin films

abstract: Many attractive photonics platforms still lack integrated photodetectors due to inherent material incompatibilities and lack of process scalability, preventing their widespread deployment. Here we address the problem of scalably integrating photodetectors in a photonic platform-independent manner. Using a thermal evaporation and deposition technique developed for nanoelectronics, we show that tellurium (Te), a quasi-2D semi-conductive element, can be evaporated at low temperature directly onto photonic chips to form air-stable, high-responsivity, high-speed, ultrawide-band photodetectors. We demonstrate detection at visible, telecom, and mid-infrared wavelengths, a bandwidth of more than 40 GHz, and platform-independent scalable integration with photonic structures in silicon, silicon nitride and lithium niobate.


title: Shape-based Evaluation of Epidemic Forecasts

abstract: Infectious disease forecasting for ongoing epidemics has been traditionally performed, communicated, and evaluated as numerical targets - 1, 2, 3, and 4 week ahead cases, deaths, and hospitalizations. While there is great value in predicting these numerical targets to assess the burden of the disease, we argue that there is also value in communicating the future trend (description of the shape) of the epidemic -- for instance, if the cases will remain flat or a surge is expected. To ensure what is being communicated is useful we need to be able to evaluate how well the predicted shape matches with the ground truth shape. Instead of treating this as a classification problem (one out of $n$ shapes), we define a transformation of the numerical forecasts into a ``shapelet''-space representation. In this representation, each dimension corresponds to the similarity of the shape with one of the shapes of interest (a shapelet). We prove that this representation satisfies the property that two shapes that one would consider similar are mapped close to each other, and vice versa. We demonstrate that our representation is able to reasonably capture the trends in COVID-19 cases and deaths time-series. With this representation, we define an evaluation measure and a measure of agreement among multiple models. We also define the shapelet-space ensemble of multiple models as the mean of their shapelet-space representations. We show that this ensemble is able to accurately predict the shape of the future trend for COVID-19 cases and trends. We also show that the agreement between models can provide a good indicator of the reliability of the forecast.


title: Functional dimension of feedforward ReLU neural networks

abstract: It is well-known that the parameterized family of functions representable by fully-connected feedforward neural networks with ReLU activation function is precisely the class of piecewise linear functions with finitely many pieces. It is less well-known that for every fixed architecture of ReLU neural network, the parameter space admits positive-dimensional spaces of symmetries, and hence the local functional dimension near any given parameter is lower than the parametric dimension. In this work we carefully define the notion of functional dimension, show that it is inhomogeneous across the parameter space of ReLU neural network functions, and continue an investigation - initiated in [14] and [5] - into when the functional dimension achieves its theoretical maximum. We also study the quotient space and fibers of the realization map from parameter space to function space, supplying examples of fibers that are disconnected, fibers upon which functional dimension is non-constant, and fibers upon which the symmetry group acts non-transitively.


title: Quintessence Universe and cosmic acceleration in $f(Q,T)$ gravity

abstract: The problem of cosmic acceleration and dark energy is one of the mysteries presently posed in the scientific society that general relativity has not been able to solve. In this work, we have considered alternative models to explain this late-time acceleration in a flat Friedmann-Lema\^i% tre-Robertson-Walker (FLRW) Universe within the framework of the $% f\left(Q,T\right) $\ modified gravity theory (where $Q$ is the non-metricity and $T$ is the trace of the energy-momentum tensor) recently proposed by Xu et al. (Eur. Phys. J. C 79 (2019) 708), which is an extension of $f\left( Q\right) $ gravity with the addition of the $T$ term. Here, we presume a specific form of $f\left( Q,T\right) =\alpha Q+\beta Q^{2}+\gamma T$ where $% \alpha $, $\beta $ and $\gamma $ are free model parameters, and obtained the exact solutions by assuming the cosmic time-redshift relation as $t(z)=\frac{% nt_{0}}{m}g(z)$ which produces the Hubble parameter of the form $H(z)=\frac{% mH_{0}}{m+n}\left[ \frac{1}{g(z)}+1\right] $ where $m$ and $n$ are the non-negative constants, we find the best values for them using 57 data points of the Hubble parameter $H\left( z\right) $. Also, we find the behavior of different cosmological parameters as the deceleration parameter $% \left( q\right) $, energy density $\left( \rho \right) $, pressure $% \left(p\right) $ and EoS parameter $\left( \omega \right) $ and compare them with the observational results. To ensure the validity of the results, we studied the energy conditions along with jerk parameter. Finally, we find that our model behaves similarly to the quintessence Universe.


title: Statistical Inference of Cell-type Proportions Estimated from Bulk Expression Data

abstract: There is a growing interest in cell-type-specific analysis from bulk samples with a mixture of different cell types. A critical first step in such analyses is the accurate estimation of cell-type proportions in a bulk sample. Although many methods have been proposed recently, quantifying the uncertainties associated with the estimated cell-type proportions has not been well studied. Lack of consideration of these uncertainties can lead to missed or false findings in downstream analyses. In this article, we introduce a flexible statistical deconvolution framework that allows a general and subject-specific covariance of bulk gene expressions. Under this framework, we propose a decorrelated constrained least squares method called DECALS that estimates cell-type proportions as well as the sampling distribution of the estimates. Simulation studies demonstrate that DECALS can accurately quantify the uncertainties in the estimated proportions whereas other methods fail. Applying DECALS to analyze bulk gene expression data of post mortem brain samples from the ROSMAP and GTEx projects, we show that taking into account the uncertainties in the estimated cell-type proportions can lead to more accurate identifications of cell-type-specific differentially expressed genes and transcripts between different subject groups, such as between Alzheimer's disease patients and controls and between males and females.


title: Pathfinder -- Navigating and Analyzing Chemical Reaction Networks with an Efficient Graph-based Approach

abstract: While the field of first-principles explorations into chemical reaction space has been continuously growing, the development of strategies for analyzing resulting chemical reaction networks (CRNs) is lagging behind. A CRN consists of compounds linked by reactions. Analyzing how these compounds are transformed into one another based on kinetic modeling is a nontrivial task. Here, we present the graph-optimization-driven algorithm and program Pathfinder to allow for such an analysis of a CRN. The CRN for this work has been obtained with our open-source Chemoton reaction network exploration software. Chemoton probes reactive combinations of compounds for elementary steps and sorts them into reactions. By encoding these reactions of the CRN as a graph consisting of compound and reaction vertices and adding information about activation barriers as well as required reagents to the edges of the graph yields a complete graph-theoretical representation of the CRN. Since the probabilities of the formation of compounds depend on the starting conditions, the consumption of any compound during a reaction must be accounted for to reflect the availability of reagents. To account for this, we introduce compound costs to reflect compound availability. Simultaneously, the determined compound costs rank the compounds in the CRN in terms of their probability to be formed. This ranking then allows us to probe easily accessible compounds in the CRN first for further explorations into yet unexplored terrain. We first illustrate the working principle on an abstract small CRN. Afterward, Pathfinder is demonstrated in the example of the disproportionation of iodine with water and the comproportionation of iodic acid and hydrogen iodide. Both processes are analyzed within the same CRN which we construct with our autonomous first-principles CRN exploration software Chemoton guided by Pathfinder.


title: Impact of automation during innovative remanufacturing processes in circular economy: a state of the art

abstract: With the increasing demand of raw materials nowadays, and the decrease in supplies, the industrial sector is suffering. The environment and the society are also indirectly affected. The goal to reach a sustainable development imposes several studies on the economic, environmental and community level. The aim of this paper is to provide an overview of the existing body of literature on automated remanufacturing, and its potential impacts on the three pillars of sustainability. A particular interest is given to the growing use of cobots promoted by the principle of industry 4.0. The investigation that covers each part of the remanufacturing process will help in formalizing an approach about the automation of such processes. It highlights the challenges found and aims to improve the remanufacturing sector towards a more sustainable industry.


title: Multilingual Transformer Language Model for Speech Recognition in Low-resource Languages

abstract: It is challenging to train and deploy Transformer LMs for hybrid speech recognition 2nd pass re-ranking in low-resource languages due to (1) data scarcity in low-resource languages, (2) expensive computing costs for training and refreshing 100+ monolingual models, and (3) hosting inefficiency considering sparse traffic. In this study, we present a new way to group multiple low-resource locales together and optimize the performance of Multilingual Transformer LMs in ASR. Our Locale-group Multilingual Transformer LMs outperform traditional multilingual LMs along with reducing maintenance costs and operating expenses. Further, for low-resource but high-traffic locales where deploying monolingual models is feasible, we show that fine-tuning our locale-group multilingual LMs produces better monolingual LM candidates than baseline monolingual LMs.


title: Assessing Lower Limb Strength using Internet-of-Things Enabled Chair and Processing of Time-Series Data in Google GPU Tensorflow CoLab

abstract: This project describes the application of the technologies of Machine Learning and Internet-of-Things to assess the lower limb strength of individuals undergoing rehabilitation or therapy. Specifically, it seeks to measure and assess the progress of individuals by sensors attached to chairs and processing the data through Google GPU Tensorflow CoLab. Pressure sensors are attached to various locations on a chair, including but not limited to the seating area, backrest, hand rests, and legs. Sensor data from the individual performing both sit-to-stand transition and stand-to-sit transition provides a time series dataset regarding the pressure distribution and vibratory motion on the chair. The dataset and timing information can then be fed into a machine learning model to estimate the relative strength and weakness during various phases of the movement.


title: Who Pays? Personalization, Bossiness and the Cost of Fairness

abstract: Fairness-aware recommender systems that have a provider-side fairness concern seek to ensure that protected group(s) of providers have a fair opportunity to promote their items or products. There is a ``cost of fairness'' borne by the consumer side of the interaction when such a solution is implemented. This consumer-side cost raises its own questions of fairness, particularly when personalization is used to control the impact of the fairness constraint. In adopting a personalized approach to the fairness objective, researchers may be opening their systems up to strategic behavior on the part of users. This type of incentive has been studied in the computational social choice literature under the terminology of ``bossiness''. The concern is that a bossy user may be able to shift the cost of fairness to others, improving their own outcomes and worsening those for others. This position paper introduces the concept of bossiness, shows its application in fairness-aware recommendation and discusses strategies for reducing this strategic incentive.


title: Explicit statement of a conjecture on resultantal varieties

abstract: The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result.


title: Cosmic-ray measurements with an array of Cherenkov telescopes using reconstruction of longitudinal profiles of air showers

abstract: We present a method to reconstruct the longitudinal profile of electrons in showers using Cherenkov telescopes. We show how the Cherenkov light collected by an array of telescopes can be transformed into the number of electrons as a function of atmospheric depth. This method is validated using air shower and simplified telescope simulations. The reconstruction of the depth in which the shower has the maximum number of electrons ($\mathrm{X_{max}}$) opens the possibility of cosmic ray composition studies with Cherenkov telescopes in the energy range from 10 to 100 TeV. A resolution of less than 16 $\mathrm{g/cm^{2}}$ in the $\mathrm{X_{max}}$ reconstruction is obtained.


title: Perfectoid signature, perfectoid Hilbert-Kunz multiplicity, and an application to local fundamental groups

abstract: We define a (perfectoid) mixed characteristic version of $F$-signature and Hilbert-Kunz multiplicity by utilizing the perfectoidization functor of Bhatt-Scholze and Faltings' normalized length (also developed in the work of Gabber-Ramero). We show that these definitions coincide with the classical theory in equal characteristic $p > 0$. We prove that a ring is regular if and only if either its perfectoid signature or perfectoid Hilbert-Kunz multiplicity is 1 and we show that perfectoid Hilbert-Kunz multiplicity characterizes BCM closure and extended plus closure of $\mathfrak{m}$-primary ideals. We demonstrate that perfectoid signature detects BCM-regularity and transforms similarly to $F$-signature or normalized volume under quasi-\'etale maps. As a consequence, we prove that BCM-regular rings have finite local \'etale fundamental group and also finite torsion part of their divisor class groups. Finally, we also define a mixed characteristic version of relative rational signature, and show it characterizes BCM-rational singularities.


title: The Demographics of Kepler's Earths and super-Earths into the Habitable Zone

abstract: Understanding the occurrence of Earth-sized planets in the habitable zone of Sun-like stars is essential to the search for Earth analogues. Yet a lack of reliable Kepler detections for such planets has forced many estimates to be derived from the close-in ($2<P_{\mathrm{orb}}<100$ days) population, whose radii may have evolved differently under the effect of atmospheric mass loss mechanisms. In this work, we compute the intrinsic occurrence rates of close-in super-Earths ($\sim1-2\,R_\oplus$) and sub-Neptunes ($\sim2-3.5\,R_\oplus$) for FGK stars ($0.56-1.63\,M_\odot$) as a function of orbital period and find evidence of two regimes: where super-Earths are more abundant at short orbital periods, and where sub-Neptunes are more abundant at longer orbital periods. We fit a parametric model in five equally populated stellar mass bins and find that the orbital period of transition between these two regimes scales with stellar mass, like $P_\mathrm{trans} \propto M_*^{1.7\pm0.2}$. These results suggest a population of former sub-Neptunes contaminating the population of Gyr-old close-in super-Earths, indicative of a population shaped by atmospheric loss. Using our model to constrain the long-period population of intrinsically rocky planets, we estimate an occurrence rate of $\Gamma_\oplus = 15^{+6}_{-4}\%$ for Earth-sized habitable zone planets, and predict that sub-Neptunes may be $\sim$twice as common as super-Earths in the habitable zone (when normalized over the natural log orbital period and radius range used). Finally, we discuss our results in the context of future missions searching for habitable zone planets.


title: Studying Drowsiness Detection Performance while Driving through Scalable Machine Learning Models using Electroencephalography

abstract: - Background / Introduction: Driver drowsiness is a significant concern and one of the leading causes of traffic accidents. Advances in cognitive neuroscience and computer science have enabled the detection of drivers' drowsiness using Brain-Computer Interfaces (BCIs) and Machine Learning (ML). However, the literature lacks a comprehensive evaluation of drowsiness detection performance using a heterogeneous set of ML algorithms, and it is necessary to study the performance of scalable ML models suitable for groups of subjects. - Methods: To address these limitations, this work presents an intelligent framework employing BCIs and features based on electroencephalography for detecting drowsiness in driving scenarios. The SEED-VIG dataset is used to evaluate the best-performing models for individual subjects and groups. - Results: Results show that Random Forest (RF) outperformed other models used in the literature, such as Support Vector Machine (SVM), with a 78% f1-score for individual models. Regarding scalable models, RF reached a 79% f1-score, demonstrating the effectiveness of these approaches. This publication highlights the relevance of exploring a diverse set of ML algorithms and scalable approaches suitable for groups of subjects to improve drowsiness detection systems and ultimately reduce the number of accidents caused by driver fatigue. - Conclusions: The lessons learned from this study show that not only SVM but also other models not sufficiently explored in the literature are relevant for drowsiness detection. Additionally, scalable approaches are effective in detecting drowsiness, even when new subjects are evaluated. Thus, the proposed framework presents a novel approach for detecting drowsiness in driving scenarios using BCIs and ML.


title: Dr. Neurosymbolic, or: How I Learned to Stop Worrying and Accept Statistics

abstract: The symbolic AI community is increasingly trying to embrace machine learning in neuro-symbolic architectures, yet is still struggling due to cultural barriers. To break the barrier, this rather opinionated personal memo attempts to explain and rectify the conventions in Statistics, Machine Learning, and Deep Learning from the viewpoint of outsiders. It provides a step-by-step protocol for designing a machine learning system that satisfies a minimum theoretical guarantee necessary for being taken seriously by the symbolic AI community, i.e., it discusses "in what condition we can stop worrying and accept statistical machine learning." Unlike most textbooks which are written for students trying to specialize in Stat/ML/DL and willing to accept jargons, this memo is written for experienced symbolic researchers that hear a lot of buzz but are still uncertain and skeptical. Information on Stat/ML/DL is currently too scattered or too noisy to invest in. This memo prioritizes compactness, citations to old papers (many in early 20th century), and concepts that resonate well with symbolic paradigms in order to offer time savings. It prioritizes general mathematical modeling and does not discuss any specific function approximator, such as neural networks (NNs), SVMs, decision trees, etc. Finally, it is open to corrections. Consider this memo as something similar to a blog post taking the form of a paper on Arxiv.


title: Interaction between a Rising Bubble and a Stationary Droplet Immersed in a Liquid Pool using Ternary Conservative Phase-Field Lattice Boltzmann Method

abstract: When a stationary bubble and a stationary droplet immersed in a liquid pool are brought in contact with each other, they form a bubble-droplet aggregate. Its equilibrium morphology and stability largely depend on the combination of different components' surface tensions, known as spreading factor. In this study, we look at the interaction between a rising bubble and a stationary droplet to better understand the dynamics of coalescence and rising as well as morphological changes for the bubble-droplet aggregate. A systematic study is conducted on the interaction processes with various bubble sizes and spreading factors. The current simulation framework consists of the ternary conservative phase-field Lattice Boltzmann method (LBM) for interface tracking and the velocity-pressure LBM for hydrodynamics, which is validated for the benchmark cases such as liquid lens and parasitic currents around a static droplet with several popular surface tension formulations. We further test our LBM for the morphology changes of two droplets initially in contact with various spreading factors and depict the final morphologies in a phase diagram. The separated, partially engulfed and completely engulfed morphologies can be replicated by systematically altering the sign of the spreading factors. The rising bubble and stationary droplet interaction is simulated based on the final morphologies obtained under stationary conditions by imposing an imaginary buoyancy force on the rising bubble. The results indicate that the bubble-droplet aggregate with double emulsion morphology can minimize the distotion of the bubble-droplet aggregate and achieve a greater terminal velocity than the aggregate with partially engulfed morphology.


title: Probing the Density Fine Structuring of the Solar Corona with Comet Lovejoy

abstract: The passage of sungrazing comets in the solar corona can be a powerful tool to probe the local plasma properties. Here, we carry out a study of the striae pattern appearing in the tail of sungrazing Comet Lovejoy, as observed by the Atmospheric Imaging Assembly (AIA) aboard the Solar Dynamics Observatory (SDO) during the inbound and outbound phases of the comet orbit. We consider the images in EUV in the 171 {\AA} bandpass, where emission from oxygen ions O$^{4+}$ and O$^{5+}$ is found. The striae are described as due to a beam of ions injected along the local magnetic field, with the initial beam velocity decaying because of collisions. Also, ion collisional diffusion contributes to ion propagation. Both the collision time for velocity decay and the diffusion coefficient for spatial spreading depend on the ambient plasma density. A probabilistic description of the ion beam density along the magnetic field is developed, where the beam position is given by the velocity decay and the spreading of diffusing ions is described by a Gaussian probability distribution. Profiles of emission intensity along the magnetic field are computed and compared with the profiles along the striae observed by AIA, showing a good agreement for most considered striae. The inferred coronal densities are then compared with a hydrostatic model of the solar corona. The results confirm that the coronal density is strongly spatially structured.


title: Early Verification of Legal Compliance via Bounded Satisfiability Checking

abstract: Legal properties involve reasoning about data values and time. Metric first-order temporal logic (MFOTL) provides a rich formalism for specifying legal properties. While MFOTL has been successfully used for verifying legal properties over operational systems via runtime monitoring, no solution exists for MFOTL-based verification in early-stage system development captured by requirements. Given a legal property and system requirements, both formalized in MFOTL, the compliance of the property can be verified on the requirements via satisfiability checking. In this paper, we propose a practical, sound, and complete (within a given bound) satisfiability checking approach for MFOTL. The approach, based on satisfiability modulo theories (SMT), employs a counterexample-guided strategy to incrementally search for a satisfying solution. We implemented our approach using the Z3 SMT solver and evaluated it on five case studies spanning the healthcare, business administration, banking and aviation domains. Our results indicate that our approach can efficiently determine whether legal properties of interest are met, or generate counterexamples that lead to compliance violations.


title: Algorithms with More Granular Differential Privacy Guarantees

abstract: Differential privacy is often applied with a privacy parameter that is larger than the theory suggests is ideal; various informal justifications for tolerating large privacy parameters have been proposed. In this work, we consider partial differential privacy (DP), which allows quantifying the privacy guarantee on a per-attribute basis. In this framework, we study several basic data analysis and learning tasks, and design algorithms whose per-attribute privacy parameter is smaller that the best possible privacy parameter for the entire record of a person (i.e., all the attributes).


title: Local Glivenko-Cantelli

abstract: If $\mu$ is a distribution over the $d$-dimensional Boolean cube $\{0,1\}^d$, our goal is to estimate its mean $p\in[0,1]^d$ based on $n$ iid draws from $\mu$. Specifically, we consider the empirical mean estimator $\hat p_n$ and study the expected maximal deviation $\Delta_n=\mathbb{E}\max_{j\in[d]}|\hat p_n(j)-p(j)|$. In the classical Universal Glivenko-Cantelli setting, one seeks distribution-free (i.e., independent of $\mu$) bounds on $\Delta_n$. This regime is well-understood: for all $\mu$, we have $\Delta_n\lesssim\sqrt{\log(d)/n}$ up to universal constants, and the bound is tight. Our present work seeks to establish dimension-free (i.e., without an explicit dependence on $d$) estimates on $\Delta_n$, including those that hold for $d=\infty$. As such bounds must necessarily depend on $\mu$, we refer to this regime as {\em local} Glivenko-Cantelli (also known as $\mu$-GC), and are aware of very few previous bounds of this type -- which are either ``abstract'' or quite sub-optimal. Already the special case of product measures $\mu$ is rather non-trivial. We give necessary and sufficient conditions on $\mu$ for $\Delta_n\to0$, and calculate sharp rates for this decay. Along the way, we discover a novel sub-gamma-type maximal inequality for shifted Bernoullis, of independent interest.


title: Cotton gravity and 84 galaxy rotation curves

abstract: Recently, as a generalization of general relativity, a gravity theory has been proposed in which gravitational field equations are described by the Cotton tensor. That theory allows an additional contribution to the gravitational potential of a point mass that rises linearly with radius as $\Phi = -GM/r + \gamma r/2$, where $G$ is the Newton constant. The coefficients $M$ and $\gamma$ are the constants of integration and should be determined individually for each physical system. When applied to galaxies, the coefficient $\gamma$, which has the dimension of acceleration, should be determined for each galaxy. This is the same as having to determine the mass $M$ for each galaxy. If $\gamma$ is small enough, the linear potential term is negligible at short distances, but can become significant at large distances. In fact, it may contribute to the extragalactic systems. In this paper, we derive the effective field equation for Cotton gravity applicable to extragalactic systems. We then use the effective field equation to numerically compute the gravitational potential of a sample of 84 rotating galaxies. The 84 galaxies span a wide range, from stellar disk-dominated spirals to gas-dominated dwarf galaxies. We do not assume the radial density profile of the stellar disk, bulge, or gas; we use only the observed data. We find that the rotation curves of 84 galaxies can be explained by the observed distribution of baryons. This is due to the flexibility of Cotton gravity to allow the integration constant $\gamma$ for each galaxy. In the context of Cotton gravity, "dark matter" is in some sense automatically included as a curvature of spacetime. Consequently, even galaxies that have been assumed to be dominated by dark matter do not need dark matter.


title: Generating Contextual Load Profiles Using a Conditional Variational Autoencoder

abstract: Generating power system states that have similar distribution and dependency to the historical ones is essential for the tasks of system planning and security assessment, especially when the historical data is insufficient. In this paper, we described a generative model for load profiles of industrial and commercial customers, based on the conditional variational autoencoder (CVAE) neural network architecture, which is challenging due to the highly variable nature of such profiles. Generated contextual load profiles were conditioned on the month of the year and typical power exchange with the grid. Moreover, the quality of generations was both visually and statistically evaluated. The experimental results demonstrate our proposed CVAE model can capture temporal features of historical load profiles and generate `realistic' data with satisfying univariate distributions and multivariate dependencies.


title: Drone Deployment Optimization for Direct Delivery with Time Windows and Battery Replacements

abstract: Aerial drones offer a distinct potential to reduce the delivery time and energy consumption for the delivery of time-sensitive and small products. However, there is still a need in the relevant industry to understand the performance of drone-based delivery under different business needs and drone operating conditions. We studied a drone deployment optimization problem for direct delivery of goods to customers maintaining a specified time window. This paper presents a new mathematical optimization-based decision-making methodology to help business owners optimally route their drone fleet minimizing the total energy consumption, required fleet size, and the required number of additional batteries. A realistic feature of the optimization method is that instead of replacing the drone battery after each return to the depot, it keeps track of the remaining energy in the drone battery and decides on battery replacements accounting for the drone routing and the user-specified minimum required battery energy. Numerical results based on real drone flight tests and delivery data provide insights into the effect of different drone operating parameters on the energy consumption, required fleet size, and the required number of battery replacements. Results from a case study show that the total energy consumption, required fleet size, and the required number of battery replacements increase by 72.22%, 22.2%, and 200%, respectively, as the drones fly over the road networks compared to flying in a straight path. Additionally, results show that using a mixed fleet of hexacopter and quadcopter drones reduces the total energy consumption by 48.52% compared to using a homogeneous fleet of only hexacopters.


title: Strategyproof Scheduling with Predictions

abstract: In their seminal paper that initiated the field of algorithmic mechanism design, \citet{NR99} studied the problem of designing strategyproof mechanisms for scheduling jobs on unrelated machines aiming to minimize the makespan. They provided a strategyproof mechanism that achieves an $n$-approximation and they made the bold conjecture that this is the best approximation achievable by any deterministic strategyproof scheduling mechanism. After more than two decades and several efforts, $n$ remains the best known approximation and very recent work by \citet{CKK21} has been able to prove an $\Omega(\sqrt{n})$ approximation lower bound for all deterministic strategyproof mechanisms. This strong negative result, however, heavily depends on the fact that the performance of these mechanisms is evaluated using worst-case analysis. To overcome such overly pessimistic, and often uninformative, worst-case bounds, a surge of recent work has focused on the ``learning-augmented framework'', whose goal is to leverage machine-learned predictions to obtain improved approximations when these predictions are accurate (consistency), while also achieving near-optimal worst-case approximations even when the predictions are arbitrarily wrong (robustness). In this work, we study the classic strategic scheduling problem of~\citet{NR99} using the learning-augmented framework and give a deterministic polynomial-time strategyproof mechanism that is $6$-consistent and $2n$-robust. We thus achieve the ``best of both worlds'': an $O(1)$ consistency and an $O(n)$ robustness that asymptotically matches the best-known approximation. We then extend this result to provide more general worst-case approximation guarantees as a function of the prediction error. Finally, we complement our positive results by showing that any $1$-consistent deterministic strategyproof mechanism has unbounded robustness.


title: Size and Quality of Quantum Mechanical Data Sets for Training Neural Network Force Fields for Liquid Water

abstract: Molecular dynamics simulations have been used in different scientific fields to investigate a broad range of physical systems. However, the accuracy of calculation is based on the model considered to describe the atomic interactions. In particular, ab initio molecular dynamics (AIMD) has the accuracy of density functional theory (DFT), and thus is limited to small systems and relatively short simulation time. In this scenario, Neural Network Force Fields (NNFF) have an important role, since it provides a way to circumvent these caveats. In this work we investigate NNFF designed at the level of DFT to describe liquid water, focusing on the size and quality of the training data-set considered. We show that structural properties are less dependent on the size of the training data-set compared to dynamical ones (such as the diffusion coefficient), and a good sampling (selecting data reference for training process) can lead to a small sample with good precision.


title: Priorities in gravitational waveforms for future space-borne detectors: vacuum accuracy or environment?

abstract: In preparation for future space-borne gravitational-wave (GW) detectors, should the modelling effort focus on high-precision vacuum templates or on the astrophysical environment of the sources? We perform a systematic comparison of the phase contributions caused by 1) known environmental effects in both gaseous and stellar matter backgrounds, or 2) high-order post-Newtonian {(PN)} terms in the evolution of mHz GW sources {during the inspiral stage of massive binaries}. We use the accuracy of currently available analytical waveform models as a benchmark {value, finding} the following trends: the largest unmodelled phase contributions are likely environmental rather than PN for binaries lighter than $\sim 10^7/(1+z)^2$~M$_{\odot}$, where $z$ is the redshift. Binaries heavier than $\sim 10^8/(1+z)$~M$_{\odot}$ do not require more accurate {inspiral} waveforms due to low signal-to-noise ratios (SNRs). For high-SNR sources, environmental {phase contributions} are relevant at low redshift, while high-order vacuum templates are required at $z > 4$. Led by these findings, we argue that including environmental effects in waveform models should be prioritised in order to maximize the science yield of future mHz detectors.


title: im2nerf: Image to Neural Radiance Field in the Wild

abstract: We propose im2nerf, a learning framework that predicts a continuous neural object representation given a single input image in the wild, supervised by only segmentation output from off-the-shelf recognition methods. The standard approach to constructing neural radiance fields takes advantage of multi-view consistency and requires many calibrated views of a scene, a requirement that cannot be satisfied when learning on large-scale image data in the wild. We take a step towards addressing this shortcoming by introducing a model that encodes the input image into a disentangled object representation that contains a code for object shape, a code for object appearance, and an estimated camera pose from which the object image is captured. Our model conditions a NeRF on the predicted object representation and uses volume rendering to generate images from novel views. We train the model end-to-end on a large collection of input images. As the model is only provided with single-view images, the problem is highly under-constrained. Therefore, in addition to using a reconstruction loss on the synthesized input view, we use an auxiliary adversarial loss on the novel rendered views. Furthermore, we leverage object symmetry and cycle camera pose consistency. We conduct extensive quantitative and qualitative experiments on the ShapeNet dataset as well as qualitative experiments on Open Images dataset. We show that in all cases, im2nerf achieves the state-of-the-art performance for novel view synthesis from a single-view unposed image in the wild.


title: Non-autoregressive Error Correction for CTC-based ASR with Phone-conditioned Masked LM

abstract: Connectionist temporal classification (CTC) -based models are attractive in automatic speech recognition (ASR) because of their non-autoregressive nature. To take advantage of text-only data, language model (LM) integration approaches such as rescoring and shallow fusion have been widely used for CTC. However, they lose CTC's non-autoregressive nature because of the need for beam search, which slows down the inference speed. In this study, we propose an error correction method with phone-conditioned masked LM (PC-MLM). In the proposed method, less confident word tokens in a greedy decoded output from CTC are masked. PC-MLM then predicts these masked word tokens given unmasked words and phones supplementally predicted from CTC. We further extend it to Deletable PC-MLM in order to address insertion errors. Since both CTC and PC-MLM are non-autoregressive models, the method enables fast LM integration. Experimental evaluations on the Corpus of Spontaneous Japanese (CSJ) and TED-LIUM2 in domain adaptation setting shows that our proposed method outperformed rescoring and shallow fusion in terms of inference speed, and also in terms of recognition accuracy on CSJ.


title: Gravitational lensing in a universe with matter and a cosmological constant

abstract: We extend the results obtained in \cite{Piattella_2016, mcvittie_2015} and \cite{Park_2008} for gravitational lensing in the McVittie metric by including the effect of the transition from the matter-dominated epoch of the Universe to the $\Lambda$-dominated era. We derive a formula that agrees with the previous results for the McVittie metric at lowest order, and compare the lensing angle predictions obtained from the Schwarzschild approximation, the McVittie model and higher order corrections to the McVittie model. In doing this, we test if, beyond the correction from the accelerated expansion of the Universe, there is a need for including the matter content of the Universe in modeling lens systems at the redshifts observed in lens systems. We investigate if there is a need for a modification of the lens equation from these corrections, and if so, to which order and whether it is measurable. We find that while the effect is of the same order as the one calculated previously, there is no significant contribution to the bending angle, as the 1st order effect is already of order $\mathcal{O}(\theta_O^4)$ in the observed angle.


title: The Problem of Marginality in Model Reductions of Turbulence

abstract: Reduced quasilinear (QL) and nonlinear (gradient-driven) models with scale separations, commonly used to interpret experiments and to forecast turbulent transport levels in magnetised plasmas are tested against nonlinear models without scale separations (flux-driven). Two distinct regimes of turbulence -- either far above threshold or near marginal stability -- are investigated with Boltzmann electrons. The success of reduced models especially hinges on the reproduction of nonlinear fluxes. Good agreement between models is found above threshold whilst reduced models would significantly underpredict fluxes near marginality, overlooking mesoscale flow organisation and turbulence self-advection. Constructive prescriptions whereby to improve reduced models is discussed.


title: Testing the third body hypothesis in the Cataclysmic Variables LU Camelopardalis, QZSerpentis, V1007 Herculis and BK Lyncis

abstract: Some Cataclysmic Variables (CVs) exhibits a very long photometric period (VLPP). We calculate the properties of a hypothetical third body, initially assumed on circular--planar orbit, by matching the modelled VLPP to the observed one of four CVs studied here: {\sl LU Camelopardalis} (LU Cam), QZ Serpentis (QZ Ser), V1007 Herculis (V1007 Her) and BK Lyncis (BK Lyn). The eccentric and low inclination orbits for a third body are considered using analytical results. The chosen parameters of the binary components are based on the orbital period of each CV. The smallest corresponding semi-major axis permitted before the third body's orbit becomes unstable is also calculated. A first-order analytical post-Newtonian correction is applied, and the rate of precession of the pericentre is found, but it can not explain any of the observed VLPP. For the first time, we also estimate the effect of secular perturbations by this hypothetical third body on the mass transfer rate of such CVs. We made sure that the observed and calculated amplitude of variability was comparable too. The mass of the third body satisfying all constrains range from 0.63 to 97 Jupiter masses. Our results show further evidence supporting the hypothesis of a third body in three of these CVs, but only marginally in V1007 Her.


title: TEACH: Temporal Action Composition for 3D Humans

abstract: Given a series of natural language descriptions, our task is to generate 3D human motions that correspond semantically to the text, and follow the temporal order of the instructions. In particular, our goal is to enable the synthesis of a series of actions, which we refer to as temporal action composition. The current state of the art in text-conditioned motion synthesis only takes a single action or a single sentence as input. This is partially due to lack of suitable training data containing action sequences, but also due to the computational complexity of their non-autoregressive model formulation, which does not scale well to long sequences. In this work, we address both issues. First, we exploit the recent BABEL motion-text collection, which has a wide range of labeled actions, many of which occur in a sequence with transitions between them. Next, we design a Transformer-based approach that operates non-autoregressively within an action, but autoregressively within the sequence of actions. This hierarchical formulation proves effective in our experiments when compared with multiple baselines. Our approach, called TEACH for "TEmporal Action Compositions for Human motions", produces realistic human motions for a wide variety of actions and temporal compositions from language descriptions. To encourage work on this new task, we make our code available for research purposes at our $\href{teach.is.tue.mpg.de}{\text{website}}$.


title: RASR: Risk-Averse Soft-Robust MDPs with EVaR and Entropic Risk

abstract: Prior work on safe Reinforcement Learning (RL) has studied risk-aversion to randomness in dynamics (aleatory) and to model uncertainty (epistemic) in isolation. We propose and analyze a new framework to jointly model the risk associated with epistemic and aleatory uncertainties in finite-horizon and discounted infinite-horizon MDPs. We call this framework that combines Risk-Averse and Soft-Robust methods RASR. We show that when the risk-aversion is defined using either EVaR or the entropic risk, the optimal policy in RASR can be computed efficiently using a new dynamic program formulation with a time-dependent risk level. As a result, the optimal risk-averse policies are deterministic but time-dependent, even in the infinite-horizon discounted setting. We also show that particular RASR objectives reduce to risk-averse RL with mean posterior transition probabilities. Our empirical results show that our new algorithms consistently mitigate uncertainty as measured by EVaR and other standard risk measures.


title: Pattern Avoidance in Parking Functions

abstract: In this paper, we view parking functions viewed as labeled Dyck paths in order to study a notion of pattern avoidance first introduced by Remmel and Qiu. In particular we enumerate the parking functions avoiding any set of two or more patterns of length 3, and we obtain a number of well-known combinatorial sequences as a result. Along the way, we find bijections between specific sets of pattern-avoiding parking functions and a number of combinatorial objects such as partitions of polygons and trees with certain restrictions.


title: Free structures and limiting density

abstract: Gromov asked what a typical (finitely presented) group looks like, and he suggested a way to make the question precise in terms of limiting density. The typical finitely generated group is known to share some important properties with the non-abelian free groups. We ask Gromov's question more generally, for structures in an arbitrary algebraic variety (in the sense of universal algebra), with presentations of a specific form. We focus on elementary properties. We give examples illustrating different behaviors of the limiting density. Based on the examples, we identify sufficient conditions for the elementary first-order theory of the free structure to match that of the typical structure; i.e., a sentence is true in the free structure iff it has limiting density 1.


title: Understanding magnetocrystalline anisotropy based on orbital and quadrupole moments

abstract: Understanding magnetocrystalline anisotropy (MCA) is fundamentally important for developing novel magnetic materials. Therefore, clarifying the relationship between MCA and local physical quantities observed by spectroscopic measurements, such as the orbital and quadrupole moments, is necessary. In this review, we discuss MCA and the distortion effects in magnetic materials with transition metals (TMs) based on the orbital and quadrupole moments, which are related to the spin-conserving and spin-flip terms in the second-order perturbation calculations, respectively. We revealed that orbital moment stabilized the spin moment in the direction of the larger orbital moment, while the quadrupole moment stabilized the spin moment along the longitudinal direction of the spin-density distribution. The MCA of the magnetic materials with TMs and their interfaces can be determined from the competition between these two contributions. We showed that the perpendicular MCA of the face-centered cubic (fcc) Ni with tensile tetragonal distortion arose from the orbital moment anisotropy, whereas that of Mn-Ga alloys originated from the quadrupole moment of spin density. In contrast, in the Co/Pd(111) multilayer and Fe/MgO(001), both the orbital moment anisotropy and quadrupole moment of spin density at the interfaces contributed to the perpendicular MCA. Understanding the MCA of magnetic materials and interfaces based on orbital and quadrupole moments is essential to design MCA of novel magnetic applications.


title: Audio Analytics-based Human Trafficking Detection Framework for Autonomous Vehicles

abstract: Human trafficking is a universal problem, persistent despite numerous efforts to combat it globally. Individuals of any age, race, ethnicity, sex, gender identity, sexual orientation, nationality, immigration status, cultural background, religion, socioeconomic class, and education can be a victim of human trafficking. With the advancements in technology and the introduction of autonomous vehicles (AVs), human traffickers will adopt new ways to transport victims, which could accelerate the growth of organized human trafficking networks, which can make the detection of trafficking in persons more challenging for law enforcement agencies. The objective of this study is to develop an innovative audio analytics-based human trafficking detection framework for autonomous vehicles. The primary contributions of this study are to: (i) define four non-trivial, feasible, and realistic human trafficking scenarios for AVs; (ii) create a new and comprehensive audio dataset related to human trafficking with five classes i.e., crying, screaming, car door banging, car noise, and conversation; and (iii) develop a deep 1-D Convolution Neural Network (CNN) architecture for audio data classification related to human trafficking. We have also conducted a case study using the new audio dataset and evaluated the audio classification performance of the deep 1-D CNN. Our analyses reveal that the deep 1-D CNN can distinguish sound coming from a human trafficking victim from a non-human trafficking sound with an accuracy of 95%, which proves the efficacy of our framework.


title: Fixed-target charmonium production and pion parton distributions

abstract: We investigate how charmonium hadroproduction at fixed-target energies can be used to constrain the gluon distribution in pions. Using nonrelativistic QCD (NRQCD) formulation, the $J/\psi$ and $\psi(2S)$ cross sections as a function of longitudinal momentum fraction $x_F$ from pions and protons colliding with light targets, as well as the $\psi(2S)$ to $J/\psi$ cross section ratios, are included in the analysis. The color-octet long-distance matrix elements are found to have a pronounced dependence on the pion parton distribution functions (PDFs). This study shows that the $x_F$ differential cross sections of pion-induced charmonium production impose strong constraints on the pion's quark and gluon PDFs. In particular, the pion PDFs with larger gluon densities provide a significantly better description of the data. It is also found that the production of the $\psi(2S)$ state is associated with a larger quark-antiquark contribution, compared with $J/\psi$.


title: PhD bridge programmes as engines for access, diversity and inclusion

abstract: The lack of diversity in physics and astronomy PhD programmes is well known but has not improved despite decades of efforts. PhD bridge programmes provide an asset-based model to help overcome the societal and disciplinary obstacles to improving access and inclusion for students from underrepresented groups and are beginning to show some success. We describe several well-known PhD bridge programmes in the United States and discuss lessons learned from their experiences. Many of these lessons can be extended more broadly to physics and astronomy PhD programmes to increase access, diversity and inclusion.


title: The fractional saturable impurity

abstract: We examine analytically and numerically the effect of fractionality on a saturable bulk and surface impurity embedded in a 1D lattice. We use a fractional Laplacian introduced previously by us, and by the use of lattice Green functions we are able to obtain the bound state energies and amplitude profiles, as a function of the fractional exponent $s$ and saturable impurity strength $\chi$ for both, surface and bulk impurity. The transmission is obtained in closed form as a function of $s$ and $\chi$, showing strong deviations from the standard case, at small fractional exponent values. The selftrapping of an initially-localized excitation is qualitatively similar for the bulk and surface mode, but in all cases complete confinement is obtained at $s\rightarrow 0$, as shown theoretically and observed numerically.


title: Improving the Environmental Perception of Autonomous Vehicles using Deep Learning-based Audio Classification

abstract: Sense of hearing is crucial for autonomous vehicles (AVs) to better perceive its surrounding environment. Although visual sensors of an AV, such as camera, lidar, and radar, help to see its surrounding environment, an AV cannot see beyond those sensors line of sight. On the other hand, an AV s sense of hearing cannot be obstructed by line of sight. For example, an AV can identify an emergency vehicle s siren through audio classification even though the emergency vehicle is not within the line of sight of the AV. Thus, auditory perception is complementary to the camera, lidar, and radar-based perception systems. This paper presents a deep learning-based robust audio classification framework aiming to achieve improved environmental perception for AVs. The presented framework leverages a deep Convolution Neural Network (CNN) to classify different audio classes. UrbanSound8k, an urban environment dataset, is used to train and test the developed framework. Seven audio classes i.e., air conditioner, car horn, children playing, dog bark, engine idling, gunshot, and siren, are identified from the UrbanSound8k dataset because of their relevancy related to AVs. Our framework can classify different audio classes with 97.82% accuracy. Moreover, the audio classification accuracies with all ten classes are presented, which proves that our framework performed better in the case of AV-related sounds compared to the existing audio classification frameworks.


title: The Strike for Black Lives: Growth of community in the Cal-Bridge program

abstract: The engagement inspired by the June 2020 call for action in academia has blossomed into change-promoting groups that the bridge program's scholars both participate in and lead.


title: Prediction method of Soundscape Impressions using Environmental Sounds and Aerial Photographs

abstract: We investigate an method for quantifying city characteristics based on impressions of a sound environment. The quantification of the city characteristics will be beneficial to government policy planning, tourism projects, etc. In this study, we try to predict two soundscape impressions, meaning pleasantness and eventfulness, using sound data collected by the cloud-sensing method. The collected sounds comprise meta information of recording location using Global Positioning System. Furthermore, the soundscape impressions and sound-source features are separately assigned to the cloud-sensing sounds by assessments defined using Swedish Soundscape-Quality Protocol, assessing the quality of the acoustic environment. The prediction models are built using deep neural networks with multi-layer perceptron for the input of 10-second sound and the aerial photographs of its location. An acoustic feature comprises equivalent noise level and outputs of octave-band filters every second, and statistics of them in 10~s. An image feature is extracted from an aerial photograph using ResNet-50 and autoencoder architecture. We perform comparison experiments to demonstrate the benefit of each feature. As a result of the comparison, aerial photographs and sound-source features are efficient to predict impression information. Additionally, even if the sound-source features are predicted using acoustic and image features, the features also show fine results to predict the soundscape impression close to the result of oracle sound-source features.


title: Initial Value Problem Enhanced Sampling for Closed-Loop Optimal Control Design with Deep Neural Networks

abstract: Closed-loop optimal control design for high-dimensional nonlinear systems has been a long-standing challenge. Traditional methods, such as solving the associated Hamilton-Jacobi-Bellman equation, suffer from the curse of dimensionality. Recent literature proposed a new promising approach based on supervised learning, by leveraging powerful open-loop optimal control solvers to generate training data and neural networks as efficient high-dimensional function approximators to fit the closed-loop optimal control. This approach successfully handles certain high-dimensional optimal control problems but still performs poorly on more challenging problems. One of the crucial reasons for the failure is the so-called distribution mismatch phenomenon brought by the controlled dynamics. In this paper, we investigate this phenomenon and propose the initial value problem enhanced sampling method to mitigate this problem. We theoretically prove that this sampling strategy improves over the vanilla strategy on the classical linear-quadratic regulator by a factor proportional to the total time duration. We further numerically demonstrate that the proposed sampling strategy significantly improves the performance on tested control problems, including the optimal landing problem of a quadrotor and the optimal reaching problem of a 7 DoF manipulator.


title: Observing the Ping-pong Modality of Isospin Degree of Freedom in Cluster Emission from Heavy Ion Reactions

abstract: Two-body correlations of the isotope-resolved light and heavy clusters are measured in $^{86}$Kr+$^{\rm 208}$Pb reactions at 25 MeV/u. The yield and kinetic variables of the $A=3$ isobars, triton and $^3$He, are analyzed in coincidence with the heavy clusters of $7\le A \le 14$ emitted at the earlier chance. While the velocity spectra of both triton and $^3$He exhibit scaling behavior over the type of the heavy clusters, the yield ratios of ${\rm t/^3He}$ correlate reversely to the neutron-to-proton ratio $N/Z$ of the latter, showing the ping-pong modality of the $N/Z$ of emitted clusters. The commonality that the $N/Z$ of the residues keeps the initial system value is extended to the cluster emission in heavy ion reactions. The comparison of transport model calculations to the data is discussed.


title: Revisiting the Transit Timing Variations in the TrES-3 and Qatar-1 systems with TESS data

abstract: We present and analyze 58 transit light curves of TrES-3b and 98 transit light curves of Qatar-1b observed by Transiting Exoplanet Survey Satellite (TESS), plus two transit light curves of Qatar-1b observed by us using a ground-based 1.23\,m telescope. These light curves are combined with the best-quality light curves taken from the Exoplanet Transit Database (ETD) and literature. The precisely determined mid-transit times from these light curves enable us to obtain the refined orbital ephemerides with improved precision for both hot Jupiters. From the timing analysis, we find an indication for the presence of transit timing variations (TTVs) in both systems. Since the observed TTVs are unlikely to be short-term and periodic, the possibility of additional planets in the orbits close to TrES-3b and Qatar-1b are ruled out. Possible causes of long-term TTVs such as orbital decay, apsidal precession, the Applegate mechanism and line-of-sight acceleration are also examined. However, none of these possibilities are found to explain the observed TTV of TrES-3b. In contrast to this, the line-of-sight acceleration appears to be a plausible explanation for the observed TTV of Qatar-1b. In order to confirm these findings, further high-precision transit and RV observations of both systems would be worthwhile.


title: Galaxy-galaxy lensing in the VOICE deep survey

abstract: The multi-band photometry of the VOICE imaging data, overlapping with 4.9 deg$^2$ of the Chandra Deep Field South (CDFS) area, enables both shape measurement and photometric redshift estimation to be the two essential quantities for weak lensing analysis. The depth of $mag_{AB}$ is up to 26.1 (5$\sigma$ limiting) in $r$-band. We estimate the Excess Surface Density (ESD; $\Delta\Sigma$) based on galaxy-galaxy measurements around galaxies at lower redshift (0.10<$z_l$<0.35) while we select the background sources to be at higher redshift ranging from 0.3 to 1.5. The foreground galaxies are divided into two major categories according to their colour (blue/red), each of which has been further divided into high/low stellar mass bins. Then the halo masses of the samples are estimated by modelling the signals, and the posterior of the parameters are samples via Mote Carlo Markov Chain (MCMC) process. We compare our results with the existing Stellar-to-Halo Mass Relation (SHMR) and find that the blue low stellar mass bin (median $M_*=10^{8.31}M_\odot$) deviates from the SHMR relation whereas all other three samples agrees well with empirical curves. We interpret this discrepancy as the effect of a low star formation efficiency of the low-mass blue dwarf galaxy population dominated in the VOICE-CDFS area.


title: Determinacy and reflection principles in second-order arithmetic

abstract: It is known that several variations of the axiom of determinacy play important roles in the study of reverse mathematics, and the relation between the hierarchy of determinacy and comprehension are revealed by Tanaka, Nemoto, Montalb\'an, Shore, and others. We prove variations of a result by Ko{\l}odziejczyk and Michalewski relating determinacy of arbitrary boolean combinations of $\Sigma^0_2$ sets and reflection in second-order arithmetic. Specifically, we prove that: over $\mathsf{ACA}_0$, $\Pi^1_2$-$\mathsf{Ref}(\mathsf{ACA}_0)$ is equivalent to $\forall n.(\Sigma^0_1)_n$-$\mathsf{Det}^*_0$; $\Pi^1_3$-$\mathsf{Ref}(\Pi^1_1$-$\mathsf{CA}_0)$ is equivalent to $\forall n.(\Sigma^0_1)_n$-$\mathsf{Det}$; and $\Pi^1_3$-$\mathsf{Ref}(\Pi^1_2$-$\mathsf{CA}_0)$ is equivalent to $\forall n.(\Sigma^0_2)_n$-$\mathsf{Det}$. We also restate results by Montalb\'an and Shore to show that $\Pi^1_3$-$\mathsf{Ref}(\mathsf{Z}_2)$ is equivalent to $\forall n.(\Sigma^0_3)_n$-$\mathsf{Det}$ over $\mathsf{ACA}_0$.


title: Strong uniform laws of large numbers for bootstrap means and other randomly weighted sums

abstract: This article establishes novel strong uniform laws of large numbers for randomly weighted sums such as bootstrap means. By leveraging recent advances, these results extend previous work in their general applicability to a wide range of weighting procedures and in their flexibility with respect to the effective bootstrap sample size. In addition to the standard multinomial bootstrap and the m-out-of-n bootstrap, our results apply to a large class of randomly weighted sums involving negatively orthant dependent (NOD) weights, including the Bayesian bootstrap, jackknife, resampling without replacement, simple random sampling with over-replacement, independent weights, and multivariate Gaussian weighting schemes. Weights are permitted to be non-identically distributed and possibly even negative. Our proof technique is based on extending a proof of the i.i.d. strong uniform law of large numbers to employ strong laws for randomly weighted sums; in particular, we exploit a recent Marcinkiewicz--Zygmund strong law for NOD weighted sums.