title: Coping with loss: Stability of mass transfer from post-main sequence donor stars

abstract: The stability of mass transfer is critical in determining pathways towards various kinds of compact binaries, such as compact main-sequence white-dwarf binaries, and transients, such as double white-dwarf mergers and luminous red novae. Despite its importance, only very few systematic studies of the stability of mass transfer exist. Using the 1D stellar evolution code MESA, we study the behaviour of mass-losing post-main-sequence donor stars with masses between $1 M_{\odot}$ and $8 M_{\odot}$ in binaries, without assuming that the donor star responds to mass loss adiabatically . We treat the accretor as a point mass, which we do not evolve, and assume the mass transfer is conservative. We find that the criterion that best predicts the onset of runaway mass transfer is based on the transition to an effectively adiabatic donor response to mass loss. We find that the critical mass ratio $q_{\rm qad} \sim 0.25$ for stars crossing the Hertzsprung gap, while for convective giants $q_{\rm qad}$ decreases from $\sim 1$ at the base of the RGB to $\sim 0.1$ at the the onset of thermal pulses on the AGB. An effectively adiabatic response of the donor star only occurs at a very high critical mass-transfer rate due to the short local thermal timescale in the outermost layers of a red giant. For $q > q_{\rm qad}$ mass transfer is self-regulated, but for evolved giants the resulting mass-transfer rates can be so high that the evolution becomes dynamical and/or the donor can overflow its outer lobe. Our results indicate that mass transfer is stable for a wider range of binary parameter space than typically assumed in rapid binary population synthesis and found in recent similar studies. Moreover, we find a systematic dependence of the critical mass ratio on the donor star mass and radius which may have significant consequences for predictions of post-mass-transfer populations.


title: Faith: An Efficient Framework for Transformer Verification on GPUs

abstract: Transformer verification draws increasing attention in machine learning research and industry. It formally verifies the robustness of transformers against adversarial attacks such as exchanging words in a sentence with synonyms. However, the performance of transformer verification is still not satisfactory due to bound-centric computation which is significantly different from standard neural networks. In this paper, we propose Faith, an efficient framework for transformer verification on GPUs. We first propose a semantic-aware computation graph transformation to identify semantic information such as bound computation in transformer verification. We exploit such semantic information to enable efficient kernel fusion at the computation graph level. Second, we propose a verification-specialized kernel crafter to efficiently map transformer verification to modern GPUs. This crafter exploits a set of GPU hardware supports to accelerate verification specialized operations which are usually memory-intensive. Third, we propose an expert-guided autotuning to incorporate expert knowledge on GPU backends to facilitate large search space exploration. Extensive evaluations show that Faith achieves $2.1\times$ to $3.4\times$ ($2.6\times$ on average) speedup over state-of-the-art frameworks.


title: Comparison between Artificial Neural Network and Adaptive Neuro-Fuzzy Inference System For The Baryon-to-Meson Ratios in Proton-Proton Collisions

abstract: This article presents two systems that can simulate and predict Particles ratios created in high energy proton-proton (pp) collisions as a function of transverse momentum and the center-of-mass energy. An adaptive neurofuzzy inference system (ANFIS) and an artificial neural network (ANN) system are the systems in discussion. The ANFIS and ANN simulation results for training particles ratios as evaluated with training data points revealed an excellent match to the experimental data. The ANFIS and ANN's prediction abilities were also tested using data points that were not included in training and they performed well. The results clearly show that these methods are capable of extracting collision information and that they are helpful. Also, ANFIS and ANN results were compared with additional theoretical results (PYTHIA (CR Mode), HERWIG7, PYTHIA, PYTHIA8 (Monash), and EPOS-LHC). It is found that the ANFIS shows better performance and is trained more quickly than the ANN system and other theoretical models.


title: Upgrading subordination properties in free probability theory

abstract: The existence of Voiculescu's subordination functions in the context of non-tracial operator-valued C*-probability spaces has been established using analytic function theory methods. We use a matrix construction to show that the subordination functions thus obtained also satisfy an appropriately modified form of subordination for conditional expectations.


title: Can Large Language Models Truly Understand Prompts? A Case Study with Negated Prompts

abstract: Previous work has shown that there exists a scaling law between the size of Language Models (LMs) and their zero-shot performance on different downstream NLP tasks. In this work, we show that this phenomenon does not hold when evaluating large LMs on tasks with negated prompts, but instead shows an inverse scaling law. We evaluate 9 different tasks with negated prompts on (1) pretrained LMs (OPT & GPT-3) of varying sizes (125M - 175B), (2) LMs further pretrained to generalize to novel prompts (InstructGPT), (3) LMs provided with few-shot examples, and (4) LMs fine-tuned specifically on negated prompts; all LM types perform worse on negated prompts as they scale and show a huge performance gap between the human performance when comparing the average score on both original and negated prompts. By highlighting a critical limitation of existing LMs and methods, we urge the community to develop new approaches of developing LMs that actually follow the given instructions. We provide the code and the datasets to explore negated prompts at https://github.com/joeljang/negated-prompts-for-llms


title: Identifying maximal sets of significantly interacting nodes in higher-order networks

abstract: We introduce a method for the detection of Statistically Validated Simplices in higher-order networks. Statistically validated simplices represent the maximal sets of nodes of any size that consistently interact collectively and do not include co-interacting nodes that appears only occasionally. Using properly designed higher-order benchmarks, we show that our approach is highly effective in systems where the maximal sets are likely to be diluted into interactions of larger sizes that include occasional participants. By applying our method to two real world datasets, we also show how it allows to detect simplices whose nodes are characterized by significant levels of similarity, providing new insights on the generative processes of real world higher-order networks.


title: Multi-Agent Sequential Decision-Making via Communication

abstract: Communication helps agents to obtain information about others so that better coordinated behavior can be learned. Some existing work communicates predicted future trajectory with others, hoping to get clues about what others would do for better coordination. However, circular dependencies sometimes can occur when agents are treated synchronously so it is hard to coordinate decision-making. In this paper, we propose a novel communication scheme, Sequential Communication (SeqComm). SeqComm treats agents asynchronously (the upper-level agents make decisions before the lower-level ones) and has two communication phases. In negotiation phase, agents determine the priority of decision-making by communicating hidden states of observations and comparing the value of intention, which is obtained by modeling the environment dynamics. In launching phase, the upper-level agents take the lead in making decisions and communicate their actions with the lower-level agents. Theoretically, we prove the policies learned by SeqComm are guaranteed to improve monotonically and converge. Empirically, we show that SeqComm outperforms existing methods in various multi-agent cooperative tasks.


title: Text Summarization with Oracle Expectation

abstract: Extractive summarization produces summaries by identifying and concatenating the most important sentences in a document. Since most summarization datasets do not come with gold labels indicating whether document sentences are summary-worthy, different labeling algorithms have been proposed to extrapolate oracle extracts for model training. In this work, we identify two flaws with the widely used greedy labeling approach: it delivers suboptimal and deterministic oracles. To alleviate both issues, we propose a simple yet effective labeling algorithm that creates soft, expectation-based sentence labels. We define a new learning objective for extractive summarization which incorporates learning signals from multiple oracle summaries and prove it is equivalent to estimating the oracle expectation for each document sentence. Without any architectural modifications, the proposed labeling scheme achieves superior performance on a variety of summarization benchmarks across domains and languages, in both supervised and zero-shot settings.


title: Self-supervised Denoising via Low-rank Tensor Approximated Convolutional Neural Network

abstract: Noise is ubiquitous during image acquisition. Sufficient denoising is often an important first step for image processing. In recent decades, deep neural networks (DNNs) have been widely used for image denoising. Most DNN-based image denoising methods require a large-scale dataset or focus on supervised settings, in which single/pairs of clean images or a set of noisy images are required. This poses a significant burden on the image acquisition process. Moreover, denoisers trained on datasets of limited scale may incur over-fitting. To mitigate these issues, we introduce a new self-supervised framework for image denoising based on the Tucker low-rank tensor approximation. With the proposed design, we are able to characterize our denoiser with fewer parameters and train it based on a single image, which considerably improves the model generalizability and reduces the cost of data acquisition. Extensive experiments on both synthetic and real-world noisy images have been conducted. Empirical results show that our proposed method outperforms existing non-learning-based methods (e.g., low-pass filter, non-local mean), single-image unsupervised denoisers (e.g., DIP, NN+BM3D) evaluated on both in-sample and out-sample datasets. The proposed method even achieves comparable performances with some supervised methods (e.g., DnCNN).


title: Polarization of generalized Nijenhuis torsions

abstract: In this work, we introduce the notion of polarization of generalized Nijenhuis torsions and establish several algebraic identities. We prove that these polarizations are relevant in the characterization of Haantjes $C^{\infty}$(M)-modules of operator fields.


title: Quasi-invariant states

abstract: We develop the theory of quasi--invariant (resp. strongly quasi--invariant) states under the action of a group $G$ of normal $*$--automorphisms of a $*$--algebra (or von Neumann alegbra) $\mathcal{A}$. We prove that these states are naturally associated to left--$G$--$1$--cocycles. If $G$ is compact, the structure of strongly $G$--quasi--invariant states is determined. For any $G$--strongly quasi--invariant state $\varphi$, we construct a unitary representation associated to the triple $(\mathcal{A},G,\varphi)$. We prove, under some conditions, that any quantum Markov chain with commuting, invertible and hermitean conditional density amplitudes on a countable tensor product of type I factors is strongly quasi--invariant with respect to the natural action of the group $\mathcal{S}_{\infty}$ of local permutations and we give the explicit form of the associated cocycle. This provides a family of non--trivial examples of strongly quasi--invariant states for locally compact groups obtained as inductive limit of an increasing sequence of compact groups.


title: On a generalized Auslander-Reiten conjecture

abstract: It is well-known that the generalized Auslander-Reiten condition (GARC) and the symmetric Auslander condition (SAC) are equivalent, and (GARC) implies that the Auslander-Reiten condition (ARC). In this paper we explore (SAC) along with the several canonical change of rings $R \to S$. First, we prove the equivalence of (SAC) for $R$ and $R/xR$, where $x$ is a non-zerodivisor on $R$, and the equivalence of (SAC) and (SACC) for rings with positive depth, where (SACC) is the symmetric Auslander condition for modules with constant rank. The latter assertion affirmatively answers a question posed by Celikbas and Takahashi. Secondly, for a ring homomorphism $R \to S$, we prove that if $S$ satisfies (SAC) (resp. (ARC)), then $R$ also satisfies (SAC) (resp. (ARC)) if the flat dimension of $S$ over $R$ is finite. We also prove that (SAC) for $R$ implies that (SAC) for $S$ when $R$ is Gorenstein and $S=R/Q^\ell$, where $Q$ is generated by a regular sequence of $R$ and the length of the sequence is at least $\ell$. This is a consequence of more general results about Ulrich ideals proved in this paper. Applying these results to determinantal rings and numerical semigroup rings, we provide new classes of rings satisfying (SAC). A relation between (SAC) and an invariant related to the finitistic extension degree is also explored.


title: An analogue of Siegel's determinant

abstract: Siegel-Shidlovskii theory of $E$-functions involves a non-vanishing proof for the determinants attached to the linear forms $D^kR(t)$, derivatives of an auxiliary function $R(t)$. Let a non-zero function $F(t)$ satisfy $m$th order linear differential equation which we shall write using the differential operator $\Delta=tD$ and let $L(t)$ be any non-zero linear form of the derivatives $\Delta^i F(t)$ $(i=0,...,m-1; m\ge 2)$. The determinants $\det\mathcal A_k$ attached to the linear forms $\Delta^kL(t)$ have certain simple properties that allow us to give a short proof for the non-vanishing of $\det\mathcal A_k$ for a class of differential equations including a subclass of hypergeometric differential equations.


title: Anharmonicity in Thermal Insulators: An Analysis from First Principles

abstract: The anharmonicity of atomic motion limits the thermal conductivity in crystalline solids. However, a microscopic understanding of the mechanisms active in strong thermal insulators is lacking. In this letter, we classify 465 experimentally known materials with respect to their anharmonicity and perform fully anharmonic ab initio Green-Kubo calculations for 58 of them, finding 28 thermal insulators with $\kappa < 10$ W/mK including 6 with ultralow $\kappa \lesssim 1$ W/mK. Our analysis reveals that the underlying strong anharmonic dynamics is driven by the exploration of meta-stable intrinsic defect geometries. This is at variance with the frequently applied perturbative approach, in which the dynamics is assumed to evolve around a single stable geometry.


title: MIMO Integrated Sensing and Communication: CRB-Rate Tradeoff

abstract: This paper studies a multiple-input multiple-output (MIMO) integrated sensing and communication (ISAC) system, in which a multi-antenna base station (BS) sends unified wireless signals to estimate one sensing target and communicate with a multi-antenna communication user (CU) simultaneously. We consider both the point and extended target models. For the point target case, the BS estimates the target angle and we adopt the Cram\'er-Rao bound (CRB) for angle estimation as the sensing performance metric. For the extended target case, the BS estimates the complete target response matrix, and we consider three different sensing performance metrics including the trace, the maximum eigenvalue, and the determinant of the CRB matrix for target response matrix estimation. For each of the four scenarios with different CRB measures, we investigate the fundamental tradeoff between the CRB for estimation and the data rate for communication, by characterizing the Pareto boundary of the achievable CRB-rate (C-R) region. In particular, we formulate a new MIMO rate maximization problem for each scenario, by optimizing the transmit covariance matrix at the BS, subject to a different form of maximum CRB constraint and its maximum transmit power constraint. For these problems, we obtain their optimal solutions in semi-closed forms by using advanced convex optimization techniques. For the point target case, the optimal solution is obtained by diagonalizing a \emph{composite channel matrix} via singular value decomposition (SVD) together with water-filling-like power allocation over these decomposed subchannels. For the three scenarios in the extended target case, the optimal solutions are obtained by diagonalizing the \emph{communication channel} via SVD, together with proper power allocation over two orthogonal sets of subchannels. Numerical results are conducted to validate the proposed design.


title: Characterization of single shallow silicon-vacancy centers in 4H-SiC

abstract: Shallow negatively charged silicon-vacancy centers have applications in magnetic quantum sensing and other quantum applications. Vacancy centers near the surface (within 100 nm) have different spin relaxation rates and optical spin polarization, affecting the optically detected magnetic resonance (ODMR) signal. This makes it essential to characterize these centers. Here we present the relevant spin properties of such centers. ODMR with a contrast of up to 6 %, which is better than the state of the art, allowed us to determine the zero field splitting, which is relevant for most sensing applications. We also present intensity-correlation data to verify that the signal originates from a single center and to extract transition rates between different electronic states.


title: LOViS: Learning Orientation and Visual Signals for Vision and Language Navigation

abstract: Understanding spatial and visual information is essential for a navigation agent who follows natural language instructions. The current Transformer-based VLN agents entangle the orientation and vision information, which limits the gain from the learning of each information source. In this paper, we design a neural agent with explicit Orientation and Vision modules. Those modules learn to ground spatial information and landmark mentions in the instructions to the visual environment more effectively. To strengthen the spatial reasoning and visual perception of the agent, we design specific pre-training tasks to feed and better utilize the corresponding modules in our final navigation model. We evaluate our approach on both Room2room (R2R) and Room4room (R4R) datasets and achieve the state of the art results on both benchmarks.


title: A quantitative strong parabolic maximum principle and application to a taxis-type migration-consumption model involving signal-dependent degenerate diffusion

abstract: The taxis-type migration-consumption model accounting for signal-dependent motilities, as given by \[ u_t = \Delta \big(u\phi(v)\big), v_t = \Delta v-uv, \qquad (*) \] is considered for suitably smooth functions $\phi:[0,\infty)\to R$ which are such that $\phi>0$ on $(0,\infty)$, but that in addition $\phi(0)=0$ with $\phi'(0)>0$. In order to appropriately cope with the diffusion degeneracies thereby included, this study separately examines the Neumann problem for the linear equation \[ V_t = \Delta V + \nabla\cdot \big( a(x,t)V\big) + b(x,t)V \] and establishes a statement on how pointwise positive lower bounds for nonnegative solutions depend on the supremum and the mass of the initial data, and on integrability features of $a$ and $b$. This is thereafter used as a key tool in the derivation of a result on global existence of solutions to (*), smooth and classical for positive times, under the mere assumption that the suitably regular initial data be nonnegative in both components. Apart from that, these solutions are seen to stabilize toward some equilibrium, and as a qualitative effect genuinely due to degeneracy in diffusion, a criterion on initial smallness of the second component is identified as sufficient for this limit state to be spatially nonconstant.


title: Doubly Intermittent Full Branch Maps with Critical Points and Singularities

abstract: We study a class of one-dimensional full branch maps admitting two indifferent fixed points as well as critical points and/or unbounded derivative. Under some mild assumptions we prove the existence of a unique invariant mixing absolutely continuous probability measures, study its rate of decay of correlation and prove a number of limit theorems.


title: An Improved PMOS-Based Low Dropout Regulator Design for Large Loads

abstract: A stable low dropout (LDO) voltage regulator topology is presented in this paper. LDOs are linear voltage regulators that do not produce ripples in the DC voltage. Despite the close proximity of the supply input voltage to the output, this regulator will maintain the desired output voltage. Based on a detailed comparison between NMOS and PMOS-based LDOs, we decided to opt for a PMOS design because it does not require an additional charge pump as compared to NMOS. A demonstration of how Miller capacitance enhances overall design stability is also presented here. Multiple pass elements are arranged in parallel in order to increase the current carrying capacity of the pass network.


title: A Simple Way to Learn Metrics Between Attributed Graphs

abstract: The choice of good distances and similarity measures between objects is important for many machine learning methods. Therefore, many metric learning algorithms have been developed in recent years, mainly for Euclidean data in order to improve performance of classification or clustering methods. However, due to difficulties in establishing computable, efficient and differentiable distances between attributed graphs, few metric learning algorithms adapted to graphs have been developed despite the strong interest of the community. In this paper, we address this issue by proposing a new Simple Graph Metric Learning - SGML - model with few trainable parameters based on Simple Graph Convolutional Neural Networks - SGCN - and elements of Optimal Transport theory. This model allows us to build an appropriate distance from a database of labeled (attributed) graphs to improve the performance of simple classification algorithms such as $k$-NN. This distance can be quickly trained while maintaining good performances as illustrated by the experimental study presented in this paper.


title: Prayatul Matrix: A Direct Comparison Approach to Evaluate Performance of Supervised Machine Learning Models

abstract: Performance comparison of supervised machine learning (ML) models are widely done in terms of different confusion matrix based scores obtained on test datasets. However, a dataset comprises several instances having different difficulty levels. Therefore, it is more logical to compare effectiveness of ML models on individual instances instead of comparing scores obtained for the entire dataset. In this paper, an alternative approach is proposed for direct comparison of supervised ML models in terms of individual instances within the dataset. A direct comparison matrix called \emph{Prayatul Matrix} is introduced, which accounts for comparative outcome of two ML algorithms on different instances of a dataset. Five different performance measures are designed based on prayatul matrix. Efficacy of the proposed approach as well as designed measures is analyzed with four classification techniques on three datasets. Also analyzed on four large-scale complex image datasets with four deep learning models namely ResNet50V2, MobileNetV2, EfficientNet, and XceptionNet. Results are evident that the newly designed measure are capable of giving more insight about the comparing ML algorithms, which were impossible with existing confusion matrix based scores like accuracy, precision and recall.


title: DeepFusion: A Robust and Modular 3D Object Detector for Lidars, Cameras and Radars

abstract: We propose DeepFusion, a modular multi-modal architecture to fuse lidars, cameras and radars in different combinations for 3D object detection. Specialized feature extractors take advantage of each modality and can be exchanged easily, making the approach simple and flexible. Extracted features are transformed into bird's-eye-view as a common representation for fusion. Spatial and semantic alignment is performed prior to fusing modalities in the feature space. Finally, a detection head exploits rich multi-modal features for improved 3D detection performance. Experimental results for lidar-camera, lidar-camera-radar and camera-radar fusion show the flexibility and effectiveness of our fusion approach. In the process, we study the largely unexplored task of faraway car detection up to 225 meters, showing the benefits of our lidar-camera fusion. Furthermore, we investigate the required density of lidar points for 3D object detection and illustrate implications at the example of robustness against adverse weather conditions. Moreover, ablation studies on our camera-radar fusion highlight the importance of accurate depth estimation.


title: Large nearest neighbour balls in hyperbolic stochastic geometry

abstract: Consider a stationary Poisson process in a $d$-dimensional hyperbolic space. For $R>0$ define the point process $\xi_R^{(k)}$ of exceedance heights over a suitable threshold of the hyperbolic volumes of $k$th nearest neighbour balls centred around the points of the Poisson process within a hyperbolic ball of radius $R$ centred at a fixed point. The point process $\xi_R^{(k)}$ is compared to an inhomogeneous Poisson process on the real line with intensity function $e^{-u}$ and point process convergence in the Kantorovich-Rubinstein distance is shown. From this, a quantitative limit theorem for the hyperbolic maximum $k$th nearest neighbour ball with a limiting Gumbel distribution is derived.


title: Machine Learning for Improved Gas Network Models in Coordinated Energy Systems

abstract: The current energy transition promotes the convergence of operation between the power and natural gas systems. In that direction, it becomes paramount to improve the modeling of non-convex natural gas flow dynamics within the coordinated power and gas dispatch. In this work, we propose a neural-network-constrained optimization method which includes a regression model of the Weymouth equation, based on supervised machine learning. The Weymouth equation links gas flow to inlet and outlet pressures for each pipeline via a quadratic equality, which is captured by a neural network. The latter is encoded via a tractable mixed-integer linear program into the set of constraints. In addition, our proposed framework is capable of considering bidirectionality without having recourse to complex and potentially inaccurate convexification approaches. We further enhance our model by introducing a reformulation of the activation function, which improves the computational efficiency. An extensive numerical study based on the real-life Belgian power and gas systems shows that the proposed methodology yields promising results in terms of accuracy and tractability.


title: The Effect of Non-Gaussian Noise on Auto-correlative Weak-value Amplification

abstract: Accurate knowledge of the spectral features of noise and their influence on open quantum systems is fundamental for quantitative understanding and prediction of the dynamics in a realistic environment. For the weak measurements of two-level systems, the weak value obtained from experiments will inevitably be affected by the noise of the environment. Following our earlier work on the technique of the auto-correlative weak-value amplification (AWVA) approach under a Gaussian noise environment, here we study the effect of non-Gaussian noise on the AWVA technique.In particular, two types of noise with a negative-dB signal-to-noise ratio, frequency-stationary noises and frequency-nonstationary noises are studied. The various frequency-stationary noises, including low-frequency (1/f) noises, medium-frequency noises, and high-frequency noises, are generated in Simulink by translating the Gaussian white noise with different band-pass filters. While impulsive noise is studied as an example of frequency-non stationary noises. Our simulated results demonstrate that 1/f noises and impulsive noises have greater disturbance on the AWVA measurements. In addition, adding one kind of frequency-stationary noise, clamping the detected signals, and dominating the measurement range may {have} the potential to improve the precision of the AWVA technique with both a smaller deviation of the mean value and a smaller error bar in the presence of many hostile non-Gaussian noises.


title: Informative Text Generation from Knowledge Triples

abstract: As the development of the encoder-decoder architecture, researchers are able to study the text generation tasks with broader types of data. Among them, KB-to-text aims at converting a set of knowledge triples into human readable sentences. In the original setting, the task assumes that the input triples and the text are exactly aligned in the perspective of the embodied knowledge/information. In this paper, we extend this setting and explore how to facilitate the trained model to generate more informative text, namely, containing more information about the triple entities but not conveyed by the input triples. To solve this problem, we propose a novel memory augmented generator that employs a memory network to memorize the useful knowledge learned during the training and utilizes such information together with the input triples to generate text in the operational or testing phase. We derive a dataset from WebNLG for our new setting and conduct extensive experiments to investigate the effectiveness of our model as well as uncover the intrinsic characteristics of the setting.


title: Partially dissipative systems in the critical regularity setting, and strong relaxation limit

abstract: Many physical phenomena may be modelled by first order hyperbolic equations with degenerate dissipative or diffusive terms. This is the case for example in gas dynamics, where the mass is conserved during the evolution, but the momentum balance includes a diffusion (viscosity) or damping (relaxation) term, or, in numerical simulations, of conservation laws by relaxation schemes. Such so-called partially dissipative systems have been first pointed out by S.K. Godunov in a short note in Russian in 1961. Much later, in 1984, S. Kawashima highlighted in his PhD thesis a simple criterion ensuring the existence of global strong solutions in the vicinity of a linearly stable constant state. This criterion has been revisited in a number of research works. In particular, K. Beauchard and E. Zuazua proposed in 2010 an explicit method for constructing a Lyapunov functional allowing to refine Kawashima's results and to establish global existence results in some situations that were not covered before. These notes originate essentially from the PhD thesis of T. Crin-Barat that was initially motivated by an earlier observation of the author in a Chapter of the handbook coedited by Y. Giga and A. Novotn{\'y}. Our main aim is to adapt the method of Beauchard and Zuazua to a class of symmetrizable quasilinear hyperbolic systems (containing the compressible Euler equations), in a critical regularity setting that allows to keep track of the dependence with respect to e.g. the relaxation parameter. Compared to Beauchard and Zuazua's work, we exhibit a 'damped mode' that will have a key role in the construction of global solutions with critical regularity, in the proof of optimal time-decay estimates and, last but not least, in the study of the strong relaxation limit. For simplicity, we here focus on a simple class of partially dissipative systems, but the overall strategy is rather flexible, and adaptable to much more involved situations.


title: Universal turbulent relaxation of fluids and plasmas by the principle of vanishing nonlinear transfers

abstract: A seventy year old problem of fluid and plasma relaxation has been revisited. A new principle of vanishing nonlinear transfer has been proposed to develop a unified theory of turbulent relaxation of neutral fluids and plasmas. Unlike previous studies, the new principle enables us to find the relaxed states unambiguously without going through any variational principle. The general relaxed states obtained herein are found to support naturally a pressure gradient which is consistent with several numerical studies. Relaxed states are reduced to Beltrami type aligned states where the pressure gradient is negligibly small.


title: Gromov-Hausdorff metrics and dimensions of Lorentzian length spaces

abstract: We construct analoga of Gromov-Hausdorff space for Lorentzian distances and show a Gromov precompactness result for one of them. After calculating the Dushnik-Miller dimension of Minkowski spaces (of manifold dimension larger than 2) to be countable infinity, we define a dimension for ordered sets recovering the correct manifold dimension, obtain an obstruction for existence of injective monotonous maps between Lorentzian length spaces, induce functorial pseudo-metrics on Cauchy subsets that in the spacetime case coincide with the Riemannian ones, and prove existence of anti-Lipschitz Cauchy functions with a given Cauchy zero locus, a fundamental ingredient for the Sormani-Vega null distance.


title: A connection between probability, physics and neural networks

abstract: We illustrate an approach that can be exploited for constructing neural networks which a priori obey physical laws. We start with a simple single-layer neural network (NN) but refrain from choosing the activation functions yet. Under certain conditions and in the infinite-width limit, we may apply the central limit theorem, upon which the NN output becomes Gaussian. We may then investigate and manipulate the limit network by falling back on Gaussian process (GP) theory. It is observed that linear operators acting upon a GP again yield a GP. This also holds true for differential operators defining differential equations and describing physical laws. If we demand the GP, or equivalently the limit network, to obey the physical law, then this yields an equation for the covariance function or kernel of the GP, whose solution equivalently constrains the model to obey the physical law. The central limit theorem then suggests that NNs can be constructed to obey a physical law by choosing the activation functions such that they match a particular kernel in the infinite-width limit. The activation functions constructed in this way guarantee the NN to a priori obey the physics, up to the approximation error of non-infinite network width. Simple examples of the homogeneous 1D-Helmholtz equation are discussed and compared to naive kernels and activations.

categories: stat.ML cs.LG physics.comp-ph physics.data-an stat.CO stat.ME


title: Enhanced strong-coupling stimulated Brillouin amplification assisted by Raman amplification

abstract: Higher intensity of strong-coupling stimulated Brillouin scattering (SC-SBS) amplification is achieved by supplementary Raman amplification. In the new scheme, a Raman pump laser first amplifies the seed pulse in the homogeneous plasma, then a SC-SBS pump laser continues the amplification in the inhomogeneous plasma in order to suppress the spontaneous instability of pump lasers. The intensity of seed laser gets higher and the duration of seed laser gets shorter than that in the pure SC-SBS scheme with the same incident energy, while the energy conversion effciency is not significantly reduced. We also found that the SC-SBS amplification is seeded by the \pi pulse of Raman amplification. The results obtained from envelope coupling equations, Vlasov simulations and two-dimensional particle-in-cell(PIC) simulations agree with each other. This scheme is a simple and effective way to improve the SC-SBS amplification and is easy to implement in experiments.


title: Renewable Composite Quantile Method and Algorithm for Nonparametric Models with Streaming Data

abstract: We are interested in renewable estimations and algorithms for nonparametric models with streaming data. In our method, the nonparametric function of interest is expressed through a functional depending on a weight function and a conditional distribution function (CDF). The CDF is estimated by renewable kernel estimations combined with function interpolations, based on which we propose the method of renewable weighted composite quantile regression (WCQR). Then we fully use the model structure and obtain new selectors for the weight function, such that the WCQR can achieve asymptotic unbiasness when estimating specific functions in the model. We also propose practical bandwidth selectors for streaming data and find the optimal weight function minimizing the asymptotic variance. The asymptotical results show that our estimator is almost equivalent to the oracle estimator obtained from the entire data together. Besides, our method also enjoys adaptiveness to error distributions, robustness to outliers, and efficiency in both estimation and computation. Simulation studies and real data analyses further confirm our theoretical findings.


title: On the non-triviality of the torsion subgroup of the abelianized Johnson kernel

abstract: The Johnson kernel is the subgroup of the mapping class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves. The rational abelianization of the Johnson kernel has been computed by Dimca, Hain and Papadima, and a more explicit form was subsequently provided by Morita, Sakasai and Suzuki. Based on these results, Nozaki, Sato and Suzuki used the theory of finite-type invariants of 3-manifolds to prove that the torsion subgroup of the abelianized Johnson kernel is non-trivial. In this paper, we give a purely 2-dimensional proof of the non-triviality of this torsion subgroup and provide a lower bound for its cardinality. Our main tool is the action of the mapping class group on the Malcev Lie algebra of the fundamental group of the surface. Using the same infinitesimal techniques, we also provide an alternative diagrammatic description of the rational abelianized Johnson kernel, and we include in the results the case of an oriented surface with one boundary component.


title: Kinematical Constraint on Eccentricity in the Protoplanetary Disk MWC 758 with ALMA

abstract: We analyzed the archival data of the $^{13}\mathrm{CO}$ and $\mathrm{C}^{18}\mathrm{O}$ $J=3-2$ emission lines in the protoplanetary disk around MWC 758 obtained with the Atacama Large Millimeter/submillimeter Array to discuss possible planet-disk interaction and non-Keplerian motion in the disk. We performed fitting of a Keplerian disk model to the observational data and measured the velocity deviations from the Keplerian rotation. We found significant velocity deviations around the inner cavity in the MWC 758 disk. We examined several possibilities that may cause the velocity deviations, such as pressure gradient, height of the emitting layer, infall motion, inner warp, and eccentricity in the disk. We found that the combination of an eccentric orbital motion with eccentricity of $0.1\pm0.04$ at the radius of the inner cavity and an infalling flow best explains the observed velocity deviations. Our kinematically constrained eccentricity of the gas orbital motion close to the inner cavity is consistent with the eccentricity of the dust ring around the inner cavity measured in the submillimeter continuum emission. Our results hint at strong dust-gas coupling around the inner cavity and presence of a gas giant planet inside the inner cavity in the MWC 758 disk.


title: Too Many Options: A Survey of ABE Libraries for Developers

abstract: Attribute-based encryption (ABE) comprises a set of one-to-many encryption schemes that allow the encryption and decryption of data by associating it with access policies and attributes. Therefore, it is an asymmetric encryption scheme, and its computational requirements limit its deployment in IoT devices. There are different types of ABE and many schemes within each type. However, there is no consensus on the default library for ABE, and those that exist implement different schemes. Developers, therefore, face the challenge of balancing efficiency and security by choosing the suitable library for their projects. This paper studies eleven ABE libraries, analyzing their main features, the mathematical libraries used, and the ABE schemes they provide. The paper also presents an experimental analysis of the four libraries which are still maintained and identifies some of the insecure ABE schemes they implement. In this experimental analysis, we implement the schemes offered by these libraries, measuring their execution times on architectures with different capabilities, i.e., ARMv6 and ARMv8. The experiments provide developers with the necessary information to choose the most suitable library for their projects, according to objective and well-defined criteria.


title: Effective rigidity away from the boundary for centrally-symmetric billiards

abstract: In this paper we study centrally symmetric Birkhoff billiard tables. We introduce a closed invariant set $\mathcal{M}_\mathcal{B}$ consisting of locally maximizing orbits of the billiard map lying inside the region $\mathcal{B}$ bounded by two invariant curves of $4$-periodic orbits. We give an effective bound from above on the measure of this invariant set in terms of the isoperimetric defect of the curve. The equality case occurs if and only if the curve is a circle.


title: Baking in the Feature: Accelerating Volumetric Segmentation by Rendering Feature Maps

abstract: Methods have recently been proposed that densely segment 3D volumes into classes using only color images and expert supervision in the form of sparse semantically annotated pixels. While impressive, these methods still require a relatively large amount of supervision and segmenting an object can take several minutes in practice. Such systems typically only optimize their representation on the particular scene they are fitting, without leveraging any prior information from previously seen images. In this paper, we propose to use features extracted with models trained on large existing datasets to improve segmentation performance. We bake this feature representation into a Neural Radiance Field (NeRF) by volumetrically rendering feature maps and supervising on features extracted from each input image. We show that by baking this representation into the NeRF, we make the subsequent classification task much easier. Our experiments show that our method achieves higher segmentation accuracy with fewer semantic annotations than existing methods over a wide range of scenes.


title: Planar Josephson junctions in germanium: Effect of cubic spin-orbit interaction

abstract: Planar Josephson junctions comprising semiconductors with strong spin-orbit interaction (SOI) are promising platforms to host Majorana bound states (MBSs). Previous works on MBSs in planar Josephson junctions have focused on electron gases, where SOI is linear in momentum. In contrast, a two-dimensional hole gas in planar germanium (Ge) exhibits SOI that is cubic in momentum. Nevertheless, we show here that due to the particularly large SOI, Ge is a favorable material. Using a discretized model, we numerically simulate a Ge planar Josephson junction and demonstrate that also cubic SOI can lead to the emergence of MBSs. Interestingly, we find that the cubic SOI yields an asymmetric phase diagram as a function of the superconducting phase difference across the junction. We also find that trivial Andreev bound states can imitate the signatures of MBSs in a Ge planar Josephson junction, therefore making the experimental detection of MBSs difficult. We use experimentally realistic parameters to assess if the topological phase is accessible within experimental limitations. Our analysis shows that two-dimensional Ge is an auspicious candidate for topological phases.


title: LSAP: Rethinking Inversion Fidelity, Perception and Editability in GAN Latent Space

abstract: As the methods evolve, inversion is mainly divided into two steps. The first step is Image Embedding, in which an encoder or optimization process embeds images to get the corresponding latent codes. Afterward, the second step aims to refine the inversion and editing results, which we named Result Refinement. Although the second step significantly improves fidelity, perception and editability are almost unchanged, deeply dependent on inverse latent codes attained in the first step. Therefore, a crucial problem is gaining the latent codes with better perception and editability while retaining the reconstruction fidelity. In this work, we first point out that these two characteristics are related to the degree of alignment (or disalignment) of the inverse codes with the synthetic distribution. Then, we propose Latent Space Alignment Inversion Paradigm (LSAP), which consists of evaluation metric and solution for this problem. Specifically, we introduce Normalized Style Space ($\mathcal{S^N}$ space) and $\mathcal{S^N}$ Cosine Distance (SNCD) to measure disalignment of inversion methods. Since our proposed SNCD is differentiable, it can be optimized in both encoder-based and optimization-based embedding methods to conduct a uniform solution. Extensive experiments in various domains demonstrate that SNCD effectively reflects perception and editability, and our alignment paradigm archives the state-of-the-art in both two steps. Code is available on https://github.com/caopulan/GANInverter/tree/main/configs/lsap.


title: Roadmap on Electronic Structure Codes in the Exascale Era

abstract: Electronic structure calculations have been instrumental in providing many important insights into a range of physical and chemical properties of various molecular and solid-state systems. Their importance to various fields, including materials science, chemical sciences, computational chemistry and device physics, is underscored by the large fraction of available public supercomputing resources devoted to these calculations. As we enter the exascale era, exciting new opportunities to increase simulation numbers, sizes, and accuracies present themselves. In order to realize these promises, the community of electronic structure software developers will however first have to tackle a number of challenges pertaining to the efficient use of new architectures that will rely heavily on massive parallelism and hardware accelerators. This roadmap provides a broad overview of the state-of-the-art in electronic structure calculations and of the various new directions being pursued by the community. It covers 14 electronic structure codes, presenting their current status, their development priorities over the next five years, and their plans towards tackling the challenges and leveraging the opportunities presented by the advent of exascale computing.


title: Nontrivial low-frequency topological waves at the boundary of a magnetized plasma

abstract: The topological properties of a magnetized cold gaseous plasma have recently been explored and the existence of topologically protected edge states has been established. These studies are limited to a magnetized plasma, where ions are infinitely massive and provide a neutralizing background. When ion motion is included, a new class of low-frequency unidirectional topological waves emerges in the dispersion relation. The group velocity of these waves is in the opposite direction of high-frequency topological electron waves for a given magnetic field direction. The Berry curvature and Chern numbers are calculated to establish nontrivial topological phase. These finding broadens the possible applications and observations of these exotic excitations in space and laboratory plasmas.


title: Joint Task Offloading and Resource Optimization in NOMA-based Vehicular Edge Computing: A Game-Theoretic DRL Approach

abstract: Vehicular edge computing (VEC) becomes a promising paradigm for the development of emerging intelligent transportation systems. Nevertheless, the limited resources and massive transmission demands bring great challenges on implementing vehicular applications with stringent deadline requirements. This work presents a non-orthogonal multiple access (NOMA) based architecture in VEC, where heterogeneous edge nodes are cooperated for real-time task processing. We derive a vehicle-to-infrastructure (V2I) transmission model by considering both intra-edge and inter-edge interferences and formulate a cooperative resource optimization (CRO) problem by jointly optimizing the task offloading and resource allocation, aiming at maximizing the service ratio. Further, we decompose the CRO into two subproblems, namely, task offloading and resource allocation. In particular, the task offloading subproblem is modeled as an exact potential game (EPG), and a multi-agent distributed distributional deep deterministic policy gradient (MAD4PG) is proposed to achieve the Nash equilibrium. The resource allocation subproblem is divided into two independent convex optimization problems, and an optimal solution is proposed by using a gradient-based iterative method and KKT condition. Finally, we build the simulation model based on real-world vehicle trajectories and give a comprehensive performance evaluation, which conclusively demonstrates the superiority of the proposed solutions.


title: Characteristic Properties of a Composite System of Topological Phases Separated by Gapped Domain Walls via an Exactly Solvable Hamiltonian Model

abstract: In this paper, we construct an exactly solvable lattice Hamiltonian model to investigate the properties of a composite system consisting of multiple topological orders separated by gapped domain walls. There are interdomain elementary excitations labeled by a pair of anyons in different domains of this system; This system also has elementary excitations with quasiparticles in the gapped domain wall. Each set of elementary excitations corresponds to a basis of the ground states of this composite system on the torus, reflecting that the ground-state degeneracy matches the number of either set of elementary excitations. The characteristic properties of this composite system lie in the basis transformations, represented by the $S$ and $T$ matrices: The $S$ matrix encodes the mutual statistics between interdomain excitations and domain-wall quasiparticles, and the $T$ matrix encapsulates the topological spins of interdomain excitations. Our model realizes a spatial counterpart of a temporal phase transition triggered by anyon condensation, bringing the abstract theory of anyon condensation into manifestable spatial interdomain excitation states.


title: Rhombic skyrmion lattice coupled with orthorhombic structural distortion in EuAl$_{4}$

abstract: The centrosymmetric tetragonal itinerant magnet EuAl$_{4}$ exhibits an intricate magnetic phase diagram including rhombic and square skyrmion-lattice (SkL) phases in the external magnetic field. Here, we report a multi-axis dilatometric investigation of EuAl$_{4}$ by means of a newly designed fiber-Bragg-grating technique complemented by a resonant x-ray scattering experiment, revealing anisotropic magnetostriction and magnetovolume effect associated with successive phase transitions. The rhombic and square SkL phases are found to possess $\sim$0.10% and $\sim$0.03% orthorhombic structural distortion within the $ab$ plane, respectively. We propose that the coupling between the spin system and the lattice deformation should be essential for the structural instability in EuAl$_{4}$, yielding a rich variety of topological spin textures with spontaneous rotational-symmetry breaking as well as a potential controllability of the SkL phases by uniaxial stress or pressure.


title: On the characterization of GJ 504: a magnetically active planet-host star observed by the Transiting Exoplanet Survey Satellite (TESS)

abstract: We present the results of the analysis of the photometric data collected in long and short-cadence mode by the Transiting Exoplanet Survey Satellite (TESS) for GJ 504, a well studied planet-hosting solar-like star, whose fundamental parameters have been largely debated during the last decade. Several attempts have been made by the present authors to isolate the oscillatory properties expected on this main-sequence star, but we did not find any presence of solar-like pulsations. The suppression of the amplitude of the acoustic modes can be explained by the high level of magnetic activity revealed for this target, not only by the study of the photometric light-curve, but also by the analysis of three decades available of Mount Wilson spectroscopic data. In particular, our measurements of the stellar rotational period Prot=3.4 d and of the main principal magnetic cycle of 12 a confirm previous findings and allow us to locate this star in the early main sequence phase of its evolution during which the chromospheric activity is dominated by the superposition of several cycles before the transition to the phase of the magnetic-braking shutdown with the subsequent decrease of the magnetic activity.


title: On Investigating the Conservative Property of Score-Based Generative Models

abstract: Existing Score-Based Models (SBMs) can be categorized into constrained SBMs (CSBMs) or unconstrained SBMs (USBMs) according to their parameterization approaches. CSBMs model probability density functions as Boltzmann distributions, and assign their predictions as the negative gradients of some scalar-valued energy functions. On the other hand, USBMs employ flexible architectures capable of directly estimating scores without the need to explicitly model energy functions. In this paper, we demonstrate that the architectural constraints of CSBMs may limit their modeling ability. In addition, we show that USBMs' inability to preserve the property of conservativeness may lead to degraded performance in practice. To address the above issues, we propose Quasi-Conservative Score-Based Models (QCSBMs) for keeping the advantages of both CSBMs and USBMs. Our theoretical derivations demonstrate that the training objective of QCSBMs can be efficiently integrated into the training processes by leveraging the Hutchinson's trace estimator. In addition, our experimental results on the CIFAR-10, CIFAR-100, ImageNet, and SVHN datasets validate the effectiveness of QCSBMs. Finally, we justify the advantage of QCSBMs using an example of a one-layered autoencoder.


title: Ion and Electron Acoustic Bursts during Anti-Parallel Magnetic Reconnection Driven by Lasers

abstract: Magnetic reconnection converts magnetic energy into thermal and kinetic energy in plasma. Among numerous candidate mechanisms, ion acoustic instabilities driven by the relative drift between ions and electrons, or equivalently electric current, have been suggested to play a critical role in dissipating magnetic energy in collisionless plasmas. However, their existence and effectiveness during reconnection have not been well understood due to ion Landau damping and difficulties in resolving the Debye length scale in the laboratory. Here we report a sudden onset of ion acoustic bursts measured by collective Thomson scattering in the exhaust of anti-parallel magnetically driven reconnection using high-power lasers. The ion acoustic bursts are followed by electron acoustic bursts with electron heating and bulk acceleration. We reproduce these observations with 1D and 2D particle-in-cell simulations in which electron outflow jet drives ion-acoustic instabilities, forming double layers. These layers induce electron two-stream instabilities that generate electron acoustic bursts and energize electrons. Our results demonstrate the importance of ion and electron acoustic dynamics during reconnection when ion Landau damping is ineffective, a condition applicable to a range of astrophysical plasmas including near-Earth space, stellar flares, and black hole accretion engines.


title: New Spectrally Constrained Sequence Sets with Optimal {Periodic} Cross-Correlation

abstract: Spectrally constrained sequences (SCSs) play an important role in modern communication and radar systems operating over non-contiguous spectrum. Despite numerous research attempts over the past years, very few works are known on the constructions of optimal SCSs with low cross-correlations. In this paper, we address such a major problem by introducing a unifying framework to construct unimodular SCS families using circular Florentine rectangles (CFRs) and interleaving techniques. By leveraging the uniform power allocation in the frequency domain for all the admissible carriers (a necessary condition for beating the existing periodic correlation lower bound of SCSs), we present a tighter correlation lower bound and show that it is achievable by our proposed SCS families including multiple SCS sets with zero correlation zone properties.


title: FAL-CUR: Fair Active Learning using Uncertainty and Representativeness on Fair Clustering

abstract: Active Learning (AL) techniques have proven to be highly effective in reducing data labeling costs across a range of machine learning tasks. Nevertheless, one known challenge of these methods is their potential to introduce unfairness towards sensitive attributes. Although recent approaches have focused on enhancing fairness in AL, they tend to reduce the model's accuracy. To address this issue, we propose a novel strategy, named Fair Active Learning using fair Clustering, Uncertainty, and Representativeness (FAL-CUR), to improve fairness in AL. FAL-CUR tackles the fairness problem in AL by combining fair clustering with an acquisition function that determines which samples to query based on their uncertainty and representativeness scores. We evaluate the performance of FAL-CUR on four real-world datasets, and the results demonstrate that FAL-CUR achieves a 15% - 20% improvement in fairness compared to the best state-of-the-art method in terms of equalized odds while maintaining stable accuracy scores. Furthermore, an ablation study highlights the crucial roles of fair clustering in preserving fairness and the acquisition function in stabilizing the accuracy performance.


title: Origin of the injection-dependent emission blueshift and linewidth broadening of III-nitride light-emitting diodes

abstract: III-nitride light-emitting diodes (LEDs) exhibit an injection-dependent emission blueshift and linewidth broadening that is severely detrimental to their color purity. Using first-principles multi-scale modelling that accurately captures the competition between polarization-charge screening, phase-space filling, and many-body plasma renormalization, we explain the current-dependent spectral characteristics of polar III-nitride LEDs fabricated with state-of-the-art quantum wells. Our analysis uncovers a fundamental connection between carrier dynamics and the injection-dependent spectral characteristics of light-emitting materials. For example, polar III-nitride LEDs offer poor control over their injection-dependent color purity due to their poor hole transport and slow carrier recombination dynamics, which forces them to operate at or near degenerate carrier densities. Designs that accelerate carrier recombination and transport and reduce the carrier density required to operate LEDs at a given current density lessen their injection-dependent wavelength shift and linewidth broadening.


title: Overcoming Referential Ambiguity in Language-Guided Goal-Conditioned Reinforcement Learning

abstract: Teaching an agent to perform new tasks using natural language can easily be hindered by ambiguities in interpretation. When a teacher provides an instruction to a learner about an object by referring to its features, the learner can misunderstand the teacher's intentions, for instance if the instruction ambiguously refer to features of the object, a phenomenon called referential ambiguity. We study how two concepts derived from cognitive sciences can help resolve those referential ambiguities: pedagogy (selecting the right instructions) and pragmatism (learning the preferences of the other agents using inductive reasoning). We apply those ideas to a teacher/learner setup with two artificial agents on a simulated robotic task (block-stacking). We show that these concepts improve sample efficiency for training the learner.


title: Actinide opacities for modeling the spectra and light curves of kilonovae

abstract: We extend previous ab initio calculations of lanthanide opacities (Fontes et al., 2020, MNRAS, 493, 4143) to include a complete set of actinide opacities for use in the modeling of kilonova light curves and spectra. Detailed, fine-structure line features are generated using the configuration-interaction approach. These actinide opacities display similar trends to those observed for lanthanide opacities, such as the lighter actinides producing higher opacity than the heavier ones for relevant conditions in the dynamical ejecta. A line-binned treatment is employed to pre-compute opacity tables for 14 actinide elements $(89 \le Z \le 102)$ over a grid of relevant temperatures and densities. These tabular opacities will be made publicly available for general usage in kilonova modeling. We demonstrate the usefulness of these opacities in kilonova simulations by exploring the sensitivity of light curves and spectra to different actinide abundance distributions that are predicted by different nuclear theories, as well as to different choices of ejecta mass and velocity. We find very little sensitivity to the two considered distributions, indicating that opacities for actinides with $Z \ge 99$ do not contribute strongly. On the other hand, a single actinide element, protactinium, is found to produce faint spectral features in the far infrared at late times (5-7 days post merger). More generally, we find that the choice of ejecta mass and velocity have the most significant effect on KN emission for this study.


title: On the minimal Sums of sequences in the tensor product of separable Hilbert spaces

abstract: It is known that the tensor product of two sequences, in the tensor product of two separable Hilbert spaces, is a frame if and only if each component of that product is a frame. This paper proposes a sort of generalization of the aforementioned result by dealing with sequences S that are finite minimal sums of tensor products of a finite number of sequences. We prove that S is a Bessel sequence if and only if it is a sum for which each term is the tensor product of Bessel sequences. We also state necessary conditions for S to be a frame. For dimensions higher than one, we deduce several results on Gabor systems generated by finite rank square integrable functions. Meanwhile, the one dimensional versions of some of these results are surprisingly extremely difficult to prove or disapprove.


title: Exponential arcs in manifolds of quantum states

abstract: The manifold under consideration consists of the faithful normal states on a sigma-finite von Neumann algebra in standard form. Tangent planes and approximate tangent planes are discussed. A relative entropy/divergence function is assumed to be given. It is used to generalize the notion of an exponential arc connecting one state to another. The generator of the exponential arc is shown to be unique up to an additive constant. In the case of Araki's relative entropy every selfadjoint element of the von Neumann algebra generates an exponential arc. The generators of composed exponential arcs are shown to add up. The metric derived from Araki's relative entropy is shown to reproduce the Kubo-Mori metric. The latter is the metric used in Linear Response Theory. The e- and m-connections describe a dual pair of geometries. Any finite number of linearly independent generators determines a submanifold of states connected to a given reference state. Such a submanifold is a quantum generalization of a dually flat statistical manifold.


title: Just-In-Time Learning for Operational Risk Assessment in Power Grids

abstract: In a grid with a significant share of renewable generation, operators will need additional tools to evaluate the operational risk due to the increased volatility in load and generation. The computational requirements of the forward uncertainty propagation problem, which must solve numerous security-constrained economic dispatch (SCED) optimizations, is a major barrier for such real-time risk assessment. This paper proposes a Just-In-Time Risk Assessment Learning Framework (JITRALF) as an alternative. JITRALF trains risk surrogates, one for each hour in the day, using Machine Learning (ML) to predict the quantities needed to estimate risk, without explicitly solving the SCED problem. This significantly reduces the computational burden of the forward uncertainty propagation and allows for fast, real-time risk estimation. The paper also proposes a novel, asymmetric loss function and shows that models trained using the asymmetric loss perform better than those using symmetric loss functions. JITRALF is evaluated on the French transmission system for assessing the risk of insufficient operating reserves, the risk of load shedding, and the expected operating cost.


title: Scale-Invariant Fast Functional Registration

abstract: Functional registration algorithms represent point clouds as functions (e.g. spacial occupancy field) avoiding unreliable correspondence estimation in conventional least-squares registration algorithms. However, existing functional registration algorithms are computationally expensive. Furthermore, the capability of registration with unknown scale is necessary in tasks such as CAD model-based object localization, yet no such support exists in functional registration. In this work, we propose a scale-invariant, linear time complexity functional registration algorithm. We achieve linear time complexity through an efficient approximation of L2-distance between functions using orthonormal basis functions. The use of orthonormal basis functions leads to a formulation that is compatible with least-squares registration. Benefited from the least-square formulation, we use the theory of translation-rotation-invariant measurement to decouple scale estimation and therefore achieve scale-invariant registration. We evaluate the proposed algorithm, named FLS (functional least-squares), on standard 3D registration benchmarks, showing FLS is an order of magnitude faster than state-of-the-art functional registration algorithm without compromising accuracy and robustness. FLS also outperforms state-of-the-art correspondence-based least-squares registration algorithm on accuracy and robustness, with known and unknown scale. Finally, we demonstrate applying FLS to register point clouds with varying densities and partial overlaps, point clouds from different objects within the same category, and point clouds from real world objects with noisy RGB-D measurements.


title: Graph Neural Network and Superpixel Based Brain Tissue Segmentation (Corrected Version)

abstract: Convolutional neural networks (CNNs) are usually used as a backbone to design methods in biomedical image segmentation. However, the limitation of receptive field and large number of parameters limit the performance of these methods. In this paper, we propose a graph neural network (GNN) based method named GNN-SEG for the segmentation of brain tissues. Different to conventional CNN based methods, GNN-SEG takes superpixels as basic processing units and uses GNNs to learn the structure of brain tissues. Besides, inspired by the interaction mechanism in biological vision systems, we propose two kinds of interaction modules for feature enhancement and integration. In the experiments, we compared GNN-SEG with state-of-the-art CNN based methods on four datasets of brain magnetic resonance images. The experimental results show the superiority of GNN-SEG.


title: Mather $\beta$-function for ellipses and rigidity

abstract: The goal of the first part of this note is to get an explicit formula for rotation number and Mather $\beta$-function for ellipse. This is done here with the help of non-standard generating function of billiard problem. In this way the derivation especially simple. In the second part we discuss application of Mather $\beta$-function to rigidity problem.


title: EasyRec: An easy-to-use, extendable and efficient framework for building industrial recommendation systems

abstract: We present EasyRec, an easy-to-use, extendable and efficient recommendation framework for building industrial recommendation systems. Our EasyRec framework is superior in the following aspects: first, EasyRec adopts a modular and pluggable design pattern to reduce the efforts to build custom models; second, EasyRec implements hyper-parameter optimization and feature selection algorithms to improve model performance automatically; third, EasyRec applies online learning to fast adapt to the ever-changing data distribution. The code is released: https://github.com/alibaba/EasyRec.


title: Weighted Jump in Random Walk Graph Sampling

abstract: Random walk based sampling methods have been widely used in graph sampling in recent years, while it has bias towards higher degree nodes in the sample. To overcome this deficiency, classical methods such as GMD modify the topology of target graphs so that the long-term behavior of Markov chain can achieve uniform distribution. This modification, however, reduces the conductance of graphs, thus makes the sampler stay in the same node for long time, resulting in undersampling. To address this issue, we propose a new way of modifying target graph, thus propose Weighted Jump Random Walk (WJRW) with parameter C to improve the performance. We prove that WJRW can unify Simple Random Walk and uniform distribution through C, and we also conduct extensive experiments on real-world dataset. The experimental results show WJRW can promote the accuracy significantly under the same budget. We also investigate the effect of the parameter C, and give the suggested range for a better usage in application.


title: The mixed mock modularity of a new $U$-type function related to the Andrews-Gordon identities

abstract: In this paper we resolve a question by Bringmann, Lovejoy, and Rolen on a new vector-valued $U$-type function. We obtain an expression for a corresponding family of Hecke-Appell-type sums in terms of mixed mock modular forms; that is, we express the sum in terms of Appell functions and theta functions. This $U$-type function appears from considering the special polynomials related to generating functions for the partitions occurring in Gordon generalization of the Rogers-Ramanujan identities.


title: Optimizing DNN Compilation for Distributed Training with Joint OP and Tensor Fusion

abstract: This paper proposes DisCo, an automatic deep learning compilation module for data-parallel distributed training. Unlike most deep learning compilers that focus on training or inference on a single device, DisCo optimizes a DNN model for distributed training over multiple GPU machines. Existing single-device compilation strategies do not work well in distributed training, due mainly to communication inefficiency that they incur. DisCo generates optimized, joint computation operator and communication tensor fusion strategies to enable highly efficient distributed training. A GNN-based simulator is built to effectively estimate per-iteration training time achieved by operator/tensor fusion candidates. A backtracking search algorithm is driven by the simulator, navigating efficiently in the large strategy space to identify good operator/tensor fusion strategies that minimize distributed training time. We compare DisCo with existing DL fusion schemes and show that it achieves good training speed-up close to the ideal, full computation-communication overlap case.


title: Shrinking unit: a Graph Convolution-Based Unit for CNN-like 3D Point Cloud Feature Extractors

abstract: 3D point clouds have attracted increasing attention in architecture, engineering, and construction due to their high-quality object representation and efficient acquisition methods. Consequently, many point cloud feature detection methods have been proposed in the literature to automate some workflows, such as their classification or part segmentation. Nevertheless, the performance of point cloud automated systems significantly lags behind their image counterparts. While part of this failure stems from the irregularity, unstructuredness, and disorder of point clouds, which makes the task of point cloud feature detection significantly more challenging than the image one, we argue that a lack of inspiration from the image domain might be the primary cause of such a gap. Indeed, given the overwhelming success of Convolutional Neural Networks (CNNs) in image feature detection, it seems reasonable to design their point cloud counterparts, but none of the proposed approaches closely resembles them. Specifically, even though many approaches generalise the convolution operation in point clouds, they fail to emulate the CNNs multiple-feature detection and pooling operations. For this reason, we propose a graph convolution-based unit, dubbed Shrinking unit, that can be stacked vertically and horizontally for the design of CNN-like 3D point cloud feature extractors. Given that self, local and global correlations between points in a point cloud convey crucial spatial geometric information, we also leverage them during the feature extraction process. We evaluate our proposal by designing a feature extractor model for the ModelNet-10 benchmark dataset and achieve 90.64% classification accuracy, demonstrating that our innovative idea is effective. Our code is available at github.com/albertotamajo/Shrinking-unit.


title: Hamiltonian Monte Carlo for efficient Gaussian sampling: long and random steps

abstract: Hamiltonian Monte Carlo (HMC) is a Markov chain algorithm for sampling from a high-dimensional distribution with density $e^{-f(x)}$, given access to the gradient of $f$. A particular case of interest is that of a $d$-dimensional Gaussian distribution with covariance matrix $\Sigma$, in which case $f(x) = x^\top \Sigma^{-1} x$. We show that HMC can sample from a distribution that is $\varepsilon$-close in total variation distance using $\widetilde{O}(\sqrt{\kappa} d^{1/4} \log(1/\varepsilon))$ gradient queries, where $\kappa$ is the condition number of $\Sigma$. Our algorithm uses long and random integration times for the Hamiltonian dynamics. This contrasts with (and was motivated by) recent results that give an $\widetilde\Omega(\kappa d^{1/2})$ query lower bound for HMC with fixed integration times, even for the Gaussian case.


title: Generalized conditional gradient and learning in potential mean field games

abstract: We investigate the resolution of second-order, potential, and monotone mean field games with the generalized conditional gradient algorithm, an extension of the Frank-Wolfe algorithm. We show that the method is equivalent to the fictitious play method. We establish rates of convergence for the optimality gap, the exploitability, and the distances of the variables to the unique solution of the mean field game, for various choices of stepsizes. In particular, we show that linear convergence can be achieved when the stepsizes are computed by linesearch.


title: Ultrawideband USRP-Based Channel Sounding Utilizing the RFNoC Framework

abstract: This paper shows how an ultrawideband channel sounder can be built with the latest National Instruments (NI) Universal Software Radio Peripheral (USRP) equipment, featuring onboard FPGA processing and utilizing open-source tools. Compared to other USRP-based channel sounders, our design is versatile, eases the requirements on the data link between the USRPs and the host, limits the measurement data size, and increases the signal-to-interference-plus-noise ratio due to averaging. Furthermore, this paper serves as a proof-of-concept for other researchers seeking to build a channel sounder based on the USRP equipment.


title: Towards Fine-Dining Recipe Generation with Generative Pre-trained Transformers

abstract: Food is essential to human survival. So much so that we have developed different recipes to suit our taste needs. In this work, we propose a novel way of creating new, fine-dining recipes from scratch using Transformers, specifically auto-regressive language models. Given a small dataset of food recipes, we try to train models to identify cooking techniques, propose novel recipes, and test the power of fine-tuning with minimal data.


title: Jump Law of Co-State in Optimal Control for State-Dependent Switched Systems and Applications

abstract: This paper presents the jump law of co-states in optimal control for state-dependent switched systems. The number of switches and the switching modes are assumed to be known a priori. A proposed jump law is rigorously derived by theoretical analysis and illustrated by simulation results. An algorithm is then proposed to solve optimal control for state-dependent hybrid systems. Through numerical simulations, we further show that the proposed approach is more efficient than existing methods in solving optimal control for state-dependent switched systems.


title: Bound States in the Continuum Based on the Total Internal Reflection of Bloch Waves

abstract: A photonic-crystal slab can support bound states in the continuum (BICs) which have infinite lifetimes but embedded into the continuous spectrum of optical modes in free space. The formation of BICs requires a total internal reflection (TIR) condition at both interfaces between the slab and free space. Here, we show that the TIR of Bloch waves can be directly obtained based on the generalized Fresnel equations proposed. If each of these Bloch waves picks up a phase with integer multiples of 2pi for traveling a round trip, light can be perfectly guided in the slab, namely, forming a BIC. A BIC solver with low computational complexity and fast convergence speed is developed, which can also work efficiently at high frequencies beyond the diffraction limit where multiple radiation channels exist. Two examples of multi-channel BICs are shown, and their topological nature in momentum space is also revealed. Both can be attributed to the coincidence of the topological charges of far-field radiations from different radiation channels. The concept of the generalized TIR and the TIR-based BIC solver developed offer highly effective approaches for explorations of BICs which could have many potential applications in guided-wave optics and enhanced light-matter interactions.


title: Truth and Preferences -- A Game Approach for Qualitative Choice Logic

abstract: In this paper, we introduce game-theoretic semantics (GTS) for Qualitative Choice Logic (QCL), which, in order to express preferences, extends classical propositional logic with an additional connective called ordered disjunction. Firstly, we demonstrate that game semantics can capture existing degree-based semantics for QCL in a natural way. Secondly, we show that game semantics can be leveraged to derive new semantics for the language of QCL. In particular, we present a new semantics that makes use of GTS negation and, by doing so, avoids problems with negation in existing QCL-semantics.


title: Developing A Visual-Interactive Interface for Electronic Health Record Labeling: An Explainable Machine Learning Approach

abstract: Labeling a large number of electronic health records is expensive and time consuming, and having a labeling assistant tool can significantly reduce medical experts' workload. Nevertheless, to gain the experts' trust, the tool must be able to explain the reasons behind its outputs. Motivated by this, we introduce Explainable Labeling Assistant (XLabel) a new visual-interactive tool for data labeling. At a high level, XLabel uses Explainable Boosting Machine (EBM) to classify the labels of each data point and visualizes heatmaps of EBM's explanations. As a case study, we use XLabel to help medical experts label electronic health records with four common non-communicable diseases (NCDs). Our experiments show that 1) XLabel helps reduce the number of labeling actions, 2) EBM as an explainable classifier is as accurate as other well-known machine learning models outperforms a rule-based model used by NCD experts, and 3) even when more than 40% of the records were intentionally mislabeled, EBM could recall the correct labels of more than 90% of these records.


title: Community Detection in Multi-frequency EEG Networks

abstract: Objective: In recent years, the functional connectivity of the human brain has been studied with graph theoretical tools. One such approach is community detection which is fundamental for uncovering the localized networks. Existing methods focus on networks constructed from a single frequency band while ignoring multi-frequency nature of functional connectivity. Therefore, there is a need to study multi-frequency functional connectivity to be able to capture the full view of neuronal connectivity. Methods: In this paper, we use multilayer networks to model multi-frequency functional connectivity. In the proposed model, each layer corresponds to a different frequency band. We then extend the definition of modularity to multilayer networks to develop a new community detection algorithm. Results} The proposed approach is applied to electroencephalogram data collected during a study of error monitoring in the human brain. The differences between the community structures within and across different frequency bands for two response types, i.e. error and correct, are studied. Conclusion: The results indicate that following an error response, the brain organizes itself to form communities across frequencies, in particular between theta and gamma bands while a similar cross-frequency community formation is not observed for the correct response. Moreover, the community structures detected for the error response were more consistent across subjects compared to the community structures for correct response. Significance: The multi-frequency functional connectivity network models combined with multilayer community detection algorithms can reveal changes in cross-frequency functional connectivity network formation across different tasks and response types.


title: Drell-Yan production in third-generation gauge vector leptoquark models at NLO+PS in QCD

abstract: Motivated by the long-standing hints of lepton-flavour non-universality in the $b \to c \ell \nu$ and $b \to s \ell^+ \ell^-$ channels, we study Drell-Yan ditau production at the Large Hadron Collider (LHC). In the context of models with third-generation gauge vector leptoquarks (LQs), we calculate the complete ${\cal O} (\alpha_s)$ corrections to the $pp \to \tau^+ \tau^-$ process, achieving next-to-leading order (NLO) plus parton shower (NLO$+$PS) accuracy using the POWHEG method. We provide a dedicated Monte Carlo code that evaluates the NLO QCD corrections on-the-fly in the event generation and use it to study the numerical impact of NLO$+$PS corrections on the kinematic distributions that enter the existing experimental searches for non-resonant ditau final states. Based on our phenomenological analysis we derive NLO accurate constraints on the masses and couplings of third-generation gauge vector LQs using the latest LHC ditau search results corresponding to an integrated luminosity of around $140 \, {\rm fb}^{-1}$ of proton-proton collisions at $\sqrt{s} = 13 \, {\rm TeV}$. The presented NLO$+$PS generator allows for an improved signal modelling, making it an essential tool for future ATLAS and CMS searches for vector LQs in $\tau^+ \tau^-$ final states at LHC Run III and beyond.


title: Random Permutations and Queues

abstract: Given a growth rule which sequentially constructs random permutations of increasing degree, the stochastic process version of the rencontre problem asks what is the limiting proportion of time that the permutation has no fixed points (singleton cycles). We show that the discrete-time Chinese Restaurant Process (CRP) does not exhibit this limit. We then consider the related embedding of the CRP in continuous time and thereby show that it does have this and other limits of the time averages. By this embedding the cycle structure of the permutation can be represented as a tandem of infinite-server queues. We use this connection to show how results from the queuing theory can be interpreted in terms of the evolution of the cycle counts of permutations.


title: Learning GFlowNets from partial episodes for improved convergence and stability

abstract: Generative flow networks (GFlowNets) are a family of algorithms for training a sequential sampler of discrete objects under an unnormalized target density and have been successfully used for various probabilistic modeling tasks. Existing training objectives for GFlowNets are either local to states or transitions, or propagate a reward signal over an entire sampling trajectory. We argue that these alternatives represent opposite ends of a gradient bias-variance tradeoff and propose a way to exploit this tradeoff to mitigate its harmful effects. Inspired by the TD($\lambda$) algorithm in reinforcement learning, we introduce subtrajectory balance or SubTB($\lambda$), a GFlowNet training objective that can learn from partial action subsequences of varying lengths. We show that SubTB($\lambda$) accelerates sampler convergence in previously studied and new environments and enables training GFlowNets in environments with longer action sequences and sparser reward landscapes than what was possible before. We also perform a comparative analysis of stochastic gradient dynamics, shedding light on the bias-variance tradeoff in GFlowNet training and the advantages of subtrajectory balance.


title: Performance Analysis of MIMO-HARQ Assisted V2V Communications With Keyhole Effect

abstract: Vehicle-to-vehicle (V2V) communications under dense urban environments usually experience severe keyhole fading effect especially for multi-input multi-output (MIMO) channels, which degrades the capacity and outage performance due to the rank deficiency. To avoid these, the integration of MIMO and hybrid automatic repeat request (HARQ) is proposed to assist V2V communications in this paper. By using the methods of integral transforms, the outage probabilities are derived in closed-form for different HARQ-assisted schemes, including Type I-HARQ, HARQ with chase combining (HARQ-CC), and HARQ with incremental redundancy (HARQ-IR). With the results, meaningful insights are gained by conducting the asymptotic outage analysis. Specifically, it is revealed that full time diversity order can be achieved, while full spatial diversity order is unreachable as compared to MIMO-HARQ systems without keyhole effect. Moreover, we prove that the asymptotic outage probability is a monotonically increasing and convex function of the transmission rate. More importantly, although HARQ-IR performs better than HARQ-CC owing to its higher coding complexity, this advantage becomes negligible in the large-scale array regime. Finally, the numerical results are verified by Monte-Carlo simulations along with some in-depth discussions.


title: Outage Analysis on Type I HARQ over Time-Correlated Rayleigh Fading Channels

abstract: This paper analyzes Type I hybrid automatic repeat request (HARQ) over time-correlated Rayleigh fading channels. Due to the presence of channel time correlation, the analysis is more challenging than the prior analysis in the literature. Outage probability is first derived as a weighted sum of joint CDF of multiple independent Gamma random variables based on an infinite series representation. A truncation method is proposed for efficient computation of the outage probability and it is proved that the truncation error decreases exponentially with the truncation order. Asymptotic outage probability is then derived in a simple form, with which the impacts of packet transmission rate, transmit power and channel time correlation could be decoupled and analyzed clearly. Based on the asymptotic outage probability, diversity order of HARQ is also analyzed. It is found that full diversity can be achieved even under time correlated fading channels and the time correlation of the channels has negative effect on the outage probability under high signal-to-noise ratio (SNR). Finally, our analytical results are validated by MonteCarlo simulations.


title: Outage Performance of Cross-Packet HARQ

abstract: As opposed to hybrid automatic repeat request with incremental redundancy (HARQ-IR) that all the resources are occupied to resend the redundant information, cross-packet HARQ (XP-HARQ) allows the introduction of new information into retransmissions to substantially exploit the remaining resources. This letter provides a profound investigation into the outage performance of XP-HARQ. In particular, the exact outage expression of XP-HARQ is derived if the maximum number of transmissions is two, and tight outage bounds are obtained for more than two transmissions. Moreover, the asymptotic outage analysis of XP-HARQ in the high signal-to-noise ratio (SNR) regime is carried out not only to simplify the outage expression, but also to show that full time diversity is achievable by XP-HARQ. The simulation results are eventually presented for verifications.


title: Do ever larger octopi still amplify reporting biases? Evidence from judgments of typical colour

abstract: Language models (LMs) trained on raw texts have no direct access to the physical world. Gordon and Van Durme (2013) point out that LMs can thus suffer from reporting bias: texts rarely report on common facts, instead focusing on the unusual aspects of a situation. If LMs are only trained on text corpora and naively memorise local co-occurrence statistics, they thus naturally would learn a biased view of the physical world. While prior studies have repeatedly verified that LMs of smaller scales (e.g., RoBERTa, GPT-2) amplify reporting bias, it remains unknown whether such trends continue when models are scaled up. We investigate reporting bias from the perspective of colour in larger language models (LLMs) such as PaLM and GPT-3. Specifically, we query LLMs for the typical colour of objects, which is one simple type of perceptually grounded physical common sense. Surprisingly, we find that LLMs significantly outperform smaller LMs in determining an object's typical colour and more closely track human judgments, instead of overfitting to surface patterns stored in texts. This suggests that very large models of language alone are able to overcome certain types of reporting bias that are characterized by local co-occurrences.


title: Synthesis and physical properties of LaNiO$_2$ crystals

abstract: Infinite-layer (IL) nickelates are an emerging family of superconductors whose similarities and differences to cuprate superconductors are under intense debate. To date, the IL phase of nickelates can only be reached via topotactic oxygen reduction of the perovskite phase, using H$_2$ gas or reducing agents such as CaH$_2$. While the topotactic reduction method has been widely employed on thin film and polycrystalline powder samples, the reduction of La$_{1-x}$Ca$_x$NiO$_3$ single-crystals with lateral dimensions up to 150 $\mu$m was achieved only recently, using an indirect contact method with CaH$_2$. Here we report the topotactic transformation of much larger LaNiO$_3$ crystals with lateral dimensions of more than one millimeter, via direct contact with CaH$_2$. We characterize the crystalline, magnetic, and electronic properties of the obtained IL LaNiO$_{2}$ crystals by powder and single-crystal x-ray diffraction (XRD), magnetometry, electrical transport, and x-ray photoelectron spectroscopy (XPS) measurements. The amount of incorporated topotactic hydrogen due to the reduction process is determined by a gas extraction method. In addition, we investigate the evolution of the lattice parameters under hydrostatic pressure up to 12 GPa, using high-resolution synchrotron XRD. Furthermore, we provide a direct comparison of several physical properties of the LaNiO$_{2}$ crystals to their powder and thin film counterparts.


title: Application of Quantum Machine Learning in a Higgs Physics Study at the CEPC

abstract: Machine learning has blossomed in recent decades and has become essential in many fields. It significantly solved some problems in particle physics -- particle reconstruction, event classification, etc. However, it is now time to break the limitation of conventional machine learning with quantum computing. A support-vector machine algorithm with a quantum kernel estimator (QSVM-Kernel) leverages high-dimensional quantum state space to identify a signal from backgrounds. In this study, we have pioneered employing this quantum machine learning algorithm to study the $e^{+}e^{-} \rightarrow ZH$ process at the Circular Electron-Positron Collider (CEPC), a proposed Higgs factory to study electroweak symmetry breaking of particle physics. Using 6 qubits on quantum computer simulators, we optimised the QSVM-Kernel algorithm and obtained a classification performance similar to the classical support-vector machine algorithm. Furthermore, we have validated the QSVM-Kernel algorithm using 6-qubits on quantum computer hardware from both IBM and Origin Quantum: the classification performances of both are approaching noiseless quantum computer simulators. In addition, the Origin Quantum hardware results are similar to the IBM Quantum hardware within the uncertainties in our study. Our study shows that state-of-the-art quantum computing technologies could be utilised by particle physics, a branch of fundamental science that relies on big experimental data.


title: Critical Dynamics in Holographic First-Order Phase Transition

abstract: We study the critical phenomena of the dynamical transition from a metastable state to a stable state in the model of first-order phase transition via two different triggering mechanisms. Three universal stages during the fully nonlinear evolution are extracted. On the one side, by perturbing the scalar source, an isolated seed nucleus is injected into an initial homogeneous state in the supercooled region. For critical parameters of the seed nucleus, the real-time dynamics reveal that the system will converge to a critically unstable state. For supercritical parameters, the system exhibits a phase separation, while for subcritical parameters falls back to homogeneous. The shape independence of the seed nucleus is also investigated, which implies that the critical phenomena are universal. On the other side, we propose a novel mechanism to render the critical phenomena via a collision of two gravitational shock waves on the dual geometries. Specifying a collision velocity, the initial system can be also attracted to a critically unstable state. Aside from these dynamical constructions, we also quantitatively analyze the critical nucleus preventing the system from reaching the final phase separation. We find the depth of the critical nucleus increases almost linearly with the temperature, which implies that the hotter the supercooled state is, the harder for it to trigger phase separation.


title: Study of depth-dependent charge collection profiles in irradiated pad diodes

abstract: In this work, charge collection profiles of non-irradiated and irradiated 150 $\mu$m $p$-type pad diodes were measured using a 5.2 GeV electron beam traversing the diode parallel to the readout electrode. Four diodes were irradiated to 1 MeV neutron equivalent fluences of 2, 4, 8, and 12E15 {cm}^{-2} with 23 MeV protons. The Charge Collection Efficiency profiles as a function of depth are extracted by unfolding the data. The results of the measurements are compared to the simulation using three radiation damage models from literature which were tuned to different irradiation types and fluences.


title: The role of low-energy electrons in the charging process of LISA test masses

abstract: The space environment encountered by operating spacecraft is populated by a continuous flux of charged particles that penetrate into electronic devices inducing phantom commands and loss of control, eventually leading to satellite failure. Moreover, electron static discharge that results from secondary electron emission of the device materials can also be responsible for satellite malfunction. In this regard, the estimate of the total electron yield is fundamental for our understanding of the test-mass charging associated with galactic cosmic rays in the LISA Pathfinder mission and in the forthcoming gravitational wave observatory LISA. To unveil the role of low energy electrons in this process owing to galactic and solar energetic particle events, in this work we study the interaction of keV and sub-keV electrons with a gold slab using a mixed Monte Carlo and ab-initio framework. We determine the energy spectrum of the electrons emerging from such a gold slab hit by a primary electron beam by considering the relevant energy loss mechanisms as well as the elastic scattering events. We also show that our results are consistent with experimental data and Monte Carlo simulations carried out with the GEANT4-DNA toolkit.


title: Towards Data-driven GIM tools: Two Prototypes

abstract: Here we describe two approaches to improve group information management (GIM) and draw on the results of prior works to implement them in software prototypes. The first aids browsing and retrieving from large and unfamiliar collections like shared drives by dynamically reducing and re-organising them. The second supports the transfer and re-use of collections (e.g. to/by successors, descendants, or curators) by integrating novel sorting and annotation features. The prototypes' source code is shared online and screenshots are presented in the accompanying poster.