title: Easy testability for posets

abstract: Alon and Shapira proved that every monotone class (closed under taking subgraphs) of undirected graphs is strongly testable, that is, under the promise that a given graph is either in the class or $\varepsilon$-far from it, there is a test using a constant number of samples (depending on $\varepsilon$ only) that rejects every graph not in the class with probability at least one half, and always accepts a graph in the class. However, their bound on the number of samples is quite large, since they heavily rely on Szemer\'edi's regularity lemma. We study the case of posets and show that every monotone class of posets is easily testable, that is, a polynomial number of samples is sufficient. We achieve this via proving a polynomial removal lemma for posets. We give a simple classification: for every monotone class of posets there is an $h$ such that the class is indistinguishable (every large enough poset in one class is $\varepsilon$-close to a poset in the other class) from the class of posets free of the chain $C_h$. This allows to test every monotone class of posets using $O(\varepsilon^{-1})$ samples. The test has two-sided error, but it is almost complete: the probability to refute a poset in the class is polynomially small in the size of the poset. The analogous results hold for comparability graphs, too.


title: Attosecond Transient Absorption Spectroscopy of Strongly Correlated Mott Insulators: Signature of the Creation and Annihilation of Double Occupancy

abstract: We applied the time-resolved attosecond transient absorption spectroscopy to systematically investigate ultrafast optical responses of condensed matter systems. Under an intense pump pulse, absorption spectra indicate that the non-interacting electrons of band insulators produce a field-induced redshift, known as the dynamical Franz-Keldysh effect, as commonly expected. In contrast to the band insulators, in Mott insulators, unconventional spectra are observed which do not fully reflect the dynamical Franz-Keldysh effect. While it still exhibits the fishbone-like structures mimicking the dynamical Franz-Keldysh effect, the spectra show a negative difference absorption below the band edge, rendering a blueshift. In addition, the decomposed difference absorption reveals the creation and the annihilation of double occupancy mainly contribute to the negative signal, implying that the unconventional spectra are purely driven by the electron-correlations. These demonstrations of unconventional responses would guide us to the correlation-embedded attosecond electron dynamics in condensed matter systems.


title: Photometric follow-up of 43 new eclipsing white dwarf plus main-sequence binaries from the ZTF survey

abstract: Wide-field time-domain photometric sky surveys are now finding hundreds of eclipsing white dwarf plus M dwarf binaries, a population encompassing a wealth of information and potential insight into white dwarf and close binary astrophysics. Precise follow-up observations are essential in order to fully constrain these systems and capitalise on the power of this sample. We present the first results from our program of high-speed, multi-band photometric follow-up. We develop a method to measure temperatures, (model-dependent) masses, and radii for both components from the eclipse photometry alone and characterize 34 white dwarf binaries, finding general agreement with independent estimates using an alternative approach while achieving around a factor of two increase in parameter precision. In addition to these parameter estimates, we discover a number of interesting systems -- finding four with sub-stellar secondaries, doubling the number of eclipsing examples, and at least six where we find the white dwarf to be strongly magnetic, making these the first eclipsing examples of such systems and key to investigating the mechanism of magnetic field generation in white dwarfs. We also discover the first two pulsating white dwarfs in detached and eclipsing post-common-envelope binaries -- one with a low-mass, likely helium core, and one with a relatively high mass, towards the upper end of the known sample of ZZ Cetis. Our results demonstrate the power of eclipse photometry, not only as a method of characterising the population, but as a way of discovering important systems that would have otherwise been missed by spectroscopic follow-up.


title: How Ready Is DNS for an IPv6-Only World?

abstract: DNS is one of the core building blocks of the Internet. In this paper, we investigate DNS resolution in a strict IPv6-only scenario and find that a substantial fraction of zones cannot be resolved. We point out, that the presence of an AAAA resource record for a zone's nameserver does not necessarily imply that it is resolvable in an IPv6-only environment since the full DNS delegation chain must resolve via IPv6 as well. Hence, in an IPv6-only setting zones may experience an effect similar to what is commonly referred to as lame delegation. Our longitudinal study shows that the continuing centralization of the Internet has a large impact on IPv6 readiness, i.e., a small number of large DNS providers has, and still can, influence IPv6 readiness for a large number of zones. A single operator that enabled IPv6 DNS resolution -- by adding IPv6 glue records -- was responsible for around 20.3% of all zones in our dataset not resolving over IPv6 until January 2017. Even today, 10% of DNS operators are responsible for more than 97.5% of all zones that do not resolve using IPv6.


title: Revisiting the Parameter Space of Binary Neutron Star Merger Event GW170817

abstract: Since the gravitational wave event GW170817 and gamma-ray burst GW170817A there have been numerous studies constraining the burst properties through analysis of the afterglow light curves. Most agree that the burst was viewed off-axis with a ratio of the observer angle to the jet angle ($\theta_{obs}/\theta_j$) between 4 - 6. We use a parameterized model and broadband synchrotron data up to $\sim 800$ days post-merger to constrain parameters of the burst. To reproduce the hydrodynamics of a gamma-ray burst outflow we use a two-parameter "boosted fireball" model. The structure of a boosted fireball is determined by the specific internal energy, $\eta_0$, and the bulk Lorentz factor, $\gamma_B(\sim 1/\theta_j)$ with shapes varying smoothly from a quasi-spherical outflow for low values of $\gamma_B$ to a highly collimated jet for high values. We run simulations with $\gamma_B$ in the range $1-20$ and $\eta_0$ in the range $2-15$. To calculate light curves we use a synchrotron radiation model characterized by $F_{peak}$, $\nu_m$, and $\nu_c$ and calculate millions of spectra at different times and $\theta_{obs}$ values using the \texttt{boxfit} radiation code. We can tabulate the spectral parameter values from our spectra and rapidly generate arbitrary light curves for comparison to data in MCMC analysis. We find that our model prefers a gamma-ray burst with jet energy $E_j\sim10^{50}$ ergs and with an observer angle of $\theta_{obs}=0.65^{+0.13}_{-0.14}$ radians and ratio to jet opening angle of ($\theta_{obs}/\theta_j$) = 5.4$^{+0.53}_{-0.38}$.


title: Using infinite server queues with partial information for occupancy prediction

abstract: Motivated by demand prediction for the custodial prison population in England and Wales, this paper describes an approach to the study of service systems using infinite server queues, where the system has non-empty initial state and the elapsed time of individuals initially present is not known. By separating the population into initial content and new arrivals, we can apply several techniques either separately or jointly to those sub-populations, to enable both short-term queue length predictions and longer-term considerations such as managing congestion and analysing the impact of potential interventions. The focus in the paper is the transient behaviour of the $M_t/G/\infty$ queue with a non-homogeneous Poisson arrival process and our analysis considers various possible simplifications, including approximation. We illustrate the approach in that domain using publicly available data in a Bayesian framework to perform model inference.


title: KGTrust: Evaluating Trustworthiness of SIoT via Knowledge Enhanced Graph Neural Networks

abstract: Social Internet of Things (SIoT), a promising and emerging paradigm that injects the notion of social networking into smart objects (i.e., things), paving the way for the next generation of Internet of Things. However, due to the risks and uncertainty, a crucial and urgent problem to be settled is establishing reliable relationships within SIoT, that is, trust evaluation. Graph neural networks for trust evaluation typically adopt a straightforward way such as one-hot or node2vec to comprehend node characteristics, which ignores the valuable semantic knowledge attached to nodes. Moreover, the underlying structure of SIoT is usually complex, including both the heterogeneous graph structure and pairwise trust relationships, which renders hard to preserve the properties of SIoT trust during information propagation. To address these aforementioned problems, we propose a novel knowledge-enhanced graph neural network (KGTrust) for better trust evaluation in SIoT. Specifically, we first extract useful knowledge from users' comment behaviors and external structured triples related to object descriptions, in order to gain a deeper insight into the semantics of users and objects. Furthermore, we introduce a discriminative convolutional layer that utilizes heterogeneous graph structure, node semantics, and augmented trust relationships to learn node embeddings from the perspective of a user as a trustor or a trustee, effectively capturing multi-aspect properties of SIoT trust during information propagation. Finally, a trust prediction layer is developed to estimate the trust relationships between pairwise nodes. Extensive experiments on three public datasets illustrate the superior performance of KGTrust over state-of-the-art methods.


title: Measurement of telescope transmission using a Collimated Beam Projector

abstract: With the increasingly large number of type Ia supernova being detected by current-generation survey telescopes, and even more expected with the upcoming Rubin Observatory Legacy Survey of Space and Time, the precision of cosmological measurements will become limited by systematic uncertainties in flux calibration rather than statistical noise. One major source of systematic error in determining SNe Ia color evolution (needed for distance estimation) is uncertainty in telescope transmission, both within and between surveys. We introduce here the Collimated Beam Projector (CBP), which is meant to measure a telescope transmission with collimated light. The collimated beam more closely mimics a stellar wavefront as compared to flat-field based instruments, allowing for more precise handling of systematic errors such as those from ghosting and filter angle-of-incidence dependence. As a proof of concept, we present CBP measurements of the StarDICE prototype telescope, achieving a standard (1 sigma) uncertainty of 3 % on average over the full wavelength range measured with a single beam illumination.


title: Double Interlacing in Random Tiling Models

abstract: Random tilings of very large domains will typically lead to a solid, a liquid, and a gas phase. In the two-phase case, the solid-liquid boundary (arctic curve) is smooth, possibly with singularities. At the point of tangency of the arctic curve with the domain-boundary, the tiles of a certain shape form for large-size domains a singly interlacing set, fluctuating according to the eigenvalues of the principal minors of a GUE-matrix (Gaussian unitary ensemble). Introducing non-convexities in large domains may lead to the appearance of several interacting liquid regions: they can merely touch, leading to either a split tacnode (also called hard tacnode), with two distinct adjacent frozen phases descending into the tacnode, or a soft tacnode. For appropriate scaling of the nonconvex domains and probing about such split tacnodes, filaments of tiles of a certain type will connect the liquid patches: they evolve in a bricklike-sea of dimers of another type. Nearby, the tiling fluctuations are governed by a discrete tacnode kernel; i.e., a determinantal point process on a doubly interlacing set of dots belonging to a discrete array of parallel lines. This kernel enables one to compute the joint distribution of the dots along those lines. This kernel appears in two very different models: (i) domino-tilings of skew-Aztec rectangles and (ii) lozenge-tilings of hexagons with cuts along opposite edges. Soft, opposed to hard, tacnodes appear when two arctic curves gently touch each other amidst a bricklike sea of dimers of one type, unlike the split tacnode. We hope that this largely expository paper will provide a view on the subject and be accessible to a wider audience.


title: Controllable Spin-Resolved Photon Emission Enhanced by Slow-Light Mode in Photonic Crystal Waveguides on Chip

abstract: We report the slow-light enhanced spin-resolved in-plane emission from a single quantum dot (QD) in a photonic crystal waveguide (PCW). The slow light dispersions in PCWs are designed to match the emission wavelengths of single QDs. The resonance between two spin states emitted from a single QD and a slow light mode of a waveguide is investigated under a magnetic field with Faraday configuration. Two spin states of a single QD experience different degrees of enhancement as their emission wavelengths are shifted by combining diamagnetic and Zeeman effects with an optical excitation power control. A circular polarization degree up to 0.81 is achieved by changing the off-resonant excitation power. Strongly polarized photon emission enhanced by a slow light mode shows great potential to attain controllable spin-resolved photon sources for integrated optical quantum networks on chip.


title: Modeling joint eating-out destination choices incorporating group-level impedance: A case study of the Greater Tokyo Area

abstract: Individuals undertake both solo and joint activities as part of their overall activity-travel patterns. Compared to work and maintenance activities, social and leisure activities differ in that they exhibit high levels of temporal and spatial flexibility. In this study we used data from an ego-centric social networks survey in the Greater Tokyo Area and follow-up group activity survey to estimate a joint eating-out destination choice model explicitly incorporating group-level impedance. Consistent with the literature, travel time has a large impact on destination choice as measured by its elasticity; however, the elasticities of group-level maximum, average and median travel times are larger than individual-level travel times. Furthermore, we show that incorporating group-level impedance increases model performance up to 49% against the ego-level impedance model, a substantial increase that underscores the need to incorporate group-level characteristics in travel behavior models.


title: Safe Sequential Testing and Effect Estimation in Stratified Count Data

abstract: Sequential decision making significantly speeds up research and is more cost-effective compared to fixed-n methods. We present a method for sequential decision making for stratified count data that retains Type-I error guarantee or false discovery rate under optional stopping, using e-variables. We invert the method to construct stratified anytime-valid confidence sequences, where cross-talk between subpopulations in the data can be allowed during data collection to improve power. Finally, we combine information collected in separate subpopulations through pseudo-Bayesian averaging and switching to create effective estimates for the minimal, mean and maximal treatment effects in the subpopulations.


title: Cooperative melting in double-stranded peptide chains through local mechanical interactions

abstract: Under an external field a double-stranded peptide chain can separate in a fragile or ductile transition. It is usually believed that these two regimes are driven either by chemical and thermal fields, or through non-local mechanical interactions. Here, we show explicitly that local mechanical interactions regulates the stability and reversibility of the cooperative/non-cooperative melting transition, which is described by a single parameter depending on an internal length scale. Our theory is applicable to a wide range of biological examples such as DNA, protein secondary structures, and the microtubules and tau proteins, for which we are able to predict the critical melting force as a function of the chain length.


title: Brain-like features of MemComputing machines

abstract: MemComputing is a new model of computation that exploits the non-equilibrium property-we call 'memory'-of any physical system to respond to external perturbations by keeping track of how it has reacted at previous times. Its digital, scalable version maps a finite string of symbols into a finite string of symbols. In this paper, I will discuss some analogies of the operation of MemComputing machines-in general, and digital in particular-with a few physical properties of the biological brain. These analogies could be a source of inspiration to improve on the design of these machines. In turn, they could suggest new directions of study in (computational) neuroscience.


title: A geometrical description of charge distribution on the disordered conductor surfaces

abstract: This paper considers the distribution of charge over the surface of a conductor, and specifically the old rule-of-thumb that charge accumulates near sharp points and more generally in regions of high curvature. The discussion is almost entirely qualitative. Various conductors with different geometric shapes have been considered and the charge density on their points has been compared. Our discussion shows that the statement "surface charge density is higher at points with greater curvature" does not seem to be true and at least it can be modified. We have avoided unnecessary relationships as much as possible and tried to follow the discussion qualitatively.


title: ML-driven Hardware Cost Model for MLIR

abstract: During early optimization passes, compilers must make predictions for machine-dependent characteristics such as execution unit utilization, number of register spills, latency, throughput etc. to generate better code. Often a hand-written static/analytical hardware cost model is built into the compiler. However, the need for more sophisticated and varied predictions has become more pronounced with the development of deep learning compilers which need to optimize dataflow graphs. Such compilers usually employ a much higher level MLIR form as an IR representation before lowering to traditional LLVM-IR. A static/analytical cost model in such a scenario is cumbersome and error prone as the opcodes represent very high level algebraic/arithmetic operations. Hence, we develop a machine learning-based cost model for high-level MLIR which can predict different target variables of interest such as CPU/GPU/xPU utilization, instructions executed, register usage etc. By considering the incoming MLIR as a text input a la NLP models we can apply well-known techniques from modern NLP research to help predict hardware characteristics more accurately. We expect such precise ML-driven hardware cost models to guide our deep learning compiler in graph level optimizations around operator fusion, local memory allocation, kernel scheduling etc. as well as in many kernel-level optimizations such as loop interchange, LICM and unroll. We report early work-in -progress results of developing such models on high-level MLIR representing dataflow graphs emitted by Pytorch/Tensorflow-like frameworks as well as lower-level dialects like affine. We show that these models can provide reasonably good estimates with low error bounds for various hardware characteristics of interest and can be a go-to mechanism for hardware cost modelling in the future.


title: Enhancing Machine Learning Model Performance with Hyper Parameter Optimization: A Comparative Study

abstract: One of the most critical issues in machine learning is the selection of appropriate hyper parameters for training models. Machine learning models may be able to reach the best training performance and may increase the ability to generalize using hyper parameter optimization (HPO) techniques. HPO is a popular topic that artificial intelligence studies have focused on recently and has attracted increasing interest. While the traditional methods developed for HPO include exhaustive search, grid search, random search, and Bayesian optimization; meta-heuristic algorithms are also employed as more advanced methods. Meta-heuristic algorithms search for the solution space where the solutions converge to the best combination to solve a specific problem. These algorithms test various scenarios and evaluate the results to select the best-performing combinations. In this study, classical methods, such as grid, random search and Bayesian optimization, and population-based algorithms, such as genetic algorithms and particle swarm optimization, are discussed in terms of the HPO. The use of related search algorithms is explained together with Python programming codes developed on packages such as Scikit-learn, Sklearn Genetic, and Optuna. The performance of the search algorithms is compared on a sample data set, and according to the results, the particle swarm optimization algorithm has outperformed the other algorithms.


title: A quantitative comparison of phase-averaged models for bubbly, cavitating flows

abstract: We compare the computational performance of two modeling approaches for the flow of dilute cavitation bubbles in a liquid. The first approach is a deterministic model, for which bubbles are represented in a Lagrangian framework as advected features, each sampled from a distribution of equilibrium bubble sizes. The dynamic coupling to the liquid phase is modeled through local volume averaging. The second approach is stochastic; ensemble-phase averaging is used to derive mixture-averaged equations and field equations for the associated bubble properties are evolved in an Eulerian reference frame. For polydisperse mixtures, the probability density function of the equilibrium bubble radii is discretized and bubble properties are solved for each representative bin. In both cases, the equations are closed by solving Rayleigh-Plesset-like equations for the bubble dynamics as forced by the local or mixture-averaged pressure, respectively. An acoustically excited dilute bubble screen is used as a case study for comparisons. We show that observables of ensemble- and volume-averaged simulations match closely and that their convergence is first order under grid refinement. Guidelines are established for phase-averaged simulations by comparing the computational costs of methods. The primary costs are shown to be associated with stochastic closure; polydisperse ensemble-averaging requires many samples of the underlying PDF and volume-averaging requires repeated, randomized simulations to accurately represent a homogeneous bubble population. The relative sensitivities of these costs to spatial resolution and bubble void fraction are presented.


title: ASSET: Robust Backdoor Data Detection Across a Multiplicity of Deep Learning Paradigms

abstract: Backdoor data detection is traditionally studied in an end-to-end supervised learning (SL) setting. However, recent years have seen the proliferating adoption of self-supervised learning (SSL) and transfer learning (TL), due to their lesser need for labeled data. Successful backdoor attacks have also been demonstrated in these new settings. However, we lack a thorough understanding of the applicability of existing detection methods across a variety of learning settings. By evaluating 56 attack settings, we show that the performance of most existing detection methods varies significantly across different attacks and poison ratios, and all fail on the state-of-the-art clean-label attack. In addition, they either become inapplicable or suffer large performance losses when applied to SSL and TL. We propose a new detection method called Active Separation via Offset (ASSET), which actively induces different model behaviors between the backdoor and clean samples to promote their separation. We also provide procedures to adaptively select the number of suspicious points to remove. In the end-to-end SL setting, ASSET is superior to existing methods in terms of consistency of defensive performance across different attacks and robustness to changes in poison ratios; in particular, it is the only method that can detect the state-of-the-art clean-label attack. Moreover, ASSET's average detection rates are higher than the best existing methods in SSL and TL, respectively, by 69.3% and 33.2%, thus providing the first practical backdoor defense for these new DL settings. We open-source the project to drive further development and encourage engagement: https://github.com/ruoxi-jia-group/ASSET.


title: Towards a Deep(er) Understanding of Interaction through Modeling, Simulation, and Optimization

abstract: The traditional user-centered design process can hardly keep up with the ever faster technical development and increasingly diverse user preferences. As a solution, we propose to augment the tried-and-tested approach of conducting user studies with simulation and optimization of the entire human-computer interaction loop. This approach allows to better understand phenomena through explicit modeling, build virtual prototypes through simulation, and improve interaction techniques through optimization. Building predictive user models also supports the creation and validation of HCI theories, and constitutes a decisive step towards new, intelligent, and adaptive user interfaces. We report our experience in virtually developing new interaction techniques on the example of acoustic levitation, and present our optimization-based framework for HCI. With this, we strive to gain a better understanding of interaction and at the same time feed the discussion on questions such as which tools and tutorials are necessary to make virtual prototyping more accessible to different audiences.


title: Score-Based Data Generation for EEG Spatial Covariance Matrices: Towards Boosting BCI Performance

abstract: The efficacy of Electroencephalogram (EEG) classifiers can be augmented by increasing the quantity of available data. In the case of geometric deep learning classifiers, the input consists of spatial covariance matrices derived from EEGs. In order to synthesize these spatial covariance matrices and facilitate future improvements of geometric deep learning classifiers, we propose a generative modeling technique based on state-of-the-art score-based models. The quality of generated samples is evaluated through visual and quantitative assessments using a left/right-hand-movement motor imagery dataset. The exceptional pixel-level resolution of these generative samples highlights the formidable capacity of score-based generative modeling. Additionally, the center (Frechet mean) of the generated samples aligns with neurophysiological evidence that event-related desynchronization and synchronization occur on electrodes C3 and C4 within the Mu and Beta frequency bands during motor imagery processing. The quantitative evaluation revealed that 84.3% of the generated samples could be accurately predicted by a pre-trained classifier and an improvement of up to 8.7% in the average accuracy over ten runs for a specific test subject in a holdout experiment.


title: Persistent Non-Statistical Dynamics in One-Dimensional Maps

abstract: We study a class $\widehat{\mathfrak{F}}$ of one-dimensional full branch maps introduced in [Doubly Intermittent Full Branch Maps with Critical Points and Singularities; D. Coates, S. Luzzatto, M. Mubarak, 2022], admitting two indifferent fixed points as well as critical points and/or singularities with unbounded derivative. We show that $\widehat{\mathfrak{F}}$ can be partitioned into 3 pairwise disjoint subfamilies $$\widehat{\mathfrak{F}} = \mathfrak{F} \cup \mathfrak{F}_\pm \cup \mathfrak{F}_*$$ such that all $g \in \mathfrak{F}$ have a unique physical measure equivalent to Lebesgue, all $g \in \mathfrak{F}_{\pm}$ have a physical measure which is a Dirac-$\delta$ measure on one of the (repelling) fixed points, and all $g \in \mathfrak{F}_{*}$ are non-statistical and in particular have no physical measure. Moreover we show that these subfamilies are intermingled: they can all be approximated by maps in the other subfamilies in natural topologies.


title: Data Augmentation for Neural NLP

abstract: Data scarcity is a problem that occurs in languages and tasks where we do not have large amounts of labeled data but want to use state-of-the-art models. Such models are often deep learning models that require a significant amount of data to train. Acquiring data for various machine learning problems is accompanied by high labeling costs. Data augmentation is a low-cost approach for tackling data scarcity. This paper gives an overview of current state-of-the-art data augmentation methods used for natural language processing, with an emphasis on methods for neural and transformer-based models. Furthermore, it discusses the practical challenges of data augmentation, possible mitigations, and directions for future research.


title: Gradient Adjusting Networks for Domain Inversion

abstract: StyleGAN2 was demonstrated to be a powerful image generation engine that supports semantic editing. However, in order to manipulate a real-world image, one first needs to be able to retrieve its corresponding latent representation in StyleGAN's latent space that is decoded to an image as close as possible to the desired image. For many real-world images, a latent representation does not exist, which necessitates the tuning of the generator network. We present a per-image optimization method that tunes a StyleGAN2 generator such that it achieves a local edit to the generator's weights, resulting in almost perfect inversion, while still allowing image editing, by keeping the rest of the mapping between an input latent representation tensor and an output image relatively intact. The method is based on a one-shot training of a set of shallow update networks (aka. Gradient Modification Modules) that modify the layers of the generator. After training the Gradient Modification Modules, a modified generator is obtained by a single application of these networks to the original parameters, and the previous editing capabilities of the generator are maintained. Our experiments show a sizable gap in performance over the current state of the art in this very active domain. Our code is available at \url{https://github.com/sheffier/gani}.


title: Delving into Identify-Emphasize Paradigm for Combating Unknown Bias

abstract: Dataset biases are notoriously detrimental to model robustness and generalization. The identify-emphasize paradigm appears to be effective in dealing with unknown biases. However, we discover that it is still plagued by two challenges: A, the quality of the identified bias-conflicting samples is far from satisfactory; B, the emphasizing strategies only produce suboptimal performance. In this paper, for challenge A, we propose an effective bias-conflicting scoring method (ECS) to boost the identification accuracy, along with two practical strategies -- peer-picking and epoch-ensemble. For challenge B, we point out that the gradient contribution statistics can be a reliable indicator to inspect whether the optimization is dominated by bias-aligned samples. Then, we propose gradient alignment (GA), which employs gradient statistics to balance the contributions of the mined bias-aligned and bias-conflicting samples dynamically throughout the learning process, forcing models to leverage intrinsic features to make fair decisions. Furthermore, we incorporate self-supervised (SS) pretext tasks into training, which enable models to exploit richer features rather than the simple shortcuts, resulting in more robust models. Experiments are conducted on multiple datasets in various settings, demonstrating that the proposed solution can mitigate the impact of unknown biases and achieve state-of-the-art performance.


title: Ultrarelativistic electron beams accelerated by terawatt scalable kHz laser

abstract: We show the laser-driven acceleration of unprecedented, collimated ($ 2 \ \mathrm{mrad} $ divergence), and quasi-monoenergetic ($ 25 \ \% $ energy spread) electron beams with energy up to $ 50 \ \mathrm{MeV} $ at $ 1 \ \mathrm{kHz} $ repetition rate. The laser driver is a multi-cycle ($ 15 \ \mathrm{fs} $) $ 1 \ \mathrm{kHz} $ optical parametric chirped pulse amplification (OPCPA) system, operating at $ 26 \ \mathrm{mJ} $ ($ 1.7 \ \mathrm{TW} $). The scalability of the driver laser technology and the electron beams reported in this work pave the way towards developing high-brilliance x-ray sources for medical imaging, innovative devices for brain cancer treatment, and represent a step towards the realization of a kHz GeV electron beamline.


title: Structure Embedded Nucleus Classification for Histopathology Images

abstract: Nuclei classification provides valuable information for histopathology image analysis. However, the large variations in the appearance of different nuclei types cause difficulties in identifying nuclei. Most neural network based methods are affected by the local receptive field of convolutions, and pay less attention to the spatial distribution of nuclei or the irregular contour shape of a nucleus. In this paper, we first propose a novel polygon-structure feature learning mechanism that transforms a nucleus contour into a sequence of points sampled in order, and employ a recurrent neural network that aggregates the sequential change in distance between key points to obtain learnable shape features. Next, we convert a histopathology image into a graph structure with nuclei as nodes, and build a graph neural network to embed the spatial distribution of nuclei into their representations. To capture the correlations between the categories of nuclei and their surrounding tissue patterns, we further introduce edge features that are defined as the background textures between adjacent nuclei. Lastly, we integrate both polygon and graph structure learning mechanisms into a whole framework that can extract intra and inter-nucleus structural characteristics for nuclei classification. Experimental results show that the proposed framework achieves significant improvements compared to the state-of-the-art methods.


title: Hitting the Romans

abstract: Roman domination is one of few examples where the related extension problem is polynomial-time solvable even if the original decision problem is NP-complete. This is interesting, as it allows to establish polynomial-delay enumeration algorithms for finding minimal Roman dominating functions, while it is open for more than four decades if all minimal dominating sets of a graph or if all hitting sets of a hypergraph can be enumerated with polynomial delay. To find the reason why this is the case, we combine the idea of hitting set with the idea of Roman domination. We hence obtain and study two new problems, called Roman Hitting Function and Roman Hitting Set, both generalizing Roman Domination. This allows us to delineate the borderline of polynomial-delay enumerability. Here, we assume what we call the Hitting Set Transversal Thesis, claiming that it is impossible to enumerate all minimal hitting sets of a hypergraph with polynomial delay. Our first focus is on the extension versions of these problems. While doing this, we find some conditions under which the Extension Roman Hitting Function problem is NP-complete. We then use parameterized complexity to get a better understanding of why Extension Roman Hitting Function behaves in this way. Furthermore, we analyze the parameterized and approximation complexity of the underlying optimization problems. We also discuss consequences for Roman variants of other problems like Vertex Cover.


title: Federated Radio Frequency Fingerprinting with Model Transfer and Adaptation

abstract: The Radio frequency (RF) fingerprinting technique makes highly secure device authentication possible for future networks by exploiting hardware imperfections introduced during manufacturing. Although this technique has received considerable attention over the past few years, RF fingerprinting still faces great challenges of channel-variation-induced data distribution drifts between the training phase and the test phase. To address this fundamental challenge and support model training and testing at the edge, we propose a federated RF fingerprinting algorithm with a novel strategy called model transfer and adaptation (MTA). The proposed algorithm introduces dense connectivity among convolutional layers into RF fingerprinting to enhance learning accuracy and reduce model complexity. Besides, we implement the proposed algorithm in the context of federated learning, making our algorithm communication efficient and privacy-preserved. To further conquer the data mismatch challenge, we transfer the learned model from one channel condition and adapt it to other channel conditions with only a limited amount of information, leading to highly accurate predictions under environmental drifts. Experimental results on real-world datasets demonstrate that the proposed algorithm is model-agnostic and also signal-irrelevant. Compared with state-of-the-art RF fingerprinting algorithms, our algorithm can improve prediction performance considerably with a performance gain of up to 15\%.


title: Aligned Diffusion Schr\"odinger Bridges

abstract: Diffusion Schr\"odinger bridges (DSB) have recently emerged as a powerful framework for recovering stochastic dynamics via their marginal observations at different time points. Despite numerous successful applications, existing algorithms for solving DSBs have so far failed to utilize the structure of aligned data, which naturally arises in many biological phenomena. In this paper, we propose a novel algorithmic framework that, for the first time, solves DSBs while respecting the data alignment. Our approach hinges on a combination of two decades-old ideas: The classical Schr\"odinger bridge theory and Doob's $h$-transform. Compared to prior methods, our approach leads to a simpler training procedure with lower variance, which we further augment with principled regularization schemes. This ultimately leads to sizeable improvements across experiments on synthetic and real data, including the tasks of predicting conformational changes in proteins and temporal evolution of cellular differentiation processes.


title: Higher Courant-Dorfman algebras and associated higher Poisson vertex algebras

abstract: In this thesis, we consider a notion of a higher version of the relation between Courant-Dorfman algebras and Poisson vertex algebras. We define a higher Courant-Dorfman algebra, and study the relationship with graded symplectic geometry. In particular, we give graded Poisson algebras of degree $-n$ in the non-degenerate case. For higher Courant-Dorfman algebras coming from finite-dimensional vector bundles, they coincide with the algebras of functions of the associated differential-graded(dg) symplectic manifolds of degree $n$. We define a higher Lie conformal algebra and Poisson vertex algebra, and give a higher (weak) Courant-Dorfman algebraic structure arising from them. Moreover, we prove that the higher Lie conformal algebras and higher Poisson vertex algebras have properties like Lie conformal algebras and Poisson vertex algebras. As an example, we obtain an algebraic description of Batalin-Fradkin-Vilkovisky(BFV) current algebras.


title: Measurement optimization techniques for excited electronic states in near-term quantum computing algorithms

abstract: The variational quantum eigensolver (VQE) remains one of the most popular near-term quantum algorithms for solving the electronic structure problem. Yet, for its practicality, the main challenge to overcome is improving the quantum measurement efficiency. Numerous quantum measurement techniques have been developed recently, but it is unclear how these state-of-the-art measurement techniques will perform in extensions of VQE for obtaining excited electronic states. Assessing the measurement techniques' performance in the excited state VQE is crucial because the measurement requirements in these extensions are typically much greater than in conventional VQE, as one must measure the expectation value of multiple observables in addition to that of the electronic Hamiltonian. Here, we adapt various measurement techniques to two widely used excited state VQE algorithms: multi-state contraction and quantum subspace expansion. Then, the measurement requirements of each measurement technique are numerically compared. We find that the best methods for multi-state contraction are ones utilizing Hamiltonian data and wavefunction information to minimize the number of measurements. In contrast, randomized measurement techniques are more appropriate for quantum subspace expansion, with many more observables of vastly different energy scales to measure. Nevertheless, when the best possible measurement technique for each excited state VQE algorithm is considered, significantly fewer measurements are required in multi-state contraction than in quantum subspace expansion.


title: Controllable CVD-Growth of 2D Cr5Te8 Nanosheets with Thickness-Dependent Magnetic Domains

abstract: As a typical 2D magnetic material with self-intercalated structure, Cr5Te8 exhibits many fascinating magnetic properties. Although the ferromagnetism of 2D Cr5Te8 has been reported, the study of its magnetic domain is still blank. Herein, we successfully fabricated 2D Cr5Te8 nanosheets with controlled thickness and lateral size by chemical vapor deposition (CVD). Then magnetic property measurement system suggested Cr5Te8 nanosheets possessing intense out-of-plane ferromagnetism with the Curie temperature of 179 K. Most importantly, we found magnetic bubbles and thickness-dependent maze-like magnetic domains by cryogenic magnetic force microscopy (MFM) for the first time. The domain width of the maze-like magnetic domains increases rapidly with decreasing sample thickness, while domain contrast decreases. This indicates dipolar interaction is the dominant role over exchange interaction and magnetic anisotropy. Our work not only paves a way for the controllable growth of 2D magnetic materials, but also suggests new directions for controlling magnetic phases and systematically adjusting domain properties.


title: The inverse Cox-Ingersoll-Ross process for parsimonious financial price modeling

abstract: We propose a formulation to construct new classes of financial price processes based on the insight that the key variable driving prices $P$ is the earning-over-price ratio $\gamma \simeq 1/P$, which we refer to as the earning yield and is analogous to the yield-to-maturity of an equivalent perpetual bond. This modeling strategy is illustrated with the choice for real-time $\gamma$ in the form of the Cox-Ingersoll-Ross (CIR) process, which allows us to derive analytically many stylised facts of financial prices and returns, such as the power law distribution of returns, transient super-exponential bubble behavior, and the fat-tailed distribution of prices before bubbles burst. Our model sheds new light on rationalizing the excess volatility and the equity premium puzzles. The model is calibrated to five well-known historical bubbles in the US and China stock markets via a quasi-maximum likelihood method with the L-BFGS-B optimization algorithm. Using $\phi$-divergence statistics adapted to models prescribed in terms of stochastic differential equations, we show the superiority of the CIR process for $\gamma_t$ against three alternative models.


title: Volatile exposures on the 67P/Churyumov-Gerasimenko nucleus

abstract: We present the most extensive catalog of exposures of volatiles on the 67P/Churyumov-Gerasimenko nucleus generated from observations acquired with the OSIRIS cameras on board the Rosetta mission. We identified more than 600 volatile exposures on the comet. Bright spots are found isolated on the nucleus or grouped in clusters, usually at the bottom of cliffs, and most of them are small, typically a few square meters or smaller. Several of them are clearly correlated with the cometary activity. We note a number of peculiar exposures of volatiles with negative spectral slope values in the high-resolution post-perihelion images, which we interpret as the presence of large ice grains ($>$ 1000 $\mu$m) or local frosts condensation. We observe a clear difference both in the spectral slope and in the area distributions of the bright spots pre- and post-perihelion, with these last having lower average spectral slope values and a smaller size, with a median surface of 0.7 m$^2$, even if the size difference is mainly due to the higher resolution achieved post-perihelion. The minimum duration of the bright spots shows three clusters: an area-independent cluster dominated by short-lifetime frosts; an area-independent cluster with lifetime of 0.5--2 days, probably associated with the seasonal fallout of dehydrated chunks; and an area-dependent cluster with lifetime longer than 2 days consistent with water-driven erosion of the nucleus. Even if numerous bright spots are detected, the total surface of exposed water ice is less than 0.1% of the total 67P nucleus surface, confirming that the 67P surface is dominated by refractory dark terrains, while exposed ice occupies only a tiny fraction. Moreover, the abundance of volatile exposures is six times less in the small lobe than in the big lobe, adding additional evidence to the hypothesis that comet 67P is composed of two distinct bodies.


title: The Pythagoras number of a rational function field in two variables

abstract: We prove that every sum of squares in the rational function field in two variables $K(X,Y)$ over a hereditarily pythagorean field $K$ is a sum of $8$ squares. More precisely, we show that the Pythagoras number of every finite extension of $K(X)$ is at most $5$. The main ingredients of the proof are a local-global principle for quadratic forms over function fields in one variable over a complete rank-$1$ valued field due to V. Mehmeti and a valuation theoretic characterization of hereditarily pythagorean fields due to L. Br\"ocker.


title: Mining compact high utility sequential patterns

abstract: High utility sequential pattern mining (HUSPM) aims to mine all patterns that yield a high utility (profit) in a sequence dataset. HUSPM is useful for several applications such as market basket analysis, marketing, and website clickstream analysis. In these applications, users may also consider high utility patterns frequently appearing in the dataset to obtain more fruitful information. However, this task is high computation since algorithms may generate a combinatorial explosive number of candidates that may be redundant or of low importance. To reduce complexity and obtain a compact set of frequent high utility sequential patterns (FHUSPs), this paper proposes an algorithm named CHUSP for mining closed frequent high utility sequential patterns (CHUSPs). Such patterns keep a concise representation while preserving the same expressive power of the complete set of FHUSPs. The proposed algorithm relies on a CHUS data structure to maintain information during mining. It uses three pruning strategies to eliminate early low-utility and non-frequent patterns, thereby reducing the search space. An extensive experimental evaluation was performed on six real-life datasets to evaluate the performance of CHUSP in terms of execution time, memory usage, and the number of generated patterns. Experimental results show that CHUSP can efficiently discover the compact set of CHUSPs under different user-defined thresholds.


title: Enhanced Face Authentication With Separate Loss Functions

abstract: The overall objective of the main project is to propose and develop a system of facial authentication in unlocking phones or applications in phones using facial recognition. The system will include four separate architectures: face detection, face recognition, face spoofing, and classification of closed eyes. In which, we consider the problem of face recognition to be the most important, determining the true identity of the person standing in front of the screen with absolute accuracy is what facial recognition systems need to achieve. Along with the development of the face recognition problem, the problem of the anti-fake face is also gradually becoming popular and equally important. Our goal is to propose and develop two loss functions: LMCot and Double Loss. Then apply them to the face authentication process.


title: Robotic Perception-motion Synergy for Novel Rope Wrapping Tasks

abstract: This paper introduces a novel and general method to address the problem of using a general-purpose robot manipulator with a parallel gripper to wrap a deformable linear object (DLO), called a rope, around a rigid object, called a rod, autonomously. Such a robotic wrapping task has broad potential applications in automotive, electromechanical industries construction manufacturing, etc., but has hardly been studied. Our method does not require prior knowledge of the physical and geometrical properties of the objects but enables the robot to use real-time RGB-D perception to determine the wrapping state and feedback control to achieve high-quality results. As such, it provides the robot manipulator with the general capabilities to handle wrapping tasks of different rods or ropes. We tested our method on 6 combinations of 3 different ropes and 2 rods. The result shows that the wrapping quality improved and converged within 5 wraps for all test cases.


title: Green's function analysis of the Neutron Lloyd interferometer

abstract: The neutron optical Lloyd interferometer can serve as a potent experiment for probing fundamental physics beyond the standard models of particles and cosmology. In this article, we provide a full Green's function analysis of a Lloyd interferometer in the limit that the reflecting mirror extends to the screen. We consider two distinct situations: first, we will review the theoretical case of no external fields being present. Subsequently, we will analyze the case in which a gravitational field is acting on the neutrons. The latter case provides the theory necessary for using a Lloyd interferometer as a probe of gravitational fields.


title: Differentiable Rotamer Sampling with Molecular Force Fields

abstract: Molecular dynamics is the primary computational method by which modern structural biology explores macromolecule structure and function. Boltzmann generators have been proposed as an alternative to molecular dynamics, by replacing the integration of molecular systems over time with the training of generative neural networks. This neural network approach to MD samples rare events at a higher rate than traditional MD, however critical gaps in the theory and computational feasibility of Boltzmann generators significantly reduce their usability. Here, we develop a mathematical foundation to overcome these barriers; we demonstrate that the Boltzmann generator approach is sufficiently rapid to replace traditional MD for complex macromolecules, such as proteins in specific applications, and we provide a comprehensive toolkit for the exploration of molecular energy landscapes with neural networks.


title: A Note on "Towards Efficient Data Valuation Based on the Shapley Value''

abstract: The Shapley value (SV) has emerged as a promising method for data valuation. However, computing or estimating the SV is often computationally expensive. To overcome this challenge, Jia et al. (2019) propose an advanced SV estimation algorithm called ``Group Testing-based SV estimator'' which achieves favorable asymptotic sample complexity. In this technical note, we present several improvements in the analysis and design choices of this SV estimator. Moreover, we point out that the Group Testing-based SV estimator does not fully reuse the collected samples. Our analysis and insights contribute to a better understanding of the challenges in developing efficient SV estimation algorithms for data valuation.


title: Restricted Maximum of Non-Intersecting Brownian Bridges

abstract: Consider a system of $N$ non-intersecting Brownian bridges in $[0,1]$, and let $\mathcal M_N(p)$ be the maximal height attained by the top path in the interval $[0,p]$, $p\in[0,1]$. It is known that, under a suitable rescaling, the distribution of $\mathcal M_N(p)$ converges, as $N\to\infty$, to a one-parameter family of distributions interpolating between the Tracy-Widom distributions for the Gaussian Orthogonal and Unitary Ensembles (corresponding, respectively, to $p\to1$ and $p\to0$). It is also known that, for fixed $N$, $\mathcal M_N(1)$ is distributed as the top eigenvalue of a random matrix drawn from the Laguerre Orthogonal Ensemble. Here we show a version of these results for $\mathcal M_N(p)$ for fixed $N$, showing that $\mathcal M_N(p)/\sqrt{p}$ converges in distribution, as $p\to0$, to the rightmost charge in a generalized Laguerre Unitary Ensemble, which coincides with the top eigenvalue of a random matrix drawn from the Antisymmetric Gaussian Ensemble.


title: Lower Bounds for Intersection Reporting among Flat Objects

abstract: Recently, Ezra and Sharir [ES22a] showed an $O(n^{3/2+\sigma})$ space and $O(n^{1/2+\sigma})$ query time data structure for ray shooting among triangles in $\mathbb{R}^3$. This improves the upper bound given by the classical $S(n)Q(n)^4=O(n^{4+\sigma})$ space-time tradeoff for the first time in almost 25 years and in fact lies on the tradeoff curve of $S(n)Q(n)^3=O(n^{3+\sigma})$. However, it seems difficult to apply their techniques beyond this specific space and time combination. This pheonomenon appears persistently in almost all recent advances of flat object intersection searching, e.g., line-tetrahedron intersection in $\mathbb{R}^4$ [ES22b], triangle-triangle intersection in $\mathbb{R}^4$ [ES22b], or even among flat semialgebraic objects [AAEKS22]. We give a timely explanation to this phenomenon from a lower bound perspective. We prove that given a set $\mathcal{S}$ of $(d-1)$-dimensional simplicies in $\mathbb{R}^d$, any data structure that can report all intersections with small ($n^{o(1)}$) query time must use $\Omega(n^{2(d-1)-o(1)})$ space. This dashes the hope of any significant improvement to the tradeoff curves for small query time and almost matches the classical upper bound. We also obtain an almost matching space lower bound of $\Omega(n^{6-o(1)})$ for triangle-triangle intersection reporting in $\mathbb{R}^4$ when the query time is small. Along the way, we further develop the previous lower bound techniques by Afshani and Cheng [AC21, AC22].


title: iPlanner: Imperative Path Planning

abstract: The problem of path planning has been studied for years. Classic planning pipelines, including perception, mapping, and path searching, can result in latency and compounding errors between modules. While recent studies have demonstrated the effectiveness of end-to-end learning methods in achieving high planning efficiency, these methods often struggle to match the generalization abilities of classic approaches in handling different environments. Moreover, end-to-end training of policies often requires a large number of labeled data or training iterations to reach convergence. In this paper, we present a novel Imperative Learning (IL) approach. This approach leverages a differentiable cost map to provide implicit supervision during policy training, eliminating the need for demonstrations or labeled trajectories. Furthermore, the policy training adopts a Bi-Level Optimization (BLO) process, which combines network update and metric-based trajectory optimization, to generate a smooth and collision-free path toward the goal based on a single depth measurement. The proposed method allows task-level costs of predicted trajectories to be backpropagated through all components to update the network through direct gradient descent. In our experiments, the method demonstrates around 4x faster planning than the classic approach and robustness against localization noise. Additionally, the IL approach enables the planner to generalize to various unseen environments, resulting in an overall 26-87% improvement in SPL performance compared to baseline learning methods.


title: Entanglement negativity in $\text{T}\bar{\text{T}}$-deformed CFT$_2$s

abstract: We apply a suitable replica technique to develop a perturbative expression for the entanglement negativity of bipartite mixed states in T$\overline{\text{T}}$-deformed CFT$_2$s up to the first order in the deformation parameter. Utilizing our perturbative construction we compute the entanglement negativity for various bipartite mixed states involving two disjoint intervals, two adjacent intervals, and a single interval in a T$\overline{\text{T}}$-deformed CFT$_2$ at a finite temperature, in the large central charge limit. Subsequently, we advance appropriate holographic constructions to compute the entanglement negativity for such bipartite states in T$\overline{\text{T}}$-deformed thermal CFT$_2$s dual to BTZ black holes in a finite cut-off bulk geometry and find agreement with the corresponding field theoretic results in the limit of small deformation parameter.


title: Industrial Policy for Advanced AI: Compute Pricing and the Safety Tax

abstract: Using a model in which agents compete to develop a potentially dangerous new technology (AI), we study how changes in the pricing of factors of production (computational resources) affect agents' strategies, particularly their spending on safety meant to reduce the danger from the new technology. In the model, agents split spending between safety and performance, with safety determining the probability of a ``disaster" outcome, and performance determining the agents' competitiveness relative to their peers. For given parameterizations, we determine the theoretically optimal spending strategies by numerically computing Nash equilibria. Using this approach we find that (1) in symmetric scenarios, compute price increases are safety-promoting if and only if the production of performance scales faster than the production of safety; (2) the probability of a disaster can be made arbitrarily low by providing a sufficiently large subsidy to a single agent; (3) when agents differ in productivity, providing a subsidy to the more productive agent is often better for aggregate safety than providing the same subsidy to other agent(s) (with some qualifications, which we discuss); (4) when one agent is much more safety-conscious, in the sense of believing that safety is more difficult to achieve, relative to his competitors, subsidizing that agent is typically better for aggregate safety than subsidizing its competitors; however, subsidizing an agent that is only somewhat more safety-conscious often decreases safety. Thus, although subsidizing a much more safety-conscious, or productive, agent often improves safety as intuition suggests, subsidizing a somewhat more safety-conscious or productive agent can often be harmful.


title: Principled Drug-Drug Interaction Terms for Bayesian Logistic Regression Models of Drug Safety in Oncology Phase I Combination Trials

abstract: In Oncology, trials evaluating drug combinations are becoming more common. While combination therapies bring the potential for greater efficacy, they also create unique challenges for ensuring drug safety. In Phase-I dose escalation trials of drug combinations, model-based approaches enable efficient use of information gathered, but the models need to account for trial complexities: appropriate modeling of interactions becomes increasingly important with growing numbers of drugs being tested simultaneously in a given trial. In principle, we can use data from multiple arms testing varying combinations to jointly estimate toxicity of the drug combinations. However, such efforts have highlighted limitations when modelling drug-drug interactions in the Bayesian Logistic Regression Model (BLRM) framework used to ensure patient safety. Previous models either do not account for non-monotonicity due to antagonistic toxicity, or exhibit the fundamental flaw of exponentially overpowering the contributions of the individual drugs in the dose-response. This specifically leads to issues when drug combinations exhibit antagonistic toxicity, in which case the toxicity probability gets vanishingly small as doses get very large. We put forward additional constraints inspired by Paracelsus' intuition of "the dose makes the poison" which avoid this flaw and present an improved interaction model which is compatible with these constraints. We create instructive data scenarios that showcase the improved behavior of this more constrained drug-drug interaction model in terms of preventing further dosing at overly toxic dose combinations and more sensible dose-finding under antagonistic drug toxicity. This model is now available in the open-source OncoBayes2 R package that implements the BLRM framework for an arbitrary number of drugs and trial arms.


title: On the scope of applicability of the models of Darwinian dynamics

abstract: In their well-known textbook (Vincent & Brown, 2005), Vincent and Brown suggested an attractive approach for studying evolutionary dynamics of populations that are heterogeneous with respect to some strategy that affects the fitness of individuals in the population. The authors developed a theory, whose goal was to expand the applicability of mathematical models of population dynamics by including dynamics of an evolving heritable phenotype trait subject to natural selection. The authors studied both the case of evolution of individual traits and of mean traits in the population (or species) and the dynamics of total population size. The authors consider the developed approach as (more or less) universally applicable to models with any fitness function and any initial distribution of strategies, which is symmetric and has small variance. Here it was shown that the scope of the approach proposed by Vincent & Brown is unfortunately much more limited. I show that the approach gives exact results only if the population dynamics linearly depends on the trait; examples where the approach is incorrect are given.


title: Influence of Gd-rich precipitates on the martensitic transformation, magnetocaloric effect and mechanical properties of Ni-Mn-In Heusler alloys -- A comparative study

abstract: A multi-stimuli cooling cycle can be used to increase the cyclic caloric performance of multicaloric materials like Ni-Mn-In Heusler alloys. However, the use of a uniaxial compressive stress as an additional external stimulus to a magnetic field requires good mechanical stability. Improvement of mechanical stability and strength by doping has been shown in several studies. However, doping is always accompanied by grain refinement and a change in transition temperature. This raises the question of the extent to which mechanical strength is related to grain refinement, transition temperature, or precipitates. This study shows a direct comparison between a single-phase Ni-Mn-Sn and a two-phase Gd-doped Ni-Mn-In alloy with the same transition temperature and grain size. It is shown that the excellent magnetocaloric properties of the Ni-Mn-In matrix are maintained with doping. The isothermal entropy change and adiabatic temperature change are reduced by only 15% in the two-phase Ni-Mn-In-Heusler alloy compared to the single-phase alloy, which is resulting from a slight increase in thermal hysteresis and the width of the transition. Due to the same grain size and transition temperature, this effect can be directly related to the precipitates. The introduction of Gd precipitates leads to a 100% improvement in mechanical strength, which is significantly lower than the improvement observed for Ni-Mn-In alloys with grain refinement and Gd precipitates. This reveals that a significant contribution to the improved mechanical stability in Gd-doped Heusler alloys is related to grain refinement.


title: De Rham algebras of closed quasiregularly elliptic manifolds are Euclidean

abstract: We show that, if a closed, connected, and oriented Riemannian $n$-manifold $N$ admits a non-constant quasiregular mapping from the Euclidean $n$-space $\mathbb R^n$, then the de Rham cohomology algebra $H_{\mathrm{dR}}^*(N)$ of $N$ embeds into the exterior algebra ${\bigwedge}^*\mathbb R^n$. As a consequence, we obtain a homeomorphic classification of closed simply connected quasiregularly elliptic $4$-manifolds.


title: On homogeneous closed gradient Laplacian solitons

abstract: We prove a structure theorem for homogeneous closed gradient Laplacian solitons and use it to show some examples of closed Laplacian solitons cannot be made gradient. More specifically, we show that the Laplacian solitons on nilpotent Lie groups found by Nicolini are not gradient up to homothetic $G_2$-structures except for $N_1$, where $f$ must be a Gaussian. We also show that the closed $G_2$-structure $\varphi_{12}$ on $N_{12}$ constructed by Fern\'andez-Fino-Manero cannot be a gradient soliton. We further show that closed non-torsion-free gradient Laplacian solitons on almost abelian solvmanifolds are isometric to products $N \times \mathbb R^k$ with $f$ constant on $N$.


title: $CPT$ and unitarity constraints for higher-order $CP$ asymmetries at finite temperature

abstract: We use an unconventional diagrammatic approach to formulate $CPT$ and unitarity constraints for higher-order $CP$ asymmetries entering the source term in the Boltzmann equation. Usually, the reaction rate asymmetries in these constraints are computed within the classical kinetic theory, using zero-temperature quantum field theory to describe particles' interactions. We approximate the rates, otherwise obtained within the closed-time-path formalism, in terms of diagrams drawn on a cylindrical surface and their holomorphic cuts. The resulting equilibrium asymmetry constraints incorporate thermal-mass effects and allow tracking the cancellations of reaction rate asymmetries computed with quantum statistics. We use the top Yukawa corrections to the asymmetries in the seesaw type-I leptogenesis as an example.


title: Engineering a Distributed-Memory Triangle Counting Algorithm

abstract: Counting triangles in a graph and incident to each vertex is a fundamental and frequently considered task of graph analysis. We consider how to efficiently do this for huge graphs using massively parallel distributed-memory machines. Unsurprisingly, the main issue is to reduce communication between processors. We achieve this by counting locally whenever possible and reducing the amount of information that needs to be sent in order to handle (possible) nonlocal triangles. We also achieve linear memory requirements despite superlinear communication volume by introducing a new asynchronous sparse-all-to-all operation. Furthermore, we dramatically reduce startup overheads by allowing this communication to use indirect routing. Our algorithms scale (at least) up to 32 768 cores and are up to 18 times faster than the previous state of the art.


title: Shuffle product of desingularized multiple zeta functions at integer points

abstract: In this paper, we investigate the ``shuffle-type'' formula for special values of desingularized multiple zeta functions at integer points. It is proved by giving an iterated integral/differential expression for the desingularized multiple zeta functions at integer points.


title: On the Yamabe invariant of certain compact manifolds with boundary

abstract: We generalize Kobayashi's connected-sum inequality to the $\lambda$-Yamabe invariants. As an application, we calculate the $\lambda$-Yamabe invariants of $\#m_1\mathbb{RP}^n\# m_2(\mathbb{RP}^{n-1}\times S^1)\#lH^n\#kS_+^n$, for any $\lambda\in [0,1]$, $n\geq 3$, provided $k+l\geq 1$. As a corollary, we prove that $\mathbb{RP}^n$ minus finitely many disjoint $n$-balls have the same $\lambda$-Yamabe invariants as the hemi-sphere, which forms an interesting contrast with the famous Bray-Neves results on the Yamabe invariants of $\mathbb{RP}^3$.


title: Singular value decomposition based matrix surgery

abstract: This paper aims to develop a simple procedure to reduce and control the condition number of random matrices, and investigate the effect on the persistent homology (PH) of point clouds of well- and ill-conditioned matrices. For a square matrix generated randomly using Gaussian/Uniform distribution, the SVD-Surgery procedure works by: (1) computing its singular value decomposition (SVD), (2) replacing the diagonal factor by changing a list of the smaller singular values by a convex linear combination of the entries in the list, and (3) compute the new matrix by reversing the SVD. Applying SVD-Surgery on a matrix often results in having different diagonal factor to those of the input matrix. The spatial distribution of random square matrices are known to be correlated to the distribution of their condition numbers. The persistent homology (PH) investigations, therefore, are focused on comparing the effect of SVD-Surgery on point clouds of large datasets of randomly generated well-conditioned and ill-conditioned matrices, as well as that of the point clouds formed by their inverses. This work is motivated by the desire to stabilise the impact of Deep Learning (DL) training on medical images in terms of the condition numbers of their sets of convolution filters as a mean of reducing overfitting and improving robustness against tolerable amounts of image noise. When applied to convolution filters during training, the SVD-Surgery acts as a spectral regularisation of the DL model without the need for learning extra parameters. We shall demonstrate that for several point clouds of sufficiently large convolution filters our simple strategy preserve filters norm and reduces the norm of its inverse depending on the chosen linear combination parameters. Moreover, our approach showed significant improvements towards the well-conditioning of matrices and stable topological behaviour.


title: Modeling software solutions and computation facilities for FAIR access

abstract: We are in the era of the Big Data. In Astronomy and Astrophysics, the massive amounts of data generated are, as of today, in the Peta-scale if not already in the Exa-scale. In the near future, we will see the data collected size and complexity grow further constantly, setting new challenges for data processing, reduction and analysis. This will pose new needs in terms of software and hardware solutions but also in terms of new models for resource management, access and sharing. In Astronomy and Astrophysics, in the environment of the International Virtual Observatory Alliance (IVOA), a big work has already been done with regards to data, gaining complete data FAIRness. In this paper, a model is proposed, based on the IVOA architecture, for software and hardware solutions for data analysis. The goal of this model is to build a cloud to access Astronomy and Astrophysics resources following the FAIR principles.


title: On properties described by terms in commutator relation

abstract: We investigate properties of varieties of algebras described by a novel concept of equation that we call \emph{commutator equation}. A commutator equation is a relaxation of the standard term equality obtained substituting the equality relation with the commutator relation. Namely, an algebra $\mathbf{A}$ satisfies the commutator equation $p \approx_{C} q$ if for each congruence theta in Con(\mathbf{A}) and for each substitution $p^{\mathbf{A}}, q^{\mathbf{A}}$ of elements in the same $\theta$-class, then $(p^{\mathbf{A}}, q^{\mathbf{A}}) \in [\theta, \theta]$. This notion of equation draws inspiration from the definition of \emph{weak difference term} and allows for further generalization of it. Furthermore, we present an algorithm that establishes a connection between congruence equations valid within the variety generated by the abelian algebras of the idempotent reduct of a given variety and congruence equations that hold within the entire variety. Additionally, we provide a proof that if the variety generated by the abelian algebras of the idempotent reduct of a variety satisfies a non-trivial idempotent Mal'cev condition then also the entire variety satisfies a non-trivial idempotent Mal'cev condition, statement that follows also form \cite[Theorem 3.13]{KK.TSOC}.


title: From Optimization to Sampling Through Gradient Flows

abstract: This article overviews how gradient flows, and discretizations thereof, are useful to design and analyze optimization and sampling algorithms. The interplay between optimization, sampling, and gradient flows is an active research area; our goal is to provide an accessible and lively introduction to some core ideas, emphasizing that gradient flows uncover the conceptual unity behind many optimization and sampling algorithms, and that they give a rich mathematical framework for their rigorous analysis.


title: Prediction-retrodiction measurements for teleportation and conditional state transfer

abstract: Regular measurements allow predicting the future and retrodicting the past of quantum systems. Time-non-local measurements can leave the future and the past uncertain, yet establish a relation between them. We show that continuous time-non-local measurements can be used to transfer a quantum state via teleportation or direct transmission. Considering two oscillators probed by traveling fields, we analytically identify strategies for performing the state transfer perfectly across a wide range of linear oscillator-field interactions beyond the pure beamsplitter and two-mode-squeezing types.


title: Estimating the loss of economic predictability from aggregating firm-level production networks

abstract: To estimate the reaction of economies to political interventions or external disturbances, input-output (IO) tables -- constructed by aggregating data into industrial sectors -- are extensively used. However, economic growth, robustness, and resilience crucially depend on the detailed structure of non-aggregated firm-level production networks (FPNs). Due to non-availability of data little is known about how much aggregated sector-based and detailed firm-level-based model-predictions differ. Using a nearly complete nationwide FPN, containing 243,399 Hungarian firms with 1,104,141 supplier-buyer-relations we self-consistently compare production losses on the aggregated industry-level production network (IPN) and the granular FPN. For this we model the propagation of shocks of the same size on both, the IPN and FPN, where the latter captures relevant heterogeneities within industries. In a COVID-19 inspired scenario we model the shock based on detailed firm-level data during the early pandemic. We find that using IPNs instead of FPNs leads to errors up to 37% in the estimation of economic losses, demonstrating a natural limitation of industry-level IO-models in predicting economic outcomes. We ascribe the large discrepancy to the significant heterogeneity of firms within industries: we find that firms within one sector only sell 23.5% to and buy 19.3% from the same industries on average, emphasizing the strong limitations of industrial sectors for representing the firms they include. Similar error-levels are expected when estimating economic growth, CO2 emissions, and the impact of policy interventions with industry-level IO models. Granular data is key for reasonable predictions of dynamical economic systems.


title: On Freese's technique

abstract: In this paper we explore some applications of a certain technique (that we call the Freese's technique), which is a tool for identifying certain lattices as sublattices of the congruence lattice of a given algebra. In particular we will give sufficient conditions for two family of lattices (called the rods and the snakes) to be admissible as sublattices of a variety generated by a given algebra, extending an unpublished result of R. Freese and P. Lipparini.


title: Requirements analysis for HPC\&HTC infrastructures integration in ESCAPE Science Analysis Platform

abstract: ESCAPE (European Science Cluster of Astronomy and Particle physics ESFRI research infrastructures) is a project to set up a cluster of ESFRI (European Strategy Forum on Research Infrastructures) facilities for astronomy, astroparticle and particle physics to face the challenges emerging through the modern multi-disciplinary data driven science. One of the main goal of ESCAPE is the building of ESAP (ESFRI Science Analysis Platform), a science platform for the analysis of open access data available through the EOSC (European Open Science Cloud) environment. ESAP will allow EOSC researchers to identify and stage existing data collections for analysis, share data, share and run scientific workflows. For many of the concerned ESFRIs and RIs, the data scales involved require significant computational resources (storage and compute) to support processing and analysis. The EOSC-ESFRI science platform therefore must implement appropriate interfaces to an underlying HPC (High Performance Computing) or HTC (High Throughput Computing) infrastructure to take advantage of it. This poster describes the analysis done to identify the main requirements for the implementation of the interfaces enabling the ESAP data access and computation resources integration in HPC and HTC computation infrastructures in terms of authentication and authorization policies, data management, workflow deployment and run.


title: Quantum complexity of the Kronecker coefficients

abstract: Whether or not the Kronecker coefficients of the symmetric group count some set of combinatorial objects is a longstanding open question. In this work we show that a given Kronecker coefficient is proportional to the rank of a projector that can be measured efficiently using a quantum computer. In other words a Kronecker coefficient counts the dimension of the vector space spanned by the accepting witnesses of a QMA verifier, where QMA is the quantum analogue of NP. This implies that approximating the Kronecker coefficients to within a given relative error is not harder than a certain natural class of quantum approximate counting problems that captures the complexity of estimating thermal properties of quantum many-body systems. A second consequence is that deciding positivity of Kronecker coefficients is contained in QMA, complementing a recent NP-hardness result of Ikenmeyer, Mulmuley and Walter. We obtain similar results for the related problem of approximating row sums of the character table of the symmetric group. Finally, we discuss an efficient quantum algorithm that approximates normalized Kronecker coefficients to inverse-polynomial additive error.


title: Numerical approximation of SDEs with fractional noise and distributional drift

abstract: We study the numerical approximation of multidimensional stochastic differential equations (SDEs) with distributional drift, driven by a fractional Brownian motion. We work under the Catellier-Gubinelli condition for strong well-posedness, which assumes that the regularity of the drift is strictly greater than $1-1/(2H)$, where $H$ is the Hurst parameter of the noise. The focus here is on the case $H<1/2$, allowing the drift $b$ to be a distribution. We compare the solution $X$ of the SDE with drift $b$ and its tamed Euler scheme with mollified drift $b^n$, to obtain an explicit rate of convergence for the strong error. This extends previous results where $b$ was assumed to be a bounded measurable function. In addition, we investigate the limit case when the regularity of the drift is equal to $1-1/(2H)$, and obtain a non-explicit rate of convergence. As a byproduct of this convergence, there exists a strong solution that is pathwise unique in a class of H\"older continuous solutions. The proofs rely on stochastic sewing techniques, especially to deduce new regularising properties of the discrete-time fractional Brownian motion. In the limit case, we introduce a critical Gr\"onwall-type lemma to quantify the error. We also present several examples and numerical simulations that illustrate our results.


title: Hyperelliptic $A_r$-stable curves (and their moduli stack)

abstract: This paper is the second in a series of four papers aiming to describe the (almost integral) Chow ring of $\Mbar_3$, the moduli stack of stable curves of genus $3$. In this paper, we introduce the moduli stack $\Htilde_g^r$ of hyperelliptic $A_r$-stable curves and generalize the theory of hyperelliptic stable curves to hyperelliptic $A_r$-stable curves. In particular, we prove that $\Htilde_g^r$ is a smooth algebraic stacks which can be described using cyclic covers of twisted curves of genus $0$ and it embeds in $\Mtilde_g^r$ (the moduli stack of $A_r$-stable curves) as the closure of the moduli stack of smooth hyperelliptic curves.


title: Semantic Information Marketing in The Metaverse: A Learning-Based Contract Theory Framework

abstract: In this paper, we address the problem of designing incentive mechanisms by a virtual service provider (VSP) to hire sensing IoT devices to sell their sensing data to help creating and rendering the digital copy of the physical world in the Metaverse. Due to the limited bandwidth, we propose to use semantic extraction algorithms to reduce the delivered data by the sensing IoT devices. Nevertheless, mechanisms to hire sensing IoT devices to share their data with the VSP and then deliver the constructed digital twin to the Metaverse users are vulnerable to adverse selection problem. The adverse selection problem, which is caused by information asymmetry between the system entities, becomes harder to solve when the private information of the different entities are multi-dimensional. We propose a novel iterative contract design and use a new variant of multi-agent reinforcement learning (MARL) to solve the modelled multi-dimensional contract problem. To demonstrate the effectiveness of our algorithm, we conduct extensive simulations and measure several key performance metrics of the contract for the Metaverse. Our results show that our designed iterative contract is able to incentivize the participants to interact truthfully, which maximizes the profit of the VSP with minimal individual rationality (IR) and incentive compatibility (IC) violation rates. Furthermore, the proposed learning-based iterative contract framework has limited access to the private information of the participants, which is to the best of our knowledge, the first of its kind in addressing the problem of adverse selection in incentive mechanisms.


title: Fusing Visual Appearance and Geometry for Multi-modality 6DoF Object Tracking

abstract: In many applications of advanced robotic manipulation, six degrees of freedom (6DoF) object pose estimates are continuously required. In this work, we develop a multi-modality tracker that fuses information from visual appearance and geometry to estimate object poses. The algorithm extends our previous method ICG, which uses geometry, to additionally consider surface appearance. In general, object surfaces contain local characteristics from text, graphics, and patterns, as well as global differences from distinct materials and colors. To incorporate this visual information, two modalities are developed. For local characteristics, keypoint features are used to minimize distances between points from keyframes and the current image. For global differences, a novel region approach is developed that considers multiple regions on the object surface. In addition, it allows the modeling of external geometries. Experiments on the YCB-Video and OPT datasets demonstrate that our approach ICG+ performs best on both datasets, outperforming both conventional and deep learning-based methods. At the same time, the algorithm is highly efficient and runs at more than 300 Hz. The source code of our tracker is publicly available.


title: Extremal values for the spectral radius of the normalized distance Laplacian

abstract: The normalized distance Laplacian of a graph $G$ is defined as $\mathcal{D}^\mathcal{L}(G)=T(G)^{-1/2}(T(G)-\mathcal{D}(G))T(G)^{-1/2}$ where $\mathcal{D}(G)$ is the matrix with pairwise distances between vertices and $T(G)$ is the diagonal transmission matrix. In this project, we study the minimum and maximum spectral radii associated with this matrix, and the structures of the graphs that achieve these values. In particular, we prove a conjecture of Reinhart that the complete graph is the unique graph with minimum spectral radius, and we give several partial results towards a second conjecture of Reinhart regarding which graph has the maximum spectral radius.


title: Thermodynamical properties of a deformed Schwarzschild black hole via Dunkl generalization

abstract: In this paper, we construct a deformed Schwarzschild black hole from the de Sitter gauge theory of gravity within Dunkl generalization and we determine the metric coefficients versus Dunkl parameter and parity operators. Since the spacetime coordinates are not affected by the group transformations, only fields are allowed to change under the action of the symmetry group. A particular ansatz for the gauge fields is chosen and the components of the strength tensor are computed as well. Additionally, we analyze the modifications on the thermodynamic properties to a spherically symmetric black hole due to Dunkl parameters for even and odd parities. Finally, we verify a novel remark highlighted from heat capacity: the appearance of a phase transition when the odd parity is taken into account.


title: Saliency Guided Contrastive Learning on Scene Images

abstract: Self-supervised learning holds promise in leveraging large numbers of unlabeled data. However, its success heavily relies on the highly-curated dataset, e.g., ImageNet, which still needs human cleaning. Directly learning representations from less-curated scene images is essential for pushing self-supervised learning to a higher level. Different from curated images which include simple and clear semantic information, scene images are more complex and mosaic because they often include complex scenes and multiple objects. Despite being feasible, recent works largely overlooked discovering the most discriminative regions for contrastive learning to object representations in scene images. In this work, we leverage the saliency map derived from the model's output during learning to highlight these discriminative regions and guide the whole contrastive learning. Specifically, the saliency map first guides the method to crop its discriminative regions as positive pairs and then reweighs the contrastive losses among different crops by its saliency scores. Our method significantly improves the performance of self-supervised learning on scene images by +1.1, +4.3, +2.2 Top1 accuracy in ImageNet linear evaluation, Semi-supervised learning with 1% and 10% ImageNet labels, respectively. We hope our insights on saliency maps can motivate future research on more general-purpose unsupervised representation learning from scene data.


title: Unveiling the impact of temperature on magnon diffuse scattering detection in the transmission electron microscope

abstract: Magnon diffuse scattering (MDS) signals could be studied with high spatial resolution in scanning transmission electron microscopy (STEM), thanks to recent technological progress in electron energy loss spectroscopy. However, detecting MDS signals in STEM is challenging due to their overlap with stronger thermal diffuse scattering (TDS) signals. In bcc Fe at 300 K, MDS signals greater than or comparable to TDS signals occur under the central Bragg disk, into a currently inaccesible energy-loss region. Therefore, to detect MDS in STEM, it is necessary to find conditions in which TDS and MDS signals can be separated. Temperature may be a key factor due to the distinct thermal signatures of magnon and phonon signals. In this work, we present a study on the effects of temperature on MDS and TDS in bcc Fe -- considering a detector outside the central Bragg disk and a fixed convergent electron probe -- using the frozen phonon and frozen magnon multislice methods. Our study reveals that neglecting the effects of atomic vibrations causes the MDS signal to grow approximately linearly up to the Curie temperature of Fe, after which it exhibits less variation. The MDS signal displays an alternating behavior due to dynamical diffraction, instead of increasing monotonically as a function of thickness. Including the effects of atomic vibrations through a complex atomic electrostatic potential causes the linear growth of the MDS signal to change to a non-linear behavior that exhibits a predominant peak for a sample of thickness 16.072 nm at 1100 K. In contrast, the TDS signal grows more linearly than the MDS signal but still exhibits appreciable dynamical diffraction effects. An analysis of the signal-to-noise ratio (SNR) shows that the MDS signal can be a statistically significant contribution to the total scattering intensity under realizable measurement conditions and acquisition times.


title: Double-pulse streamer simulations for varying interpulse times in air

abstract: In this paper, we study how streamer discharges are influenced by a previous voltage pulse using an axisymmetric fluid model. We simulate double-pulse positive streamers in N2-O2 mixtures containing 20% and 10% O2 at 1 bar. By varying the time between the pulses between 5 ns and 10 microseconds, we observe three regimes during the second pulse: streamer continuation, inhibited growth and streamer repetition. In the streamer continuation regime, a new streamer emerges from the tip of the previous one. In the inhibited regime, the previous channel is partially re-ionized, but there is considerably less field enhancement and almost no light emission. Finally, for the longest interpulse times, a new streamer forms that is similar to the first one. The remaining electron densities at which we observe streamer continuation agree with earlier experimental work. We introduce an estimate which relates streamer continuation to the dielectric relaxation time, the background field and the pulse duration. Furthermore, we show that for interpulse times above 100 ns several electron detachment reactions significantly slow down the decay of the electron density.


title: Gap-closing Matters: Perceptual Quality Evaluation and Optimization of Low-Light Image Enhancement

abstract: There is a growing consensus in the research community that the optimization of low-light image enhancement approaches should be guided by the visual quality perceived by end users. Despite the substantial efforts invested in the design of low-light enhancement algorithms, there has been comparatively limited focus on assessing subjective and objective quality systematically. To mitigate this gap and provide a clear path towards optimizing low-light image enhancement for better visual quality, we propose a gap-closing framework. In particular, our gap-closing framework starts with the creation of a large-scale dataset for Subjective QUality Assessment of REconstructed LOw-Light Images (SQUARE-LOL). This database serves as the foundation for studying the quality of enhanced images and conducting a comprehensive subjective user study. Subsequently, we propose an objective quality assessment measure that plays a critical role in bridging the gap between visual quality and enhancement. Finally, we demonstrate that our proposed objective quality measure can be incorporated into the process of optimizing the learning of the enhancement model toward perceptual optimality. We validate the effectiveness of our proposed framework through both the accuracy of quality prediction and the perceptual quality of image enhancement. Our database and codes are publicly available at https://github.com/Baoliang93/IACA_For_Lowlight_IQA.


title: Understanding the complex dynamics of climate change in south-west Australia using Machine Learning

abstract: The Standardized Precipitation Index (SPI) is used to indicate the meteorological drought situation - a negative (or positive) value of SPI would imply a dry (or wet) condition in a region over a period. The climate system is an excellent example of a complex system since there is an interplay and inter-relation of several climate variables. It is not always easy to identify the factors that may influence the SPI, or their inter-relations (including feedback loops). Here, we aim to study the complex dynamics that SPI has with the SST, NINO 3.4 and Indian Ocean Dipole (IOD), using a machine learning approach. Our findings are: (i) IOD was negatively correlated to SPI till 2008; (ii) until 2004, SST was negatively correlated with SPI; (iii) from 2005 to 2014, the SST had swung between negative and positive correlations; (iv) since 2014, we observed that the regression coefficient ($\delta$) corresponding to SST has always been positive; (v) the SST has an upward trend, and the positive upward trend of $\delta$ implied that SPI has been positively correlated with SST in recent years; and finally, (vi) the current value of SPI has a significant positive correlation with a past SPI value with a periodicity of about 7.5 years. Examining the complex dynamics, we used a statistical machine learning approach to construct an inferential network of these climate variables, which revealed that SST and NINO 3.4 directly couples with SPI, whereas IOD indirectly couples with SPI through SST and NINO 3.4. The system also indicated that Nino 3.4 has a significant negative effect on SPI. Interestingly, there seems to be a structural change in the complex dynamics of the four climate variables, some time in 2008. Though a simple 12-month moving average of SPI has a negative trend towards drought, the complex dynamics of SPI with other climate variables indicate a wet season for western Australia.


title: Advancements in Federated Learning: Models, Methods, and Privacy

abstract: Federated learning (FL) is a promising technique for addressing the rising privacy and security issues. Its main ingredient is to cooperatively learn the model among the distributed clients without uploading any sensitive data. In this paper, we conducted a thorough review of the related works, following the development context and deeply mining the key technologies behind FL from both theoretical and practical perspectives. Specifically, we first classify the existing works in FL architecture based on the network topology of FL systems with detailed analysis and summarization. Next, we abstract the current application problems, summarize the general techniques and frame the application problems into the general paradigm of FL base models. Moreover, we provide our proposed solutions for model training via FL. We have summarized and analyzed the existing FedOpt algorithms, and deeply revealed the algorithmic development principles of many first-order algorithms in depth, proposing a more generalized algorithm design framework. Based on these frameworks, we have instantiated FedOpt algorithms. As privacy and security is the fundamental requirement in FL, we provide the existing attack scenarios and the defense methods. To the best of our knowledge, we are among the first tier to review the theoretical methodology and propose our strategies since there are very few works surveying the theoretical approaches. Our survey targets motivating the development of high-performance, privacy-preserving, and secure methods to integrate FL into real-world applications.


title: Power Constrained Autotuning using Graph Neural Networks

abstract: Recent advances in multi and many-core processors have led to significant improvements in the performance of scientific computing applications. However, the addition of a large number of complex cores have also increased the overall power consumption, and power has become a first-order design constraint in modern processors. While we can limit power consumption by simply applying software-based power constraints, applying them blindly will lead to non-trivial performance degradation. To address the challenge of improving the performance, power, and energy efficiency of scientific applications on modern multi-core processors, we propose a novel Graph Neural Network based auto-tuning approach that (i) optimizes runtime performance at pre-defined power constraints, and (ii) simultaneously optimizes for runtime performance and energy efficiency by minimizing the energy-delay product. The key idea behind this approach lies in modeling parallel code regions as flow-aware code graphs to capture both semantic and structural code features. We demonstrate the efficacy of our approach by conducting an extensive evaluation on $30$ benchmarks and proxy-/mini-applications with $68$ OpenMP code regions. Our approach identifies OpenMP configurations at different power constraints that yield a geometric mean performance improvement of more than $25\%$ and $13\%$ over the default OpenMP configuration on a 32-core Skylake and a $16$-core Haswell processor respectively. In addition, when we optimize for the energy-delay product, the OpenMP configurations selected by our auto-tuner demonstrate both performance improvement of $21\%$ and $11\%$ and energy reduction of $29\%$ and $18\%$ over the default OpenMP configuration at Thermal Design Power for the same Skylake and Haswell processors, respectively.


title: Entanglement entropy of higher rank topological phases

abstract: We study entanglement entropy of unusual $\mathbb{Z}_N$ topological stabilizer codes which admit fractional excitations with restricted mobility constraint in a manner akin to fracton topological phases. It is widely known that the sub-leading term of the entanglement entropy of a disk geometry in conventional topologically ordered phases is related to the total number of the quantum dimension of the fractional excitations. We show that, in our model, such a relation does not hold, i.e, the total number of the quantum dimension varies depending on the system size, whereas the sub-leading term of the entanglement entropy takes a constant number irrespective to the system size. We give a physical interpretation of this result in the simplest case of the model. More thorough analysis on the entanglement entropy of the model on generic lattices is also presented.