title: GOTCHA: Real-Time Video Deepfake Detection via Challenge-Response

abstract: With the rise of AI-enabled Real-Time Deepfakes (RTDFs), the integrity of online video interactions has become a growing concern. RTDFs have now made it feasible to replace an imposter's face with their victim in live video interactions. Such advancement in deepfakes also coaxes detection to rise to the same standard. However, existing deepfake detection techniques are asynchronous and hence ill-suited for RTDFs. To bridge this gap, we propose a challenge-response approach that establishes authenticity in live settings. We focus on talking-head style video interaction and present a taxonomy of challenges that specifically target inherent limitations of RTDF generation pipelines. We evaluate representative examples from the taxonomy by collecting a unique dataset comprising eight challenges, which consistently and visibly degrades the quality of state-of-the-art deepfake generators. These results are corroborated both by humans and a new automated scoring function, leading to 88.6% and 80.1% AUC, respectively. The findings underscore the promising potential of challenge-response systems for explainable and scalable real-time deepfake detection in practical scenarios. We provide access to data and code at \url{https://github.com/mittalgovind/GOTCHA-Deepfakes}.


title: Lorentz-covariant nonlocal collision term for spin-1/2 particles

abstract: We revisit the derivation of the nonlocal collision term in the Boltzmann equation for spin-1/2 particles, using both the Wigner-function approach by de Groot, van Leeuwen, and van Weert, and the Kadanoff-Baym equation in $T$-matrix approximation. Contrary to previous calculations, our results maintain full Lorentz covariance of the nonlocal collision term.


title: Anomaly Detection using Generative Models and Sum-Product Networks in Mammography Scans

abstract: Unsupervised anomaly detection models which are trained solely by healthy data, have gained importance in the recent years, as the annotation of medical data is a tedious task. Autoencoders and generative adversarial networks are the standard anomaly detection methods that are utilized to learn the data distribution. However, they fall short when it comes to inference and evaluation of the likelihood of test samples. We propose a novel combination of generative models and a probabilistic graphical model. After encoding image samples by autoencoders, the distribution of data is modeled by Random and Tensorized Sum-Product Networks ensuring exact and efficient inference at test time. We evaluate different autoencoder architectures in combination with Random and Tensorized Sum-Product Networks on mammography images using patch-wise processing and observe superior performance over utilizing the models standalone and state-of-the-art in anomaly detection for medical data.


title: Overview on uncertainty quantification in traffic models via intrusive method

abstract: We consider traffic flow models at different scales of observation. Starting from the well known hierarchy between microscopic, kinetic and macroscopic scales, we will investigate the propagation of uncertainties through the models using the stochastic Galerkin approach. Connections between the scales will be presented in the stochastic scenario and numerical simulations will be performed.


title: "Seeing the Faces Is So Important" -- Experiences From Online Team Meetings on Commercial Virtual Reality Platforms

abstract: During the Covid-19 pandemic, online meetings became common for daily teamwork in the home office. To understand the opportunities and challenges of meeting in virtual reality (VR) compared to video conferences, we conducted the weekly team meetings of our human-computer interaction research lab on five off-the-shelf online meeting platforms over four months. After each of the 12 meetings, we asked the participants (N = 32) to share their experiences, resulting in 200 completed online questionnaires. We evaluated the ratings of the overall meeting experience and conducted an exploratory factor analysis of the quantitative data to compare VR meetings and video calls in terms of meeting involvement and co-presence. In addition, a thematic analysis of the qualitative data revealed genuine insights covering five themes: spatial aspects, meeting atmosphere, expression of emotions, meeting productivity, and user needs. We reflect on our findings gained under authentic working conditions, derive lessons learned for running successful team meetings in VR supporting different kinds of meeting formats, and discuss the team's long-term platform choice.


title: "Gradient-free" diffuse approximations of the Willmore functional and Willmore flow

abstract: We introduce new diffuse approximations of the Willmore functional and the Willmore flow. They are based on a corresponding approximation of the perimeter that has been studied by Amstutz-van Goethem [{\em Interfaces Free Bound. 14 (2012)}]. We identify the candidate for the $\Gamma$--convergence, prove the $\Gamma$--limsup statement and justify the convergence to the Willmore flow by an asymptotic expansion. Furthermore, we present numerical simulations that are based on the new approximation.


title: Pose-Guided Graph Convolutional Networks for Skeleton-Based Action Recognition

abstract: Graph convolutional networks (GCNs), which can model the human body skeletons as spatial and temporal graphs, have shown remarkable potential in skeleton-based action recognition. However, in the existing GCN-based methods, graph-structured representation of the human skeleton makes it difficult to be fused with other modalities, especially in the early stages. This may limit their scalability and performance in action recognition tasks. In addition, the pose information, which naturally contains informative and discriminative clues for action recognition, is rarely explored together with skeleton data in existing methods. In this work, we propose pose-guided GCN (PG-GCN), a multi-modal framework for high-performance human action recognition. In particular, a multi-stream network is constructed to simultaneously explore the robust features from both the pose and skeleton data, while a dynamic attention module is designed for early-stage feature fusion. The core idea of this module is to utilize a trainable graph to aggregate features from the skeleton stream with that of the pose stream, which leads to a network with more robust feature representation ability. Extensive experiments show that the proposed PG-GCN can achieve state-of-the-art performance on the NTU RGB+D 60 and NTU RGB+D 120 datasets.


title: Conservation of Fractional Mean Energy in Dissipative Gases

abstract: I show a nontrivial functional giving a conservation quantity in the collisional energy cascade of dissipative Maxwell gases: a fractional-calculus extension of the mean energy. The conservation of this quantity directly leads the power-law energy tail that is stationary during the temporal evolution. In the thermal limit, this quantity naturally reduces to the standard mean energy. This conservation law and its extension to particles with other interactions are demonstrated with a Monte-Carlo simulation for inelastic gases.


title: Dictionary learning: a novel approach to detecting binary black holes in the presence of Galactic noise with LISA

abstract: The noise produced by the inspiral of millions of white dwarf binaries in the Milky Way may pose a threat to one of the main goals of the space-based LISA mission: the detection of massive black hole binary mergers. We present a novel study for reconstruction of merger waveforms in the presence of Galactic confusion noise using dictionary learning. We discuss the limitations of untangling signals from binaries with total mass from $10^2 M_{\odot}$ to $10^4 M_{\odot}$. Our method proves extremely successful for binaries with total mass greater than $\sim 3\times 10^3$ $ M_{\odot}$ up to redshift 3 in conservative scenarios, and up to redshift 7.5 in optimistic scenarios. In addition, consistently good waveform reconstruction of merger events is found if the signal-to-noise ratio is approximately 5 or greater.


title: Relativistic effects on the Schr\"odinger-Newton equation

abstract: The Schr\"odinger-Newton model describes self-gravitating quantum particles, and it is often cited to explain the gravitational collapse of the wave function and the localization of macroscopic objects. However, this model is completely nonrelativistic. Thus, in order to study whether the relativistic effects may spoil the properties of this system, we derive a modification of the Schr\"odinger-Newton equation by considering certain relativistic corrections up to the first post-Newtonian order. The construction of the model begins by considering the Hamiltonian of a relativistic particle propagating on a curved background. For simplicity, the background metric is assumed to be spherically symmetric and it is then expanded up to the first post-Newtonian order. After performing the canonical quantization of the system, and following the usual interpretation, the square of the module of the wave function defines a mass distribution, which in turn is the source of the Poisson equation for the gravitational potential. As in the nonrelativistic case, this construction couples the Poisson and the Schr\"odinger equations and leads to a complicated nonlinear system. Hence, the dynamics of an initial Gaussian wave packet is then numerically analyzed. We observe that the natural dispersion of the wave function is slower than in the nonrelativistic case. Furthermore, for those cases that reach a final localized stationary state, the peak of the wave function happens to be located at a smaller radius. Therefore, the relativistic corrections effectively contribute to increase the self-gravitation of the particle and strengthen the validity of this model as an explanation for the gravitational localization of the wave function.


title: On the Preservation of Properties when Changing Communication Models

abstract: In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.


title: Crystallographic ordering of Al and Sn in {\alpha}-Ti

abstract: Increasing attention is being paid to $\alpha$$_2$ Ti$_3$(Al,Sn) precipitation from the $\alpha$ phase of titanium alloys owing to its effect on slip band formation, localisation and the implications for fatigue performance in jet engine titanium. However, the early stages of $\alpha$$_2$ precipitation have historically been difficult to observe in TEM, neutron diffraction or atom probe analysis. Here, small angle X-ray scattering is used to reexamine the phase boundary in binary Ti-Al and Ti-Sn alloys with around 500 ppmw O. It is found that the phase boundaries in the literature are approximately correct, at 6.2 wt.% Al and 16.9 wt.% Sn, and that this favours the use of Al as a solid solution strengthener over Sn for ambient temperature applications. However, once O content and phase partitioning in $\alpha$+$\beta$ alloys are taken into account, this implies that Al$_{eq}$ limits for future alloy design of critical rotating parts should be lowered substantially.


title: Enhanced dark-state sideband cooling in trapped atoms via photon-mediated dipole-dipole interactions

abstract: Resolved sideband cooling provides a crucial step in subrecoil cooling the trapped atoms toward their motional ground state, which is essential in atom-based quantum technologies. Here we present an enhanced dark-state sideband cooling in trapped atoms utilizing photon-mediated dipole-dipole interactions among them. By placing the atoms at the magic interparticle distances, we manifest an outperformed cooling behavior in the target atom, which surpasses the limit that a single atom permits. We further investigate various atomic configurations in a multiatom setup with a laser detuning and different light polarization angles, where multiple magic spacings can be identified and a moderate improvement in cooling performance is predicted as the number of atoms increases. Our results provide insights to subrecoil cooling of atoms with collective and light-induced long-range dipole-dipole interactions, and pave the way toward implementing genuine quantum operations in multiple quantum registers.


title: On Markovianity and classicality in multilevel spin-boson models

abstract: We provide a detailed discussion about the unitary and reduced evolution induced by family of Hamiltonian models describing a multilevel system, with a ground state and a possibly multilevel excited sector, coupled to a multimode boson field via a rotating-wave interaction. We prove explicitly that the system, in the limit in which the coupling is flat with respect to the boson frequencies, is Markovian under sharp measurements in arbitrary bases; we also find necessary and sufficient conditions under which the process is classical, i.e. its family of multitime joint probability distributions satisfies the Kolmogorov consistency condition, and may thus be equivalently obtained by a classical stochastic process.


title: LANSCE Digital Low Level RF Upgrade

abstract: Incremental upgrades of the legacy low level RF (LLRF) equipment-50 years for the Los Alamos Neutron Science Center (LANSCE)-involves challenges and problems not seen with new and total replacement opportunities. The digital LLRF upgrade at LANSCE has deployed 30 of the 53 required systems as of September 2022. This paper describes the performance of the digital upgrade, current status, and future installations along with the technical challenges, including unexpected challenges, associated with deploying new digital systems in conjunction with legacy analog equipment. In addition, this paper discusses the operational details of simultaneous multi-energy beam operations using high energy re-bunching, beam-type specific set points and simultaneous multi-beam operations at LANSCE. The adaptability of the digital LLRF systems is essential as the design is able to accommodate new control and beam parameters associated with future systems without significant hardware modifications such as the expected LANSCE Modernization Program. This adaptability of the digital LLRF technology was recently demonstrated with the Module 1, 201.25-MHz high-power RF upgrade completed in 2021.


title: Diffusion Models for Causal Discovery via Topological Ordering

abstract: Discovering causal relations from observational data becomes possible with additional assumptions such as considering the functional relations to be constrained as nonlinear with additive noise (ANM). Even with strong assumptions, causal discovery involves an expensive search problem over the space of directed acyclic graphs (DAGs). \emph{Topological ordering} approaches reduce the optimisation space of causal discovery by searching over a permutation rather than graph space. For ANMs, the \emph{Hessian} of the data log-likelihood can be used for finding leaf nodes in a causal graph, allowing its topological ordering. However, existing computational methods for obtaining the Hessian still do not scale as the number of variables and the number of samples increase. Therefore, inspired by recent innovations in diffusion probabilistic models (DPMs), we propose \emph{DiffAN}\footnote{Implementation is available at \url{https://github.com/vios-s/DiffAN} .}, a topological ordering algorithm that leverages DPMs for learning a Hessian function. We introduce theory for updating the learned Hessian without re-training the neural network, and we show that computing with a subset of samples gives an accurate approximation of the ordering, which allows scaling to datasets with more samples and variables. We show empirically that our method scales exceptionally well to datasets with up to $500$ nodes and up to $10^5$ samples while still performing on par over small datasets with state-of-the-art causal discovery methods. Implementation is available at https://github.com/vios-s/DiffAN .


title: A general theoretical scheme for shape-programming of incompressible hyperelastic shells through differential growth

abstract: In this paper, we study the problem of shape-programming of incompressible hyperelastic shells through differential growth. The aim of the current work is to determine the growth tensor (or growth functions) that can produce the deformation of a shell to the desired shape. First, a consistent finite-strain shell theory is introduced. The shell equation system is established from the 3D governing system through a series expansion and truncation approach. Based on the shell theory, the problem of shape-programming is studied under the stress-free assumption. For a special case in which the parametric coordinate curves generate a net of curvature lines on the target surface, the sufficient condition to ensure the vanishing of the stress components is analyzed, from which the explicit expression of the growth tensor can be derived. In the general case, we conduct the variable changes and derive the total growth tensor by considering a two-step deformation of the shell. With these obtained results, a general theoretical scheme for shape-programming of thin hyperelastic shells through differential growth is proposed. To demonstrate the feasibility and efficiency of the proposed scheme, several nature-inspired examples are studied. The derived growth tensors in these examples have also been implemented in the numerical simulations to verify their correctness and accuracy. The simulation results show that the target shapes of the shell samples can be recovered completely. The scheme for shape-programming proposed in the current work is helpful in designing and manufacturing intelligent soft devices.


title: Thermodynamics of the Ising model encoded in restricted Boltzmann machines

abstract: The restricted Boltzmann machine (RBM) is a two-layer energy-based model that uses its hidden-visible connections to learn the underlying distribution of visible units, whose interactions are often complicated by high-order correlations. Previous studies on the Ising model of small system sizes have shown that RBMs are able to accurately learn the Boltzmann distribution and reconstruct thermal quantities at temperatures away from the critical point $T_c$. How the RBM encodes the Boltzmann distribution and captures the phase transition are, however, not well explained. In this work, we perform RBM learning of the $2d$ and $3d$ Ising model and carefully examine how the RBM extracts useful probabilistic and physical information from Ising configurations. We find several indicators derived from the weight matrix that could characterize the Ising phase transition. We verify that the hidden encoding of a visible state tends to have an equal number of positive and negative units, whose sequence is randomly assigned during training and can be inferred by analyzing the weight matrix. We also explore the physical meaning of visible energy and loss function (pseudo-likelihood) of the RBM and show that they could be harnessed to predict the critical point or estimate physical quantities such as entropy.


title: Deep generative models for fast photon shower simulation in ATLAS

abstract: The need for large-scale production of highly accurate simulated event samples for the extensive physics programme of the ATLAS experiment at the Large Hadron Collider motivates the development of new simulation techniques. Building on the recent success of deep learning algorithms, variational autoencoders and generative adversarial networks are investigated for modelling the response of the central region of the ATLAS electromagnetic calorimeter to photons of various energies. The properties of synthesised showers are compared with showers from a full detector simulation using GEANT4. Both variational autoencoders and generative adversarial networks are capable of quickly simulating electromagnetic showers with correct total energies and stochasticity, though the modelling of some shower shape distributions requires more refinement. This feasibility study demonstrates the potential of using such algorithms for ATLAS fast calorimeter simulation in the future and shows a possible way to complement current simulation techniques.


title: On Divergence Measures for Bayesian Pseudocoresets

abstract: A Bayesian pseudocoreset is a small synthetic dataset for which the posterior over parameters approximates that of the original dataset. While promising, the scalability of Bayesian pseudocoresets is not yet validated in realistic problems such as image classification with deep neural networks. On the other hand, dataset distillation methods similarly construct a small dataset such that the optimization using the synthetic dataset converges to a solution with performance competitive with optimization using full data. Although dataset distillation has been empirically verified in large-scale settings, the framework is restricted to point estimates, and their adaptation to Bayesian inference has not been explored. This paper casts two representative dataset distillation algorithms as approximations to methods for constructing pseudocoresets by minimizing specific divergence measures: reverse KL divergence and Wasserstein distance. Furthermore, we provide a unifying view of such divergence measures in Bayesian pseudocoreset construction. Finally, we propose a novel Bayesian pseudocoreset algorithm based on minimizing forward KL divergence. Our empirical results demonstrate that the pseudocoresets constructed from these methods reflect the true posterior even in high-dimensional Bayesian inference problems.


title: Parallel efficiency of monolithic and fixed-strain solution strategies for poroelasticity problems

abstract: Poroelasticity is an example of coupled processes which are crucial for many applications including safety assessment of radioactive waste repositories. Numerical solution of poroelasticity problems discretized with finite volume -- virtual element scheme leads to systems of algebraic equations, which may be solved simultaneously or iteratively. In this work, parallel scalability of the monolithic strategy and of the fixed-strain splitting strategy is examined, which depends mostly on linear solver performance. It was expected that splitting strategy would show better scalability due to better performance of a black-box linear solver on systems with simpler structure. However, this is not always the case.


title: SilverAlign: MT-Based Silver Data Algorithm For Evaluating Word Alignment

abstract: Word alignments are essential for a variety of NLP tasks. Therefore, choosing the best approaches for their creation is crucial. However, the scarce availability of gold evaluation data makes the choice difficult. We propose SilverAlign, a new method to automatically create silver data for the evaluation of word aligners by exploiting machine translation and minimal pairs. We show that performance on our silver data correlates well with gold benchmarks for 9 language pairs, making our approach a valid resource for evaluation of different domains and languages when gold data are not available. This addresses the important scenario of missing gold data alignments for low-resource languages.


title: Experimental and Computational Investigation of a Fractal Grid Wake

abstract: Fractal grids generate turbulence by exciting many length scales of different sizes simultaneously rather than using the nonlinear cascade mechanism to obtain multi-scale structures, as it is the case for regular grids. The interest in these grids has been further building up since the surprising findings stemming from the experimental and computational studies conducted on these grids. This work presents experimental wind tunnel and computational fluid dynamics (CFD) studies of the turbulent flow generated by a space-filling fractal square grid. The experimental work includes Particle Image Velocimetry (PIV) and hot-wire measurements. In addition, Delayed Detached Eddy Simulations (DDES) with a Spalart-Allmaras background turbulence model are conducted using the open-source package OpenFOAM. This is the first time DDES simulations are used to simulate and characterize the turbulent flow generated by a fractal grid. Finally, this article reports on the extensive statistical study and the direct comparison between the experimentally and numerically acquired time series to investigate and compare one-point- and two-point statistics. Our goal is to validate our computational results and provide enhanced insight into the complexity of the multi-scale generation of turbulence using a fractal grid with a low number of fractal iterations. In particular, we investigate the different turbulent structures and their complex interaction in the near-grid region or the production regime of the fractal grid flow.


title: Higher-Spin Self-Dual Yang-Mills and Gravity from the twistor space

abstract: We lift the recently proposed theories of higher-spin self-dual Yang-Mills (SDYM) and gravity (SDGR) to the twistor space. We find that the most natural room for the twistor formulation of these theories is not in the projective, but in the full twistor space, which is the total space of the spinor bundle over the 4-dimensional manifold. In the case of higher-spin extension of the SDYM we prove an analogue of the Ward theorem, and show that there is a one-to-one correspondence between the solutions of the field equations and holomorphic vector bundles over the twistor space. In the case of the higher-spin extension of SDGR we show show that there is a one-to-one correspondence between solutions of the field equations and Ehresmann connections on the twistor space whose horizontal distributions are Poisson, and whose curvature is decomposable. These data then define an almost complex structure on the twistor space that is integrable.


title: Pruning Pre-trained Language Models Without Fine-Tuning

abstract: To overcome the overparameterized problem in Pre-trained Language Models (PLMs), pruning is widely used as a simple and straightforward compression method by directly removing unimportant weights. Previous first-order methods successfully compress PLMs to extremely high sparsity with little performance drop. These methods, such as movement pruning, use first-order information to prune PLMs while fine-tuning the remaining weights. In this work, we argue fine-tuning is redundant for first-order pruning, since first-order pruning is sufficient to converge PLMs to downstream tasks without fine-tuning. Under this motivation, we propose Static Model Pruning (SMP), which only uses first-order pruning to adapt PLMs to downstream tasks while achieving the target sparsity level. In addition, we also design a new masking function and training objective to further improve SMP. Extensive experiments at various sparsity levels show SMP has significant improvements over first-order and zero-order methods. Unlike previous first-order methods, SMP is also applicable to low sparsity and outperforms zero-order methods. Meanwhile, SMP is more parameter efficient than other methods due to it does not require fine-tuning.


title: Tilting theory for finite dimensional $1$-Iwanaga-Gorenstein algebras

abstract: In representation theory of graded Iwanaga-Gorenstein algebras, tilting theory of the stable category $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ of graded Cohen-Macaulay modules plays a prominent role. In this paper we study the following two central problems of tilting theory of $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ in the case where $A$ is finite dimensional: (1) Does $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ have a tilting object? (2) Does the endomorphism algebras of tilting objects in $\underline{\mathsf{CM}}^{\mathbb{Z}} A$ have finite global dimension? To the problem (2) we give the complete answer. We show that the endomorphism algebra of any tilting object in $\underline{\mathsf{CM}}^{\mathbb{Z}}A$ has finite global dimension. To the problem (1) we give a partial answer. For this purpose, first we introduce an invariant $g(A)$ for a finite dimensional graded algebra $A$. Then, we prove that in the case where $A$ is 1-Iwanaga-Gorenstein, an inequality for $g(A)$ gives a sufficient condition that a specific Cohen-Macaulay module $V$ becomes a tilting object in the stable category. As an application, we study the existence of tilting objects in $\underline{\mathsf{CM}}^{\mathbb{Z}}\Pi(Q)_w$ where $\Pi(Q)_w$ is the truncated preprojective algebra of a quiver $Q$ associated to $w\in W_Q$. We prove that if the underling graph of $Q$ is tree, then $\underline{\mathsf{CM}}^{\mathbb{Z}}\Pi(Q)_w$ has a tilting object.


title: Optical multi-qubit gate operations on an excitation blockaded atomic quantum register

abstract: We consider a multi-qubit system of atoms or ions with two computational ground states and an interacting excited state in the so-called blockade regime, such that only one qubit can be excited at any one time. Examples of such systems are rare-earth-ion-doped crystals and neutral atoms trapped in tweezer arrays. We present a simple laser excitation protocol that yields a complex phase factor on any desired multi-qubit product state, and which can be used to implement multi-qubit gates such as the n-bit Toffoli gates. The operation is performed using only two pulses, where each pulse simultaneously address all qubits. By the use of complex hyperbolic secant pulses our scheme is robust and permits complete transfers to and from the excited states despite the variability of interaction parameters. A detailed analysis of the multi-qubit gate performance is provided.


title: Probabilistic Inverse Modeling: An Application in Hydrology

abstract: The astounding success of these methods has made it imperative to obtain more explainable and trustworthy estimates from these models. In hydrology, basin characteristics can be noisy or missing, impacting streamflow prediction. For solving inverse problems in such applications, ensuring explainability is pivotal for tackling issues relating to data bias and large search space. We propose a probabilistic inverse model framework that can reconstruct robust hydrology basin characteristics from dynamic input weather driver and streamflow response data. We address two aspects of building more explainable inverse models, uncertainty estimation and robustness. This can help improve the trust of water managers, handling of noisy data and reduce costs. We propose uncertainty based learning method that offers 6\% improvement in $R^2$ for streamflow prediction (forward modeling) from inverse model inferred basin characteristic estimates, 17\% reduction in uncertainty (40\% in presence of noise) and 4\% higher coverage rate for basin characteristics.


title: More results on large sets of Kirkman triple systems

abstract: The existence of large sets of Kirkman triple systems (LKTSs) is one of the best-known open problems in combinatorial design theory. Steiner quadruple systems with resolvable derived designs (RDSQSs) play an important role in the recursive constructions of LKTSs. In this paper, we introduce a special combinatorial structure RDSQS*(v) and use it to present a construction for RDSQS(4v). As a consequence, some new infinite families of LKTSs are given.


title: Possible molecular states of $\bar D^{*}K^{*}$ ($ D^{*}K^{*}$) and the new exotic states $X_0(2900)$ and $X_1(2900)$ ($T^a_{cs0}(2900)^0$ and $T^a_{cs0}(2900)^{++}$)

abstract: Two iso-singlet hadron states $X_0(2900)$ and $X_1(2900)$ with $J=0$ and 1 respectively, discovered by the LHCb collaboration in 2020, were identified as molecular bound states of $\bar D^*K^*$. Recently two structures $T^a_{cs0}(2900)^0$ and $T^a_{cs0}(2900)^{++}$ have been observed at the hadron spectra, one would suspect if they also are molecular states of $D^*$ and $K^*$. As long as they were of the molecular structures of $D^*K^*$, the hadron states must be in an iso-vector, namely $T^a_{cs0}(2900)^0$ and $T^a_{cs0}(2900)^{++}$ were $I_3=-1, 1$ components of the iso-vector. If it is the case, the corresponding $T^a_{cs0}(2900)^+$ of ($I=1,I_3=0$) and $T^{'a}_{cs0}(2900)^{+}$ of $I=0,I_3=0$ so far evade experimental observation, but should be found by the future experiments. To testify this ansatz, in this paper we study the possible molecular structures of $\bar D^{*}K^{*}$ and $D^{*}K^{*}$ within the Bethe-Salpeter (B-S) framework. With reasonable input parameters it is found that $\bar D^{*}K^{*}$ iso-scalar systems with $J^P=0^+$ and $1^+$ are solutions. The result supports the ansatz of $X_0(2900)$ ($X_1(2900)$) being molecular states of $\bar D^*K^{*}$. Whereas for the system of $ D^{*}K^{*}$ with $I=1$ the corresponding B-S equation has no solution. Thus we can draw a clear conclusion that $T^a_{cs0}(2900)^0$ and $T^a_{cs0}(2900)^{++}$ should not be bound states of $ D^{*}$ and $K^{*}$. The two structures observed by the LHCb collaboration may be caused by dynamics, such as the well-recognized triangle anomalies or other mechanisms.


title: Hierarchical Instance Mixing across Domains in Aerial Segmentation

abstract: We investigate the task of unsupervised domain adaptation in aerial semantic segmentation and discover that the current state-of-the-art algorithms designed for autonomous driving based on domain mixing do not translate well to the aerial setting. This is due to two factors: (i) a large disparity in the extension of the semantic categories, which causes a domain imbalance in the mixed image, and (ii) a weaker structural consistency in aerial scenes than in driving scenes since the same scene might be viewed from different perspectives and there is no well-defined and repeatable structure of the semantic elements in the images. Our solution to these problems is composed of: (i) a new mixing strategy for aerial segmentation across domains called Hierarchical Instance Mixing (HIMix), which extracts a set of connected components from each semantic mask and mixes them according to a semantic hierarchy and, (ii) a twin-head architecture in which two separate segmentation heads are fed with variations of the same images in a contrastive fashion to produce finer segmentation maps. We conduct extensive experiments on the LoveDA benchmark, where our solution outperforms the current state-of-the-art.


title: Estimating Option Pricing Models Using a Characteristic Function-Based Linear State Space Representation

abstract: We develop a novel filtering and estimation procedure for parametric option pricing models driven by general affine jump-diffusions. Our procedure is based on the comparison between an option-implied, model-free representation of the conditional log-characteristic function and the model-implied conditional log-characteristic function, which is functionally affine in the model's state vector. We formally derive an associated linear state space representation and establish the asymptotic properties of the corresponding measurement errors. The state space representation allows us to use a suitably modified Kalman filtering technique to learn about the latent state vector and a quasi-maximum likelihood estimator of the model parameters, which brings important computational advantages. We analyze the finite-sample behavior of our procedure in Monte Carlo simulations. The applicability of our procedure is illustrated in two case studies that analyze S&P 500 option prices and the impact of exogenous state variables capturing Covid-19 reproduction and economic policy uncertainty.


title: Microscopic view of heat capacity of matter: solid, liquid, and gas

abstract: Understanding thermodynamics in liquids at the atomic level is challenging because of strong atomic interactions and lack of symmetry. Recent prior theoretical works have focused on describing heat capacity of liquids in terms of phonon-like excitations but often rely on fitting parameters and ad hoc assumptions. In this work, we perform microscopic analysis on instantaneous normal modes and velocity autocorrelations on molecular dynamics simulations of single element systems over wide ranges of temperature (up to $10^8$ K) and pressure (up to 1 TPa). Our results demonstrate that heat capacity of liquids can be described by a combination of both solid-like and gas-like degrees of freedom, leading to a unified framework to describe heat capacity of all three phases of matter: solid, liquid, and gas.


title: Multiple Regions of Nonthermal Quasi-Periodic Pulsations during the Impulsive Phase of a Solar Flare

abstract: Flare-associated quasiperiodic pulsations (QPPs) in radio and X-ray wavelengths, particularly those related to nonthermal electrons, contain important information about the energy release and transport processes during flares. However, the paucity of spatially resolved observations of such QPPs with a fast time cadence has been an obstacle for us to further understand their physical nature. Here, we report observations of such a QPP event that occurred during the impulsive phase of a C1.8-class eruptive solar flare using radio imaging spectroscopy data from the Karl G. Jansky Very Large Array (VLA) and complementary X-ray imaging and spectroscopy data. The radio QPPs, observed by the VLA in the 1--2 GHz with a subsecond cadence, are shown as three spatially distinct sources with different physical characteristics. Two radio sources are located near the conjugate footpoints of the erupting magnetic flux rope with opposite senses of polarization. One of the sources displays a QPP behavior with a ~5 s period. The third radio source, located at the top of the postflare arcade, coincides with the location of an X-ray source and shares a similar period of ~25--45 s. We show that the two oppositely polarized radio sources are likely due to coherent electron cyclotron maser (ECM) emission. On the other hand, the looptop QPP source, observed in both radio and X-rays, is consistent with incoherent gyrosynchrotron and bremsstrahlung emission, respectively. We conclude that the concurrent, but spatially distinct QPP sources must involve multiple mechanisms which operate in different magnetic loop systems and at different periods.


title: Magnetic field evolution in cosmic filaments with LOFAR data

abstract: Measuring the magnetic field in cosmic filaments reveals how the Universe is magnetised and the process that magnetised it. Using the Rotation Measures (RM) at 144-MHz from the LoTSS DR2 data, we analyse the rms of the RM extragalactic component as a function of redshift to investigate the evolution with redshift of the magnetic field in filaments. From previous results, we find that the extragalactic term of the RM rms at 144-MHz is dominated by the contribution from filaments (more than 90 percent). Including an error term to account for the minor contribution local to the sources, we fit the data with a model of the physical filament magnetic field, evolving as $B_f = B_{f,0}\,(1+z)^\alpha$ and with a density drawn from cosmological simulations of five magnetogenesis scenarios. We find that the best-fit slope is in the range $\alpha = [-0.2, 0.1]$ with uncertainty of $\sigma_\alpha = 0.4$--0.5, which is consistent with no evolution. The comoving field decreases with redshift with a slope of $\gamma = \alpha - 2 = [-2.2, -1.9]$. The mean field strength at $z=0$ is in the range $B_{f,0}=39$--84~nG. For a typical filament gas overdensity of $\delta_g=10$ the filament field strength at $z=0$ is in the range $B_{f,0}^{10}=8$--26~nG. A primordial stochastic magnetic field model with initial comoving field of $B_{\rm Mpc} = 0.04$--0.11~nG is favoured. The primordial uniform field model is rejected.


title: Focal surfaces of fronts associated to unbounded principal curvatures

abstract: We study focal surfaces of (wave) fronts associated to unbounded principal curvatures near non-degenerate singular points of initial fronts. We give characterizations of singularities of those focal surfaces in terms of types of singularities and geometrical properties of initial fronts. Moreover, we investigate behavior of the Gaussian curvature of the focal surface.


title: Light-induced switch based on edge modes in irradiated thin topological insulators

abstract: We investigate transport properties through nano-ribbons of thin topological insulators irradiated by high frequency light with circular polarization. By using high frequency regime, a coherent and quantized transport through the nano-ribbon is guaranteed and then Lanadauer formalism is applicable. It is demonstrated that the pseudo-spin edge modes inside the band gap can host transmission through this nano-junction which their localization on the top and bottom edges depend strongly on the light polarization. These edge modes persist even if we apply a source-drain bias. Based on this edge selectivity for the current, one can design a light-induced switch with an appropriate on/off ratio of the current which is composed of two scattering regions with opposite light polarization. The local current on each bond shows how the current is passing through the edges and jumps into the opposite edge. Furthermore, some other nano-junctions are proposed as electronic switches which are designed based on the mass term engineering of the scattering region by means of perpendicular magnetization induced by magnetic doping and also structure inversion asymmetry applied on the scattering region.


title: Latency-aware Spatial-wise Dynamic Networks

abstract: Spatial-wise dynamic convolution has become a promising approach to improving the inference efficiency of deep networks. By allocating more computation to the most informative pixels, such an adaptive inference paradigm reduces the spatial redundancy in image features and saves a considerable amount of unnecessary computation. However, the theoretical efficiency achieved by previous methods can hardly translate into a realistic speedup, especially on the multi-core processors (e.g. GPUs). The key challenge is that the existing literature has only focused on designing algorithms with minimal computation, ignoring the fact that the practical latency can also be influenced by scheduling strategies and hardware properties. To bridge the gap between theoretical computation and practical efficiency, we propose a latency-aware spatial-wise dynamic network (LASNet), which performs coarse-grained spatially adaptive inference under the guidance of a novel latency prediction model. The latency prediction model can efficiently estimate the inference latency of dynamic networks by simultaneously considering algorithms, scheduling strategies, and hardware properties. We use the latency predictor to guide both the algorithm design and the scheduling optimization on various hardware platforms. Experiments on image classification, object detection and instance segmentation demonstrate that the proposed framework significantly improves the practical inference efficiency of deep networks. For example, the average latency of a ResNet-101 on the ImageNet validation set could be reduced by 36% and 46% on a server GPU (Nvidia Tesla-V100) and an edge device (Nvidia Jetson TX2 GPU) respectively without sacrificing the accuracy. Code is available at https://github.com/LeapLabTHU/LASNet.


title: E.C.G.Sudarshan and his Diagonal Representation in Quantum Optics

abstract: The essential of this monograph is to reproduce the results of Sudarshans paper Equivalence of semiclassical and quantum mechanical descriptions of statistical light beams published in 1963. To go in that direction we also describe the linear harmonic oscillator and its algebraic equivalence with a single-mode quantized beam of light. Coherent states and their overcompleteness properties along with the diagonal representation of the density matrix are essential as a prerequisite to reproduce the result. Most of the textbooks meant for graduate students describe linear harmonic oscillators in great detail but they cryptically mention coherent states and their associated properties. So it is difficult for the students to understand the essence of Sudarshans paper which contains only seven equations. This monograph is written in such a lucid manner that without the help of experts one can understand it.


title: On the Generalizability of ECG-based Stress Detection Models

abstract: Stress is prevalent in many aspects of everyday life including work, healthcare, and social interactions. Many works have studied handcrafted features from various bio-signals that are indicators of stress. Recently, deep learning models have also been proposed to detect stress. Typically, stress models are trained and validated on the same dataset, often involving one stressful scenario. However, it is not practical to collect stress data for every scenario. So, it is crucial to study the generalizability of these models and determine to what extent they can be used in other scenarios. In this paper, we explore the generalization capabilities of Electrocardiogram (ECG)-based deep learning models and models based on handcrafted ECG features, i.e., Heart Rate Variability (HRV) features. To this end, we train three HRV models and two deep learning models that use ECG signals as input. We use ECG signals from two popular stress datasets - WESAD and SWELL-KW - differing in terms of stressors and recording devices. First, we evaluate the models using leave-one-subject-out (LOSO) cross-validation using training and validation samples from the same dataset. Next, we perform a cross-dataset validation of the models, that is, LOSO models trained on the WESAD dataset are validated using SWELL-KW samples and vice versa. While deep learning models achieve the best results on the same dataset, models based on HRV features considerably outperform them on data from a different dataset. This trend is observed for all the models on both datasets. Therefore, HRV models are a better choice for stress recognition in applications that are different from the dataset scenario. To the best of our knowledge, this is the first work to compare the cross-dataset generalizability between ECG-based deep learning models and HRV models.


title: Alpha-divergence Variational Inference Meets Importance Weighted Auto-Encoders: Methodology and Asymptotics

abstract: Several algorithms involving the Variational R\'enyi (VR) bound have been proposed to minimize an alpha-divergence between a target posterior distribution and a variational distribution. Despite promising empirical results, those algorithms resort to biased stochastic gradient descent procedures and thus lack theoretical guarantees. In this paper, we formalize and study the VR-IWAE bound, a generalization of the Importance Weighted Auto-Encoder (IWAE) bound. We show that the VR-IWAE bound enjoys several desirable properties and notably leads to the same stochastic gradient descent procedure as the VR bound in the reparameterized case, but this time by relying on unbiased gradient estimators. We then provide two complementary theoretical analyses of the VR-IWAE bound and thus of the standard IWAE bound. Those analyses shed light on the benefits or lack thereof of these bounds. Lastly, we illustrate our theoretical claims over toy and real-data examples.


title: Quantum Optimisation for Continuous Multivariable Functions by a Structured Search

abstract: Solving optimisation problems is a promising near-term application of quantum computers. Quantum variational algorithms leverage quantum superposition and entanglement to optimise over exponentially large solution spaces using an alternating sequence of classically tunable unitaries. However, prior work has primarily addressed discrete optimisation problems. In addition, these algorithms have been designed generally under the assumption of an unstructured solution space, which constrains their speedup to the theoretical limits for the unstructured Grover's quantum search algorithm. In this paper, we show that quantum variational algorithms can efficiently optimise continuous multivariable functions by exploiting general structural properties of a discretised continuous solution space with a convergence that exceeds the limits of an unstructured quantum search. We introduce the Quantum Multivariable Optimisation Algorithm (QMOA) and demonstrate its advantage over pre-existing methods, particularly when optimising high-dimensional and oscillatory functions.


title: Designing an exploratory phase 2b platform trial in NASH with correlated, co-primary binary endpoints

abstract: Non-alcoholic steatohepatitis (NASH) is the progressive form of nonalcoholic fatty liver disease (NAFLD) and a disease with high unmet medical need. Platform trials provide great benefits for sponsors and trial participants in terms of accelerating drug development programs. In this article, we describe some of the activities of the EU-PEARL consortium (EU Patient-cEntric clinicAl tRial pLatforms) regarding the use of platform trials in NASH, in particular the proposed trial design, decision rules and simulation results. For a set of assumptions, we present the results of a simulation study recently discussed with two health authorities and the learnings from these meetings from a trial design perspective. Since the proposed design uses co-primary binary endpoints, we furthermore discuss the different options and practical considerations for simulating correlated binary endpoints.


title: Towards visually prompted keyword localisation for zero-resource spoken languages

abstract: Imagine being able to show a system a visual depiction of a keyword and finding spoken utterances that contain this keyword from a zero-resource speech corpus. We formalise this task and call it visually prompted keyword localisation (VPKL): given an image of a keyword, detect and predict where in an utterance the keyword occurs. To do VPKL, we propose a speech-vision model with a novel localising attention mechanism which we train with a new keyword sampling scheme. We show that these innovations give improvements in VPKL over an existing speech-vision model. We also compare to a visual bag-of-words (BoW) model where images are automatically tagged with visual labels and paired with unlabelled speech. Although this visual BoW can be queried directly with a written keyword (while our's takes image queries), our new model still outperforms the visual BoW in both detection and localisation, giving a 16% relative improvement in localisation F1.


title: Formal Semantic Geometry over Transformer-based Variational AutoEncoder

abstract: Formal/symbolic semantics can provide canonical, rigid controllability and interpretability to sentence representations due to their \textit{localisation} or \textit{composition} property. How can we deliver such property to the current distributional sentence representations to control and interpret the generation of language models (LMs)? In this work, we theoretically frame the sentence semantics as the composition of \textit{semantic role - word content} features and propose the formal semantic geometry. To inject such geometry into Transformer-based LMs (i.e. GPT2), we deploy Transformer-based Variational AutoEncoder with a supervision approach, where the sentence generation can be manipulated and explained over low-dimensional latent Gaussian space. In addition, we propose a new probing algorithm to guide the movement of sentence vectors over such geometry. Experimental results reveal that the formal semantic geometry can potentially deliver better control and interpretation to sentence generation.


title: S+-+d Wave Multiband Eliashberg Theory For The Iron Pnictides

abstract: We calculated the critical temperature in the framework of s+-+d-wave multiband Eliashberg theory. We have solved these equations numerically to see at what values of the input parameters there is a solution with a non-zero critical temperature and what is the symmetry of the order parameter of this solution. For our model we consider the pnictide case with simplifications that allow us to obtain the most general possible information. For selected and representative cases in which the order parameter has s+-+d symmetry, we calculated the superconducting density of states, the temperature dependence of the gaps, and the superfluid density so that comparison with experimental data can be made. Finally, we show that such a system has only a twofold in-plane symmetry and undergoes a transition from nodal to fully gapped with increasing temperature.


title: Time exponential integrator Fourier pseudospectral methods with high accuracy and multiple conservation laws for three-dimensional Maxwell's equations

abstract: Maxwell equations describe the propagation of electromagnetic waves and are therefore fundamental to understanding many problems encountered in the study of antennas and electromagnetics. The aim of this paper is to propose and analyse an efficient fully discrete scheme for solving three-dimensional Maxwell's equations. This is accomplished by combining time exponential integrator and Fourier pseudospectral methods. Fast computation is implemented in the scheme by using the Fast Fourier Transform algorithm which is well known in scientific computations. An optimal error estimate which is not encumbered by the CFL condition is established and the resulting scheme is proved to be of spectral accuracy in space and infinite-order accuracy in time. Furthermore, the scheme is shown to have multiple conservation laws including discrete energy, helicity, momentum, symplecticity, and divergence-free field conservations. All the theoretical results of the accuracy and conservations are numerically illustrated by two numerical tests.


title: Current-induced switching of thin film $\alpha$-Fe$_2$O$_3$ devices imaged using a scanning single-spin microscope

abstract: Electrical switching of N\'eel order in an antiferromagnetic insulator is desirable as a basis for memory applications. Unlike electrically-driven switching of ferromagnetic order via spin-orbit torques, electrical switching of antiferromagnetic order remains poorly understood. Here we investigate the low-field magnetic properties of 30 nm thick, c-axis oriented $\alpha$-Fe$_2$O$_3$ Hall devices using a diamond nitrogen-vacancy (NV) center scanning microscope. Using the canted moment of $\alpha$-Fe$_2$O$_3$ as a magnetic handle on its N\'eel vector, we apply a saturating in-plane magnetic field to create a known initial state before letting the state relax in low field for magnetic imaging. We repeat this procedure for different in-plane orientations of the initialization field. We find that the magnetic field images are characterized by stronger magnetic textures for fields along $[\bar{1}\bar{1}20]$ and $[11\bar{2}0]$, suggesting that despite the expected 3-fold magneto-crystalline anisotropy, our $\alpha$-Fe$_2$O$_3$ thin films have an overall in-plane uniaxial anisotropy. We also study current-induced switching of the magnetic order in $\alpha$-Fe$_2$O$_3$. We find that the fraction of the device that switches depends on the current pulse duration, amplitude and direction relative to the initialization field. Specifically, we find that switching is most efficient when current is applied along the direction of the initialization field.


title: Low-dimensional GKM theory

abstract: GKM theory is a powerful tool in equivariant topology and geometry that can be used to generalize classical ideas from (quasi)toric manifolds to more general torus actions. After an introduction to the topic this survey focuses on recent results in low dimensions, where the interaction between geometry and combinatorics turns out to be particularly fruitful.


title: Listening to Users' Voice: Automatic Summarization of Helpful App Reviews

abstract: App reviews are crowdsourcing knowledge of user experience with the apps, providing valuable information for app release planning, such as major bugs to fix and important features to add. There exist prior explorations on app review mining for release planning, however, most of the studies strongly rely on pre-defined classes or manually-annotated reviews. Also, the new review characteristic, i.e., the number of users who rated the review as helpful, which can help capture important reviews, has not been considered previously. In the paper, we propose a novel framework, named SOLAR, aiming at accurately summarizing helpful user reviews to developers. The framework mainly contains three modules: The review helpfulness prediction module, topic-sentiment modeling module, and multi-factor ranking module. The review helpfulness prediction module assesses the helpfulness of reviews, i.e., whether the review is useful for developers. The topic-sentiment modeling module groups the topics of the helpful reviews and also predicts the associated sentiment, and the multi-factor ranking module aims at prioritizing semantically representative reviews for each topic as the review summary. Experiments on five popular apps indicate that SOLAR is effective for review summarization and promising for facilitating app release planning.


title: IPv6 over Bluetooth Advertisements: An alternative approach to IP over BLE

abstract: The IPv6 over Bluetooth Low Energy (BLE) standard defines the transfer of IP data via BLE connections. This connection-oriented approach provides high reliability but increases packet delays and requires substantial overhead to manage BLE connections. To overcome these drawbacks we present the design and implementation of IPv6 over BLE advertisements, a standard-compliant connection-less approach. We deploy our proposal on low-power IoT hardware and comparatively measure key network performance metrics in a public testbed. Our results show that IP over BLE advertisements offers network performance characteristics complementary to IP over connection-based BLE, trading lower reliability for shorter~latency.


title: Lifetime of Excitations in Atomic and Molecular Bose-Einstein Condensates

abstract: Recent experimental progress has produced Molecular Superfluids (MSF) in thermal equilibrium; this opens the door to a new class of experiments investigating the associated thermodynamic and dynamical responses. We review the theoretical picture of the phase diagram and quasiparticle spectrum in the Atomic Superfluid (ASF) and MSF phases. We further compute the parametric dependence of the quasiparticle lifetimes at one-loop order. In the MSF phase, the $U(1)$ particle number symmetry breaks to $\mathbb{Z}_2$ and the spectrum exhibits a gapless Goldstone mode in addition to a gapped $\mathbb{Z}_2$-protected atom-like mode. In the ASF phase, the $U(1)$ symmetry breaks completely, leaving behind a Goldstone mode and an unprotected gapped mode. In both phases, the Goldstone mode decays with a rate given by the celebrated Belyaev result, as in a single component condensate. In the MSF phase, the gapped mode is sharp up to a critical Cherenkov momentum beyond which it emits phonons. In the ASF phase, the gapped mode decays with a constant rate even at small momenta. These decay rates govern the spectral response in microtrap tunneling experiments and lead to sharp features in the transmission spectrum of atoms fired through molecular clouds.


title: Formation of hot spots around small primordial black holes

abstract: In this paper, we investigate the thermalization of Hawking radiation from primordial black holes (PBHs) in the early Universe, taking into account the interference effect on thermalization of high energy particles, known as Landau-Pomeranchuk-Migdal (LPM) effect. Small PBHs with masses $ \lesssim 10^9 \, \mathrm{g} $ completely evaporate before the big bang nucleosynthesis (BBN). The Hawking radiation emitted from these PBHs heats up the ambient plasma with temperature lower than the Hawking temperature, which results in a non-trivial temperature profile around the PBHs, namely a hot spot surrounding a PBH with a broken power-law tail. We find that the hot spot has a core with a radius much larger than the black hole horizon and its highest temperature is independent of the initial mass of the PBH such as $2 \times 10^{9} \, {\rm GeV} \times (\alpha/0.1)^{19/3}$, where $\alpha$ generically represents the fine-structure constants. We also briefly discuss the implications of the existence of the hot spot for phenomenology.


title: FCT-GAN: Enhancing Table Synthesis via Fourier Transform

abstract: Synthetic tabular data emerges as an alternative for sharing knowledge while adhering to restrictive data access regulations, e.g., European General Data Protection Regulation (GDPR). Mainstream state-of-the-art tabular data synthesizers draw methodologies from Generative Adversarial Networks (GANs), which are composed of a generator and a discriminator. While convolution neural networks are shown to be a better architecture than fully connected networks for tabular data synthesizing, two key properties of tabular data are overlooked: (i) the global correlation across columns, and (ii) invariant synthesizing to column permutations of input data. To address the above problems, we propose a Fourier conditional tabular generative adversarial network (FCT-GAN). We introduce feature tokenization and Fourier networks to construct a transformer-style generator and discriminator, and capture both local and global dependencies across columns. The tokenizer captures local spatial features and transforms original data into tokens. Fourier networks transform tokens to frequency domains and element-wisely multiply a learnable filter. Extensive evaluation on benchmarks and real-world data shows that FCT-GAN can synthesize tabular data with high machine learning utility (up to 27.8% better than state-of-the-art baselines) and high statistical similarity to the original data (up to 26.5% better), while maintaining the global correlation across columns, especially on high dimensional dataset.


title: Explore Contextual Information for 3D Scene Graph Generation

abstract: 3D scene graph generation (SGG) has been of high interest in computer vision. Although the accuracy of 3D SGG on coarse classification and single relation label has been gradually improved, the performance of existing works is still far from being perfect for fine-grained and multi-label situations. In this paper, we propose a framework fully exploring contextual information for the 3D SGG task, which attempts to satisfy the requirements of fine-grained entity class, multiple relation labels, and high accuracy simultaneously. Our proposed approach is composed of a Graph Feature Extraction module and a Graph Contextual Reasoning module, achieving appropriate information-redundancy feature extraction, structured organization, and hierarchical inferring. Our approach achieves superior or competitive performance over previous methods on the 3DSSG dataset, especially on the relationship prediction sub-task.


title: Two conjectures on the largest minimum distances of binary self-orthogonal codes with dimension 5

abstract: The purpose of this paper is to solve the two conjectures on the largest minimum distance $d_{so}(n,5)$ of a binary self-orthogonal $[n,5]$ code proposed by Kim and Choi (IEEE Trans. Inf. Theory, 2022). The determination of $d_{so}(n,k)$ has been a fundamental and difficult problem in coding theory because there are too many binary self-orthogonal codes as the dimension $k$ increases. Recently, Kim et al. (2021) considered the shortest self-orthogonal embedding of a binary linear code, and many binary optimal self-orthogonal $[n,k]$ codes were constructed for $k=4,5$. Kim and Choi (2022) improved some results of Kim et al. (2021) and made two conjectures on $d_{so}(n,5)$. In this paper, we develop a general method to determine the exact value of $d_{so}(n,k)$ for $k=5,6$ and show that the two conjectures made by Kim and Choi (2022) are true.


title: Entity Aware Negative Sampling with Auxiliary Loss of False Negative Prediction for Knowledge Graph Embedding

abstract: Knowledge graph (KG) embedding is widely used in many downstream applications using KGs. Generally, since KGs contain only ground truth triples, it is necessary to construct arbitrary negative samples for representation learning of KGs. Recently, various methods for sampling high-quality negatives have been studied because the quality of negative triples has great effect on KG embedding. In this paper, we propose a novel method called Entity Aware Negative Sampling (EANS), which is able to sample negative entities resemble to positive one by adopting Gaussian distribution to the aligned entity index space. Additionally, we introduce auxiliary loss for false negative prediction that can alleviate the impact of the sampled false negative triples. The proposed method can generate high-quality negative samples regardless of negative sample size and effectively mitigate the influence of false negative samples. The experimental results on standard benchmarks show that our EANS outperforms existing the state-of-the-art methods of negative sampling on several knowledge graph embedding models. Moreover, the proposed method achieves competitive performance even when the number of negative samples is limited to only one.


title: Pump-probe Dark-field X-ray Microscopy

abstract: A pump-probe dark-field X-ray microscopy (DFXM) experiment was carried out at the Advanced Photon Source (APS) with nanosecond drive laser pulses and hybrid mode X-ray probe pulses. We observe a thermal decay due to laser-induced heat diffusion in a Germanium single crystal which matches the theoretical prediction. The single pulse DFXM imaging in combination with the laser-pump X-ray probe method could reveal thermal strain formation and propagation of the acoustic wave "on-the-fly" generated by a laser-induced lattice deformation. This will open a new avenue of materials research on laser-induced dynamic phenomena in solids at sub-nanosecond time scales.


title: A context-aware knowledge transferring strategy for CTC-based ASR

abstract: Non-autoregressive automatic speech recognition (ASR) modeling has received increasing attention recently because of its fast decoding speed and superior performance. Among representatives, methods based on the connectionist temporal classification (CTC) are still a dominating stream. However, the theoretically inherent flaw, the assumption of independence between tokens, creates a performance barrier for the school of works. To mitigate the challenge, we propose a context-aware knowledge transferring strategy, consisting of a knowledge transferring module and a context-aware training strategy, for CTC-based ASR. The former is designed to distill linguistic information from a pre-trained language model, and the latter is framed to modulate the limitations caused by the conditional independence assumption. As a result, a knowledge-injected context-aware CTC-based ASR built upon the wav2vec2.0 is presented in this paper. A series of experiments on the AISHELL-1 and AISHELL-2 datasets demonstrate the effectiveness of the proposed method.


title: Back to the Future: On Potential Histories in NLP

abstract: Machine learning and NLP require the construction of datasets to train and fine-tune models. In this context, previous work has demonstrated the sensitivity of these data sets. For instance, potential societal biases in this data are likely to be encoded and to be amplified in the models we deploy. In this work, we draw from developments in the field of history and take a novel perspective on these problems: considering datasets and models through the lens of historical fiction surfaces their political nature, and affords re-configuring how we view the past, such that marginalized discourses are surfaced. Building on such insights, we argue that contemporary methods for machine learning are prejudiced towards dominant and hegemonic histories. Employing the example of neopronouns, we show that by surfacing marginalized histories within contemporary conditions, we can create models that better represent the lived realities of traditionally marginalized and excluded communities.


title: CIKQA: Learning Commonsense Inference with a Unified Knowledge-in-the-loop QA Paradigm

abstract: Recently, the community has achieved substantial progress on many commonsense reasoning benchmarks. However, it is still unclear what is learned from the training process: the knowledge, inference capability, or both? We argue that due to the large scale of commonsense knowledge, it is infeasible to annotate a large enough training set for each task to cover all commonsense for learning. Thus we should separate the commonsense knowledge acquisition and inference over commonsense knowledge as two separate tasks. In this work, we focus on investigating models' commonsense inference capabilities from two perspectives: (1) Whether models can know if the knowledge they have is enough to solve the task; (2) Whether models can develop commonsense inference capabilities that generalize across commonsense tasks. We first align commonsense tasks with relevant knowledge from commonsense knowledge bases and ask humans to annotate whether the knowledge is enough or not. Then, we convert different commonsense tasks into a unified question answering format to evaluate models' generalization capabilities. We name the benchmark as Commonsense Inference with Knowledge-in-the-loop Question Answering (CIKQA).


title: Some Mader-perfect graph classes

abstract: The dichromatic number of $D$, denoted by $\overrightarrow{\chi}(D)$, is the smallest integer $k$ such that $D$ admits an acyclic $k$-coloring. We use $mader_{\overrightarrow{\chi}}(F)$ to denote the smallest integer $k$ such that if $\overrightarrow{\chi}(D)\ge k$, then $D$ contains a subdivision of $F$. A digraph $F$ is called Mader-perfect if for every subdigraph $F'$ of $F$, ${\rm mader }_{\overrightarrow{\chi}}(F')=|V(F')|$. We extend octi digraphs to a larger class of digraphs and prove that it is Mader-perfect, which generalizes a result of Gishboliner, Steiner and Szab\'{o} [Dichromatic number and forced subdivisions, {\it J. Comb. Theory, Ser. B} {\bf 153} (2022) 1--30]. We also show that if $K$ is a proper subdigraph of $\overleftrightarrow{C_4}$ except for the digraph obtained from $\overleftrightarrow{C_4}$ by deleting an arbitrary arc, then $K$ is Mader-perfect.


title: Characterization of coincidence site lattices of oblique planar lattices

abstract: Coincidence site lattices of oblique planar lattices are algebraically characterized using as basic tool the Cartan-Dieudonn\'e theorem, that is, the decomposition of an orthogonal transformation as a product of reflections. The case of rectangular lattices is worked out in detail. We use the rectangular lattices for obtain the characterization of the corresponding obliques.


title: Managing Service Dependency for Cloud Reliability: The Industrial Practice

abstract: Interactions between cloud services result in service dependencies. Evaluating and managing the cascading impacts caused by service dependencies is critical to the reliability of cloud systems. This paper summarizes the dependency types in cloud systems and demonstrates the design of the Dependency Management System (DMS), a platform for managing the service dependencies in the production cloud system. DMS features full-lifecycle support for service reliability (i.e., initial service deployment, service upgrade, proactive architectural optimization, and reactive failure mitigation) and refined characterization of the intensity of dependencies.


title: Creating New Chaotic Signals with Reservoir Computers

abstract: While there have been many publications on potential applications of chaos to fields such as communications, radar, sonar, random signal generation, channel equalization and others, designing continuous chaotic systems is still an unsolved problem. There are a number of well known chaotic systems used for applications, but if any application is to become widely used, some way of generating many different chaotic signals is necessary. This work shows that one may use a reservoir computer to create a set of chaotic signals that are correlated but easily distinguishable from one chaotic signal with desirable properties. The ability to distinguish the new signals is demonstrated with a simple communications example.


title: The evolution of HCO$^{+}$ in molecular clouds using a novel chemical post-processing algorithm

abstract: Modeling the chemistry of molecular clouds is critical to accurately simulating their evolution. To reduce computational cost, 3D simulations generally restrict their chemistry to species with strong heating and cooling effects. Time-dependent information about the evolution of other species is therefore often neglected. We address this gap by post-processing tracer particles in the SILCC-Zoom molecular cloud simulations. Using a chemical network of 39 species and 301 reactions (including freeze-out of CO and H$_{2}$O), and a novel algorithm to reconstruct a density grid from sparse tracer particle data, we produce time-dependent density distributions for various species. We focus upon the evolution of HCO$^{+}$, which is a critical formation reactant of CO but is not typically modeled on-the-fly. We find that $\sim90$% of the HCO$^{+}$ content of the cold molecular gas forms in situ around $n_\textrm{{HCO$^+$}}\simeq10^3$-$10^4$ cm$^{-3}$, over a time-scale of approximately 1 Myr. The remaining $\sim10$% forms at high extinction sites, with minimal turbulent mixing out into the less dense gas. We further show that the dominant HCO$^{+}$ formation pathway is dependent on the visual extinction, with the reaction H$_{3}^{+}$ + CO contributing 90% of the total HCO$^{+}$ production above $A_\textrm{V,3D}=3$. We produce the very first maps of the HCO$^{+}$ column density, $N$(HCO$^{+}$), and show that it reaches values as high as $10^{15}$ cm$^{-2}$. We find that 50% of the HCO$^+$ mass is located within $A_\textrm{V}\sim10$-30, in a density range of $10^{3.5}$-$10^{4.5}$ cm$^{-3}$. Our maps of $N$(HCO$^{+}$) are shown to be in good agreement with recent observations of the W49A star-forming region.


title: Physical Significance of Noether Symmetries

abstract: In this paper we will trace the development of the use of symmetry in discussing the theory of motion initiated by Emmy Noether in 1918. Though it started with its use in Classical Mechanics, and has been heavily used in engineering applications of Mechanics, it came into its own in Relativity, and Quantum Theory and their applications in Particle Physics and Field Theory. It will be beyond the scope of this article to explain the Quantum Field Theory applications in any detail, but the base for understanding it will be provided here. We will also go on to discuss an insight from some more mathematical developments related to Noether symmetry.


title: Holomorphic Eisenstein series of rational weights and special values of Gamma function

abstract: We give all possible holomorphic Eisenstein series on $\Gamma_0(p)$, of rational weights greater than $2$, and with multiplier systems the same as certain rational-weight eta-quotients at all cusps. We prove they are modular forms and give their Fourier expansions. We establish four sorts of identities that equate such series to rational-weight eta-quotients. As an application, we give series expressions of special values of Euler Gamma function at any rational arguments. These expressions involve exponential sums of Dedekind sums.


title: Zero-Shot On-the-Fly Event Schema Induction

abstract: What are the events involved in a pandemic outbreak? What steps should be taken when planning a wedding? The answers to these questions can be found by collecting many documents on the complex event of interest, extracting relevant information, and analyzing it. We present a new approach in which large language models are utilized to generate source documents that allow predicting, given a high-level event definition, the specific events, arguments, and relations between them to construct a schema that describes the complex event in its entirety. Using our model, complete schemas on any topic can be generated on-the-fly without any manual data collection, i.e., in a zero-shot manner. Moreover, we develop efficient methods to extract pertinent information from texts and demonstrate in a series of experiments that these schemas are considered to be more complete than human-curated ones in the majority of examined scenarios. Finally, we show that this framework is comparable in performance with previous supervised schema induction methods that rely on collecting real texts while being more general and flexible without the need for a predefined ontology.


title: Retirement spending problem under Habit Formation Model

abstract: In this paper we consider the problem of optimizing lifetime consumption under a habit formation model. Our work differs from previous results, because we incorporate mortality and pension income. Lifetime utility of consumption makes the problem time inhomogeneous, because of the effect of ageing. Considering habit formation means increasing the dimension of the stochastic control problem, because one must track smoothed-consumption using an additional variable, habit $\bar c$. Including exogenous pension income $\pi$ means that we cannot rely on a kind of scaling transformation to reduce the dimension of the problem as in earlier work, therefore we solve it numerically, using a finite difference scheme. We also explore how consumption changes over time based on habit if the retiree follows the optimal strategy. Finally, we answer the question of whether it is reasonable to annuitize wealth at the time of retirement or not by varying parameters, such as asset allocation $\theta$ and the smoothing factor $\eta$.


title: How Clifford algebra can help understand second quantization of fermion and boson fields

abstract: In the review article in Progress in Particle and Nuclear Physics (vol.121(2021) 103890)) the authors present the achievements so far of the spin-charge-family theory, which offers the explanation for all the so far observed properties of elementary fermion and boson fields, if the space-time is higher than d=(3+1), it must be $d\ge (13+1)$. Fermions interact with gravity only. Ref. PPNP (vol.121(2021) 103890)) presents, in addition to a rather detailed review of all the achievements of this theory so far, also an explanation for the postulates of the second quantization for fermionic fields: The internal space of fermions described with "basis vectors" represented by the Clifford odd objects manifests all the properties of fermion fields, including the anticommutativity of their creation and annihilation operators. This paper shows that even Clifford algebra objects provide a description of the internal space of boson fields manifesting all known properties of boson fields, explaining as well the reasons for the second quantization postulates for boson fields. Properties of fermion and boson fields with the internal spaces described by the Clifford odd and Clifford even objects are demonstrated on the toy model with $d=(5+1)$.


title: What can we learn about a generated image corrupting its latent representation?

abstract: Generative adversarial networks (GANs) offer an effective solution to the image-to-image translation problem, thereby allowing for new possibilities in medical imaging. They can translate images from one imaging modality to another at a low cost. For unpaired datasets, they rely mostly on cycle loss. Despite its effectiveness in learning the underlying data distribution, it can lead to a discrepancy between input and output data. The purpose of this work is to investigate the hypothesis that we can predict image quality based on its latent representation in the GANs bottleneck. We achieve this by corrupting the latent representation with noise and generating multiple outputs. The degree of differences between them is interpreted as the strength of the representation: the more robust the latent representation, the fewer changes in the output image the corruption causes. Our results demonstrate that our proposed method has the ability to i) predict uncertain parts of synthesized images, and ii) identify samples that may not be reliable for downstream tasks, e.g., liver segmentation task.


title: Exploring Children's Use of Self-Made Tangibles in Programming

abstract: Defining abstract algorithmic structures like functions and variables using self-made tangibles can enhance the usability and affordability of the tangible programming experience by maintaining the input modality and physical interaction throughout the activity and reducing the dependence on electronic devices. However, existing tangible programming environments use digital interfaces to save abstract definitions such as functions and variables, as designing new tangibles is challenging for children due to their limited experience using abstract definitions. We conducted a series of design workshops with children to understand their self-made tangible creation abilities and develop design considerations for tangible computing such as paper programming. This paper reports: 1) Our insights on how students conceptualize and design tangible programming blocks, 2) Design considerations of self-made tangibles to yield higher understandability and memorability, 3) Tests of our design considerations in creating self-made tangibles in real-life coding activities.


title: Mass generation and gravity

abstract: Despite the success of the Higgs mechanism to account for the generation of the masses of Standard Model (SM) elementary particles, the ultimate nature and origin of "mass" remain open questions in contemporary physics. From a foundational perspective, mass should be fundamentally related to the gravitational interaction and, according to Mach, to the structure of the Universe. In the present letter, a fully dynamical mass generation mechanism induced by higher-order corrections in the GR Lagrangian is discussed. Notably, the vacuum energy plays a key role in this process, which applies to both vector bosons and fermions. We show that, at the classical level, the Higgs mechanism can be thought of as a particular case of the present mechanism.


title: Thermal Radiation from Compact Objects in Curved Space-Time

abstract: We highlight here the fact that the distantly observed luminosity of a spherically symmetric compact star radiating thermal radiation isotropically is higher by a factor of $(1+z_{\rm b})^2$ compared to the corresponding flat space-time case, where $z_{\rm b}$ is the surface gravitational redshift of the compact star. In particular, we emphasize that if the thermal radiation is indeed emitted isotropically along the respective normal directions at each point, this factor of increment $(1+z_{\rm b})^2$ remains unchanged even if the compact object would lie within its {\em photon sphere}. Since a canonical neutron star has $z_{\rm b} \approx 0.1$, the actual X-ray luminosity from the neutron star surface could be $\sim 20 \%$ higher than what would be interpreted by ignoring the general relativistic effects described here. For a static compact object, supported by only isotropic pressure, compactness is limited by the Buchdahl limit $z_{\rm b} < 2.0$. However, for compact objects supported by anisotropic pressure, $z_{\rm b}$ could be even higher ($z_{\rm b} < 5.211$). In addition, in principle, there could be ultra-compact objects having $z_{\rm b} \gg 1$. Accordingly, the general relativistic effects described here might be quite important for studies of thermal radiation from some ultra-compact objects.


title: Predicting housing prices and analyzing real estate market in the Chicago suburbs using Machine Learning

abstract: The pricing of housing properties is determined by a variety of factors. However, post-pandemic markets have experienced volatility in the Chicago suburb area, which have affected house prices greatly. In this study, analysis was done on the Naperville/Bolingbrook real estate market to predict property prices based on these housing attributes through machine learning models, and to evaluate the effectiveness of such models in a volatile market space. Gathering data from Redfin, a real estate website, sales data from 2018 up until the summer season of 2022 were collected for research. By analyzing these sales in this range of time, we can also look at the state of the housing market and identify trends in price. For modeling the data, the models used were linear regression, support vector regression, decision tree regression, random forest regression, and XGBoost regression. To analyze results, comparison was made on the MAE, RMSE, and R-squared values for each model. It was found that the XGBoost model performs the best in predicting house prices despite the additional volatility sponsored by post-pandemic conditions. After modeling, Shapley Values (SHAP) were used to evaluate the weights of the variables in constructing models.


title: Theoretical and Observational Implications of Planck's Constant as a Running Fine Structure Constant

abstract: This letter explores how a reinterpretation of the generalized uncertainty principle as an effective variation of Planck's constant provides a physical explanation for a number of fundamental quantities and couplings. In this context, a running fine structure constant is naturally emergent and the cosmological constant problem is solved, yielding a novel connection between gravitation and quantum field theories. The model could potentially clarify the recent experimental observations by the DESI Collaboration that could imply a fading of dark energy over time. When applied to quantum systems and their characteristic length scales, a simple geometric relationship between energy and entropy is disclosed. Lastly, a mass-radius relation for both quantum and classical systems reveals a phase transition-like behaviour similar to thermodynamical systems, which we speculate to be a consequence of topological defects in the universe.


title: Wavefront sets and descent method for finite symplectic groups

abstract: In \cite{JZ1}, D. Jiang and L. Zhang proposed a conjecture which related the wavefront sets and the descent method in the local fields case. Recently, in \cite{JLZ}, they and D. Liu define the arithmetic wavefront set of certain irreducible admissible representation $\pi$ of a classical group $G(k)$ defined over local field $k$, which is a subset of $k$-rational nilpotent orbits of the Lie algebra of $G(k)$, by the arithmetic structures of the enhanced L-parameter of $\pi$. These arithmetic structures are based on the rationality of the local Langlands correspondence and the local Gan-Gross-Prasad conjecture. They also prove that the arithmetic wavefront set is an invariant of $\pi$ (it is independent of the choice of the Whittaker datum \cite[Theorem 1.1]{JLZ}), and propose several conjectures to describe the relationship between arithmetic wavefront sets, analytic wavefront sets and algebraic wavefront sets. In this paper we study wavefront sets of irreducible representations for finite symplectic groups and describe the relationship between wavefront sets, descent method and finite Gan-Gross-Prasad problem. The finite fields case of Gan-Gross-Prasad problem can be calculated explicitly \cite{LW3,Wang1,Wang2}. It allows us to calculate the multiplicity of an irreducible representation in the generalised Gelfand-Graev representation corresponding to certain nilpotent orbits which are finite fields analogies of the arithmetic wavefront sets. In particular, for cuspidal representations, we give certain multiplicity one theorem and show that the finite fields analogy of arithmetic wavefront sets coincides with the wavefront sets in the sense of G. Lusztig and N. Kawanaka.


title: Borsuk's Problem in Metric Spaces

abstract: In 1933, K. Borsuk proposed the following problem: Can every bounded set in $\mathbb{E}^n$ be divided into $n+1$ subsets of smaller diameters? In 1965, V. G. Boltyanski and I. T. Gohberg made the following conjecture: Every bounded set in an $n$-dimensional metric space can be divided into $2^n$ subsets of smaller diameters. In this paper, we prove the following result: Every bounded set in an $n$-dimensional metric space can be divided into $2^{n}((n+1)\log (n+1)+(n+1)\log \log (n+1)+5n+5)$ subsets of smaller diameters.


title: Matrix Models, Integral Polyhedra and Toric Geometry

abstract: We propose to take a look at a new approach to the study of integral polyhedra. The main idea is to give an integral representation, or matrix model representation, for the key combinatorial characteristics of integral polytopes. Based on the well-known geometric interpretations of matrix model digram techniques, we construct a new model that enumerates triangulations, subdivisions, and numbers of integral points of integral polygons. This approach allows us to look at their combinatorics from a new perspective, motivated by knowledge about matrix models and their integrability. We show how analogs of Virasoro constraints appear in the resulting model. Moreover, we make a natural generalization of this matrix model to the case of polytopes of an arbitrary dimension, considering already a tensor model. We also obtain an analogue of Virasoro constraints for it and discuss their role in the solvability of these models. The deep connection between the geometry of convex polyhedra and toric geometry is the main reference point in the construction of these models. We present considerations on specific ways of applying this approach to the description of Batyrev's mirror pairs. All this allows us to formulate many interesting directions in the study of the connection between matrix/tensor models and the geometry of toric varieties.


title: Uncertainty quantification and global sensitivity analysis of seismic fragility curves using kriging

abstract: Seismic fragility curves have been introduced as key components of Seismic Probabilistic Risk Assessment studies. They express the probability of failure of mechanical structures conditional to a seismic intensity measure and must take into account the inherent uncertainties in such studies, the so-called epistemic uncertainties (i.e. coming from the uncertainty on the mechanical parameters of the structure) and the aleatory uncertainties (i.e. coming from the randomness of the seismic ground motions). For simulation-based approaches we propose a methodology to build and calibrate a Gaussian process surrogate model to estimate a family of non-parametric seismic fragility curves for a mechanical structure by propagating both the surrogate model uncertainty and the epistemic ones. Gaussian processes have indeed the main advantage to propose both a predictor and an assessment of the uncertainty of its predictions. In addition, we extend this methodology to sensitivity analysis. Global sensitivity indices such as aggregated Sobol indices and kernel-based indices are proposed to know how the uncertainty on the seismic fragility curves is apportioned according to each uncertain mechanical parameter. This comprehensive Uncertainty Quantification framework is finally applied to an industrial test case consisting in a part of a piping system of a Pressurized Water Reactor.


title: Optimizing Tensor Programs on Flexible Storage

abstract: Tensor programs often need to process large tensors (vectors, matrices, or higher order tensors) that require a specialized storage format for their memory layout. Several such layouts have been proposed in the literature, such as the Coordinate Format, the Compressed Sparse Row format, and many others, that were especially designed to optimally store tensors with specific sparsity properties. However, existing tensor processing systems require specialized extensions in order to take advantage of every new storage format. In this paper we describe a system that allows users to define flexible storage formats in a declarative tensor query language, similar to the language used by the tensor program. The programmer only needs to write storage mappings, which describe, in a declarative way, how the tensors are laid out in main memory. Then, we describe a cost-based optimizer that optimizes the tensor program for the specific memory layout. We demonstrate empirically significant performance improvements compared to state-of-the-art tensor processing systems.


title: On a Canonical Distributed Controller in the Behavioral Framework

abstract: Control in a classical transfer function or state-space setting typically views a controller as a signal processor: sensor outputs are mapped to actuator inputs. In behavioral system theory, control is simply viewed as interconnection; the interconnection of a plant with a controller. In this paper we consider the problem of control of interconnected systems in a behavioral setting. The behavioral setting is especially fit for modelling interconnected systems, because it allows for the interconnection of subsystems without imposing inputs and outputs. We introduce a so-called canonical distributed controller that implements a given interconnected behavior that is desired, provided that necessary and sufficient conditions hold true. The controller design can be performed in a decentralized manner, in the sense that a local controller only depends on the local system behavior. Regularity of interconnections is an important property in behavioral control that yields feedback interconnections. We provide conditions under which the interconnection of this distributed controller with the plant is regular. Furthermore, we show that the interconnections of subsystems of the canonical distributed controller are regular if and only if the interconnections of the plant and desired behavior are regular.


title: Optimal Control of Transient Flows in Pipeline Networks with Heterogeneous Mixtures of Hydrogen and Natural Gas

abstract: We formulate a control system model for the distributed flow of mixtures of highly heterogeneous gases through large-scale pipeline networks with time-varying injections of constituents, withdrawals, and control actions of compressors. This study is motivated by the proposed blending of clean hydrogen into natural gas pipelines as an interim means to reducing end use carbon emissions while utilizing existing infrastructure for its planned lifetime. We reformulate the partial differential equations for gas dynamics on pipelines and balance conditions at junctions using lumped elements to a sparse nonlinear differential algebraic equation system. Our key advance is modeling the mixing of constituents in time throughout the network, which requires doubling the state space needed for a single gas and increases numerical ill-conditioning. The reduced model is shown to be a consistent approximation of the original system, which we use as the dynamic constraints in a model-predictive optimal control problem for minimizing the energy expended by applying time-varying compressor operating profiles to guarantee time-varying delivery profiles subject to system pressure limits. The optimal control problem is implemented after time discretization using a nonlinear program, with validation of the results done using a transient simulation. We demonstrate the methodology for a small test network, and discuss scalability and potential applications.


title: Event-based Non-Rigid Reconstruction from Contours

abstract: Visual reconstruction of fast non-rigid object deformations over time is a challenge for conventional frame-based cameras. In this paper, we propose a novel approach for reconstructing such deformations using measurements from event-based cameras. Under the assumption of a static background, where all events are generated by the motion, our approach estimates the deformation of objects from events generated at the object contour in a probabilistic optimization framework. It associates events to mesh faces on the contour and maximizes the alignment of the line of sight through the event pixel with the associated face. In experiments on synthetic and real data, we demonstrate the advantages of our method over state-of-the-art optimization and learning-based approaches for reconstructing the motion of human hands. A video of the experiments is available at https://youtu.be/gzfw7i5OKjg


title: Evidences of conformal invariance in 2d rigidity percolation

abstract: The rigidity transition occurs when, as the density of microscopic components is increased, a disordered medium becomes able to transmit and ensure macroscopic mechanical stability, owing to the appearance of a space-spanning rigid connected component, or cluster. As a continuous phase transition it exhibits a scale invariant critical point, at which the rigid clusters are random fractals. We show, using numerical analysis, that these clusters are also conformally invariant, and we use conformal field theory to predict the form of universal finite size effects. Furthermore, although connectivity and rigidity percolation are usually though to belong to different universality classes and thus be of fundamentally different natures, we provide evidence of unexpected similarities between the statistical properties of their random clusters at criticality. Our work opens a new research avenue through the application of the powerful 2D conformal field theory tools to understand the critical behavior of a wide range of physical and biological materials exhibiting such a mechanical transition.


title: Deep Koopman Learning of Nonlinear Time-Varying Systems

abstract: This paper presents a data-driven approach to approximate the dynamics of a nonlinear time-varying system (NTVS) by a linear time-varying system (LTVS), which is resulted from the Koopman operator and deep neural networks. Analysis of the approximation error between states of the NTVS and the resulting LTVS is presented. Simulations on a representative NTVS show that the proposed method achieves small approximation errors, even when the system changes rapidly. Furthermore, simulations in an example of quadcopters demonstrate the computational efficiency of the proposed approach.