title: Efficient Description of some Classes of Codes using Group Algebras

abstract: Circulant matrices are an important tool widely used in coding theory and cryptography. A circulant matrix is a square matrix whose rows are the cyclic shifts of the first row. Such a matrix can be efficiently stored in memory because it is fully specified by its first row. The ring of $n \times n$ circulant matrices can be identified with the quotient ring $\mathbb{F}[x]/(x^n-1)$. In consequence, the strong algebraic structure of the ring $\mathbb{F}[x]/(x^n-1)$ can be used to study properties of the collection of all $n\times n$ circulant matrices. The ring $\mathbb{F}[x]/(x^n-1)$ is a special case of a group algebra and elements of any finite dimensional group algebra can be represented with square matrices which are specified by a single column. In this paper we study this representation and prove that it is an injective Hamming weight preserving homomorphism of $\mathbb{F}$-algebras and classify it in the case where the underlying group is abelian. Our work is motivated by the desire to generalize the BIKE cryptosystem (a contender in the NIST competition to get a new post-quantum standard for asymmetric cryptography). Group algebras can be used to design similar cryptosystems or, more generally, to construct low density or moderate density parity-check matrices for linear codes.


title: Testing of Machine Learning Models with Limited Samples: An Industrial Vacuum Pumping Application

abstract: There is often a scarcity of training data for machine learning (ML) classification and regression models in industrial production, especially for time-consuming or sparsely run manufacturing processes. A majority of the limited ground-truth data is used for training, while a handful of samples are left for testing. Here, the number of test samples is inadequate to properly evaluate the robustness of the ML models under test for classification and regression. Furthermore, the output of these ML models may be inaccurate or even fail if the input data differ from the expected. This is the case for ML models used in the Electroslag Remelting (ESR) process in the refined steel industry to predict the pressure in a vacuum chamber. A vacuum pumping event that occurs once a workday generates a few hundred samples in a year of pumping for training and testing. In the absence of adequate training and test samples, this paper first presents a method to generate a fresh set of augmented samples based on vacuum pumping principles. Based on the generated augmented samples, three test scenarios and one test oracle are presented to assess the robustness of an ML model used for production on an industrial scale. Experiments are conducted with real industrial production data obtained from Uddeholms AB steel company. The evaluations indicate that Ensemble and Neural Network are the most robust when trained on augmented data using the proposed testing strategy. The evaluation also demonstrates the proposed method's effectiveness in checking and improving ML algorithms' robustness in such situations. The work improves software testing's state-of-the-art robustness testing in similar settings. Finally, the paper presents an MLOps implementation of the proposed approach for real-time ML model prediction and action on the edge node and automated continuous delivery of ML software from the cloud.


title: Fast nodal precession of the disc around Pleione requires a broken disc

abstract: Pleione is a Be star that is in a 218 day orbit with a low-mass binary companion. Recent numerical simulations have shown that a Be star disc can be subject to breaking when material is actively being fed into the inner parts of the disc. After breaking, the disc is composed of two rings: an inner ring that is anchored to the stellar equator and an outer ring that is free to nodally precess. A double ring disc may explain some of the observed variability in Pleione. We model the nodal precession of the outer disc ring that is driven by the companion on an observed timescale of $80.5\,\rm yr$. We find that the outer ring of a broken disc in a binary with an eccentricity of $e_{\rm b}= 0.6$ can precess on the observed timescale and have an outer radius that is in rough agreement with the observed disc size. An unbroken disc model cannot fit both the observed precession rate and disc size. Suppression of Kozai-Lidov driven disc eccentricity is more likely for a high binary eccentricity if the disc extends to the tidal truncation radius.


title: Finite groups satisfying the independence property

abstract: We say that a finite group $G$ satisfies the independence property if, for every pair of distinct elements $x$ and $y$ of $G$, either $\{x,y\}$ is contained in a minimal generating set for $G$ or one of $x$ and $y$ is a power of the other. We give a complete classification of the finite groups with this property, and in particular prove that every such group is supersoluble. A key ingredient of our proof is a theorem showing that all but three finite almost simple groups $H$ contain an element $s$ such that the maximal subgroups of $H$ containing $s$, but not containing the socle of $H$, are pairwise non-conjugate.


title: Optimistic Optimisation of Composite Objective with Exponentiated Update

abstract: This paper proposes a new family of algorithms for the online optimisation of composite objectives. The algorithms can be interpreted as the combination of the exponentiated gradient and $p$-norm algorithm. Combined with algorithmic ideas of adaptivity and optimism, the proposed algorithms achieve a sequence-dependent regret upper bound, matching the best-known bounds for sparse target decision variables. Furthermore, the algorithms have efficient implementations for popular composite objectives and constraints and can be converted to stochastic optimisation algorithms with the optimal accelerated rate for smooth objectives.


title: On d-ary tree algorithms with successive interference cancellation

abstract: In this paper, we outline the approach for the derivation of the length of the collision resolution interval for d-ary tree algorithms (TA) with gated access and successive interference cancellation (SIC), conditioned on the number of the contending users. This is the basic performance parameter for TA with gated access. We identify the deficiencies of the analysis performed in the seminal paper on TA with SIC by Yu and Giannakis, showing that their analysis is correct only for binary splitting, i.e. for d=2. We also provide some insightful results on the stable throughput that can be achieved for different values of d.


title: The origin of the vanishing soft X-ray excess in the changing-look Active Galactic Nucleus Mrk 590

abstract: We have studied the nature and origin of the soft X-ray excess detected in the interesting changing-look AGN (CLAGN) Mrk~590 using two decades of multi-wavelength observations from \xmm{}, \suzaku{}, \swift{} and \nustar{}. In the light of vanishing soft excess in this CLAGN, we test two models, "the warm Comptonization" and "the ionized disk reflection" using extensive UV/X-ray spectral analysis. Our main findings are: (1) the soft X-ray excess emission, last observed in 2004, vanished in 2011, and never reappeared in any of the later observations, (2) we detected a significant variability ($\sim300\%$) in the observed optical-UV and power-law flux between observations with the lowest state ($L_{\rm bol} = 4.4\times 10^{43}\, erg\, s^{-1}$, in 2016) and the highest state ($L_{\rm bol} = 1.2\times 10^{44}\, erg\, s^{-1}$, in 2018), (3) the UV and power-law fluxes follow same temporal pattern, (4) the photon index showed a significant variation ($\Gamma=1.88^{+0.02}_{-0.08}$ and $\Gamma=1.58^{+0.02}_{-0.03}$ in 2002 and 2021 respectively) between observations, (5) no Compton hump was detected in the source spectra but a narrow Fe$K_{\alpha}$ line is present in all observations, (6) we detected a high-energy cut-off in power-law continuum ($92^{+55}_{-25} \rm keV$ and $60^{+10}_{-08} \rm keV$) with the latest \nustar{} observations, (7) the warm Comptonization model needs an additional diskbb component to describe the source UV bump, (8) there is no correlation between the Eddington rate and the soft excess as found in other changing-look AGNs. We conclude that given the spectral variability in UV/X-rays, the ionized disk reflection or the warm Comptonization models may not be adequate to describe the vanishing soft excess feature observed in Mrk~590.


title: Systematic Review of Newton-Schulz Iterations with Unified Factorizations : Integration in the Richardson Method and Application to Robust Failure Detection in Electrical Networks

abstract: Systematic overview of Newton-Schulz and Durand iterations with convergence analysis and factorizations is presented in the chronological sequence in unified framework. Practical recommendations for the choice of the order and factorizations of the algorithms and integration into Richardson iteration are given. The simplest combination of Newton-Schulz and Richardson iteration is applied to the parameter estimation problem associated with the failure detection via evaluation of the frequency content of the signals in electrical network. The detection is performed on real data for which the software failure was simulated, which resulted in the rank deficient information matrix. Robust preconditioning for rank deficient matrices is proposed and the efficiency of the approach is demonstrated by simulations via comparison with standard LU decomposition method.


title: Solutions of Non-Homogenous Linear Differential Equations

abstract: This article is devoted to the study of solutions of non-homogenous linear differential equations having entire coefficients. We get all non-trivial solutions of infinite order of equation $f^{(n)}+a_{n-1}(z)f^{(n-1)}+\ldots +a_1f'+a_0f=H(z)$, by restricting the conditions on coefficients.


title: Probing magnetic orbitals and Berry curvature with circular dichroism in resonant inelastic X-ray scattering

abstract: Resonant inelastic X-ray scattering (RIXS) can probe localized excitations at selected atoms in materials, including particle-hole transitions between the valence and conduction bands. These transitions are governed by fundamental properties of the corresponding Bloch wave-functions, including orbital and magnetic degrees of freedom, and quantum geometric properties such as the Berry curvature. In particular, orbital angular momentum (OAM), which is closely linked to the Berry curvature, can exhibit a nontrivial momentum dependence. We demonstrate how information on such OAM textures can be extracted from the circular dichroism in RIXS. Based on accurate modeling with first-principles treatment of the key ingredient -- the light-matter interaction -- we simulate dichroic RIXS spectra for the prototypical transition metal dichalcogenide MoSe$_2$ and the two-dimensional topological insulator 1T$^\prime$-MoS$_2$. Guided by an intuitive picture for the optical selection rules, we discuss how the momentum-dependent OAM manifests itself in the dichroic RIXS signal if one controls the momentum transfer. Our calculations are performed for typical experimental geometries and parameter regimes, and demonstrate the possibility of observing the predicted circular dichroism in forthcoming experiments. Thus, our work establishes a new avenue to observing Berry curvature and topological states in quantum materials.


title: A Brightwell-Winkler type characterisation of NU graphs

abstract: In 2000, Brightwell and Winkler characterised dismantlable graphs as the graphs $H$ for which the Hom-graph ${\rm Hom}(G,H)$, defined on the set of homomorphisms from $G$ to $H$, is connected for all graphs $G$. This shows that the reconfiguration version ${\rm Recon_{Hom}}(H)$ of the $H$-colouring problem, in which one must decide for a given $G$ whether ${\rm Hom}(G,H)$ is connected, is trivial if and only if $H$ is dismantlable. We prove a similar starting point for the reconfiguration version of the $H$-extension problem. Where ${\rm Hom}(G,H;p)$ is the subgraph of the Hom-graph ${\rm Hom}(G,H)$ induced by the $H$-colourings extending the $H$-precolouring $p$ of $G$, the reconfiguration version ${\rm Recon_{Ext}(H)}$ of the $H$-extension problem asks, for a given $H$-precolouring $p$ of a graph $G$, if ${\rm Hom}(G,H;p)$ is connected. We show that the graphs $H$ for which ${\rm Hom}(G,H;p)$ is connected for every choice of $(G,p)$ are exactly the ${\rm NU}$ graphs. This gives a new characterisation of ${\rm NU}$ graphs, a nice class of graphs that is important in the algebraic approach to the ${\rm CSP}$-dichotomy. We further give bounds on the diameter of ${\rm Hom}(G,H;p)$ for ${\rm NU}$ graphs $H$, and show that shortest path between two vertices of ${\rm Hom}(G,H;p)$ can be found in parameterised polynomial time. We apply our results to the problem of shortest path reconfiguration, significantly extending recent results.


title: Microscopic Theory of Adsorption Kinetics

abstract: Adsorption is the accumulation of a solute at an interface that is formed between a solution and an additional gas, liquid, or solid phase. The macroscopic theory of adsorption dates back more than a century and is now well-established. Yet, despite recent advancements, a detailed and self-contained theory of single-particle adsorption is still lacking. Here, we bridge this gap by developing a microscopic theory of adsorption kinetics, from which the macroscopic properties follow directly. One of our central achievements is the derivation of the microsopic version of the seminal Ward-Tordai relation which connects the surface and subsurface adsorbate concentrations via a universal equation that holds for arbitrary adsorption dynamics. Furthermore, we present a microscopic interpretation of the Ward-Tordai relation which, in turn, allows us to generalize it to arbitrary dimension, geometry and initial conditions. The power of our approach is showcased on a set of hitherto unsolved adsorption problems to which we present exact analytical solutions. The framework developed herein sheds fresh light on the fundamentals of adsorption kinetics, which opens new research avenues in surface science with applications to artificial and biological sensing and to the design of nano-scale devices.


title: Sub-Lorentzian distance and spheres on the Heisenberg group

abstract: The left-invariant sub-Lorentzian problem on the Heisenberg group is considered. An optimal synthesis is constructed, the sub-Lorentzian distance and spheres are described.


title: Bug-Fix Variants: Visualizing Unique Source Code Changes across GitHub Forks

abstract: Forking is a common practice for developers when building upon on already existing projects. These forks create variants, which have a common code base but then evolve the code in different directions, which is specific to that forked project requirements. An interesting side-effect of having multiple forks is the ability to select between different evolution directions of the code which is based on developers fixing bugs in the code base. However, the key issue that this decentralized form of information is difficult to analyze. In this study, we propose a visualization to analyze active changes in fork repositories that have not been merged back to the original project. Our visualization shows code commit activities in multiple forks with highlight on bug fix commits in the history of forks. While the commit activity of each repository is visualized similarly to the code frequency view of GitHub, our view shows only commits unique to fork repositories. To illustrate the effectiveness of our visualization, we have applied our view to two use cases: identifying forks from a repository no longer maintained, and identifying a bug fix among forks. In the first case, we identify a fork of a suspended project named Obfuscator-LLVM. Our view shows the original repository and its most active fork that continue the development on the top. In the second case, we identify a bug fix in a fork of Clipy project. Our view shows that the most active fork has its own bug fixes; we could easily identify a patch for the bug highlighted in the view. As a new ideas paper, we then present our outline of three research questions to spark real world use-cases and goals for our visualization has the potential to uncover. A prototype of our visualization is available at \textcolor{blue}{\url{https://naist-se.github.io/vissoft2022/}


title: Pairwise Learning via Stagewise Training in Proximal Setting

abstract: The pairwise objective paradigms are an important and essential aspect of machine learning. Examples of machine learning approaches that use pairwise objective functions include differential network in face recognition, metric learning, bipartite learning, multiple kernel learning, and maximizing of area under the curve (AUC). Compared to pointwise learning, pairwise learning's sample size grows quadratically with the number of samples and thus its complexity. Researchers mostly address this challenge by utilizing an online learning system. Recent research has, however, offered adaptive sample size training for smooth loss functions as a better strategy in terms of convergence and complexity, but without a comprehensive theoretical study. In a distinct line of research, importance sampling has sparked a considerable amount of interest in finite pointwise-sum minimization. This is because of the stochastic gradient variance, which causes the convergence to be slowed considerably. In this paper, we combine adaptive sample size and importance sampling techniques for pairwise learning, with convergence guarantees for nonsmooth convex pairwise loss functions. In particular, the model is trained stochastically using an expanded training set for a predefined number of iterations derived from the stability bounds. In addition, we demonstrate that sampling opposite instances at each iteration reduces the variance of the gradient, hence accelerating convergence. Experiments on a broad variety of datasets in AUC maximization confirm the theoretical results.


title: Multi-Frames Temporal Abnormal Clues Learning Method for Face Anti-Spoofing

abstract: Face anti-spoofing researches are widely used in face recognition and has received more attention from industry and academics. In this paper, we propose the EulerNet, a new temporal feature fusion network in which the differential filter and residual pyramid are used to extract and amplify abnormal clues from continuous frames, respectively. A lightweight sample labeling method based on face landmarks is designed to label large-scale samples at a lower cost and has better results than other methods such as 3D camera. Finally, we collect 30,000 live and spoofing samples using various mobile ends to create a dataset that replicates various forms of attacks in a real-world setting. Extensive experiments on public OULU-NPU show that our algorithm is superior to the state of art and our solution has already been deployed in real-world systems servicing millions of users.


title: Higgs Inflation Using the Unstable Standard Model Potential

abstract: It is likely that the Higgs potential of the Standard Model is unstable, turning negative at $\phi < \Lambda \sim 10^{10}$ GeV. Here we consider whether it is possible to have Higgs Inflation on the positive stable region of the potential at $\phi < \Lambda$. To do this we add a non-minimally coupled induced gravity sector with scalar $\chi$ to the Standard Model. For an appropriate form for the non-minimal coupling of $\chi$, we show that it is possible to have conventional Higgs inflation at small $\phi < \Lambda$ if the effective Planck mass in the Jordan frame during inflation is sufficiently small, with a phase transition to $\chi \neq 0$ at the end of Higgs inflation which increases the Jordan frame Planck mass to its presently observed value. In the Einstein frame this corresponds to a suppression of the Higgs kinetic and potential term at the end of inflation. We show that the predictions of Higgs inflation at tree level are unaltered from conventional Higgs Inflation, with the exception of the magnitude of the Higgs field during inflation. Hence Higgs Inflation can be achieved using the potential of the unmodified Standard Model.


title: Affective Learning Objectives for Communicative Visualizations

abstract: When designing communicative visualizations, we often focus on goals that seek to convey patterns, relations, or comparisons (cognitive learning objectives). We pay less attention to affective intents--those that seek to influence or leverage the audience's opinions, attitudes, or values in some way. Affective objectives may range in outcomes from making the viewer care about the subject, strengthening a stance on an opinion, or leading them to take further action. Because such goals are often considered a violation of perceived 'neutrality' or are 'political,' designers may resist or be unable to describe these intents, let alone formalize them as learning objectives. While there are notable exceptions--such as advocacy visualizations or persuasive cartography--we find that visualization designers rarely acknowledge or formalize affective objectives. Through interviews with visualization designers, we expand on prior work on using learning objectives as a framework for describing and assessing communicative intent. Specifically, we extend and revise the framework to include a set of affective learning objectives. This structured taxonomy can help designers identify and declare their goals and compare and assess designs in a more principled way. Additionally, the taxonomy can enable external critique and analysis of visualizations. We illustrate the use of the taxonomy with a critical analysis of an affective visualization.


title: Where Are You Looking?: A Large-Scale Dataset of Head and Gaze Behavior for 360-Degree Videos and a Pilot Study

abstract: 360{\deg} videos in recent years have experienced booming development. Compared to traditional videos, 360{\deg} videos are featured with uncertain user behaviors, bringing opportunities as well as challenges. Datasets are necessary for researchers and developers to explore new ideas and conduct reproducible analyses for fair comparisons among different solutions. However, existing related datasets mostly focused on users' field of view (FoV), ignoring the more important eye gaze information, not to mention the integrated extraction and analysis of both FoV and eye gaze. Besides, users' behavior patterns are highly related to videos, yet most existing datasets only contained videos with subjective and qualitative classification from video genres, which lack quantitative analysis and fail to characterize the intrinsic properties of a video scene. To this end, we first propose a quantitative taxonomy for 360{\deg} videos that contains three objective technical metrics. Based on this taxonomy, we collect a dataset containing users' head and gaze behaviors simultaneously, which outperforms existing datasets with rich dimensions, large scale, strong diversity, and high frequency. Then we conduct a pilot study on user's behaviors and get some interesting findings such as user's head direction will follow his/her gaze direction with the most possible time interval. A case of application in tile-based 360{\deg} video streaming based on our dataset is later conducted, demonstrating a great performance improvement of existing works by leveraging our provided gaze information. Our dataset is available at https://cuhksz-inml.github.io/head_gaze_dataset/


title: SwISS: A Scalable Markov chain Monte Carlo Divide-and-Conquer Strategy

abstract: Divide-and-conquer strategies for Monte Carlo algorithms are an increasingly popular approach to making Bayesian inference scalable to large data sets. In its simplest form, the data are partitioned across multiple computing cores and a separate Markov chain Monte Carlo algorithm on each core targets the associated partial posterior distribution, which we refer to as a sub-posterior, that is the posterior given only the data from the segment of the partition associated with that core. Divide-and-conquer techniques reduce computational, memory and disk bottle-necks, but make it difficult to recombine the sub-posterior samples. We propose SwISS: Sub-posteriors with Inflation, Scaling and Shifting; a new approach for recombining the sub-posterior samples which is simple to apply, scales to high-dimensional parameter spaces and accurately approximates the original posterior distribution through affine transformations of the sub-posterior samples. We prove that our transformation is asymptotically optimal across a natural set of affine transformations and illustrate the efficacy of SwISS against competing algorithms on synthetic and real-world data sets.


title: Image Quality Assessment with Gradient Siamese Network

abstract: In this work, we introduce Gradient Siamese Network (GSN) for image quality assessment. The proposed method is skilled in capturing the gradient features between distorted images and reference images in full-reference image quality assessment(IQA) task. We utilize Central Differential Convolution to obtain both semantic features and detail difference hidden in image pair. Furthermore, spatial attention guides the network to concentrate on regions related to image detail. For the low-level, mid-level and high-level features extracted by the network, we innovatively design a multi-level fusion method to improve the efficiency of feature utilization. In addition to the common mean square error supervision, we further consider the relative distance among batch samples and successfully apply KL divergence loss to the image quality assessment task. We experimented the proposed algorithm GSN on several publicly available datasets and proved its superior performance. Our network won the second place in NTIRE 2022 Perceptual Image Quality Assessment Challenge track 1 Full-Reference.


title: The Variational principle, Conformal and Disformal transformations, and the degrees of freedom

abstract: Conformal and disformal transformations are now being very intensively studied in the context of various modified gravity theories. In particular, some special classes of them can be used for constructing Mimetic Dark Matter models. Recently, it has been shown that many more transformations of this type, if not virtually all of them when the coefficients depend on the scalar kinetic term, can produce new solutions with mimetic properties. The aim of this paper is to explain how it works at the level of the variational principle, and to express some worries about viability of these models.


title: Template-based Abstractive Microblog Opinion Summarisation

abstract: We introduce the task of microblog opinion summarisation (MOS) and share a dataset of 3100 gold-standard opinion summaries to facilitate research in this domain. The dataset contains summaries of tweets spanning a 2-year period and covers more topics than any other public Twitter summarisation dataset. Summaries are abstractive in nature and have been created by journalists skilled in summarising news articles following a template separating factual information (main story) from author opinions. Our method differs from previous work on generating gold-standard summaries from social media, which usually involves selecting representative posts and thus favours extractive summarisation models. To showcase the dataset's utility and challenges, we benchmark a range of abstractive and extractive state-of-the-art summarisation models and achieve good performance, with the former outperforming the latter. We also show that fine-tuning is necessary to improve performance and investigate the benefits of using different sample sizes.


title: Semiclassical strong-field theory of phase delays in $\omega -2\omega$ above-threshold ionization

abstract: Phase and time delays of atomic above-threshold ionization were recently experimentally explored in an $\omega -2\omega$ setting [Zipp et al, Optica 1, 361 (2014)]. The phases of wavepackets ejected from argon by a strong $2\omega$ pulse were probed as a function of the relative phase of a weaker $\omega$ probe pulse. Numerical simulations solving the time-dependent Schr\"{o}dinger equation (TDSE) displayed a sensitive dependence of the doubly differential momentum distribution on the relative phase between the $\omega$ and $2\omega$ fields. Moreover, a surprisingly strong variation of the extracted phase delays on the intensity of the probe pulse was found. We present a semiclassical strong-field description of the phase delays in the emission of electrons in an $\omega -2\omega$ setting and apply it to atomic hydrogen. Non-perturbative effects in both the $2\omega$ pump and the $\omega$ probe field are included. The semiclassical description allows tracing phase delays to path interferences between emission during different points in time of emission within the temporal unit cell of the two-color laser field. We find good agreement between the semiclassical saddle-point approximation, the full strong field approximation (SFA), and previous results applicable in the perturbative limit of probe fields. We show that the RABBIT-like perturbative description of phase delays breaks down for stronger fields and higher-energy electron emission. In this regime, characterization of the ionization signal requires an entire ensemble of phase delays {$\delta_i(E)$} with $i=1,2,\ldots$ the difference in photon numbers of the strong $2\omega$ field involved in the interfering paths. Comparison between SFA and TDSE calculations reveals the influence of the Coulomb field even in this strong-field scenario.


title: Four-top quark physics at the LHC

abstract: The production of four top quarks is a rare process in the Standard Model that provides unique opportunities and sensitivity to Standard Model observables including potential enhancement from many popular new physics extensions. This article summarises the latest experimental measurements of the four-top quark production cross section at the LHC. An overview of the interpretations of the experimental results in terms of the top quark Yukawa coupling and limits on physics beyond the Standard Model is also given as well as prospects for future measurements and opportunities offered by this challenging final state.


title: Proceedings 15th Interaction and Concurrency Experience

abstract: This volume contains the proceedings of ICE'22, the 15th Interaction and Concurrency Experience, which was held as an hybrid event in Lucca, Italy, and as a satellite event of DisCoTec'22. The ICE workshop series features a distinguishing review and selection procedure: PC members are encouraged to interact, anonymously, with authors. The 2022 edition of ICE included double blind reviewing of original research papers, in order to increase fairness and avoid bias in reviewing. Each paper was reviewed by between two and four PC members (with an average of 3.33333333333), and altogether 5 papers were accepted for publication -- plus 3 oral presentations which are not part of this volume. We were proud to host 2 invited talks, by Ilaria Castellani and Matthew Parkinson. The abstracts of these talks are included in this volume, together with the final versions of the research papers, which take into account the discussion at the workshop.


title: Self-Dual Convolutional Codes

abstract: This paper investigates the concept of self-dual convolutional code. We derive the basic properties of this interesting class of codes and we show how some of the techniques to construct self-dual linear block codes generalize to self-dual convolutional codes. As for self-dual linear block codes we are able to give a complete classification for some small parameters.


title: Dirichlet and Neumann boundary conditions in a Lattice Boltzmann Method for Elastodynamics

abstract: Recently, Murthy et al. [2017] and Escande et al. [2020] adopted the Lattice Boltzmann Method (LBM) to model the linear elastodynamic behaviour of isotropic solids. The LBM is attractive as an elastodynamic solver because it can be parallelised readily and lends itself to finely discretised dynamic continuum simulations, allowing transient phenomena such as wave propagation to be modelled efficiently. This work proposes simple local boundary rules which approximate the behaviour of Dirichlet and Neumann boundary conditions with an LBM for elastic solids. Both lattice-conforming and non-lattice-conforming, curved boundary geometries are considered. For validation, we compare results produced by the LBM for the sudden loading of a stationary crack with an analytical solution. Furthermore, we investigate the performance of the LBM for the transient tension loading of a plate with a circular hole, using Finite Element (FEM) simulations as a reference.


title: The mechanism of Li deposition on the Cu substrates in the anode-free Li metal batteries

abstract: Due to the rapid growth in the demand for high-energy-density Li batteries and insufficient global Li reserves, the anode-free Li metal batteries are receiving increasing attention. Various strategies, such as surface modification and structural design of Cu current collectors, have been proposed to stabilize the anode-free Li metal batteries. Unfortunately, the mechanism of Li deposition on the Cu surfaces with the different Miller indices is poorly understood, especially on the atomic scale. Here, a large-scale molecular dynamics simulation of Li deposition on the Cu substrates was performed in the anode-free Li metal batteries. The results show that the Li layers on the Cu (100), Cu (110), and Cu (111) surfaces are closer to the structures of Li (110), Li (100), and Li (110) surfaces, respectively. The mechanism was studied through the surface similarity analysis, potential energy surfaces, and lattice features. Finally, a proposal to reduce the fraction of the (110) facet in commercial Cu foils was made to improve the reversibility and stability of Li plating/stripping in the anode-free Li metal batteries.


title: Avalanches and deformation in glasses and disordered systems

abstract: In this chapter, we discuss avalanches in glasses and disordered systems, and the macroscopic dynamical behavior that they mediate. We briefly review three classes of systems where avalanches are observed: depinning transition of disordered interfaces, yielding of amorphous materials, and the jamming transition. Without extensive formalism, we discuss results gleaned from theoretical approaches -- mean-field theory, scaling and exponent relations, the renormalization group, and a few results from replica theory. We focus both on the remarkably sophisticated physics of avalanches and on relatively new approaches to the macroscopic flow behavior exhibited past the depinning/yielding transition.


title: Distribution of Shifted Discrete Random Walk and Vandermonde matrices

abstract: In this work we set up the generating function of the ultimate time survival probability $\varphi(u+1)$, where $$\varphi(u)=\mathbb{P}\left(\sup_{n\geqslant 1}\sum_{i=1}^{n}\left(X_i-\kappa\right)<u\right)$$ and $u\in\mathbb{N}_0,\,\kappa\in\mathbb{N}$, and the random walk $\left\{\sum_{i=1}^{n}X_i,\,n\in\mathbb{N}\right\}$ consists of independent and identically distributed random variables $X_i$, which are non-negative and integer valued. We also give expressions of $\varphi(u)$ via the roots of certain polynomials. Based on the proven theoretical statements, we give several examples on $\varphi(u)$ and its generating function expressions, when random variables $X_i$ admit Bernoulli, Geometric and some other distributions.


title: Holomorphic foliations of degree four on the complex projective space

abstract: In this paper, we study holomorphic foliations of degree four on complex projective space $\mathbb{P}^n$, where $n\geq 3$, with a special focus on obtaining a structural theorem for these foliations. Furthermore, for a foliation $\mathcal{F}$ of degree $d\geq 4$ with a sufficiently high $k^{th}$-jet, we prove that either $\mathcal{F}$ is transversely affine outside a compact hypersurface, or $\mathcal{F}$ is transversely projective outside a compact hypersurface, or $\mathcal{F}$ is the pull-back of a foliation on $\mathcal{F}^2$ by a rational map.


title: The non-iterates are dense in the space of continuous self-maps

abstract: In this paper we develop a tool to identify functions which have no iterative roots of any order. Using this, we prove that when $X$ is $[0,1]^m$, $\mathbb{R}^m$ or $S^1$, every non-empty open set of the space $\mathcal{C}(X)$ of continuous self-maps on $X$ endowed with the compact-open topology contains a map that does not have even discontinuous iterative roots of order $n\ge 2$. This, in particular, proves that the complement of $\{f^n: f\in \mathcal{C}(X)~\text{and}~n\ge 2\}$, the set of non-iterates, is dense in $\mathcal{C}(X)$ for these $X$.


title: Towards Semantic Communications: Deep Learning-Based Image Semantic Coding

abstract: Semantic communications has received growing interest since it can remarkably reduce the amount of data to be transmitted without missing critical information. Most existing works explore the semantic encoding and transmission for text and apply techniques in Natural Language Processing (NLP) to interpret the meaning of the text. In this paper, we conceive the semantic communications for image data that is much more richer in semantics and bandwidth sensitive. We propose an reinforcement learning based adaptive semantic coding (RL-ASC) approach that encodes images beyond pixel level. Firstly, we define the semantic concept of image data that includes the category, spatial arrangement, and visual feature as the representation unit, and propose a convolutional semantic encoder to extract semantic concepts. Secondly, we propose the image reconstruction criterion that evolves from the traditional pixel similarity to semantic similarity and perceptual performance. Thirdly, we design a novel RL-based semantic bit allocation model, whose reward is the increase in rate-semantic-perceptual performance after encoding a certain semantic concept with adaptive quantization level. Thus, the task-related information is preserved and reconstructed properly while less important data is discarded. Finally, we propose the Generative Adversarial Nets (GANs) based semantic decoder that fuses both locally and globally features via an attention module. Experimental results demonstrate that the proposed RL-ASC is noise robust and could reconstruct visually pleasant and semantic consistent image, and saves times of bit cost compared to standard codecs and other deep learning-based image codecs.


title: Spiral Arms in Broad-line Regions of Active Galactic Nuclei. I. Reverberation and Differential Interferometric Signals of Tightly Wound Cases

abstract: As a major feature in spectra of active galactic nuclei, broad emission lines deliver information of kinematics and spatial distributions of ionized gas surrounding the central supermassive black holes (SMBHs), that is the so-called broad-line regions (BLRs). There is growing evidence for appearance of spiral arms in the BLRs. It has been shown by reverberation mapping (RM) campaigns that the characterized radius of BLRs overlaps with that of self-gravitating regions of accretion disks. In the framework of the WKB approximation, we show robust properties of observational features of the spiral arms. The resulting spiral arms lead to various profiles of the broad emission line. We calculate RM and differential interferometric features of BLRs with $m=1$ mode spiral arms. These features can be detected with high-quality RM and differential interferometric observations via such as GRAVITY onboard Very Large Telescope Interferometer. The WKB approximation will be relaxed and universalized in the future to explore more general cases of density wave signals in RM campaigns and differential spectroastrometry observations.


title: Selectively Combining Multiple Coverage Goals in Search-Based Unit Test Generation

abstract: Unit testing is a critical part of software development process, ensuring the correctness of basic programming units in a program (e.g., a method). Search-based software testing (SBST) is an automated approach to generating test cases. SBST generates test cases with genetic algorithms by specifying the coverage criterion (e.g., branch coverage). However, a good test suite must have different properties, which cannot be captured by using an individual coverage criterion. Therefore, the state-of-the-art approach combines multiple criteria to generate test cases. As combining multiple coverage criteria brings multiple objectives for optimization, it hurts the test suites' coverage for certain criteria compared with using the single criterion. To cope with this problem, we propose a novel approach named \textbf{smart selection}. Based on the coverage correlations among criteria and the coverage goals' subsumption relationships, smart selection selects a subset of coverage goals to reduce the number of optimization objectives and avoid missing any properties of all criteria. We conduct experiments to evaluate smart selection on $400$ Java classes with three state-of-the-art genetic algorithms. On average, smart selection outperforms combining all goals on $65.1\%$ of the classes having significant differences between the two approaches.


title: Detecting Extreme Ideologies in Shifting Landscapes: an Automatic & Context-Agnostic Approach

abstract: In democratic countries, the ideology landscape is foundational to individual and collective political action; conversely, fringe ideology drives Ideologically Motivated Violent Extremism (IMVE). Therefore, quantifying ideology is a crucial first step to an ocean of downstream problems, such as; understanding and countering IMVE, detecting and intervening in disinformation campaigns, and broader empirical opinion dynamics modeling. However, online ideology detection faces two significant hindrances. Firstly, the ground truth that forms the basis for ideology detection is often prohibitively labor-intensive for practitioners to collect, requires access to domain experts and is specific to the context of its collection (i.e., time, location, and platform). Secondly, to circumvent this expense, researchers generate ground truth via other ideological signals (like hashtags used or politicians followed). However, the bias this introduces has not been quantified and often still requires expert intervention. This work presents an end-to-end ideology detection pipeline applicable to large-scale datasets. We construct context-agnostic and automatic ideological signals from widely available media slant data; show the derived pipeline is performant, compared to pipelines of common ideology signals and state-of-the-art baselines; employ the pipeline for left-right ideology, and (the more concerning) detection of extreme ideologies; generate psychosocial profiles of the inferred ideological groups; and, generate insights into their morality and preoccupations.


title: Van der Waals engineering of ultrafast carrier dynamics in magnetic heterostructures

abstract: Heterostructures composed of the intrinsic magnetic topological insulator MnBi$_2$Te$_4$ and its non-magnetic counterpart Bi$_2$Te$_3$ host distinct surface band structures depending on the stacking order and exposed termination, allowing fine control of their magnetic, electronic and optical properties. Here, we probe the ultrafast dynamical response of MnBi$_2$Te$_4$ and MnBi$_4$Te$_7$ following near-infrared optical excitation using time- and angle-resolved photoemission spectroscopy. We gain access to the out-of-equilibrium surface electronic structure of both MnBi$_2$Te$_4$ and Bi$_2$Te$_3$ surface terminations of MnBi$_4$Te$_7$, revealing an instantaneous occupation of states that are resonant with the optical excitation in the Bi$_2$Te$_3$ layer followed by carrier extraction into the adjacent MnBi$_2$Te$_4$ layers with a laser fluence-tunable delay of up to 350 fs. The ensuing thermal relaxation processes are driven by in-plane phonon scattering with significantly slower relaxation times in the magnetic MnBi$_2$Te$_4$ septuple layers. The competition of interlayer charge transfer and intralayer phonon scattering establishes MnBi$_2$Te$_4$-based compounds as a platform for controlling ultrafast charge transfer processes in combination with magnetism and topology in van der Waals heterostructures.


title: Ultra-bright Coherent Undulator Radiation Driven by Dielectric Laser Accelerator

abstract: A dielectric laser accelerator, operating at optical frequencies and GHz pulse rate, is expected to produce attosec electron bunches with a moderate beam current at high energy. For relativistic electrons, the attosec bunch has a spatial length of a few nanometers, which is well suited for generating high-brightness superradiance in the VUV, EUV, and x-ray spectra. Our study shows that the brilliance of coherent undulator radiation driven by a short-bunch beam with 1~10 fC bunch charge from a dielectric laser accelerator is comparable to or higher than that of a synchrotron in the 0.1 ~ 3 keV photon energy range, even though the beam power of the dielectric laser accelerator is about a million times lower than that of a synchrotron. When the brilliance under comparison is normalized to the electron beam power, the proposed coherent undulator radiation source becomes the brightest source on earth across the whole VUV, EUV, and soft x-ray spectrum.


title: Noise-resilient phase estimation with randomized compiling

abstract: We develop an error mitigation method for the control-free phase estimation. We prove a theorem that under the first-order correction, the noise channels with only Hermitian Kraus operators do not change the phases of a unitary operator, and therefore, the benign types of noise for phase estimation are identified. By using the randomized compiling protocol, we can convert the generic noise in the phase estimation circuits into stochastic Pauli noise, which satisfies the condition of our theorem. Thus we achieve a noise-resilient phase estimation without any quantum resource overhead. The simulated experiments show that our method can significantly reduce the estimation error of the phases by up to two orders of magnitude. Our method paves the way for the utilization of quantum phase estimation before the advent of fault-tolerant quantum computers.


title: FRA-RIR: Fast Random Approximation of the Image-source Method

abstract: The training of modern speech processing systems often requires a large amount of simulated room impulse response (RIR) data in order to allow the systems to generalize well in real-world, reverberant environments. However, simulating realistic RIR data typically requires accurate physical modeling, and the acceleration of such simulation process typically requires certain computational platforms such as a graphics processing unit (GPU). In this paper, we propose FRA-RIR, a fast random approximation method of the widely-used image-source method (ISM), to efficiently generate realistic RIR data without specific computational devices. FRA-RIR replaces the physical simulation in the standard ISM by a series of random approximations, which significantly speeds up the simulation process and enables its application in on-the-fly data generation pipelines. Experiments show that FRA-RIR can not only be significantly faster than other existing ISM-based RIR simulation tools on standard computational platforms, but also improves the performance of speech denoising systems evaluated on real-world RIR when trained with simulated RIR. A Python implementation of FRA-RIR is available online\footnote{\url{https://github.com/yluo42/FRA-RIR}}.


title: Interaction between giant atoms in a one-dimensional structured environment

abstract: Giant atoms -- quantum emitters that couple to light at multiple discrete points -- are emerging as a new paradigm in quantum optics thanks to their many promising properties, such as decoherence-free interaction. While most previous work has considered giant atoms coupled to open continuous waveguides or a single giant atom coupled to a structured bath, here we study the interaction between two giant atoms mediated by a structured waveguide, e.g., a photonic crystal waveguide. This environment is characterized by a finite energy band and a band gap, which affect atomic dynamics beyond the Markovian regime. Here we show that, inside the band, decoherence-free interaction is possible for different atom-cavity detunings, but is degraded from the continuous-waveguide case by time delay and other non-Markovian effects. Outside the band, where atoms interact through the overlap of bound states, we find that giant atoms can interact more strongly and over longer distances than small atoms for some parameters -- for instance, when restricting the maximum coupling strength achievable per coupling point. The results presented here may find applications in quantum simulation and quantum gate implementation.


title: Hyperbolicity and Abundance of Elliptical Islands in Annular Billiards

abstract: We study the billiard dynamics in annular tables between two excentric circles. As the center and the radius of the inner circle change, a two parameters map is defined by the first return of trajectories to the obstacle. We obtain an increasing family of hyperbolic sets, in the sense of the Hausdorff distance, as the radius goes to zero and the center of the obstacle approximates the outer boundary. The dynamics on each of these sets is conjugate to a shift with an increasing number of symbols. We also show that for many parameters the system presents quadratic homoclinic tangencies whose bifurcation gives rise to elliptical islands (Conservative Newhouse Phenomenon). Thus, for many parameters we obtain the coexistence of a "large" hyperbolic set with many elliptical islands.


title: INSPIRED2: An Improved Dataset for Sociable Conversational Recommendation

abstract: Conversational recommender systems (CRS) that are able to interact with users in natural language often utilize recommendation dialogs which were previously collected with the help of paired humans, where one plays the role of a seeker and the other as a recommender. These recommendation dialogs include items and entities that indicate the users' preferences. In order to precisely model the seekers' preferences and respond consistently, CRS typically rely on item and entity annotations. A recent example of such a dataset is INSPIRED, which consists of recommendation dialogs for sociable conversational recommendation, where items and entities were annotated using automatic keyword or pattern matching techniques. An analysis of this dataset unfortunately revealed that there is a substantial number of cases where items and entities were either wrongly annotated or annotations were missing at all. This leads to the question to what extent automatic techniques for annotations are effective. Moreover, it is important to study impact of annotation quality on the overall effectiveness of a CRS in terms of the quality of the system's responses. To study these aspects, we manually fixed the annotations in INSPIRED. We then evaluated the performance of several benchmark CRS using both versions of the dataset. Our analyses suggest that the improved version of the dataset, i.e., INSPIRED2, helped increase the performance of several benchmark CRS, emphasizing the importance of data quality both for end-to-end learning and retrieval-based approaches to conversational recommendation. We release our improved dataset (INSPIRED2) publicly at https://github.com/ahtsham58/INSPIRED2.


title: The Calogero--Moser Derivative Nonlinear Schr\"odinger Equation

abstract: We study the Calogero--Moser derivative NLS equation $$ i \partial_t u +\partial_{xx} u + (D+|D|)(|u|^2) u =0 $$ posed on the Hardy-Sobolev space $H^s_+(\mathbb{R})$ with suitable $s>0$. By using a Lax pair structure for this $L^2$-critical equation, we prove global well-posedness for $s \geq 1$ and initial data with sub-critical or critical $L^2$-mass $\| u_0 \|_{L^2}^2 \leq 2 \pi$. Moreover, we prove uniqueness of ground states and also classify all traveling solitary waves. Finally, we study in detail the class of multi-soliton solutions $u(t)$ and we prove that they exhibit energy cascades in the following strong sense such that $\|u(t)\|_{H^s} \sim_s |t|^{2s}$ as $t \to \pm \infty$ for every $s > 0$. \end{abstract}


title: A Local Discontinuous Galerkin approximation for the $p$-Navier-Stokes system, Part I: Convergence analysis

abstract: In the present paper, we propose a Local Discontinuous Galerkin (LDG) approximation for fully non-homogeneous systems of $p$-Navier-Stokes type. On the basis of the primal formulation, we prove well-posedness, stability (a priori estimates), and weak convergence of the method. To this end, we propose a new DG discretization of the convective term and develop an abstract non-conforming theory of pseudo-monotonicity, which is applied to our problem. We also use our approach to treat the $p$-Stokes problem.


title: A Local Discontinuous Galerkin approximation for the $p$-Navier-Stokes system, Part II: Convergence rates for the velocity

abstract: In the present paper, we prove convergence rates for the Local Discontinuous Galerkin (LDG) approximation, proposed in Part I of the paper, for systems of $p$-Navier-Stokes type and $p$-Stokes type with $p\in (2,\infty)$. The convergence rates are optimal for linear ansatz functions. The results are supported by numerical experiments.


title: History-dependent nano-photoisomerization by optical near-field in photochromic single crystals

abstract: We demonstrate history-dependent or dynamic nano-photoisomerization by sequential formation of multiple memory pathways in photochromic crystals via optical near-field interactions. We observed the incident photons passing through the photoisomerization memory pathways by a double-probe optical near-field microscope, with one probe located on the front surface for local excitation and the other on the rear surface for near-field observation. By carrying out localized near-field excitation twice but at spatially different positions, we observed negatively correlated near-field output patterns between the first memory pathway and the second memory pathway. That is, the added memory pathway was formed exclusively to the previously formed memory pathway. We also confirmed that the first memory pathway was preserved after the second memory pathway was formed. This result indicates that photoisomerization by an optical near-field in diarylethene crystals has a history dependence, leading to brain-like dynamic information memorization using light-matter interactions on the nanometer-scale.


title: Parameter uniform numerical method for singularly perturbed two parameter parabolic problem with discontinuous convection coefficient and source term

abstract: In this article, we have considered a time-dependent two-parameter singularly perturbed parabolic problem with discontinuous convection coefficient and source term. The problem contains the parameters $\epsilon$ and $\mu$ multiplying the diffusion and convection coefficients, respectively. A boundary layer develops on both sides of the boundaries as a result of these parameters. An interior layer forms near the point of discontinuity due to the discontinuity in the convection and source term. The width of the interior and boundary layers depends on the ratio of the perturbation parameters. We discuss the problem for ratio $\displaystyle\frac{\mu^2}{\epsilon}$. We used an upwind finite difference approach on a Shishkin-Bakhvalov mesh in the space and the Crank-Nicolson method in time on uniform mesh. At the point of discontinuity, a three-point formula was used. This method is uniformly convergent with second order in time and first order in space. Shishkin-Bakhvalov mesh provides first-order convergence; unlike the Shishkin mesh, where a logarithmic factor deteriorates the order of convergence. Some test examples are given to validate the results presented.


title: A Method of Improving Standard Stellar Luminosities with Multiband Standard Bolometric Corrections

abstract: Standard luminosity ($L$) of 406 main-sequence stars with the most accurate astrophysical parameters are predicted from their absolute magnitudes and bolometric corrections at Johnson $B,V$, and Gaia EDR3 $G$, $G_{BP}$, $G_{RP}$ filters. Required multiband $BC$ and $BC-T_{eff}$ relations are obtained first from the parameters of 209 DDEB (Double-lined Detached Eclipsing Binaries) with main-sequence components and Gaia EDR3 parallaxes. A simplified SED is formulated to give filter dependent component light contributions and interstellar dimming, which are essential in computing $BC$ of a component virtually at any filter. The mean standard $L$ of a star is calculated from the mean $M_{Bol}$ which is a mathematical average of independent $M_{Bol}$ values predicted at different filters, while the uncertainty of $L$ is the uncertainty propagated from the uncertainty of the mean $M_{Bol}$. The mean standard $L$ of the sample stars are compared to the corresponding $L$ values according to the Stefan-Boltzmann law. A very high correlation ($R^2>0.999$) is found. Comparing histogram distributions of errors shows that uncertainties associated with the mean standard $L$ (peak at $\sim2.5$ per cent) are much smaller than the uncertainties of $L$ (peak at $\sim8$ per cent) by the Stefan-Boltzmann law. Increasing the number of filters used in predicting the mean $M_{Bol}$ increases the accuracy of the standard stellar luminosity. Extinction law, color-color relations and color excess - color excess relations for Gaia passbands are demonstrated for main-sequence stars for the first time.


title: $d$-connectivity of the random graph with restricted budget

abstract: In this short note, we consider a graph process recently introduced by Frieze, Krivelevich and Michaeli. In their model, the edges of the complete graph $K_n$ are ordered uniformly at random and are then revealed consecutively to a player called Builder. At every round, Builder must decide if they accept the edge proposed at this round or not. We prove that, for every $d\ge 2$, Builder can construct a spanning $d$-connected graph after $(1+o(1))n\log n/2$ rounds by accepting $(1+o(1))dn/2$ edges with probability converging to 1 as $n\to \infty$. This settles a conjecture of Frieze, Krivelevich and Michaeli.


title: A review on longitudinal data analysis with random forest in precision medicine

abstract: Precision medicine provides customized treatments to patients based on their characteristics and is a promising approach to improving treatment efficiency. Large scale omics data are useful for patient characterization, but often their measurements change over time, leading to longitudinal data. Random forest is one of the state-of-the-art machine learning methods for building prediction models, and can play a crucial role in precision medicine. In this paper, we review extensions of the standard random forest method for the purpose of longitudinal data analysis. Extension methods are categorized according to the data structures for which they are designed. We consider both univariate and multivariate responses and further categorize the repeated measurements according to whether the time effect is relevant. Information of available software implementations of the reviewed extensions is also given. We conclude with discussions on the limitations of our review and some future research directions.


title: Distribution of rooks on a chess-board representing a Latin square partitioned by a subsystem

abstract: A $d$-dimensional generalization of a Latin square of order $n$ can be considered as a chess-board of size $n\times n\times \ldots\times n$ ($d$ times), containing $n^d$ cells with $n^{d-1}$ non-attacking rooks. Each cell is identified by a $d$-tuple $(e_1,e_2,\ldots ,e_d)$ where $e_i \in \{1,2,\ldots ,n\}$. For $d = 3$ we prove that such a chess-board represents precisely one main class. A subsystem $T$ induced by a family of sets $<E_1,E_2,\ldots ,E_d>$ over $\{1,2,\ldots ,n\}$ is real if $E_i \subset \{1,2,\ldots ,n\}$ for each $i \in \{1,2,\ldots ,d\}$. The density of $T$ is the ratio of contained rooks to the number of cells in $T$. The distance between two subsystems is the minimum Hamming distance between cell pairs. Replacing $k$ sets of $<E_1,E_2,\ldots ,E_d>$ by their complements, a subsystem $U$ is obtained with distance $k$ between $T$ and $U$. All these subsystems, including $T$, form a partition of the chess-board. We prove that in such a partition, the number of rooks in a $U$ and the density of $U$ can be determined from the number of rooks in $T$ and the number of cells in $T$ and $U$ and the value of $(-1)^k$. We examine the subsystem couple $(T,U)$ in the $2$- and $3$-dimensional cases, where $U$ is the most distant unique subsystem from a real $T$. On the fly, a new identity of binomial coefficients is proved.


title: Automatic lesion analysis for increased efficiency in outcome prediction of traumatic brain injury

abstract: The accurate prognosis for traumatic brain injury (TBI) patients is difficult yet essential to inform therapy, patient management, and long-term after-care. Patient characteristics such as age, motor and pupil responsiveness, hypoxia and hypotension, and radiological findings on computed tomography (CT), have been identified as important variables for TBI outcome prediction. CT is the acute imaging modality of choice in clinical practice because of its acquisition speed and widespread availability. However, this modality is mainly used for qualitative and semi-quantitative assessment, such as the Marshall scoring system, which is prone to subjectivity and human errors. This work explores the predictive power of imaging biomarkers extracted from routinely-acquired hospital admission CT scans using a state-of-the-art, deep learning TBI lesion segmentation method. We use lesion volumes and corresponding lesion statistics as inputs for an extended TBI outcome prediction model. We compare the predictive power of our proposed features to the Marshall score, independently and when paired with classic TBI biomarkers. We find that automatically extracted quantitative CT features perform similarly or better than the Marshall score in predicting unfavourable TBI outcomes. Leveraging automatic atlas alignment, we also identify frontal extra-axial lesions as important indicators of poor outcome. Our work may contribute to a better understanding of TBI, and provides new insights into how automated neuroimaging analysis can be used to improve prognostication after TBI.


title: Exact and Approximate Schemes for Robust Optimization Problems with Decision Dependent Information Discovery

abstract: Uncertain optimization problems with decision dependent information discovery allow the decision maker to control the timing of information discovery, in contrast to the classic multistage setting where uncertain parameters are revealed sequentially based on a prescribed filtration. This problem class is useful in a wide range of applications, however, its assimilation is partly limited by the lack of efficient solution schemes. In this paper we study two-stage robust optimization problems with decision dependent information discovery where uncertainty appears in the objective function. The contributions of the paper are twofold: (i) we develop an exact solution scheme based on a nested decomposition algorithm, and (ii) we improve upon the existing K-adaptability approximate by strengthening its formulation using techniques from the integer programming literature. Throughout the paper we use the orienteering problem as our working example, a challenging problem from the logistics literature which naturally fits within this framework. The complex structure of the routing recourse problem forms a challenging test bed for the proposed solution schemes, in which we show that exact solution method outperforms at times the K-adaptability approximation, however, the strengthened K-adaptability formulation can provide good quality solutions in larger instances while significantly outperforming existing approximation schemes even in the decision independent information discovery setting. We leverage the effectiveness of the proposed solution schemes and the orienteering problem in a case study from Alrijne hospital in the Netherlands, where we try to improve the collection process of empty medicine delivery crates by co-optimizing sensor placement and routing decisions.


title: UFNRec: Utilizing False Negative Samples for Sequential Recommendation

abstract: Sequential recommendation models are primarily optimized to distinguish positive samples from negative ones during training in which negative sampling serves as an essential component in learning the evolving user preferences through historical records. Except for randomly sampling negative samples from a uniformly distributed subset, many delicate methods have been proposed to mine negative samples with high quality. However, due to the inherent randomness of negative sampling, false negative samples are inevitably collected in model training. Current strategies mainly focus on removing such false negative samples, which leads to overlooking potential user interests, lack of recommendation diversity, less model robustness, and suffering from exposure bias. To this end, we propose a novel method that can Utilize False Negative samples for sequential Recommendation (UFNRec) to improve model performance. We first devise a simple strategy to extract false negative samples and then transfer these samples to positive samples in the following training process. Furthermore, we construct a teacher model to provide soft labels for false negative samples and design a consistency loss to regularize the predictions of these samples from the student model and the teacher model. To the best of our knowledge, this is the first work to utilize false negative samples instead of simply removing them for the sequential recommendation. Experiments on three benchmark public datasets are conducted using three widely applied SOTA models. The experiment results demonstrate that our proposed UFNRec can effectively draw information from false negative samples and further improve the performance of SOTA models. The code is available at https://github.com/UFNRec-code/UFNRec.


title: Experience of the COVID-19 pandemic in Wuhan leads to a lasting increase in social distancing

abstract: On 11th Jan 2020, the first COVID-19 related death was confirmed in Wuhan, Hubei. The Chinese government responded to the outbreak with a lockdown that impacted most residents of Hubei province and lasted for almost three months. At the time, the lockdown was the strictest both within China and worldwide. Using an interactive web-based experiment conducted half a year after the lockdown with participants from 11 Chinese provinces, we investigate the behavioral effects of this `shock' event experienced by the population of Hubei. We find that both one's place of residence and the strictness of lockdown measures in their province are robust predictors of individual social distancing behavior. Further, we observe that informational messages are effective at increasing compliance with social distancing throughout China, whereas fines for noncompliance work better within Hubei province relative to the rest of the country. We also report that residents of Hubei increase their propensity to social distance when exposed to social environments characterized by the presence of a superspreader, while the effect is not present outside of the province. Our results appear to be specific to the context of COVID-19, and are not explained by general differences in risk attitudes and social preferences.


title: The origin of the optical/ultraviolet emission of optical/ultraviolet tidal disruption events

abstract: One of the most prominent problems of optical/ultraviolet (UV) tidal disruption events (TDEs) is the origin of their optical/UV emission. It has been proposed that the soft X-rays produced by the stellar debris accretion disk can be reprocessed into optical/UV photons by a surrounding optically thick envelope or outflow. However, there is still no detailed models for this mechanism. In this paper, by performing hydrodynamic simulations with radiative transfer, we calculate the optical/UV emission of the circularized stellar debris accretion flow/outflow system. We find that the optical/UV photons can be generated by reprocessing the emission of the accretion flow in the optically thick outflows. The model can well interpret the observed emission properties of optical/UV TDEs, including the emission radius, the radiation temperature and the luminosity, as well as the evolution of these quantities with time, providing a strong theoretical basis for understanding the origin of optical/UV TDEs.


title: Deep Machine Learning Reconstructing Lattice Topology with Strong Thermal Fluctuations

abstract: Applying artificial intelligence to scientific problems (namely AI for science) is currently under hot debate. However, the scientific problems differ much from the conventional ones with images, texts, and etc., where new challenges emerges with the unbalanced scientific data and complicated effects from the physical setups. In this work, we demonstrate the validity of the deep convolutional neural network (CNN) on reconstructing the lattice topology (i.e., spin connectivities) in the presence of strong thermal fluctuations and unbalanced data. Taking the kinetic Ising model with Glauber dynamics as an example, the CNN maps the time-dependent local magnetic momenta (a single-node feature) evolved from a specific initial configuration (dubbed as an evolution instance) to the probabilities of the presences of the possible couplings. Our scheme distinguishes from the previous ones that might require the knowledge on the node dynamics, the responses from perturbations, or the evaluations of statistic quantities such as correlations or transfer entropy from many evolution instances. The fine tuning avoids the "barren plateau" caused by the strong thermal fluctuations at high temperatures. Accurate reconstructions can be made where the thermal fluctuations dominate over the correlations and consequently the statistic methods in general fail. Meanwhile, we unveil the generalization of CNN on dealing with the instances evolved from the unlearnt initial spin configurations and those with the unlearnt lattices. We raise an open question on the learning with unbalanced data in the nearly "double-exponentially" large sample space.

categories: stat.ML cond-mat.str-el cs.LG physics.class-ph


title: Searching for New Physics with DarkLight at the ARIEL Electron-Linac

abstract: The search for a dark photon holds considerable interest in the physics community. Such a force carrier would begin to illuminate the dark sector. Many experiments have searched for such a particle, but so far it has proven elusive. In recent years the concept of a low mass dark photon has gained popularity in the physics community. Of particular recent interest is the $^8$Be and $^4$He anomaly, which could be explained by a new fifth force carrier with a mass of 17 MeV/$c^2$. The proposed DarkLight experiment would search for this potential low mass force carrier at ARIEL in the 10-20 MeV e$^+$e$^-$ invariant mass range. This proceeding will focus on the experimental design and physics case of the DarkLight experiment.


title: Retour sur l'arithm\'etique des intersections de deux quadriques, avec un appendice par A. Kuznestov

abstract: Lichtenbaum proved that index and period coincide for a curve of genus one over a $p$-adic field. Salberger proved that the Hasse principle holds for a smooth complete intersection of two quadrics $X \subset P^n$ over a number field, if it contains a conic and if $n\geq 5$. Building upon these two results, we extend recent results of Creutz and Viray (2021) on the existence of a quadratic point on intersections of two quadrics over $p$-adic fields and number fields. We then recover Heath-Brown's theorem (2018) that the Hasse principle holds for smooth complete intersections of two quadrics in $P^7$. We also give an alternate proof of a theorem of Iyer and Parimala (2022) on the local-global principle in the case $n=5$.


title: Practitioners Versus Users: A Value-Sensitive Evaluation of Current Industrial Recommender System Design

abstract: Recommender systems are playing an increasingly important role in alleviating information overload and supporting users' various needs, e.g., consumption, socialization, and entertainment. However, limited research focuses on how values should be extensively considered in industrial deployments of recommender systems, the ignorance of which can be problematic. To fill this gap, in this paper, we adopt Value Sensitive Design to comprehensively explore how practitioners and users recognize different values of current industrial recommender systems. Based on conceptual and empirical investigations, we focus on five values: recommendation quality, privacy, transparency, fairness, and trustworthiness. We further conduct in-depth qualitative interviews with 20 users and 10 practitioners to delve into their opinions about these values. Our results reveal the existence and sources of tensions between practitioners and users in terms of value interpretation, evaluation, and practice, which provide novel implications for designing more human-centric and value-sensitive recommender systems.


title: Eco-friendly Bismuth Based Double Perovskites X$_2$NaBiCl$_6$ (X=Cs, Rb, K) for Optoelectronic and Thermoelectric Applications: A First-Principles Study

abstract: Owing to the energy shortages and various severe adverse effects of traditional fossil fuel power generation mechanisms, photovoltaic and thermoelectric materials are considered as the potential candidates for building non-traditional, efficient, and eco-friendly power generation portfolios. Lead-based perovskites have emerged as highly efficient, abundantly available, and low-cost materials for such applications but there are two major challenges i.e. chemical instability and the danger of toxic lead leaching that can badly affect both the environment and human health. Therefore, in search of lead-free perovskites, the replacement of lead with eco-friendly elements like bismuth and sodium may be a good strategy. Bismuth has very similar electronic properties as that of lead so it gives very efficient perovskites. Therefore, double perovskites containg Bi element X$_2$NaBiCl$_6$ (X=Cs, Rb, K) are explored here in terms of the structural, opto-electronic , and thermoelectric properties using the first-principles approach. The materials are attractive for optoelectronic applications such as ultraviolet sensors and detectors due to the prominent absorption peaks in ultraviolet region (10eV-30eV), low reflection (5-7%), and high optical conductivity. In addition to the alluring optoelectronic features, the compounds under study have figure of merit being close to unity so these are also promising for thermoelectric applications.


title: Molecular nature of the $a_1$(1260) axial-vector meson

abstract: We investigate $\pi\rho$ scattering based on the coupled-channel formalism with the $\pi\rho$ and $K\bar{K}^*$ ($\bar{K}K^*$) channels included. We construct the kernel amplitudes by using the meson-exchange model and compute the coupled integral equation for $\pi\rho$ scattering. By performing the partial-wave expansion, we show explicitly that the $a_1(1260)$ meson is dynamically generated by the coupled-channel formalism. The $a_1$ meson only appears by including the $K\bar{K}^*$ ($\bar{K}K^*$) channel. We obtain the pole position of the $a_1$ meson as $\sqrt{s_R} = (1170.7 - i 173.0)$ MeV. We conclude that the $a_1$ meson can be interpreted as a kaon and vector kaon molecular state.


title: Is this Change the Answer to that Problem? Correlating Descriptions of Bug and Code Changes for Evaluating Patch Correctness

abstract: In this work, we propose a novel perspective to the problem of patch correctness assessment: a correct patch implements changes that "answer" to a problem posed by buggy behaviour. Concretely, we turn the patch correctness assessment into a Question Answering problem. To tackle this problem, our intuition is that natural language processing can provide the necessary representations and models for assessing the semantic correlation between a bug (question) and a patch (answer). Specifically, we consider as inputs the bug reports as well as the natural language description of the generated patches. Our approach, Quatrain, first considers state of the art commit message generation models to produce the relevant inputs associated to each generated patch. Then we leverage a neural network architecture to learn the semantic correlation between bug reports and commit messages. Experiments on a large dataset of 9135 patches generated for three bug datasets (Defects4j, Bugs.jar and Bears) show that Quatrain can achieve an AUC of 0.886 on predicting patch correctness, and recalling 93% correct patches while filtering out 62% incorrect patches. Our experimental results further demonstrate the influence of inputs quality on prediction performance. We further perform experiments to highlight that the model indeed learns the relationship between bug reports and code change descriptions for the prediction. Finally, we compare against prior work and discuss the benefits of our approach.


title: Box dimension of generalized affine fractal interpolation functions

abstract: Let $f$ be a generalized affine fractal interpolation function with vertical scaling function $S$. In this paper, we study $\dim_B \Gamma f$, the box dimension of the graph of $f$, under the assumption that $S$ is a Lipschtz function. By introducing vertical scaling matrices, we estimate the upper bound and the lower bound of oscillations of $f$. As a result, we obtain explicit formula of $\dim_B \Gamma f$ under certain constraint conditions.


title: Site adaptation with machine learning for a Northern Europe gridded solar radiation product

abstract: Gridded global horizontal irradiance (GHI) databases are fundamental for analysing solar energy applications' technical and economic aspects, particularly photovoltaic applications. Today, there exist numerous gridded GHI databases whose quality has been thoroughly validated against ground-based irradiance measurements. Nonetheless, databases that generate data at latitudes above 65$^{\circ}$ are few, and those available gridded irradiance products, which are either reanalysis or based on polar orbiters, such as ERA5, COSMO-REA6, or CM SAF CLARA-A2, generally have lower quality or a coarser time resolution than those gridded irradiance products based on geostationary satellites. Among the high-latitude gridded GHI databases, the STR\r{A}NG model developed by the Swedish Meteorological and Hydrological Institute (SMHI) is likely the most accurate one, providing data across Sweden. To further enhance the product quality, the calibration technique called "site adaptation" is herein used to improve the STR\r{A}NG dataset, which seeks to adjust a long period of low-quality gridded irradiance estimates based on a short period of high-quality irradiance measurements. This study, differing from the conventional statistical approaches, adopts machine learning for site adaptation. Nine machine-learning algorithms have been analysed and compared with conventional statistical ones to identify Sweden's most favourable technique for site adaptation. Three weather stations of SMHI are used for training and validation. The results show that, due to the spatio-temporal heterogeneity in model performance, no universal model can be identified, which suggests that site adaptation is a location-dependent procedure.


title: Remixed Eulerian numbers

abstract: Remixed Eulerian numbers are a polynomial $q$-deformation of Postnikov's mixed Eulerian numbers. They arose naturally in previous work by the authors concerning the permutahedral variety and subsume well-known families of polynomials such as $q$-binomial coefficients and Garsia--Remmel's $q$-hit numbers. We study their combinatorics in more depth. As polynomials in $q$, they are shown to be symmetric and unimodal. By interpreting them as computing success probabilities in a simple probabilistic process we arrive at a combinatorial interpretation involving weighted trees. By decomposing the permutahedron into certain combinatorial cubes, we obtain a second combinatorial interpretation. At $q=1$, the former recovers Postnikov's interpretation whereas the latter recovers Liu's interpretation, both of which were obtained via methods different from ours.


title: Complexions in a modified Langmuir-McLean model of grain boundary segregation

abstract: The Langmuir-McLean isotherm is often interpreted as providing an approximation to the most probable grain boundary segregation as a function of the bulk mole solute fraction $x_B$, even though $x_B$ is not an independant parameter in the free energy minimization on which it is based. In this paper it is shown that the most probable segregation for a specified $x_B$ differs from the standard Langmuir-McLean relation. Numerical solution of the derived equation suggests that two potentially stable interface compositions are associated with most bulk compositions. One solution represents a state with an excess of solute along the boundary relative to the bulk, while the other represents a deficit. The vacancy content ratio between the interface and the bulk plays a large role in determining the shape of the derived isotherm.


title: Reliability Analysis of Complex Multi-State System Based on Universal Generating Function and Bayesian Network

abstract: In the complex multi-state system (MSS), reliability analysis is a significant research content, both for equipment design, manufacturing, usage and maintenance. Universal Generating Function (UGF) is an important method in the reliability analysis, which efficiently obtains the system reliability by a fast algebraic procedure. However, when structural relationships between subsystems or components are not clear or without explicit expressions, the UGF method is difficult to use or not applicable at all. Bayesian Network (BN) has a natural advantage in terms of uncertainty inference for the relationship without explicit expressions. For the number of components is extremely large, though, it has the defects of low efficiency. To overcome the respective defects of UGF and BN, a novel reliability analysis method called UGF-BN is proposed for the complex MSS. In the UGF-BN framework, the UGF method is firstly used to analyze the bottom components with a large number. Then probability distributions obtained are taken as the input of BN. Finally, the reliability of the complex MSS is modeled by the BN method. This proposed method improves the computational efficiency, especially for the MSS with the large number of bottom components. Besides, the aircraft reliability-based design optimization based on the UGF-BN method is further studied with budget constraints on mass, power, and cost. Finally, two cases are used to demonstrate and verify the proposed method.


title: Collective dynamics of capacity-constrained ride-pooling fleets

abstract: Ride-pooling (or ride-sharing) services combine trips of multiple customers along similar routes into a single vehicle. The collective dynamics of the fleet of ride-pooling vehicles fundamentally underlies the efficiency of these services. In simplified models, the common features of these dynamics give rise to scaling laws of the efficiency that are valid across a wide range of street networks and demand settings. However, it is unclear how constraints of the vehicle fleet impact such scaling laws. Here, we map the collective dynamics of capacity-constrained ride-pooling fleets to services with unlimited passenger capacity and identify an effective fleet size of available vehicles as the relevant scaling parameter characterizing the dynamics. Exploiting this mapping, we generalize the scaling laws of ride-pooling efficiency to capacity-constrained fleets. We approximate the scaling function with a queueing theoretical analysis of the dynamics in a minimal model system, thereby enabling mean-field predictions of required fleet sizes in more complex settings. These results may help to transfer insights from existing ride-pooling services to new settings or service locations.


title: Quantum thermochemical engines

abstract: Conversion of chemical energy into mechanical work is the fundamental mechanism of several natural phenomena at the nanoscale, like molecular machines and Brownian motors. Quantum mechanical effects are relevant for optimising these processes and to implement them at the atomic scale. This paper focuses on engines that transform chemical work into mechanical work through energy and particle exchanges with thermal sources at different chemical potentials. Irreversibility is introduced by modelling the engine transformations with finite-time dynamics generated by a time-depending quantum master equation. Quantum degenerate gases provide maximum efficiency for reversible engines, whereas the classical limit implies small efficiency. For irreversible engines, both the output power and the efficiency at maximum power are much larger in the quantum regime than in the classical limit. The analysis of ideal homogeneous gases grasps the impact of quantum statistics on the above performances, which persists in the presence of interactions and more general trapping. The performance dependence on different types of Bose-Einstein Condensates (BECs) is also studied. BECs under considerations are standard BECs with a finite fraction of particles in the ground state, and generalised BECs where eigenstates with parallel momenta, or those with coplanar momenta are macroscopically occupied according to the confinement anisotropy. Quantum statistics is therefore a resource for enhanced performances of converting chemical into mechanical work.


title: Development of the photo-diode subsystem for the HERD calorimeter double-readout

abstract: The measurement of cosmic-ray individual spectra provides unique information regarding the origin and propagation of astro-particles. Due to the limited acceptance of current space experiments, protons and nuclei around the "knee" region ($\sim1\ PeV$) can only be observed by ground based experiments. Thanks to an innovative design, the High Energy cosmic-Radiation Detection (HERD) facility will allow direct observation up to this energy region: the instrument is mainly based on a 3D segmented, isotropic and homogeneous calorimeter which properly measures the energy of particles coming from each direction and it will be made of about 7500 LYSO cubic crystals. The read-out of the scintillation light is done with two independent systems: the first one based on wave-length shifting fibers coupled to Intensified scientific CMOS cameras, the second one is made of two photo-diodes with different active areas connected to a custom front-end electronics. This photo-diode system is designed to achieve a huge dynamic range, larger than $10^7$, while having a small power consumption, few mW per channel. Thanks to a good signal-to-noise ratio, the capability of a proper calibration, by using signals of both non-interacting and showering particles, is also guaranteed. In this paper, the current design and the performance obtained by several tests of the photo-diode read-out system are discussed.


title: A Differential-Geometric Approach to Quantum Ignorance Consistent with Entropic Properties of Statistical Mechanics

abstract: In this paper, we construct the metric tensor and volume for the manifold of purifications associated with an arbitrary reduced density operator $\rho_S$. We also define a quantum coarse-graining (CG) to study the volume where macrostates are the manifolds of purifications, which we call surfaces of ignorance (SOI), and microstates are the purifications of $\rho_S$. In this context, the volume functions as a multiplicity of the macrostates that quantifies the amount of information missing from $\rho_S$. Using examples where the SOI are generated using representations of $SU(2)$, $SO(3)$, and $SO(N)$, we show two features of the CG. (1) A system beginning in an atypical macrostate of smaller volume evolves to macrostates of greater volume until it reaches the equilibrium macrostate in a process in which the system and environment become strictly more entangled, and (2) the equilibrium macrostate takes up the vast majority of the coarse-grainied space especially as the dimension of the total system becomes large. Here, the equilibrium macrostate corresponds to maximum entanglement between system and environment. To demonstrate feature (1) for the examples considered, we show that the volume behaves like the von Neumann entropy in that it is zero for pure states, maximal for maximally mixed states, and is a concave function w.r.t the purity of $\rho_S$. These two features are essential to typicality arguments regarding thermalization and Boltzmann's original CG.


title: Adversarial Attacks on Image Generation With Made-Up Words

abstract: Text-guided image generation models can be prompted to generate images using nonce words adversarially designed to robustly evoke specific visual concepts. Two approaches for such generation are introduced: macaronic prompting, which involves designing cryptic hybrid words by concatenating subword units from different languages; and evocative prompting, which involves designing nonce words whose broad morphological features are similar enough to that of existing words to trigger robust visual associations. The two methods can also be combined to generate images associated with more specific visual concepts. The implications of these techniques for the circumvention of existing approaches to content moderation, and particularly the generation of offensive or harmful images, are discussed.


title: Avoiding small denominator problems by means of the homotopy analysis method

abstract: The so-called ``small denominator problem'' was a fundamental problem of dynamics, as pointed out by Poincar\'{e}. Small denominators appear most commonly in perturbative theory. The Duffing equation is the simplest example of a non-integrable system exhibiting all problems due to small denominators. In this paper, using the forced Duffing equation as an example, we illustrate that the famous ``small denominator problems'' never appear if a non-perturbative approach based on the homotopy analysis method (HAM), namely ``the method of directly defining inverse mapping'' (MDDiM), is used. The HAM-based MDDiM provides us great freedom to directly define the inverse operator of an undetermined linear operator so that all small denominators can be completely avoided and besides the convergent series of multiple limit-cycles of the forced Duffing equation with high nonlinearity are successfully obtained. So, from the viewpoint of the HAM, the famous ``small denominator problems'' are only artifacts of perturbation methods. Therefore, completely abandoning perturbation methods but using the HAM-based MDDiM, one would be never troubled by ``small denominators''. The HAM-based MDDiM has general meanings in mathematics and thus can be used to attack many open problems related to the so-called ``small denominators''.


title: Virtual grating approach for Monte Carlo simulations of edge illumination-based x-ray phase contrast imaging

abstract: The design of new x-ray phase contrast imaging setups often relies on Monte Carlo simulations for prospective parameter studies. Monte Carlo simulations are known to be accurate but time consuming, leading to long simulation times, especially when many parameter variations are required. This is certainly the case for imaging methods relying on absorbing masks or gratings, with various tunable properties, such as pitch, aperture size, and thickness. In this work, we present the virtual grating approach to overcome this limitation. By replacing the gratings in the simulation with virtual gratings, the parameters of the gratings can be changed after the simulation, thereby significantly reducing the overall simulation time. The method is validated by comparison to explicit grating simulations, followed by representative demonstration cases.


title: Water Goes Where? A Water Resource Allocation Method Based on Multi-Objective Decision-Making

abstract: For a long time, water and hydroelectric power are relatively important resources. Their rational distribution is closely related to regional agriculture, industry, residents, etc. In this paper, we mainly study the problem of allocation scheme for Glen Canyon Dam and Hoover Dam in the Colorado River Basin. Taking into consideration of various factors, we build models to achieve optimal scheduling. Firstly, we propose the Water Strategy Decision Model, which can obtain different distribution methods for the different water levels. Also, we connect the two dams in series to consider the coupling effect between them and integrate this part into the main model. Secondly, we propose three criteria of allocation for water and power generation, namely, economic, social, and environmental benefits. Social benefits mainly include the minimum shortage of water and electricity for agriculture, industry, and residents. For this multi-objective plan, the model is solved using a multi-objective ant colony genetic algorithm under the constraint of constant total water volume, and finally, the current reservoir capacities of the two lakes are input to derive the annual water supply to the five states. Thirdly, based on the location and development characteristics of the five states, we obtain a water scheduling model based on the priority of geographic-industry characteristics. Fourthly, we can regard the model as a four-dimensional space of industrial, agricultural, residential and power generation water demand. The partial derivative calculation formula of multi-dimensional space can be used to obtain the results. Finally, we analyze the sensitivity of the model, and it shows that the model has strong adaptability and is easier to popularize. Moreover, we discuss the advantages and disadvantages of the models.


title: DALLE-URBAN: Capturing the urban design expertise of large text to image transformers

abstract: Automatically converting text descriptions into images using transformer architectures has recently received considerable attention. Such advances have implications for many applied design disciplines across fashion, art, architecture, urban planning, landscape design and the future tools available to such disciplines. However, a detailed analysis capturing the capabilities of such models, specifically with a focus on the built environment, has not been performed to date. In this work, we investigate the capabilities and biases of such text-to-image methods as it applies to the built environment in detail. We use a systematic grammar to generate queries related to the built environment and evaluate resulting generated images. We generate 1020 different images and find that text to image transformers are robust at generating realistic images across different domains for this use-case. Generated imagery can be found at the github: https://github.com/sachith500/DALLEURBAN


title: Style Transfer of Black and White Silhouette Images using CycleGAN and a Randomly Generated Dataset

abstract: CycleGAN can be used to transfer an artistic style to an image. It does not require pairs of source and stylized images to train a model. Taking this advantage, we propose using randomly generated data to train a machine learning model that can transfer traditional art style to a black and white silhouette image. The result is noticeably better than the previous neural style transfer methods. However, there are some areas for improvement, such as removing artifacts and spikes from the transformed image.


title: A simple proof of the Fundamental Theorem of Algebra

abstract: Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.


title: Secondary flow in ensembles of non-convex granular particles under shear

abstract: Studies of granular materials, both theoretical and experimental, are often restricted to convex grain shapes. We demonstrate that a non-convex grain shape can lead to a qualitatively novel macroscopic dynamics. Spatial crosses (hexapods) are continuously sheared in a split-bottom container. Thereby, they develop a secondary flow profile that is completely opposite to that of rod-shaped or lentil-shaped convex grains in the same geometry. The crosses at the surface migrate towards the rotation center and sink there, mimicking a `reverse Weissenberg effect'. The observed surface flow field suggests the existence of a radial outward flow in the depth of the granular bed, thus forming a convection cell. This flow field is connected with a dimple formed in the rotation center. The effect is strongly dependent on the particle geometry and the height of the granular bed.